Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Форма для логических аргументов, полученная путем абстрагирования от предметной области содержащихся в ней терминов – термин, используемый в логике.
Form for logical arguments, obtained by abstracting from the subject matter of its content terms
the term as used in logic
В логике логическая форма высказывания представляет собой точно определенную семантическую версию этого высказывания в формальной системе. Неформально, логическая форма стремится формализовать возможно неоднозначное высказывание в высказывание с точной и однозначной логической интерпретацией относительно формальной системы. В идеальном формальном языке значение логической формы может быть однозначно определено исключительно по синтаксису. Логические формы являются семантическими, а не синтаксическими конструкциями; следовательно, одна и та же логическая форма может быть представлена несколькими различными строками в данном языке. Логическая форма аргумента называется формой аргумента.
In logic, the logical form of a statement is a precisely specified semantic version of that statement in a formal systemic Informally, the logical form attempts to formalize a possibly ambiguous statement into a statement with a precise, unambiguous logical interpretation with respect to a formal system. In an ideal formal language, the meaning of a logical form can be determined unambiguously from syntax alone. Logical forms are semantic, not syntactic constructs; therefore, there may be more than one string that represents the same logical form in a given language. The logical form of an argument is called the argument form of the argument.
История
Важность понятия формы для логики была признана уже в древние времена. Аристотель, в "Первой аналитике", вероятно, был первым, кто использовал переменные буквы для представления корректных умозаключений. Поэтому Ян Лукасевич утверждает, что введение переменных было "одним из величайших изобретений Аристотеля". Согласно последователям Аристотеля, таким как Аммоний, к логике относятся лишь логические принципы, сформулированные в схематических терминах, а не те, что представлены в конкретных терминах. Конкретные термины, такие как "человек", "смертный" и так далее, аналогичны значениям подстановки для схематических заполнителей A, B, C, которые назывались "материей" (греч. hyle, лат. materia) аргумента. Сам термин "логическая форма" был введен Бертраном Расселом в 1914 году в контексте его программы по формализации естественного языка и рассуждений, которую он назвал философской логикой. Рассел писал: "Некоторое знание логических форм, хотя и не осознаваемое большинством людей, необходимо для понимания любого высказывания. Задача философской логики – извлечь это знание из его конкретной оболочки и сделать его явным и чистым".
The importance of the concept of form to logic was already recognized in ancient times. Aristotle, in the Prior Analytics, was probably the first to employ variable letters to represent valid inferences. Therefore, Jan Łukasiewicz claims that the introduction of variables was "one of Aristotle's greatest inventions." According to the followers of Aristotle like Ammonius, only the logical principles stated in schematic terms belong to logic, and not those given in concrete terms. The concrete terms man, mortal, and so forth 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" itself 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 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."
Логические формы в обработке естественного языка
В семантическом разборе утверждения на естественных языках преобразуются в логические формы, представляющие их смысл.
In semantic parsing, statements in natural languages are converted into logical forms that represent their meanings.