Cerca in:
Łukasiewicz, Jan
Enciclopedia on line
Studioso di logica (Leopoli 1878 - Dublino 1956). Tra i maggiori esponenti della cosiddetta Scuola logica polacca, svolse importanti ricerche sulla logica aristotelica e stoica. Considerando insoddisfacente [...] dei sistemi di assiomi logici e un metodo di prova dell'indipendenza e della completezza. Costruì poi sistemi di calcolo proposizionale in cui si ammettono, oltre ai valori di verità "vero" e "falso", ulteriori valori, gettando le basi per una ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Leśniewski, Stanisław
Enciclopedia on line
Logico e filosofo polacco (Serpuchov, Mosca, 1886 - Varsavia 1939), dal 1919 prof. di filosofia della matematica all'univ. di Varsavia. Allievo di K. Twardowski, fu (con A. Tarski e J. Łukasiewicz) tra [...] -tutto ("mereologia") che successivamente elaborò in un sistema assiomatico deduttivo entro cui poter esprimere il calcolo proposizionale e il calcolo delle classi. Tra le opere: O podstawach matematyki ("I fondamenti della matematica", in Przeglad ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Schröder, Ernst
Enciclopedia on line
Matematico e logico (Mannheim 1841 - Karlsruhe 1902); prof. al politecnico di Karlsruhe, fu eminente algebrista. Classiche le sue Vorlesungen über die Algebra der Logik (3 voll., 1890-95), in cui viene [...] di G. Boole e sulla Formenlehre di R. Grassmann, una completa trattazione algebrica del calcolo delle classi e del calcolo proposizionale e un elaborato sviluppo del calcolo delle relazioni di Peirce. Si deve a S. anche un'anticipazione, in relazione ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Tarski, Alfred
Enciclopedia on line
Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] (teoria assiomatica dei sistemi formali, sistemi basati sulla logica proposizionale, descrizione di sistemi) alla semantica (interpretazione del calcolo proposizionale, modelli e teoria generale dei modelli, nozioni di conseguenza logica ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Post, Emil Leon
Enciclopedia on line
Logico e matematico statunitense (Augustów, Polonia, 1897 - New York 1954); prof. (1944) all'univ. di New York. Nel 1921 diede la prima dimostrazione della completezza sintattica del calcolo proposizionale [...] e dell'indecidibilità del calcolo dei predicati; poco dopo introdusse, indipendentemente da L. Wittgenstein, il metodo delle tavole di verità per la logica elementare, proponendo inoltre un sistema formale in cui ciascuna variabile potesse assumere ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Frege, Gottlob
Enciclopedia on line
Filosofo e matematico tedesco (Wismar 1848 - Bad Kleinen, Meclemburgo, 1925); insegnò lungamente a Jena; erano gli anni in cui scienziati illustri come K. Weierstrass, J. W. R. Dedekind, G. Cantor davano [...] espressa, sul piano logico-linguistico, da una funzione proposizionale, cioè un'espressione con una variabile non vincolata da 1965), in cui viene costruito per la prima volta un calcolo degli enunciati e dei predicati e viene elaborato un opportuno ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
GIOVANNI XXI, papa
Dizionario Biografico degli Italiani (2001)
GIOVANNI XXI, papa
José Francisco Meirinhos
Sono stati identificati diversi Pietro Ispano - nome di G. prima dell'elezione al pontificato - che hanno operato in Portogallo nella prima metà del sec. [...] e prese il nome di Giovanni XXI (per un errore di calcolo non è mai esistito un papa Giovanni XX), scegliendo come proprie prove di validità di norme logiche sul funzionamento proposizionale dei sincategoremi. Per esempio, la logica del mutamento ...
Leggi Tutto