Dictum de omni et nullo - Dictum de omni et nullo

v Aristotelská logika, dictum de omni et nullo (latinský: „maxima všeho a žádného“) je zásada, že vše, co je potvrzeno nebo popřeno celého druhu K, může být potvrzeno nebo popřeno (v uvedeném pořadí) jakékoli podskupiny K. Tento princip je zásadní pro sylogistická logika v tom smyslu, že všechny platné formy argumentů úsudku lze redukovat na aplikace těchto dvou základních principů dictum de omni a dictum de nullo.[1]

Dictum de omni

Dictum de omni (někdy nesprávně vyloženo jako univerzální instance ) je zásada, že vše, co je všeobecně potvrzeno určitého druhu, je také potvrzitelné pro jakoukoli podskupinu tohoto druhu.
Příklad:

(1) Psi jsou savci.
(2) Savci mají játra.
Proto (3) psi mají játra.

Předpoklad (1) uvádí, že „pes“ je poddruh druhu „savec“.
Předpoklad (2) je (univerzální kladné ) tvrzení o druhu „savec“.
Prohlášení (3) uzavírá, že to, co platí pro druh „savec“, platí pro poddruh „pes“.

Dictum de nullo

Dictum de nullo je příbuzná zásada, že cokoli, co je odepřeno, je rovněž popíráno jakémukoli poddruhu tohoto druhu.
Příklad:

(1) Psi jsou savci.
(4) Savci nemají žábry.
Proto (5) psi nemají žábry.

Předpoklad (1) uvádí, že „pes“ je poddruh druhu „savec“.
Předpoklad (4) je (univerzální negativní ) tvrzení o druhu „savec“.
Prohlášení (5) uzavírá, že to, co je odepřeno druhu „savec“, je odepřeno subkindu „pes“.

Každý z těchto dvou principů je instancí platné formy argumentu známé jako univerzální hypotetický úsudek v predikátová logika prvního řádu. v Aristotelovský úsudek odpovídají oběma formám argumentů, Barbarě a Celarentovi.

Viz také

Reference

Poznámky

  1. ^ John Stuart Mill (15. ledna 2001). Systém logické poměrové a indukční: Být propojeným pohledem na principy důkazů a metody vědeckého zkoumání. Elibron.com. str. 114. ISBN  978-1-4021-8157-3. Citováno 6. března 2011.

externí odkazy