Составители:
Рубрика:
Программа спецкурса «ВВЕДЕНИЕ В СИМВОЛИЧЕСКУЮ ЛОГИКУ»
102
высказываниями, то логика предикатов сосредоточивает
свое внимание именно на структуре высказываний, учи
тывает связь между субъектами и предикатами послед
них. Основные понятия логики предикатов: тема предика
та, формулы логики предикатов. Практическое использо
вание логики высказываний и предикатов.
РЕКОМЕНДУЕМАЯ ЛИТЕРАТУРА
Войшвилло Е. К. Символическая логика. Классическая и релеван
тная. – М., 1989.
Зегет В. Элементарная логика. – М., 1985.
Калужнин Л. А. Что такое математическая логика. – М., 1964.
Клини С. Математическая логика. – М., 1973.
Математическая теория логического вывода. – М., 1976.
Паршин А. Н. Размышления над теоремой Геделя // Вопросы фи
лософии. 2000. № 6.
Стяжкин Н. И. Формирование математической логики. – М.,
1961.
Светлов В. А. Практическая логика. – СПб., 1995. Гл. VI.
Формальная логика.– Л., 1977.
Черч А. Введение в математическую логику. – М., 1969. Т. 1.
Тема 3
Основные понятия логики высказываний
Логика высказываний – основа символической логики.
Предмет ее изучения – высказывания, которые в есте
ственном языке являются утвердительными (повествова
тельными) предложениями, а в формализованном – это
специальные символы, выбираемые с учетом соображений
удобства их анализа, компактности записи и других фак
торов.
Страницы
- « первая
- ‹ предыдущая
- …
- 99
- 100
- 101
- 102
- 103
- …
- следующая ›
- последняя »
