Pastóre, Valentino Annibale
Enciclopedia on line
Filosofo (Orbassano 1868 - Torino 1956), prof. di filosofia teoretica nell'univ. di Torino (1922-39); socio corrispondente dei Lincei (1950). Si è occupato di logica (estendendone la portata in modo da [...] infine i suoi studî sull'esistenzialismo e la fenomenologia. Tra gli scritti: Sopra la teoria della scienza (1903); Logica formale dedotta dalla considerazione dei modelli meccanici (1906); Il pensiero puro (1913); Il problema della causalità (1921 ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Sevèro bar Shakkō
Enciclopedia on line
Scrittore siro nestoriano (m. 1241), monaco nel convento Mār Mattay, cultore di studî di logica, filosofia e grammatica. Fu autore, oltre che di altri scritti, di una somma teologica dal titolo Libro dei [...] tesori (1231), divisa in quattro parti; scrisse inoltre il Libro dei Dialoghi, enciclopedia, in forma di domande e risposte, delle scienze profane ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Beattie, James
Enciclopedia on line
Filosofo e poeta scozzese (Laurencekirk, Scozia, 1735 - Aberdeen 1803). Professore di filosofia morale e logica nell'univ. di Aberdeen, fu tra le figure più rappresentative della cultura scozzese del 18º [...] secolo. Sostenitore, con Reid, della filosofia del senso comune, nella sua opera maggiore, Essay on the nature and immutability of truth (1770), affermava contro lo scetticismo di Hume la capacità della ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Della Pèrgola, Paolo
Enciclopedia on line
Filosofo (m. Venezia 1455). Fu alunno di Paolo Veneto a Padova. Insegnò dal 1420 al 1454 logica e filosofia naturale, e poi anche matematica, astronomia e teologia, alla scuola veneziana di Rialto (fondata [...] , rinunziò per non allontanarsi dall'insegnamento. Ci restano di lui, manoscritti o a stampa, alcuni trattatelli di logica (Dubia in consequentias Strodi, De sensu composito et diviso, In regulas insolubilium, De scire et dubitare, Compendium ...
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 [...] e delimitandone il valore assoluto. Si occupò anche di teoria degli insiemi, topologia, algebra, geometria e di varie questioni di logica formale.
Vita e pensiero
Prof. di teoria degli insiemi all'univ. di Varsavia, ha insegnato nella univ. di ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Beth, Evert Willem
Enciclopedia on line
Logico-matematico olandese (Almelo 1908 - Amsterdam 1964). Dal 1946 prof. all'univ. di Amsterdam. Dopo studi di storia della logica e della matematica (De wijsbegeerte der wiskunde van Parmenides tot Bolzano, [...] matematica ottenendo importanti risultati nella teoria della definizione (teorema di definibilità), nell'analisi semantica della logica classica e di quella intuizionista (specie col suo metodo delle tavole semantiche), nella teoria dei modelli ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
BELFORTI, Giuseppe
Dizionario Biografico degli Italiani (1970)
BELFORTI, Giuseppe
Armando Petrucci
Nacque a Perugia il 26 sett. 1731 da Filippo, professore di logica, medicina e botanica nell'università cittadina. Dopo aver prestato servizio nelle milizie urbane [...] (nel 1771aveva il grado di capitano di fanteria), si dedicò con grande, passione agli studi di antiquaria e alle ricerche d'archivio, acquistando le necessarie cognizioni di paleografia e di diplomatica ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Holkot, Robert
Enciclopedia on line
Domenicano (n. Northampton - m. ivi 1349), magister theologiae a Cambridge. Fedele seguace di Occam, ne accentuò la distinzione della logica fidei dalla logica naturalis, e sostenne anche più vivamente, [...] sul piano etico-teologico, il punto di vista volontaristico ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Mal´cev, Anatolij Ivanovič
Enciclopedia on line
Algebrista e logico russo (Mišeronskij, Mosca, 1909 - Novosibirsk 1967). È stato tra i primi ad applicare la logica all'algebra. Nel 1936 enunciò il principio di finitezza (oggi noto, in formulazione un [...] po' diversa, come teorema di compattezza): "Se per ogni sottinsieme finito F di un insieme T costituito da enunciati del calcolo predicativo del prim'ordine esiste una struttura che soddisfa gli enunciati ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Karinskij, Michail Ivanovič
Enciclopedia on line
Filosofo russo (Mosca 1840 - Vjatka 1917). Professore all'accademia ecclesiastica di Pietroburgo, svolse le sue ricerche nel campo della logica. Si occupò in particolare del problema della "classificazione [...] delle conclusioni", criticando, da un lato, la soluzione aristotelica e quella proposta dalla logica induttiva di J. S. Mill, e, dall'altro lato, l'impostazione gnoseologica kantiana. Opere principali: Kritičeskij obzor poslednego perioda germanskoj ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE