Доказательство и его структура

Размещено на http://www.allbest.ru/

1. Доказательство и его структура. Значение доказательства в практике

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

В состав доказательства входят:

1. Тезис - суждение, истинность которого требуется доказать.

2. Аргументы, или основания - истинные суждения, из которых следует тезис.

3. Демонстрация, или форма доказательства - умозаключение, связывающее аргументы с тезисом.

В доказательстве тезис выводится из аргументов на основе законов логики и правил логического следования.

Доказательства делятся на прямые и косвенные.

В прямом доказательстве истинность тезиса непосредственно вытекает из аргументов.

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

Антитезис - суждение, противоречащее тезису.

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

2. Непосредственные умозаключения (превращение)

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

Превращением называется преобразование суждения в суждение, противоположное по качеству с предикатом, противоречащим предикату исходного суждения. Например, в исходном суждении “Человек (S) - разумное существо” (Р) предикатом является понятие о тех, кто относится к разумным существам. В понятии, противоречащем предикату, мыслятся те, кто не относится к разумным существам. Отношение человека к разумным существам следует, очевидно, выразить в форме отрицательного суждения “Человек (S) не является неразумным существом” (не-Р).

Превращать можно любые категорические суждения.

При этом: общеутвердительное суждение (А) превращается в общеотрицательное (Е); общеотрицательное (Е) превращается в общеутвердительное (А); частноутвердительное (І) превращается в частноотрицательное (О); частноотрицательное (О) превращается в частноутвердительное (І).

3. Логические операции деления понятий. Виды деления

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

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

От логического деления понятий следует отличать расчленение предмета на отдельные части. Например, цельное представление самолета можно расчленить на фюзеляж, двигатель и крылья, а в результате логического деления понятия "самолет" получим его виды - гражданские и военные самолеты. Причем эти виды самолетов далее можно делить по их назначению, техническим характеристикам и т.д. Приведем другой пример. Так, дерево можно расчленить на ствол, ветки, корни и т.д. Однако это не есть операция деления на классы. В действительности же деление понятия "дерево" образует новые подклассы: хвойные и лиственные деревья.

Необходимо иметь в виду, что процесс логического деления понятий опирается на конкретные категории. Так, тот объем понятия, который подлежит делению, называется делимым понятием, а полученные видовые понятия носят названия членов деления. Существенный признак, по которому производится деление объема родового понятия на виды, называется основанием деления. Так, понятие "преступление" (делимое понятие) делится на такие понятия, как "умышленное преступление" и "неосторожное преступление". Они и составляют члены деления. А основанием в рассмотренном примере выступает такой существенный признак, как вина. В логике выделяют ряд видов деления понятий:

дихотомия (т.е. деление на две части )

трихотомия (т.е. деление на три части )

политомия (т.е. многочисленное деление)

Частным случаем деления понятия по видоизменению признака является классификация. Это распределение предметов по группам (классам), где каждый класс имеет свое постоянное, определенное место. От обычного деления она отличается относительно устойчивым характером. Классификация сохраняется весьма длительное время, если она имеет научный характер. Например, в зоологии и ботанике члены деления животного и растительного мира закреплены на постоянные места в виды системы: тип - класс - отряд - семейство - род - вид.

4. Метод остатков как метод научной индукции

Применение метода связано с Установлением причины, вызывающей определенную часть сложного действия при условии, что причины, вызывающие другие части этого действия, уже выявлены. Схема рассуждения: ABC вызывает xyz; A вызывает x; B вызывает y; C вызывает z.

Часто встречается модифицированный вывод по методу остатков, когда по известному действию заключают о существовании новой по отношению к уже известной причины. Схема модифицированного рассуждения: АВС вызывает abcd; A вызывает a; B вызывает b; C вызывает c / По-видимому, существует некий X, который вызывает d. Дает проблематичные выводы. Степень вероятности заключения определяется точностью знаний о предшествующих обстоятельствах, о степени влияния каждого из них на явление. Используется в расследовании преступлений, когда устанавливают явную несоразмерность причин исследуемым действиям. Если действие по своему объему, масштабу или интенсивности не соответствует известной причине, то ставится вопрос о существовании каких-то других обстоятельств.

Дедукция - логическое свойство элиминации (исключения) случайных обстоятельств, тем самым она логически корректирует и направляет индуктивное обобщение.

5. Индуктивные умозаключения

Индуктивным называется умозаключение, в котором на основании принадлежности признака отдельным предметам или частям некоторого класса делают вывод о его принадлежности классу в целом.

