antinomia
antinomìa [Der. del gr. antinomía "controlegge"] [ALG] [FAF] Nella logica e logica matematica, sinon. di paradosso logico (→ paradosso). ...
Leggi Tutto
Filosofo sensista (Pisa o Livorno 1707 - Calci, Pisa, 1767). Insegnò logica (1731), poi filosofia (1735) nell'univ. di Pisa. Combatté il cartesianesimo, esaltò Galileo. Opera principale le Rationalis philosophiae [...] institutiones (1741); inoltre Raccolta di opuscoli filosofici e filologici (1766) e Caratteri di varii uomini illustri (post., 1773-74) ...
Leggi Tutto
logiche a più valori
Settimo Termini
Nel ricco panorama delle varianti della logica classica esse si presentano come logiche non classiche vero-funzionali (cioè, il valore di verità di un enunciato [...] valori di verità non è limitato a due ma si ammette un insieme più ampio di valori di verità. Nei sistemi di logiche a più valori, i valori di verità solitamente formano un insieme finito ordinato, un insieme infinito numerabile o un insieme continuo ...
Leggi Tutto
Filosofo (Londra 1910 - ivi 1989), prof. di filosofia e di logica all'univ. di Londra, poi (dal 1959) a Oxford. Con la prima opera (Language, truth and logic, 1936; 2a ediz. 1946; trad. it. 1961) cercò [...] di conciliare alcune conclusioni del neopositivismo del Circolo di Vienna con la tradizione antimetafisica dell'empirismo anglosassone. La sua produzione successiva è stata dedicata, attraverso una coerente ...
Leggi Tutto
Medioevo: la scienza siriaca. La tradizione della logica aristotelica
Henri Hugonnard-Roche
La tradizione della logica aristotelica
Della letteratura siriaca profana, scientifica o filosofica, ci [...] siriaco, "Atti del R. Istituto Veneto di scienze, lettere ed arti", 85, 1926, pp. 319-344.
‒ 1926-27: Furlani, Giuseppe, La logica nei Dialoghi di Severo bar Shakkô, "Atti del R. Istituto Veneto di scienze, lettere ed arti", 86, 1926-1927, pp. 289 ...
Leggi Tutto
metasimbolo
metasìmbolo [Comp. di meta- e simbolo] [ALG] [FAF] Nella logica matematica, simb. non appartenente all'alfabeto di una teoria e che viene introdotto con funzione ausiliaria per semplificare [...] l'esposizione della teoria medesima ...
Leggi Tutto
ortocomplementazione
ortocomplementazióne [Comp. di orto- e complementazione][ALG] [FAF] Applicazione della logica quantistica: v. logica quantistica: III 487 f. ...
Leggi Tutto
autoriferimento
autoriferiménto [Comp. di auto- e riferimento] [ALG] [FAF] Nella logica matematica, fenomeno per cui, quando si aritmetizza il linguaggio di una teoria numerica, i termini della teoria [...] denotano anche termini della teoria stessa: v. Gödel, teorema di: III 55 e. ◆ [ELT] Nella teoria dei sistemi, la proprietà che avrebbero alcuni sistemi di riferirsi a sé stessi, cioè di determinare i propri ...
Leggi Tutto
A
A [Forma maiusc. della lettera a] [ALG] [FAF] Nella logica matematica, simb. dell'operazione di disgiunzione. ◆ [ASF] Simb. di un tipo spettrale di stelle: v. stella: V 622 a. ◆ [CHF] Simb., oltre [...] ad Ar, dell'elemento chimico argon. ◆ [ELT] Simb. di una classe di amplificatori elettrici: v. amplificazione di segnali elettrici: I 119 b. ◆ [GFS] Simb. (A e Ap o Ap) di indici dell'attività geomagnetica, ...
Leggi Tutto
modalita
modalità [Der. di modale "modo di essere"] [FAF] Nella logica, ciascuno dei modi con cui può configurarsi il nesso tra soggetto e predicato, per es., di necessità, possibilità, impossibilità. [...] ◆ [LSF] Ciascuno dei modi possibili con cui può presentarsi un carattere o un fenomeno, i quali possono differenziarsi o qualitativamente (per es., un corpo generic. elettrizzato può avere carica elettrica ...
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...