LANGER, SUSANNE K (1953)(1967) An Introduction to Symbolic Logic, Dover Publications, New York.
~=false or not
∃=sometimes or better
~ a fm a (fm is fellowman or in fellowship with).
It is false or not true that a is the fellowman of a, or is in fellowship with a. (94).
Universally, one cannot be the fellowman of self. (94).
However, one case to the contrary 'destroys the right to state it always holds.' (94). In this case the equation would therefore be:
(∃a): A fm a. Sometimes a is the fellowman of a. (94).
'For some value or values of a, 'A fm a' holds'. (94). It is true in at least one case. (94-95).
This reads as an exception clause within philosophy. 'It is essential in logic, not to say more than is essential. In this respect logicians are very prudent.' (94). The symbol should mean the least it can possibly mean. (94).
In my academic writing, both formal and website work, I have lived by the idea of careful use of words. To allow for exceptions. This was enforced especially within the British academic system. This does lead to careful revisions. The (∃a) symbols serves as a quantifier. Something is universally true but there may be at least one exception, the particular quantifier. (96).
Perhaps with ∃a: a (Russ) fm a (Russ) are two different person's named Russ.
Bhavinionline.com |