Некоторые принципы и особенности правил вывода в однокванторной силлогистике

Автор: Задорин Вячеслав Владимирович

Журнал: Logos et Praxis @logos-et-praxis

Статья в выпуске: 2 (20), 2013 года.

Бесплатный доступ

В работе рассматриваются принципы, лежащие в основании универсальной логики одноместных предикатов: принцип исключенного третьего, принцип непротиворечия и принцип тождества. Утверждается, что одна из особенностей правил вывода в однокванторной силлогистике - наличие двух возможных следствий из формулы хА(х).

Силлогистика, универсальная логика одноместных предикатов, принцип исключенного третьего, принцип непротиворечия и принцип тождества, правила вывода

Короткий адрес: https://sciup.org/14974606

IDR: 14974606

Список литературы Некоторые принципы и особенности правил вывода в однокванторной силлогистике

Бочаров, В. А. Введение в логику: учебник/В. А. Бочаров, В. И. Маркин. -М.: Форум: ИНФРА-М, 2008. -560 с.
Бочаров, В. А. Основы логики: учебник/В. А. Бочаров, В. И. Маркин. -М.: Космополис, 1994. -272 с.
Гильбер, Д. Основы теоретической логики/Д. Гильбер, В. Аккерман. -М.: Иностр. лит., 1947. -306 с.
Задорин, В. В. 16 двухтерминных модельных схем аристотелевской силлогистики/В. В. Задорин//Вестник Волгоградского государственного университетата. Серия 7, Философия. Социология и социальные технологии. -2010. -№ 1 (11).-C. 46-50.
Задорин, В. В. Доказательство методом аналитических таблиц «слабых» модусов аристотелевской силлогистики/В. В. Задорин//Вестник Волгоградского государственного университетата. Серия 7, Философия. Социология и социальные технологии. -2011. -.№ 1(13). -C. 76-79.
Лукасевич, Я. Аристотелевская силлогистика с точки зрения современной формальной логики/Я. Лукасевич. -М.: Иностр. лит., 1959. -311 с.
Мельников, В. Н. Логические задачи/В. Н. Мельников. -К.; Одесса: Выща шк., 1989. -344 с.
Субботин, А. Л. Теория силлогистики в совремменной формальной логике/А. Л.Субботин. -М.: Наука, 1965.-123 с.
Kleene, S. C. Mathematical Logic/S. C. Kleene. -N. Y.: John Wiley & Sons, 1967. -398 p.
Smullyan, R. M. First-order logic/R. M. Smullyan. -N. Y: Dover Publications, 1995. -166 p.

Еще

Статья научная