Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
логика / Метод. пособие по логике .doc
Скачиваний:
53
Добавлен:
18.04.2015
Размер:
445.44 Кб
Скачать

Суждение

1.Суждение, его структура и виды.

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

3.Отношения между суждениями.

4.Сложные суждения.

5.Вопрос как форма мышления.

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

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

Простые суждения в зависимости от того, что в них утверждается или отрицается, делятся 1) атрибутивные суждения, 2)суждения с отношениями и 3)суждения существования.

Атрибутивными (суждениями свойства) называются такие, в которых два понятия соединены таким образом, что одно есть отражение предмета, а другое – отражение признака, который присущ или не присущ предмету. «Многие животные не могут вы-жить без бережного отношения со стороны людей». Атрибутивные суждения называют также категорическими ( от слова «категорический» - безусловный, не допускающий иных толкований).

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

«Псков старше нежели Санкт-Петербург», «А равно В», «Ольга учится лучше Сергея».

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

Категорические суждения состоят из субъекта ( от латинского subjektum ), предиката ( от латинского praedikatum), связки и квантора общности.

Категорические суждения делятся по количеству и качеству. По количеству они

делятся на 1)единичные («Это здание – памятник архитектуры») 2) частные («Некоторые студенты не сдали экзамен по математике») и общие («Сделка, не соответствующая требованиям законодательства, не признается действительной»)

По качеству суждения делятся на утвердительные («Некоторые элементарные частицы имеют отрицательный заряд») и отрицательные («Обвиняемый не обязан доказывать свою невиновность»)

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

Вид суждения

Формула

Обозначение

общеутвердительное

Все S суть P

S a P

А

частноутвердительное

Некоторые S есть P

S I P

I

общеотрицательное

Ни одно S не есть P

S e P

Е

частноотрицательное

Некоторые S не есть Р

S o P

О

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

а отрицательные – двумя гласными буквами латинского слова nego (отрицаю.)

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

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

  1. Субъект распределен в общих суждениях и не распределен в частных.

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

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

Вид суждения

Термины

А

I

Е

О

S

+

-

+

-

P

(-) +

(-) +

+

+

Суждения делятся на сравнимые, (имеют одинаковые термины, но отличаются друг от друга или по количеству, или по качеству, или по тому и другому) и несравнимые

(имеют различные термины). Например, суждения :«Некоторые змеи являются ядовитыми» и «Некоторые змеи не являются ядовитыми» являются сравнимыми, но суждения: «Некоторые змеи являются ядовитыми» и «Некоторые грибы являются

ядовитыми» являются несравнимыми, так как субъекты у них различные.

противоположность

частичная совместимость

Сравнимые суждения делятся на совместимые и несовместимые. Отношения совместимости: эквивалентность, логическое подчинение, частичное совпадение (субконтрарность). Совместимые эквивалентные суждения выражают одну и ту же мысль, но в различной форме. «Михаил Шолохов – лауреат Нобелевской премии»- данное суждение эквивалентно суждению «Автор романа «Тихий Дон» - лауреат Нобелевской премии». Если два высказывания эквивалентны, то невозможно, чтобы одно из них было истинным, а другое ложным.

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

а) истинность общего суждения определяет истинность частного, подчиненного

ему суждения;

б) истинность частного суждения оставляет общее суждение неопределенным;

в) ложность общего суждение оставляет частное суждение неопределенным;

г) ложность частного суждения обусловливает ложность общего суждения.

В отношении частичной совместимости находятся частноутвердительное и частноотрицательное суждения, которые могут быть одновременно истинными, но не могут быть одновременно ложными.

Отношения несовместимости: противоположность и противоречие.

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

В отношении противоречия (контрадикторности) находится две пары суждений: общеутвердительное и частноотрицательное, а также общеотрицательное и частно-

утвердительное, которые не могут быть одновременно истинными и не могут быть одновременно ложными.

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

суждений зависит от истинности (ложности) входящих в них простых суждений.

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

А

В

А В

и

и

и

и

л

л

л

и

л

л

л

л

Союз нестрогой дизъюнкции соответствует грамматическому союзу «или».

Нестрогая дизъюнкция истинна, если истинно хотя бы одно входящее в нее простое суждение.

А

В

А В

и

и

и

и

л

и

л

и

и

л

л

л

Союз строгой дизъюнкции соответствует грамматическому союзу «либо…, либо…»

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

А

