- •Тема1. Понятие о логике. Логические категории
- •1.1 Логика как наука
- •1.2 Общая характеристика имени
- •1.3 Классификация имён
- •Отношения между именами
- •1.5 Логические операции с именами
- •Тема 2. Понятие о логической форме и логическом законе
- •2.1 Понятие о логической форме (структуре) мысли
- •2.2 Понятие о логическом законе
- •Тема 3. Выводы в логике высказываний. Недедуктивные (вероятностные) выводы. Простой категорический силлогизм
- •3.1 Определение вывода
- •3.2 Классификация выводов
- •Правила простого категорического силлогизма
- •Виды недедуктивных выводов
- •1. Вероятностная конверсия
- •2. Вероятностная инверсия
- •3. Аналогия
- •Только s1, s2, s3 … Sn составляют класс s. Следовательно, каждый элемент класса s — р.
- •Только s1, s2, s3 … Sn составляют класс s. Вероятно, каждый элемент класса s — р.
- •Тема 4: «Виды высказываний. Законы логики высказываний. Отношения между логическими формами высказываний»
- •4.1 Общая характеристика высказывания
- •4.2 Структура высказывания
- •4.3 Классификация высказываний
- •3) По содержанию предиката:
- •4.4 Отношения между логическими формами высказываний
- •4) Закон достаточного основания
- •Тема 5: «Общая характеристика спора. Классификация споров. Способы рационального обоснования в споре. Приёмы и аргументы в споре».
- •5.1 Общая характеристика спора
- •Структура спора
- •5.3 Типология споров
- •5.4 Приёмы и аргументы в споре
- •1) Доказательство
- •Приёмы спора
- •Тезис должен оставаться неизменным на протяжении всего процесса обоснования.
- •3. Основания должны быть истинными, доказанными, не подлежащими сомнению.
- •4. Основания должны доказываться независимо от тезиса.
- •5. Доказательство должно строиться по общим правилам умозаключения.
- •Gov/Dokument/материалы по дисциплине «Логика»/лекции
3) По содержанию предиката:
суждение свойства (отражает принадлежность или непринадлежность предмету мысли того или иного свойства: «Прокурор – это человек, имеющий специальное юридическое образование»);
суждение отношения (выражает различные связи между предметами мысли по месту, времени, причинной зависимости: «Благополучие государства зависит от законов»);
суждение существования (указывает на факт наличия или отсутствия того или иного предмета мысли: «Нет преступления без указания о том в законе»)
Классификация сложных высказываний
1) Отрицанием высказывания А называется высказывание, обозначаемое А, которое истинно тогда, когда А ложно. Читается «не А», «неверно, что А». Пример: «Солнце – не звезда».
2) Конъюнкцией высказываний А и В называется высказывание, обозначаемое выражением А В, которое истинно тогда, когда А и В истинны. Читается «А и В». Может быть выражена союзами «а», «но», «да». Пример: «Он знал каждого в лицо и по имени».
3) Дизъюнкцией (слабой) называется высказывание, обозначаемое выражением А В, которое истинно тогда, когда хотя бы одно из выражений А и В истинно. Читается «А или В». Союз «или» имеет неисключающее значение, входящие в высказывания имена не исключают друг друга. Пример: «Договор купли-продажи может быть заключён в устной или письменной форме».
Дизъюнкцией (сильной) называется высказывание, обозначаемое выражением А В, которое истинно тогда, когда лишь одно из выражений А и В истинно. Читается «либо А, либо В». Союз «или» употребляется в исключающем смысле. Пример: «Всякое высказывание либо истинно, либо ложно».
4) Импликацией называется высказывание, обозначаемое выражением А В, которое ложно тогда, когда А истинно, а В ложно. Читается: «Если А, то В». Пример: «Если в обращении появляется избыток бумажных денег, то они обесцениваются».
5) Эквиваленцией высказываний А и В называется высказывание, обозначаемое выражением А В, которое истинно тогда, когда логические выражения А и В совпадают. Читается: «А тогда и только тогда, когда В». Пример: «Монета падает орлом тогда и только тогда, когда падает решкой».
4.4 Отношения между логическими формами высказываний
Основу отношений между суждениями составляет их сходство по содержанию, выражаемое в таких логических характеристиках, как смысл и истинность суждений. В соответствии с этим логические отношения устанавливаются не между любыми, а лишь между сравнимыми суждениями, т.е. теми, которые имеют общий смысл.
Сравнимы среди простых суждений те, что имеют одинаковые термины и различаются по количеству и по качеству, а несравнимы те, что имеют различные субъекты и предикаты.
Сравнимые суждения делятся па совместимые и несовместимые. Совместимыми являются суждения, которые одновременно могут быть истинными. Различают три вида совместимости.
Эквивалентные суждения выражают одну и ту же мысль в различной форме. Пример: «Водитель автомобиля совершил аварию» и «Причина аварии заключается в действиях водителя автомобиля».
Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными. Иллюстрируют эти отношения суждения: «Некоторые свидетели правдивы» и «Некоторые свидетели не являются правдивыми».
3. Отношения подчинения характерны для суждений, которые имеют общий предикат, а понятия, выражающие субъекты двух таких суждений, находятся в отношении логического подчинения. В отношениях подчинения находятся суждения: «Ни один вопрос обучаемого не должен оставаться без ответа» и «Некоторые вопросы обучаемого не должны остаться без ответа». В данном случае первое суждение будет подчиняющим, а второе — подчиненным. При истинности подчиняющего подчиненное всегда будет истинным. А в целом для таких суждений характерны следующие зависимости:
при истинности общего суждения частное всегда будет истинным;
при ложности частного суждения общее суждение также будет ложным;
при ложности общего суждения частное неопределенно;
при истинности подчиненного частного суждения общее неопределенно.
Перейдем к рассмотрению отношений между несовместимыми суждениями. Несовместимыми являются суждения, которые одновременно не могут быть истинными. Различают два вида несовместимости:
1) Несовместимость как противоположность характерна для суждений, выражающих противоположные мысли. Эти суждения не могут быть одновременно истинными, но могут быть одновременно ложными, как, например, суждения: «Все адвокаты - юристы» и «Ни один адвокат не является юристом».
Истинность одного из противоположных суждений определяет ложность другого. К примеру, истинность суждения «Все граждане обязаны соблюдать закон» сразу же делает ложным суждение «Ни один гражданин не обязан соблюдать закон». При ложности одного из противоположных суждений другое остается неопределенным. Оно может быть как истинным, так и ложным.
2) Противоречие как несовместимость характерно для суждений, исключающих друг друга. Они одновременно не могут быть пи истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным, как, например, суждения «Все судьи справедливы» и «Некоторые судьи несправедливы».
Отношение между простыми суждениями обычно иллюстрируют с помощью схемы, получившей название логического квадрата. Логический квадрат (квадрат противоположностей) — это диаграмма, служащая для мнемонического запоминания логических отношений между видами суждений по объединенной классификации.
Сравнимые среди сложных — это суждения, которые имеют одинаковые составляющие и различаются типами логических связок, включая отрицание, например: «Норвегия или Швеция является членами НАТО» и «Неверно, что Норвегия и Швеция являются членами НАТО». Сравнивать эти суждения можно потому, что у них общие составляющие, хотя по логической форме они отличаются друг от друга: первое из них разделительное суждение, второе — отрицание соединительного суждения. Наличие общих составляющих позволяет сопоставить их по смыслу и установить зависимости по истинности.
Несравнимыми среди сложных являются суждения, которые частично или полностью различаются составляющими их простыми суждениями. Например, нельзя сравнивать следующие два суждения: «Отговорила роща золотая березовым веселым языком, и журавли, печально пролетая, уж не жалеют больше ни о ком» (С. Есенин) и «Ночевала тучка золотая на груди утеса-великана» (М.Ю.Лермонтов). Различия в составляющих не позволяют установить смысловую и истинную зависимость между суждениями.
4.5 Законы логики высказываний
1) Закон тождества
Сущность закона: каждая объективно истинная и логически правильная мысль или понятие о предмете должны быть определенными и сохранять свою однозначность па протяжении всею рассуждения и вывода. Таким образом, закон тождества требует, чтобы в процессе рассуждения всякая мысль была тождественной самой себе, а разные мысли никогда не отождествлялись.
2) Закон противоречия
Сущность закона: два несовместимых друг с другом суждения не могут быть одновременно истинными; по крайней мере, одно из них ложное.
3) Закон исключённого третьего
Сущность закона: два противоречащих суждения об одном и том же предмете, взятом в одно и то же время и в одном и том же отношении, не могут быть вместе истинными или ложными. Одно — необходимо истинно, а другое — ложно; третьего быть не может.
Подобно закону противоречия, закон исключенного третьего отражает последовательность и непротиворечивость мышления. Он не допускает противоречий в мыслях и устанавливает, что два противоречащих суждения не могут быть не только одновременно истинными, но и одновременно ложными. Если ложно одно из них, то другое необходимо истинно. Например, при ложности суждения «Каждая область общественных отношений регулируется определенными нормами права» суждение «Некоторые области общественных отношений нормами права не регулируются» будет истинным.