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

Основными формами абстрактного мышления являются: ПОНЯТИЯ, СУЖДЕНИЯ, УМОЗАКЛЮЧЕНИЯ.

ПОНЯТИЕ - форма мышления, в которой отражаются существенные признаки отдельного предмета или класса однородных предметов: портфель трапеция ураганный ветер.

СУЖДЕНИЕ - мысль, в которой что-либо утверждается или отрицается о предметах. Суждения являются повествовательными предложениями, истинными или ложными. Они могут быть простыми и сложными, например "Весна наступила, и грачи прилетели".

УМОЗАКЛЮЧЕНИЕ - прием мышления, посредством которого из исходного знания получается новое знание или из одного или нескольких истинных суждений, называемых посылками, мы по определенным правилам вывода получаем заключение. Есть несколько видов умозаключений:

1. Все металлы - простые вещества.

2. Литий - металл.

3. Литий - простое вещество.

Чтобы достичь истины при помощи умозаключений, надо соблюдать законы логики.

ФОРМАЛЬНАЯ ЛОГИКА¹³ - наука о законах и формах правильного мышления.

МАТЕМАТИЧЕСКАЯ ЛОГИКА¹⁴ изучает логические связи и отношения, лежащие в основе дедуктивного (логического) вывода.

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

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

Рассмотрим этапы развития логики.

1-й этап связан с работами ученого и философа Аристотеля (384-322 гг. до н.э.). Он пытался найти ответ на вопрос “как мы рассуждаем”, изучал “правила мышления”. Аристотель впервые дал систематическое изложение логики. Он подверг анализу человеческое мышление, его формы - понятие, суждение, умозаключение и рассмотрел мышление со стороны строения, структуры, то есть с формальной стороны. Так возникла формальная логика. Аристотель исследовал различные формы рассуждений и их комбинаций, ввел понятие силлогизма, т.е. рассуждения, в котором из заданных двух суждений выводится третье.

Например:

1. “Все млекопитающие имеют скелет. Все киты - млекопитающие. Следовательно, все киты имеют скелет.”

2. “Все квадраты - ромбы, все ромбы - параллелограммы. Следовательно, все квадраты - параллелограммы.”

В общем виде этот силлогизм имеет форму:

“Все а суть в, все в суть с. Следовательно, все а суть с.”

А вот пример силлогизма неправильной формы:

“Все квадраты - ромбы. Некоторые ромбы имеют острый угол. Следовательно, некоторые квадраты имеют острый угол.”

Следовательно, силлогизм, имеющий форму “Все а суть в, некоторые в суть с. Значит, некоторые а суть с” может привести и к ложным выводам.

Аристотель выделил все правильные формы силлогизмов, которые можно составить из рассуждений вида:

- “Все а суть в”

- “Некоторые а суть в”

- “Все а не суть в”

- “Некоторые а не суть в”

Логика, основанная на теории силлогизмов называется классической. Доказано, что общее число силлогизмов, которые можно составить из рассуждений указанного вида, равно 256. Из них правильными являются лишь 24. Для проверки правильности силлогизмов можно использовать метод геометрической иллюстрации логических рассуждений, который был предложен великим математиком XVIII в., петербургским академиком Л.Эйлером (1707 - 1783) и широко применялся английским математиком Дж. Венном (1834 - 1923). Значит, некоторые а суть с”. Случайно может оказаться и так, что вывод будет истинным (рис.1.2(б)). Но логика считает допустимым только такие формы рассуждений, которые гарантируют истинный результат во всех случаях, когда исходные утверждения истинны. Использование диаграмм затруднительно в сложных случаях.

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

2-й этап - появление математической или символической логики. Основы ее заложил немецкий ученый и философ Готфрид Вильгельм Лейбниц (1646-1716). Он попытался построить первые логические исчисления, считал, что можно заменить простые рассуждения действиями со знаками и привел правила. Но Лейбниц высказал только идею, а развил ее окончательно англичанин Джордж Буль (1815-1864). Буль считается основоположником математической логики как самостоятельной дисциплины. В его работах логика обрела свой алфавит, свою орфографию и грамматику. Недаром начальный раздел математической логики называют алгеброй логики, или булевой алгеброй.

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

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

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

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

1. Законы, которым подчиняется мышление в процессе познания объективного мира.

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

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

4. Способы доказательства истинности полученных знаний: прямое и косвенное доказательство, опровержение и т.д.