Тема: Основные законы логики и их использование в судебно-следственном познании

Лекция 4.

Тема: Основные законы логики и их использование в судебно-следственном познании.

(часть I)

Основные проблемы:

1. Понятие закона логики.

2. Законы логики  и законы специальных наук.

3. Соблюдение законов логики – необходимое условие достижения истины.

4. Понятие логической формы.

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

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

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

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

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

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

Например: Логическая форма мысли «Все прокуроры - юристы», - может быть записана «Все S суть P». Однако вместо «S» и «P» можно поставить и другое понятие: «Все хирурги - врачи»; «Все планеты – небесные тела» и т. д.

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

Например: Закон обращения частноутвердительных суждений будит формулироваться так: условное суждение, имеющее форму «Если некоторое S суть P, то некоторые P суть S» будит истинным суждением при любой замене логических переменных на конкретные по содержанию понятия».

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

Как соотносятся между собой законы логики и законы других специальных наук?

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

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

3. Все законы любой науки являются отражением определённых существенных отношений и связей между предметами и явлениями.

С другой стороны, законы логики существенно отличны от законов специальных наук.

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

Особенности законов логики:

1. Они имеют очень широкую область применения, так как соблюдаются везде, в любой науке. Будь – то математика, физика, история или право.

Например: Логический анализ языка показывает, что логические связи типа «если … то»; «или … или»; «потому что»; «и» встречаются во всех науках.

Однако, несмотря на то, что область применения законов логики достаточно широка, их не следует абсолютизировать. Так, например, закон противоречия не применим там, где речь идёт о развивающихся явлениях и процессах в органических системах.

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

В процессе вывода истина достигается только при соблюдении следующих условий:

1. Исходные положения (предпосылки) должны быть истинными.

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

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

(1) Пример: «Все белковые вещества содержат в своём составе азот» (1); и (2) «Данное вещество не содержит в своём составе азота»; и (3) «Следовательно, данное вещество данное вещество не является белковым».

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

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

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

(2) Пример: Все металлы – твёрдые тела; Ртуть – не является твёрдым телом. Следовательно, ртуть не металл. Здесь видно, что хотя мы и соблюдали правила логики, однако исходили из ложных предпосылок.

4. Понятие логической формы.

Логическая форма мысли есть не что иное как строение структуры мысли.

а). Например: 1. Все прокуроры – юристы

  2. Все преступники – нарушители закона

  3. Все треугольники – суть геометрических фигур

Общее здесь:

1). Субъект «S» - указывающий на предмет мысли.

2). Предмет «P» - отражающий признак, который утверждается в суждении относительно предмета мысли.

Таким образом, приведенные суждения имеют общую структуру, которую можно выразить формулой «Все S суть P».

б). Рассмотрим следующее умозаключение:

1). Все прокуроры – юристы

  Эти люди – прокуроры. Следовательно, эти люди – юристы.

2). Все газы растворимы в воде

  Азот – газ. Следовательно, азот растворим в воде.

Эти умозаключения имеют нечто общее в своём строении:

а). Все они состоят из трёх суждений;

б). 1 и 2 являются исходными мыслями;

в). Вывод образован из понятий имеющихся в исходных посылках.

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

Итак, логической формой той или иной мысли называется её строение, т. е. способ связи частей её конкретного содержания.

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

В формальной логике используется следующая символика:

- Конъюнкция – (союз, связь) – логическая связка (обозначается &,) сложное высказывание образованно с помощью союза «и» конъюнктивное суждение.

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

- Импликация – (от лат. Сплетение, тесно связано) – в символической логике – связка, обычно интерпретируемая как оборот «если … то» (АВ).

- Эквивалентность – равнозначный, отношение типа равенства, тождества. В символической логике обозначают [≡].

- Квантор – оператор логики предикатов, применение которого к формулам даёт предложение.

Различают: - квантор всеобщности, (от англ. all – все); и

  - квантор существования (от англ. exist существовать);

Формула: 1). x P(x) – интерпретируется как «для всех «x» имеет место свойство P»;

  2). x P(x) - «существует «x» такой, что имеет место свойство P(x)»;

- Экспликация понятий – истолкование, объяснение, пояснение смысла высказываний и суждений.

Приложение 1.

Таблицы истинности для логических связок (&;v;→;≈) в суждениях.

a	b	a & b	a v b нестрогое	строгое	a → b	a ≡ b
и	и	и	и	л	и	и
и	л	л	и	и	л	л
л	и	л	и	и	и	л
л	л	л	л	л	и	и

Например: «Он является хорошим работником МВД (а) и заочно учится (b)». Такая характеристика из двух суждений (a & b)будет истинной, если суждения «a» и «b» оба истинны и т. д.» (по таблице)

Приложение 2.

Семантические категории.