Re: Sowa and the Meaning of Equivalence Relation. Was Re: [PEIRCE-L] Consequence as Logical Primitive (was Resending)

2021-02-18 Thread John F. Sowa
Jerry LRC, In logic, the statement "p is equivalent to q" is a synonym for "p iff q", which is a synonym for "(if p then q) and (if q then p)".  That is the relation that Peirce intended when he said that the scroll is equivalent to a nest of two negations. In mathematics, there is an open-ende

Re: [PEIRCE-L] EGs as a calculus

2021-02-18 Thread Jon Alan Schmidt
John, List, All: Thanks for sharing the first part of your draft article. JFS: As a result, they [Peirce and Frege] made a mistake in drawing a sharp distinction between logic as a theory and logic as a calculus. The fact that you happen to disagree with them does not entail that they "made a

Re: Re: Re: [PEIRCE-L] Multi-value logic

2021-02-18 Thread Edwina Taborsky
Jeffrey, John , list I'd agree with you both, that not all logical models are triadic, since indeed, monadic and dyadic relations can be graphed. Is a logical model only about true and false? My point was only about the semiosic function itself, which is, as an argument

Re: Re: [PEIRCE-L] Multi-value logic

2021-02-18 Thread Jon Alan Schmidt
Jeff, List: Indeed, many of the relations that are symbolically (i.e., triadically) *represented *by names in EG (as well as GrIn and SG) are monadic or dyadic, as iconically signified by their having only one or two lines of identity attached to them. However, every aspect of EG *itself *is triad