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

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

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

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

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

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

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

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

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

Примечания

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 с.

Литература по истории логики

Бажанов В.А. История логики в России и СССР. – М.: Канон+, 2007. – 336 с.

Маковельский А.О. История логики. – М., 1967. – 504 с.

Попов П.С. История логики нового времени. – М., Издательство МГУ, 1960.

Стяжкин Н.И. Формирование математической логики. – М., 1967.

Scholtz H. Geschichte der Logik. – 1931. (Concise History of Logic. – New York, 1961).

Литература по китайской логике

Спирин B.C. О «третьих» и «пятых» понятиях в логике древнего Китая // Дальний Восток. Сборник статей по филологии, истории, философии. – М., 1961.

Кроль Ю.Л. Спор как явление культуры древнего Китая // Народы Азии и Африки. – 1987. – № 2.

· Крушинский А.А. Имена и реалии в древнекитайской логике и мето-дологии (Обзор) // Современные историко-научные исследования: на-ука в традиционном Китае. – М., 1987.

· Пань Шимо (КНР) Логика Древнего Китая (краткий очерк) // Филосо-фские науки. – 1991. – № 12.

· Чжоу Юньчжи Основные вехи развития древнекитайской логики мин бянь, её главные особенности и реальные достижения // Рацио-налистическая традиция и современность. Китай. 1993. – №. – С. 152–178.

· Крушинский А.А. Логика «И цзина». Дедукция в древнем Китае. – М., 1999.

· Кварталова Н.П. Логические идеи трактата «Гунсунь Лун-цзы» // Человек и духовная культура Востока. Альманах. Вып. I. – М., 2003. – С. 167–172.

· Кобзев А.И. Школа имен (мин цзя): коллизия логики и диалектики // Китай в диалоге цивилизации: К 70-летию академика М.Л. Титаренко. – М., 2004. – С. 550–557.