Вопросы к зачету (экзамену)

1. Предмет и значение логики. Формальная логика и диалектика

2. Понятие как форма отражения действительности.

3. Логические операции с понятиями.

4. Виды понятий. Содержание. Объем понятий.

5. Суждение, общая характеристика. Виды суждений.

6. Логические отношения между суждениями.

7. Суждение и вопрос. Логика вопроса.

8. Модальность суждения.

9. Основные формально-логические законы.

10. Дедуктивные умозаключения.

11. Индуктивные умозаключения.

12. Определение (дефиниция). Виды определений.

13. Аналогия, виды аналогии.

14. Гипотеза, виды гипотез. Построение, проверка, способы доказательства гипотез.

15. Доказательство, его структура. Способы доказательства.

16. Правила доказательства и опровержения.

17. Опровержение, его виды.

18. Логика высказываний. Основные задачи логики высказываний.

19. Понятие логической формы. Значение формализации анализа логической формы.

20. Метаязык логики высказываний, его элементы.

21. Значение истинности высказывания. Принцип двузначности, его роль в логике высказываний.

22. Семантика логических знаков. Таблица истинности.

23. Метод установления значений истинности составных высказываний. Методы установления общезначимости.

24. Классификация высказываний с точки зрения их формальной структуры и значений истинности.

25. Понятие логического следования. Отношение логического следования и общезначимые формулы.

26. Техника доказательства (опровержения) утверждений о логическом следовании.

27. Правила вывода логики высказываний, их значение.

28. Применение теории и техники логики высказываний в анализе аргументов.

29. Общая характеристика полемики. Виды полемики.

30. Дискуссия как качественно высший тип полемики.

31. Поле аргументации и логические обязанности участника дискуссии.

32. Технические приемы ведения дискуссии.

33. Условия плодотворности дискуссии.

34. Эвристическая полемика, ее приемы («уловки», «диверсии»).

35. Номинальные и реальные, явные и неявные определения.

36. Правила определений, ошибки в определениях.

37. Индукция и дедукция.

38. Виды индуктивных методов познания.

39. Правильность, истинность, справедливость суждений.

40. Виды логических ошибок. Ошибки логического следования.

Приложения

Приложение 1

1. Логические константы

(связки, операторы, союзы)

Символ константы	Название	Союз естественного языка	Формула
~	Отрицание	«не», «неверно, что»…	~ A ~ (A v B)
^	Конъюнкция	«и», «а», «но», «да»	B ^C
v	Дизъюнкция	«или»	C v A
→	Импликация	«если…, то»…	B → C
↔	Эквивалентность	«если и только если», «тогда и только тогда»	F ↔E

2. Скобки

Скобки определяют способ связи простых высказываний в составном высказывании

A ^ (B → C). ~ A ^ B.

(A ^ B) → C. ~ (A ^B)

3. Таблицы истинности

составных высказываний (формул), образованных при помощи логических констант (~, ^, v, →, ↔)

Таблицы истинности наглядным образом определяют значение истинности составных высказываний (формул), образованных различными константами.

ОТРИЦАНИЕ

A	~	A
1	O	1
O	1	O

ДИЗЪЮНКЦИЯ КОНЬЮНКЦИЯ

А	А v В	В
1	1	1
1	1	О
О	1	1
О	О	О

А	А ^ В	В
1	1	1
1	О	0
О	О	1
О	О	О

Конъюнкция двух или более высказываний имеет значение истинности «истинно», (А ^ В) = 1, если и только если составляющие конъюнкцию высказывания равным образом истинны.

Дизъюнкция двух и более высказываний имеет значение истинности «ложно», (A v B) = 0, если и только если составляющие конъюнкцию высказывания равным образом ложны.

ИМПЛИКАЦИЯ

А	А → В	В
1	1	1
1	О	О
О	1	1
О	1	О

Импликация имеет значение истинности «ложно» в том и только в том случае, когда ее посылка (антецедент) истинна, а заключение (консеквент) ложно.

ЭКВИВАЛЕНТНОСТЬ

А	А ↔ В	В
1	1	1
1	О	О
О	О	1
О	1	О

Эквивалентность имеет значение истинности «истинно» тогда и только тогда, когда оба ее члена одновременно либо истинны, либо ложны.

Приложение 2

Постулаты связи отношения логического следования и общезначимых формул импликативного вида.

1. Будем считать, что А ╞ В, если и только если ╞ (А → В).

2. Будем считать, что из А ╞ В, если и только если

╞ (( ) → В).

А ╞ В

знак отношения логического следования между А (посылкой) и В (заключением).

╞ (А → В)

знак общезначимости формулы А → В.

например, из (В ↔ С), ~ С) ╞ ~ В,

если и только если ╞ ((( В ↔ С) ^ ~ С) → ~ В).

Приложение 3