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.По объему представленной информации ответы делятся на полные и неполные. Полным называется вопрос, содержащий информацию по всем составным частям вопроса. Неполный – содержит информацию лишь по некоторым частям вопроса.