History
That the concept of form is fundamental to logic was already recognized in ancient times. Aristotle was probably the first to employ variable letters to represent valid inferences (in the Prior analytics). (For which reason Łukasiewicz says that the introduction of variables was 'one of Aristotle's greatest inventions').
According to the followers of Aristotle (such as Ammonius), only the logical principles stated in schematic terms belong to logic, and 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, Latin materia) of the argument.
The term "logical form" was introduced by Bertrand Russell in 1914, in the context of his program to formalize natural language and reasoning, which he called philosophical logic. Russell wrote: "Some kind of knowledge of logical forms, though with most people it is not explicit, is involved in in all understanding of discourse. It is the business of philosophical logic to extract this knowledge from its concrete integuments, and to render it explicit and pure."
Read more about this topic: Logical Form
Famous quotes containing the word history:
“When the coherence of the parts of a stone, or even that composition of parts which renders it extended; when these familiar objects, I say, are so inexplicable, and contain circumstances so repugnant and contradictory; with what assurance can we decide concerning the origin of worlds, or trace their history from eternity to eternity?”
—David Hume (1711–1776)
“He wrote in prison, not a History of the World, like Raleigh, but an American book which I think will live longer than that. I do not know of such words, uttered under such circumstances, and so copiously withal, in Roman or English or any history.”
—Henry David Thoreau (1817–1862)
“There is a constant in the average American imagination and taste, for which the past must be preserved and celebrated in full-scale authentic copy; a philosophy of immortality as duplication. It dominates the relation with the self, with the past, not infrequently with the present, always with History and, even, with the European tradition.”
—Umberto Eco (b. 1932)