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

12. Логическая операция определения понятия.Виды определения.

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

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

Виды определения

Определения делятся на 1) номинальные и реальные, 2) явные и неявные.

Номинальным называется определение, посредством которого взамен описания какого-либо предмета вводится новый термин (имя), объясняется значение термина, его происхождение и т.п.

Реальным называется определение, раскрывающее существенные признаки предмета.

  Номинальные и реальные определения различаются по своим задачам: объяснить значение термина или раскрыть существенные признаки предмета.

По способу выявления содержания понятия определения делятся на явные и неявные. Явные определения раскрывают существенные признаки предмета; к неявным относятся определение через отношение предмета к своей противоположности 

13.Определение через ближайший род и видовое отличие.

Наиболее распространенным способом явного определения является определение через ближайший род и видовое отличие.

Сущность его состоит в том, что при определении какого-либо предмета указывают на ближайшее родовое понятие, в объеме которого мыслится определяемый предмет, и называют его отличительные признаки. Например, "Барометр - прибор для измерения атмосферного давления". В приведенном примере родом выступает понятие "прибор".  
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

14. Правила определения понятий.

Правила определения

1. Определение должно быть соразмерным.

Правило соразмерности требует, чтобы объем определяемого понятия был равен объему определяющего. Иначе говоря, эти понятия должны находиться в отношении равно-объемности.

2. Определение не должно заключать в себе круга.

Если при определении мы прибегаем к другому понятию, которое, в свою очередь, определяется при помощи первого, то такое определение содержит в себе круг. Разновидностью круга в определении является тавтология -- ошибочное определение, в котором определяющее понятие повторяет определяемое. Тавтология, отличается от круга в определении меньшей сложностью построения. Определяющее понятие является повторением определяемого.

3. Определение должно быть ясным.

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

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

15. Логическая операция деления понятия. Виды деления.

Логическая операция, раскрывающая объем понятия, называется делением.

В операции деления следует различать делимое понятие-- объем которого следует раскрыть, члены деления -- соподчиненные виды, на которые делится понятие, и основание деления -- признак, по которому производится деление.

Различают деление 1) по видоизменению признака и 2) дихотомическое деление.

Деление по видоизменению признака. Основанием деления является признак, при изменении которого образуются видовые понятия, входящие в объем делимого (родового) понятия.

16. Правила деления понятия.

1. Деление должно быть соразмерным.

Задача деления заключается в том, чтобы перечислить все виды делимого понятия. Поэтому объем членов деления должен быть равен в своей сумме объему делимого понятия.

2. Деление должно производиться только по одному основанию.

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

  3. Члены деления должны исключать друг друга. Если выбрано не одно основание, то члены деления -- видовые понятия -- будут находиться в отношении частичного совпадения. Подобный же результат получим при делении преступлений на умышленные, неосторожные и воинские. Деление всех студентов института на заочников, первокурсников и спортсменов также приведет к нарушению данного правила.

4. Деление должно быть непрерывным.

В процессе деления родового понятия нужно переходить к ближайшим видам, не пропуская их. Но нельзя переходить от деления на виды одного порядка к делению на виды другого порядка, например делить преступления на преступления против личности, в сфере экономики, и утрату военного имущества. Такое деление лишено последовательности, оно называется скачком в делении. 

17.Суждение-сущность и логич структура.

Связи и отношения выражаются в суждении посредством утверждения или отрицания. Всякое суждение может быть либо истинным, либо ложным, т.е. соответствовать действительности либо не соответствовать ей. Если в суждении утверждается связь, существующая в действительности, или отрицается связь, которая в действительности отсутствует, то такое суждение будет истинным.

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

Языковой формой выражения суждения является предложение. Подобно тому как понятия не могут возникнуть и существовать вне слов и словосочетаний, так и суждения не могут возникнуть и существовать вне предложений. Однако единство суждения и предложения не означает их полного совпадения. И если всякое суждение выражается в предложении, то из этого не следует, что всякое предложение выражает суждение. Суждение выражается повествовательным предложением, в нем содержится сообщение о чем-либо.

вопросительные и побудительные предложения суждений не выражают.