В истории физики, например, опытным путем было установлено, что железные стержни хорошо проводят электричество. Такое же свойство было обнаружено у медных стержней и у серебра. Учитывая принадлежность указанных проводников к металлам, было сделано индуктивное обобщение, что всем металлам свойственна электропроводность.

Посылками индуктивного умозаключения выступают суждения, в которых фиксируется полученная опытным путем информация о повторяемости признака Р у ряда явлений -- S1, S2,.... Sn, принадлежащих одному и тому же классу К. Схема умозаключения имеет следующий вид:

Посылки:

1) S1 имеет признак Р

S2 имеет признак Р

Sn имеет признак Р

2) S1, S2,..., Sn -- элементы (части) класса К

Заключение:

Всем предметам класса К присущ признак Р

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

В зависимости от полноты и законченности эмпирического исследования различают два вида индуктивных умозаключений: полную индукцию и неполную индукцию.

6. Определение через род и видовое отличие. Правила определения

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

Наиболее распространенным видом явных определений является определение через род и видовое отличие и его разновидность -- генетическое определение.

Определение через род и видовое отличие состоит из двух понятий: определяемого и определяющего. Включает два приема: 1) подведениеопределяемого понятия под более широкое по объему родовое понятие (род) и 2) указание видового отличия, то есть признака, отличающего определяемый предмет (вид этого рода) от других видов, входящих в данный род. Чек -- ценная бумага, содержащая ничем не обусловленное письменное распоряжение чекодателя банку уплатить держателю чека указанную в нем сумму. Чек --определяемое понятие (А) -- вид родового понятия «ценная бумага» (В); остальная часть определения -- видовое отличие (с), отличает чек от векселя, облигации и т.д. А=Вс или Dfd ? Dfn (? знак эквивалентности).

Республика (определяемое понятие А) -- форма правления (род В), при которой высшая государственная власть предоставлена выборному органу, избираемому на определенный срок (видовое отличие с).

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

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

Правила определения:

1. Определение должно быть соразмерным -- объем определяемого понятия должен быть равен объему определяющего (А=Вс или Dfd ? Dfn). Если объем определяющего понятия шире объема определяемого -- ошибка слишком широкого определения (A<Bc). Если объем определяющего понятия уже объема определяемого -- ошибка слишком узкого определения (A>Bc).

2. Определение не должно заключать в себе круга -- при определении одного понятия нельзя прибегать к другому понятию, определяемому при помощи первого (круг) (Вращение -- движение вокруг оси; ось -- прямая, вокруг которой происходит вращение). Разновидность круга в определении -- тавтология -- идеалист -- человек идеалистических убеждений -- определяющее понятие -- повторение определяемого.

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

Определение не должно быть отрицательным -- отрицательно определение указывает, чем не является предмет, не указывая, чем он является (Сравнение -- не доказательство). На определение отрицательных понятий это правило не распространяется (Безбожник -- человек, не признающий существование Бога).

7. Понятие как форма мышления

Понятие -- совокупность существенных признаков предмета, определенным образом связанных друг с другом. Признак предмета -- то, в чем предметы сходны или чем отличаются друг от друга. Отсутствующее свойство у предмета также рассматривается как его признака (отсутствие ПМЖ -- БОМЖ). Единичные признаки -- характеризуют отдельный предмет (у человека черты лица, походка и т.д.). Общие признаки -- принадлежат определенной группе предметов (у человека профессия, национальность и т.д.).

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

Несущественные признаки -- могут принадлежать, но могут и не принадлежать предмету, которые не выражают его сущности.

Понятие отражает предметы и их совокупности в абстрактной, обобщенной форме на основании их существенных признаков.

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

Омонимы -- слова, совпадающие по звучанию, одинаковые по форме, но выражающие различные понятия (коса; заключение).

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

8. Сокращенный силлогизм (энтимема)

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

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

Силлогизм с пропущенной посылкой или заключением называется сокращенным силлогизмом, или энтимемой.

Энтимема в переводе с греческого буквально означает «в уме»/

В зависимости от того, какая часть силлогизма пропущена, различают три вида энтимемы: с пропущенной большей посылкой, с пропущенной меньшей посылкой и с пропущенным заключением. Пример с пропущенной большей посылкой: «Петров - студент, поэтому он обязан сдавать экзамены»

Здесь пропущена большая посылка: «Все студенты обязаны сдавать экзамены». Полный силлогизм строится по 1-й фигуре (модус ААА)

Все студенты (М) обязаны сдавать экзамены (Р)

Петров (S) - студент (М)

Петров (S) обязан сдавать экзамены (Р)

