Составители:
Рубрика:
Программа спецкурса «ВВЕДЕНИЕ В СИМВОЛИЧЕСКУЮ ЛОГИКУ»
107
Клини С. Математическая логика. – М., 1973.
Математическая теория логического вывода. – М., 1967.
Рузавин Т. Н. Методы научного исследования. – М., 1974.
Светлов В. ЛА. Практическая логика. – СПб., 1995.
Сидоренко Е. А., Таванец П. В. Проблема логического следования
в современной логике ив философии // Теория логического вывода. –
М., 1973.
Смирнов В. А. О видах логического следования // Исследование
логических систем. – М;, 1970.
Смирнов В. А. Формальный вывод и логические исчисления. – М.,
1972.
Тарский А. Введение в логику и методологию дедуктивных наук. –
М., 1948.
Формальная логика. – Л., 1977.
Тема 7
Дедуктивные умозаключения
и вывод в логике высказываний
В этой теме анализируются особенности дедуктивных
умозаключений и выводов в логике высказываний. Глав
ная их особенность состоит в том, что в логике высказыва
ний анализируются только структурно сложные высказы
вания, простые же высказывания считаются структурно
неразложимыми, т. е. игнорируется субъектнопредикат
ная структура простых высказываний. Поэтому в логике
высказываний корректные дедуктивные выводы строятся
только на основе установления логических связей между
высказываниями. В этой связи определяется понятие вы
вода в логике высказываний, частным случаем которого
является доказательство (уже рассмотренное в курсе тра
диционной логики). Понятие вывода в логике высказыва
ний связано с понятием исчисления, в частности с аксио
матическим методом построения исчисления высказыва
Страницы
- « первая
- ‹ предыдущая
- …
- 104
- 105
- 106
- 107
- 108
- …
- следующая ›
- последняя »
