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 predicati o delle classi" che si svolge nella sillogistica) e la logica megarico-stoica (in cui individua aspetti che possono riportarsi alla logica proposizionale e a temi di semiotica). Nel campo della teoria della deduzione elaborò numerosi ...
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 [...] di metamatematica (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 ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Valla, Lorenzo
Il Contributo italiano alla storia del Pensiero: Filosofia (2012)
Lorenzo Valla
Rita Pagnoni Sturlese
Lorenzo Valla è una delle figure più rappresentative dell’Umanesimo italiano: egli dà vita a un progetto di profondo rinnovamento pratico e teoretico che, pur non [...] .
La Dialectica si presenta come una disamina critica dell’Organon aristotelico-scolastico (primo libro, logica dei termini; secondo, logica proposizionale; terzo, argomentazioni sillogistiche), ma di fatto viene a essere un nuovo ‘organo’ oppure ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Saccheri, Giovanni Girolamo
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Giovanni Girolamo Saccheri
Vincenzo De Risi
Il matematico Girolamo Saccheri è considerato il primo scopritore (seppure suo malgrado) delle geometrie non euclidee. Nella sua opera principale, Euclides [...] uso dei principi. Le sezioni dedicate alla logica proposizionale e alla teoria delle conseguenze sono soprattutto prova molto elegante, e assai nuova nei metodi e nella struttura logica, del fatto che se in un solo quadrilatero vale una delle ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
DE MARTINO, Pietro
Dizionario Biografico degli Italiani (1990)
DE MARTINO (Di Martino), Pietro
Pietro Nastasi
Fratello di Nicola Antonio, nacque a Faicchio (Benevento) il 31 maggio 1707 da Cesare e Agata Ferrari.
Compiuta la primissima istruzione nel seminario [...] accomuna le due operette in esame è l'ostinata insistenza del D. a voler dimostrare (anche con l'uso della logica proposizionale) che "da un'ipotesi falsa non puo mai ricavarsi un'affermazione vera" . Questo tipo di posizione, che era servito nell ...
Leggi Tutto
Russell, Bertrand Arthur William, conte
Enciclopedia on line
Filosofo e logico britannico (Trelleck, Galles, 1872 - Pernhyndeudraeth 1970). Tentò di risolvere i paradossi da lui stesso individuati nei progetti di fondazione logica dell'aritmetica, ed elaborò - risentendo [...] fondamenti della matematica. Particolarmente fortunata la sua teoria dei tipi, per cui ogni funzione proposizionale e ogni classe viene considerata di tipo logicamente più elevato di quello in cui rientrano i loro elementi. R. presentava nelle sue ...
Leggi Tutto
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 [...] i maggiori esponenti della Scuola logica polacca. Cercò di ovviare alle difficoltà della fondazione insiemistica della in un sistema assiomatico deduttivo entro cui poter esprimere il calcolo proposizionale e il calcolo delle classi. Tra le opere: O ...
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 [...] denotata da un'espressione predicativa; sua caratteristica fondamentale è la non saturazione, espressa, sul piano logico-linguistico, da una funzione proposizionale, cioè un'espressione con una variabile non vincolata da quantificatori (per es., "x è ...
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 [...] 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 non solo i due valori di ...
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. [...] dell'opera si discutono circa cinquanta sofismi, o paradossi logici, che sono vere e proprie prove di validità di norme logiche sul funzionamento proposizionale dei sincategoremi. Per esempio, la logica del mutamento è accennata nel trattato VI, sui ...
Leggi Tutto