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