Filosofia
Processo logico-discorsivo (dal gr. apodissi) in virtù del quale si arriva a garantire la validità di un enunciato.
La nozione di d. venne introdotta da Aristotele che la definì come quella forma [...] scienza dimostrativa a priori (Aristotele, I. Kant), basata su principi immutabili, inerenti alle forme stesse della intuizione.
In logica matematica, una successione finita di espressioni A1,..., An di un linguaggio L di un sistema formale T si dice ...
Leggi Tutto
exor
exor in logica, operazione definita in un’algebra di Boole, talvolta indicata anche con xor. Data una coppia di variabili booleane a e b, tali cioè da poter assumere solo i valori 0 e 1, l’exor [...] una sola delle due variabili sia uguale a 1, mentre è uguale a zero negli altri casi.
Dal punto di vista della logica degli enunciati l’operazione exor corrisponde alla → disgiunzione esclusiva aut: dati due enunciati A e B, l’enunciato A aut B è ...
Leggi Tutto
clausola
clausola in logica, formula ben formata consistente nella disgiunzione di zero o più lettere enunciative, dette letterali; è quindi, una disgiunzione generalizzata di letterali. Nel caso in [...] zero lettere enunciative si parla di clausola vuota. La definizione si estende anche a clausole con variabili e, quindi, alla logica dei predicati. Inoltre, una formula ben formata è in → forma normale disgiuntiva se è formata dalla disgiunzione di ...
Leggi Tutto
condizionale controfattuale
In logica e filosofia della scienza (anche in forma abbreviata: controfattuale), enunciato condizionale al congiuntivo (corrispondente a quello che in grammatica è detto periodo [...] fiammifero sia stato sfregato. Enunciati di questo tipo hanno suscitato notevole interesse per la difficoltà di analizzarne la struttura logico-semantica in termini di funzioni di verità: il loro valore di verità, infatti, a differenza di quello dei ...
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...