Если а, то в.

1. «Сократ – это человек».

2. «Число 2 является простым».

В этих 2х высказываниях каждому объекту приписывается свойство.

А есть в.

1. «Петя любит Машу».

2. «Число 3 больше 2».

Здесь связь между 2мя объектами

а R b.

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

Откуда берутся формы? А могут ли формы браться из опыта? Поскольку опыт у нас разный, то и формы были бы разными. Раз они не берутся из опыта, значит, они берутся из мышления. Вся деятельность нашего мышления связана с продуцированием этих форм. «Мышление – спонтанность форм» – И.Кант. Именно поэтому эти формы называются формами мышления (логические формы).

Если провести аналогию между логикой и математикой, то их можно называть «близнецами». Любую логическую цепочку можно представить в виде алгебры. Современная логика – по большей части математика. Математика – идеал науки. Такая близость позволяет проводить некую аналогию: в школе пишут: 00+0=000 (0 – яблоки). «Два яблока плюс одно яблоко равно три яблока». Такие утверждения называются утверждениями эмпирической арифметики. С них начинается изучение математики и логики.

Через некоторое время пишут: 2+1=3. Это утверждение является формой первого утверждение, которое получено посредством формализации (утверждение чистой арифметики).

Далее: А+В=С. Здесь мы отвлекаемся не только от содержания, но и от количества и переходим к переменным.

Зададим вопрос: «Зачем нам нужно изучать логические формы?» Что изучает алгебра? Алгебра изучает операции над числами и отношения между ними. Далее создаются правила и законы («От перемены мест слагаемых сумма не меняется»). Если мы будет нарушать эти правила, ответ будет не правильным. То же самое касается логических законов, которым должны подчиняться все логические операции и формы. Это дает нам некую универсальную законодательную базу, которую должен соблюдать человек, чтобы придти к верному ответу.

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

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

1. Выявить и систематизировать основные логические формы;

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

Тема 2. Понятие логического закона

Закон – данный термин употребляется в 2х очень разных смыслах. С одной стороны, закон – норма поведения (некоторые правила, которые регулируют то, что должно быть). Такие законы называются морально-правовыми. С другой стороны, он касается не того, что должно быть, а то, что есть (законы природы). Законы в легальном смысле основаны на различии того, что должно быть и того, что есть. А что же такое закон природы? Почему мы эти законы считаем действительными? Все это происходит на основании подтверждения (опыта), т.е. естественнонаучные законы фактически истинны.

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

Итак, истина бывает фактической, и ложь бывает фактической. Однако и истина, и ложь бывает не только фактической (знания подтверждается фактами), но и логической. Например: «На улице всегда дождь либо идет, либо не идет» – это логическая истина, т.к. это утверждение истинно по своей форме. «У некоторых треугольников нет 3х углов» - пример логической лжи.

Либо А, либо Б – логическая истина (закон исключения третьего).

А есть не А – логическая ложь (закон сгущения противоречий)

Логический закон – формально истинное утверждение. Вся цель логики направлена на изучение функционирования слова «следовательно». Например: «Все люди смертны. Сократ – человек. Следовательно, Сократ – смертен.». «Все зайцы едят капусту. Сократ ест капусту…» «У всех ведьм длинные волосы. У Маши длинные волосы…»

В первом случае мы можем поставить слово «следовательно» в отличие от других утверждений, потому что

(C) Л – см. (B) С-B (B) З – к. (С) B - C

(A) С – ч. (C) А-С (А) С – к. (С) A - C

(A) С- см. (B) А-B (А) С – з. (B) A - B

Правильные утверждения имеют одну конструкцию, неправильные – другую. Это просто понять, где логическая связь существует, а где нет. Однако есть сложные примеры: «Идет состязательное судебное разбирательство. Рассматривается дело по обвинению Иванова, сторона обвинения рассуждает: каждый преступник должен сидеть в тюрьме, а Иванов должен сидеть в тюрьме. А адвокат говорит, что Иванов не преступник и не должен сидеть в тюрьме. Судья делает вывод: преступники должны сидеть в тюрьме, но Иванов не преступник. Кто прав?» В этом примере правильность суждения зависит от хода расследования. Вывод не вытекает из аргументов прокурора или адвоката. Судья прав. Логика призвана помочь понимать разбираться в данных ситуациях.

В развитии логики выделяют 2 основных этапа:

1. Традиционная логика. Этот этап относится к доматематизированному этапу логики.

2. Математическая логика. Примерно с середины XIX века в логику внедряются математические методы.

В традиционной логике выделяют 2 раздела:

1. Раздел изучения логических элементов (различные формы мысли). Такими логическими элементами считаются понятия суждения и умозаключения.

2. Учение о доказательстве. В традиционной логике это учение сводилось к предотвращению ошибок в доказательстве.