Основные этапы развития формальной логики
Формальная логика в своем развитии прошла два основных этапа. Начало первого этапа связанно с работами древнегреческого философа и ученого Аристотеля (384-322 гг. до н.э.), в которых впервые дано систематическое изложение логики. Логику Аристотеля и всю доматематическую логику называют «традиционной» или формальной логикой. Традиционная формальная логика. Включает в себя такие разделы и понятия как суждение, умозаключение, законы логики, доказательство и опровержение, гипотеза. Основными работами Аристотеля по логике являются «Первая аналитика» и «Вторая аналитика», в которых дана теория силлогизма, определение и деление понятий, доказательство.
Аристотель ввел в логике орудие или (метод исследования). Основным содержанием его логики является теория дедукции, содержатся элементы математической (символической), логики, имеются «начатки исчисления высказываний».
Второй этап – появление математической логики.
Немецкий философ Г.В. Лейбниц(1646 1716) по праву считается основоположником математической логики. Лейбниц пытался построить универсальный язык, с помощью которого споры между людьми можно было бы разрешить с помощью вычисления. В 19 в. Математическая логика получила интенсивное развитие в работах Д. Буля, Э. Шредера, П. С. Порецкого и других логиков.
Математическая или символическая логика изучает логические связи и отношения, лежащие в основе дедуктивного (логического) вывода. При этом в математической логике для выявления структуры вывода строятся различные логические исчисления, прежде всего исчисление высказываний и исчисление придатков в их различных модификациях. Можно сказать, что математическая логика разрабатывает применение математических методов к анализу форм и законов доказательного рассуждения.
Вступление
Подавляющее большинство людей почти всю свою сознательную жизнь проводят в организациях. Начиная с яслей и кончая домом для престарелых, человек сознательно или бессознательно, добровольно или по принуждению, заинтересованно или с полно ...
Общие представления о структуре языкового знания
Уже Ф. де Соссюр говорил о том, что язык образуется в голове человека суммой всех словесных образов, общих для коллектива говорящих, и подчеркивал, что такая совокупность – «это клад, практикой речи отлагаемый во всех, кто принадлежит к о ...
Анализ результатов исследования
Как показывают результаты исследования, уровень образного мышления у испытуемых недостаточно высок.
Так, например, о недостаточно высоком уровне развития наглядно-образного мышления у обследуемых детей говорят результаты анализа данных п ...