Логика функций vs логика отношений
##plugins.themes.bootstrap3.article.sidebar##
Published:
07.04.2010
##plugins.themes.bootstrap3.article.main##
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.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.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.