Dictum de omni et nullo

W logice arystotelesowskiej dictum de omni et nullo ( łac . „maksyma wszystkiego i nic”) jest zasadą, że cokolwiek jest stwierdzone lub zaprzeczone w odniesieniu do całego rodzaju K, może być potwierdzone lub zaprzeczone (odpowiednio) dowolnego podrodzaju K. To zasada jest fundamentalna dla logiki sylogistycznej w tym sensie, że wszystkie ważne formy argumentów sylogistycznych można zredukować do zastosowania dwóch zasad składowych dictum de omni i dictum de nullo .

Dictum de omni


Dictum de omni (czasami błędnie interpretowane jako uniwersalna konkretyzacja ) [ potrzebne źródło ] jest zasadą, że wszystko, co jest stwierdzone uniwersalnie danego rodzaju, jest również stwierdzone dla każdego podrodzaju tego rodzaju. Przykład:



(1) Psy są ssakami. (2) Ssaki mają wątroby. Dlatego (3) psy mają wątroby.



Przesłanka (1) stwierdza, że ​​„pies” jest podrodzajem rodzaju „ssaki”. Przesłanka (2) jest ( uniwersalnym twierdzącym ) twierdzeniem o rodzaju „ssak”. Twierdzenie (3) konkluduje, że to, co jest prawdziwe dla rodzaju „ssaki”, jest prawdziwe dla podrodzaju „pies”.

Dictum de nullo


Dictum de nullo jest pokrewną zasadą, że wszystko, czego odmawia się jakiemuś rodzajowi, jest również odrzucane dla każdego podrodzaju tego rodzaju. Przykład:



(1) Psy są ssakami. (4) Ssaki nie mają skrzeli. Dlatego (5) psy nie mają skrzeli.



Przesłanka (1) stwierdza, że ​​„pies” jest podrodzajem rodzaju „ssaki”. Przesłanka (4) jest ( uniwersalnym przeczeniem ) twierdzeniem o rodzaju „ssaka”. Stwierdzenie (5) konkluduje, że to, czego odmawia się rodzajowi „ssaki”, jest odrzucane podrodzajowi „pies”.

Każda z tych dwóch zasad jest przykładem ważnej formy argumentacji znanej jako uniwersalny sylogizm hipotetyczny w logice predykatów pierwszego rzędu . W sylogistyce Arystotelesa odpowiadają one odpowiednio dwóm formom argumentów, Barbara i Celarent.

Zobacz też

Notatki

Linki zewnętrzne

Pobrano z „ https://en.wikipedia.org/w/index.php?title=Dictum_de_omni_et_nullo&oldid=1074292240 ”