Piercen laki

Piercen laki  on yksi klassisen logiikan laeista , kaksoisnegaation ja poissuljetun keskikohdan lakien analogi . Nimetty amerikkalaisen logikon ja filosofin Charles Piercen mukaan .

Peircen laki näyttää muodollisesti tältä:

mikä tarkoittaa: P:n on oltava tosi, jos Q:n seuraus P:stä väistämättä merkitsee P:tä. Peircen laki on klassisen logiikan tautologia , mutta pääsääntöisesti se ei päde ei-klassisessa logiikassa , etenkään intuitionistisessa logiikassa . Samaan aikaan Piercen lain lisääminen mihin tahansa intuitionistisen logiikan aksiomatiikkaan tekee siitä klassisen . Sama tapahtuu, kun lisätään kaksoisnegaation laki tai poissuljetun keskikohdan laki . Tässä mielessä kaikki kolme lakia ovat samanarvoisia. Yleisessä tapauksessa on kuitenkin olemassa logiikkaa, joissa kaikki kolme lakia eivät ole samanarvoisia [1] .

Muistiinpanot

1. ↑ Zena M. Ariola ja Hugo Herbelin. Minimaalinen klassinen logiikka ja ohjausoperaattorit. Arkistoitu 18. heinäkuuta 2008 Wayback Machinessa Thirtieth International Colloquium on Automata, Languages ​​​​and Programming, ICALP'03, Eindhoven, Alankomaat, 30. kesäkuuta - 4. heinäkuuta 2003 // Lecture Notes in Computer Science . Voi. 2719. Ss. 871-885. Springer-Verlag, 2003.