Закон Пирса

Закон Пи́рса — один из законов классической логики, аналог законов двойного отрицания и исключённого третьего. Назван в честь американского логика и философа Чарльза Пирса.

Закон Пирса формально выглядит так:

${\displaystyle ((P\to Q)\to P)\to P}$

что означает: P должно быть истинно, если следование Q из P с необходимостью влечёт P. Закон Пирса является тавтологией классической логики, однако при этом как правило не выполняется в неклассических логиках, в частности в интуиционистской логике. При этом добавление закона Пирса к любой аксиоматике интуиционистской логики, превращает её в классическую. То же самое происходит при добавлении закона двойного отрицания или закона исключённого третьего. В этом смысле все три закона эквивалентны. Однако в общем случае, существуют логики, в которых все три закона неэквивалентны^[1].

Примечания

1. ↑ Zena M. Ariola and Hugo Herbelin. Minimal classical logic and control operators. Архивная копия от 18 июля 2008 на Wayback Machine In Thirtieth International Colloquium on Automata, Languages and Programming , ICALP’03, Eindhoven, The Netherlands, June 30 — July 4, 2003 // Lecture Notes in Computer Science. Vol. 2719. Pp. 871—885. Springer-Verlag, 2003.

Эта страница в последний раз была отредактирована 28 июня 2022 в 07:45.