[Everyneurotic]

Originally Posted by Kegmama

The crucial concept of this forum is central to discussions of the nature of logic, and it complicates exposition that 'formal' in "formal logic" is commonly used in an ambiguous manner. Symbolic language is actually a species or class of formal logic, and should be distinguished from another class of formal logic in traditional Aristotelian syllogistic logic, which deals solely with categorical propositions.

bravo