Основоположники логики
Древнегреческий философ и учёный Аристотель является и основоположником логики.. Познание у Аристотеля имеет своим предметом бытие. Основа опыта — в ощущениях, памяти и привычке. Любое знание начинается с ощущений: оно есть то, что способно принимать форму чувственно воспринимаемых предметов без их материи; разум же усматривает общее в единичном.
Однако с помощью одних только ощущений и восприятий приобрести научное знание нельзя, потому что все вещи имеют изменчивый и переходящий характер. Формами истинно научного знания являются понятия, постигающие сущность вещи.
Детально и глубоко разобрав теорию познания, Аристотель создал труд по логике, который сохраняет своё непреходящее значение и поныне. Здесь он разработал теорию мышления и его формы, понятия, суждения и умозаключения.
Задача понятия состоит в восхождении от простого чувственного восприятия к вершинам абстракции. Научное знание есть знание наиболее достоверное, логически доказуемое и необходимое.
В учении о познании и его видах Аристотель различал «диалектическое» и «аподиктическое» познание. Область первого — «мнение», получаемое из опыта, второго — достоверное знание. Хотя мнение и может получить весьма высокую степень вероятности по своему содержанию, опыт не является, по Аристотелю, последней инстанцией достоверности знания, ибо высшие принципы знания созерцаются умом непосредственно.
Английский математик и логик. Буль был, вероятно, первым после Джона Валлиса математиком, обратившимся к логической проблематике. Идеи применения символического метода к логике впервые высказаны им в статье «Математический анализ логики» (1847).
Буль высказывал пожелание, чтобы о его взглядах судили по обширному трактату «Исследование законов мышления, на которых основываются математические теории логики и вероятностей» (1854). Буль не считал логику разделом математики, но находил глубокую аналогию между символическим методом алгебры и символическим методом представления логических форм и силлогизмов.
Единицей Буль обозначал универсум мыслимых объектов, буквенными символами — выборки из него, связанные с обычными прилагательными и существительными. Буль показал, что символика такого рода подчиняется тем же законам, что и алгебраическая, из чего следовало, что их можно складывать, вычитать, умножать и даже делить. Буль показал, как из любого числа высказываний, включающих любое число терминов, вывести любое заключение, следующее из этих высказываний, путём чисто символических манипуляций.
Немецкий философ, математик, физик, языковед. Отец Лейбница был университетским профессором морали, и его сын с юных лет проявил интерес к науке. После окончания школы Готфрид продолжил образование в Лейпцигском (1661-66) и Йенском университете, где он провел один семестр в 1663, оказавшийся весьма полезным благодаря знакомству с идеями математика и философа Э. Вейгеля.
В 1663 под руководством известного немецкого мыслителя Я. Томазия Лейбниц защитил тезисы работы «О принципе индивидуации» (выдержанной в духе номинализма и предвосхитившей некоторые идеи его зрелой философии), что принесло ему степень бакалавра.
В 1666 в Лейпциге он пишет габилитационную работу по философии «О комбинаторном искусстве», в которой высказывается идея создания математической логики, а в начале 1667 года становится доктором права, представив диссертацию «О запутанных судебных случаях» в Альтдорфском университете.
Из божественного попечительства над миром философ выводит универсальную, неразрывную связь всего со всем. Одно тело не отделено от остальных. Оно – кирпичик в едином здании мира. И душу, по Лейбницу Бог с самого начала создал так, что она “представляет” происходящее в теле; а тело в свою очередь сотворено так, что выполняет “распоряжения души. Идея “репрезентации”, т. е. изображения и воплощения в каждом сущем всего мира, лейтмотивом проходит через философию великого мыслителя.
Мы должны быть благодарны Аристотелю, Булю Джорджу и Лейбницу за то, что они познакомили нас с наукой о формах, методах и законах интеллектуальной познавательной деятельности - с логикой.