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

Психология » Логика как наука » Основные этапы развития формальной логики

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

Аристотель ввел в логике орудие или (метод исследования). Основным содержанием его логики является теория дедукции, содержатся элементы математической (символической), логики, имеются «начатки исчисления высказываний».

Второй этап – появление математической логики.

Немецкий философ Г.В. Лейбниц(1646 1716) по праву считается основоположником математической логики. Лейбниц пытался построить универсальный язык, с помощью которого споры между людьми можно было бы разрешить с помощью вычисления. В 19 в. Математическая логика получила интенсивное развитие в работах Д. Буля, Э. Шредера, П. С. Порецкого и других логиков.

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

Психологические факторы благополучия современной семьи
Исследователями современной семьи выделяется несколько факторов супружеского благополучия [9, с. 39 - 40]: Психобиологическая совместимость – основной фактор, влияющий на благополучие в семье. Он включает в себя взаимоуважение, взаимное ...

Механизм формирования психологической зависимости от ролевых компьютерных игр
Процесс механизма «затягивания» человека в игровую зависимость основан на частично неосознаваемых стремлениях, потребностях: уход от реальности и принятие роли. Эти механизмы работают независимо от сознания человека и характера мотивации ...

Изучение взаимосвязи между самооценкой и успеваемостью учащихся. Описание процедуры исследования
Для изучения самооценки использовались следующие методики: 1.Опросник определения уровня самооценки с помощью процедуры ранжирования С.А. Будасси. В основе исследования самооценки этой методики лежит способ ранжирования. Процедура иссле ...