- •Предмет логики как науки.
- •Мышление как объект и инструмент познания.
- •Понятие логической формы. Истинность и правильность мысли.
- •Язык как знаковая система. Принципы отношения именования.
- •Семантические категории языковых выражений.
- •Объем и содержание понятий, операции ограничения и обобщения понятий.
- •Виды понятий.
- •Отношения между понятиями.
- •Определение понятий и виды определений. Приемы, сходные с определением.
- •Правила определения. Ошибки в определениях.
- •Деление понятий и его виды.
- •13. Правила деления и ошибки, возможные при делении.
- •15. Суждение как форма мышления. Суждение и предложение.
- •16. Простые суждения и их виды.
- •17. Категорические суждения. Объединенная классификация суждений.
- •18. Распределенность терминов в категорических суждениях. Условия истинности категорических суждений.
- •19. Отношения между простыми суждениями. ≪Логический квадрат≫.
- •20. Сложные суждения и их виды. Логическая форма сложных суждений.
- •21. Семантические таблицы истинности.
- •22. Отношения между сложными суждениями. Понятие логического
- •23. Основные законы логики.
- •24. Рассуждение, его структура. Характеристика умозаключения и его
- •25. Отличительные черты дедуктивных умозаключений и их роль в
- •26. Силлогистический вывод. Непосредственные умозаключения, их
- •2. Обращение.
- •27. Простой категорический силлогизм. Структура, термины и правила силлогизма.
- •29. Энтимема. Способы образования и проверки энтимем.
- •30. Сложные силлогизмы (полисиллогизмы и сориты).
- •31. Условно-категорические умозаключения, их использование при
- •32. Чисто условные умозаключения, их роль в доказательстве.
- •33. Разделительно-категорические умозаключения, условия правиль-
- •34. Дилеммы, их виды и правильные формы.
- •35. Недедуктивные умозаключения, их виды и роль в познании.
- •36. Индукция как метод познания. Индуктивные умозаключения.
- •37. Причинные отношения. Типичные ошибки, возникающие при анализе причинных связей.
- •38. Методы сходства и различия. Объединенный метод.
- •39. Методы сопутствующих изменений и остатков.
- •40. Умозаключения по аналогии, их структура и виды. Аналогия и
- •43. Виды опровержения.
- •44. Правила по отношению к тезису: возможные ошибки и уловки.
- •46. Правила по отношению к демонстрации и возможные ошибки.
- •47. Софизмы и парадоксы, их роль в развитии знания.
- •48. Условия и источники возникновения логики.
- •49. Аристотелевская логика, ее роль в развитии науки и культуры.
- •50. Развитие методов дедукции и индукции в Новое время.
- •51. Символическая логика и создание искусственных языков.
- •52. Основные формы теоретического знания.
21. Семантические таблицы истинности.
р
|
q
|
PAq
|
pvq
|
pVVq
|
P--»q
|
p=q
|
и
|
И
|
И
|
И
|
Л
|
И
|
И
|
и
|
Л
|
Л
|
И
|
И
|
Л
|
Л
|
л
|
И
|
л
|
И
|
И
|
И
|
Л
|
л
|
Л
|
л
|
Л
|
л
|
И
|
И
|
22. Отношения между сложными суждениями. Понятие логического
Следования
Сложные суждения, как и простые, могут быть сравнимыми и несравнимыми.
Несравнимые — это суждения, которые не имеют общих пропозициональных переменных. Например, р А q и m А n.
Сравнимые — это суждения, которые имеют одинаковые пропо-зиционные переменные (составляющие) и различаются логическими связками, включая отрицание. Например, сравнимыми являются следующие два суждения: «Норвегия или Швеция имеют выход в Балтийское море» (р v q ); «Ни Норвегия, ни Швеция не имеют выхода в Балтийское море» (
1 р А 1 q)
Отношение совместимости.
К совместимым относятся такие сравнимые суждения, которые одновременно могут быть истинными. Как и в случае простых суждений, различают три вида совместимости сложных суждений:
эквивалентность, частичная совместимость и подчинение.
1. Эквивалентные — это суждения, которые принимают одни и те значения, т.е. одновременно являются либо истинными, либо ложными . «=_ 3 тире в круге»
2. Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными. «V в круге»
3. Подчинение между суждениями имеет место в том случае, когда при истинности подчиняющего подчиненное всегда будет истинным. (---»стрелка в круге)
Отношение логического подчинения, позволяющее по истинности подчиняющего суждения определить истинность подчиненного, составляет основу фундаментального в науке логики понятия логического следования, регулирующего все виды рассуждений.
Отношение несовместимости.
Несовместимыми являются суждения, которые одновременно не могут быть истинными. Из двух видов несовместимости одна — противоположность, другая —противоречие.
Противоположность — отношение между суждениями, которые одновременно не могут быть истинными, но могут быть одновременно ложными.
2. Противоречие — отношение между суждениями, которые одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным.
23. Основные законы логики.
В логике можно выделить четыре основных закона, которые выражают коренные свойства логического мышления – его определенность, непротиворечивость, последовательность, обоснованность. К данным законам относятся: закон тождества, непротиворечия, исключенного третьего, достаточного основания. Они действуют в любом рассуждении, в какой бы логической форме оно ни протекало и какую бы логическую операцию ни выполняло.
Закон тождества. Любая мысль в процессе рассуждения должна иметь определенное, устойчивое содержание. Это коренное свойство мышления – его определенность – выражает закон тождества: всякая мысль в процессе рассуждения должна быть тождественна самой себе (А есть А, или А = А, где А – любая мысль). Нельзя отождествлять различные мысли, нельзя тождественные мысли принимать за нетождественные. Нарушение этого требования в процессе рассуждения часто бывает связано с различным выражением одной и той же мысли в языке. С другой стороны, употребление многозначных слов может привести к ошибочному отождествлению различных мыслей. Отождествление различных понятий представляет собой логическую ошибку – подмену понятий, которая может быть как неосознанной, так и преднамеренной. 2) Закон непротиворечия. Логическое мышление характеризуется непротиворечивостью: два несовместимых друг с другом суждения не могут быть одновременно истинными; по крайней мере одно из них необходимо ложно. Данный закон формулируется следующим образом: неверно, что А и не-А (не могут быть истинными две мысли, одна из которых отрицает другую). Закон непротиворечия действует в отношении всех несовместимых суждений. 3) Закон исключенного третьего. Данный закон действует только в отношении противоречащих (контрадикторных) суждений. Он формулируется следующим образом: два противоречащих суждения не могут одновременно быть ложными, одно из них необходимо истинно: А есть либо В, либо не-В.. Противоречащие суждения – это суждения, в одном из которых что-либо утверждается (или отрицается) о каждом предмете некоторого множества, а в другом – отрицается (утверждается) о некоторой части этого множества. 4) Закон достаточного основания. Требование доказанности, обоснованности мысли выражает данный закон: всякая мысль признается истинной, если она имеет достаточное основание. Если есть В, то есть и его основание А. Достаточным основанием мыслей может быть личный опыт человека. Истинность некоторых суждений подтверждается путем их непосредственного сопоставления с фактами действительности. Достаточным основанием какой-либо мысли может быть любая другая, уже проверенная и установленная мысль, из которой с необходимостью вытекает истинность данной.