Re: [PEIRCE-L] Intuitionistic logic

Jon AS, List, Before getting into any speculation, I'll mention some undeniable facts: 1. R699 has the title "Assurance through reasoning", it begins with a paragraph about necessary deduction and probable deduction, and it contains a summary of the EG system from the early days up to and inclu

Aw: [PEIRCE-L] Intuitionistic Logic

      Supplement: The logical connection between premiss and rule cannot be symbolized with logical notation including EGs. It is a temporal connection, a relation between past and present. Logic notation merely notes the status of the present. Implication implies this temporal relation, and "not

Re: [PEIRCE-L] Differential Logic and Dynamic Systems

Cf: Differential Logic and Dynamic Systems • Discussion 3 https://inquiryintoinquiry.com/2021/05/21/differential-logic-and-dynamic-systems-discussion-3/ Re: FB | Differential Logic https://www.facebook.com/DifferentialLogic/ ::: Rajib Hossain Pavel https://www.facebook.com/JonnyCache/posts/102239

Re: [PEIRCE-L] Peirce List Update

Ben, List: I just discovered (happily) that the archive is back up and running, and now includes all our posts from the last week, including the one that I just sent. The URLs no longer include "pilot," so I assume that the server upgrade is finally complete. I am still not a fan of the new text f

Re: [PEIRCE-L] Intuitionistic logic

John, List: I rested my case last night, but now have a few rebuttals to subsequent testimony. JFS: In R669, he summarized the EG system that he had been developing since 1896. Then he developed a new system in R670 and L231 that is superior to the old system in every way. The system itself is

Aw: [PEIRCE-L] Intuitionistic Logic

Jon, Jon, List   Wikipedia says there are two kinds of "ex falso quod libet": First the contradiction "A and not A", and secondly the counterfactual material implication "If A then B" with A being false. From "every unicorn is pink" follows, that this is true, and anything else also is. These two

Re: [PEIRCE-L] Differential Logic and Dynamic Systems

Cf: Differential Logic and Dynamic Systems • Discussion 2 https://inquiryintoinquiry.com/2021/05/20/differential-logic-and-dynamic-systems-discussion-2/ Re: Michael Harris • Does Mathematics “Progress”? • Comment https://mathematicswithoutapologies.wordpress.com/2021/05/05/does-mathematics-progre