Logik

Wichtige Autoren

• Aristoteles (384–322 v. u. Z.):

In der Analytica Priora Entwicklung der bis ins 19. Jahrhundert verwendeten Syllogistik, einer Vorform der Prädikatenlogik.

• Cicero (106–43 v. u. Z.):

Er übernahm von Aristoteles die Lehre von der Logik und übertrug sie als Ars logica ins Lateinische: De finibus bonorum et malorum.

Seine Topica berufen sich zwar auf Aristoteles. Tatsächlich beruhen sie aber auf der stoischen Logik, die wir ansonsten nur durch Diogenes Laertios kennen.

• Gottfried Wilhelm Leibniz (1646–1716):

Erste Ansätze zu einer symbolischen Logik

• George Boole (1815–1864):

Entwicklung der Booleschen Algebra.

• Charles Sanders Peirce (1839–1914):

Erste Ansätze zur Quantorenlogik, Einführung der Relationslogik, Formulierung einer Theorie der Abduktion.

• Georg Cantor (1845–1918):

Entwicklung der Mengenlehre.

• Gottlob Frege (1848–1925):

Entwicklung der modernen Aussagen- und Prädikatenlogik. Kritik des Psychologismus.

• Edmund Husserl (1859–1938):

Kritik des Psychologismus in der Logik

• Bertrand Russell (1872–1970):

Entdeckte die Russellsche Antinomie.

• Jan Łukasiewicz (1878–1956):

Entwickelte die Polnische Notation, beschäftigte sich mit mehrwertiger Logik

• Alfred Tarski (1901–1983):

Herausragend sind seine Arbeiten zur Modelltheorie und zur formalen Semantik

• Kurt Gödel (1906–1978):

Vollständigkeit der Prädikatenlogik. Unvollständigkeit der Peano-Arithmetik.

Copyright- und Lizenzinformationen: Diese Seite basiert auf dem Artikel Logik aus der freien Enzyklοpädιe Wιkιpedιa und steht unter der Lizenz Creative Commons CC-BY-SA 3.0 Unported (Kurzfassung). Liste der Autoren

Anbieterkennzeichnung