Использование сокращенных силлогизмов обусловлено тем, что пропущенная посылка или заключение либо содержит известное положение, которое не нуждается в устном или письменном выражении, либо в контексте с выраженными частями умозаключения она подразумевается.

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

9. Логическая операция определения понятия. Виды определения

Определение -- логическая операция, раскрывающая содержание понятия.Определяемое понятие (Dfd) содержание которого надо раскрыть.Определяющее понятие (Dfn) раскрывает содержание определяемого понятия. Раскрывая главное в предмете, определение позволяет выделить данный предмет, отличить его от других предметов. Виды определения:

1.1. Номинальные -- посредством которого взамен описания предмета вводится новый термин, объясняется значение и происхождение термина (Логическая операция, раскрывающая содержание предмета, называется определением).

1.2. Реальные -- определения, раскрывающие существенные признаки предмета (Определение -- логическая операция, раскрывающая содержание понятия).

2.1. Явные -- раскрывают существенные признаки предмета.

2.2. Неявные -- определение через отношение предмета к своей противоположности, контекстуальное (содержание понятия раскрывается в относительно самостоятельном по смыслу отрывке письменной или устной речи -- контексте), остенсивное (устанавливает значение термина путем демонстрации предмета, обозначаемого этим термином -- используется для характеристики цвета, запаха, вкуса и т.п.) и некоторые другие.

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

10. Метод сходства как метод научной индукции

По методу сходства сравнивают несколько случаев, в каждом из которых исследуемое явление наступает; при этом все случаи сходны лишь в одном и различны во всех других обстоятельствах.

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

Рассмотрим пример рассуждения по методу сходства. Медицинским пунктом одного из поселков в летний период были зафиксированы за короткое время три случая заболевания дизентерией (d). При выяснении источника заболевания главное внимание обращалось на следующие виды воды и пищи, которые чаще других могут служить причиной кишечных заболеваний в летнее время: А - питьевая вода из колодцев; М - вода из реки; В - молоко; С - овощи; F - фрукты. Исследование показало, что распространение дизентерии связано, по-видимому, с употреблением молока. В дальнейшем это подтвердилось дополнительными исследованиями.

Схема рассуждения по методу сходства имеет следующий вид:

1) АВС вызывает d;

2) MBF вызывает d;

3) MBC вызывает d. По-видимому, В является причиной d.

Метод сходства дает выводы высокой степени правдоподобия, если:

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

2) установлено, что обстоятельство В предшествует событию d;

3) исключены все обстоятельства, не являющиеся необходимыми для исследуемого действия;

4) каждое из обстоятельств не вступает во взаимодействие с другими.

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

11. Суждение как форма мышления. Суждение и предложение

Суждение - форма мышления, в которой утверждается или отрицается связь между предметом (S - субъект) и его признаком (Р - предикат), отношение между предметами или факт существования предмета и которая может быть либо истинной, либо ложной.

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

Состав суждения: S - субъект (отражает предмет суждения); Р- предикат (отражает признак предмета); Связка - соединяет оба термина суждения, утверждая или отрицая принадлежность предмету некоторого признака (есть - не есть; является - не является; часто связка грамматически не выражена - просто тире).

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

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

Логическое ударение - Степанов (а не кто-то другой) имеет высшее (а не среднее) юридическое образование (а не какое-либо другое).

Термин «суждение» может быть заменен равнозначным термином «высказывание».

12. Правила и ошибки по отношению к аргументам доказательства

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

(1) достоверность аргументов;

(2) автономное от тезиса обоснование;

(3) непротиворечивость;

(4) достаточность.

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

Доводы выполняют роль фундамента, на котором строится аргументация.

Нарушение указанного логического правила приводит к двум ошибкам. Одна из них -- принятие за истину ложного аргумента -- называется «основное заблуждение».

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

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

(2) Автономное обоснование аргументов означает: поскольку доводы должны быть истинными, то, прежде чем обосновывать тезис, следует проверить сами аргументы. При этом для доводов изыскивают основания, не обращаясь к тезису. Иначе может получиться, что недоказанным тезисом обосновываются недоказанные аргументы. Эта ошибка называется «круг в демонстрации».

(3) Требование непротиворечивости аргументов вытекает из логической идеи, согласно которой из противоречия формально следует все что угодно -- и тезис пропонента, и антитезис оппонента. Содержательно же из противоречивых оснований с необходимостью не вытекает ни одно положение.

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

доказательство суждение силлогизм

13. Логические отношения между суждениями (логический квадрат)

Между суждениями A, E, I, O с одинаковым терминами (с одинаковой материей) существует четыре вида отношений:

