Автор работы: Пользователь скрыл имя, 12 Марта 2013 в 18:42, шпаргалка
Работа содержит ответы на вопросы для экзамена по дисциплине "Логика".
Субъект и предикат образуют
суждение посредством связки. Устанавливая
принадлежность или не
В рассуждениях иногда
S (S1, S2, S3) есть Р.
Некоторые суждения отражают
принадлежность (или непринадлежность)
предмету нескольких признаков.
Интерпретация суждений со
сложным субъектом или
2) Суждение с отношением – это суждение об отношении между предметами. Это могут быть отношения равенства, неравенства, родства, пространственные, временные, причинно–следственные и иные отношения. Например: «А равно В», «Москва – столица России».
Принята следующая запись суждения с отношениями: хRy, где х и y – члены отношения, они обозначают понятия о предметах, R – отношения между ними. Запись читается: х находится в отношении R к y.
Суждение с отношениями имеют
структуру, отличающуюся от
3) В суждениях существования
(экзистенциальных суждениях)
Предикатами данных суждений
являются понятия о
б) Классификация простых
и качеству
По качеству и количеству различают четыре вида простых атрибутивных высказываний:
A – от лат. Affirmo – Общеутвердительные («Все люди смертны»)
Общеутвердительное суждение - общее по объему и утвердительное по качеству связки. Его структура: «Все S есть Р», а символом служит латинская буква «А».
I – от лат. Affirmo – Частноутвердительные («Некоторые люди – студенты»)
Частноутвердительное суждение - частное по объему субъекта и утвердительное по качеству связки. Его структура: «Некоторые S есть Р». Символом частноутвердительных суждений служит буква «I».
E – от лат. Nego – Общеотрицательные («Ни один кит не рыба»)
Общеотрицательное суждение - общее по объему субъекта и отрицательное по качеству связки. Его структура: «Ни одно S не есть Р». Символом общеотрицательных суждений служит буква «Е».
O – от лат. Nego – Частноотрицательные («Некоторые люди не являются студентами»)
Частноотрицательное суждение - частное по объему и отрицательное по качеству связки. Его структура: «Некоторые S не есть Р», а символом служит буква «О».
Единичные высказывания (такие, в которых субъект является единичным термином) приравниваются к общим.
Любое суждение имеет и количественную и качественную характеристику. Поэтому в логике применяется объединенная классификация суждений по количеству и качеству, в соответствии с которой суждения делятся на общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные.
Общеутвердительное суждение – это суждение, общее по количеству и утвердительное по качеству. Например: "Каждый, совершивший преступление (S), должен быть подвергнут справедливому наказанию (Р)". Схема общеутвердительного суждения “Все S суть Р”, где кванторное слово “все” характеризует количество, утвердительная связка “суть” – качество суждения.
Общеотрицательное суждение – суждение, общее по количеству и отрицательное по качеству. Например: “Ни один невиновный (S) не должен быть привлечен к уголовной ответственности (Р)”. Схема общеотрицательного суждения “Ни одно S не есть Р”. Кванторное слово “ни одно” характеризует количество, отрицательная связка "не есть" – качество суждения.
Частноутвердительное суждение – суждение, частное по количеству и утвердительное по качеству. Например: “Некоторые приговоры суда (S) являются обвинительными (Р)”. Схема этих суждений “Некоторые S суть Р”. Количество суждений характеризует кванторное слово “некоторые”, качество – утвердительная связка, выраженная словом “суть”.
Частноотрицательное суждение – суждение, частное по количеству и отрицательное по качеству. Например: “Некоторые приговоры суда (S) не являются обвинительными (Р)”. Эти суждения имеют схему: “Некоторые S не суть Р”. Кванторное слово “некоторые” указывает на количество суждения, “не суть” – на его качество.
Для характеристики соотношения объемов
субъекта и предиката используется
понятие «распределенность
Рассмотрим, как распределяются субъект и предикат в следующих суждениях.
В общеутвердительном суждении «Все адвокаты (S) есть юристы (Р)» субъект распределен, так как объем понятия «адвокат» полностью входит в объем понятия «юрист», а предикат - не распределен, так как объем понятия «юрист» шире объема понятия «адвокат». Если обозначим распределенное понятие знаком «+», нераспределенное знаком «-», то схематично наше суждение можно представить в виде:
Все S+ есть Р–.
В общеотрицательном суждении «Ни один человек не есть птица» и субъект и предикат распределены, так как они взяты в полном объеме: класс всех людей исключается из всего класса птиц. Схематично:
Ни один S+ не есть Р+.
В частноутвердителъном суждении «Некоторые юристы есть спортсмены» субъект и предикат не распределены, так как в суждении говорится только о части юристов и части спортсменов. Схематично:
Некоторые S– есть Р–.
В частноотрицательном суждении «Некоторые
юристы не есть спортсмены» субъект
не распределен, а предикат распределен,
так как часть юристов
Некоторые S– не есть Р+.
Из анализа этих суждений можно вывести простое правило: субъект распределен только в общих суждениях; предикат - только в отрицательных.
Несравнимыми среди простых суждений являются суждения, имеющие различные субъекты или предикаты.
Сравнимыми являются
суждения с одинаковыми
Для иллюстрации
отношений между простыми
Среди сравнимых различают совместимые суждения, которые могут быть одновременно истинными, и несовместимые суждения, которые одновременно истинными быть не могут.
Совместимость бывает
трех видов: полная
I. Отношением подчинения связаны суждения А и I, Е и О. Общие суждения (А и Е) являются подчиняющими, а частные (I, О) подчиненными. Для суждений находящихся в отношении подчинения, имеет значение условие истинности: Если истинно А(Е), то истинно и I(O), но не наоборот.
II. Отношением противоречия
Если А - ложно, то О - истинно
Если О - истинно, то А - ложно
Если О - ложно, то А - истинно
Если Е - истинно, то I - ложно
Если Е - ложно, то I - истинно
Если I -истинно, то E - ложно
Если I - ложно, то E - истинно
III. Отношением контрарности (противоположности)
связаны только общие суждение
А и Е. Закон исключения
IV. Отношение субконтрарности
Сложные суждения - такие, которые состоят из простых суждений, связанных между собой логическими союзами (связками): «не», «и», «или», «если.., то», «если, и только если.., то».
Логические связки, или союзы, выражают логические операции.
Отрицание - логическая операция, в результате которой из данного суждения (р) получается новое суждение (не- р), называемое отрицанием исходного суждения.
Конъюнкция - логическая операция, соединяющая два или более высказывания при помощи союза «и» (p q).
Дизъюнкция - логическая операция, соединяющая два или более высказывания при помощи союза «или» (р или q; символически pq). Союз «или» употребляется в естественном языке в двух значениях - соединительно-разделительном и исключающее - разделительном.
Слабая дизъюнкция - логическая операция, соединяющая высказывания при помощи союза «или», употребленного в соединительно-разделительном значении, т. е. когда входящие в сложное суждение составляющие суждения не исключают друг друга. Например, в суждении «Н. - преступник или М. - преступник» утверждается, что преступником может быть Н. или М., или оба вместе (символически: pq).
Строгая дизъюнкция - логическая операция, соединяющая высказывания при помощи союза «или», употребленного в исключающем смысле: либо Н. преступник, либо М. - преступник, но не оба вместе (либо p, либо q; символически: pq).
Импликация - логическая операция, соединяющая высказывания при помощи союза «если.., то» (символически р → q).
Эквивалентность - логическая операция, позволяющая из двух высказываний р и q получить новое высказывание: р эквивалентно q (символически р ≡ q, или р ↔ q).
В зависимости от того, какие логические союзы используются при образовании сложных суждений, последние делятся на следующие виды: отрицательные, соединительные, разделительные, условные и эквивалентные суждения.
Все эти сложные суждения могут быть истинными и ложными. Но их истинность (ложность) зависит от истинности (ложности) простых суждений и смысла логических союзов, с помощью которых они образуются. Точный смысл логических союзов определяется с помощью так называемых таблиц истинности.
Отрицание - суждение, образованное с помощью союза «не». Например, имеем суждение: «Человек совершил преступление» (р). Его отрицанием будет: «Неверно, что человек совершил преступление» p). Смысл отрицания состоит в следующем: если какое-то суждение (р) - истинно, то его отрицание (p) будет ложным. Если p - ложно, то его отрицание p - истинно. Союз «не» меняет значение истинности на противоположное.
Конъюнктивное (соединительное) суждение - суждение, которое включает в качестве составных частей другие суждения, объединяемые союзом «и». Например: «Мы поедем в Санкт-Петербург и посетим Русский музей». В этом суждении выражается уверенность, что произойдут оба эти события. Схематично: «рq».
В естественном языке, в том числе и в правовых текстах, конъюнкция может быть выражена словами «и», «а», «но», «также», «хотя», «однако», «несмотря на», «вместе с тем» и др.
Истинность конъюнкции зависит от истинности (ложности) простых суждений «р и q» и от смысла логического союза - конъюнкции. Если мы имеем два простых суждения, а каждое из них может иметь два значения («истина» и «ложь»), то всего должны рассмотреть четыре разных случая: когда оба суждения истинны; когда первое истинно, а второе ложно; когда первое ложно, а второе истинно и когда оба ложны.