Line 33: |
Line 33: |
| 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 graph]]s, Peirce's law is represented by means of the following formal equivalence or logical equation. |
| | | |
− | <blockquote><pre>
| + | {| align="center" border="0" cellpadding="10" cellspacing="0" |
− | o-----------------------------------------------------------o
| + | | [[Image:Peirce's_Law_Figure_1.jpg|500px]] || (1) |
− | | Peirce's Law. . . . . . . . . . . . . . . . . . . . . . . | | + | |} |
− | o-----------------------------------------------------------o
| |
− | | . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . p o---o q . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . | . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . o---o p . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . | . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . o---o p . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . | . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . @ . . . . . . . . = . . . . . . . . . @ . . . . | | |
− | | . . . . . . . . . . . . . . . . . . . . . . . . . . . . . | | |
− | o-----------------------------------------------------------o
| |
− | | . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . .(((p (q)) (p)) (p))) . = . . . . . . . . . . . . . . |
| |
− | | . . . . . . . . . . . . . . . . . . . . . . . . . . . . . | | |
− | o-----------------------------------------------------------o
| |
− | </pre></blockquote>
| |
| | | |
| '''Proof.''' Using the axiom set given in the entry for [[logical graphs]], Peirce's law may be proved in the following manner. | | '''Proof.''' Using the axiom set given in the entry for [[logical graphs]], Peirce's law may be proved in the following manner. |
| | | |
− | <blockquote><pre>
| + | {| align="center" border="0" cellpadding="10" cellspacing="0" |
− | o-----------------------------------------------------------o
| + | | [[Image:Peirce's_Law_Figure_2.jpg|500px]] || (2) |
− | | Peirce's Law. . Proof . . . . . . . . . . . . . . . . . . |
| + | |} |
− | o-----------------------------------------------------------o
| |
− | | . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . p o---o q . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . | . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . o---o p . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . | . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . o---o p . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . | . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . @ . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | o==================================< Collect >==============o
| |
− | | . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . o---o q . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . | . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . o---o . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . | . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . p o---o p . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . | . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . @ . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | o==================================< Recess >===============o
| |
− | | . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . o---o . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . | . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . p o---o p . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . | . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . @ . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | o==================================< Refold >===============o
| |
− | | . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . p o---o p . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . | . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . @ . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | o==================================< Delete >===============o
| |
− | | . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . o---o . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . | . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . @ . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | | . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
| |
− | o==================================< Refold >===============o
| |
− | | . . . . . . . . . . . . . . . . . . . . . . . . . . . . . | | |
− | | . . . . . @ . . . . . . . . . . . . . . . . . . . . . . . | | |
− | | . . . . . . . . . . . . . . . . . . . . . . . . . . . . . | | |
− | o==================================< QED >==================o
| |
− | </pre></blockquote>
| |
| | | |
| ==Bibliography== | | ==Bibliography== |