Современная логика: теория и практика.
Шуман А.Н. — Современная логика: теория и практика.
| Современная логика: теория и практика / А.Н. Шуман. — Мн.: Экономпресс, 2004.— 416 с. ISВN 985-6479-35-5. Тираж: 2000 экз. Формат: 84х108/32 переплет |
[просмотров: 331 ] В предлагаемой книге предпринята попытка общедоступного изложения современной логики. Содержание работы затрагивает наиболее актуальные вопросы математической, вероятностной и неформальной логики - трех доминирующих разделов современного логического знания. Впервые в отечественной литературе логика сопоставляется с критическим мышлением.ОГЛАВЛЕНИЕ ПРЕДИСЛОВИЕ. ВВЕДЕНИЕ. Глава 1Краткий очерк ИСТОРИИ ЛОГИКИ. Глава 2Дедуктивный, вероятностный и диалектический уровни критического мышления. 2.1. Силлогистика Аристотеля. 2.2. Силлогистика Васильева. 2.3. Нечеткая силлогистика. 2.4. Неформальная силлогистика. Глава 3Логика высказываний. 3.1. Интерпретация и семантическое следование. 3.2. Логическое следование. Глава 4Логика предикатов 4.1. Интерпретация и структура. 4.2. Исчисление предикатов гильбертовского типа. 4.3. Исчисление предикатов гейтинговского типа. 4.4. Предваренная нормальная форма и теорема о полноте. 4.5. Модальная логика предикатов. Глава 5Алгебра логики 5.1. Булевы функции. 5.2. Нормальные формы. Глава 6Теория множеств 6.1. Операции над множествами. 6.2. Отношения и функции. 6.3. Отношения эквивалентности и порядка. 6.4. Онтология Лесьневского. Глава 7Алгебраические системы 7.1. Общие понятия. 7.2. Дистрибутивные решетки. 7.3. Модели теорий первого порядка. Глава 8Аксиоматические теории 8.1. Аксиоматизируемые классы моделей. 8.2. Элементарные теории. 8.3. Формальная арифметика и теоремы о неполноте. Глава 9Основания математики 9.1. Парадоксы. 9.2. Теория доказательств. 9.3. Рекурсивные функции и машины с неограниченными регистрами. 9.4. Неразрешимые проблемы. Глава 10Вероятностная логика 10.1. Вероятностная булева алгебра. 10.2. Теория подтверждения . 10.3. Вероятностная двойственно нормированная булева алгебра. Глава 11Неформальная логика 11.1. Иллокутивная логика. 11.2. Иллокутивная логика убеждения. 11.3. Иллокутивная логика влияния. Заключение Приложение 1Практикум по неформальной логике. Тексты для анализа 1.1. Практикум по иллокутивной логике убеждения. 1.2. Практикум по иллокутивной логике влияния. Приложение 2Латинские фразеологические обороты, наиболее употребимые в логике Библиография Предметный указатель SUMMARY
|
8400 р.купить |
|
[просмотров: 331 ] В предлагаемой книге предпринята попытка общедоступного изложения современной логики. Содержание работы затрагивает наиболее актуальные вопросы математической, вероятностной и неформальной логики - трех доминирующих разделов современного логического знания. Впервые в отечественной литературе логика сопоставляется с критическим мышлением.
|
||
| ОГЛАВЛЕНИЕ ПРЕДИСЛОВИЕ. ВВЕДЕНИЕ. Глава 1Краткий очерк ИСТОРИИ ЛОГИКИ. Глава 2Дедуктивный, вероятностный и диалектический уровни критического мышления. 2.1. Силлогистика Аристотеля. 2.2. Силлогистика Васильева. 2.3. Нечеткая силлогистика. 2.4. Неформальная силлогистика. Глава 3Логика высказываний. 3.1. Интерпретация и семантическое следование. 3.2. Логическое следование. Глава 4Логика предикатов 4.1. Интерпретация и структура. 4.2. Исчисление предикатов гильбертовского типа. 4.3. Исчисление предикатов гейтинговского типа. 4.4. Предваренная нормальная форма и теорема о полноте. 4.5. Модальная логика предикатов. Глава 5Алгебра логики 5.1. Булевы функции. 5.2. Нормальные формы. Глава 6Теория множеств 6.1. Операции над множествами. 6.2. Отношения и функции. 6.3. Отношения эквивалентности и порядка. 6.4. Онтология Лесьневского. Глава 7Алгебраические системы 7.1. Общие понятия. 7.2. Дистрибутивные решетки. 7.3. Модели теорий первого порядка. Глава 8Аксиоматические теории 8.1. Аксиоматизируемые классы моделей. 8.2. Элементарные теории. 8.3. Формальная арифметика и теоремы о неполноте. Глава 9Основания математики 9.1. Парадоксы. 9.2. Теория доказательств. 9.3. Рекурсивные функции и машины с неограниченными регистрами. 9.4. Неразрешимые проблемы. Глава 10Вероятностная логика 10.1. Вероятностная булева алгебра. 10.2. Теория подтверждения . 10.3. Вероятностная двойственно нормированная булева алгебра. Глава 11Неформальная логика 11.1. Иллокутивная логика. 11.2. Иллокутивная логика убеждения. 11.3. Иллокутивная логика влияния. Заключение Приложение 1Практикум по неформальной логике. Тексты для анализа 1.1. Практикум по иллокутивной логике убеждения. 1.2. Практикум по иллокутивной логике влияния. Приложение 2Латинские фразеологические обороты, наиболее употребимые в логике Библиография Предметный указатель SUMMARY | ||
| Комментарии к книге | ||
| Оставить комментарий | Имя: E-mail: Комментарий: Выразить мнение! |
|
[просмотров: 331 ] В предлагаемой книге предпринята попытка общедоступного изложения современной логики. Содержание работы затрагивает наиболее актуальные вопросы математической, вероятностной и неформальной логики - трех доминирующих разделов современного логического знания. Впервые в отечественной литературе логика сопоставляется с критическим мышлением.
|
| ОГЛАВЛЕНИЕ ПРЕДИСЛОВИЕ. ВВЕДЕНИЕ. Глава 1Краткий очерк ИСТОРИИ ЛОГИКИ. Глава 2Дедуктивный, вероятностный и диалектический уровни критического мышления. 2.1. Силлогистика Аристотеля. 2.2. Силлогистика Васильева. 2.3. Нечеткая силлогистика. 2.4. Неформальная силлогистика. Глава 3Логика высказываний. 3.1. Интерпретация и семантическое следование. 3.2. Логическое следование. Глава 4Логика предикатов 4.1. Интерпретация и структура. 4.2. Исчисление предикатов гильбертовского типа. 4.3. Исчисление предикатов гейтинговского типа. 4.4. Предваренная нормальная форма и теорема о полноте. 4.5. Модальная логика предикатов. Глава 5Алгебра логики 5.1. Булевы функции. 5.2. Нормальные формы. Глава 6Теория множеств 6.1. Операции над множествами. 6.2. Отношения и функции. 6.3. Отношения эквивалентности и порядка. 6.4. Онтология Лесьневского. Глава 7Алгебраические системы 7.1. Общие понятия. 7.2. Дистрибутивные решетки. 7.3. Модели теорий первого порядка. Глава 8Аксиоматические теории 8.1. Аксиоматизируемые классы моделей. 8.2. Элементарные теории. 8.3. Формальная арифметика и теоремы о неполноте. Глава 9Основания математики 9.1. Парадоксы. 9.2. Теория доказательств. 9.3. Рекурсивные функции и машины с неограниченными регистрами. 9.4. Неразрешимые проблемы. Глава 10Вероятностная логика 10.1. Вероятностная булева алгебра. 10.2. Теория подтверждения . 10.3. Вероятностная двойственно нормированная булева алгебра. Глава 11Неформальная логика 11.1. Иллокутивная логика. 11.2. Иллокутивная логика убеждения. 11.3. Иллокутивная логика влияния. Заключение Приложение 1Практикум по неформальной логике. Тексты для анализа 1.1. Практикум по иллокутивной логике убеждения. 1.2. Практикум по иллокутивной логике влияния. Приложение 2Латинские фразеологические обороты, наиболее употребимые в логике Библиография Предметный указатель SUMMARY |
ОГЛАВЛЕНИЕ
ПРЕДИСЛОВИЕ.
ВВЕДЕНИЕ.
Глава 1
Краткий очерк ИСТОРИИ ЛОГИКИ.
Краткий очерк ИСТОРИИ ЛОГИКИ.
Глава 2
Дедуктивный, вероятностный и диалектический уровни критического мышления.
Дедуктивный, вероятностный и диалектический уровни критического мышления.
2.1. Силлогистика Аристотеля.
2.2. Силлогистика Васильева.
2.3. Нечеткая силлогистика.
2.4. Неформальная силлогистика.
Глава 3
Логика высказываний.
Логика высказываний.
3.1. Интерпретация и семантическое следование.
3.2. Логическое следование.
Глава 4
Логика предикатов
Логика предикатов
4.1. Интерпретация и структура.
4.2. Исчисление предикатов гильбертовского типа.
4.3. Исчисление предикатов гейтинговского типа.
4.4. Предваренная нормальная форма и теорема о полноте.
4.5. Модальная логика предикатов.
Глава 5
Алгебра логики
Алгебра логики
5.1. Булевы функции.
5.2. Нормальные формы.
Глава 6
Теория множеств
Теория множеств
6.1. Операции над множествами.
6.2. Отношения и функции.
6.3. Отношения эквивалентности и порядка.
6.4. Онтология Лесьневского.
Глава 7
Алгебраические системы
Алгебраические системы
7.1. Общие понятия.
7.2. Дистрибутивные решетки.
7.3. Модели теорий первого порядка.
Глава 8
Аксиоматические теории
Аксиоматические теории
8.1. Аксиоматизируемые классы моделей.
8.2. Элементарные теории.
8.3. Формальная арифметика и теоремы о неполноте.
Глава 9
Основания математики
Основания математики
9.1. Парадоксы.
9.2. Теория доказательств.
9.3. Рекурсивные функции и машины с неограниченными регистрами.
9.4. Неразрешимые проблемы.
Глава 10
Вероятностная логика
Вероятностная логика
10.1. Вероятностная булева алгебра.
10.2. Теория подтверждения .
10.3. Вероятностная двойственно нормированная булева алгебра.
Глава 11
Неформальная логика
Неформальная логика
11.1. Иллокутивная логика.
11.2. Иллокутивная логика убеждения.
11.3. Иллокутивная логика влияния.
Заключение
Приложение 1
Практикум по неформальной логике.
Тексты для анализа
Практикум по неформальной логике.
Тексты для анализа
1.1. Практикум по иллокутивной логике убеждения.
1.2. Практикум по иллокутивной логике влияния.
Приложение 2
Латинские фразеологические обороты,
наиболее употребимые в логике
Латинские фразеологические обороты,
наиболее употребимые в логике
Библиография
Предметный указатель
SUMMARY