DISTANZA, COMPLEMENTO DI
Nell’analisi logica, il complemento di distanza è il complemento indiretto che indica la distanza tra due luoghi, cose o persone.
Può essere introdotto dalle preposizioni semplici [...] a, tra o fra
Luigi si trova a pochi metri da te
Tra / Fra un metro svolta a destra
Quando è introdotto dal verbo distare, dall’aggettivo distante o da espressioni come essere lontano ecc., non è preceduto ...
Leggi Tutto
formula chiusa
formula chiusa in logica, formula costruita nel linguaggio dei predicati in cui o non compaiono variabili o tutte le variabili presenti sono vincolate a un quantificatore e sono dunque [...] variabili legate. In questo caso, si dice che ogni variabile della formula ha solo occorrenze vincolate. Per esempio, la formula ∀x ∃y, x + y ≥ 0 (si legge «per ogni x esiste y tale che x + y ≥ 0») è una ...
Leggi Tutto
VOCAZIONE, COMPLEMENTO DI
Nell’analisi logica, il complemento di vocazione è un complemento indiretto che indica la persona, l’animale o la cosa a cui ci si rivolge in un ➔discorso diretto.
Il complemento [...] di vocazione è costituito da un nome o da un pronome, isolato dal resto della frase per mezzo della punteggiatura.
• Se si trova all’inizio o alla fine della frase, è isolato per mezzo di una virgola, ...
Leggi Tutto
PARAGONE, COMPLEMENTO DI
Nell’analisi logica, il complemento di paragone è un complemento indiretto che indica il secondo termine del confronto tra due cose o esseri animati, o tra due qualità appartenenti [...] a una stessa cosa o a uno stesso essere animato.
• Con il comparativo di maggioranza e di minoranza, il complemento di paragone è introdotto per lo più dalla ➔preposizione di
Laura è più estroversa di ...
Leggi Tutto
insieme decidibile
insieme decidibile in logica, insieme per cui esiste un algoritmo di calcolo che permette di stabilire in un tempo finito se, dato un elemento a, l’elemento appartiene o non appartiene [...] a esso. Qualora invece l’algoritmo sia in grado di identificare tutti gli elementi che appartengono all’insieme, ma non quelli che non gli appartengono, l’insieme è detto semidecidibile. Gli insiemi finiti ...
Leggi Tutto
LIMITAZIONE, COMPLEMENTO DI
Nell’analisi logica, il complemento di limitazione indica entro quali limiti o in quale ambito è valido ciò che la frase afferma.
È introdotto dalle preposizioni di, in, per, [...] a
Alberto è molto alto di statura
Enrica è bravissima in matematica
Come sei messo a soldi?
Il complemento di limitazione può essere introdotto anche da locuzioni ➔preposizionali come rispetto a, in ...
Leggi Tutto
SPECIFICAZIONE, COMPLEMENTO DI
Nell’analisi logica, il complemento di specificazione indica una persona, un oggetto o un fatto che servono a specificare, precisare meglio il significato della parola [...]
Il frutto della mela è sano
Il complemento di specificazione può avere una funzione soggettiva, quando indica il ➔soggetto logico della frase
L’amore di Carlo è eccezionale (= Carlo ama)
oppure una funzione oggettiva, quando indica l’oggetto ...
Leggi Tutto
formula aperta
formula aperta in logica, formula costruita nel linguaggio dei predicati in cui compare almeno una variabile x come variabile libera, cioè al di fuori del campo d’azione di un quantificatore. [...] Per esempio, la formula ∀x, x = 3 (si legge «per ogni x, x = 3») non è una formula aperta perché la variabile x è vincolata al quantificatore universale ∀; in questo caso si dice che la variabile x appare ...
Leggi Tutto
PRIVAZIONE, COMPLEMENTO DI
Nell’analisi logica, il complemento di privazione è un complemento indiretto che indica ciò di cui una persona, un animale o una cosa sono privi (o che possiedono in modo scarso), [...] in senso sia proprio, sia figurato.
Il complemento di privazione è introdotto dalle preposizioni ➔di e senza e si accompagna a verbi e aggettivi che indicano mancanza, privazione
Le analisi indicano ...
Leggi Tutto
PENA, COMPLEMENTO DI
Nell’analisi logica, il complemento di pena è un complemento indiretto che indica la condanna o il castigo che vengono inflitti a qualcuno.
Si usa con i verbi condannare, multare, [...] punire ed è introdotto dalle preposizioni di, per, a, con
La Commissione Disciplinare Nazionale della Figc ha multato di 30.000 euro il presidente della Lazio («La Repubblica»)
Investe un gatto, multato ...
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...