Pierce törvénye

Pierce törvénye a klasszikus logika  egyik törvénye, a kettős tagadás és a kizárt közép törvényeinek analógja . Nevét Charles Pierce amerikai logikusról és filozófusról kapta .

Peirce törvénye formálisan így néz ki:

ami azt jelenti: P-nek igaznak kell lennie, ha a P-ből származó Q következménye szükségszerűen magában foglalja P-t. Peirce törvénye a klasszikus logika tautológiája , de általában nem érvényes a nem klasszikus logikában , különösen az intuicionista logikában . Ugyanakkor, ha az intuicionista logika bármely axiomatikájához hozzáadjuk Pierce törvényét, az klasszikussá válik . Ugyanez történik, ha hozzáadjuk a kettős tagadás vagy a kizárt középső törvényét . Ebben az értelemben mindhárom törvény egyenértékű. Általános esetben azonban vannak olyan logikák, amelyekben mindhárom törvény nem egyenértékű [1] .

Jegyzetek

1. ↑ Zena M. Ariola és Hugo Herbelin. Minimális klasszikus logikai és vezérlő operátorok. Archivált : 2008. július 18., a Wayback Machine In Thirtieth International Colloquium on Automata, Languages ​​​​and Programming, ICALP'03, Eindhoven, Hollandia, 2003. június 30. - július 4. // Számítástechnikai előadásjegyzetek . Vol. 2719. o. 871-885. Springer-Verlag, 2003.