Gary, Jerry, Jon, Edwina, List,

I am sure, that there can only be one logic. To accept logic-relativism would make me feel totally unsafe, like a paranoid or psychotic. There are politicians, who exploit logic-pluralism´s  possibility to lie, to manipulate people by blurring their minds, e,g. say, that they have access to "alternative facts". But not with me. Formal and modal "logic" are only different ways of symbolizing this one logic. In "modal logic" (which is not another logic, but just another way to write logic), possibility , existence, necessity are modalities, and in "formal logic", they are predicates. In "formal logic" a proposition is either true or false, and a proposition is not forbidden, just because it contains one of these here-predicates. A proposition is either true or false too, if it contains the predicate "possible". Different symbolic systems are merely different, because they allow different calculi, and different mathematicians use different symbolic systems, because they can better calculate either with the one or the other in different task situations. Whether something is a predicate or not, is a matter of linguistics, but not of logic. Sapir-Whorf is ad acta, isn´t it?
 
Best regards, Helmut
 
 
 31. Oktober 2024 um 19:36
 "Gary Richmond" <[email protected]>
wrote:
Jerry, Jon, List,
 
Note: I missed this post until now, Jerry, since it went into my spam folder (I mentioned that this was happening to your posts some months ago and it continues to be the case; there is one other List member whose posts also go into my spam folder).
 
JAS wrote: In logic, possibility and necessity are not predicates any more than existence/actuality.
And JLRC asked: ???Why?
 

I'm not exactly sure to what extent this applies to Peirce's modal logic, but in the logic classes I've been exposed to and the logic texts I've read, in modal logic possibility and necessity are not treated as predicates. Instead, they are considered modal operators that modify statements rather than describing properties of objects. 

As I understand it, a predicate in logic typically applies to an object or a subject and conveys a property or attribute of that object (e.g., 'x is blue' or 'x is a horse'). In other words, predicates express qualities that can be true or false of specific entities.

Modal operators, on the other hand, apply to propositions rather than individual objects and express the mode of truth of a proposition, that is, whether the statement is necessarily true, possibly true, or conditionally true.

In sum: Modal operators modify the proposition itself rather than describing a property of an object. Thus, in formal logic, they are treated differently from predicates.

I really don't see why you questioned this.
 
Best,
 
Gary R

On Thu, Oct 31, 2024 at 5:46 AM Jerry LR Chandler <[email protected]> wrote:
List, Jon:

On Oct 26, 2024, at 7:17 PM, Jon Alan Schmidt <[email protected]> wrote:

In logic, possibility and necessity are not predicates any more than existence/actuality.
???
Why?
What forms of logic are you referring to?
Which grammar of which logic informs your assertion?
How is it plausible that this assertion is meaningful?
 
[This statement directly contradicts chemical, biochemical and biological  equilibrium processes as was well described by A. N. Whitehead.]
 
Cheers
Jerry 
_ _ _ _ _ _ _ _ _ _
ARISBE: THE PEIRCE GATEWAY is now at
https://cspeirce.com  and, just as well, at
https://www.cspeirce.com .  It'll take a while to repair / update all the links!
► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to [email protected] .
► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to [email protected] with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body.  More at https://list.iupui.edu/sympa/help/user-signoff.html .
► PEIRCE-L is owned by THE PEIRCE GROUP;  moderated by Gary Richmond;  and co-managed by him and Ben Udell.
_ _ _ _ _ _ _ _ _ _
ARISBE: THE PEIRCE GATEWAY is now at 
https://cspeirce.com  and, just as well, at 
https://www.cspeirce.com .  It'll take a while to repair / update all the links!
► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON 
PEIRCE-L to this message. PEIRCE-L posts should go to [email protected] . 
► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to [email protected] 
with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the 
body.  More at https://list.iupui.edu/sympa/help/user-signoff.html .
► PEIRCE-L is owned by THE PEIRCE GROUP;  moderated by Gary Richmond;  and 
co-managed by him and Ben Udell.

Reply via email to