Суждения и виды суждений
1.Сложные суждения.
Сложные суждения образуются путём соединения между собой простых суждений при помощи логических союзов. Существует множество таких союзов, но главными из них в современной логике считаются следующие: конъюнкция, исключающая и не исключающая дизъюнкции, импликация и эквивалентность. В естественном языке они выражаются при помощи грамматических союзов «и», «либо…, либо», «или», «если…, то», «тогда, и только тогда». Не следует полностью отождествлять логические и грамматические союзы, в логике они приобретают специфический смысл.
Каждый из союзов бинарен, то есть соединяет между собой два суждения. Например: «Центральной улицей г Харькова является Сумская, и каждый турист может её посетить»; «Зимой часто выпадает снег или дует холодный ветер»; «Либо данное число делится на два, либо оно является нечётным»; «Ели принять таблетку аспирина, то состояние больного может улучшится»; «Треугольник является равносторонним тогда и только тогда, когда он равноуголен».
Логические союзы могут соединятся не только простые суждения, но и простые со сложными и сложные между собой, при этом они образуют весьма протяжённые конструкции. В состав таких суждений входит по нескольку логических союзов, но каждый из них соединяет только два каких-нибуть суждения. В таких конструкциях различают связь между главными и подчинёнными логическими союзами. Например, в суждении: «Если треугольник прямоугольный, то он не остроугольный и не тупоугольный» союз «если» является главным, а союз «и» - подчинённым.
2.Противоположные понятия.
Друг-недруг,враг.
Требовательность- снисходительность,мягкость.
3.Виды умозаключений.
Все умозаключения принято делить на виды по различным основаниям: по составу, по количеству посылок, по характеру логического следования и степени общности знаний в посылках и заключении.
По составу все умозаключения делятся на простые и сложные. Простыми называются умозаключения, элементы которых не являются умозаключениями. Сложными называют умозаключения, состоящие из двух или более простых умозаключений.
По количеству посылок умозаключения делятся на непосредственные (из одной посылки) и опосредованные (из двух и более посылок).
По характеру логического следования все умозаключения делятся на необходимые (демонстративные) и правдоподобные (недемонстративные, вероятные). Необходимые умозаключения - такие, в которых истинное заключение обязательно следует из истинных посылок (т. е. логическое следование в таких выводах представляет собой логический закон). К необходимым умозаключениям относятся все виды дедуктивных умозаключений и некоторые виды индуктивных («полная индукция»).
Правдоподобные умозаключения - такие, в которых заключение следует из посылок с большей или меньшей степенью вероятности. Например, из посылок: «Студенты первой группы первого курса сдали экзамен по логике», «Студенты второй группы первого курса сдали экзамен по логике» и т. п. следует «Все студенты первого курса сдали экзамен по логике» с большей или меньшей степенью вероятности (что зависит от полноты наших знаний обо всех труппах студентов первого курса). К правдоподобным умозаключениям относятся индуктивные и умозаключения по аналогии.
Дедуктивное умозаключение (от лат. deductio - выведение) - такое умозаключение, в котором переход от общего знания к частному является логически необходимым.
Путем дедукции получаются достоверные выводы: если истинны посылки, то будут истинны и заключения.
Пример:
Если человек совершил преступление, то он должен быть наказан.
Петров совершил преступление.
Петров должен быть наказан.
Индуктивное умозаключение (от лат. inductio - наведение) - такое умозаключение, в котором переход от частного знания к общему осуществляется с большей или меньшей степенью правдоподобности (вероятности).
Например:
Кража - уголовное преступление.
Грабеж - уголовное преступление.
Разбой — уголовное преступление.
Мошенничество - уголовное преступление.
Кража, грабеж, разбой, мошенничество - преступления против собственности.
Следовательно, все преступления против собственности – уголовные преступления.
Поскольку в основу данного заключения положен принцип рассмотрения не всех, а лишь некоторых предметов данного класса, то умозаключение называется неполной индукцией. В полной индукции обобщение происходит на основе знаний всех предметов исследуемого класса.
В умозаключении по аналогии (от греч. analogia - соответствие, сходство) на основе сходства двух объектов по каким-то одним параметрам делается вывод об их сходстве по другим параметрам. Например, на основе сходства способов совершения преступлений (кражи со взломом) можно сделать предположение о том, что эти преступления совершались одной и той же группой преступников.
Все виды умозаключений могут быть правильно построенными и неправильно построенными.
Суждения.
Простые суждения — суждения, составными частями которых являются понятия. Простое суждение можно разложить только на понятия.
Сложные суждения — суждения, составными частями которых являются простые суждения или их сочетания. Сложное суждение может рассматриваться как образование из нескольких исходных суждений, соединенных в рамках данного сложного суждения логическими союзами (связками). От того, при помощи какого союза связываются простые суждения, зависит логическая особенность сложного суждения.
Простое (атрибутивное) суждение — это суждение о принадлежности предметам свойств (атрибутов), а также суждения об отсутствии у предметов каких-либо свойств. В атрибутивном суждении могут быть выделены термины суждения — субъект, предикат, связка, квантор.
Субъект суждения — это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее).
Предикат суждения — мысль об известной части содержания предмета, которое рассматривается в суждении (логическое сказуемое).
Логическая связка — мысль об отношении между предметом и выделенной частью его содержания (иногда только подразумевается).
Квантор — указывает, относится ли суждение ко всему объёму понятия, выражающего субъект, или только к его части: «некоторые», «все» и т. п.
Состав сложного суждения
Сложные суждения состоят из ряда простых («Человек не стремится к тому, во что не верит, и любой энтузиазм, не подкрепляясь реальными достижениями, постепенно угасает»), каждое из которых в математической логике обозначается латинскими буквами (A, B, C, D… a, b, c, d…). В зависимости от способа образования различают конъюнктивные, дизъюнктивные, импликационные, эквивалентные и отрицательные суждения.
Дизъюнктивные суждения образуются с помощью разделительных (дизъюнктивных) логических связок (аналогичных союзу «или»). Подобно простым разделительным суждениям, они бывают:
нестрогими (нестрогая дизъюнкция), члены которой допускают совместное сосуществование («то ли…, то ли…»). Записывается как ;
строгими (строгая дизъюнкция), члены которой исключают друг друга (либо одно, либо другое). Записывается как .
Импликационные суждения образуются с помощью импликации, (эквивалентно союзу «если …, то»). Записывается как или . В естественном языке союз «если …, то» иногда является синонимом союза «а» («Погода изменилась и, если вчера было пасмурно, то сегодня ни одной тучи») и, в таком случае, означает конъюнкцию.
Конъюнктивные суждения образуются с помощью логических связок сочетания или конъюнкции (эквивалентно запятой или союзам «и», «а», «но», «да», «хотя», «который», «зато» и другим). Записывается как .
Эквивалентные суждения указывают на тождественность частей суждения друг другу (проводят между ними знак равенства). Помимо определений, поясняющих какой-либо термин, могут быть представлены суждениями, соединенными союзами «если только», «необходимо», «достаточно» (например: «Чтобы число делилось на 3, достаточно, чтобы сумма цифр, его составляющих, делилась на 3»). Записывается как (у разных математиков по-разному, хотя математический знак тождества всё-таки ).
Отрицательные суждения строятся с помощью связок отрицания «не». Записываются либо как a ~ b, либо как a b (при внутреннем отрицании типа «машина не роскошь»), а также с помощью черты над всем суждением при внешнем отрицании (опровержении): «не верно, что …» (a b).
Классификация простых суждений
По качеству
Утвердительные — S есть P. Пример: «Люди пристрастны к самим себе».
Отрицательные — S не есть P. Пример: «Люди не поддаются лести».
По объёму
Общие — суждения, которые справедливы относительно всего объёма понятия (Все S суть P). Пример: «Все растения живут».
Частные — суждения, которые справедливы относительно части объема понятия (Некоторые S суть P). Пример: «Некоторые растения суть хвойные».
По отношению
Категорические — суждения, в которых сказуемое утверждается относительно субъекта без ограничений во времени, в пространстве или обстоятельствах; безусловное суждение (S есть P). Пример: «Все люди смертны».
Условные — суждения, в которых сказуемое ограничивает отношение каким-либо условием (Если А есть В, то С есть D). Пример: «Если дождь пойдет, то почва будет мокрая». Для условных суждений
Основание — это (предыдущее) суждение, которое содержит условие.
Следствие — это (последующее) суждение, которое содержит следствие.
Распределено — когда в суждении подлежащее (S) или сказуемое (P) берется в полном объеме.
Не распределено — когда в суждении подлежащее (S) или сказуемое (P) берется не в полном объёме.
Суждения А (обще-утвердительные суждения) Распределяет свое подлежащее (S), но не распределяет свое сказуемое (P)
Объем подлежащего (S) меньше объема сказуемого (Р)
Прим.: «Все рыбы суть позвоночные»
Объемы подлежащего и сказуемого совпадают
Прим.: «Все квадраты суть параллелограммы с равными сторонами и равными углами»
Суждения Е (обще-отрицательные суждения)
Распределяет как подлежащее (S), так и
сказуемое (P)
В этом суждении мы отрицаем всякое совпадение между подлежащим и сказуемым
Прим.: «Ни одно насекомое не есть позвоночное»
Суждения I (частно-утвердительные суждения)
Ни подлежащие (S), ни сказуемые (P) не распределены
Часть класса подлежащего входит в класс сказуемого.
Прим.: «Некоторые книги полезны»
Прим.: «Некоторые животные суть Позвоночные»
Суждения О (частно-отрицательные суждения)
Распределяет свое сказуемое (Р), но не
распределяет свое подлежащее (S) В этих
суждениях мы обращаем внимание на то,
что есть несовпадающего между ними (заштрихованная
область)
Прим.: «Некоторые животные не суть позвоночные (S)»
Прим.: «Некоторые змеи не имеют ядовитых зубов (S)»
Умозаключение – это форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение.
Существование такой формы в нашем мышлении, как понятия и суждения, обусловлено самой объективной действительностью. Если в основе понятия лежит предметный характер действительности, а в основе суждения – связь (отношение) предметов, то объективную основу умозаключения составляет более сложная взаимная связь предметов, их взаимные отношения. Так, если один класс предметов (А) входит целиком в другой (В), но не исчерпывает его объема, то это означает необходимую обратную связь: более широкий класс предметов (В) включает в себя менее широкий (А) как своючасть, но не сводится к нему.
Например: “Все космонавты – мужественные люди”. Это означает: “Некоторые мужественные люди – космонавты”. Или более сложный случай взаимосвязи предметов мысли: если один класс предметов (А) входит в другой (В), а этот, в свою очередь, входит в третий (С), то отсюда следует, что первый (А) входит в третий (С).
Пример: “Если А. Леонов – космонавт, а все космонавты - мужественные люди, то А. Леонов – мужественный человек”.
Такова объективная возможность умозаключений: это структурный слепок с самой действительности, но в идеальной форме, в форме структуры мысли. А их объективная необходимость, как и понятий и суждений, тоже связана со всей практикой человечества. Удовлетворение одних потребностей людей и возникновение на этой основе других требует прогресса общественного производства, а он, в свою очередь, немыслим без прогресса знаний. Необходимым связующим звеном в осуществлении этого прогресса и выступают умозаключения как одна из форм перехода от известных знаний к новым.
- Суждения как форма мышления
- Сузір’я Гончі Пси
- Суицид
- Суицид
- Суицид
- Суицидальное поведение
- Суицидальное поведение
- Суждение как форма мышления
- Суждение как форма мышления
- Суждение как форма мышления
- Суждение как форма мышления. Логическая структура суждения и его виды
- Суждение как форма мышления. Простые суждения
- Суждение: понятия и виды
- Суждение, Предложение ,Высказывание