Определите формулу суждения некоторые птицы являются перелетными

3.3. Обратить суждения:

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

3.4. Правильно ли произведено обращение?

а) Все планеты небесные тела

Некоторые небесные тела — планеты

б) Некоторые животные — обезьяны

Некоторые обезьяны — животные

Все скромные — мудрецы

г) Некоторые европейские государства являются унитарными

Некоторые унитарные государства являются европейскими

д) Ни один невиновный не должен быть осужден

Ни один осужденный не должен быть невиновным

3.5. Правильно ли произведено противопоставление предикату?

а) Все следователи — юристы

Некоторые юристы не являются следователями

б) Некоторые птицы не являются перелетными

Некоторые не перелетные являются птицами

в) Все преступления — общественно опасные деяния

Все не общественно опасные деяния не есть преступления

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

А Все преступления — общественно опасные деяния

Все не общественно опасные деяния не есть преступления

А. Все S есть Р противопоставляется Все Р не есть S.

3.6. Правильны ли схемы?

SAP, SEP, SIP, SOP — символическое выражение видов суждений в традиционной логике. Чтобы проверить правильность схем, необходимо установить, правильно ли произведено преобразование суждений. Например, задание SEP, так как SAP. В данной схеме утверждается, что поскольку имеет место SAP — общеутвердительное суждение, то должно иметь место SEP — общеотрицательное суждение. Если мы превратим суждение SAP, то согласно процедуре превращения получаем общеотрицательное суждение Е, с отрицательным предикатом SEP. Следовательно, схема неправильна.

К разделу 4. Отношения между суждениями по истинности

4.1. Сделать возможные выводы по логическому квадрату:

а) «Некоторые писатели — реалисты»;

б) «Герой — это человек, который в решительный момент де

лает то, что нужно сделать в интересах человеческого общества» (Ю.Фучик);

в) «Сотни воителей храбрых стоит одни исцелитель искусный» (Гомер);

г) «Многие авторы, занимающиеся проблемой значения языковых выражений, возражают против того, чтобы считать значением имени обозначенный им объект»;

д) «Иные консерваторы недолюбливают всех сторонников общественного прогресса»;

Вывод по логическому квадрату основан на знании отношений между суждениями вида А, Е, О, J (противоречия, подчинения, контрарности или субконтрарности) и истинностного значения посылки. Так, суждение «Некоторые писатели — реалисты» — частноутвердительное суждение (J) и имеет, очевидно, логическое значение «истинно». По отношению противоречия следует, что суждение вида Е (с той же материей, что и суждение «Ни один писатель не является реалистом») имеет логическое значение «ложь». Об истинности же других видов суждений с этой же материей при условии, что суждение вида J истинно, но логическому квадрату следует неопределенность, т.е. суждения А и О могут быть как истинными, так и ложными.

Источник

ВИДЫ СУЖДЕНИЙ ПО КАЧЕСТВУ И КОЛИЧЕСТВУ

Суждения выражаются в повествовательных предложениях, которые несут какую-то информацию.

Всякое суждение описывает определённую ситуацию, что-то утверждая или отрицая о ней, будучи при этом, истинным или ложным.

СУЖДЕНИЕ – это форма мысли, в которой что-либо утверждается или отрицается и которую поэтому можно оценить с точки зрения истины или лжи.

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

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

Например, когда Шекспир задавался вопросом: «Есть ли что-нибудь чудовищнее неблагодарного человека?» — то, в сущности, он высказывал суждение, утверждающее, что: «Неблагодарный человек – это самое чудовищное, что только есть на белом свете».

То же самое относится и к некоторым восклицательным предложениям типа: «Безумен ты, коль не смирился, когда попал в пучину бед!».

Фактически это суждение – «Ты безумен, потому что не смирился». А значит, это суждение можно оценивать с точки зрения истины или лжи.

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

Простое суждение – это суждение, никакая часть которого не является суждением.

«Прошлая зима была холоднее этой зимы».

Сложное суждение – состоит из простых, тем или иным способом связанных между собой.

Например: «Я человек и ничто человеческое мне не чуждо».

«Идёт дождь, поэтому появляются лужи».

«Платон мне друг, но истина дороже».

«Собака лает, ветер носит».

ПРОСТЫЕ СУЖДЕНИЯ. ЛОГИЧЕСКАЯ СТРУКТУРА И ВИДЫ.

Во всех языках мира суждения имеют одинаковую логическую форму, которая записывается так:

S есть (не есть) Р

S – это субъект – то, о чём (ком) говорится (от лат. subjectum – лежащий в основании).

Р – это предикат – то, что сообщается о субъекте (от лат. predicatum – сказанное).

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

или тире, или простым согласованием слов «идёт дождь»).

В отличие от русского языка, в большинстве европейских языков связка выступает в чистом виде, то есть присутствует в форме глагола «быть» / «есть».

Например: «Роза красивая» ‒ фактически: «Роза есть красивая» или «Роза является красивой».

