Составители:
Рубрика:
101
Мельников В. Н. Логические задачи. – Киев, 1989.
Причинность и телеономизм в современной естественнонаучной
парадигме. – М., 2002.
РеиуордСмит В. Дж. Теория формальных языков. – М., 1983.
Степанов Ю. С. В трехмерном пространстве языка. – М., 1985.
Формальная логика. – Л., 1977.
Фреге Г. Мысль: Логическое исследование // Философия, логика,
язык. – М., 1987.
Чернавский Д. С. Синергетика и информации. – М., 2001.
Тема 2
Общее представление о символической логике.
Структура символической логики
Возникновение символической логики, развитие, спе
цифика и значение для современной науки. Структура
символической логики: логика высказываний и предика
тов первого Порядка как элементы классической символи
ческой логики. Общее представление о логике высказыва
ний и предикатов, формулировка основных понятий дан
ных разделов. В логике высказываний исходным является
понятие высказывания, обозначающее любое предложе
ние, выражающее некоторое суждение:
·
смысловое содержание логических высказываний (по
нятие истинностного значения);
·
понятие логического союза (связки);
·
простые и сложные высказывания, логическое зна
чение сложных высказываний;
·
задачи логики высказываний.
Логика предикатов: определение логики предикатов
как обобщение логики высказываний, логические связи.
Специфика логики предикатов: если логика высказы
ваний интересуется только правильностью связей между
Программа спецкурса «ВВЕДЕНИЕ В СИМВОЛИЧЕСКУЮ ЛОГИКУ»
Страницы
- « первая
- ‹ предыдущая
- …
- 98
- 99
- 100
- 101
- 102
- …
- следующая ›
- последняя »
