WHAT LOGIC means?
LOGIC:
+DEAL MEANINGS ,
+NOT ACTUAL BEHAVIOUR
+. DEALS PROPOSITIONS.
WHAT are “LOGIC” &”LOGICAL” means?
-‘LOGIC’ and ‘LOGICAL’
+NOT APPLY DIRECTLY UTTERANCES (
INSTANCES of BEHAVIOUR).
WHAT MODUS PONENS means?
MODUS PONENS = RULE
+PROPO P -> Q,
+ P TRUE-> Q TRUE.
+ DIAGRAM,
P -> Q
P/
Q
WHY John and Mary are married IS AMBIGUOUS?-> FORMULA
John and Mary are married IS AMBIGUOUS, PARAPHRASE AS:
John and mary are married to each other
->(J MARRIED TO M) & (M MARRIED TO J)
OR
John is married to someone AND mary is married to someone
-> ( X (J MARRIED TO X)) & ( Y (M MARRIED TO Y))