Логика функций vs логика отношений

##plugins.themes.bootstrap3.article.main##

V.I. Shalack

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##

Section
Статьи

References

Карнап Р. Старая и новая логика // Журнал «Erkenntnis» («Познание»). Избранное. М.: Издательский дом «Территория будущего», Идея-Пресс, 2007. C. 105-119.
Мендельсон Э. Введение в математическую логику. М.: Наука, 1976.
Платон. Собрание сочинений в 4 т. М.: Мысль, 1993.
Смирнов В.А. Логические методы анализа научного знания. М.: Наука, 1987.
Франк Ф. Каково значение современных физических теорий для общей теории познания? // Журнал «Erkenntnis» («Познание»). Избранное. М.: Издательский дом «Территория будущего», Идея-Пресс, 2007. С. 160-187.