Министерство образования Республики Беларусь

Учреждение образования

«БЕЛОРУССКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИНФОРМАТИКИ И РАДИОЭЛЕКТРОНИКИ»

Институт информационных технологий

Специальность ПОИТ

КОНТРОЛЬНАЯ РАБОТА

По курсу ЛОГИКА

Вариант № 10

Студент-заочник 1 курса

Группы № 281023

ФИО Иосифов Константин Сергеевич

Адрес г. Могилев,

ул. Мещанские полосы, д.18, кв.35

Тел. [phone] (МТС)

Минск, 2012

План

1. Определение простого суждения и его структура. Суждение и понятие.

2. Классификация простых суждений по качеству и количеству

3. Упражнения

4. Список литературы

1. Определение простого суждения и его структура. Суждение и понятие.

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

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

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

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

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

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

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

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

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

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

• Квантор всеобщности (обозначение: , читается: «для всех…», «для каждого…» или «каждый…», «любой…», «для любого…»).

• Квантор существования (обозначение: , читается: «существует…» или «найдётся…»).

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

1. «Все люди обладают сознанием»

2. «Собаки – теплокровные животные».

3. «Все государства имеют конституцию».

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

Вторым логическим элементом суждения является предикат суждения. Он  выражает знание о признаке предмета суждения, то есть то, что говорится о субъекте суждения. Сокращённо предикат обозначается буквой P (от латинского слова predikatum). Предикат суждения является вторым необходимым элементом суждения.

Третьим элементом суждения является связка. Она выражает отношение, которое устанавливается в суждении между субъектом и предикатом. Связка придаёт ограниченное единство и законченность всей форме суждения. Логическая связка между субъектом и предикатом имеет две формы. Она может быть либо утвердительной, либо отрицательной – в зависимости от того, приписывается предикат субъекту или нет. В русском языке связка как правило не высказывается, а подразумевается. Если мы говорим «Все люди – разумные существа», то S(все люди) и P(разумные существа) связываются с помощью тире; но в других случаях вместо слова «есть» могут использоваться «суть», «имеется» и тому подобное (имеется в виду утвердительная форма). Отрицательная форма выражается связкой «не есть», «не суть», «не имеется», «не  является» и т.п. Например, «Птицы не являются млекопитающими животными». Здесь опять мы видим все три элемента суждения.

У всех народов и во всех языках простейшая форма суждения сводится к трёхчленной схеме, поэтому, несмотря на различия языков, возможен перевод мысли с одного из них на другой.

Таким образом, структура простого суждения, которое всегда состоит из трёх элементов, может быть выражена в виде общей формулы: S – P, где тире обозначает связку; другие два элемента (S и P) несут смысловую нагрузку. Они называются ещё переменными, так как могут выражать различное конкретное содержание.

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

Несколько своеобразно проявляется трёхчленная структура простых суждений в так называемых суждениях существования и в суждения отношений.

Обычно суждениями существования называют такие, которые в своём конкретном содержании выражают сам факт существования или несуществования отражаемого в мысли предмета. Суждения существования по форме делятся на утвердительные и отрицательные. В утвердительных суждения устанавливается наличие предмета, его существования. Например, «Планеты существуют», «Существуют информационные технологии, позволяющие людям общаться независимо от их местонахождения» и т.д.. В отрицательных суждениях указывается на отсутствие предмета; «Нет птицы без перьев» и т.д.

Специфической особенностью суждений отношений является то, что в их трёхчленной структуре роль предиката выполняет третье понятие, которое имеет также определённое смысловое значение, помимо основного предиката. Например, «Захар брат Николая», или «Эверест выше Пика Победы», и т.д.. Структура таких суждений может быть выражена формулой «a R b», где a и b выражают понятия, а символ R обозначает определённое содержательное отношение между мыслимыми в суждении предметами мысли. Фактически в таких суждениях третий элемент (R) выполняет роль связки.