«A rose is beautiful». is – глагол «быть» в настоящем времени, в единственном числе.

Перед субъектом (S) иногда стоит КВАНТОР (кванторное слово). Квантор (от лат. quantum – сколько) указывает, относится ли суждение ко всему объёму субъекта, или к его части.

Если в суждении говорится обо всём объёме субъекта, то ставится квантор общности, который выражается словами: «все», «всякий», «каждый», любой», «ни один», «никакой», «никто».

Квантор общности изображается знаком: — читается: «для всех».

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

Квантор существования изображается знаком: — читается: «существуют» или «найдётся».

Например: Разберём суждения:

«Все студенты являются учащимися высшего учебного заведения»

общности субъект предикат

Запись этого суждения в виде логической формы: S есть Р (все S являются Р)

«Некоторые преступления ‒ преднамеренные»

существования субъект предикат

Запись этого суждения в виде логической формы: S есть Р (некоторые S являются Р)

«Ни одна звезда не является обитаемой»

общности субъект предикат

Запись этого суждения в виде логической формы: S не есть Р (Ни один S не является Р)

«Некоторые науки не гуманитарные»

существования субъект предикат

Запись этого суждения в виде логической формы: S не есть Р (некоторые S не являются Р)

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

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

Например:«Пушкин – автор романа «Евгений Онегин»

Субъект выражен единичным понятием. Такие суждения считаются общими, так как нельзя сказать часть Пушкина.

Запись этого суждения в виде логической формы: S есть Р (Все S являются Р)

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

Запись этого суждения в виде логической формы: S есть Р (Все S являются Р)

Самопроверка: Определите субъект, предикат, связку и квантор суждения. Запишите суждение в виде логической формы.

Для самопроверки выделите второй столбец и измените цвет шрифта!

Некоторые птицы не вьют гнёзда.	S не есть Р
Австрия – европейская страна.	S есть Р
Ни одна черепаха не умеет летать.	S не есть Р
Всякий протон тяжелее электрона.	S есть Р
Некоторые птицы являются перелётными.	S есть Р
Лошади не являются парнокопытными.	S не есть Р
Некоторые философы не материалисты.	S не есть Р

ВИДЫ СУЖДЕНИЙ ПО КАЧЕСТВУ И КОЛИЧЕСТВУ

Особое значение в логике имеет деление простых суждений по качеству (по характеру связки) и количеству (по объёму субъекта).

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

Если субъект (S) и предикат (Р) суждения соединены связкой «есть» / «является», то такое суждение называется утвердительным.

Если субъект (S) и предикат (Р) суждения соединены связкой «не есть» / «не является», то такое суждение называется отрицательным.

Количество – это логический объём субъекта.

В зависимости от этого выделяются: общие, частные, единичные суждения.

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

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

Иногда квантор лишь подразумевается. Суждение, в котором перед субъектом не стоит специальное кванторное слово по умолчанию считается общим.

Общие суждения: Все S являются Р ( S есть Р)

Ни один S не является Р ( S не есть Р)

«Все трапеции – четырёхугольники».

«Никто не хотел умирать».

Частные суждения: Некоторые S являются Р ( S есть Р)

Некоторые S не являются Р ( S не есть Р)

«Некоторые комнатные растения цветут зимой».

«Некоторые птицы не умеют плавать».

Единичные суждения:Это S является Р ( S есть Р)

Это S не является Р ( S не есть Р)

«Пушкин – автор романа «Евгений Онегин».

«Везувий является действующим вулканом».

«Эта книга не имеет иллюстраций».

Таким образом, существует всего четыре типа суждений:

(общее по количеству; утвердительное по качеству) Все S являются Р ( S есть Р)

(частное по количеству; отрицательное по качеству) Некоторые S являются Р ( S есть Р)

(общее по количеству; отрицательное по качеству) Ни один S не является Р ( S не есть Р)

(частное по количеству; отрицательное по качеству) Некоторые S не являются Р ( S не есть Р)

В средние века суждения стали обозначать буквами А, I, Е, О. Эти гласные взяты из двух латинских слов: AFFIRMO – утверждаю и NEGO – отрицаю.

Общеутвердительные суждения обозначают буквой «А» — первая гласная из AFFIRMO (утверждаю)

Частноутвердительные суждения обозначают буквой «I» — вторая гласная из AFFIRMO (утверждаю)

Общеотрицательные суждения обозначают буквой «Е» — первая гласная из NEGO (отрицаю)

Частноотрицательные суждения обозначают буквой «О» — вторая гласная из NEGO (отрицаю)

Генезис конфликтологии как науки в древней Греции: Для уяснения предыстории конфликтологии существенное значение имеет обращение к античной.

Как распознать напряжение: Говоря о мышечном напряжении, мы в первую очередь имеем в виду мускулы, прикрепленные к костям .

©2015-2020 megaobuchalka.ru Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. (1566)

Почему 1285321 студент выбрали МегаОбучалку.

Система поиска информации

Источник