Шпаргалка по "Логике"

Структура суждения 
Суждение

Субъект суждения ( S )Логическая связка Предикат суждения ( P ) 
Понятие о предмете Понятие о признаке  
Суждения суждений  
S ( не ) есть Р

С. дел. на прост. (не включ. др. сужд.) и слож. (включ. др. сужд.).

Классификация суждений по количеству и качеству 
Общеутвердительное – с. общее по кол-ву и утвердительное по кач-ву . Все S не суть Р 
Общеотрицательное – с. общее по кол-ву и отрицат-е по кач-ву . Ни одно S не суть Р 
Частноутвердительное – с. частное по кол-ву и утвердит-е по кач-ву . Некоторые S суть Р 
Частноотрицательное  - с. частное по кол-ву и отрицат-е по кач-ву . Некоторые S не суть Р 
Сложные с. 
Соединительное – с., сост-е из нескольких простых, связанных логической связкой "и". 
Разделительное – с., сост-е из нескольких простых, связанных логической связкой "или" 
Условное – с., сост-е из двух простых, связанных логической связкой "если ...., то...." 
Эквивалентное – с., вкл. в качестве составных два с., связанных двойной условной зависимостью, выражаемой логической связкой "если и только если ...., то ...."

Суждение это единица информации, которая может быть представлена как одним словом, так и целым предложением

13. Логические приемы образования понятий.

Лог. опер. над  понятиями наз. действие над этой формой мышления, в некоторой степени измен. её, с целью достижения какой-либо цели, результата.

Приемы:

Сравнением является мысленное установление сходства или различия предметов по существенным признакам.

Анализом называется мыслительное расчленение предметов на их составные части, выделение в них признаков.

Синтез – это мысленное соединение в единое целое частей предмета или его признаков, полученных в процессе анализа.

Абстрагирование – мысленное выделение одних признаков предмета и временное отвлечение от других.

 Обобщение – мысленное объединение отдельных предметов в некотором понятии, в процессе которого человек как бы отходит от конкретного многообразия предметов, отвлекается от множества деталей, чтобы глубже познать основное, наиболее важное.

Указанные логические приемы образования понятий взаимосвязаны и образуют единый процесс, результатом чего является мысль, содержание которой бесконечно разнообразно, но форма неизменно одна – понятие.

 

 

14. Суждение как форма мышления.

Форма мышления- спрособ связи элементов мысли, её строение, благодаря кот. содержание существует и отражает действительность.

Суждение- ф.м., в кот. утвержд. или отриц. связь между предметом и его признаком, отнош. между предметами, или фактически существ. предм., связь понятий, (S-P), субьет-предмет, и предикат-признак, связка, квантор (колич.). Связь выраж. посредством утв. или отр. свойства предм. (Кони –«есть» адвокат, Жаба- «не есть» мышь), Сужд. может быть либо ист. либо ложным; соотв. действит., либо нет; простым или сложным. «Иванов- сотрудник милиции».

Языкавой формой выражения сужд. яв. предложение. Единство сужд. и предлож. не означ. их полного совпадения. Всякое сужд выраж-ся в предлож, но не всякое предлож выражает сужд..

Сужд. выражает повеств. предлож..+ риторический вопрос; в них содержится сообщение о чём либо. Некотор повеств. предлож сужд. не выраж., вопрос. и побудж. предлож. также не яв. сужд..( Кто сегодня дежурный?, Иди и смотри!, их назначение в другом, те утв. и не отр. они не могут быть не ист., ни лож.). S и P  в предлож.часто опред. только лог. ударением.

Сужд. дел. на прост. (не вклю. др. сужд.) и слож. (вклю. др. сужд.).

 

 

15. Основные виды суждений. Состав и виды простых суждений.

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

Суждения делятся на простые и сложные.

Простым называется суждение, не включающее другие суждения.

В зависимости от того что утв. или  отр. в сужд. (принадлежность признака предм., отнош. между предм. или факт существ. пердмета) они дел. на:

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

2) Суждение с отношениями. В  этих суждениях говорится об  отношениях между предметами. (Всякий  протон меньше электрона. Отцы  старше своих детей.)