Суждение о связи предмета и его признака состоит из двух понятий -- двух терминов суждения: субъекта, отражающего предмет суждения, и предиката, отражающего признак предмета. Субъект и предикат обозначаются латинскими буквами S и Р. Кроме субъекта и предиката суждение включает в свой состав связку -- элемент суждения, который соединяет оба термина суждения, утверждая или отрицая принадлежность предмету некоторого признака.

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

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

18. Виды простых категорических суждений.

. Атрибутивным называется суждение о признаке предмета. В нем отражается связь между предметом и его признаком, эта связь утверждается или отрицается.

Атрибутивные суждения называют также категорическими. Атрибутивное, или категорическое, суждение состоит из субъекта, предиката и связки; его логическая схема S--Р, где S -- субъект суждения, Р -- предикат суждения, «--» -- связка.Субъектом суждения называется понятие о предмете суждения. Понятие о признаке предмета называется предикатом суждения. Связка выражает отношение между субъектом и предикатом.

Субъект и предикат называются терминами суждения. Субъект и предикат образуют суждение посредством связки. Устанавливая принадлежность или не принадлежность признака предмету, связка объединяет термины суждения в единое целое. Благодаря этой функции связка является необходимым элементом суждения.Некоторые суждения отражают принадлежность (или непринад-лежность) предмету нескольких признаков. В этом суждении субъект имеет не один, а два или больше предикатов.

2. Суждением с отношением называется суждение об отношении между предметами. Это могут быть отношения равенства, неравенства, родства, пространственные, временные, причинно-следственные и другие отношения.

3. В суждениях существования выражается сам факт существования или несуществования предмета суждения.  

19. Объединённая классифик. простых суждений.

Объединяя количественную и качественную характеристики, суждения делятся на общеутвердительные, общеотрицательные, частноутвердительные, частноотрицательные.

Общеутвердительное суждение -- это суждение, общее по количеству и утвердительное по качеству. Общеотрицательное суждение -- суждение, общее по количеству и отрицательное по качеству. Частноутвердительное суждение -- суждение, частное по количеству и утвердительное по качеству. Частноотрцательное суждение -- суждение, частное по количеству и отрицательное по качеству.

В логике принято сокращенное обозначение суждений по их объединенной классификации.

Cуждения обозначаются следующими буквами: А -- общеутвердительное, Е -- общеотрицательное, I -- Частноутвердительное, О -- частно-отрицательное.

На языке логики предикатов суждения А, Е, I, О записывают следующим образом:

А (Все S суть Р): V х (S(х) -> Р(х))

читается: для всех х, если х присуще свойство S, то х присуще свойство Р.

Е (Ни одно S не есть Р): V х (S(х) -> -1 Р(х))

читается: ни одному х, которому присуще свойство S, не присуще свойство Р.

I (Некоторые S суть Р): 3 х(S(х) а Р(х))

читается: существуют х, которым присуще свойство S и свойство Р.

О (Некоторые S не суть Р): 3 х(S(х) л -1 Р(х))

читается: существуют х, которым присуще свойство S и не присуще свойство Р. 

20. Распредеденность терминов в суждениях.

Правила А, Е, I, О.

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

Рассмотрим, как распределены термины в суждениях А, Е, I, О.

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

Таким образом, в общеутвердительных суждениях S распределен, а Р не распределен. Однако в общеутвердительных суждениях, субъект и предикат которых имеют одинаковый объем, распределен не только субъект, но и предикат. К таким суждениям относятся общевыделяющие суждения, а также определения, подчиняющиеся правилу соразмерности.

Суждение Е (Ни одно S не есть Р). «Ни один студент нашей группы (S) не является неуспевающим (Р)». И субъект, и предикат взяты в полном объеме. Объем одного термина полностью исключается из объема другого: ни один студент нашей группы не входит в число неуспевающих, и ни один неуспевающий не является студентом нашей группы. Следовательно, в общеотрицательных суждениях и S, и Р распределены.

Суждение I (Некоторые S суть Р). «Некоторые студенты нашей группы (S) -- отличники (Р)». Субъект этого суждения не распределен, так как в нем мыслится только часть студентов нашей группы, объем субъекта лишь частично включается в объем предиката. Но и объем предиката лишь частично включается в объем субъекта: не все, а только некоторые отличники -- студенты нашей группы.

Следовательно, в частноутвердительном суждении ни S, ни Р не распределены.

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