Dictum de omni et nullo: cos’è, tutto ciò che è affermato

Nella logica aristotelica , il dictum de omni et nullo ( latino : “la massima di tutto e di nessuno”) è il principio secondo cui tutto ciò che è affermato o negato di un intero tipo K può essere affermato o negato (rispettivamente) di qualsiasi sottotipo di K. Questo principio è fondamentale per la logica sillogistica nel senso che tutte le forme argomentative sillogistiche valide sono riducibili alle dei due principi costitutivi dictum de omni e dictum de nullo .

Dictum de omni

Dictum de omni (a volte interpretato erroneamente comeistanziazione universale)è il principio che tutto ciò che è universalmente affermato di un tipo è affermabile anche per qualsiasi sottotipo di quel tipo.
Esempio:

(1) I cani sono mammiferi.
(2) I mammiferi hanno il fegato.
Pertanto (3) i cani hanno il fegato.

La premessa (1) afferma che “cane” è una sottospecie del tipo “mammifero”.
La premessa (2) è un’affermazione ( affermativa universale ) sul tipo “mammifero”.
L’enunciato (3) conclude che ciò che è vero per la specie “mammifero” è vero per la sottospecie “cane”.

Dictum de nullo

Dictum de nullo è il principio correlato che tutto ciò che è negato di un tipo è parimenti negato di qualsiasi sottotipo di quel tipo.
Esempio:

(1) I cani sono mammiferi.
(4) I mammiferi non hanno branchie.
Pertanto (5) i cani non hanno branchie.

La premessa (1) afferma che “cane” è una sottospecie del tipo “mammifero”.
La premessa (4) è un’affermazione ( negativa universale ) sul tipo “mammifero”.
L’enunciato (5) conclude che ciò che è negato della specie “mammifero” è negato della sottospecie “cane”.

Ciascuno di questi due principi è un’istanza di una forma argomentativa valida nota come sillogismo ipotetico universale nella logica dei predicati di primo ordine . Nella sillogistica aristotelica corrispondono rispettivamente alle due forme argomentative Barbara e Celarent.


https://en.wikipedia.org/wiki/Dictum_de_omni_et_nullo

Lascia un commento

Il tuo indirizzo email non sarà pubblicato. I campi obbligatori sono contrassegnati *