12-08-2017, 10:19 AM
The logical form of a sentence (or a proposition or statement or a container of truth) or a set of sentences is the form obtained abstracting from the content of its content terms or considering the terms of content as mere markers or spaces Blank in a form. In an ideal logical language, the logical form can be determined only from the syntax; The formal languages used in the formal sciences are examples of such languages. The logical form, however, should not be confused with the mere syntax used to represent it; There may be more than one string representing the same logical form in a given language. The logical form of an argument is called an argument form or test form of the argument.
The importance of the concept of form to logic was already recognized in antiquity. Aristotle, in the previous analysis, was probably the first to use variable letters to represent valid inferences. Therefore, Łukasiewicz states that the introduction of variables was "one of Aristotle's greatest inventions".
According to the followers of Aristotle, like Ammonius, only the logical principles exposed in schematic terms belong to the logic, and not the dice in concrete terms. The concrete terms "man," "mortal," etc., are analogous to the substitution values of schematic markers A, B, C, called "matter" of Greek hyle, Latin material.
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: "Knowledge of logical forms, although with most people is not explicit, is involved in all understanding of speech, it is the business of philosophical logic to extract this knowledge from its concrete integuments and make it explicit and pure" .
The importance of the concept of form to logic was already recognized in antiquity. Aristotle, in the previous analysis, was probably the first to use variable letters to represent valid inferences. Therefore, Łukasiewicz states that the introduction of variables was "one of Aristotle's greatest inventions".
According to the followers of Aristotle, like Ammonius, only the logical principles exposed in schematic terms belong to the logic, and not the dice in concrete terms. The concrete terms "man," "mortal," etc., are analogous to the substitution values of schematic markers A, B, C, called "matter" of Greek hyle, Latin material.
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: "Knowledge of logical forms, although with most people is not explicit, is involved in all understanding of speech, it is the business of philosophical logic to extract this knowledge from its concrete integuments and make it explicit and pure" .