ответы к экзамену по логике. ЛОГИКА. Предмет логики. Логика в юриспруденции
 Скачать 248.14 Kb.
|
|
ЛОГИКА 1) Предмет логики. Логика в юриспруденции. Юридическая логика — прикладной вид знаний, рассматривающий применение общей логики в конкретной специфической сфере человеческой деятельности — юриспруденции. Юридическая логика включает в себя все положения науки логики, демонстрируя вместе с тем особенности и значение их в юридической деятельности. Логика — наука всеобщая, ее положения распространяются на все виды мыслительной деятельности. Законам и правилам логики подчиняются рассуждения на любую тему, если они претендуют на истинность, при этом не имеет значения, осознает или не осознает их рассуждающий 2) Понятие как форма мышления. Общая характеристика понятий. Виды понятий. Понятие– это форма мышления, посредством которой отражаются общие и существенные признаки предмета или определённого класса предметов и присущих ему свойств. 1). Анализ – мысленное расчленение предметов на их составные части, мысленное выделение в них признаков. 2). Синтез – мысленное соединение в единое целое частей предмета или его признаков, полученных в процессе анализа. 3). Сравнение – мысленное установление сходства или различия предметов по существенным или несущественным признакам. 4). Абстрагирование - мысленное выделение одних признаков предмета и временное отвлечение от других (несущественных). 5). Обобщение — мысленное объединение отдельных предметов в некотором понятии, группировка предметов на основе общих признаков. В процессе обобщения человек как бы отходит от конкретного многообразия предметов, отвлекается от множества деталей, чтобы глубже познать основное, наиболее важное. Различают два вида правовых понятий: относительно-правовые и специально- правовые.Относительно-правовые понятия используются не только в правовой, но и в других сферах деятельности. Например, понятия «закон», «свидетель», «статья», «следствие», «доказательство», «факт» и другие могут иметь не только правовое, но и иное содержание. Специально-правовые понятия отражают только правовые качества объекта. Например, «истец», «ответчик», «суд присяжных», «правонарушение» и др. 3) Логические отношения между понятиями. между понятиями могут быть только два вида отношений – сравнимость и несравнимость. Далекие друг от друга по своему содержанию понятия, не имеющие общих признаков, называются несравнимыми (романс и кирпич). Между ними невозможны логические отношения. Сравнимые понятия – это понятия, имеющие в своем содержании общие, существенные признаки (по которым они и сравниваются). Напр., право и мораль. Отношения между понятиями изображают с помощью схем – кругов Эйлера. Между сравнимыми понятиями возможны два вида отношений по объему: совместимость и несовместимость. Совместимые понятия – это такие, объемы которых полностью или частично совпадают. Между совместимыми понятиями складываются следующие отношения: 1 – равнообъемность. Равнообъемными или равнозначными называются понятия, которые различаются по своему содержанию, но объемы которых совпадают. Напр., «Л.Н. Толстой» – А и «автор романа «Война и мир» – В. Объемы тождественных понятий изображаются кругами, полностью совпадающими. 2 – перекрещивание. Перекрещивающимися называются понятия, объемы которых частично совпадают, напр. «студент» и «спортсмен», «юрист» и «писатель». Они изображаются пересекающимися кругами. В перекрещивающейся части двух кругов мыслятся студенты, являющиеся спортсменами. В левой части круга мыслятся студенты, не являющиеся спортсменами, а в правой части – спортсмены, не являющиеся студентами. 3 – подчинение. В отношении подчинения (субординации) находятся понятия, если объем одного полностью входит в объем другого, но не исчерпывает его. Это отношение вида – В и рода – А (млекопитающее и кошка). Несовместимыми называются понятия, объемы которых не совпадают. Несовместимые понятия могут находиться между собой в следующих отношениях. 1 – соподчинение. В отношении соподчинения (координации) находятся понятия, объемы которых исключают друг друга, но принадлежат некоторому более общему родовому понятию. Напр., «ель» – B, «береза» – C принадлежат объему понятия «дерево» – А. Они изображаются неперекрещивающимися кругами внутри общего круга. Это виды одного и того же рода. 2 – противоположность. В отношении противоположности (контрарности) находятся два понятия, признаки которых противоречат друг другу, а сумма их объемов не исчерпывает родового понятия (храбрость – трусость). 3 – противоречие. В отношении противоречия (контрадикторности) находятся такие два понятия, которые являются видами одного и того же рода, и при этом одно понятие указывает на некоторые признаки, а другое эти признаки отрицает, исключает, не заменяя никакими другими (напр., А – белая краска, тогда понятие, находящееся с ним в отношениях противоречия, следует обозначить не-А (не белая краска). Круг Эйлера в этом случае делится пополам и между ними нет никакого третьего понятия. 4) Закон обратного отношения между объемом и содержанием понятий. В этом законе речь идет о понятиях, находящихся в родовидовых отношениях. Объем одного понятия может входить в объем другого понятия и составлять при этом лишь его часть. Например, объем понятия “хищная рыба” целиком входит в объем другого, более широкого по объему понятия “рыба” (составляет часть объема понятия “рыба”). При этом содержание первого понятия оказывается шире, богаче (содержит больше признаков), чем содержание второго. На основе обобщения такого рода примеров можно сформулировать следующий закон: чем шире объем понятия, тем уже его содержание, и наоборот. Этот закон называется законом обратнох-о отношения между объемами и содержаниями понятий. Он указывает на то, что чем меньше информации о предметах, заключенной в понятии, тем шире класс предметов и неопределеннее его состав (например, “водопад”), и наоборот, чем больше информации в понятии (например, “крупный водопад” или “крупный водопад в Канаде”), тем уже и определеннее круг его предметов, или даже мыслится только один предмет. 5) Приемы образования понятий. Логическими приемами образования понятий являются: сравнение, анализ, синтез, абстрагирование, обобщение. Сравнение - это такой логический прием, который помогает устанавливать сходство или различие предметов 6) Деление понятий. Виды и правила деления понятий. Деление понятия – это логическая операция, в результате которой совершают п делимое понятие – это понятие, объем которого подлежит делению члены деления – это видовые понятия, которые получают в результате деления; основание деления – это признак, на основе которого объем родового понятия делят на объемы видовых понятий. Логическая операция деления может быть представлена схемой, где А – делимое понятие, В, С, D – члены деления Деление по видообразующим признакам характеризуется тем, что каждому члену деления присущ признак, положенный в основание деления, причем каждый раз этот признак видоизменяется. Так, в нашем примере все государства имеют географическое положение, но для членов деления это положение отличается. +При дихотомическом делении в объёме делимого понятия выделяются два члена деления, один из которых имеет признак, положенный в основание деления, а другой нет. Например, преступление может быть умышленным и неумышленным. Деление должно быть соразмерным, т.е. сумма членов деления должна быть равна делимому понятию (А=В). Например, выделяют такие виды треугольников как прямоугольный, остроугольный и тупоугольный. 7) Дефиниция (определение). Виды определений. С помощью дефиниции как логической операции устанавливают область («границы») применимости некоторого слова или словосочетания, характеризуя его смысл и значение. Дефиницию можно рассматривать как логический прием, позволяющий отличать некоторое множество объектов от множества других объектов, т.е. производить его спецификацию посредством явного указания на отличительную совокупность его признаков. – Определяемое выражение (дефиниендум), т.е. то выражение, которое подлежит определению (сокр. Dfd) +– Определяющее выражение (дефиниенс), т.е. выражение, с помощью которого характеризуется значение дефиниендума (сокр. Dfn) – Связка типа «есть», «обозначает», «является» и т.п., которая констатирует, что дефиниендум имеет то же самое значение, что и дефиниенс. 8) Общая характеристика суждения. Виды суждений. Суждение - это форма мышления, в которой утверждается или отрицается связь между предметом и его признаком или отношение между предметами и которая обладает свойством выражать либо истину, либо ложь. Суждение о связи предмета и его признака состоит из двух понятий - двух терминов суждения: субъекта (от латинского слова subjektum), отражающего предмет суждения, и предиката (от латинского слова praedikatum), отражающего признак предмета. Субъект и предикат обозначаются латинскими буквами S и Р. Кроме субъекта и предиката суждение включает в свой состав связку - элемент суждения, который соединяет оба термина суждения, утверждая или отрицая принадлежность предмету некоторого признака. Связка выражается словами "есть" ("не есть"), "является" ("не является") и т. п. Суждения делятся на простые и сложные. Простым называется суждение, выражающее связь двух понятий. Суждение, состоящее из нескольких простых суждений, называется сложным 9) Правила дефиниции (определения). Необходимо различать определения: · законодательные (основанные на законодательных или нормативных документах ); · вытекающие из судебной практики (т.е. из судебных решений); · доктринальные (предлагаемые каким-либо автором или какой-либо школой права) 10) Сложные суждения: конъюнкция и дизъюнкция. Конъюнктивное суждение (конъюнкция) – это сложное суждение с соединительным союзом «и», который обозначается в логике условным знаком «∧». С помощью этого знака конъюнктивное суждение, состоящее из двух простых суждений, можно представить в виде формулы: a∧b (читается «a и b»), где a и b – это два каких-либо простых суждения. Дизъюнктивное суждение(дизъюнкция) – это сложное суждение с разделительным союзом «или». Вспомним, что, говоря о логических операциях сложения и умножения понятий, мы отмечали неоднозначность этого союза – он может использоваться как в нестрогом (неисключающем) значении, так и в строгом (исключающем) 11) Сложные суждения: импликация и эквиваленция. Импликация (условное суждение) - лог. связка "Если…, то…" Обычно обозначается знаком "→". "Если перерезать провод, то лампа погаснет" - первое суждение "перерезать провод" называется основание (антецендент), второе - "лампа погаснет" - следствие (консеквент). Импликативные суждения истинны во всех случаях, кроме одного когда антецедент - истинен, а консеквент - ложен. То есть в случае, когда причина возникла, а следствие не наступает, вся импликация является ложной. Эквиваленция (двойная импликация) - логическая связка "если и только если…, то…" ("тогда и только тогда, когда…"). Обычно обозначается знаком "≡".Эквивалентные суждения являются равнозначными. Поэтому они истинны при равных значения членов эквиваленции и ложны - при разных. 12) Косвенное обоснование тезиса (доказательство): структура, виды. Косвенное доказательство — это обоснование истинности тезиса с помощью антитезиса — суждения, противоречащего тезису. Мы обосновываем ложность антитезиса и, опираясь на закон исключенного третьего, гласящего, что из двух противоположных суждений одно обязательно истинно, тем самым доказываем истинность противоречащего ему утверждения — тезиса Аргументы: 1. Если вокруг огнестрельной раны обнаруживают внедрение пороха (А), то выстрел был близкий (Т). 2. Вокруг огнестрельной раны на теле Н. обнаружены внедрения пороха (А). (2) Индуктивное обоснование — это логический переход от аргументов, в которых представлена информация об отдельных случаях определенного рода, к тезису, обобщающему эти случаи. Приведем конкретный пример прямого индуктивного обоснования. Тезис: Для всех преступлений против собственности Уголовным кодексом РФ предусмотрено в качестве одного из видов санкции — лишение свободы. Аргументы: (1) Преступления против собственности граждан предусмотрены в одиннадцати статьях 21-й главы Уголовного кодекса РФ: кража, грабеж, разбой, мошенничество, вымогательство и т.д. (2) Для каждого из одиннадцати преступлений в качестве одного из видов санкции предусмотрено лишение свободы. (3) Обоснование в форме аналогии — это прямое обоснование тезиса, в котором формулируется утверждение о свойствах единичного явления. 2. Косвенным называют обоснования тезиса путем установления ложности антитезиса или других конкурирующих с тезисом допущений. Конкурирующими с тезисом (Т) допущениями могут быть две их разновидности: (1) противоречащее тезису суждение, которое называют антитезисом (1 Т), (2) члены дизъюнкции в разделительном суждении В структуре конкурирующих допущений определяет два вида косвенного обоснования: (1) апагогическое и (Т) разделительное. (1) Апагогическим1 называют обоснование тезиса путем у становления ложности противоречащего ему допущения — антитезиса. (2) Разделительным называют косвенное обоснование тезиса, выступающего членом дизъюнкции, путем установления ложности и исключения всех других конкурирующих членов дизъюнкции 13) Общая характеристика законов логики. Закон логики - это необходимая, существенная связь между мыслями в рассуждении. К основным законам формальной логики относятся: закон тождества, закон противореч ия, закон исключенного третьего и закон достаточного основания. 14) Закон тождества. Зако́н то́ждества — принцип постоянства или принцип сохранности предметного и смыслового значений суждений (высказываний) в некотором заведомо известном или подразумеваемом контексте (в выводе, доказательстве, теории). Является одним из законов классической логики. 15) Закон противоречия. Закон непротиворечия (закон противоречия) — закон логики, который гласит, что два несовместимых (противоречащих либо противоположных) суждения не могут быть одновременно истинными. По крайней мере, одно из них необходимо ложно. 16) Закон исключенного третьего. Закон исключенного третьего действует только в отношении противоречащих суждений. два противоречащих суждения не могут быть одновременно ложными, одно из них необходимо истинно: а есть либо В, либо не-В. 17) Закон достаточного основания. Зако́н (принцип) доста́точного основа́ния (З.д.о. - лат. lex rationis determinantis seu sufficients) — закон металогики, принцип научного познания, требующий, чтобы в случае любого обоснованного утверждения указывались убедительные основания, в силу которых оно принимается и считается истинным. 18) Логические отношения между суждениями ( по логическому квадрату) Логический квадрат. Между суждениями, имеющими один и тот. же субъект и предикат, имеют место следующие отношения: отношение противоречия или контрадикторности; отношение противоположности или контрарности; отношение подпротивности; отношение подчинения. Эти отношения принято изображать в виде схемы – так называемого « логического квадрата» 19) Умозаключение и его виды. Умозаключение — форма мышления, в которой из одного, двух или более суждений, называемых посылками, выводится новое суждение, называемое заключением, или выводом. 1) посылки — исходные суждения; 2) заключение (вывод) — новое суждение Виды умозаключений • 1) дедуктивные (достоверные); • 2) недедуктивные (вероятностные). 20) Виды дедуктивных умозаключений. 1) непосредственные — дедуктивные умозаключения, которые строятся на основе одной посылки; 2) опосредованные — дедуктивные умозаключения, которые строятся на основе двух и более посылок; к опосредованным дедуктивным умозаключениям относятся простой категорический силлогизм, сложные силлогизмы, умозаключения из сложных суждений. По виду исходных суждений дедуктивные умозаключения бывают двух видов: 1) дедуктивные умозаключения на основе простых суждений, в которых учитывается внутренняя структура суждения; 2) дедуктивные умозаключения на основе сложных суждений, 21) Простой категорический силлогизм. Структура и аксиома. Простой категорический силлогизм – это дедуктивное умозаключение, в котором из двух простых категорических суждений, связанных общим термином, с логической необходимостью выводится новое категорическое суждение – заключение. Аксиома силлогизма- « Все что утверждается (отрицается) о роде (или классе), необходимо утверждается (отрицается) о виде (или о члене данного класса), принадлежащему к данному роду» 22) Правила посылок и терминов (простого категорического силлогизма). Правила терминов. 1. В каждом силлогизме должно быть только три термина – большой, меньший и средний. Это правила требует не только соответствующего построения силлогизма, но и однозначности среднего термина в обеих посылках. Повторяясь в большей и меньшей посылках, он может потерять свою однозначность, и тогда правильный вывод получить невозможно, ибо не будет связующего звена между крайними терминами. Так получается в следующем силлогизме: «Труд – основа жизни. Изучение логики – труд. Следовательно, изучение логики – основа жизни». Понятие труд в каждой посылке взято не однозначно: в первом случае оно означает деятельность как общую форму бытия человека, во втором – как конкретный вид работы ума. 2. Средний термин должен быть распределен, то есть взят в полном объеме, хотя бы в одной из посылок. Для этого он должен быть или субъектом общего суждения, или предикатом отрицательного суждения. Если же средний термин взят не в полном объеме в обеих посылках, то выполнить свою роль связующего звена он не сможет, и точный вывод получить невозможно. Например, в посылках «Некоторые студенты – мастера спорта» и «Все старосты учебных групп — студенты» средний термин «студенты» не распределен, поэтому сделать вывод, есть ли мастера спорта среди старост групп не представляется возможным. Из рисунка видно, что объем субъекта («все старосты учебных групп») может перекрещиваться с объемом большего термина («мастера спорта»), но может находиться и вне его. Термин, не распределенный в посылках, не может быть распределен в заключении. Из общих суждений-посылок: «Все птицы летают с помощью крыльев» и «Все птицы – теплокровные животные» нельзя получить в качестве вывода общее суждение. Меньший термин «теплокровные животные» стоит на месте предиката в утвердительной посылке и поэтому не распределен. Следовательно, в выводе его нужно брать не в полном объеме. Правила посылок. 4. Из двух частных посылок невозможно сделать вывод. В этом случае нельзя установить объемные отношения между терминами силлогизма, поэтому определенный вывод не получается. Например, из посылок: «Некоторые члены Академии наук — химики» и «Некоторые биологи – члены Академии наук» никакой определенный вывод не следует. Объем субъекта («некоторые биологи») может перекрещиваться в какой-то мере с объемом предиката («химики»), но может находиться и вне его, как показано на рисунке 5. Если одна посылка частная, то вывод будет частным. Из посылок: «Все участники кросса — спортсмены» и «Некоторые студенты- отличники – участники кросса» общий вывод невозможен. Нельзя утверждать, что все студенты-отличники – спортсмены, так как речь идет только о части объема меньшего термина. 6. Из двух отрицательных посылок нельзя сделать вывод. В этом случае все термины исключают друг друга, устраняя всякую объемную взаимосвязь между ними. Из посылок: «Ни одна планета не светит собственным светом» и «Искусственный спутник не есть планета» — никакого вывода не следует. 7. Если одна посылка отрицательная, то вывод будет отрицательным. Например: «Всякое пребывание на свежем воздухе полезно. Пребывание на свежем воздухе при низкой температуре опасно. Следовательно, пребывание на свежем воздухе при низкой температуре может принести вред здоровью». Таковы общие правила, которые следует учитывать при составлении силлогизма. 23) Общая характеристика гипотезы: понятие и виды. Гипотеза — это форма развития знания, обоснованное предположение, выдвигаемое для объяснения причин и свойств исследуемого явления. Как форма развития знания, гипотеза представляет собой сложный мыслительный процесс, включающий ряд последовательных этапов. Как обоснованное предположение, гипотеза опирается на достоверные факты, в исследовании которых используются наблюдение, анализ, обобщение и другие логические приемы Виды гипотез: общая, частная и рабочая гипотеза 24) Фигуры простого категорического силлогизма. Фигурами силлогизма называются формы силлогизма, различаемые по положению среднего термина (М) в посылках. В зависимости от места среднего термина в посылках различают четыре фигуры (рис. 8.2). В первой фигуре средний термин является субъектом в большей посылке и предикатом в меньшей (рис. 8.2, а); во второй Рис. 8.2 фигуре – предикат в обеих посылках (рис. 8.2, б); в третьей фигуре – субъект в обеих посылках (рис. 8.2, в); в четвертой фигуре – предикат в большей посылке и субъектом в меньшей (рис. 8.2, г). 25) Логическая структура доказательства. Доказательство как особый логический способ обоснования истины имеет свое строение. Всякое доказательство включает: тезис, аргументы, демонстрацию. Каждый из этих элементов в логической структуре доказательства выполняет свои особые функции, поэтому ни один из них нельзя игнорировать при построении логически правильного доказательства. 26) Понятие аргумента, тезиса и демонстрации. Аргументами (или основаниями) доказательства называются те суждения, которые приводятся для подтверждения или опровержения тезиса. Доказать тезис - значит привести такие суждения, которые были бы достаточными для обоснования истинности или ложности выдвинутого тезиса. В качестве аргументов при доказательстве тезиса может быть приведена любая истинная мысль, если только она связана с тезисом, обосновывает его. Основными видами аргументов являются: факты, законы, аксиомы, определения, документальные свидетельства и т. п. Тезисом доказательства называется то положение, истинность или ложность которого требуется доказать. Если нет тезиса, то и доказывать нечего. Поэтому все доказательное рассуждение целиком подчинено тезису и служит для его подтверждения (или опровержения). Демонстрацией (или формой доказательства) называется способ логической связи тезиса с аргументами. Тезис и аргументы доказательства являются по своей логической форме суждениями. Выраженные в грамматических предложениях, они воспринимаются нами непосредственно: тезис и аргументы можно увидеть, если они написаны, услышать, если они произнесены 27) Правила и ошибки в процессе аргументации. (1) достоверность аргументов; Доводы выполняют роль фундамента, на котором строится аргументация. «предвосхищение основания» (2) автономное от тезиса обоснование; Доводы должны быть истинными. Поэтому, прежде чем обосновывать тезис, следует доказать аргументы. При этом для доводов находят основания, не обращаясь к тезису. Иначе может получиться, что недоказанным тезисом обосновываются недоказанные аргументы. Эта ошибка называется «круг в демонстрации» (circulus in demonstrando). (3) непротиворечивость; вытекает из логической идеи, согласно которой из противоречия формально следует все что угодно — и тезис пропонента, и антитезис оппонента. Содержательно же из противоречивых оснований с необходимостью не вытекает ни одно положение. (4) достаточность. связано с логической мерой — в своей совокупности доводы должны быть такими, чтобы из них по правилам логики в необходимости следовал доказываемый тезис. 28) Виды аналогий и их особенности. Существует несколько видов аналогии. По характеру уподобляемых объектов различают два вида аналогии: аналогию свойств и аналогию отношений. Аналогия свойств - умозаключение, в котором объектом уподобления выступают два сходных единичных предмета, а переносимым признаком - свойства этих предметов. Аналогия отношений - умозаключение, в котором объектом уподобления выступают сходные отношения между двумя парами предметов, а переносимым признаком - свойства этих отношений По установлению необходимых, тождественных, соответствующих связей между признаками рассматриваемых посредством аналогии предметов аналогию разделяют на две разновидности: 1) строгая аналогия; 2) нестрогая аналогия. Строгой аналогией называется такая степень уподобления сходных признаков предметов, которая носит достоверный и доказательный характер. Строгая аналогия возникает в случае обнаружения необходимых, однозначных связей признаков модели и ее прототипа. Например, «По аналогии с силой притяжения на Земле, учитывая массу, силы гравитации и иные физические и астрономические данные, можно рассчитать силу притяжения на других планетах». Нестрогая аналогия возникает тогда, когда модель выступает далеко не полным подобием прототипа, ее свойства лишь частично реализуются в прототипе, а порой имеют относительное сходство по случайным совпадениям свойств и признаков. Таковы, к примеру, разнообразные ненаучные политические аналогии, аналогии законов протекания биологической и социальной жизни, аналогии между Землей и Марсом по вопросу существования на них жизни и т. п. 29) Опровержение и его характеристика. ОПРОВЕРЖЕНИЕ — рассуждение, направленное против выдвинутого тезиса и имеющее своей целью установление его ложности или недосказанности. Наиболее распространенный прием О. — выведение из опровергаемого утверждения следствий, противоречащих истине. Если хотя бы одно следствие какого-то положения ложно, то ложным является и само утверждение. Другой прием О. — доказательство истинности отрицания тезиса. Утверждение и отрицание не могут быть одновременно истинными. Как только удается показать, что верным является отрицание тезиса, вопрос о его истинности отпадает. Достаточно, напр., показать одного белого медведя, чтобы опровергнуть убежденность в том, что медведи бывают только бурыми. Эти два приема применимы для О. любого тезиса, независимо от того, поддерживается он некоторыми аргументами или нет. Если тезис выдвигается с к.-л. обоснованием, О, может быть направлено против обоснования. В этом случае показывается ложность приводимых аргументов или выведением из них следствий, противоречащих фактам, или доказательством утверждений, противоречащих аргументам 29) Правила доказательства и опровержения. Доказательство — это совокупность логических приемов обоснования истинности тезиса. Опровержение – операция обратного содержания, т.е. обоснование ложности или недоказуемости какого-либо суждения. Структура доказательства (опровержения): 1. тезис (суждение, истинность либо ложность которого необходимо доказать); 30) Условно-категорическое умозаключение. Условно-категорическим называется умозаключение, в котором одна из посылок - условное (импликативное), а другая посылка и заключение - категорические суждения 31) Виды индуктивных умозаключений. В зависимости от полноты и законченности эмпирического исследования различают два вида индуктивных умозаключений: полную индукцию и неполную. В неполной индукции различают популярную и научную в зависимости от способа отбора исходного материала. Научная индукция делится в зависимости от способа исследования на индукцию методом отбора и индукцию методом исключения. 32) Модальность, виды модальности. Модальностью называется явно или неявно выраженная дополнительная информация о характере связи между предметом и его признаком, степени обоснованности знания, оценке события или факта и т. п. Основными видами модальности являются: 1) алетическая (логическая и фактическая); 2) эпи- стемическая (познавательная); 3) аксиологическая (оценочная); 4) деонтическая (нормативная 33) Условно-разделительное умозаключение: структура и виды. Умозаключение, в котором одна посылка условное, а другая - разделительное суждение, называется условно-разделительным или лем- матическим. В этом виде умозаключения происходит объединение условно-категорического умозаключения с разделительно- категорическим. В результате получается условно-разделительное, или лемматическое умозаключение. Две или более (первые) посылки - импликации, третья - дизъюнкция. В заключении могут находиться одно суждение, или несколько, в зависимости от количества исходных суждений. Они могут что-либо утверждать или отрицать. В следующем примере - два суждения. 15.5.1. Если пойдёшь направо (а) - коня потеряешь (Ь). Если пойдёшь налево (с) - голову потеряешь (d). Однако надо идти направо (а) или налево (с). Следовательно, придётся потерять коня (Ь) или голову (d). В условно-разделительном умозаключении (силлогизме) различают два вида дилемм конструктивную (созидательную) и деструктивную (разрушительную), каждая из которых делится на простую и сложную. В простой конструктивной дилемме условная посылка содержит два основания, из которых вытекает одно и то же следствие. Разделительная посылка утверждает оба возможных основания, заключение утверждает следствие. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствия. 34) Сокращенный силлогизм (энтимема): структура, виды. Сокращенный силлогизм (энтимема) – это умозаключение с пропущенной какой-либо из частей силлогизма (посылкой или заключением). Из определения энтимемы следует, что Виды энтимемы в зависимости от пропущенной части: с пропущенной большей посылкой; с пропущенной меньшей посылкой; с пропущенным заключением. Умозаключение в форме энтимемы может быть построено и по 2-й фигуре; по 3-й фигуре оно строится редко. Форму энтимемы принимают также умозаключения, посылками которых являются условные и разделительные суждения. возможны три их вида, в зависимости от того, какая часть силлогизма пропущена 35) Непосредственные умозаключения: структура и виды Непосредственные умозаключения – это умозаключения, в которых вывод совершается из одной посылки, являющейся категорическим высказыванием. К ним относятся превращение, обращение, противопоставление предикату, противопоставление субъекту и выводы по «логическому квадрату». Практически непосредственные умозаключения (кроме выводов по «логическому квадрату») представляют собой преобразования категорических суждений, в результате которых получаются суждения другой формы, но выражающие ту же самую мысль, что и исходные суждения. Необходимость применять непосредственные умозаключения в человеческом общении основывается на том факте, что разные люди выражают свои мысли по-разному. Поэтому одну и ту же мысль трудно бывает узнать. Отсюда возникает проблема взаимопонимания, которая в логике сводится к выяснению того, в каких случаях разные по форме мысли имеют тождественное или сходное содержание. 36) Распределенность терминов в суждения A, E, I, O, а также в выделяющих суждениях Общая схема распределенности терминов в суждении такова: субъекты распределены в общих суждениях, предикаты - в отрицательных. S р А + - + + I - - О - + Отрицание суждения Отрицанием называется логическая операция, посредством которой образуется новое суждение, принимающее логическое значение истины тогда и только тогда, когда исходное суждение ложно и, наоборот, логическое значение ложности тогда, когда исходное суждение истинно. 37) Проверка и способы доказательства гипотез. Способы доказательства гипотез. Основными являются три способа: дедуктивное обоснованиевыраженногов гипотезе предположения; логическое доказательство гипоте зы; непосредственное обнаружение предположенных в гипотезе предметов. |