spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] a essa una e una sola parallela. Si cercava di provarne la validità e necessità mostrando come la sua negazione portasse a risultati logicamente assurdi o in contrasto con il senso comune. Agli inizi del 19° sec. le ricerche assumono una direzione ...
Leggi Tutto
Biologia
L’attività propria di una cellula, o di una sua parte, o di un organo, o di un sistema organico. Oggetto di studio della fisiologia, è intimamente legata alla forma o struttura, oggetto di studio [...] un valore di una (o più) variabili reali.
Funzioni di verità
In logica matematica, particolare tipo di f. che ha sia come argomenti sia come tramite i connettivi in questione. Per es., la negazione viene interpretata come quella f. a un argomento che ...
Leggi Tutto
Botanica
Qualifica di organi appartenenti a uno stesso verticillo, più o meno fusi insieme. Sono c. (o coesi) i sepali dei calici gamosepali (Lamiacee) o i carpelli che costituiscono un ovario unico. Se [...] ondulatorie che queste siano coerenti.
Matematica
In logica matematica, una teoria formalizzata viene detta c. essa non sono dimostrabili contemporaneamente un enunciato e la sua negazione. Qualora, viceversa, accadesse questo, allora, per un ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Kalam e filosofia naturale
Marwan Rashed
Kalām e filosofia naturale
Il rapporto tra Kalām e filosofia naturale è assai complesso e articolato; [...] di una questione di periodizzazione: è la logica sotterranea delle alleanze tra neoarchimedismo e teorie dell -Nīsābūrī, dunque, ci permette senza dubbio di spostare la prima negazione della tesi aristotelica indietro di due secoli e di cogliere la ...
Leggi Tutto
riduzione
riduzióne [Der. del lat. reductio -onis "atto ed effetto del ridurre e del ricondurre", dal part. pass. reductus di reducere (→ ridotto)] [ALG] [ANM] I vari signif. particolari del termine [...] primo principio della r. all'assurdo, che è forse la più antica legge della logica degli enunciati, già conosciuta da Platone, afferma che, se un enunciato implica la sua negazione, allora quell'enunciato è falso; in simb.: (p→┐p)→┐p; (b) il secondo ...
Leggi Tutto
logicològico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] con particolare rifer. agli elaboratori elettronici: v. circuiti logici. ◆ [ELT] Famiglia l.: insieme di circuiti le variabili xi hanno tutte valore 1; (c) l'inversione o negazione (operazione NOT) di una variabile, come l'operazione il cui risultato ...
Leggi Tutto
barra
barra [Etimo incerto] [LSF] Denomin. generica di strutture parallelepipoidi relativ. lunghe e di non grande sezione. ◆ [ALG] [ANM] Lineetta, orizzontale od obliqua, che indica una divisione; sovrapposta [...] sul simbolo di un'operazione, anche logica, indica "non", cioè la negazione dell'operazione indicata: per es., ≠ significa "non uguale" e A⊄B significa "A non contiene B". ◆ [ASF] Struttura ellissoidica che è spesso presente nelle galassie ...
Leggi Tutto
completezza
completézza [Der. di completo] [FAF] Proprietà di una teoria fisica per cui ogni suo elemento ha un corrispettivo nella realtà: v. completezza. ◆ [MCQ] C. asintotica: locuz. con cui s'indica [...] di c. funzionale: nella logica, afferma che, data una qualunque funzione di verità f a n argomenti, per ogni n esiste uno schema di enunciato costruito nel linguaggio simbolico usando solo, quali connettivi, la negazione e la disgiunzione oppure la ...
Leggi Tutto
proposizione
proposizióne [Der. del lat. propositio -onis, dal part. pass. propositus di proponere "mettere avanti", comp. di pro- e ponere "porre"] [ALG] [FAF] Nella logica matematica, enunciazione [...] da T consegue I", la p. contraria "dalla negazione di I (-I) segue la negazione di T (-T)", la p. contronominale (l'inversa delle p., o calcolo degli enunciati: il calcolo algebrico logico nel quale, senza indagare sulla struttura delle singole p. ...
Leggi Tutto
negazione
negazióne s. f. [dal lat. negatio -onis]. – 1. a. L’atto del negare, e l’espressione con cui si nega (il contrario di affermazione): una n. recisa, timida, ostinata; la n. di una verità, di un fatto, di un concetto; la n. dell’evidenza;...
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...