Логика функций vs логика отношений
Article Sidebar
Опубликован:
07.04.2010
Ключевые слова:
погружающая операция, функция, предикат
Main Article Content
Аннотация
Доказано, что для любой теории первого порядка с равенством, область интерпретации которой содержит не менее двух индивидов, существует взаимно погрузимя теория на языке с функциональными символами и только однозначным предикатом.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Шалак В. Логика функций vs логика отношений // Логические исследования / Logical Investigations. 2010. Т. 16. C. 259-271.
Выпуск
Раздел
Статьи
Литература
Карнап Р. Старая и новая логика // Журнал «Erkenntnis» («Познание»). Избранное. М.: Издательский дом «Территория будущего», Идея-Пресс, 2007. C. 105-119.
Мендельсон Э. Введение в математическую логику. М.: Наука, 1976.
Платон. Собрание сочинений в 4 т. М.: Мысль, 1993.
Смирнов В.А. Логические методы анализа научного знания. М.: Наука, 1987.
Франк Ф. Каково значение современных физических теорий для общей теории познания? // Журнал «Erkenntnis» («Познание»). Избранное. М.: Издательский дом «Территория будущего», Идея-Пресс, 2007. С. 160-187.
Мендельсон Э. Введение в математическую логику. М.: Наука, 1976.
Платон. Собрание сочинений в 4 т. М.: Мысль, 1993.
Смирнов В.А. Логические методы анализа научного знания. М.: Наука, 1987.
Франк Ф. Каково значение современных физических теорий для общей теории познания? // Журнал «Erkenntnis» («Познание»). Избранное. М.: Издательский дом «Территория будущего», Идея-Пресс, 2007. С. 160-187.