Naopak (logika) - Contrary (logic) - Wikipedia

Tento diagram ukazuje opačný vztah mezi kategorické návrhy v náměstí opozice z Aristotelská logika.

Naopak je vztah mezi dvěma propozice když nemohou být oba skutečný (i když oba mohou být nepravdivé). Můžeme tedy udělat okamžitý závěr že pokud je jedna pravdivá, druhá musí být nepravdivá.

Zákon platí pro A a E návrhy Aristotelian náměstí opozice. Například teze A „každý člověk je čestný“ a teze E „žádný člověk není upřímný“ nemohou platit obě najednou, protože nikdo nemůže být upřímný a zároveň není upřímný. Ale oba mohou být falešné, pokud jsou někteří muži upřímní a někteří muži ne. Pokud jsou někteří muži upřímní, tvrzení „žádný člověk není upřímný“ je falešná. A pokud někteří muži nejsou upřímní, je tvrzení „každý člověk je upřímný“ také nepravdivé.

Všimněte si, že A a E návrhy jsou protiklady, pouze pokud A výrokem „každý člověk je čestný“ se rozumí „existuje alespoň jeden člověk a každý člověk je čestný“, na rozdíl od standardní interpretace vzorce moderní logiky s univerzální kvantifikátor, . Moderní prezentace náměstí opozice a varianty to obvykle výslovně uvádějí.[1]

Viz také

externí odkazy

  1. ^ Westerståhl. „Klasické a moderní čtverce opozice i mimo ni“ (PDF). Beziau a Payette (eds.), Náměstí opozice, Peter Lang, Bern, 195-229.