Отношение подчинения, в котором находятся суждения A и I, E и O. Суждения А и Е - подчиняющие, а суждения I и O подчинённые. Если общее суждение истинно, то истинно одинаковое и ним по материи и качеству чистое, но не наоборот. Например: суждение общее «Все люди смертны» истинно, то истинно будет и частное суждение «Некоторые люди смертны», обратное же не имеет место;

Отношение противоречия между суждениями E и I, O и A. Здесь суждения E и I, а также O и A относятся друг к другу как утверждение и отрицание. Поэтому в каждом из этих двух суждений одно является обязательно истинным, а другое 0 обязательно ложным. Например, если суждение «Все вещи имеют имя» (А) истинно, то суждение «Некоторые вещи не имеют имени» (О) будет ложным. И обратно: если суждение (О) истинно, то суждение (А) той же материи будет ложно;

Отношение контрарности между суждениями А и Е. В первом из них утверждается определённый вид отношения S к P, а именно, что объём S полностью содержится в P, а во втором, то есть в суждении Е, отрицается как этот вид отношения между S и P, так и отношение перекрещивается между объёмов S и P, то есть отношение противоположности не сводится к отрицанию одного суждения другим. Поэтому противоположные суждения могут быть одновременно ложными. Приведём пример. а) «Все соки представляют собой жидкость» и б) «Ни один сок не является жидкостью». При условии истинности одного суждения (из противоположных (контрарных) суждений) другое обязательство ложно. Другой пример: «Все книги изготовлены из бумаги» (А) и «Ни одна книга не изготовлена из бумаги» (Е). Здесь оба суждения ложны.

Так называемый, «логический квадрат» показывает все рассмотренные отношения между суждениями

Определённые логические отношения существуют также между суждениями, у которых одинаковые либо только предикаты, либо только субъекты. Если суждения имеютодинаковые предикаты, то между ними существует отношение подчинения, если они имеют одно и то же качество. Например: «Все планеты светят отраженным светом» и «Юпитер светит отраженным светом». Если также суждения имеют разные качества, то они являются противоречивыми. Суждения с одинаковым субъектом противоположны, если противоположными являются их предикаты. Например: «И.Е. Репин - великий художник-реалист» и «И.Е. Репин - заслуженный художник реалист». Оба суждения истинны быть не могут, но оба могут быть ложными.

Если у двух суждений с одинаковым субъектом предикаты - совместимы понятия, то они будут согласными и могут оказаться одновременно как ложными, так и истинными. Например: «Д.И. Менделеев был выдающимся химиком» и «Д.И. Менделеев был выдающимся лектором» являются одновременно истинными. Другой пример: «Математика является главной наукой среди всех наук» и «Математика является второстепенной наукой»; оба суждения ложны.

Между суждениями совершенно разной материи логика никаких отношений указать не можем.

14. Правила и ошибки по отношению к демонстрации

Ошибки в демонстрации связаны с отсутствием логической связи между аргументами и тезисом. Ошибка «мнимого следствия» - несоответствие между логическим статусом посылок, в которых представлены аргументы и логическим статусом суждения, содержащего тезис.

- Логический переход от узкой области к более широкой;

- Переход от сказанного с условием к сказанному безусловно;

- Переход от сказанного в определенном отношении к сказанному безотносительно к чему бы то ни было;

Если логически не связанные с обсуждаемым тезисом аргументы ведут к уловкам:

- аргумент к силе - использование внелогического принуждения (физического, экономического и т.д.);

- аргумент к невежеству - использование неосведомленности оппонента или слушателей;

- аргумент к выгоде; к здравому смыслу; к состраданию; к верности; к авторитету;

Основные законы логики.

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

всякая мысль в процессе рассуждения должна быть тождественна самой себе (а есть а, или а=а, где под а понимается любая мысль).

Из закона тождества следует: нельзя отождествлять различные мысли, нельзя тождественные мысли принимать за нетождественные. Нарушение этого требования в процессе рассуждения нередко бывает связано с различным выражением одной и той же мысли в языке.

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

Закон непротиворечия. Логическое мышление характеризуется непротиворечивостью. Противоречия разрушают мысль, затрудняют процесс познания. Требование непротиворечивости мышления выражает формально-логический закон непротиворечия: два несовместимых друг с другом суждения не могут быть одновременно истинными; по крайней мере одно из них необходимо ложно.

Закон непротиворечия действует в отношении всех несовместимых суждений.

Закон исключенного третьего. Закон исключенного третьего действует только в отношении противоречащих (контрадикторных) суждений. Он формулируется следующим образом: два противоречащих суждения не могут быть одновременно ложными, одно из них необходимо истинно: а есть либо Ь,либо не-Ь. Например, если суждение «Каждому гражданину Российской Федерации гарантируется право на получение квалифицированной юридической помощи» истинно, то суждение «Некоторым гражданам Российской Федерации не гарантируется право на получение квалифицированной юридической помощи» ложно.

