Re: [PEIRCE-L] Intuitionistic logic

2020-12-27 Thread John F. Sowa
Ben, I agree with your analysis, and I'd like to add a comment about modal logic.  Consider the sentence "It might rain tomorrow, and it might not."  That sentence cannot be falsified because neither side makes a firm promise. But if you replace 'might' with 'will', the following statement is

Re: Re: Re: Re: [PEIRCE-L] Intuitionistic logic

2020-12-27 Thread Jon Alan Schmidt
Helmut, List: Indeed, that passage by Peirce in R 490 is challenging to untangle. I had to read and reread it several times myself when I first studied it a few months ago, and then again yesterday while drafting my previous post. Both graphs are existential, not entitative. The only difference

[PEIRCE-L] Re: Inquiry Driven Systems

2020-12-27 Thread Jon Awbrey
Cf: Survey of Inquiry Driven Systems • 3 http://inquiryintoinquiry.com/2020/12/27/survey-of-inquiry-driven-systems-3/ All, This updates my Survey ( http://inquiryintoinquiry.com/surveys/ ) of blog and wiki posts on “Inquiry Driven Systems”, repairing in passing the welter of links broken due to

Aw: Re: Re: Re: [PEIRCE-L] Intuitionistic logic

2020-12-27 Thread Helmut Raulien
Jon, List,   Thank you! I need examples. This one is tricky, I have to read it some more times, as now I don´t see the asymmetry. And I don´t understand   "Nevertheless, these are different propositions that signify different states of things, which is reflected by their different existential