Недедуктивные логические теории

–– Индуктивная логика

–– Вероятностная логика

–– Логика решений

–– Логика нечётких понятий (логика нечётких множеств, нечёткая логика)

–– Аналогия (умозаключение по аналогии).

Другие неклассические логики

–– Категориальная логика

–– Комбинаторная логика – это логика, которая заменяет переменные функциями с целью прояснить такие интуитивные операции с перемен-ными, как подстановка. Построенная на базе комбинаторной логики сис-тема арифметики содержит все частично рекурсивные функции и избе-гает гёделевской неполноты.

–– Кондициональная логика (условная логика). Её предмет – истинность условных предложений (в частности, сослагательного наклонения). Ло-гика контрафактических утверждений.

Приложения логики

Прикладные проблемы логики и логической семантики

• Приложения логики в методологии науки

• Приложения логики в философии

• Приложения логики в теологии

• Приложения логики в психологии

• Приложения логики в правовых науках

• Приложения логики в лингвистике

• Приложения логики в других дисциплинах

Приложения логики в анализе познавательных процедур

Логический анализ форм и приёмов познания

• Формы мышления

• Определение

• Классификация

• Абстракция

• Идеализация

• Аксиоматизация

• Формализация

• Логические проблемы аргументации

• Логика доказательств

Приложения логики в методологии науки

• Методология науки

• Логика науки

• Логика и эмпиризм

Приложения логики в философии

Основная статья: Философская логика

• Приложения логики в философии

• Приложения логики в онтологии

• Приложения логики в эпистемологии

• Приложения логики в этике

• Логические проблемы аргументации (теория аргументации)

• Аналитическая философия

Приложения логики в психологии

–– Когнитивная наука

–– Когнитивная психология

–– Логика открытий

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

Приложения логики в лингвистике

• Логический анализ языка

• Аналитическая философия

Приложения логики в компьютерных науках

Основная статья: Логическое программирование

• Динамические логики (динамическая логика)

• Логики программ (логика программ)

• Логика экспертных систем (логики экспертных систем)

• Логика в информатике

• Доказательное программирование

• Автоматическое доказательство теорем

• Логическое программирование

Примечания

1. ↑Gauch H.G. The PEL model of full disclosure // Scientific Method in Practice.– Cambridge University Press, 2003.– P. 124.– 435pp.

2. ↑Ивин А.А. Логика. – М.: Знание, 1998.

3. ↑Тихонравов Ю.В. Философия: Учебное пособие. – М.: Инфра-М, 2000. – 269 с.

4. ↑Ефремова Т.Ф. Новый словарь русского языка. Толково-словооб-разовательный. – 2001–2002.

Литература

• Гетманова А.Д. Учебник по логике. – М.: Владос, 1995. – 303 с.

• Кондаков Н.И. Логический словарь-справочник. – М.: Наука, 1975. – 720 с.

• Кондаков Н.И. Введение в логику. – М.: Наука, 1967. – (На сайте Ру-ниверс).

• Ивлев Ю.В. Учебник логики: Семестровый курс: Учебник. – М.: Дело, 2003. – 208 с.

• Бочаров В.А., Маркин В.И. Основы логики: Учебник. – М.: ИНФРА-М, 2001. – 296 с.

• Ивин А.А. Логика: Учебное пособие. – М.: Знание, 1998. – (На пор-тале «Философия в России»; на сайте Славы Янко).

• Ивин А.А., Никифоров А.Л. Словарь по логике. – М.: Туманит, ВЛА-ДОС, 1997. – 384 с.

• Горский Д.П. Логика: Учебное пособие для педагогических училищ (недоступная ссылка). – М.: Учпедгиз, 1961. – 160 с.

• Челпанов Г.И. Учебник логики. – М., 1994.

• Формальная логика / Под ред. И.Я. Чупахина, И.Н. Бродского. – Л.: ЛГУ, 1977. – 357 с.