Логика функций vs логика отношений
Article Sidebar
Published:
07.04.2010
Main Article Content
Abstract
It is proved that for any first-order theory with equality, the domain of interpretation of which contains at least two individuals, there exists mutually embeddable theory in language with functional symbols and only one-place predicate.
Downloads
Download data is not yet available.
Article Details
How to Cite
Shalack V. Логика функций vs логика отношений // Logicheskie Issledovaniya / Logical Investigations. 2010. VOL. 16. C. 259-271.
Issue
Section
Papers
References
Карнап Р. Старая и новая логика // Журнал «Erkenntnis» («Познание»). Избранное. М.: Издательский дом «Территория будущего», Идея-Пресс, 2007. C. 105-119.
Мендельсон Э. Введение в математическую логику. М.: Наука, 1976.
Платон. Собрание сочинений в 4 т. М.: Мысль, 1993.
Смирнов В.А. Логические методы анализа научного знания. М.: Наука, 1987.
Франк Ф. Каково значение современных физических теорий для общей теории познания? // Журнал «Erkenntnis» («Познание»). Избранное. М.: Издательский дом «Территория будущего», Идея-Пресс, 2007. С. 160-187.
Мендельсон Э. Введение в математическую логику. М.: Наука, 1976.
Платон. Собрание сочинений в 4 т. М.: Мысль, 1993.
Смирнов В.А. Логические методы анализа научного знания. М.: Наука, 1987.
Франк Ф. Каково значение современных физических теорий для общей теории познания? // Журнал «Erkenntnis» («Познание»). Избранное. М.: Издательский дом «Территория будущего», Идея-Пресс, 2007. С. 160-187.