legame cut
legame cut in logica, nell’ambito di una rete dimostrativa rappresentata da un grafo, è un nodo del grafo che corrisponde alla regola del taglio del calcolo dei sequenti. Il legame cut ha [...] due premesse etichettate rispettivamente da una formula A e dalla sua negazione A⊥ e nessuna conclusione (→ proof-net) ...
Leggi Tutto
teoria indecidibile
teoria indecidibile in logica, teoria formalizzata in un sistema formale S per la quale non per ogni formula ben formata a di S esiste un algoritmo di calcolo che riesce a stabilire [...] se a è un teorema della teoria oppure no, vale a dire se a è o non è dimostrabile nel sistema formale dato. Esempi di teorie indecidibili sono l’aritmetica formalizzata dagli assiomi di → Peano e la teoria ...
Leggi Tutto
variabile libera
variabile libera in logica, variabile che compare in una formula ben formata di un linguaggio logico e che ha in essa almeno una occorrenza libera, cioè al di fuori del campo d’azione [...] di ogni quantificatore che compare nella formula. Per esempio nella formula ∀y(y = 0) ⇒ (x = 0) la variabile x è libera perché non è legata alla presenza del quantificatore universale ∀, il quale si riferisce ...
Leggi Tutto
ABBONDANZA, COMPLEMENTO DI
Nell’analisi logica, il complemento di abbondanza è un complemento indiretto che indica un elemento (concreto o astratto) di cui si dispone in abbondanza. È introdotto dalla [...] preposizione di ed è retto da verbi, aggettivi o nomi che indicano, appunto, abbondanza: traboccare, abbondare, pieno, colmo, ricchezza ecc.
Il vaso trabocca d’olio
È un ragazzo pieno di risorse
Il parco ...
Leggi Tutto
negazione congiunta
negazione congiunta in logica, connettivo tra due enunciati, spesso indicato con ↓, tale che A ↓ B è vera se e solo se né A né B sono vere. Pertanto, ￢A è logicamente equivalente [...] della negazione congiunta è dovuta al fatto che è possibile definire tutti gli altri usuali connettivi logici (congiunzione, disgiunzione, implicazione e doppia implicazione) a partire da questo solo connettivo (→ enunciati, linguaggio degli ...
Leggi Tutto
ETA, COMPLEMENTO DI
Nell’analisi logica il complemento di età è il complemento a cui si ricorre per indicare l’età di qualcuno ed è introdotto dalle preposizioni di e su
un uomo di cinquant’anni
una [...] signora sui settant’anni
Non sempre, però, l’indicazione dell’età corrisponde a questo complemento; ad esempio, in una frase come
Gianni ha compiuto cinquant’anni
cinquant’anni è il complemento oggetto ...
Leggi Tutto
LUOGO, COMPLEMENTO DI
Nell’analisi logica, il complemento di luogo indica la disposizione nello spazio di un oggetto, di un essere animato o di un’azione.
È introdotto da varie ➔preposizioni proprie [...] (come a, da, in, su, per, tra, fra), proposizioni improprie (come sopra, sotto, davanti, dietro ecc.) o da locuzioni ➔preposizionali (come in cima a, in mezzo a, nel mezzo di ecc.).
Tradizionalmente si ...
Leggi Tutto
modus tollens
modus tollens 〈mòdus tòllens〉 [Lat. "modo che nega"] [FAF] Inferenza della sillogistica classica, nota anche come legge di contrapposizione, del tipo: se p allora q; se non q, allora non [...] p. In termini di logica matematica si esprime di solito così: "A una sequenza di espressioni in cui occorrono sia l'espressione ┐K sia l'espressione H→K, può essere aggiunta l'espressione ┐H". ...
Leggi Tutto
modus ponens
modus ponens 〈mòdus pònens〉 [Lat. "modo che afferma"] [FAF] Inferenza della sillogistica classica del tipo: se sussiste p allora vale q; sussiste p; allora vale q. La regola di deduzione [...] corrispondente compare nei più diffusi calcoli logici moderni. Nella logica matematica è chiamata più frequentemente regola di separazione o di distacco e si enuncia così: "A una sequenza di espressioni in cui occorrono sia l'espressione H sia l' ...
Leggi Tutto
CAUSA, COMPLEMENTO DI
Nell’analisi logica, il complemento di causa indica il motivo per cui si compie o avviene un’azione o si crea una determinata situazione.
Il complemento di causa è introdotto dalle [...] preposizioni per, di, da, con
La squadra è triste per la sconfitta
Trema di paura
Dalla pioggia che c’è, quasi non ci si vede
Con tutto quello che ho da fare, non farò mai in tempo
o da locuzioni ➔preposizionali ...
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...