Основные этапы и направления развития логики

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

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

Первый этап - это связь с работами Аристотеля, в которых дано систематическое изложение логики. Основным содержанием логики Аристотеля является теория дедукции, также содержаться элементы математической логики. Аристотель сформулировал основные законы мышления: тождества, противоречия и исключенного третьего, описал важнейшие логические операции, разработал теорию понятия и суждения, обстоятельно исследовал дедуктивное умозаключение. Значительны успехи логической науки в Новое время. Важнейшим этапом в ее развитии явилась теория индукции, разработанная Ф. Беконом. Он подверг критике дедуктивную логику, которая не может служить методом научных открытий. Методом должна быть индукция. Разработка индуктивного метода - огромная заслуга Бекона. Методы дедукции и индукции не исключают друг друга, а дополняют. Дж.С.Милль систематизировал методы научной индукции. Дедуктивная логика Аристотеля и индуктивная логика Бекона - Милля составили основу общеобразовательной дисциплины и составляют основу логического образования в настоящее время.

Второй этап - это появление математической логики. Философ Г.В. Лейбниц считается основоположником. Он пытался построить универсальный язык, с помощью которого споры между людьми можно было разрешить посредством вычисления. Математическая логика изучает логические связи и отношения, лежащие в основе дедуктивного вывода. Для выявления структуры вывода строят различные математические исчисления. В.С. Меськов выделяет принципы классической логики: ”1) область исследования составляют обыденные рассуждения; 2) допущение о разрешимости любой проблемы; 3) отвлечение от содержания высказываний и от связей по смыслу между ними; 4) абстракция двузначности высказываний”.

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

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

Основные понятия алгебры логики.

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

Обозначается символом: x:, x=1 - истинно, x=0 – ложно

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

Подходы для установления истинности высказываний:

· Эмпирический: истинность устанавливается с помощью наблюдений, измерений, экспериментов.

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

Логическая функция – функция f(x1, x2, … xn) принимающая значение равное нулю или единице на наборе логических переменных x1, x2, … xn.

Элементарные функции алгебры логики и их свойства:

X	F1(x)	F2(x)	F3(x)	F4(x)

F1(x) – абсолютно истинна (константа единицы), F2(x) – абсолютно ложная (константа нуля), F3(x) –повторяющая значения логической переменной – тождественная функция, F4(x) – принимающая значения обратные значениям х – логическое отрицание или функция НЕ.