Закон достаточного основания. Наши мысли о каком-либо факте, явлении, событии могут быть истинными или ложными. Высказывая истинную мысль, мы должны обосновать ее истинность, т.е. доказать ее соответствие действительности. Так, выдвигая обвинение против подсудимого, обвинитель должен привести необходимые доказательства, обосновать истинность своего утверждения. В противном случае обвинение будет необоснованным.

Требование доказанности, обоснованности мысли выражает закон достаточного основания: всякая мысль признается истинной, если она имеет достаточное основание. Если есть Ь, то есть и его основание а.

Достаточным основанием мыслей может быть личный опыт человека. Истинность некоторых суждений подтверждается путем их непосредственного сопоставления с фактами действительности. Так, для человека, явившегося свидетелем преступления, обоснованием истинности суждения «Н. совершил преступление» будет сам факт преступления, очевидцем которого он был. Но личный опыт ограничен. Поэтому человеку в своей деятельности приходится опираться на опыт других людей, например на показания очевидцев того или иного события. К таким основаниям прибегают обычно в следственной и судебной практике при расследовании преступлений.

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

15. Виды отношений между понятиями

Сравнимые -- имеют некоторые признаки, позволяющие эти понятия сравнивать друг с другом (пресса и телевидение -- СМИ).

Несравнимые -- не имеют общих признаков, сравнивать невозможно (преступление, квадрат).

В логических отношениях могут находиться только сравнимые понятия.

Совместимые -- понятия, объемы которых полностью или частично совпадают.Отношения совместимости:

1.равнообъемность -- понятия, в которых мыслится один и тот же предмет, объемы их полностью совпадают (хотя содержание различно): геометрическая фигура с тремя равными сторонами (А), геометрическая фигура с тремя равными углами (В) > равносторонний (равноугольный) треугольник.

