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

называется  не собирательным.

Если высказывание относится к каждому элементу класса, то такое употребление

понятия будет  разделительным; если же высказывание относится ко всем

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

то такое употребление понятия называется собирательным.  

     в)     Понятия конкретные и абстрактные (в зависимости оттого, что они отражают:

предмет (класс предметов) или его признак (отношение между предметами)). 

Понятие, в котором  мыслится предмет или совокупность предметов как нечто

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

Понятие, в котором  мыслится признак предмета или отношение  между предметами,

называется  абстрактным.  

Различие между  конкретными и абстрактными понятиями  основано на различии

между предметом, который мыслится как целое, и  свойством предмета,

отвлеченным от последнего и отдельно от него не существующим.

Абстрактные понятия образуются в результате отвлечения, абстрагирования

определенного признака предмета; эти признаки мыслятся как самостоятельные

объекты мысли. 

     г)     Понятия положительные и отрицательные.

В зависимости  от того, составляют ли их содержание свойства, присущие

предмету, или  свойства, отсутствующие у него. 

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

положительными.

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

свойств, называются отрицательными. Так,  понятия:  грамотный и

порядок,  являются положительными, а понятия неграмотный  и беспорядок -

отрицательными.

 

    e)     Понятия безотносительные и соотносительные (в зависимости от того, мыслятся ли в них предметы, существующие раздельно или в отношении с другими предметами). 

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

отношения к  другим предметам, называются безотносительными. Таковы

понятия  студент,  государство.

     Соотносительные понятия содержат признаки, указывающие на отношение

одного понятия  к другому понятию. Например:  родители  (по отношению к понятию

дети) или  начальник (подчиненный). 

Вопрос 9. Суждения – общая характеристика, виды, состав 

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

      Суждение выражается повествовательным  предложением, в котором содержится  сообщение о чем-либо. Вопросительные и побудительные предложения не являются суждением.

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

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

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

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

Виды  простых суждений 

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

2.  Суждения с отношениями. В этих суждениях говорится об отношениях между предметами. Например, «Всякий протон тяжелее электрона», «Эльбрус выше Монблана»,  «Н. В. Гоголь родился позднее А. С. Грибоедова», «В. Г. Белинский — современник Н. В. Гоголя», «Отцы старше своих детей» и т. д. 

Формула, выражающая суждение с двухместным отношением, записывается как ARB, где А и В – члены отношения, a R — имя отношения между ними. В суждении с отношением может что-либо утверждаться или отрицаться не о двух, а о трех, четырех или большем числе предметов. Например, «Бологое находится между Санкт-Петербургом и Москвой». Такие суждения выражаются формулой R (А1,А2 , А3 ..., Аn ). 

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

Суждения  делятся также  по количеству и качеству.  

По качеству суждения делятся на утвердительные и отрицательные. 

Утвердительные — S есть P. Пример: «Люди пристрастны к самим себе».

Отрицательные — S не есть P. Пример: «Люди не поддаются лести».

Связка «есть» в утвердительном суждении отражает наличие у предмета (предметов) некоторых  свойств. Связка «не есть» отражает то, что предмету (предметам) не присуще некоторое свойство. 

Деление суждений по количеству: 

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

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

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

Среди общих суждений встречаются выделяющие суждения, в состав которых входит кванторное слово «только»: «Только добрый человек может быть врачом».

Выделяющие суждения могут быть единичными, частными и  общими. Примерами выделяющих суждений являются и следующие: «Поль С. Брэгг пил только дистиллированную воду», «Человеческий организм может усваивать только органические вещества», «Смелый человек не боится правды. Ее боится только трус». 

Среди общих суждений имеются исключающие суждения, например: «Все студенты нашей группы, за исключением больных, пришли на семинар».

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

Частные суждения имеют структуру: «Некоторые S есть (не есть) Р». Они делятся на неопределенные и определенные.

Например, «Некоторые грибы - съедобны» - неопределенное частное суждение. Мы не установили, обладают ли признаком съедобности все грибы, но не установили и того, что признаком съедобности не обладают некоторые грибы.

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

Единичные суждения имеют структуру: «Это S есть (не есть) Р». Примеры единичных суждений: «Эверест — высочайшая вершина мира», «Третьяковская галерея в Москве — крупнейший в России музей, где собраны лучшие произведения отечественного искусства». 

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

Общеутвердительное  суждение - общее по объему субъекта и утвердительное по качеству связки. Его логическая структура: «Все S есть Р», а символом служит латинская буква «А». Примером является суждение: «Все адвокаты - юристы». 
 

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

Частноутвердительное  суждение - частное по объему субъекта и утвердительное по качеству связки. Его логическая структура: «Некоторые S есть Р». Символом частноутвердительных суждений служит латинская буква «I». Примерами таких суждений являются: «Некоторые студенты — юристы» или «Некоторые писатели - фронтовики».

Частноотрицательное суждение — частное по объему субъекта и отрицательное по качеству связки. Его логическая структура: «Некоторые S не есть Р», а символом служит буква «О». Примерами частноотрицательных являются следующие суждения: «Некоторые европейские страны не являются членами НАТО» или «Некоторые люди не являются юристами».

Единичные суждения в объединенной классификации приравниваются к общим суждениям, например, «Московская  прокуратура проводит расследование», так как имеется в виду весь объем субъекта.

С отношениями  объемов терминов в суждении связана  проблема их распределенности.

Распределенным  термин считается тогда, когда он взят в полном объеме. Термин считается  нераспределенным, если он взят в части  объема. Исследование распределенности терминов суждения — это не формальная логическая операция, а подтверждение правильной связи субъекта и предиката в суждении, то есть ее соответствия объективному отношению самих предметов. Рассмотрим, как распределены термины в суждениях А, Е, I и О на конкретных примерах. 
 

Состав  простого суждения 

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

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

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

- Логическая  связка (-) - мысль об отношении между предметом и выделенной частью его содержания (иногда только подразумевается).

- Квантор - указывает, относится ли суждение ко всему объёму понятия, выражающего субъект, или только к его части: «некоторые», «все» и т. п. 

Состав  сложного суждения 

Сложные суждения состоят из ряда простых («Человек не стремится к тому, во что не верит, и любой энтузиазм, не подкрепляясь реальными достижениями, постепенно угасает»), каждое из которых в математической логике обозначается латинскими буквами (A, B, C, D… a, b, c, d…). В зависимости от способа образования различают конъюнктивные, дизъюнктивные, импликационные, эквивалентные и отрицательные суждения.