Harald Sack<p>In 1879, Gottlob Frege introduced Begriffsschrift, a formal system with symbols and rules, allowing for precise manipulation of logical statements. This paved the way for modern symbolic logic and symbolic reasoning.</p><p>G. Frege. Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle an der Saale: Verlag von Louis Nebert, 1879.<br><a href="https://gallica.bnf.fr/ark:/12148/bpt6k65658c" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">gallica.bnf.fr/ark:/12148/bpt6</span><span class="invisible">k65658c</span></a></p><p><a href="https://sigmoid.social/tags/HostoryOfAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HostoryOfAI</span></a> <a href="https://sigmoid.social/tags/ISE2024" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ISE2024</span></a> <a href="https://sigmoid.social/tags/lecture" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lecture</span></a> <a href="https://sigmoid.social/tags/logics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logics</span></a> <a href="https://sigmoid.social/tags/knowledgerepresentation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>knowledgerepresentation</span></a> <span class="h-card" translate="no"><a href="https://sigmoid.social/@enorouzi" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>enorouzi</span></a></span> <span class="h-card" translate="no"><a href="https://fedihum.org/@sourisnumerique" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>sourisnumerique</span></a></span> <span class="h-card" translate="no"><a href="https://sigmoid.social/@fizise" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>fizise</span></a></span> <a href="https://sigmoid.social/tags/AIart" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AIart</span></a></p>