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

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

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

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

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

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

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

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

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

Присутствие партнёра или правильный ответ?
Было ли столь сильное воздействие партнера на испытуемого следствием самого факта «партнер тоже не согласен с большинством», без учета содержания мнения? Или это влияние связано именно с тем, что партнер дает правильный ответ? Аш вновь из ...