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