3) Суждение существования. В  этих суждениях утверждается  или отрицается существование  предметов действительности. (Существует атомный реактор в Чернобыле. Не существует беспричинных явлений.)

 

16. Объединенная классификация суждений по количеству и качеству. Распределенность терминов в суждении.

Суждение — представляет собой соединение субъекта с предикатом. Мысль, которая утверждает или отрицает наличие в мире определённой ситуации.

Классификация по качеству

утвердительные- S есть P «Люди пристрастны к самим себе»

отрицательные - S не есть P «Люди не поддаются лести»

Общая классификация:

общеутвердительные (A) — одновременно общие и утвердительные («Все S₊ суть P_-») ( Все люди боятся смерти)

частноутвердительное (I) — частное и утвердительное («Некоторые S_- суть P_-») (Некоторые люди имеют черный цвет кожи)

общеотрицательное (E) — общее и отрицательные («Ни один S₊ не суть P₊») (Ни один человек не всеведущ)

частноотрицательное (O) — частное и отрицательное («Некоторые S_- не суть P₊») (Некоторые люди не имеют черного цвета кожи)

Классификация по количеству

общие - это с., кот. справедливы относит-но всего объема понятия. (Все растения живут) Все S суть P

частные - это с, кот. справедливы относительно части объема понятия. «Некоторые растения суть хвойные» Некоторые S суть P

а) Единичные с. – «Гуттенберг  – изобретатель книгопечатания»

б) Индивидуальные с. –  относятся ко всему объему понятия

В атрибутивном с. выделяются термины с. — субъект S (логическое подлежащее) и предикат P (логическое сказуемое), а также связка (иногда только подразумевается), кванторное слово («некоторые», «все» и т. п.).

17. Основные виды сложных суждений и их истинность.

Сложным наз. сужд., сост. из нескольких простых сужд., связ. лог. связ., ист. сл. сужд. опред. ист. простых.

Основные виды сложных суждений: конъюнкция, дизъюнкция, импликация, эквиваленция, отрицание.

1.) соеденительные(коньюктивные)- с. сост. из нескольких простых. сужд. (коньюнктов) связан. связ. «и»: а, но, а также, как и, хотя, однако и др..

Истинно при истинности все сост. его коньюнктов и ложно при лож. хотя бы одного коньюнкта.

2.) разделительные(дизьюнкт.)- сужд., сост. из нескольких прост. сужд. (дизьюнктов), связ-х лог. связкой «или»: или, либо, или-или, либо-либо. 

Истинно при ист. одного и лож. другого, ложно при ист./лож. обоих дизьюнктов.

3.) условные (импликат.)- наз. сужд., сост. из двух прост сужд., связ-х лог. связкой «если…, то…»: там, где; тогда, когда; постольку, поскольку.

Истинно во всех случаях, кроме ист. предшеств. и лож. послед.

4.) эквивалентные (двойная импликация)- сужд. включ. в кач. сост. два прост. сужд., связ двойной (прямой и обратной) условной завис. ,выраж. лог. связ. «если, и только если…, то…»: лишь при условие что…, то…; в то и только том случае когда…, тогда…; тогда и только тогда…, когда….

Истинность одного достаточна для признания ист. другого, отнош. между ними характ. как необходимое.

 

 

18. Логические отношения между простыми суждениями.

Отношения между простыми с. обычно изображают с помощью схемы - логического квадрата. Логический квадрат (квадрат противоположностей) - это диаграмма, служащая для мнемонического запоминания логических отношений между видами суждений по объединенной классификации.

Вершины квадрата обозначают вид с. по объединенной классификации А , Е , 0 , I. Стороны и диагонали символизируют логические отношения между простыми суждениями (кроме эквивалентных). Верхняя сторона есть О отношение А и Е - противоположность (контрарность);

нижняя сторона - отношение  между I и O - частичная совместимость(субконтрарность);

две вертикальные стороны - отношения между А и I (левая), Е и О (правая) - подчинение;

диагонали - отношения  между А и О, Е и I- противоречие(контрадикторность).

Где А-общеутвердительные с.  I-частноутвердительные с.

Е- общеотрицательные  с.,  О-частноотрицательное с.

 

 

 

19. Логические отношения между сложными суждениями.

