Перечень основных символов классической формальной логики

• a  b, a  b, a & b, “a и b” — конъюнкция;

• a  b, “a или b” — нестрогая дизъюнкция;

• a  b, “a или b” — строгая дизъюнкция;

• a  b, “a имплицирует b” (“если a, то b”) — материальная импликация;

• a  b, “a имплицирует b” (“если a, то b”) — релевантная импликация;

• a  b, a  b, a ~ b, “a эквивалентно b” (“a, если и только если b”) —эквиваленция;

• a,  a, ~ a, “не-a” — отрицание a;

• ( x), “для всех x” — квантор общности;

• ( x), “существует x, такое, что” — квантор существования;

• a, b, c, …, p, q… — переменные для высказываний;

• X  U — класс X включается в класс U;

• х  U — элемент х принадлежит классу U;

• │= — отношение логического следования;

• ║= — отношение правдоподобного следования.

Библиографический список

1. Асмус В. Ф. Проблема интуиции в философии и математике: Очерк истории XVII – начало ХХ века. — М.: Едиториал УРСС, 2004. — 312 с.

2. Берков В. Ф., Яскевич Я. С., Павлюкевич В. И. Логика. — Мн.: НТООО «Тетра Системс», 1997. — 480 с.

3. Библер В. С. На гранях логики культуры. Книга избранных очерков. — М.: Русское феноменологическое общество, 1997. — 440 с.

4. Бочаров В. А. Аристотель и традиционная логика: Анализ силлогистических теорий. — М.: Изд-во МГУ, 1984. — 136 с.

5. Войшвилло Е. К., Дегтярев М. Г. Логика: Учеб. для вузов. — М.: Гуманит. изд. центр ВЛАДОС, 1998. — 528 с.

6. Гетманова А. Д. Учебник по логике. — М.: ЧеРо, 1997. — 304 с.

7. Гжегорчик А. Популярная логика. Общедоступный очерк логики предложений. — М.: Наука, 1979. — 112 с.

8. Горский Д. В. Определение. — М.: Мысль, 1974. — 312 с.

9. Гудстейн Р. Л. Математическая логика. — М.: Изд-во иностр. лит., 1961. — 164 с.

10. Жоль К. К. Логика в лицах и символах. — М.: Педагогика–Пресс, 1993. — 256 с.

11. Зегет В. Элементарная логика. — М.: Высш. шк., 1985. — 256 с.

12. Горский Д. П., Ивин А. А., Никифоров А. Л. Краткий словарь по логике. —М.: Просвещение, 1991. — 208 с.

13. Ивин А. А. Искусство правильно мыслить. — М.: Просвещение, 1991. — 224 с.

14. Карри Х. Основания математической логики. — М.: Мир, 1969. — 568 с.

15. Клини С. К. Математическая логика. — М.: Мир, 1973. — 480 с.

16. Колмогоров А. Н., Драгалин А. Г. Введение в математическую логику. —М.: Изд-во МГУ, 1982. — 120 с.

17. Кондаков Н. И. Введение в логику. — М.: Наука, 1967. — 468 с.

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

19. Коул М., Скрибнер С. Культура и мышление. — М.: Прогресс, 1977. — 262 с.

20. Кэррол Л. История с узелками. — М.: Мир, 1973. — 408 с.

21. Кэрролл Л. Логическая игра. — М.: Наука, 1991. — 192 с.

22. Латотин Л. А., Макаренков Ю. А., Николаева В. В., Столяр А. А. Математическая логика. — Мн.: Высш. шк., 1991. — 269 с.

23. Мартишина Н. И., Махова Н. П. Логика: Учеб. пособие. — Омск: Изд-во ОмГТУ, 1998. — 40 с.

24. Минто В. Дедуктивная и индуктивная логика. — Екатеринбург: Изд-во «Деловая книга», 1997. — 432 с.

25. Слупецкий Е., Борковский Л. Элементы математической логики и теория множеств. — М.: Прогресс, 1965. — 368 с.

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

27. Субботин А. Л. Теория силлогистики в современной формальной логике. — М.: Наука, 1965. — 124 с.

28. Уёмов А.И. Задачи и упражнения по логике: Учеб. пособие для пед. ин-тов и филол. фак. ун-тов. — М.: Высш. шк., 1961. — 352 с.

29. Формальная логика / Под ред. И.Н. Бродского и И.Я. Чупахина. — Л.: Изд-во ЛГУ, 1977. — 360 с.

30. Шёнфилд Дж. Математическая логика. — М.: Наука, 1975. — 528 с.