Логика Суждения (высказывания)

Суждения Суждение – формы мысли, в которой через связь понятий утверждается или отрицается что-либо о чем-либо. Высказывания (суждения): О связях между субъектами суждений (корреляционные) О свойствах (предикатах) субъектов суждений (атрибутивные) О существовании субъекта суждения (экзистенциальные) S суть P ПонятиеСуждениеУмозаключение

Классификация суждений По количеству ОбщиеЧастныеЕдиничные По качеству Положительные Отрицательные Всякий S суть P Некоторые S суть P Этот S суть P Ни один S не суть P Некоторые S не суть P Этот S не суть P

Сложные суждения. Связи между суждениями СужденияПростые (А)(S суть P)Сложные (А,В) (S суть P) Связи между суждениями:

Истинность суждений. 1. Любое суждение может быть истинным или ложным. 2. Истинность простого суждения – соответствие его реальной жизни. 3. Истинность сложного суждения определяется по истинности его составляющих. Вариантов всего четыре: Тезисы формальной логики: АВ¬АА Ʌ ВА ˅ В А В ИИ Л ИИЛИИ ИЛЛИИЛЛ ЛИ И ЛИИИЛ ЛЛЛЛЛИИ «Таблица истинности»

Иллюстрация. Истинность сложного суждения «Вы проголосуете за меня, и никогда не узнаете, чем я раньше занимался. Но даже если узнаете, то все равно проголосуете» АВ¬B¬B(А Ʌ ¬B)¬АВ ¬А¬ (В ¬А)(А Ʌ ¬B) Ʌ ¬ (В ¬А) ИИЛЛЛЛИЛ ИЛИИЛИЛЛ ЛИЛЛИИЛЛ ЛЛИЛИИЛЛ Всегда ложное суждение! Вы проголосуете за меня (А) и не узнаете, чем я занимался (В) (А Ʌ ¬B) Ʌ ¬ (В ¬А) Неверно, что если Вы узнаете, чем я занимался (В), то не проголосуете за меня (А) (А Ʌ ¬B) ¬ (В ¬А)

Логические законы Закон исключения третьего: суждение либо истинно, либо нет. Это суждения, которые истинны всегда (¬A V B) (¬(B Ʌ ¬C)) ¬(A Ʌ ¬C)¬(А Ʌ ¬В) Ʌ ¬(¬(¬С ¬B) Ʌ ¬(A Ʌ ¬C))... А !!!!!! А V ¬А ¬ (А Ʌ ¬А) Закон достаточного основания: любая мысль (тезис) для того, чтобы иметь силу, обязательно должна быть доказана (обоснована) какими-либо аргументами (основаниями), причем эти аргументы должны быть достаточными для доказательства исходной мысли, т.е. она должна вытекать из них с необходимостью (тезис должен с необходимостью следовать из оснований). Закон тождества: любая мысль (любое рассуждение) обязательно должна быть равна (тождественна) самой себе. Запрещено путать и подменять понятия. Закон противоречия: если одно суждение что-то утверждает, а другое то же самое отрицает об одном и том же объекте, в одно и то же время и в одном и том же отношении, то они не могут быть одновременно истинными.

Когда формальная логика не работает Парадокс – логически неразрешимая ситуация. Софизмы – суждения с преднамеренной логической ошибкой Паралогизм - логические ошибки, не допускаемые специально. парадокс лжеца парадокс парикмахерапарадокс гонорара антиномииапории От парадоксов отличаются ошибки в логике