Resultats de la cerca

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

Introduí un mètode per a controlar les fórmules de la lògica seqüencial mitjançant les taules de veritat És conegut pel fet d’haver proposat el 1920 els sis temes lògics polivalents, especialment trivalents, amb independència de Łukasiewicz Establí també una teoria general de les proposicions elementals 1922, i estudià els problemes dels grups de mots en el llenguatge, amb independència dels resultats obtinguts per Markov

Estudià a Heidelberg, a Leipzig i a París, i fou catedràtic a Königsberg i a Göttingen Dedicat a la lògica matemàtica, aplicà a la geometria els nous instruments lògics introduïts per Peano Fou el cap de l’escola formalista i el creador de la metamatemàtica, s’esforçà per provar la consistència del sistema axiomàtic i inventà un simbolisme que, juntament amb els de Russell i Lukasiewicz, ha trobat una amplíssima audiència en el món científic Introduí el concepte d’espai que avui porta el seu nom, i fou l’autor de Grundlagen der Geometrie ‘Fonaments de geometria’, 1899