Особенности современного этапа развития формальной логики

СОДЕРЖАНИЕ

ВВЕДЕНИЕ        2

1. ЗАРОЖДЕНИЕ И СУЩНОСТЬ ЛОГИКИ КАК НАУКИ        4

2. ОСНОВНЫЕ ИСТОРИЧЕСКИЕ ЭТАПЫ РАЗВИТИЯ ЛОГИКИ        9

2.1 Становление символической (математической) логики        9

2.2 Становление индуктивной логики        10

2.3 Становление диалектической логики        13

3. ОСОБЕННОСТИ СОВРЕМЕННОГО ЭТАПА РАЗВИТИЯ ФОРМАЛЬНОЙ ЛОГИКИ        17

ЗАКЛЮЧЕНИЕ        24

СПИСОК ЛИТЕРАТУРЫ        25

ВВЕДЕНИЕ

Современная логика сформировалась в конце XIX — начале XX в. Но ее основателем по праву можно считать выдающегося немецкого ученого Готфрида Лейбница (1646—1716). Он жил в XVII в., но его работы опережали свое время на несколько столетий. Только в XX в., с развитием современной логики, идеи Г. Лейбница получили поддержку и были развиты в работах современных логиков.

Современная логика существенно отличается от традиционной. На этом этапе развития логического знания интересы логиков значительно расширяются.

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

Однако современная логика не отрицает традиционную (аристотелевскую) логику. Она — ее продолжение. Яркое сравнение этих двух логик дает английский ученый Л. Уайтхед (1861 — 1947) в предисловии к книге У. Куайна «Система логистики» [1]. Он пишет: «В современном развитии логики традиционная аристотелевская логика занимает свое место как упрощенное формулирование проблем, обусловленных предметом.

В этом видна аналогия арифметики примитивных племен с современной математикой» [2].

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

У истолковать формирования классической логически стояли Джорджиец Буль (1815—1864), Огастес (Августус) дед Морган (1806-1871), Чарльз Пирсинг (1839-1914), Готлоб Фреге (1848- 1925), Давид Гильберт (1862—1943) и другие.

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

Первоматерия большая работка классической логически — трехтомное издавание Б. Расселина и А. Уайтхеда «Principia Mathe- matica» («Принципы математически»), которое былой издано в 1910-1913 гг. [3]

Критикнуть классической логически начали фактический с моменталист ее создания. Онагр велась под различным направлениям. Ее результант — возникновение новых разделов современной логически, которые в совокупности составляют неклассическую логику.

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

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

...