Математическая логика дли социологов, Гуц А.К., 2017

Математическая логика дли социологов, Гуц А.К., 2017.

  Учебное пособие посвящено изложению элементов математической логики для социологов. Представлены логика высказываний, логика предикатов, модальная, паранепротиворечивая, релевантная и нечёткая логики. Обсуждается проблема формализации социологических теорий. Изложен ДСМ-метод порождения социологических гипотез.
Для студентов, магистрантов и аспирантов социологических факультетов.




Модальная логика.
Мы далеко не всегда согласны, что то или иное высказывание, скажем, истинно. Но в равной мере сомневаемся и в его ложности. Высказываемое оценивается, выверяется, наконец, в какой-то степени просто измеряется слушающим. Следова-тельно, необходимо как-то выделять такие высказывания среди других. Надо найти в них то, чем они отличаются от тех, которые однозначно истинны или ложны.

Очевидно, в таких высказываниях содержатся слова, которые и порождают их особенность. Использование таких слов это способ (па латыни - modus) порождения особых выска-зываний, которые называют модальными. Использование конкретных особых слов - это конкретные способы - модальности (от лат. modus) порождения особых высказываний. Каждая модальность ведет к тому, что высказывание, связанное с ней, начинает оцениваться на степень его истинности. В этом проявляемся определенный способ отношения высказывающегося субъекта к предмету высказывания.

Оглавление.
Введение.
1. Формальная логика Аристотеля.
1.1. Силлогизмы Аристотеля.
1.2. Что есть истина?.
1.3. Модальная логика.
1.4. Математическая, или символическая, логика.
1.5. Курсы математической логики для социологов в университетах России и других стран.
1.5.1. Символическая логика в University of Exeter (Devon, UK).
1.5.2. Логико-комбинаторные методы анализа социологических данных в Высшей школе экономики.
1.6. Аристотель.
2.Законы классической логики.
2.1. Основные законы логики.
2.2. Логический парадокс Рассела.
2.3. Двузначность и многозначность логики.
2.4. Интуиционистская логика.
3. Логика высказываний.
3.1. Силлогизмы.
3.2. Высказывания.
3.2.1. Классическая (материальная) импликация.
3.2.2. Логическая импликация и причинная импликация.
3.3. Алгебра высказываний.
3.4. Булева функция.
3.5. Равносильные формулы.
3.6. Алгебра Буля.
3.7. Истинные и общезначимые формулы.
3.8. Логическое следствие.
3.9. Джордж Буль.
4. Логика предикатов.
4.1. Символический язык. Исчисление (формaльная теория).
4.1.1. Термы Социальные объекты.
4.1.2. Предикаты — Свойства социальных объектов.
4.1.3. Формулы — Высказывания о социальных объектах.
4.1.4. Любое высказывание русского языка можно записать как формулу в логике предикатов.
4.1.5. Аксиомы — Очевидные истины.
4.1.6. Правила вывода Умозаключения.
4.1.7. Доказательства — Обоснования.
4.2. Определение исчисления, или формальной теории.
4.2.1. Определение формального доказательства.
4.2.2. Полнота и непротиворечивость.
4.3. Логика высказываний как исчисление.
4.4. Исчисление предикатов.
4.4.1. Язык и правила вывода исчисления предикатов.
4.4.2. Полнота и непротиворечивость исчисления предикатов.
4.5. Теорема Гёделя о неполноте.
4.6. Какая прикладная логика требуется для решения задач социологии?.
4.7. Интерпретация.
4.7.1. Истинность и выполнимость формул.
4.7.2. Модели и общезначимость.
4.8. Истинность аксиом.
4.9. Готлоб Фреге.
5. Модальные логики.
5.1. Модальные исчисления.
5.1.1. Модальное исчисление К.
5.1.2. Модальное исчисление К4 и S4.
5.2. Семантика Кринке.
5.3. Логика доказуемости.
6. Аксиоматизация социологических теорий.
6.1. Формaлизуемы ли социологические теории?.
6.2. Примеры логических аксиоматизаций.
6.2.1. Формальная теория организации.
6.2.2. Логическая формализация социальных обязательств.
6.2.3. Логические формализации Ханнана.
6.3. Содержательная аксиоматизация.
6.4. Аксиоматизация и социология.
6.4.1. В чем смысл формализации теорий?.
6.4.2. Аксиоматизация глазами социолога.
6.4.3. Пути аксиоматизации (формализации) социологических теорий.
6.5. Содержательные аксиоматики конкретных социологий (социологических теорий).
6.6. Примеры аксиоматик конкретных социологий.
6.6.1. Аксиоматика теории социального обмена Хоманса-Блау.
6.6.2. Аксиомы демократ и четкого голосования Эрроу.
6.6.3. Аксиомы Шелера социологии знания.
6.6.4. Три аксиомы для прагматической социологии.
7. Паранепротиворечивые логики.
7.1. Сущность паранепротиворечивых логик.
7.2. Паранепротиворечивая логика LP Приста.
7.3. Воображаемая логика Васильева.
7.4. Н.А. Васильев.
8. Релевантные логики.
8.1. Сущность релевантных логик.
8.1.1. Строгая импликация.
8.1.2. Релевантная импликация.
8.2. Релевантная логика R.
8.3. Релевантная логика RМ3.
8.4. И.Е. Орлов.
9. Нечёткая логика.
9.1. Нечёткие подмножества.
9.1.1. Операции нaд нечёткими подмножествами.
9.2. Нечёткая логика высказываний.
9.3. Роль универсального множества Е.
9.4. Лингвистические переменные.
9.5. Нечёткая истинность.
9.6. Нечёткие числа.
9.6.1. Операции над нечёткими числами.
9.6.2. Треугольные нечёткие числа.
9.7. Лотфи А. Заде.
10. Дедуктивная и индуктивная логики.
10.1. Дедуктивные и правдоподобные умозаключения.
10.1.1. Достоверные, или дедуктивные, умозаключения.
10.1.2. Правдоподобные умозаключения.
10.2. Индуктивная логика.
10.2.1. Сходство и индукция.
10.2.2. Аналогия.
10.2.3. Индуктивные правила Милля.
10.3. Дедуктивная логика.
10.4. Абдуктивные умозаключения.
10.5. Эксперимент в социологии и причинные связи.
10.5.1. Компьютерные системы по анализу социологических данных и прогнозирования социального поведения.
10.6.  Джон С. Милль.
11. Логико-комбинаторные методы.
11.1. ДСМ-метод.
11.1.1. Описание ДСМ-метода.
11.1.2. Логика ДСМ-метода.
11.2. Алгоритм ДСМ-метода.
11.2.1. Формирование базы фактов.
11.2.2. Формирование гипотез.
11.2.3. Проверка условия каузальной полноты.
11.3. Другой алгоритм ДСМ-метода.
11.4. Формализация ДСМ-метода.
11.4.1. ДСМ-язык.
11.4.2. ДСМ-умозаключения. Правила вывода.
11.4.3. Пример: анaлиз мнений.
11.5. Компьютерные ДСМ-системы.
11.5.1. ДСМ-система JSM-Socio Анны Волковой.
11.5.2. Другие компьютерные ДСМ-системы.
11.6. Сравнительный качественный анализ (СКА).
11.7. В.К. Финн.
Заключение
Литература



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Математическая логика дли социологов, Гуц А.К., 2017 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать pdf
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - pdf - Яндекс.Диск.




Теги: учебник по математике :: математика :: Гуц