Logical form

Main article: Logical form

Logic is generally considered formal when it analyzes and represents the form of any valid argument type. The form of an argument is displayed by representing its sentences in the formal grammar and symbolism of a logical language to make its content usable in formal inference. If one considers the notion of form too philosophically loaded, one could say that formalizing simply means translating English sentences into the language of logic.

This is called showing the logical form of the argument. It is necessary because indicative sentences of ordinary language show a considerable variety of form and complexity that makes their use in inference impractical. It requires, first, ignoring those grammatical features irrelevant to logic (such as gender and declension, if the argument is in Latin), replacing conjunctions irrelevant to logic (such as “but”) with logical conjunctions like “and” and replacing ambiguous, or alternative logical expressions (“any”, “every”, etc.) with expressions of a standard type (such as “all”, or the universal quantifier ∀).

Second, certain parts of the sentence must be replaced with schematic letters. Thus, for example, the expression “all As are Bs” shows the logical form common to the sentences “all men are mortals”, “all cats are carnivores”, “all Greeks are philosophers”, and so on.

That the concept of form is fundamental to logic was already recognized in ancient times. Aristotle uses variable letters to represent valid inferences in Prior Analytics, leading Jan Łukasiewiczto say that the introduction of variables was “one of Aristotle’s greatest inventions”.^[10] According to the followers of Aristotle (such as Ammonius), only the logical principles stated in schematic terms belong to logic, not those given in concrete terms. The concrete terms “man”, “mortal”, etc., are analogous to the substitution values of the schematic placeholders A, B, C, which were called the “matter” (Greek hyle) of the inference.

The fundamental difference between modern formal logic and traditional, or Aristotelian logic, lies in their differing analysis of the logical form of the sentences they treat.

• In the traditional view, the form of the sentence consists of (1) a subject (e.g., “man”) plus a sign of quantity (“all” or “some” or “no”); (2) the copula, which is of the form “is” or “is not”; (3) a predicate (e.g., “mortal”). Thus: all men are mortal. The logical constants such as “all”, “no” and so on, plus sentential connectives such as “and” and “or” were called “syncategorematic” terms (from the Greek kategorei – to predicate, and syn – together with). This is a fixed scheme, where each judgment has an identified quantity and copula, determining the logical form of the sentence.
• According to the modern view, the fundamental form of a simple sentence is given by a recursive schema, involving logical connectives, such as a quantifier with its bound variable, which are joined by juxtaposition to other sentences, which in turn may have logical structure.
• The modern view is more complex, since a single judgement of Aristotle’s system involves two or more logical connectives. For example, the sentence “All men are mortal” involves, in term logic, two non-logical terms “is a man” (here M) and “is mortal” (here D): the sentence is given by the judgement A(M,D). In predicate logic, the sentence involves the same two non-logical concepts, here analyzed as and , and the sentence is given by , involving the logical connectives for universal quantification and implication.
• But equally, the modern view is more powerful. Medieval logicians recognized the problem of multiple generality, where Aristotelian logic is unable to satisfactorily render such sentences as “Some guys have all the luck”, because both quantities “all” and “some” may be relevant in an inference, but the fixed scheme that Aristotle used allows only one to govern the inference. Just as linguists recognize recursive structure in natural languages, it appears that logic needs recursive structure.