Boole
Boole George (Lincoln 1815 - Cork 1864) logico e matematico irlandese. Figlio di un bottegaio, per studiare dovette superare notevoli difficoltà. Dopo gli iniziali studi umanistici, la sua formazione [...] e sulle trasformazioni analitiche. Nel 1847 pubblicò Mathematical analysis of logic (L’analisi matematica dellalogica) in cui per la prima volta espresse proposizionilogiche in termini algebrici. Nel frattempo, oltre a insegnare, svolse numerose ...
Leggi Tutto
conseguenza
conseguenza si dice che l’enunciato P è conseguenza logica di un insieme A di enunciati (tipicamente un sistema di assiomi) quando P è dedotta da uno o più enunciati di A. Se la deduzione [...] ciò che è deducibile (cioè dimostrabile con regole formali) è vero e tutto ciò che è vero è deducibile. Il termine è usato talvolta anche per indicare la seconda delle due proposizioni (detta anche conseguente) nell’implicazione «se P allora Q». ...
Leggi Tutto
modo
Dal lat. modus, che in questo significato corrisponde al gr. τρόπος. Come termine filosofico, designa in generale la qualificazione, non essenziale, che una data realtà può assumere nel suo divenire, [...] sillogismo
Nella logica aristotelica, e successivamente nella tradizione latina e medievale, i vari tipi di sillogismo che in seno a una data «figura» si potevano ottenere a seconda che ciascuna delle tre proposizioni categoriche fosse affermativa ...
Leggi Tutto
enumerazione
Nella logica scolastica, l’enumeratio perfecta è l’«induzione perfetta» aristotelica o «epagoge», la quale estende ciò che si è provato delle singole parti di un tutto al tutto stesso; l’enumeratio [...] di tutti»), che si ha quando da alcuni particolari offerti dall’esperienza si conclude a proposizioni universali, sicché la conclusione contiene più delle premesse. Con lo stesso termine (fr. énumération) Cartesio ha poi designato la quarta regola ...
Leggi Tutto
argomentazione
In logica, un insieme ordinato di proposizioni, una delle quali è posta come inferita dalle altre che la precedono. La proposizione inferita si dice conseguente o conclusione; quella o [...] quelle da cui è inferita antecedente; la relazione di dipendenza logica tra il conseguente e l’antecedente conseguenza. ...
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,...
proposizione
propoṡizióne s. f. [dal lat. propositio -onis, propr. «il mettere innanzi», der. di proponĕre: v. proporre]. – 1. In genere, ciò che si enuncia, si dichiara, si afferma, e la frase stessa che contiene l’enunciato. In partic.:...