Заглавная страница Избранные статьи Случайная статья Познавательные статьи Новые добавления Обратная связь FAQ Написать работу КАТЕГОРИИ: АрхеологияБиология Генетика География Информатика История Логика Маркетинг Математика Менеджмент Механика Педагогика Религия Социология Технологии Физика Философия Финансы Химия Экология ТОП 10 на сайте Приготовление дезинфицирующих растворов различной концентрацииТехника нижней прямой подачи мяча. Франко-прусская война (причины и последствия) Организация работы процедурного кабинета Смысловое и механическое запоминание, их место и роль в усвоении знаний Коммуникативные барьеры и пути их преодоления Обработка изделий медицинского назначения многократного применения Образцы текста публицистического стиля Четыре типа изменения баланса Задачи с ответами для Всероссийской олимпиады по праву Мы поможем в написании ваших работ! ЗНАЕТЕ ЛИ ВЫ?
Влияние общества на человека
Приготовление дезинфицирующих растворов различной концентрации Практические работы по географии для 6 класса Организация работы процедурного кабинета Изменения в неживой природе осенью Уборка процедурного кабинета Сольфеджио. Все правила по сольфеджио Балочные системы. Определение реакций опор и моментов защемления |
Категорический силлогизм. Его структураСодержание книги
Поиск на нашем сайте
Широко распространенным видом опосредствованных умозаключений является простой категорический силлогизм, заключение в котором получается из двух категорических суждений. Например, из суждений: 1) «Обвиняемый (S) имеет право на защиту (Р)» и 2) «Гусев (S) — обвиняемый (Р)» следует заключение 3) «Гусев (S) имеет право на защиту (Р)», которое также представляет собой категорическое суждение. Таким образом, простой категорический силлогизм состоит из трех категорических суждений, два из которых являются посылками, а третье — заключением. Расчленим суждения, из которых состоит силлогизм, на понятия. Этих понятий три, причем каждое из них входит в состав двух суждений «Обвиняемый» — в 1-ю посылку как субъект и во 2-ю посылку как предикат; «имеет право на защиту» — в 1-ю посылку и в заключение как их предикаты; «Гусев» — во 2-ю посылку и в заключение как их субъекты. В отличие от терминов суждения — субъекта (S) и предиката (Р) — понятия, входящие в состав силлогизма, называют терминами силлогизма. Различают меньший, больший и средний термины. Меньшим термином силлогизма называется понятие, которое в заключении является субъектом (в нашем примере понятие «Гусев»). Большим термином силлогизма называется понятие, которое в заключении является предикатом («имеет право на защиту»). Меньший и больший термины называются крайними и обозначаются соответственно латинскими буквами S (меньший термин) и Р (больший термин). Каждый из крайних терминов входит не только в заключение, но и в одну из посылок. Посылка, в которую входит меньший термин, называется меньшей посылкой, посылка, в которую входит больший термин, называется большей посылкой. В нашем примере большей посылкой будет первое суждение (1), меньшей — второе суждение (2). Для удобства анализа силлогизма посылки принято располагать в определенной последовательности: большую — на первом месте, меньшую — на втором. Под чертой записывают заключение: Обвиняемый имеет право на защиту Гусев —обвиняемый Гусев имеет право на защиту Однако в рассуждении такой порядок необязателен. Меньшая посылка может находиться на первом месте, большая — на втором. Иногда посылки стоят после заключения. Посылки различаются не их местом в силлогизме, а входящими в них терминами. Вывод в силлогизме был бы невозможен, если бы в нем не было среднего термина. Средним термином силлогизма называется понятие, входящее в обе посылки и отсутствующее в заключении (в нашем примере — «обвиняемый»). Средний термин обозначается латинской буквой М (от латинского medius — «средний»). Средний термин связывает два крайних термина. Отношение крайних терминов (субъекта и предиката) устанавливается благодаря их отношению к среднему термину. В самом деле, из большей посылки нам известно отношение большего термина к среднему (в нашем примере отношение понятия «имеет право на защиту» к понятию «обвиняемый») из меньшей посылки — отношение меньшего термина к среднему (понятия «Гусев» к понятию «обвиняемый»). Зная отношение крайних терминов к среднему, мы можем установить отношение между крайними терминами (понятиями «Гусев» и «имеет право на защиту»). Таким образом, вывод из посылок оказывается возможным потому, что средний термин выполняет роль связующего звена между двумя крайними терминами силлогизма. Поставив в нашем примере на место терминов суждения термины силлогизма, получим: Обвиняемый (М) имеет право на защиту (Р) Гусев (S)—обвиняемый (М) Гусев (S) имеет право на защиту (Р) У- 1.1(1;
Итак, простой категорический силлогизм — это умозаключен ние об отношении двух крайних терминов на основании их отношения к среднему термину. Правомерность вывода, т.е. логического перехода от посылок к заключению, в категорическом силлогизме основывается на положении (аксиоме силлогизма): все, что утверждается или отрицается относительно всех предметов некоторого класса, утверждается или отрицается относительно каждого предмета и любой части предметов этого класса1. В данном примере — все, что утверждается относительно всех обвиняемых, утверждается и относительно конкретного обвиняемого (см. в круговых схемах рис. 47). Рассмотрим силлогизм: Религиозные организации (М) не выполняют государственных функций (Р) Церковь (S) — религиозная организация (М)
Церковь (S) не выполняет государственных функций (Р) В этом силлогизме все, что отрицается относительно каждой религиозной организации, отрицается и относительно некоторой части этих организаций (рис. 48). Рис. 47 Рис. 48 ' Существует другая, так называемая атрибутивная, формулировка: признак признака некоторой вещи есть признак самой этой веши; то, что противоречит признаку вещи, противоречит и вещи.
Правила терминов силлогизма
Из истинных посылок не всегда можно получить истинное заключение. Его истинность обусловлена правилами силлогизма. Этих] правил семь: три относятся к терминам и четыре — к посылкам. ', Правила терминов. 1-е правило: в силлогизме должно быть только три термина. Вывод в силлогизме основан на отношении двух крайних терминов к среднему, поэтому в нем не может быть ни меньше, ни больше трех терминов. Нарушение этого правила связано с отождествлением разных понятий, которые принимаются за одно и рассматриваются как средний термин. Эта ошибка основана на нарушении требований закона тождества и называется учетверением терминов. Нельзя, например, получить заключение из посылок: «Законы не создаются людьми» и «Закон — это нормативный акт, принятый высшим органом государственной власти», так как вместо трех терминов мы имеем дело с четырьмя: в первой посылке имеются в виду объективные законы, существующие независимо от сознания людей, во второй — юридический закон, устанавливаемый государством. Это два разных понятия, которые не могут связать крайние термины. 2-е правило: средний термин должен быть распределен хотя бы в одной из посылок'. Если средний термин не распределен ни в одной из посылок, то связь между крайними терминами остается неопределенной. Например, в посылках «Некоторые юристы (М—) — члены коллегии адвокатов (Р)», «Все сотрудники нашего коллектива (S) — юристы (М—)» средний термин (М) не распределен в большей посылке, так как является субъектом частного суждения, и не распределен в меньшей посылке как предикат утвердительного суждения. Следовательно, средний термин не рас-, пределен ни в одной из посылок, поэтому необходимую связь между крайними терминами (S и Р) установить нельзя, что видно из рис. 49, на котором изображены три возможных случая: 1) «Ни один сотрудник нашего коллектива не является членом коллегии адвокатов» (Si); 2) «Некоторые сотрудники нашего коллектива — члены коллегии адвокатов» (82); 3) «Все сотрудники нашего коллектива — члены коллегии адвокатов» (S.i). 3-е правило: термин, не распределенный в посылке, не может бЫть распределен и в заключении. О распределенности терминов в суждениях см. гл. IV § 2, Распределенн термина обозначается знаком «+», нераспределенность — знаком «-
Правила посылок силлогизма
1-е правило: хотя бы одна из посылок должна быть утвердительным суждением. Из двух отрицательных посылок заключение с необходимостью не следует., Например, из посылок «Студенты нашего института (М) не изучают биологию (Р)», «Сотрудники НИИ (S) не являются студентами нашего института (М)» нельзя получить необходимого заключения, так как оба крайних термина (S и Р) исключаются из среднего. Поэтому средний термин не может установить определенного отношения между крайними терминами. В заключении меньший термин (М) может полностью или частично входить в объем большего термина (Р) или полностью исключаться из него. В соответствии с этим возможны три случая: 1) «Ни один сотрудник НИИ не изучает биологию (Si); 2) «Некоторые сотрудники НИИ изучают биологию» (Si); 3) «Все сотрудники НИИ изучают биологию» (8э) (рис. 50). 2-е правило: если одна из посылок — отрицательное суждение, то и заключение должно быть отрицательным. Например: Судья, являющийся родственником потерпевшего (М), не может участвовать в рассмотрении дела (Р) Судья К. (S) — родственник потерпевшего (М) Судья К. (S) не может участвовать в рассмотрении дела (Р) Этот пример показывает, что в силлогизме с одной отрицательной посылкой средний термин исключается из объема крайнего термина (в данном случае — большего), поэтому объем крайнего термина, который входит в объем среднего, исключается из объема другого крайнего термина (рис. 51). 3-е и 4-е правила являются производными, вытекающими из рассмотренных. 3-е правило: хотя бы одна из посылок должна быть общим суждением. Из двух частных посылок заключение с необходимостью не следует. Если обе посылки — частноутвердительные суждения (II), то вывод сделать нельзя согласно 2-му правилу терминов: в частно-утвердительном суждении ни субъект, ни предикат не распределены, поэтому и средний термин не распределен ни в одной из посылок. Если обе посылки — частноотрицательные суждения (00), то вывод сделать нельзя согласно 1-му правилу посылок. Если одна посылка — частноутвердительная, а другая — част-нотрицательная (10 или 01), то в таком силлогизме распределенным будет только один термин — предикат частноотрицательного суждения. Если этим термином будет средний, то вывода сделать нельзя, так, согласно 2-му правилу посылок, заключение должно быть отрицательным. Но в этом случае предикат заключения должен быть
распределен, что противоречит 3-му правилу терминов: 1) больший термин, не распределенный в посылке, окажется распределенным в заключении; 2) если же больший термин распределен, то вывода не следует согласно 2-му правилу терминов. 1) Некоторые М(-) суть Р(-) Некоторые S(-) не суть (М+) 2) Некоторые М(-) не суть Р(+) Некоторые S(-) суть М (-) Ни один из этих случаев не дает необходимых заключений, в чем легко убедиться, подобрав соответствующие примеры. 4-е правило: если одна из посылок — частное суждение, то и заключение должно быть частным. Если одна посылка общеутвердительная, а другая — частноу-твердительная (AI, IA), то в них распределен только один термин — субъект общеутвердительного суждения. Согласно 2-му правилу терминов, это должен быть средний термин. Но в таком случае два крайних термина, в том числе меньший, не будут распределены. Поэтому в соответствии с 3 правилом терминов меньший термин не будет распределен в заключении, которое будет частным суждением. Например: Все студенты нашего института (М+) изучают логику (Р-) Некоторые сотрудники милиции (S-) — студенты нашего института (М-) Некоторые сотрудники милиции (S-) изучают логику (Р-) Если одна из посылок утвердительная, а другая — отрицательная, причем одна из них частная (EI, АО, ОА), то распределенными окажутся два термина: субъект и предикат общеотрицательного суждения (EI) или субъект общего и предикат частного суждения (АО, ОА). Но в том и другом случае, согласно 2-му правилу посылок, заключение будет отрицательным, т.е. суждением с распределенным предикатом. А так как вторым распределенным термином должен быть средний (2-е правило терминов), то меньший термин в заключении окажется нераспределенным, т.е. заключение будет частным. Например: Все врачи (Р+) имеют медицинское образование (М-) Некоторые из присутствующих (S-) не имеют медицинского образования (М+) Некоторые из присутствующих (S-) не врачи (Р+)
Правила фигур силлогизма
Правила 1-й фигуры: 1. Большая посылка — общее суждение. 2. Меньшая посылка — утвердительное суждение. Докажем сначала 2-е правило. Если меньшая посылка будет отрицательным суждением, то согласно 2-му правилу посылок заключение также будет отрицательным, в котором Р распределен. Но тогда он будет распределен и в большей посылке, которая также должна быть отрицательным суждением (в утвердительном суждении Р не распределен), а это противоречит 1-му правилу посылок. Если же большая посылка будет утвердительным суждением, то Р будет не распределен. Но тогда он не будет распределен и в заключении (согласно 3-му правилу терминов) Заключение с нераспределенным Р может быть только утвердительным суждением, так как в отрицательном суждении Р распределен. А это значит, что и меньшая посылка — утвердительное суждение, так как в противном случае заключение будет о1рицательным. Теперь докажем 1-е правило. Так как средний термин в этой фигуре занимает место субъекта в большей и место предиката в меньшей посылке, то, согласно 2-му правилу терминов, он должен быть распределен хотя бы в одной из посылок. Но меньшая посылка — утвердительное суждение. Значит, средний термин в ней не ^ распределен. Но в таком случае он должен быть распределен в большей посылке, а для этого она должна быть общим суждением (в частной посылке субъект не распределен). Исключим сочетания посылок IA, ОА, IE, которые противоречат 1-му правилу фигуры, и сочетания АЕ и АО, противоречащие 2-му правилу. Остаются четыре модуса ААА, ЕАЕ, АН, ЕЮ, которые являются правильными. Эти модусы показывают, что 1-я фигура дает любые заключения: общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные, что и определяет ее познавательное значение и широкое применение в рассуждениях.
Правильные модусы можно вывести более простым способом, исключив комбинации посылок, не соответствующие общим правилам, исключить и те, которые не соответствуют правилам фигур. 1-я фигура — наиболее типичная форма дедуктивного умозаклю-^ чения. Из общего положения, выражающего нередко закон науки, правовую норму, делается вывод об отдельном факте, единичном случае, конкретном лице. Широко применяется эта фигура в судебной практике. Юридическая оценка (квалификация) правовых явлений, применение нормы права к отдельному случаю, назначение наказания за преступление, совершенное конкретным лицом, и другие судебные решения принимают логическую форму 1-й фигуры силлогизма. Например: Все лица, лишенные свободы (М), имеют право на гуманное обращение и уважение достоинства, присущего человеческой личности (Р) H.(S) лишен свободы (М) H.(S) имеет право на гуманное обращение и уважение достоинства, присущего человеческой личности (Р) Правила 2-й фигуры: 1. Большая посылка — общее суждение. 2. Одна из посылок — отрицательное суждение. Второе правило фигуры выводится из 2-го правила терминов (средний термин должен быть распределен хотя бы в одной из посылок). Но так как средний термин занимает место предиката в обеих посылках, то одна из них должна быть отрицательным суждением, т.е. суждением с распределенным предикатом. Если одна из посылок — отрицательное суждение, то и заключение должно быть отрицательным (суждение с распределенным предикатом) Но в этом случае предикат заключения (больший термин) должен быть распределен и в большей посылке, где он занимает место субъекта суждения. Такой посылкой должно быть общее суждение, в котором субъект распределен. Значит, большая посылка должна быть общим суждением. Правила 2-й фигуры исключают сочетания посылок АА, IA, ОА, IE, A1, оставляя модусы ЕАЕ, AEE, ЕЮ, АОО, которые показывают, что эта фигура дает только отрицательные заключения. 2-я фигура применяется, когда необходимо показать, что отдельный случай (конкретное лицо, факт, явление) не может быть подведен под общее положение. Этот случай исключается из числа предметов, о которых сказано в большей посылке. В судебной практике 2-я фигура используется для заключений об отсутствии состава преступления в данном конкретном случае, для опровержения положений, противоречащих тому, о чем говорится в посылке, выражающей общее положение. Международный пакт о гражданских и политических правах. Например: Подстрекателем (Р) признается лицо, склонившее другое лицо к совершению преступления (М) H.(S) не признается лицом, склонившим другое лицо к совершению преступления (М) H.(S) не является прдстрекателем (Р) Правила 3-й фигуры: 1. Меньшая посылка — утвердительное суждение. 2. Заключение — частное суждение. 1-е правило доказывается так же, как 2-е правило 1-й фигуры. Но если меньшая посылка — утвердительное суждение, то его предикат (меньший термин силлогизма) не распределен. Термин, не распределенный в посылке, не может быть распределен в заключении. Значит, заключение должно быть частным суждением. Давая только частные заключения, 3-я фигура применяется чаще всего для установления частичной совместимости признаков, относящихся к одному предмету. Например: Осмотр места происшествия (М) имеет одной из своих задач обнаружение следов преступления (Р) Осмотр места происшествия (М) — следственное действие (S) Некоторые следственные действия (S) имеют одной из своих задач обнаружение следов преступления (Р) В практике рассуждения 3-я фигура применяется сравнительно редко. 4-я фигура силлогизма также имеет свои правила и модусы. Однако выведение заключения из посылок по этой фигуре не характерно для естественного процесса рассуждения. Например: Захват заложника (Р) — преступление против общественной безопасности (М) Преступление против общественной безопасности (М) — общественно опасное деяние, предусмотренное Особенной частью Уголовного кодекса (S) Некоторые общественно опасные деяния, предусмотренные Особенной частью Уголовного кодекса (S), являются захватом заложника (Р) Такой ход рассуждения представляется в известной мере искусственным, на практике выводы в подобных случаях делаются обычно по 1-й фигуре: Преступления против общественной безопасности (М) - общее гвенно опасные деяния, предусмотренные Особенной часты Уголовного кодекса (Р) Захват заложника (S) — преступление против общественной безопасности (М) Захват заложника (S) — общественно опасное деяние, предусмотренное Особенной частью Уголовного кодекса (Р) Так как ход рассуждения по 4-й фигуре не типичен для процесса мышления, а познавательная ценн.
34.Сокращённый силлогизм(энтимема) Силлогизм, в котором выражены все его части — обе посылки и заключение, называется полным. Такие силлогизмы были рассмотрены в предыдущих разделах. Однако на практике чаще используются силлогизмы, в которых одна из посылок или заключение явно не выражаются, а подразумеваются. Силлогизм с пропущенной посылкой или заключением называется сокращенным силлогизмом, или энтимемой1. Широко используются энтимемы простого категорического силлогизма, особенно выводы по первой фигуре. Например: «Н. совершил преступление и поэтому подлежит уголовной ответственности». Здесь пропущена большая посылка: «Лицо, совершившее преступление, подлежит уголовной ответственности». Она представляет собой общеизвестное положение, формулировать которое необязательно. Полный силлогизм строится по 1-й фигуре: Лицо, совершившее преступление (М), подлежит уголовной ответственности (р) Н. (s) совершил преступление (М) Н. (s) подлежит уголовной ответственности (р) Пропущенной может быть не только большая, но и меньшая. посылка, а также заключение: «Лицо, совершившее преступление, подлежит уголовной ответственности, а значит Н. подлежит уголов- Энтимема в переводе с греческого буквально означает «в уме». 153
ной ответственности». Или: «Лицо, совершившее преступление, подлежит уголовной ответственности, а Н. совершил преступление». Пропущенные части силлогизма подразумеваются. В зависимости от того, какая часть силлогизма пропущена, различают три вида энтимемы: с пропущенной большей посылкой, с пропущенной меньшей посылкой и с пропущенным заключением. Умозаключение в форме эшимемы может быть построено и по 2-й фигуре; по 3-й фигуре оно строится редко. Форму энтимемы принимают также умозаключения, посылками которых являются условные и разделительные суждения. Рассмотрим наиболее распространенные виды энтимем. Условно-категорический силлогизм с пропущенной большей посылкой: «Уголовное дело не может быть возбуждено, так как событие преступления не имело места». Здесь пропущена большая посылка — условное суждение «Если событие преступления не имело места, то уголовное дело не может быть возбуждено». Она содержит известное положение Уголовно-процессуального кодекса, которое подразумевается. Разделительно-категорический силлогизм с пропущенной большей посылкой: «По данному делу не может быть вынесен оправдательный приговор, он должен быть обвинительным». Большая посылка — разделительное суждение «По данному делу может быть вынесен либо оправдательный, либо обвинительный приговор» не формулируется. Разделительно-категорический силлогизм с пропущенным заключением: «Смерть произошла либо в результате убийства, либо в результате самоубийства, либо в результате несчастного случая, либо в силу естественных причин. Смерть произошла в результате несчастного случая». Заключение, отрицающее все другие альтернативы, обычно не формулируется. Использование сокращенных силлогизмов обусловлено тем, что пропущенная посылка или заключение либо содержит известное положение, которое не нуждается в устном или письменном выражении, либо в контексте выраженных частей умозаключения она легко подразумевается. Именно поэтому рассуждение протекает, как правило, в форме энтимем. Но, поскольку в энтимеме выражены не все части умозаключения, скрывающуюся в ней ошибку обнаружить труднее, чем в полном умозаключении. Поэтому для проверки правильности рассуждения следует найти пропущенные части умозаключения и восстановить энтимему в полный силлогизм.
Билет 35. Чисто условное умозаключение Чисто условным называется умозаключение, обе посылки кото- 1^в рого являются условными суждениями. Например: Если изобретение создано совместным творческим трудом нескольких граждан (р), все они признаются соавторами изобретения (q). Если они признаются соавторами изобретения (q), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (г) Если изобретение создано совместным творческим трудом нескольких граждан (р), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (г)
В приведенном примере обе посылки — условные суждения, причем следствие первой посылки является основанием второй (q), из которого, в свою очередь, вытекает некоторое следствие (г). Общая часть двух посылок (q) позволяет связать основание первой (р) и следствие второй (г). Поэтому заключение также выражается в форме условного суждения. Схема чисто условного умозаключения: (р -> q) ^ (q -> г) р —> г p->r Вывод в чисто условном умозаключении основывается на правиле: следствие следствия(r) есть следствие основания(p). Умозаключение, в котором заключение получается из двух условных посылок, относится к простым. Однако заключение может следовать из большего числа посылок, которые образуют цепь условных суждений. Такие умозаключения называются сложными.
Билет 36. Условно-категорическое умозаключение. Условно-категорическим называется умозаключение, в котором одна из посылок —условное, а другая посылка и заключение — категорические суждения. Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий. Они дают достоверные выводы. 1. В утверждающем модусе (modus ponens) посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия; рассуждение направлено от утверждения истинности основания к утверждению истинности следствия. Например: Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q) Иск предъявлен недееспособным лицом (р) Суд оставляет иск без рассмотрения (q) Первая посылка — условное суждение, выражающее связь основания (р) и следствия (q). Вторая посылка — категорическое суждение, в котором утверждается истинность основания (р): иск предъявлен недееспособным лицом. Признав истинность основания (р), мы признаем истинность следствия (q): суд оставляет иск без рассмотрения.
Схема модуса:
(1) р->q,p q 2. В отрицающем модусе (modus tollens) посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания. Например: Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q) Суд не оставил иск без рассмотрения (не-q) Неверно, что иск предъявлен недееспособным лицом (не-р) Схема отрицающего модуса:
(2) р->q,не q не p Нетрудно установить, что возможны еще две разновидности условно-категорического силлогизма: от отрицания истинности основания к отрицанию истинности следствия (3) и от утверждения истинности следствия к утверждению истинности основания(4), т.е.: (3) Р-^Р, \ / ^Ч А (4)-^Г- | Однако заключение по этим модусам не будет достоверными Так, если в примере, приведенном выше, основание условной посылки отрицается: неверно, что иск предъявлен недееспособным лицом (схема 3), нельзя с достоверностью отрицать истинность следствия: неверно, что суд оставляет иск без рассмотрения. Суд может оставить иск без рассмотрения и по другим обстоятельствам, например в результате истечения срока исковой давности. Утверждение следствия: суд оставляет иск без рассмотрения (схема 4) не влечет с необходимостью истинность основания: суд Поскольку двойное отрицание равнозначно утверждению, вывод можно записать так: «Иск предъявлен дееспособным лицом». Модусы могут быть представлены в записи: 1) ((р-щ) л р)-щ; 2) ((р-кО л-1 q)-»1 р; 3) ((р-к]) л1 р)-П q; 4) ((р-к)), может оставить иск без рассмотрения не только в результате недееспособности истца, но и по другим причинам. Итак, из четырех модусов условно-категорического умозаключения, исчерпывающих все возможные комбинации посылок, достоверные заключения дают два: утверждающий (modus ponens) (1) и отрицающий (modus tollens) (2). Они выражают законы логики и называются правильными модусами условно-категорического умозаключения. Эти модусы подчиняются правилу: утверждение основания ведет к утверждению следствия и отрицание следствия — к отрицанию основания. Два других модуса (3 и 4) достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу: отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания. Необходимость вывода по утверждающему и отрицающему модусам можно показать с помощью таблиц истинности. Утверждающий модус
Истинность импликации (столбик 3) зависит от истинности антецедента (основания) (1) и консеквента (следствия) (2). Импликация считается ложной тогда и только тогда, когда антецедент истинен, а консеквент ложен (2-я строка таблицы). Во всех остальных случаях импликация истинна. Истинность или ложность конъюнкции (4-й столбик) также зависит от составляющих ее членов (3 и 1). Конъюнкция истинна тогда и только тогда, когда истинны оба ее члена (1-я строка таблицы). Теперь установим истинность импликации (5-й столбик таблицы — утверждающий модус). Так как импликация антецедента (4) и консеквента (2) не содержит случая, когда антецедент истинен, а консеквент ложен, то импликация всегда истинна. Следовательно, высказывание ((р —> q) л р) —> q является логическим законом.
Билет 37. Разделительно-категорическое умозаключение. Разделительно-категорическим называется умозаключение, в котором одна из посылок — разделительное, а другая посылка и заключение — категорические суждения. Простые суждения, из которых состоит разделительное (дизъюнктивное) суждение, называются членами дизъюнкции, или дизъюнктами. Например, разделительное суждение «Облигации могут быть предъявительскими или именными» состоит из двух суждений — дизъюнктов: «Облигации могут быть предъявительскими» и «Облигации могут быть именными», соединенных логическим союзом «или». Утверждая один член дизъюнкции, мы с необходимостью должны отрицать другой и, отрицая один из них, — утверждать другой. В соответствии с этим различают два модуса разделительно-категорического умозаключения: (1) утверждающе-отрицающий и (2) отрицающе-утверждающий. 1. В утверждающе-отрицающем модусе (меньшая посылка) — категорическое суждение — утверждает один член дизъюнкции, заключение — также категорическое суждение — отрицает другой ее член. Например; Облигации могут быть предъявительскими (р) или именными (q) Данная облигация предъявительская (q) Данная облигация не является именной (не-q) Заключение по этому модусу всегда достоверно, если соблюдает-1 ся правило: большая посылка должна быть исключающе-раздели-тельным суждением, или суждением строгой дизъюнкции. Если это правило не соблюдается, достоверного заключения получить нельзя. В самом деле, из посылок «Кражу совершил К. или Л.» и «Кража совершена К.» заключение «Л. кражу не совершал» с необходимостью не следует. Возможно, что Л. также причастен к совершению кражи, является соучастником К. 2. В отрицающе-утверждающем модусе меньшая посылка отрицает один дизъюнкт, заключение утверждает другой. Например: Облигации могут быть предъявительскими (р) или именными (q) Данная облигация не является предъявительской (не-р) Данная облигация именная (q) Схема отрицающе-утверждающего модуса: <pvq>,1p q < > — символ закрытой дизъюнкции. Утвердительный вывод получен посредством отрицания: отрицая один дизъюнкт, мы утверждаем другой. Заключение по этому модусу всегда достоверно, если соблюдается правило: в большей посылке должны быть перечислены все возможные суждения — дизъюнкты, иначе говоря, большая посылка должна быть полным (закрытым) дизъюнктивным высказыванием. Применяя неполное (открытое) дизъюнктивное высказывание, достоверного заключения получить нельзя. Например: Сделка может быть двусторонней или многосторонней Совершенная сделка не является двусторонней Совершенная сделка является многосторонней Однако это заключение может оказаться ложным, так как в большей посылке учтены не все возможные виды сделок: посылка представляет собой неполное, или открытое, дизъюнктивное высказывание (сделка может быть и односторонней, для совершения которой достаточно изъявления воли одного лица — выдача доверенности, составление завещания, отказ от наследства и т.п.). Разделительная посылка может включать не два, а три и больше членов дизъюнкции. Например, в процессе расследования причин пожара на складе следователь предположил, что пожар мог возникнуть либо вследствие неосторожного обращения с огнем (р), либо в результате самовоспламенения хранящихся на складе материалов (q), либо в результате поджога (г). В ходе расследования было установлено, что пожар возник вследствие неосторожного обращения с огнем (р). В этом случае все другие дизъюнкты отрицаются. Умозаключение принимает форму утверждающе-отрицающего модуса и строится по схеме: р ¥ q ¥ г, р Q л1r Возможен и другой ход рассуждения. Допустим, предположения о том, что пожар возник вследствие неосторожного обращения с огнем или в результате самовоспламенения хранящихся на складе материалов не подтвердилось. В этом случае умозаключение примет форму отрицающе-утверждающего модуса и будет построено по схеме: _______ <pvqvr>,1pv1q г (пожар возник в результате поджога) Заключение будет истинным, если в условной посылке учтены все возможные случаи. Разделительно-категорическое умозаключение находит широкое применение в судебно-следственной практике, особенно при построении и проверке следственных версий. Билет 38-42. Условно-разделительное умозаключение и его виды. (Простая конструктивная дилемма, сложная конструктивная дилемма, простая деструктивная дилемма, сложная деструктивная дилемма) Умозаключение, в котором одна посылка условное, а другая — разделительное суждения, называется условно-разделительным, или лемматическим. Разделительное суждение может содержать две, три и большее число альтернатив2, поэтому лемматические умозаключения делятся на дилеммы (две альтернативы), трилеммы (три альтернативы) и т.д. Рассмотрим на примере дилеммы структуру и виды условно-разделительного умозаключения. Различают два вида дилемм: конструктивную (созидательную) и деструктивную (разрушительную), каждая из которых делится на простую и сложную. В простой конструктивной дилемме условная посылка содержит два основания, из которых вытекает одно и то же следствие. Разделительная посылка утверждает оба возможных основания, заключение утверждает следствие. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствия. Пример: Если обвиняемый виновен в заведомо незаконном задержании (р), то он подлежит уголовной ответственности за преступление против правосудия (г), если он виновен в заведомо незаконном заключении под стражу (q), то он также подлежит уголовной ответственности за преступление против правосудия (r). Обвиняемый виновен или в заведомо незаконном задержании (р), или в заведомо незаконном заключении под стражу (q) Обвиняемый подлежит уголовной ответственности за преступление против правосудия (г) В сложной конструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка утверждает оба возможных основания. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий. Схема сложной конструктивной дилеммы: (p->q)A(r->s),pvr q v s Если сберегательным сертификат является предъявительским (р), то он передается другому лицу путем вручения (q), если он является именным (г), то передается в порядке, установленном для уступки требований (s) Но сберегательный сертификат может быть предъявительским (р) или именным (г) Сберегательный сертификат передается другому лицу путем вручения (q) или в порядке, установленном дл
|
||||||||||||||||||||||||||||||||
Последнее изменение этой страницы: 2016-04-19; просмотров: 388; Нарушение авторского права страницы; Мы поможем в написании вашей работы! infopedia.su Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Обратная связь - 18.188.43.246 (0.012 с.) |