Протологика и ее структура
Article Sidebar
Опубликован:
08.05.2014
Ключевые слова:
протологика, семиотика, теория знаков, основания логики, комбинаторная логика, ламбда-исчисление
Main Article Content
Аннотация
В статье излагается обобщение понятия логического до уровня оперирования знаками.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Шалак В. И. Протологика и ее структура // Логические исследования / Logical Investigations. 2014. Т. 20. C. 196-210.
Выпуск
Раздел
Статьи
Литература
Барендрегт Х. Ламбда-исчисление. Его синтаксис и семантика. М.: Мир, 1985. 606 с.
Бенвенист Э. Категории мысли и категории языка // Общая лингвистика. Благовещенск: БГК им. И.А. Бодуэна де Куртенэ, 1998. С. 104–114.
Моррис Ч.У. Основания теории знаков // Семиотика. Том 1. Благовещенск: БГК им. И.А. Бодуэна де Куртенэ, 1998. С. 36–88.
Начала Евклида. Книги I-VI. ОГИЗ, Москва-Ленинград, 1948.
Пирс Ч.С. Избранные философские произведения. Пер. с англ. М.: Логос, 2000.
Шалак В.И. Протологика: новый взгляд на природу логического // Дисс.. . . докт. филос. наук. М., 2010.
Шалак В.И. Логический анализ дефинициальной дедукции // Логические исследования. Вып.15. М.: Наука. С. 266–283.
Шейнфинкель М.И. О кирпичах математической логики // Логические исследования. Вып.15. М.: Наука. С. 232–246.
Church A. The Calculi of Lambda-Conversion // Annals of Mathematical Studies. 1941, № 6. 82 p.
Curry H.B., Feys R. Combinatory Logic. V.1. Amsterdam, 1958.
Shalack V.I. Semiotic foundations of logic // Logical Investigations. 2013. Issue 19. P. 225–237.
Бенвенист Э. Категории мысли и категории языка // Общая лингвистика. Благовещенск: БГК им. И.А. Бодуэна де Куртенэ, 1998. С. 104–114.
Моррис Ч.У. Основания теории знаков // Семиотика. Том 1. Благовещенск: БГК им. И.А. Бодуэна де Куртенэ, 1998. С. 36–88.
Начала Евклида. Книги I-VI. ОГИЗ, Москва-Ленинград, 1948.
Пирс Ч.С. Избранные философские произведения. Пер. с англ. М.: Логос, 2000.
Шалак В.И. Протологика: новый взгляд на природу логического // Дисс.. . . докт. филос. наук. М., 2010.
Шалак В.И. Логический анализ дефинициальной дедукции // Логические исследования. Вып.15. М.: Наука. С. 266–283.
Шейнфинкель М.И. О кирпичах математической логики // Логические исследования. Вып.15. М.: Наука. С. 232–246.
Church A. The Calculi of Lambda-Conversion // Annals of Mathematical Studies. 1941, № 6. 82 p.
Curry H.B., Feys R. Combinatory Logic. V.1. Amsterdam, 1958.
Shalack V.I. Semiotic foundations of logic // Logical Investigations. 2013. Issue 19. P. 225–237.