Line 1: |
Line 1: |
| + | <font size="3">☞</font> 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: | | '''Peirce's law''' is a formula in [[propositional calculus]] that is commonly expressed in the following form: |
| | | |
Line 39: |
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" |
Line 167: |
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=== |
| + | |
| + | * [http://intersci.ss.uci.edu/wiki/index.php/Peirce's_law Peirce's Law @ InterSciWiki] |
| + | * [http://mywikibiz.com/Peirce's_law Peirce's Law @ MyWikiBiz] |
| + | * [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] |
| + | |
| + | ===Logical operators=== |
| | | |
| {{col-begin}} | | {{col-begin}} |
| {{col-break}} | | {{col-break}} |
− | * [http://beta.wikiversity.org/wiki/Peirce's_law Peirce's Law @ Beta Wikiversity] | + | * [[Exclusive disjunction]] |
| + | * [[Logical conjunction]] |
| + | * [[Logical disjunction]] |
| + | * [[Logical equality]] |
| {{col-break}} | | {{col-break}} |
− | * [http://mywikibiz.com/Peirce's_law Peirce's Law @ MyWikiBiz] | + | * [[Logical implication]] |
| + | * [[Logical NAND]] |
| + | * [[Logical NNOR]] |
| + | * [[Logical negation|Negation]] |
| {{col-end}} | | {{col-end}} |
| | | |
Line 191: |
Line 203: |
| * [[Boolean function]] | | * [[Boolean function]] |
| * [[Boolean-valued function]] | | * [[Boolean-valued function]] |
| + | * [[Differential logic]] |
| {{col-break}} | | {{col-break}} |
| * [[Logical graph]] | | * [[Logical graph]] |
− | * [[Logical matrix]]
| |
| * [[Minimal negation operator]] | | * [[Minimal negation operator]] |
| + | * [[Multigrade operator]] |
| + | * [[Parametric operator]] |
| * [[Peirce's law]] | | * [[Peirce's law]] |
| {{col-break}} | | {{col-break}} |
| * [[Propositional calculus]] | | * [[Propositional calculus]] |
| + | * [[Sole sufficient operator]] |
| * [[Truth table]] | | * [[Truth table]] |
| * [[Universe of discourse]] | | * [[Universe of discourse]] |
Line 203: |
Line 218: |
| {{col-end}} | | {{col-end}} |
| | | |
− | ===Related articles=== | + | ===Relational concepts=== |
| | | |
− | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems Jon Awbrey, “Propositional Equation Reasoning Systems”] | + | {{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}} |
| | | |
− | * [http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Jon Awbrey, “Differential Propositional Calculus”]
| + | ===Information, Inquiry=== |
| | | |
− | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction Jon Awbrey, “Differential Logic : Introduction”] | + | {{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}} |
| | | |
− | ==Document history== | + | ===Related articles=== |
− | | |
− | 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-begin}} |
| {{col-break}} | | {{col-break}} |
− | * [http://mywikibiz.com/Peirce's_law Peirce's Law], [http://mywikibiz.com/ MyWikiBiz] | + | * [http://intersci.ss.uci.edu/wiki/index.php/Cactus_Language Cactus Language] |
− | * [http://beta.wikiversity.org/wiki/Peirce's_law Peirce's Law], [http://beta.wikiversity.org/ Beta Wikiversity] | + | * [http://intersci.ss.uci.edu/wiki/index.php/Futures_Of_Logical_Graphs Futures Of Logical Graphs] |
− | * [http://www.netknowledge.org/wiki/Peirce's_law Peirce's Law], [http://www.netknowledge.org/ NetKnowledge] | + | * [http://intersci.ss.uci.edu/wiki/index.php/Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems] |
− | * [http://planetmath.org/encyclopedia/PeircesLaw.html Peirce's Law], [http://planetmath.org/ PlanetMath] | + | {{col-break}} |
− | * [http://www.proofwiki.org/wiki/Peirce's_Law Peirce's Law], [http://www.proofwiki.org/ ProofWiki] | + | * [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://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems] |
| {{col-break}} | | {{col-break}} |
− | * [http://knol.google.com/k/jon-awbrey/peirce-s-law/3fkwvf69kridz/10 Peirce's Law], [http://knol.google.com/ Google Knol] | + | * [http://intersci.ss.uci.edu/wiki/index.php/Prospects_for_Inquiry_Driven_Systems Prospects for Inquiry Driven Systems] |
− | * [http://www.getwiki.net/-Peirce%92s_Law Peirce's Law], [http://www.getwiki.net/ GetWiki]
| + | * [http://intersci.ss.uci.edu/wiki/index.php/Introduction_to_Inquiry_Driven_Systems Introduction to Inquiry Driven Systems] |
− | * [http://www.wikinfo.org/index.php?title=Peirce%92s_law&oldid=29173 Peirce's Law], [http://www.wikinfo.org/ Wikinfo]
| + | * [http://intersci.ss.uci.edu/wiki/index.php/Inquiry_Driven_Systems Inquiry Driven Systems : Inquiry Into Inquiry] |
− | * [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}} | | {{col-end}} |
| | | |
− | <br><sharethis />
| + | ==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. |
| + | |
| + | * [http://intersci.ss.uci.edu/wiki/index.php/Peirce's_law Peirce's Law], [http://intersci.ss.uci.edu/ InterSciWiki] |
| + | * [http://mywikibiz.com/Peirce's_law Peirce's Law], [http://mywikibiz.com/ MyWikiBiz] |
| + | * [http://planetmath.org/PeircesLaw Peirce's Law], [http://planetmath.org/ PlanetMath] |
| + | * [http://wikinfo.org/w/index.php/Peirce's_law Peirce's Law], [http://www.wikinfo.org/w/ Wikinfo] |
| + | * [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://en.wikipedia.org/w/index.php?title=Peirce's_law&oldid=60606482 Peirce's Law], [http://en.wikipedia.org/ Wikipedia] |
| | | |
| [[Category:Artificial Intelligence]] | | [[Category:Artificial Intelligence]] |
| + | [[Category:Charles Sanders Peirce]] |
| [[Category:Combinatorics]] | | [[Category:Combinatorics]] |
| [[Category:Computer Science]] | | [[Category:Computer Science]] |
Line 242: |
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]] |