2.пересечение (перекрещивание) -- понятия, объем одного из которых частично входит в объем другого; содержание их различно (юрист (А) и преподаватель (В).

3.подчинение (субординация) -- понятия, объем одного из которых полностью входит в объем другого, составляя его часть (Суд (А -- подчиняющее понятие -- род) и Городской суд (В -- подчиненное понятие -- вид). Если в отношении подчинения находятся два общих понятия, то подчиняющее -- вид; подчиненное -- род. Если в отношении подчинения находятся общее и единичное (индивидуальное) понятие, то общее (подчиняющее) -- вид, а единичное (подчиненное) -- индивид (адвокат и Вася Иванов).

Несовместимые (внеположные) -- понятия, объемы которых не совпадают ни полностью, ни частично. Отношения несовместимости:

1.соподчинение (координация) -- два или больше неперекрещивающихся понятий, подчиненных общему для них понятию (Областной Суд (В), Городской Суд ©, Суд (А). понятия, находящиеся в отношении подчинения к общему для них понятию -- соподчиненные).

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

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

16. Логика вопроса. Виды вопросов и ответов

Вопрос -- это выраженная в вопросительном предложении мысль, направленная на уточнение или дополнение исходного, или базисного знания.

Исходное знание -- базис вопроса, выполняет роль предпосылки вопроса.

Вопросно-ответная форма развития знаний -- постановка вопросов и поиск информации для ответов.

1. Семантика (отношение к действительности) вопросов:

Качество базисного знания определяет правильность или неправильностьпостановки вопроса.

1.1. Правильно поставленный (корректный) вопрос -- предпосылка которого представляет собой истинное непротиворечивое знание.

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

2. Структура вопросов:

2.1. Простые вопросы -- не включает в качестве составных частей других вопросов;

2.2. Сложные вопросы -- включает в качестве составных частей другие вопросы, объединяемые логическими связками; в зависимости от типа связки:

2.2.1. Соединительные (конъюнктивные) -- два и более простых вопроса, связанных союзом «и» (Верно ли р и верно ли q?; Где и когда имело место р?Где имело место р и q? Где и когда имело место р и q?)

2.2.2. Разделительные (дизъюнктивные) -- два и более простых вопроса, связанных союзом «или» (Верно ли р или верно q?; Где или когда имело место р? Q относится к р или q? Q1 или Q2 относится к р или q?)

2.2.3. Смешанные (соединительно-разделительные) -- объединение соединительных и разделительных вопросов (Верно ли р и q или m и n?; Гдемогут быть обнаружены р или q и когда появятся m или n?).

3. Отношение к обсуждаемой теме:

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

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

Ответ -- новое суждение, уточняющее или дополняющее в соответствии с поставленным вопросом исходное знание.

Область поиска ответов -- обращение к конкретной области теоретических илиэмпирических (основанных на опыте) знаний.

Релевантный ответ -- ответ, который по содержанию и структуре строится в соответствии с поставленным вопросом; ответ по существу поставленного вопроса; уточняет неопределенную либо доставляет новую информацию.

1.1. Истинные ответы -- выраженное в нем суждение правильно, или адекватно отражает действительность.

1.2. Ложные ответы -- выраженное в нем суждение неверно, или неадекватно отражает положение дел в действительности.

2.1. Прямые ответы -- взятые непосредственно из области поиска ответов, при конструировании которого не прибегают к дополнительным сведениям и рассуждениям.

2.2. Косвенные ответы -- получают из более широкой области, нежели область поиска ответа; из которого лишь выводным путем можно получить нужную информацию (Является ли кит рыбой? Кит относится к млекопитающим животным).

3.1. Краткие ответы -- односложные утвердительные или отрицательные ответы: «да» или «нет».

3.2. Развернутые ответы -- повторяют все элементы вопроса.

4.1. Полные ответы -- включает информацию по всем элементам или составным частям вопроса.

4.2. Неполные ответы -- включает информацию относительно отдельных элементов или составных частей вопроса.

5.1. Точные (определенные) ответы -- даются на точные и определенные вопросы (без двусмысленных понятий и слов).

5.2. Неточные (неопределенные) ответы -- даются на неточные (неопределенные) вопросы (с двусмысленными понятиями и словами).

17. Понятия о формах и законах мышления

Логика -- наука о мышлении, как о средстве познания предмет логики -- законы и формы, приемы и операции мышления, с помощью которых человек познает окружающий мир. Познание -- процесс отражения объективного мира сознанием человека; сочетание чувственного (ощущение -- отражение отдельно чувственно воспринимаемых свойств предметов; восприятие -- целостный образ предмета, возникающий в результате его непосредственного воздействия на органы чувств;преставление -- сохранившийся в сознании образ предмета, который воспринимался раньше) и рационального познания (с помощью разума, мышления).

Мышление -- отражает действительность в определенных логических формах.

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

Основные формы мышления (или логическая форма -- способ связи элементов мысли, ее строение, благодаря которому содержание существует и отражает действительность):

1.понятие -- совокупность существенных признаков предмета, определенным образом связанных друг с другом;

2.суждение -- форма мышления, в которой утверждается или отрицается связь между предметом (S -- субъект) и его признаком (Р -- предикат), отношение между предметами или факт существования предмета и которая может быть либо истинной, либо ложной.

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

Мысль -- истинная -- если соответствует действительности; ложная -- нее соответствует. Истинность мыли по содержанию -- необходимое условие достижения верных результатов в процессе рассуждения.

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

Законы, изучаемые формальной логикой -- тождественно-истинные высказывания, или логические тавтологии, обуславливают правильность рассуждения; благодаря их действию выведение новых знаний из истинных и проверенных суждений с необходимостью приводит к истине.

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

18. Версия и ее роль в исследовании. Виды версий

Версии - ряд гипотез, по-разному объясняющих одно и то же обстоятельство.

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

1. Общая версия - предположение, объясняющее все преступления в целом как единую систему конкретных обстоятельств (неизвестна реальная причина - конкретная совокупность фактических обстоятельств, из которых складывается единичное преступление. Носит черты суммирующего предположения, объясняющего все преступление в целом. Отвечает на ряд взаимосвязанных вопросов: какое преступление совершено, кто совершил, где, когда, мотивы.

2. Частная версия - предположение, объясняющее отдельные обстоятельства рассматриваемого преступления.Каждое из обстоятельств может быть предметом самостоятельного исследования: о местонахождении преступника, о мотивах. Тесно взаимосвязаны друг с другом. Знания, полученные с помощью частных версий,основа для построения, конкретизации общей версии. Общая дает возможность наметить направления для выдвижения частных версий.

Способы доказательства гипотез:

1. Дедуктивное обоснование выраженного в гипотезе предположения ;

2. Логическое доказательство гипотезы - косвенное доказывание протекает путем опровержения и исключения всех ложных версий, на основании чего утверждается достоверность единственного оставшегося предположения (достоверно, если рассмотрен исчерпывающий ряд версий); прямое доказывание гипотезы протекает путем выведения из предположения разнообразных, но вытекающих толко из данной гипотезы следствий и подтверждения их вновь обнаруженными фактами.

3. Непосредственное обнаружение предположенных в гипотезе предметов - в предположенное время в предположенном месте.

19. Выделяющие и исключающие суждения

1. Выделяющие суждения -- выражают тот факт, что признак, выраженный предикатом, принадлежит (или не принадлежит) только данному, и никакому другому, предмету:

Единичное выделяющее суждение -- Только Васькин является свидетелем происшествия (S, и только S, есть Р); субъект и предикат этого суждения имеют одинаковый объем.

Частное выделяющее суждение -- Некоторые города -- столицы государств (Некоторые S, и только S, есть Р); предикат частного выделяющего суждения полностью входит в объем субъекта. В частных выделяющих сужденияхуточняется объем предиката.

Общее выделяющее суждение -- Все преступления, и только преступления -- предусмотренные законом общественно опасные деяния (Все S, и только S, есть Р); объемы субъекта и предиката общего выделяющего суждения полностью совпадают.

2. Исключающие суждения -- суждение, в котором отражается принадлежность (или непринадлежность) признака все предметам, за исключением некоторой их части -- Все студенты нашей группы, кроме Волкова, сдали экзамен по логике (Все S, кроме (за исключением, помимо, не считая) S1, суть Р).

20. Умозаключение по аналогии, его структура и виды. Условия повышения вероятности вывода

Умозаключения подразделяются на дедуктивные, индуктивные иумозаключения по аналогии.

Аналогия

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

По характеру уподобляемых объектов различают два вида аналогии: аналогию предметов и аналогию отношений.

Аналогия предметов - умозаключение, в котором объектом уподобления выступают два единичных предмета, события или явления, а переносимым признаком - свойства этих предметов.

Аналогия отношений - умозаключение, в котором объектом уподобления выступают отношения между двумя парами предметов, а переносимым признаком - свойства этих отношений.

Знания, полученные в результате выводов по аналогии, бывают неодинаковыми по своей обоснованности: в одних случаях заключения имеют проблематичный характер, в других - достоверный. Ценность заключений в выводах по аналогии определяется характером исходного знания о сравниваемых объектах: сходстве уподобляемых объектов, различиях между ними, характере зависимости между признаками сходства и переносимым признаком.

Умозаключение по аналогии представляет собой движение мысли от общности одних свойств и отношений у сравниваемых предметов (или процессов) к общности других свойств и отношений. Сущность умозаключения по аналогии может быть представлена следующим образом. Изучаются два предмета (явления), при этом одно уже достаточно исследовано. Во втором предмете (явлении) известны лишь некоторые его признаки. Оба предмета (явления) сравниваются между собой. Если ряд признаков сравниваемых двух предметов (явлений) совпадает, то делается вывод о том, что и остальные признаки второго предмета (явления) будут такими же.

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

А обладает признаками а, b, с, d

В обладает признаками а, b, с

Следовательно, В обладает, по-видимому, признаком d

Условиями, повышающими степень вероятности выводов в нестрогой аналогии, выступают: 1) сходство уподобляемых предметов в значительном числе существенных признаков. Чем больше существенных признаков, тем основательнее вывод по аналогии; 2) отсутствие существенных различий между уподобляемыми предметами; 3) степень вероятности знания о зависимости между сходствами и переносимыми признаками.