В

А В

и

и

л

и

л

и

л

и

и

л

л

л

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

Союз импликации соответствует грамматическому союзу «если…, то…». При этом первое суждение называют антецедентом, второе - консеквентом. Логический союз показывает, что явление, о котором идет речь в антецеденте, выступает условием возникновения, существования или изменения другого явления, о котором говорится в консеквенте. Импликация истинна во всех случаях, кроме одного: при истинности антецедента (условия) и ложности консеквента (следствия)

А

В

А В

и

и

и

и

л

л

л

и

и

л

л

и

Эквивалентные суждения включают в себя только два простых суждения. Союз эквиваленции соответствует грамматическому союзу «если и только если…, то…»

Эквиваленция истинна в тех случаях, когда оба простые суждения либо истинны, либо ложны.

А

В

А В

и

и

и

и

л

л

л

и

л

л

л

и

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

ческом статусе, о регулятивных, оценочных и других характеристиках. О предмете можно просто сказать, что оно имеет какое-то свойство (это будет ассерторическое суждение): «Все студенты – это учащиеся вуза». Но можно уточнить, является ли это свойство необходимо присущим или случайным (это будет уже модальным суждением): «Несомненно, что студенты – учащиеся вуза». Модальными будут суждения: «Доказано, сумма внутренних углов треугольника равна 180 градусам», «Возможно, на Марсе есть жизнь», «Вероятно, нас ждет глобальное потепление».

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

К модальным операторам относятся:

В логической модальности: логически необходимо, логически возможно, логически невозможно, случайно.

Онтологические модальности: необходимо, случайно, возмлжно. Невозможно.

Эпистемические модальности: доказуемо, неразрешимо, опровержимо.

Деонтические модальности: обязательно, безразлично, запрещено, разрешено.

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

Временные модальности: всегда, только иногда, никогда, раньше, одновременно, позже.

Развитие научных и практических знаний протекает как переход от ранее уста-новленных суждений к новым, более точным и более богатым по содержанию. Этот переход можно представить как последовательность следующих этапов: 1.постано-вка вопроса; 2.поиск новой информации; 3.формулирование ответа на постав-

ленный вопрос.

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

1.В зависимости от базиса вопросы делятся на правильно поставленные и непра-вильно поставленные. Правильно поставленным (корректным) считается вопрос, базис которого представляет собой истинное непротиворечивое знание. Неправи-льно поставленным (некорректным) считается вопрос с ложным или противоречи-вым базисом. «Какой вид энергии используется на НЛО?» Если неправильно поставленный вопрос задан умышленно с целью запутать собеседника, то вопрос квалифицируется как провокационный. Примером может служить древнегреческий софистический вопрос: «Продолжаешь ли ты бить своего отца?»

2.По познавательной функции вопросы делятся на уточняющие и восполняющие.

Уточняющим (ли-вопросом) называется вопрос, направленный на выявление истинности выраженного в нем суждения. «Верно ли, что Колумб открыл Америку?»,

Область поиска ответа ограничена выбором одной из альтернатив: «да» или «нет». Отсюда и другое название вопроса – закрытый вопрос. Восполняющим (что-вопро-сом) называется вопрос, направленный на выявление новых свойств у исследуе-мых явлений. «Когда была образована ООН?», Грамматическим признаком

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

вопрос, не включающий в качестве составных частей других вопросов. « Где на-ходится Мариинский театр?». Сложным называется вопрос, включающий в качестве составных частей другие вопросы, объединенные логическими союзами. «Где и когда был подписан акт о капитуляции Японии?».

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

Каждый вопрос, кроме риторического, требует ответа. Ответ – это новое суж-

дение, сформулированное в соответствии с поставленным вопросом.

1.По гносеологическому статусу ответы делятся на истинные и ложные. Если со-держание ответа адекватно отражает действительность, ответ расценивается как истинный. Если выраженное в ответе суждение неверно или неадекватно отражает действительность, ответ ложный.

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

3.По грамматической форме ответы различаются на краткие и развернутые. Краткие – это односложные утвердительные или отрицательные ответы: «да» или «нет». Развернутые – это ответы, в которых повторяются все элементы вопроса.

4.По объему представленной информации ответы делятся на полные и неполные. Полным называется вопрос, содержащий информацию по всем составным частям вопроса. Неполный – содержит информацию лишь по некоторым частям вопроса.

Соседние файлы в папке логика