term logic traditional logic syllogistic logic Aristotelian logic
e' la logica da Aristotele fino alla logica formale (circa 1900).
Roman Rota requires that any arguments crafted by Advocates be presented in syllogistic format !!!
proposizione categorica scomposta in Soggetto e Predicato, affermare o negare che ogni o qualche membro della classe soggetto appartiene alla classe predicato
Forma | Esempio |
---|---|
ogni S è P | ogni uomo ha 2 gambe |
no S è P | nessun uomo ha 3 gambe |
qualche S è P | qualche gatto e' nero |
qualche S non è P | qualche gatto non e' nero |
Surprisingly, a large number of sentences may be translated into one of these canonical forms while retaining all or most of the original meaning of the sentence.
affermare | negare | |
---|---|---|
universale | ogni S è P | no S è P |
particolare | qualche S è P | qualche S non è P |
sillogismo, logica sillogistica. Non ne faccio 2 pagine distinte come wp.
Forma | Esempio | |||
---|---|---|---|---|
A | SaP | ogni S è P | ogni uomo ha 2 gambe | universale+ |
E | SeP | no1 S è P | nessun uomo ha 3 gambe | universale- |
I | SiP | qualche S è P | qualche gatto e' nero | particolare+ |
O | SoP | qualche S non è P | qualche gatto non e' nero | particolare- |
totale | universale |
---|---|
parziale | particolare |