In genere, ciò che si enuncia, si dichiara, si afferma, e la frase stessa che contiene l’enunciato.
Filosofia
P. ed enunciato
Nella logica e nella filosofia del linguaggio contemporanee si distingue p. [...] nell’affermare o negare un predicato di un soggetto. Non diverso è generalmente il concetto di p. nella filosofia e nella logica medievali.
È nella filosofia ottocentesca che comincia a diffondersi il concetto di p. inteso come ciò che è espresso da ...
Leggi Tutto
polisillogismo
Nella logica formale, serie costituita da due o più sillogismi, nella quale la conclusione del sillogismo precedente (prosillogismo) funge da premessa maggiore del sillogismo seguente [...] (episillogismo ➔ sillogistica) ...
Leggi Tutto
chiusura
chiusura (in logica) procedimento di inserimento delle variabili libere di una formula nel campo di azione di un quantificatore (universale o esistenziale) in modo da ottenere una nuova formula [...] in cui esse compaiono come variabili legate (→ formula chiusa) ...
Leggi Tutto
ESCLAMATIVO, COMPLEMENTO
Nell’analisi logica il complemento esclamativo è il complemento che si trova nelle proposizioni ➔esclamative.
Può essere costituito:
– da una ➔interiezione
Uffa, finiscila!
Ah, [...] povero me!
– da un aggettivo ➔esclamativo
Che diavolo vuoi!
VEDI ANCHE esclamativi, avverbi; esclamativo, congiuntiv ...
Leggi Tutto
triadico, predicato
Nella logica matematica, un predicato si dice t. se lega tra loro tre individui o elementi: per es., è t. il predicato «... è figlio di… e di…» e «su una retta r, il punto ... è compreso [...] tra ... e ...» ...
Leggi Tutto
COPULA
Nell’analisi logica, si definisce copula la voce del verbo essere che nel ➔predicato nominale lega il soggetto alla parte nominale (o nome del predicato) costituita da un nome o da un aggettivo
L’opossum [...] è un animale
Il mare era calmo
Molto più raro l’uso di copula in riferimento alla congiunzione ➔copulativa e ...
Leggi Tutto
metateoria
In logica matematica, teoria che ne ha per oggetto un’altra, detta teoria-oggetto. Si usa distinguere una m. sintattica, o sintassi, da una m. semantica, o semantica. La sintassi ha per oggetto [...] le sole proprietà formali o strutturali delle espressioni della teoria, la semantica studia invece anche i significati dei simboli (➔ teoria) ...
Leggi Tutto
CONCESSIVO, COMPLEMENTO
Nell’analisi logica, il complemento concessivo indica una persona, un oggetto o un fatto nonostante i quali accade qualcosa.
Di solito è introdotto dalle preposizioni malgrado, [...] nonostante
E nonostante le bombe / vicine e la fame, / malgrado le mine, / sul foglio lasciò / parole nere di vita (Baustelle, La guerra è finita) ...
Leggi Tutto
specie
specie in logica, analogo intuizionistico del concetto di insieme (→ intuizionismo). Le condizioni per definire una specie vanno precisate in senso intuizionistico per cui, per esempio, la doppia [...] negazione di una condizione non è necessariamente equivalente alla condizione stessa. Le operazioni tra specie, quali unione, intersezione e altre, sono definite in modo analogo a quelle tra insiemi, ma ...
Leggi Tutto
alternativa
In logica, altro nome della relazione di disgiunzione (➔) tra proposizioni. Con altro significato, l’a. è uno dei temi fondamentali dell’esistenzialismo: il problema dell’esistenza, ossia [...] il problema che io sono a me stesso, non può essere risolto che da un atto di decisione o scelta (col quale l’individuo appunto sceglie di essere sé stesso), sul presupposto di un’a., o aut-aut (da cui ...
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...