Datisi

Datisi er et begrep av aristotelisk logikk som betegner en av de seks syllogismene i den tredje figuren av de tjuefire modusene. Den inkluderer en type A-dur, en type I-minor og en type I-konklusjon, det vil si en bekreftende universell hovedfag, en bekreftende bestemt mindre og en bekreftende bestemt konklusjon.

En syllogisme Datisi er et forslag av denne typen: All M er P, eller M er S, så noen S er P .

De andre fem syllogismene i den tredje figuren er Darapti , Bocardo , Disamis , Felapton og Ferison .

Eksempler på pensum i Datisi

1. Hunder er pattedyr;
2. Noen hunder kalles Medor;
3. Så noen som heter Medor er et pattedyr.

1. “Enhver Guds tjener er en konge;
2. Det er Guds tjenere som er fattige;
3. Så det er fattige mennesker som er konger. "

Referanser

1. Antoine Arnauld, Pierre Nicole, Logikk eller tenkekunsten , del tre, kap. VII.