21. Деление категорических суждений по качеству и количеству. Объединенная классификация

Деление суждений по качеству:

1. Утвердительные -- выражают принадлежность предмету некоторого признака (S есть Р «Юпитер -- планета Солнечной системы»). Суждение с отрицательным предикатом, но с утвердительной связкой «S есть не-Р» рассматривается как утвердительное («Данное решение суда (S) является необоснованным (не-Р)»).

2. Отрицательные -- выражают отсутствие у предмета некоторого признака (S не есть Р «Обвиняемый (S) не обязан доказывать свою невиновность (Р)» или «Обвиняемый (S) не есть (связка) лицо, обязанное доказывать свою невиновность (Р)»).

Деление суждений по количеству:

1. Единичные -- что-либо утверждается или отрицается об одном предмете (Это здание -- памятник архитектуры): Это S есть Р и Это S не есть Р. Знания об отдельных явлениях, событиях, лицах.

2. Частные -- что-либо утверждается или отрицается о части предметов некоторого класса (некоторые, многие, немногие, большинство, меньшинство, часть: Некоторые свидетели дали показания): Некоторые S суть Р, Некоторые Sне суть Р. Обобщенные знания.

неопределенные частные -- некоторые, а может быть и все; по крайней мере некоторые -- Некоторые свидетели дали показания; известная нам часть свидетелей дала показания, о другой части мы ничего не знаем, наши знания неполные.

