Альтернативное определение логического следования

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

V.I. Shalack

Abstract

In this paper we provide analysis of the philosophical origins of Tarskian definition of logical consequence. We show that there exist a close connection between the Tarskian notion of logical consequence and the views of Plato and Aristotle on the aims of human cognition. We also propose an alternative, «model-free», definition of logical consequence for the boolean logic.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

Анисов А.М. Современная логика. М., 2002.
Анисов А.М. Темпоральный универсум и его познание. М., 2000.
Аристотель. Метафизика // Аристотель. Сочинения: В 4 т. Т. 1. М, 1975.
Бэкон Ф. Новый органон // Бэкон Ф. Сочинения: В 2 т. Т. 2. М., 1978.
Карпенко А.С. Современные исследования в философской логике // Логические исследования. Вып.10. М.: Наука, 2003.
Карпенко А.С. Предмет логики в свете основных тенденций ее развития // Логические исследования. Вып.11. М.: Наука, 2004.
Марков А.А. Элементы математической логики // Под ред. А.Г.Драгалина. М.: Изд-во Моск, ун-та, 1984.
Платон. Кратил // Платон. Сочинения: В 3 т. Т. 1. М., 1968.
Рассел Б. История западной философии. В 3 кн. 3-е изд., испр./ Подгот. текста В.В. Целищева. Новосибирск: Сиб. унив. изд-во; Изд-во Новосиб. ун-та, 2001.
Стяжкин Н.И. Формирование математической логики. М.: Наука,» 1967.
Тарский А. Введение в логику и методологию дедуктивных наук. Биробиджан: ИП «ТРИВИУМ», 2000.
Хинтикка Я. Познание и его объекты у Платона // Логикоэпистемологические исследования. М., 1980.
Хинтикка Я. Время, истина и познание у Аристотеля и других греческих философов // Логико-эпистемологические исследования. М., 1980.
Шалак В. И. Логика альтернативного отношения следования // Логические исследования. Вып.13. М.: Наука, 2007.
Tarski A. On the Concept of Logical Consequence // A.Tarski. Logic, Semantics, Metamathematics. Second edition. Indianapolis: Hacket, 1983. P. 409-420.