Re: LEM Re: [PEIRCE-L] Lowell Lecture 1.8

2017-10-17 Thread kirstima
John, Jerry, list I feel utterly surprised. It never occurred to me that LEM could be taken as a 'technical' term. - Thank you Jerry for correcting that mistake. The three basic assumtions of modern logic are, of course, intertwined. If LEM is put questionable, the other two simultaneously b

Re: LEM Re: [PEIRCE-L] Lowell Lecture 1.8

2017-10-15 Thread John F Sowa
Jerry, I was making a narrow, noncontroversial point. LEM plays a central role in triad, the logic of logic, the logic of mathematics and the logic of science. LEM is an assumption in many versions of logic. If you prefer a 3-valued logic, feel free to adopt it. It's your choice. [JFS] Y

Re: LEM Re: [PEIRCE-L] Lowell Lecture 1.8

2017-10-14 Thread Jerry LR Chandler
List, John: Comments on “technical” aspects of Law of Excluded Middle (LEM) are inserted. > On Oct 12, 2017, at 3:15 PM, John F Sowa wrote: > > Jerry and Kirstima, > > Jerry >> the issue of the "Law of the Excluded Middle” is a red herring to me. > > Kirstima >> LEM presents one of the three

Re: LEM Re: [PEIRCE-L] Lowell Lecture 1.8

2017-10-12 Thread John F Sowa
Jerry and Kirstima, Jerry the issue of the "Law of the Excluded Middle” is a red herring to me. Kirstima LEM presents one of the three basic misassumptions in modern logic. LEM is a convention used in a technical (mathematical) sense. It's important to keep the conventions distinct from ord

LEM Re: [PEIRCE-L] Lowell Lecture 1.8

2017-10-12 Thread Jerry LR Chandler
List , John: I wrote: "Because it violates the common sense of the meaning of natural language terms in the premise.” John, your introducing the issue of the "Law of the Excluded Middle” is a red herring to me. Let me add a word or two to clarify my intent. My concern is rather esoteric from

Re: [PEIRCE-L] Lowell Lecture 1.8

2017-10-12 Thread kirstima
List, John, Jerry and Jon, LEM presents one of the three basic misassuptions in modern logic. For all I know CSP and Brouwer came to similar conclusions independently. They also offered their grounds and conclusions very differently. There was a deep change in math and locic during and after

Re: [PEIRCE-L] Lowell Lecture 1.8

2017-10-12 Thread kirstima
List, Jerry and John Highly problematic, I agree. But it is not true that any contradiction,or all contradictions imply everything. Not logically, not really. Everything does not mean the same as anything. For CSP anything remains an open (vague) question UNTILL further studies & determinat

RE: [PEIRCE-L] Lowell Lecture 1.8

2017-10-11 Thread gnox
Lectures of 1903 -Original Message- From: John F Sowa [mailto:s...@bestweb.net] Sent: 11-Oct-17 02:21 To: Peirce List Subject: Re: [PEIRCE-L] Lowell Lecture 1.8 Jerry LRC, Jon AS, List, Jerry >> [JFS] Since a contradiction is always false, a contradiction implies >&g

Re: [PEIRCE-L] Lowell Lecture 1.8

2017-10-10 Thread John F Sowa
Jerry LRC, Jon AS, List, Jerry [JFS] Since a contradiction is always false, a contradiction implies everything. Everything? While this assertion is widely repeated in the literature, I think it is highly problematic. It's widely repeated because it is a fundamental assumption of most versio

Re: [PEIRCE-L] Lowell Lecture 1.8

2017-10-10 Thread Jerry LR Chandler
List, John: > On Oct 10, 2017, at 1:17 PM, John F Sowa wrote: > > Since a contradiction is always false, a contradiction implies > everything. Everything? While this assertion is widely repeated in the literature, I think it is highly problematic. Because it violates the common sense of the

RE: [PEIRCE-L] Lowell Lecture 1.8

2017-10-10 Thread gnox
2 ... which was also left unpublished by the CP editors, probably for the same reason! Gary f. -Original Message- From: John F Sowa [mailto:s...@bestweb.net] Sent: 9-Oct-17 16:38 To: peirce-l@list.iupui.edu Subject: Re: [PEIRCE-L] Lowell Lecture 1.8 On 10/9/2017 2:28 PM, g...@gnusystems.ca wr

Re: [PEIRCE-L] Lowell Lecture 1.8

2017-10-09 Thread John F Sowa
On 10/9/2017 2:28 PM, g...@gnusystems.ca wrote: I never would have guessed that “what we mean by “/not/” is “every proposition would be true if it were.” That comment can only be true if there is no middle option -- i.e., a stone is either hard or not hard AND there is no possibility of being n

RE: [PEIRCE-L] Lowell Lecture 1.8

2017-10-09 Thread gnox
it! Gary f. From: g...@gnusystems.ca [mailto:g...@gnusystems.ca] Sent: 8-Oct-17 07:29 To: 'Peirce List' Subject: [PEIRCE-L] Lowell Lecture 1.8 Continuing from Lowell 1.7 (CP 1.614, EP2:254): 615. Consider, for a moment, what Reason, as well as we can today conceive it,

Re: [PEIRCE-L] Lowell Lecture 1.8

2017-10-09 Thread Edwina Taborsky
I think this is a clear outline of the nature of Reason as the causal Force of the Universe. With the description of Mind in 4.551, we can see that Reason/Mind is: -a universal Force; it is not a thing-in-itself, i.e., it is a Generality rather than an existential parti

[PEIRCE-L] Lowell Lecture 1.8

2017-10-08 Thread gnox
Continuing from Lowell 1.7 (CP 1.614, EP2:254): 615. Consider, for a moment, what Reason, as well as we can today conceive it, really is. I do not mean man's faculty which is so called from its embodying in some measure Reason, or Νοῦς, as a something manifesting itself in the mind, in the h