определенные частные -- только некоторые -- содержит знание и о той и о другой части свидетелей и может рассматриваться как сложное суждение «некоторые свидетели дали показания, а некоторые показаний не давали».Только некоторые S суть Р, Только некоторые S не суть Р.

3. Общие -- что-либо утверждается или отрицается обо всех предметах некоторого класса (все, ни один, каждый, любой, всякий, никто). Общность и завершенность знаний. Все свидетели дали показания; Никто из судей не вправе воздерживаться от голосования. Все S есть Р, Ни одно S не есть Р.

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

В объединённой классификации суждения делятся на четыре вида.

Общеутвердительные суждения. Это суждение является общим по количеству и утвердительным по качеству. Символически эти суждения записываются следующим образом: «Все S есть P», где количественная («все») и качественная («есть») стороны суждения явно выражены в языке. Например: «Все звёзды светятся собственным светом», «Все птицы имеют крылья», «Все студенты сдают экзамены», и т. п.. Сокращённо общеутвердительные суждения обозначаются буквой А (первой буквой от латинского слова affirto, что в переводе означает утверждаю).

Общеотрицательные суждения. Это суждение является общим по количеству и отрицательным по качеству. Обобщённая формула этого суждения такова: «Ни одно S не естьP», где количественная («ни одно») и качественная («не есть») стороны суждения явно выражены в языке. Например: «Ни одна нация не может существовать без общего языка», или «ни один организм не может жить без пищи» и так далее.. Общеотрицательные суждения символически обозначается буквой Е (взята первая гласная буква от латинского слова nego, что в переводе означает отрицаю).

Частноутвердительное суждение. Это суждение является частным по количеству и утвердительным по качеству. Его обобщённая формула выглядит так: « Некоторое S есть P», где количественная («некоторые») и качественная («есть») стороны суждения явно выражены в языке. Например: «Некоторые студенты являются отличниками», или «Некоторые рыбы летают» и так далее.. Сокращённо частноутвердительные суждения обозначаются I (вторая гласная буква от латинского слова affirto).

Частноотрицательные суждения. Это суждения является частным по количеству и отрицательным по качеству. Его символическая формула такова: «Некоторые S не есть P», где количественная («некоторые») и качественная («не есть») стороны суждения явно выражены в языке. Например: «Некоторые страны Африки не являются мусульманскими», или «Некоторые студенты не посещают задания занятия в спортивных секциях» и т. п.. Эти суждения обозначаются буквой O (второй гласной буквы от латинского слова nego). Единичные суждения из объединённой классификации категорических суждений в самостоятельную группу не выделяются. По своей логической характеристике с точки зрения количества все единичные суждения относятся к общим суждениям: либо к общеотрицательным. Например: «Т.Г. Шевченко является великим украинским поэтом» является общеутвердительным суждением (А), так как предикат («великий украинский поэт») относится ко всему субъекту («Т.Г. Шевченко»). Другое суждение: «У. Шекспир не был великим путешественником» относится к общеотрицательным суждениям (Е), так как предикат («великий путешественник») полностью исключает из всего объёма субъекта («У. Шекспир»).

22. Соединительное (конъюнктивное) суждение, его строение и условия истинности

Соединительные (конъюнктивные) суждения -- состоят из нескольких простых, связанных логической связкой «и» (р?q), где p,q -- конъюнкты: Кража и мошенничество относятся к умышленным преступлениям (а, но, а также, как и, одновременно). Может быть многосоставным: р?q?r?...?n.

Соединительное суждение может быть выражено одной из трех логико-грамматических структур:

1.Соединительная связка представлена в сложном субъекте -- S1 и S2 есть P --Конфискация имущества и лишения звания являются дополнительными уголовно-правовыми санкциями;

2.Соединительная связка представлена в сложном предикате -- S есть Р1 и Р2 --Преступление -- это общественно опасное и противоправное деяние;

3.Соединительная связка представлена в сложном предикате и сложном субъекте -- S1 и S2 есть Р1 и Р2 -- «С полицмейстером и прокурором Ноздрев тоже был на «ты» и общался по-дружески» (Н.В. Гоголь).

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

23. Фигуры категорического силлогизма и их правила

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

Простой категорический силлогизм - это умозаключение об отношении двух крайних терминов на основании их отношения к среднему термину.

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

Меньшим термином силлогизма называется понятие, которое в заключении является субъектом (S).

Большим термином силлогизма называется понятие, которое в заключении является предикатом (Р).

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

Меньшая посылка - посылка, в которую входит меньший термин.

Большая посылка - посылка, в которую входит больший термин.

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