отношений между сложными суждениями. Сравнимые среди сложных - это суждения, которые имеют  одинаковые составляющие и различаются  типами логических связок, включая  отрицание: например, "Норвегия или  Швеция являются членами НАТО" и "Неверно, что Норвегия и Швеция являются членами НАТО". Сравнивать эти суждения можно потому, что у них общие составляющие, хотя по логической форме они отличаются друг от друга: первое из них дизъюнктивное суждение, второе - отрицание конъюнкции. Наличие общих составляющих позволяет сопоставлять их по смыслу и установить зависимости по истинности. Несравнимыми среди сложных суждений являются суждения, которые частично или полностью различаются составляющими их суждениями.

(p q)  и и  и  л и  и  и и  л  л л  л

л и л и

p л  и и  л л  и и  л

Различия в составляющих не позволяют установить смысловую  и истинную зависимость между  суждениями.

Между сложными суждениями складываются такие же виды отношений, как и между простыми. Характер этих отношений определяется с помощью таблиц истинности.

 

Знак	Название	Соответствие в русском  языке
	отрицание	«не», «неверно, что»
&	конъюнкция	«и», «а», «но»
	дизъюнкция	«или»
	строгая дизъюнкция	«или…или», «либо…либо»
	импликация	«если…, то…», «когда…, то…»
	эквиваленция	«если и только если», «тогда и только тогда»

 

 

 

 

 

 

 

 

 

 

20. Отношение между суждениями по логическому квадрату.

Суждения делятся на сравнительные и не сравнительные. Сравнительные делятся на совместимые и не совместимые. В логике 2 высказывания называются не совместимыми если из истинности одного из них необходимо следует ложность другого. Совместимость выражает одну и туже мысль полностью или лишь часть. Отношения совместимости: эквивалентность, лог подчинение, частичное совпадение. Совместимые эквивалентные суждения выражают одну и туже мысль в различной форме. (Юрий Гагарин – первый космонавт и Ю. Гагарин первый полетел в космос) субъект один а предикат разный по форме, но одинаковый по смыслу. Совместимые суждения находятся в относительных лог подчинения имеют общий предикат. Подчинения выражают субъект двух суждений также находящихся в лог подчинение. Отношения между суждениями изображаются в виде лог квадрата.

Частичное совпадение находящихся  в 2-х совместимых суждений

ЧУ и ЧО по различному качеству ЧУ – нектр свидетели  дают истин-

ные показания. ЧО – нектр  свидетели не дают истинные показания.

Оба они могут быть истинные, но не могут быть ложные. Закономерн.

выражающ отношения  между суждениями по истинности имеют 

Большое познавательное значение.

 

Пример.

ОУ – Любишь кататься люби и саночки возить (и)

ОО – Не любишь саночки  возить не люби и кататься (л)

ЧО – Иногда не любишь возить саночки, не люби и кататься иногда.(и)

ЧУ – Иногда любишь возить саночки, иногда люби и кататься (и)

 

21. Модальность суждений. Основные виды модальности. Модальные операторы.

Модальность – это определенным образом выраженное суждение, дополнительная хар-ка явлений их св-в и отношений между ними. Это хар-ка не воспринимается как четкая и однозначная информ. Более того, не всегда можно определить истина она или ложна. Различаю 3 вида модальности: 1) Алетическая модальность выражается в терминах: необходимо, возможно, случайно (эти понятия называют операторами).

2) Эпистимическая –  позволяет разделить суждения на 2 группы: достоверные (операторы: доказано и опровергнуто) и проблематичные (оператор: вероятно).

3) Деонтическая – используются  операторы: обязательно, разрешено.

С точки зрения модальности, т.е. оценки отношения субъекта и предиката, суждения подразделяются на проблематические (вероятностные), ассерторические (утверждающие) и аподиктические (суждения долженствования).  
Проблематические суждения содержат утверждения о предполагаемом отношении субъекта к предикату: Земля вероятно вращается вокруг Солнца  
Ассерторические суждения содержат утверждение о действительном отношении субъекта к предикату: Земля вращается вокруг Солнца.  
Аподиктические суждения содержат утверждение о необходимости отношения субъекта к предикату: треугольник не может иметь сумму углов, большую 180°.