Liste berühmter  Logiker   

->  [zur Liste der Philosophen]

->  [zum Portal Philosophie]

->  [zum Hauptportal Brainen]

Logiker beschäftigen sich mit der Wissenschaft Logik, der philosophischen Meta-Logik und der Philosophie der Wahrheit.

Klassische Logik

Aristoteles -- (384 - 322 v.Chr.) - Begründer der westlichen Logik mit der aristotelischen Begiffslogik.

Georg Boole -- (1815 - 1864) - Begründer der mathematischen Logik durch das algebraische Logikkalkül.

Gottlob Frege -- (1848 - 1925) - Begründer der Prädikatenlogik durch die formale Sprache.

Rudolf Carnap -- (1891 - 1970) -

Moderne Logik

Jan Lukasiewicz -- (1878 - 1956) - z.B. dreiwertige Logik, Lehrer von Tarski.

Alfred Tarski -- (1901 - 1983) - der Semantik-Typ mit der Wahrheitstheorie.

Kurt Gödel -- (1906 - 1978) - formal unentscheidbare Sätze der Metamathematik durch die Unvollständigkeitssätze.

Lotfi Zadeh -- (geb. 1921) - Begründer der Fuzzy-Logik durch unscharfe Mengen.

Saul Kripke -- (geb. 1940) - Modallogik und Sprachlogik.

Ulrich Blau -- (geb. 19xx) - Begründer der sechswertigen allgemeinen Sprachlogik.

-- zuletzt: -