Casari, Ettore

Enciclopedia on line

Logico e filosofo della matematica italiano (Smarano 1933 - Firenze 2019); prof. di filosofia della scienza presso l'Università di Firenze dal 1967, dal 1998 al 2006 ha insegnato presso la Scuola normale superiore di Pisa, dove successivamente è stato professore emerito. Indirizzato agli studi logici da L. Geymonat, completò la sua formazione logica e filosofico-matematica presso l'Università di Münster. C. ha ricoperto un ruolo di rilievo nella rinascita della logica matematica in Italia (poco coltivata dopo la morte di G. Peano), contribuendo a introdurre gli sviluppi e i risultati più importanti della disciplina. Autore di numerosi articoli su riviste italiane e straniere (da segnalare in partic. quelli dedicati alla logica dei comparativi e alle teorie logiche di B. Bolzano), ha inoltre pubblicato: Logica dei predicati (1957); Lineamenti di logica matematica (1959); Questioni di filosofia della matematica (1964); Introduzione alla logica (1997); La matematica della verità. Strumenti matematici della semantica logica (2006); Bolzano’s logical system (2016).

Vedi anche
semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come sostituto di semasiologia. 1. Gli studi linguistici I primi studi di semantica di Bréal (Essai de sémantique, ... lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione al loro significato ... logica filosofia Disciplina che studia le condizioni di validità delle argomentazioni deduttive. 1. La logica antica I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio e della conoscenza» nell’ambiente protostoico, pur conservando λογικός per tutta la grecità ... Bolzano (ted. Bozen) Comune dell’Alto Adige (52,2 km2 con 107.317 ab. nel 2018), capoluogo della provincia autonoma di Bolzano della regione a statuto speciale Trentino-Alto Adige. Sorge a 262 m s.l.m., alla confluenza del Talvera con l’Isarco, in una conca cinta da alte montagne e all’incrocio di vie di comunicazione ...
Categorie
Tag
Vocabolario
caṡaro
casaro caṡaro s. m. [lat. tardo casearius, agg. (v. caseario)], settentr. – Lavoratore addetto alle operazioni per la trasformazione del latte in burro e formaggio.