The logical form of a statement or argument is its underlying structural pattern, stripped of particular content and expressed in the notation of formal logic. Revealing logical form is one of the core tasks of analysis in analytic philosophy.
Natural language routinely obscures logical structure. The sentences “every student passed the exam” and “some student passed the exam” look grammatically similar — both have a subject, verb, and object in the same order. But their logical forms differ in a way that matters for inference. The first is a universal quantification (for all x, if x is a student then x passed), while the second is an existential quantification (there exists an x such that x is a student and x passed). Confusing the two leads to invalid reasoning.
Bertrand Russell’s theory of definite descriptions provides a well-known example. The sentence “the present king of France is bald” appears to be a simple subject-predicate statement, but Russell argued its logical form is a conjunction of three claims: there exists a king of France, there is at most one king of France, and that individual is bald. This analysis dissolves the puzzle of how a statement about a non-existent entity can be meaningful — the sentence is simply false, because the existential claim fails.
Logical form connects to validity: an argument is valid when its logical form guarantees that true premises produce a true conclusion, regardless of what specific content fills the structural slots. The argument “all mammals are warm-blooded; all dogs are mammals; therefore all dogs are warm-blooded” is valid not because of facts about dogs but because of its form — two universal premises chained through a shared middle term.
Identifying logical form requires choosing a formal language — propositional logic, predicate logic, modal logic, or others — and the choice of language affects what structure becomes visible. Richer formal languages reveal finer-grained logical structure but introduce their own commitments about what the world contains.
Related terms
- analysis — the method of breaking concepts into clearer components
- analytic philosophy — the tradition that foregrounds logical form as a tool of inquiry