Pierceův zákon

Pierceův zákon  je jedním ze zákonů klasické logiky , obdobou zákonů dvojité negace a vyloučeného středu . Pojmenována po americkém logikovi a filozofovi Charlesi Pierceovi .

Peirceův zákon formálně vypadá takto:

což znamená: P musí být pravdivé, pokud důsledek Q z P nutně implikuje P. Peirceův zákon je tautologií klasické logiky , avšak zpravidla neplatí v neklasických logikách , zejména v intuicionistické logice . Zároveň přidáním Pierceova zákona k jakékoli axiomatice intuicionistické logiky se z ní stane klasický . Totéž se děje při přidání zákona dvojí negace nebo zákona vyloučeného středu . V tomto smyslu jsou všechny tři zákony rovnocenné. V obecném případě však existují logiky, ve kterých všechny tři zákony nejsou ekvivalentní [1] .

Poznámky

1. ↑ Zena M. Ariola a Hugo Herbelin. Minimální klasické logické a řídicí operátory. Archivováno 18. července 2008 na Wayback Machine ve třicátém mezinárodním kolokviu o automatech, jazycích a programování, ICALP'03, Eindhoven, Nizozemsko, 30. června – 4. července 2003 // Poznámky k přednáškám z informatiky . sv. 2719. Pp. 871-885. Springer-Verlag, 2003.