Peirce's law - Revision history

Jon Awbrey: update

2015-11-18T16:14:14Z

update

← Older revision		Revision as of 16:14, 18 November 2015
Line 282:		Line 282:
	* [http://en.wikiversity.org/wiki/Peirce's_law Peirce's Law], [http://en.wikiversity.org/ Wikiversity]		* [http://en.wikiversity.org/wiki/Peirce's_law Peirce's Law], [http://en.wikiversity.org/ Wikiversity]
	* [http://beta.wikiversity.org/wiki/Peirce's_law Peirce's Law], [http://beta.wikiversity.org/ Wikiversity Beta]		* [http://beta.wikiversity.org/wiki/Peirce's_law Peirce's Law], [http://beta.wikiversity.org/ Wikiversity Beta]
	* [http://en.wikipedia.org/w/index.php?title=Peirce~~%27s_law~~&oldid=60606482 Peirce's Law], [http://en.wikipedia.org/ Wikipedia]		* [http://en.wikipedia.org/w/index.php?title=Peirce's_law&oldid=60606482 Peirce's Law], [http://en.wikipedia.org/ Wikipedia]

	~~[[Category:Inquiry]]~~
	~~[[Category:Open Educational Resource]]~~
	~~[[Category:Peer Educational Resource]]~~
	[[Category:Artificial Intelligence]]		[[Category:Artificial Intelligence]]
			[[Category:Charles Sanders Peirce]]
	[[Category:Combinatorics]]		[[Category:Combinatorics]]
	[[Category:Computer Science]]		[[Category:Computer Science]]
Line 297:		Line 295:
	[[Category:History of Logic]]		[[Category:History of Logic]]
	[[Category:History of Mathematics]]		[[Category:History of Mathematics]]
			[[Category:Inquiry]]
	[[Category:Knowledge Representation]]		[[Category:Knowledge Representation]]
	[[Category:Logic]]		[[Category:Logic]]

Jon Awbrey: update

2015-11-07T15:34:53Z

update

← Older revision		Revision as of 15:34, 7 November 2015
Line 169:		Line 169:
	===Focal nodes===		===Focal nodes===

	~~{{col-begin}}~~
	~~{{col-break}}~~
	* [[Inquiry Live]]		* [[Inquiry Live]]
	~~{{col-break}}~~
	* [[Logic Live]]		* [[Logic Live]]
	~~{{col-end}}~~

	===Peer nodes===		===Peer nodes===

	~~{{col-begin}}~~		* [http://intersci.ss.uci.edu/wiki/index.php/Peirce's_law Peirce's Law @ InterSciWiki]
	~~{{col-break}}~~
	* [http://mywikibiz.com/Peirce's_law Peirce's Law @ MyWikiBiz]		* [http://mywikibiz.com/Peirce's_law Peirce's Law @ MyWikiBiz]
	* [http://mathweb.org/wiki/Peirce's_law Peirce's Law @ MathWeb Wiki]
	* [http://netknowledge.org/wiki/Peirce's_law Peirce's Law @ NetKnowledge]
	* [http://wiki.oercommons.org/mediawiki/index.php/Peirce's_law Peirce's Law @ OER Commons]
	~~{{col-break}}~~
	* [http://p2pfoundation.net/Peirce's_Law Peirce's Law @ P2P Foundation]
	* [http://semanticweb.org/wiki/Peirce's_law Peirce's Law @ SemanticWeb]
	* [http://ref.subwiki.org/wiki/Peirce's_law Peirce's Law @ Subject Wikis]		* [http://ref.subwiki.org/wiki/Peirce's_law Peirce's Law @ Subject Wikis]
			* [http://en.wikiversity.org/wiki/Peirce's_law Peirce's Law @ Wikiversity]
	* [http://beta.wikiversity.org/wiki/Peirce's_law Peirce's Law @ Wikiversity Beta]		* [http://beta.wikiversity.org/wiki/Peirce's_law Peirce's Law @ Wikiversity Beta]

	~~{{col-end}}~~

	===Logical operators===		===Logical operators===
Line 269:		Line 257:
	===Related articles===		===Related articles===

	* [http://~~mywikibiz~~.~~com~~/~~Directory:Jon_Awbrey~~/~~Papers~~/~~Semiotic_Information Jon Awbrey, “Semiotic Information”~~]		{{col-begin}}
			{{col-break}}
	* [http://~~mywikibiz~~.~~com~~/~~Directory:Jon_Awbrey~~/~~Papers~~/~~Introduction_to_Inquiry_Driven_Systems Jon Awbrey, “Introduction To Inquiry Driven Systems”~~]		* [http://intersci.ss.uci.edu/wiki/index.php/Cactus_Language Cactus Language]
			* [http://intersci.ss.uci.edu/wiki/index.php/Futures_Of_Logical_Graphs Futures Of Logical Graphs]
	* [http://~~mywikibiz~~.~~com~~/~~Directory:Jon_Awbrey~~/~~Essays~~/~~Prospects_For_Inquiry_Driven_Systems Jon Awbrey, “Prospects For Inquiry Driven~~ Systems~~”~~]		* [http://intersci.ss.uci.edu/wiki/index.php/Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems]
			{{col-break}}
	* [http://~~mywikibiz~~.~~com~~/~~Directory:Jon_Awbrey~~/~~Papers~~/~~Inquiry_Driven_Systems Jon Awbrey, “Inquiry Driven Systems~~ : ~~Inquiry Into Inquiry”~~]		* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_:_Introduction Differential Logic : Introduction]
			* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Propositional_Calculus Differential Propositional Calculus]
	* [http://~~mywikibiz~~.~~com~~/~~Directory:Jon_Awbrey~~/~~Papers~~/~~Propositional_Equation_Reasoning_Systems Jon Awbrey, “~~Propositional ~~Equation Reasoning Systems”~~]		* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
			{{col-break}}
	* [http://~~mywikibiz~~.~~com~~/~~Directory:Jon_Awbrey~~/~~Papers~~/~~Differential_Logic_:_Introduction Jon Awbrey, “~~Differential Logic ~~: Introduction”~~]		* [http://intersci.ss.uci.edu/wiki/index.php/Prospects_for_Inquiry_Driven_Systems Prospects for Inquiry Driven Systems]
			* [http://intersci.ss.uci.edu/wiki/index.php/Introduction_to_Inquiry_Driven_Systems Introduction to Inquiry Driven Systems]
	* [http://~~planetmath~~.~~org~~/~~encyclopedia~~/~~DifferentialPropositionalCalculus~~.~~html Jon Awbrey, “Differential Propositional Calculus”~~]		* [http://intersci.ss.uci.edu/wiki/index.php/Inquiry_Driven_Systems Inquiry Driven Systems : Inquiry Into Inquiry]
			{{col-end}}
	* [http://~~mywikibiz~~.~~com~~/~~Directory~~:~~Jon_Awbrey~~/~~Papers~~/~~Differential_Logic_and_Dynamic_Systems_2~~.~~0 Jon Awbrey, “Differential Logic and Dynamic~~ Systems~~”~~]

	==Document history==		==Document history==
Line 289:		Line 276:
	Portions of the above article were adapted from the following sources under the [[GNU Free Documentation License]], under other applicable licenses, or by permission of the copyright holders.		Portions of the above article were adapted from the following sources under the [[GNU Free Documentation License]], under other applicable licenses, or by permission of the copyright holders.

	~~{{col-begin}}~~		* [http://intersci.ss.uci.edu/wiki/index.php/Peirce's_law Peirce's Law], [http://intersci.ss.uci.edu/ InterSciWiki]
	~~{{col-break}}~~
	* [http://mywikibiz.com/Peirce's_law Peirce's Law], [http://mywikibiz.com/ MyWikiBiz]		* [http://mywikibiz.com/Peirce's_law Peirce's Law], [http://mywikibiz.com/ MyWikiBiz]
	* [http://~~mathweb~~.org/~~wiki/Peirce's_law~~ Peirce's Law], [http://~~mathweb~~.org/ ~~MathWeb Wiki~~]		* [http://planetmath.org/PeircesLaw Peirce's Law], [http://planetmath.org/ PlanetMath]
	* [http://~~www.netknowledge~~.org/~~wiki/Peirce's_law Peirce's Law], [http://www.netknowledge.org/ NetKnowledge]~~		* [http://wikinfo.org/w/index.php/Peirce's_law Peirce's Law], [http://www.wikinfo.org/w/ Wikinfo]
	* [http://wiki.oercommons.org/mediawiki/index.php/Peirce's_law Peirce's Law], [http://~~wiki~~.~~oercommons.org/ OER Commons]~~		* [http://en.wikiversity.org/wiki/Peirce's_law Peirce's Law], [http://en.wikiversity.org/ Wikiversity]
	* [http://planetmath.org/~~encyclopedia/PeircesLaw.html Peirce's Law], [http://planetmath.org~~/ ~~PlanetMath~~]
	* [http://~~www~~.~~proofwiki~~.org/wiki/Peirce'~~s_Law~~ Peirce's Law], [http://~~www~~.~~proofwiki~~.org/ ~~ProofWiki~~]
	~~{{col-break}}~~
	* [http://beta.wikiversity.org/wiki/Peirce's_law Peirce's Law], [http://beta.wikiversity.org/ Wikiversity Beta]		* [http://beta.wikiversity.org/wiki/Peirce's_law Peirce's Law], [http://beta.wikiversity.org/ Wikiversity Beta]
	* [http://knol.google.com/k/jon-awbrey/peirce-s-law/3fkwvf69kridz/10 Peirce's Law], [http://knol.google.com/ Google Knol]
	* [http://www.getwiki.net/-Peirce%92s_Law Peirce's Law], [http://www.getwiki.net/ GetWiki]
	* [http://www.wikinfo.org/index.php?title=Peirce%92s_law&oldid=29173 Peirce's Law], [http://www.wikinfo.org/ Wikinfo]
	* [http://www.textop.org/wiki/index.php?title=Peirce's_law Peirce's Law], [http://www.textop.org/wiki/ Textop Wiki]
	* [http://en.wikipedia.org/w/index.php?title=Peirce%27s_law&oldid=60606482 Peirce's Law], [http://en.wikipedia.org/ Wikipedia]		* [http://en.wikipedia.org/w/index.php?title=Peirce%27s_law&oldid=60606482 Peirce's Law], [http://en.wikipedia.org/ Wikipedia]
	~~{{col-end}}~~

	[[Category:Inquiry]]		[[Category:Inquiry]]

Jon Awbrey: plural wiki links

2010-06-14T19:32:25Z

plural wiki links

← Older revision		Revision as of 19:32, 14 June 2010
Line 41:		Line 41:
	==Graphical proof==		==Graphical proof==

	Under the existential interpretation of Peirce's [[logical ~~graph~~]]s, Peirce's law is represented by means of the following formal equivalence or logical equation.		Under the existential interpretation of Peirce's [[logical graphs]], Peirce's law is represented by means of the following formal equivalence or logical equation.

	{\| align="center" border="0" cellpadding="10" cellspacing="0"		{\| align="center" border="0" cellpadding="10" cellspacing="0"

Jon Awbrey: + article

2010-06-13T22:30:16Z

+ article

New page

☞ This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].

'''Peirce's law''' is a formula in [[propositional calculus]] that is commonly expressed in the following form:

{| align="center" cellpadding="10"
| <math>((p \Rightarrow q) \Rightarrow p) \Rightarrow p</math>
|}

Peirce's law holds in classical propositional calculus, but not in intuitionistic propositional calculus. The precise axiom system that one chooses for classical propositional calculus determines whether Peirce's law is taken as an axiom or proven as a theorem.

==History==

Here is Peirce's own statement and proof of the law:

{| align="center" cellpadding="8" width="90%"
|
A ''fifth icon'' is required for the principle of excluded middle and other propositions connected with it. One of the simplest formulae of this kind is:

<center>
<math>\{ (x \,-\!\!\!< y) \,-\!\!\!< x \} \,-\!\!\!< x.</math>
</center>

This is hardly axiomatical. That it is true appears as follows. It can only be false by the final consequent <math>x\!</math> being false while its antecedent <math>(x \,-\!\!\!< y) \,-\!\!\!< x</math> is true. If this is true, either its consequent, <math>x,\!</math> is true, when the whole formula would be true, or its antecedent <math>x \,-\!\!\!< y</math> is false. But in the last case the antecedent of <math>x \,-\!\!\!< y,</math> that is <math>x,\!</math> must be true. (Peirce, CP 3.384).
|}

Peirce goes on to point out an immediate application of the law:

{| align="center" cellpadding="8" width="90%"
|
From the formula just given, we at once get:

<center>
<math>\{ (x \,-\!\!\!< y) \,-\!\!\!< a \} \,-\!\!\!< x,</math>
</center>

where the <math>a\!</math> is used in such a sense that <math>(x \,-\!\!\!< y) \,-\!\!\!< a</math> means that from <math>(x \,-\!\!\!< y)</math> every proposition follows. With that understanding, the formula states the principle of excluded middle, that from the falsity of the denial of <math>x\!</math> follows the truth of <math>x.\!</math> (Peirce, CP 3.384).
|}

'''Note.''' Peirce uses the ''sign of illation'' “<math>-\!\!\!<</math>” for implication. In one place he explains “<math>-\!\!\!<</math>” as a variant of the sign “<math>\le</math>” for ''less than or equal to''; in another place he suggests that <math>A \,-\!\!\!< B</math> is an iconic way of representing a state of affairs where <math>A,\!</math> in every way that it can be, is <math>B.\!</math>

==Graphical proof==

Under the existential interpretation of Peirce's [[logical graph]]s, Peirce's law is represented by means of the following formal equivalence or logical equation.

{| align="center" border="0" cellpadding="10" cellspacing="0"
| [[Image:Peirce's Law 1.0 Splash Page.png|500px]] || (1)
|}

'''Proof.''' Using the axiom set given in the entry for [[logical graphs]], Peirce's law may be proved in the following manner.

{| align="center" cellpadding="8"
|
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
| [[Image:Peirce's Law 1.0 Marquee Title.png|500px]]
|-
| [[Image:Peirce's Law 1.0 Storyboard 1.png|500px]]
|-
| [[Image:Equational Inference Band Collect p.png|500px]]
|-
| [[Image:Peirce's Law 1.0 Storyboard 2.png|500px]]
|-
| [[Image:Equational Inference Band Quit ((q)).png|500px]]
|-
| [[Image:Peirce's Law 1.0 Storyboard 3.png|500px]]
|-
| [[Image:Equational Inference Band Cancel (( )).png|500px]]
|-
| [[Image:Peirce's Law 1.0 Storyboard 4.png|500px]]
|-
| [[Image:Equational Inference Band Delete p.png|500px]]
|-
| [[Image:Peirce's Law 1.0 Storyboard 5.png|500px]]
|-
| [[Image:Equational Inference Band Cancel (( )).png|500px]]
|-
| [[Image:Peirce's Law 1.0 Storyboard 6.png|500px]]
|-
| [[Image:Equational Inference Marquee QED.png|500px]]
|}
| (2)
|}

The following animation replays the steps of the proof.

{| align="center" cellpadding="8"
|
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
| [[Image:Peirce's Law 2.0 Animation.gif]]
|}
| (3)
|}

==Equational form==

A stronger form of Peirce's law also holds, in which the final implication is observed to be reversible:

{| align="center" cellpadding="10"
| <math>((p \Rightarrow q) \Rightarrow p) \Leftrightarrow p</math>
|}

===Proof 1===

Given what precedes, it remains to show that:

{| align="center" cellpadding="10"
| <math>p \Rightarrow ((p \Rightarrow q) \Rightarrow p)</math>
|}

But this is immediate, since <math>p \Rightarrow (r \Rightarrow p)</math> for any proposition <math>r.\!</math>

===Proof 2===

Representing propositions as logical graphs under the existential interpretation, the strong form of Peirce's law is expressed by the following equation:

{| align="center" border="0" cellpadding="10" cellspacing="0"
| [[Image:Peirce's Law Strong Form 1.0 Splash Page.png|500px]] || (4)
|}

Using the axioms and theorems listed in the article on [[logical graphs]], the equational form of Peirce's law may be proved in the following manner:

{| align="center" cellpadding="8"
|
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
| [[Image:Peirce's Law Strong Form 1.0 Marquee Title.png|500px]]
|-
| [[Image:Peirce's Law Strong Form 1.0 Storyboard 1.png|500px]]
|-
| [[Image:Equational Inference Rule Collect p.png|500px]]
|-
| [[Image:Peirce's Law Strong Form 1.0 Storyboard 2.png|500px]]
|-
| [[Image:Equational Inference Rule Quit ((q)).png|500px]]
|-
| [[Image:Peirce's Law Strong Form 1.0 Storyboard 3.png|500px]]
|-
| [[Image:Equational Inference Rule Cancel (( )).png|500px]]
|-
| [[Image:Peirce's Law Strong Form 1.0 Storyboard 4.png|500px]]
|-
| [[Image:Equational Inference Marquee QED.png|500px]]
|}
| (5)
|}

The following animation replays the steps of the proof.

{| align="center" cellpadding="8"
|
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
| [[Image:Peirce's Law Strong Form 2.0 Animation.gif]]
|}
| (6)
|}

==Bibliography==

* [[Charles Sanders Peirce|Peirce, Charles Sanders]] (1885), "On the Algebra of Logic : A Contribution to the Philosophy of Notation", ''American Journal of Mathematics'' 7 (1885), 180–202. Reprinted (CP 3.359–403), (CE 5, 162–190).

* Peirce, Charles Sanders (1931–1935, 1958), ''Collected Papers of Charles Sanders Peirce'', vols. 1–6, Charles Hartshorne and Paul Weiss (eds.), vols. 7–8, Arthur W. Burks (ed.), Harvard University Press, Cambridge, MA. Cited as (CP volume.paragraph).

* Peirce, Charles Sanders (1981–), ''Writings of Charles S. Peirce : A Chronological Edition'', Peirce Edition Project (eds.), Indiana University Press, Bloomington and Indianapolis, IN. Cited as (CE volume, page).

==Syllabus==

===Focal nodes===

{{col-begin}}
{{col-break}}
* [[Inquiry Live]]
{{col-break}}
* [[Logic Live]]
{{col-end}}

===Peer nodes===

{{col-begin}}
{{col-break}}
* [http://mywikibiz.com/Peirce's_law Peirce's Law @ MyWikiBiz]
* [http://mathweb.org/wiki/Peirce's_law Peirce's Law @ MathWeb Wiki]
* [http://netknowledge.org/wiki/Peirce's_law Peirce's Law @ NetKnowledge]
* [http://wiki.oercommons.org/mediawiki/index.php/Peirce's_law Peirce's Law @ OER Commons]
{{col-break}}
* [http://p2pfoundation.net/Peirce's_Law Peirce's Law @ P2P Foundation]
* [http://semanticweb.org/wiki/Peirce's_law Peirce's Law @ SemanticWeb]
* [http://ref.subwiki.org/wiki/Peirce's_law Peirce's Law @ Subject Wikis]
* [http://beta.wikiversity.org/wiki/Peirce's_law Peirce's Law @ Wikiversity Beta]

{{col-end}}

===Logical operators===

{{col-begin}}
{{col-break}}
* [[Exclusive disjunction]]
* [[Logical conjunction]]
* [[Logical disjunction]]
* [[Logical equality]]
{{col-break}}
* [[Logical implication]]
* [[Logical NAND]]
* [[Logical NNOR]]
* [[Logical negation|Negation]]
{{col-end}}

===Related topics===

{{col-begin}}
{{col-break}}
* [[Ampheck]]
* [[Boolean domain]]
* [[Boolean function]]
* [[Boolean-valued function]]
* [[Differential logic]]
{{col-break}}
* [[Logical graph]]
* [[Minimal negation operator]]
* [[Multigrade operator]]
* [[Parametric operator]]
* [[Peirce's law]]
{{col-break}}
* [[Propositional calculus]]
* [[Sole sufficient operator]]
* [[Truth table]]
* [[Universe of discourse]]
* [[Zeroth order logic]]
{{col-end}}

===Relational concepts===

{{col-begin}}
{{col-break}}
* [[Continuous predicate]]
* [[Hypostatic abstraction]]
* [[Logic of relatives]]
* [[Logical matrix]]
{{col-break}}
* [[Relation (mathematics)|Relation]]
* [[Relation composition]]
* [[Relation construction]]
* [[Relation reduction]]
{{col-break}}
* [[Relation theory]]
* [[Relative term]]
* [[Sign relation]]
* [[Triadic relation]]
{{col-end}}

===Information, Inquiry===

{{col-begin}}
{{col-break}}
* [[Inquiry]]
* [[Dynamics of inquiry]]
{{col-break}}
* [[Semeiotic]]
* [[Logic of information]]
{{col-break}}
* [[Descriptive science]]
* [[Normative science]]
{{col-break}}
* [[Pragmatic maxim]]
* [[Truth theory]]
{{col-end}}

===Related articles===

* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Semiotic_Information Jon Awbrey, “Semiotic Information”]

* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Introduction_to_Inquiry_Driven_Systems Jon Awbrey, “Introduction To Inquiry Driven Systems”]

* [http://mywikibiz.com/Directory:Jon_Awbrey/Essays/Prospects_For_Inquiry_Driven_Systems Jon Awbrey, “Prospects For Inquiry Driven Systems”]

* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Inquiry_Driven_Systems Jon Awbrey, “Inquiry Driven Systems : Inquiry Into Inquiry”]

* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems Jon Awbrey, “Propositional Equation Reasoning Systems”]

* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction Jon Awbrey, “Differential Logic : Introduction”]

* [http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Jon Awbrey, “Differential Propositional Calculus”]

* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems_2.0 Jon Awbrey, “Differential Logic and Dynamic Systems”]

==Document history==

Portions of the above article were adapted from the following sources under the [[GNU Free Documentation License]], under other applicable licenses, or by permission of the copyright holders.

{{col-begin}}
{{col-break}}
* [http://mywikibiz.com/Peirce's_law Peirce's Law], [http://mywikibiz.com/ MyWikiBiz]
* [http://mathweb.org/wiki/Peirce's_law Peirce's Law], [http://mathweb.org/ MathWeb Wiki]
* [http://www.netknowledge.org/wiki/Peirce's_law Peirce's Law], [http://www.netknowledge.org/ NetKnowledge]
* [http://wiki.oercommons.org/mediawiki/index.php/Peirce's_law Peirce's Law], [http://wiki.oercommons.org/ OER Commons]
* [http://planetmath.org/encyclopedia/PeircesLaw.html Peirce's Law], [http://planetmath.org/ PlanetMath]
* [http://www.proofwiki.org/wiki/Peirce's_Law Peirce's Law], [http://www.proofwiki.org/ ProofWiki]
{{col-break}}
* [http://beta.wikiversity.org/wiki/Peirce's_law Peirce's Law], [http://beta.wikiversity.org/ Wikiversity Beta]
* [http://knol.google.com/k/jon-awbrey/peirce-s-law/3fkwvf69kridz/10 Peirce's Law], [http://knol.google.com/ Google Knol]
* [http://www.getwiki.net/-Peirce%92s_Law Peirce's Law], [http://www.getwiki.net/ GetWiki]
* [http://www.wikinfo.org/index.php?title=Peirce%92s_law&oldid=29173 Peirce's Law], [http://www.wikinfo.org/ Wikinfo]
* [http://www.textop.org/wiki/index.php?title=Peirce's_law Peirce's Law], [http://www.textop.org/wiki/ Textop Wiki]
* [http://en.wikipedia.org/w/index.php?title=Peirce%27s_law&oldid=60606482 Peirce's Law], [http://en.wikipedia.org/ Wikipedia]
{{col-end}}

[[Category:Inquiry]]
[[Category:Open Educational Resource]]
[[Category:Peer Educational Resource]]
[[Category:Artificial Intelligence]]
[[Category:Combinatorics]]
[[Category:Computer Science]]
[[Category:Cybernetics]]
[[Category:Equational Reasoning]]
[[Category:Formal Languages]]
[[Category:Formal Systems]]
[[Category:Graph Theory]]
[[Category:History of Logic]]
[[Category:History of Mathematics]]
[[Category:Knowledge Representation]]
[[Category:Logic]]
[[Category:Logical Graphs]]
[[Category:Mathematics]]
[[Category:Philosophy]]
[[Category:Semiotics]]
[[Category:Visualization]]