Resultats de la cerca

Professor a Jena 1879-1918, la publicació del seu primer llibre, Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens ‘Ideografia, un llenguatge formalitzat del pensament pur a base del llenguatge aritmètic’, 1879, marca una de les dates principals del desenvolupament de la lògica matemàtica Són contribucions seves la logicització de l’aritmètica, l’argument que la matemàtica es redueix a la lògica, l’elaboració del càlcul proposicional, la noció de funció proposicional i de quantificació i l’anàlisi lògica de la prova Fou, a més,…

Membre del Cercle de Varsòvia, elaborà una lògica trivalent i, ensems amb Tarski, una lògica polivalent amb un nombre infinit de valors, alhora que estudià la història de la lògica, com és ara la dels estoics i la sillogística aristotèlica Escriví Über den Satz des Wiederspruchs bei Aristoteles ‘El principi de contradicció en Aristòtil’, 1910, Elements de lògica matemàtica 1929 i Observacions filosòfiques sobre els sistemes polivalents del càlcul proposicional 1930