Skolem Thoralf Albert
Skolem 〈skùulem〉 Thoralf Albert [STF] (Sandsvær 1887 - Oslo 1963) Prof. di matematica nell'univ. di Oslo (1938). ◆ [ALG] [FAF] Paradosso di S.: v. Gödel, teorema di: III 54 f. ◆ [...] [ALG] [FAF] Teoremi di Löwenheim-S.: v. logica: III 485 e. ...
Leggi Tutto
logomatica
logomàtica [Comp. del gr. lógos "discorso" e máthesis "istruzione"] [FAF] Termine, di recente introduzione e collegabile a un proposito di G.W. Leibniz, usato per designare un linguaggio universale [...] comune a ogni discorso scientifico, cui tenderebbe la moderna logica matematica. ...
Leggi Tutto
Filosofo inglese (Londra 1919 - Oxford 2006). Esponente tra i più vivaci della scuola di Oxford, si è occupato, nell'ambito dell'analisi del linguaggio, di varî temi di tipo logico-linguistico, con originalità [...] di consenso, non come affermazione di una corrispondenza ontologica tra fatto ed espressioni linguistiche). I rapporti tra logica formale e logica del discorso comune sono stati poi approfonditi da S. nella sua Introduction to logical theory (1952 ...
Leggi Tutto
tautologia
tautologìa [Der. del gr. tautolog✄ía, comp. di tauto- "tauto-" e -log✄ia "-logia"] [FAF] Termine usato per qualificare negativamente ogni proposizione che, proponendosi di definire qualcosa, [...] in effetti ripete ciò che è già stato affermato. ◆ [FAF] Nella logica formale moderna, espressione vera per qualunque valore di verità si attribuisce alle lettere proposizionali che la costituiscono. ...
Leggi Tutto
Filosofo (Aggius 1914 - Firenze 1980), prof. di filosofia teoretica nell'univ. di Firenze dal 1959. Sostenitore di un "prassismo trascendentale", ha criticato gli orientamenti filosofici caratterizzati [...] da eccessi speculativi. Opere: Il problema della ragione (1951); Ricerche sul razionalismo della prassi (1957); Logica, scienza e prassi (1980). ...
Leggi Tutto
Filosofo italiano (Imola 1895 - Roma 1968), prof. di storia della filosofia nell'università di Messina (1939-1965). Sostenne un "umanismo positivo" d'ispirazione marxista. Nel problema della conoscenza, [...] moderno, intesa come conclusione di quel processo di pensiero antidogmatico che percorre tutta la storia della logica e della filosofia, e pervenne quindi alla rivendicazione della positività del molteplice, dell'extrarazionale o, altrimenti ...
Leggi Tutto
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 [...] lavori di F. hanno notevole importanza, sia dal punto di vista filosofico sia da quello tecnico, nel quadro storico della logica matematica. Il valore della sua opera, pressoché ignorata in vita, fu pienamente riconosciuto solo dopo la sua morte. La ...
Leggi Tutto
Filosofo e antropologo sociale ceco (Parigi 1925 - Praga 1995). Di famiglia ebrea, trascorse l'infanzia a Praga, ma nel 1939 seguì la famiglia in Inghilterra per sfuggire alle persecuzioni razziali naziste; [...] laureatosi in filosofia a Oxford, fu professore di logica e metodologia della scienza alla London school of economics and political science (1962-84), e quindi di antropologia sociale all'univ. di Cambridge (1984-92). Nel 1993 ritornò a Praga per ...
Leggi Tutto
Filosofo tedesco (n. Colonia 1921 - m. 2023); dal 1963 prof. di sociologia ed epistemologia all'univ. di Mannheim (dal 1989 prof. emerito). A. sostiene una sorta di razionalismo critico che intende riallacciarsi [...] a Kant e a Weber e soprattutto alla logica e alla metodologia di K. Popper. Di qui la sua polemica contro le correnti ermeneutiche e dialettiche e la Scuola di Francoforte. Secondo A. occorre svolgere una critica costruttiva che sappia "allacciare i ...
Leggi Tutto
distributivita
distributività [Der. di distribuito] [ALG] Il carattere, proprio di una certa operazione, di godere della proprietà distributiva rispetto a un'altra operazione: così, in un anello si ha [...] d. del prodotto rispetto alla somma (ma non viceversa). ◆ [FAF] Nella logica enunciativa vale la d. della congiunzione (simb. ⌃) rispetto alla disgiunzione (simb. ⌄), e viceversa; si hanno cioè le due leggi: p⌃(q⌃r)=(p⌃q)⌄(p⌃r), p⌄(q⌃r)=(p⌄q)⌃(p⌄r). ...
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,...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...