Filosofo e logico statunitense (n. Stoneham, Massachusetts, 1883 - m. 1964). Laureatosi alla Harvard University (1906), ha insegnato nell'università della California (1911-20) e quindi a Harvard fino al [...] privilegiato la teoria della conoscenza e la logicamatematica. In quest'ultimo campo ha legato il suo nome all'introduzione della nozione di implicazione stretta, sulla cui base ha dato l'avvio agli studî di logica modale. Sul piano gnoseologico ed ...
Leggi Tutto
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 [...] dei predicati (1957); Lineamenti di logicamatematica (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 ...
Leggi Tutto
Secondo la definizione di R. Carnap, il compito di rendere più esatto un concetto vago o non sufficientemente esatto usato nel linguaggio comune o in un precedente stadio dello sviluppo scientifico o logico. [...] l’eliminazione»; ciò nel senso che essa permetterebbe di realizzare gli stessi scopi di una corrente e problematica espressione (logica, matematica, linguistica) mediante mezzi ed espressioni diversi, eliminando quelli che danno luogo a perplessità. ...
Leggi Tutto
Linguista inglese (n. Manchester 1932 - m. 2020). Prof. (1964-76) all'univ. di Edimburgo e (1976-84) all'univ. del Sussex. È poi stato master (1984-2000) del Trinity Hall di Cambridge. La sua concezione [...] , J. R. Firth, nonché alla teoria generativo-trasformazionale di N. Chomsky. Utilizzando anche elementi della logicamatematica, L. ha sviluppato una semantica vicina alle teorie americane di semantica generativa, particolarmente a quelle di Ch ...
Leggi Tutto
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, [...] , 1944) passò a ricerche nel campo della logicamatematica 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 ...
Leggi Tutto
Filosofo (Vienna 1895 - New York 1949), prof. di filosofia del diritto all'univ. di Vienna (1922-38). Membro del Circolo di Vienna, non condivise i principî del positivismo logico. Dal 1938 prof. di filosofia [...] Kelsen (Logik und Rechtswissenschaft, 1922; Die Kriterien des Rechts, 1924); si occupò in seguito di logicamatematica (Das Unendliche in der Mathematik und seine Ausschaltung, 1930); scrisse anche un'importante Methodenlehre der Sozialwissenschaften ...
Leggi Tutto
Matematico norvegese (n. 1863 - m. 1922), prof. all'univ. di Oslo. Le sue ricerche vanno dalla meccanica all'algebra e alla logicamatematica. Tra le sue pubblicazioni: Über Annäherungswerthe algebraischer [...] Zahlen (1909); Probleme über Veränderungen von Zeichenreihen nach gegebenen Regeln (1914). Da quest'ultima hanno preso lo spunto altre opere (per es., di E. L. Post) nelle quali, per mezzo dei cosiddetti ...
Leggi Tutto
In logica, relazione che si instaura tra un gruppo di proposizioni e una proposizione quando quest’ultima è detta seguire logicamente dalle prime. Si distinguono vari tipi di c. a seconda delle particolari [...] modalità concettuali che conducono all’affermazione che qualcosa ‘segua’ da qualcos’altro.
In logicamatematica, relazione di c. è una particolare relazione che un’espressione ha con un insieme di espressioni, nel senso che ogni interpretazione di ...
Leggi Tutto
Matematico, astronomo, logico russo (Elizavetgrad 1846 - Žoved 1907), P. è ricordato soprattutto per i notevoli contributi alla logica moderna. Laureatosi a Tartu in matematica, studiandone i fondamenti [...] ravenstv i ob obratnom sposobe matematičeskoj logiki ("Sulle possibilità di risoluzioni di equazioni logiche e sulla conseguente possibilità di una logicamatematica", 1884), nel quale, riprendendo le idee di Boole, P. avviò la trattazione del ...
Leggi Tutto
indiscernibilità Caratteristica di ciò che non si può percepire o distinguere.
Principio dell’i. degli identici In logicamatematica, è stato così chiamato (per es., da W.V.O. Quine e S. Kripke) il principio, [...] detto anche legge di Leibniz, secondo cui individui identici hanno in comune tutte le proprietà; in base a esso due nomi dello stesso individuo sono intercambiabili in ogni contesto senza che se ne alteri ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...