Логический анализ дефинициальной дедукции
Article Sidebar
Опубликован:
30.11.2009
Ключевые слова:
определение, дедукция, комбинаторная логика, неподвижная точка
Main Article Content
Аннотация
Статья посвящена анализу определений и их свойств в языках без типов. Для достижения этой цели мы определяем логику дефинициальной дедукции. Единственное правило этой логики - замена терминов в соответствии с их определениями. Полученная логика дефинициально эквивалентна комбинаторной логике Шейнфинкеля-Карри.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Шалак В. Логический анализ дефинициальной дедукции // Логические исследования / Logical Investigations. 2009. Т. 15. C. 266-283.
Выпуск
Раздел
Статьи
Литература
Brown J.R. Philosophy of Mathematics. Routledge, 1999. P. 74.
Бочаров В.А., Маркин В.И. Основы логики. Учебник. М.: Космополис, 1994. С. 201.
Whitehead A.N., Russel В. Principia Mathematica. Vol. 1. Cambridge, 1910. P. 11.
Фреге Г. Логика в математике. Избранные работы. М.: Дом интеллектуальной книги, 1997. С. 101.
Gupta A. Definitions // The Stanford Encyclopedia of Philosophy / Edward N. Zalta (ed.), URL =
Барендрегт X. Ламбда-исчисление. Его синтаксис и семантика. М.: Мир, 1985.
Бочаров В.А., Маркин В.И. Основы логики. Учебник. М.: Космополис, 1994. С. 201.
Whitehead A.N., Russel В. Principia Mathematica. Vol. 1. Cambridge, 1910. P. 11.
Фреге Г. Логика в математике. Избранные работы. М.: Дом интеллектуальной книги, 1997. С. 101.
Gupta A. Definitions // The Stanford Encyclopedia of Philosophy / Edward N. Zalta (ed.), URL =
Барендрегт X. Ламбда-исчисление. Его синтаксис и семантика. М.: Мир, 1985.