Лекция 2. История развития логики.

История возникновения и развития науки логики. Логика в древней Греции. трактате «О логике, или Каноны» Демокрита (460 - 370 до н.э.)., идеи теории познания и логики Сократа (около 469 - 399 до н.э.) и Платона (428 - 347 до н.э.). Логика Аристотеля (384 - 322 до н.э.). Основные труды Аристотеля по логике: «Органон», «Метафизика». Логика в Древней Индии. Логика Древнего Китая (Дэне Си (545-501 до н.э.), Конфуций (551-501 до н.э.), Хуэй-ши (370-318 до н.э.) и др.). Логика в средние века (Ансельм Кентерберийский (1033-1109), Фома Аквинский (1225-1274), И. Росцелин (1050-1120), У. Оккам (1285-1349), аль-Фараби (870-950),) и др.) Логика в эпоху Возрождения. «Новый Органон» Ф.Бэкона (1561-1626). Успехи опытного естествознания XVI-XVII вв. и развитие логики. Идеи Р. Декарта (1596-1650) об искусстве мыслить. Новый «тип логики» И. Канта (1724-1804). Критика законов формальной логики по Г.В.Ф. Гегелю (1770-1831). Логика в 19-20 века (М.И. Карийский (1840-1917), Л.В. Рутковский (1859-1920). Математическая логика Г. Фреге (1848- 1925), Б. Рассела (1872-1970), Б. Аккермана (1896-1962) и др.

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

Первоначально логика зародилась и получила развитие как часть философии. Слово «философия» произошло от двух греческих слов «фило» и «софос», «любовь» и «наука» соответственно. Таким образом, «философия» дословно – это «любовь к науке». Философия – это наука, объединяющая все знания человека об окружающем мире, особенностях человеческого сознания и законах бытия.

Логика (греч. logik ), наука о приемлемых способах рассуждения. Слово "Логика" в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, также как и древнегреческое lógos, от которого оно происходит.

С понятием Логика связываются три основных аспекта:

- онтологический — "Логика вещей", т.е. необходимая связь явлений объективного мира (Демокрит); на ранних этапах развития логические знания носили онтологический характер, т.е. законы мышления приравнивались к законам бытия.

- гносеологический — "Логика знания", т.е. необходимая связь понятий, посредством которой познаётся "сущность и истина" (Платон);

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

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

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

Современная Логика является историческим преемником традиционной Логики и в некотором смысле её прямым продолжением. Но в отличие от традиционной, для современной Логики характерно построение различного рода формализованных теорий логического рассуждения — т.н. логических "формализмов", или логических исчислений, которые позволяют сделать логические рассуждения предметом строгого анализа и тем самым полнее описать их свойства. Отображение логического мышления в логических исчислениях привело к более адекватному выражению идеи "логоса" как единства языка и мышления, чем это было в эпоху античности и во все эпохи, предшествовавшие 20 в.; в современной Логике это выражение столь очевидно, что, исходя из различных "формализмов", приходится порой говорить о различных "стилях логического мышления".

Формальная логика получила основательное развитие в трёх традициях: в китайской, индийской и греческой. Хотя точные даты не слишком достоверны (особенно в случае Индии), скорее всего, логика возникла во всех трёх культурах в IV веке до н. э. Современная логика происходит в конечном счёте из греческой традиции (аристотелевской логики), которая, однако, была воспринята не напрямую, а при посредничестве и комментаторской деятельности арабо-мусульманских философов и средневековых европейских логиков. Можно выделить следующие исторические и региональные формы логики (приведены также их имена, исторически существовавшие и принятые в литературе по истории формальной логики):

1). Логика Древнего Китая (Дэне Си (545-501 до н.э.), Конфуций (551-501 до н.э.), Хуэй-ши (370-318 до н.э.) и др.).

2). Логика в Древней Индии.

3). Логика в древней Греции. трактат «О логике, или Каноны» Демокрита (460 - 370 до н.э.)., идеи теории познания и логики Сократа (около 469 - 399 до н.э.) и Платона (428 - 347 до н.э.). Логика Аристотеля (384 - 322 до н.э.). Основные труды Аристотеля по логике: «Органон», «Метафизика».

4). Логика в средние века (Ансельм Кентерберийский (1033-1109), Фома Аквинский (1225-1274), И. Росцелин (1050-1120), У. Оккам (1285-1349), аль-Фараби (870-950),) и др.)

5). Логика в эпоху Возрождения.

6). Логика в Новое время. «Новый Органон» Ф.Бэкона (1561-1626). Успехи опытного естествознания XVI-XVII вв. и развитие логики. Идеи Р. Декарта (1596-1650) об искусстве мыслить.

7). Новый «тип логики» И. Канта (1724-1804). Критика законов формальной логики по Г.В.Ф. Гегелю (1770-1831).

8). Логика в 19-20 века (М.И. Карийский (1840-1917), Л.В. Рутковский (1859-1920). Математическая логика Г. Фреге (1848- 1925), Б. Рассела (1872-1970), Б. Аккермана (1896-1962) и др.