matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste [...] procedure deduttive. Questo spiega la caratteristica più evidente che distingue la logica matematica dalla logicaformale tradizionale: la coesistenza in essa di un livello dove si ... ...
Leggi Tutto
tautologia Nella logicaformale classica, proposizione che, proponendosi di definire qualcosa, non fa sostanzialmente che ripetere nel predicato ciò che già [...] è detto nel soggetto. In logica matematica si chiama t. (o verità logica) ogni espressione che risulti sempre vera, qualunque siano i valori di verità assegnati alle variabili. ... ...
Leggi Tutto
categorematico Nella logicaformale, detto di termine che ha un significato preso isolatamente (contrapposto a sincategorematico). [...] Termini c. sono sostantivi, verbi, aggettivi. Tale distinzione si mantiene nella logica simbolica, salvo varianti terminologiche (talora i termini c. vengono detti propri, e i ... ...
Leggi Tutto
sincategorematico Nella logicaformale, si dice di termine che preso isolatamente non ha un significato suo proprio ma lo acquista solo in unione ad altri termini, detti categorematici (cioè tali che di per sé significano qualcosa), e agisce sul significato di questi ultimi dando luogo a una nuova ...
Leggi Tutto
Ragionamento, psicologia del Fin da Aristotele la logicaformale - le procedure che permettono di operare delle inferenze, cioè trarre conclusioni da premesse - è stata considerata [...] diversa scorrevolezza delle due inferenze? Secondo la teoria delle regole formali, che riprende il punto di vista della logica classica, la mente è dotata di un insieme di regole ... ...
Leggi Tutto
SORITE. - Termine della logicaformale, corrispondente al greco σωρίτης, il quale a sua volta è derivato da σωρός "mucchio". Il nome di sorite ha infatti, inizialmente, il sofisma megarico del "mucchio" (il primo granello non costituisce un mucchio, il secondo neppure, ecc.: o si conclude che il ...
Leggi Tutto
SUSSUNZIONE. - Termine della logicaformale, corrispondente al latino subsumptio. Indica l'azione del "sussumere" (subsumere), cioè del ricondurre un noema (ossia un qualsiasi contenuto di pensiero, "termine" di giudizio o di sillogismo) nell'ambito di quello nella cui estensione esso è compreso. Si ...
Leggi Tutto
DIVISIONE. - Filosofia. - Nel campo della logicaformale, la divisione (che corrisponde alla greca διαίρεσις) è l'operazione mediante la quale si enumerano le specie contenute in un genere, o, più generalmente, i concetti meno estesi e più comprensivi contenuti in un concetto più esteso e meno ...
Leggi Tutto
polisillogismo Nella logicaformale, 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
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, teoria...
formale1 agg. [dal lat. formalis]. – 1. Nel linguaggio filos., della forma, che concerne la forma o è inerente alla forma, in stretta connessione con il sign. e lo svolgimento di questo termine in filosofia. a. Nella distinzione aristotelica...