Список логических символов

A, B, C...– символы, обозначающие термины

p, q, r... – символы, обозначающие суждения

~ – символ отрицания

Ù – символ коньюнкции

Ú – символ дизъюнкции

Ú – символ строгой дизъюнкции

® – символ импликации

– символ репликации

«, º – символ эквиваленции (тождества)

L – символ оператора логической необходимости

M – символ оператора логической возможности

C – символ оператора логической случайности

 – символ оператора онтологической необходимости

à – символ оператора онтологической возможности

Ñ – символ оператора онтологической случайности

V – символ оператора доказанности

F – символ оператора опровергнутости

P – символ оператора вероятности

F(d) – символ оператора деонтического запрета

O(d) – символ оператора разрешения

И – символ значения истинности «истинно»

Л – символ значения истинности «ложно»

Список рекомендуемой литературы

Основная литература

1. Гетманова, А. Д. Логика: учебник для вузов / А. Д. Гетманова. – 15-е изд., стер. – М.: Омега-Л, 2010. – 415 с. (ЭБС ZNANIUM.COM)

2. Ивин, А. А. Логика: учебник для вузов / А. А. Ивин. – М.: Юрайт, 2011. – 302 с.

3. Кириллов, В. И. Логика: учебник для вузов / В. И. Кириллов, А. А. Старченко. – М.: Проспект, 2011. – 257 с.

4. Логика: учебник для вузов / под ред. А. И. Мигунова, И. Б. Микиртумова, Б. И. Федорова. – М.: Проспект, 2010. – 675 с.

Дополнительная литература

5. Барбашина, Э. В. Логика: учеб.-практ. пособие. – Новосибирск: СибУПК, 2009. – 32 с.

5. Бочаров, В. А. Основы логики: учебник / В. А. Бочаров, В. И. Маркин. М.: Космополис, 2006. – 359 с.

6. Войшвилло, Е. К. Логика как часть теории познания и научной методологии: Фундаментальный курс / Е. К. Войшвилло М. Г. Дегтярев. ‑ М.: Наука, 2007. – 287 с.

7. Войшвилло, Е. К. Понятие как форма мышления. – М.: МГУ, 2009. – 169 с.

Перечень интернет-ресурсов

1. https://www.logic.ru/Russian/ – логика в России.

2. https://www.logic.ru/Russian/LogStud/index.html – электронный журнал «Логические исследования».

3. https://www.iph.ras.ru:8100/~logic/index.html – сектор логики Института Философии РАН).

4. https://logic.radio-msu.net/Russian/depart/ – кафедра логики философского факультета МГУ им М.В. Ломоносова.

5. https://markov.math.msu.ru/rus/logic.htm – кафедра мат. логики и теории алгорифмов (мех.-мат. МГУ).

6. https://logic.pdmi.ras.ru/ – лаборатория логики Математического института им. В. А. Стеклова, СПб.

7. https://www.math.nsc.ru/LBRT/logic/l1win.html – лаборатория математической логики Института математики им. С. Л. Соболева, Новосибирск.

8. https://www.csa.ru/diclirus/ – логика в России в XX веке (о тех, кто ею занимается).

9. https://www.rbjones.com/rbjpub/ – фактазия – энциклопедия по логике, эпистемологии, философии науки (на англ. яз.).

10. https://world.logic.at/ – «Математическая логика по всему миру» – журналы и препринты по логике, логические группы, организации и т. п. (на англ.яз.).

11. https://ntl.narod.ru/logic/index.html – логика для всех.

12. https://psi-logic.shadanakar.org/index.html – психологика (сайт Мирослава Войнаровского). Выложены оригинальные учебники по алгебре логики, исчислению высказываний и др. – всё с точки зрения программиста).

13. https://logic.philos.msu.ru/texts/markin.pdf – В. И. Маркин «Логика предикатов», статья из «Новой философской энциклопедии» (в формате PDF).

14. https://ntl.narod.ru/logic/course/index.html – учебные материалы по курсу логики (определения, задачи, примеры и т. д.).

15. https://www.lewiscarroll.org/carroll.html – сайт, посвященный Льюису Кэрроллу.

16. https://ntl.narod.ru/logic/smullyan/name/index.html – книги Р. Смаллиана (логические головоломки и парадоксы).

17. https://golovolomka.hobby.ru/ – головоломки для умных людей.

18. https://golovolomka.narod.ru/ – энциклопедия головоломок.

19. https://www.geocities.com/TimesSquare/Maze/8561/truefals.htm –логические головоломки.

20. https://www.caravan.ru/~stepler/ – логические задачи и головоломки.

21. https://forum.academ.org/index.php?showtopic=108181 – форум Новосибирского Академгородка «Логические парадоксы».