Interpretive Duality in Logical Graphs • 4
•
https://inquiryintoinquiry.com/2024/04/25/interpretive-duality-in-logical-g…
Re: Interpretive Duality in Logical Graphs
•
https://inquiryintoinquiry.com/2024/04/22/interpretive-duality-in-logical-g…
•
https://inquiryintoinquiry.com/2024/04/23/interpretive-duality-in-logical-g…
•
https://inquiryintoinquiry.com/2024/04/24/interpretive-duality-in-logical-g…
All,
Last time we took up Peirce's law, ((p ⇒ q) ⇒ p) ⇒ p, and
saw how it might be expressed in two different ways, under
the entitative and existential interpretations, respectively.
The next thing to do is see how our choice of interpretation
bears on the patterns of proof we might find. A sense of the
possibilities may be gotten by displaying the two styles of
proof in parallel columns, as shown below.
Peirce's Law • Parallel Proofs
•
https://inquiryintoinquiry.com/wp-content/uploads/2023/11/peirces-law-e280a…
Resources —
Logical Graphs • First Impressions
•
https://inquiryintoinquiry.com/2023/08/24/logical-graphs-first-impressions/
Logical Graphs • Formal Development
•
https://inquiryintoinquiry.com/2023/09/01/logical-graphs-formal-development…
Regards,
Jon
cc:
https://www.academia.edu/community/VjQX0k