Если в состав суждения входит один субъект и один предикат, то такое суждение является простым. Простые суждения по объему субъекта и качеству связки делятся на 4 вида. Объем субъекта может быть общим (все) и частным (некоторые), а связка может быть утвердительной (есть, или является) и отрицательной (не есть, или не является). Как видим, на основе объема субъекта и качества связки можно выделить только четыре комбинации, которыми исчерпываются все виды простых суждений (все — есть, некоторые — есть, все — не есть, некоторые — не есть). Каждый из этих видов имеет свое название и условное обозначение.
Общеутвердительные суждения. Как явствует из названия, это суждения с общим объемом субъекта и утвердительной связкой: Все S есть Р, например: «Все школьники являются учащимися». Эти суждения обозначаются в логике латинской буквой А.
Частноутвердительные суждения. Название данного вида свидетельствует о том, что он представляет собой суждения с частным объемом субъекта и утвердительной связкой: Некоторые S есть Р, например: «Некоторые животные являются хищниками». Эти суждения обозначаются латинской буквой I.
Общеотрицательные суждения — это суждения с общим объемом субъекта и отрицательной связкой: Все S не есть Р (или Ни одно S не есть Р), например: «Все планеты не являются звездами» (или «Ни одна планета не является звездой»). Такие суждения обозначаются латинской буквой Е.
Частноотрицательные суждения — это суждения с частным объемом субъекта и отрицательной связкой: Некоторые S не есть Р, например: «Некоторые грибы не являются съедобными». Эти суждения обозначаются латинской буквой О.
Умозаключения, их виды (дедуктивные, индуктивные, по аналогии)
Умозаключение — это третья (после понятия и суждения) форма мышления, в которой из одного, или двух, или нескольких суждений, называемых посылками, вытекает новое суждение, называемое заключением, или выводом. В логике принято располагать посылки и вывод друг под другом и отделять посылки от вывода чертой:
В приведенном примере первые два суждения являются посылками, а третье — выводом. Понятно, что посылки должны быть истинными суждениями и должны быть связаны между собой. Если хотя бы одна из посылок ложна, то и вывод ложен:
Как видим, в приведенном примере ложность первой посылки приводит к ложному выводу, несмотря на то, что вторая посылка является истинной. Если посылки между собой не связаны, то вывод из них сделать невозможно. Дедуктивные умозаключения или дедукция (от лат. deductio — выведение) — это умозаключения, в которых из общего правила делается вывод для частного случая (из общего правила выводится частный случай).
Например:
Как видим, первая посылка представляет собой общее правило, из которого (при помощи второй посылки) вытекает частный случай в виде вывода: если все звезды излучают энергию, значит Солнце тоже ее излучает, потому что оно является звездой. В дедукции рассуждение идет от общего к частному, от большего к меньшему, знание сужается, в силу чего дедуктивные выводы достоверны, т.е. точны, обязательны, необходимы и т.п. Индуктивные умозаключения или индукция (от лат. inductio — наведение) — это умозаключения, в которых из нескольких частных случаев выводится общее правило (несколько частных случаев как бы наводят на общее правило). Например:
Как видим, первые три посылки представляют собой частные случаи, четвертая посылка подводит их под один класс объектов, объединяет их, а в выводе говорится обо всех объектах этого класса, т.е. формулируется некое общее правило (вытекающее из трех частных случаев). Легко увидеть, что индуктивные умозаключения строятся по принципу, противоположному принципу построения дедуктивных умозаключений. В индукции рассуждение идет от частного к общему, от меньшего к большему, знание расширяется, в силу чего индуктивные выводы, в отличие от дедуктивных, не достоверны, а вероятностны. Умозаключения по аналогии или просто аналогия (от греч. analogia — соответствие) — это умозаключения, в которых на основе сходства предметов (объектов) в одних признаках делается вывод об их сходстве и в других признаках. Например:
Как видим, сравниваются (сопоставляются) два объекта (планета Земля и планета Марс), которые сходны между собой в некоторых существенных, важных признаках (находиться в солнечной системе, иметь атмосферу и воду). На основе данного сходства делается вывод о том, что, возможно, эти объекты сходны между собой и в других признаках: если на Земле есть жизнь, а Марс во многом похож на Землю, то не исключено наличие жизни и на Марсе. Выводы аналогии, как и выводы индукции, вероятностны.
10. Простой категорический силлогизм - это дедуктивное умозаключение в котором из 2-х категорических суждений выводится новое категорическое суждение.
Первые 2 суждения называются посылками силлогизма. Эти посылки делят на большую и меньшую посылку. Теория силлогизма включает систему правил позволяющих определить,когда посылки влекут за собой вывод, а когда нет. Чтобы анализировать силлогизмы необходимо привести суждения к стандартной форме,определить термины силлогизма и их распределенность.
Понятия, которые входят в посылки и заключения являются как в простом суждении терминами данного силлогизма. В силлогизм входит 3 термина. Субъект заключения называется меньшим термином. Предикат заключения называется большим термином.
Термин,который встречается в посылках,но не встречается в заключении,называется средним термином (М).Большей посылкой называется суждение,в которое входит больший термин.
Рассматривая структуру силлогизма в соответствии с определением большей посылки видим, что большей посылкой является первая посылка. Меньшей посылкой называется посылка,в которую входит меньший термин.
1-ая фигура: M -P
S - M
S- P
2- ая фигура: P- M Все законопослушные гр-не уважают чужие права. Воры и мошенники не
S- M уважают чужие права Воры и мошенники не законопослушны.
S –P M -ув.чужие права; S – воры и мошенники; P -законопослушн.
Вторая фигура используется для опровержения каких-либо выводов.
3-ая фигура: M – P
M - S
4 – ая фигура: P – M
M- S
Правило терминов:
1) Средний термин должен быть распределен по крайней мере в одной из посылок.
Правила посылок:
1) Из двух отрицательных посылок нельзя вывести никакого заключения
2) Если одна из посылок отрицательная, то и заключение должно быть отрицательным.
3) Из двух частных посылок нельзя вывести никакого заключения.
4) Если одна из посылок частная, то и заключение должно быть частным.
12. Умозаключения из сложных суждений. Сущность, виды.
Суждение- это мысль в которой утверждается или отрицается наличие связей между предметами и их свойствами,а так же отношения их …..
Сложные суждения- совокупность простых суждений.
Умозаключение-это форма мышления,посредством которой из-за одного или нескольких суждений связанных между собой с логической необходимостью получается новое суждение.
Суждения из которых выводится новое суждение называется посылками умозаключения. Новое суждение называется заключением,а связь между посылками и заключениями называется выводом.
В определении умозаключения можно выделить 2 стороны:
1)Для получения истинного знание посылки, т.е исходные суждения должны быть истинными.
2)Вторая сторона состоит в том, что посылки должны быть связанны между собой так, чтобы на их основании можно было бы сделать истинное заключение.
Умозаключения различаются на:
· Индуктивные
· Дедуктивные
· По аналогии
Дедуктивные умозаключения- в них истинность посылок гарантирует истинность заключения.
Особенностью индуктивных умозаключений является то,что в правильно построенном умозаключении при истинных посыл как заключение может быть ложным.
Умозаключ. По аналогии – аналогия это не дедуктивное умозакл.,в котором суждение о присущности признака некоторого объекта выводится на основании сходства этого объекта с другим объектом.
Существуют различные типы дедуктивных умозакл.:
1)Условно- категорич. Умозаключ. 4 разновидности-модуса. (незнаю как их тут написать)
2)Чисто условные умозаключения. В таком закл.и посылки и закл.явл имплекативными.
3)Разделительно- категорическое суждение. У такого рода умозакл.посылки и умозакл. Явл дизъюнктивными,а остальная часть посылок –категорические посылки. Различают 3 модуса:
13.Сущность индукции,ее виды и условия … и что то там еще
Инду́кция (из лат. inductio «выведение, наведение»)
В логике
Индуктивное умозаключение — метод рассуждения от частного к общему.
Полная индукция — метод доказательства, при котором утверждение доказывается для конечного числа частных случаев, исчерпывающих все возможности. В полной индукции перечисляются все объекты из какой-либо группы и делается вывод обо всей этой группе. Например, если в посылках индуктивного умозаключения перечисляются все девять крупных планет Солнечной системы, то такая индукция является полной.
Неполная индукция — наблюдения за отдельными частными случаями наводит на гипотезу, которая нуждается в доказательстве. В неполной индукции перечисляются некоторые объекты из какой-либо группы и делается вывод обо всей этой группе. Например, если в посылках индуктивного умозаключения перечисляются не все девять крупных планет Солнечной системы, а только три из них, то такая индукция является неполной.
Понятно, что выводы полной индукции достоверны, а неполной — вероятностны, однако полная индукция встречается редко, и поэтому под индуктивными умозаключениями обычно подразумевается неполная индукция. Чтобы повысить степень вероятности выводов неполной индукции, следует соблюдать следующие важные правила. Необходимо подбирать как можно больше исходных посылок. Однако просто большего количества исходных посылок, как того требует рассматриваемое правило, для повышения степени вероятности индуктивного обобщения недостаточно. Допустим, тестирование пройдет немалое количество учащихся, но, волей случая, среди них окажутся одни только неуспевающие. В этой ситуации мы придем к ложному индуктивному выводу о том, что уровень успеваемости в данной школе очень низок. Поэтому первое правило дополняется вторым. Необходимо подбирать разнообразные посылки.
Первая ошибка, часто встречающаяся в неполной индукции, называется поспешным обобщением. Скорее всего, каждый из нас хорошо с ней знаком. Если некоторые объекты из какой-либо группы обладают неким признаком, то это вовсе не означает, что данным признаком характеризуется вся группа без исключения. Из истинных посылок индуктивного умозаключения может вытекать ложный вывод, если допустить поспешное обобщение.
Вторая ошибка носит длинное и, на первый взгляд, странное название: после этого, значит по причине этого (лат. post hoc, ergo propter hoc). В данном случае речь идет о том, что если одно событие происходит после другого, то это не означает необходимость их причинно-следственной связи. Два события могут быть связаны всего лишь временной последовательностью (одно — раньше, другое — позже). Когда мы говорим, что одно событие обязательно является причиной другого, потому что одно из них произошло раньше другого, то допускаем логическую ошибку.