Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] un seguito limitato è che l'abbandono di alcune regole sottostrutturali porta a conseguenze controintuive, come l'esclusione del sillogismo disgiuntivo ∉A→(A B), da cui deriva l'indesiderata formula (A ∉A)→B. Questa esclusione si può difendere solo ...
Leggi Tutto
sillogismo
(ant. silogismo) s. m. [dal lat. syllogismus, gr. συλλογισμός, propr. «connessione di idee, ragionamento» (comp. di σύν «con» e λογισμός «calcolo», da λόγος «discorso, ragionamento»)]. – 1. Termine filosofico con cui Aristotele...
silloge
sìlloge s. f. [dal gr. συλλογή «raccolta», der. di συλλέγω «raccogliere insieme» (comp. di σύν «con» e λέγω «cogliere, raccogliere»)]. – Raccolta, spec. di iscrizioni (s. epigrafica), di brani antologici di uno scrittore o di un gruppo...