-
600 BCE
Акшапада Гаутама
Индийский философ и логик, автор Ньяя-сутры.
Мало известно о жизни Акшапады Гаутамы. Он был учеником брахмана Сомашармана, возможно риши из рода Ангирасов, автор гимнов «Ригведы» или один из его потомков. Прозвище «Акшапада» означает «идущий рассеянный человек, смотрящий в землю или смотрящий под ноги».
Индийский философ и логик, автор Ньяя-сутры.
https://ru.wikipedia.org/wiki/Гаутама,_Акшапада -
570 BCE
Пифагор
древнегреческий философ, математик и мистик, создатель религиозно-философской школы пифагорейцев. Пифагор Самосский вошел в историю, как один из самых выдающихся интеллектуалов человечества. В его биографии много необычных вещей, и кажется, что сама судьба уготовала ему особый жизненный путь.Пифагор создал собственную религиозно-философскую школу и прославился, как один из самых великих математиков. Его ум и сообразительность на сотни лет.
https://ru.wikipedia.org/wiki/Пифагор -
427 BCE
Плато́н
Первый философ, чьи сочинения сохранились не в кратких отрывках, цитируемых другими, а полностью. древнегреческий философ, ученик Сократа, учитель Аристотеля.
https://ru.wikipedia.org/wiki/Платон -
384 BCE
Аристотель
Основателем логики в древнегреческой философии считается древнегреческий философ Аристотель, полагается, что он вывел первую логическую теорию, впервые систематизировал доступные знания о логике, обосновал формы и правила логического мышления. Цикл сочинений «Органон» состоит из шести работ, посвящённых логике: «Категории», «Об истолковании», «Топика», «Первая аналитика» и «Вторая аналитика», «Софистические опровержения».
https://ru.wikipedia.org/wiki/Аристотель -
1561
Фрэнсис Бэкон
Один из первых крупных философов периода Позднего Возрождения и начала Нового времени, Бэкон был сторонником строго обосновываемого, доказательного научного подхода. Он разрабатывал антисхоластический метод научного познания, стремясь по ходу дела выходить за пределы, задаваемые языком схоластики, которым он, как и другие философы того времени, всё ещё вынужден был пользоваться (как это отмечал применительно к Декарту русский философ В. С. Соловьев).
https://ru.wikipedia.org/wiki/Бэкон,_Фрэнсис -
Готфрид Вильгельм Лейбниц
Немецкий философ, логик, математик, физик, юрист, историк, дипломат, изобретатель и языковед.Лейбниц мечтал о том времени, когда ученые будут заниматься не эмпирическими исследованиями, а исчислением с карандашом в руках. Он стремился изобрести для этого универсальный символический язык, посредством которого можно было бы рационализировать любую эмпирическую науку.
https://ru.wikipedia.org/wiki/Лейбниц,_Готфрид_Вильгельм -
Кант, Иммануил
Первым, кто попытался сознательно ввести диалектику в логику, был немецкий философ И. Кант. Обозревая многовековую историю развития логики, начиная с Аристотеля, он прежде всего подвел итоги этого развития. В отличие от некоторых своих предшественников Кант не отрицал ее достижений. Наоборот, считал философ, логика добилась известных успехов.
https://azbyka.ru/otechnik/Spravochniki/logika-ivanov/1_7 (3 глава) -
Огастес де Морган
Шотландский математик и логик, профессор математики в Университетском колледже Лондона (1828—1831, 1836—1866). Первый президент Лондонского математического общества.Основные труды: по математической логике и теории рядов, к своим идеям в алгебре логики он пришёл независимо от Дж. Буля. В 1847 изложил элементы логики высказываний и логики классов, дал первую развитую систему алгебры отношений. https://ru.wikipedia.org/wiki/Морган,_Огастес_де -
Фридрих Людвиг Готлоб Фреге
Немецкий логик, математик и философ. Представитель школы аналитической философии.Сформулировал идею логицизма, то есть направление в основаниях математики и философии математики, основным тезисом которого является утверждение о «сводимости математики к логике».https://ru.wikipedia.org/wiki/Фреге,_Готлоб -
Джордж Буль
«Исследование законов мышления, на которых основываются математические теории логики и вероятностей» (1854).
Буль находил глубокую аналогию между символическим методом алгебры и символическим методом представления логических форм и силлогизмов. Единицей Буль обозначал универсум мыслимых объектов, показав, что символика подчиняется тем же законам, что и алгебраическая, а значит, что их можно складывать, вычитать, умножать и даже делить.
https://ru.wikipedia.org/wiki/Буль,_Джордж -
Бертран Рассел
Британский философ, логик, математик и общественный деятель. Известен своими работами в защиту пацифизма, атеизма, а также либерализма и левых политических течений, и внёс неоценимый вклад в математическую логику, историю философии и теорию познания. Менее известны его труды по эстетике, педагогике и социологии. Рассел считается одним из основателей английского неореализма, а также неопозитивизма.
https://ru.wikipedia.org/wiki/Рассел,_Бертран -
Мартин-Лёф, Пер
Шведский логик, статистик и философ. Член Шведской королевской академии наук. О значениях логических констант и обоснованиях логических законов, 1996. В настоящее время профессор философии математики Стокгольмского университета. Широкую известность получили его работы в области статистики и алгоритмической теории вероятностей, основаниям математики и логики.
https://ru.wikipedia.org/wiki/Мартин-Лёф,_Пер -
Оскар ван Девентер
Голландский производитель головоломок.Он прототипирует Головоломки с помощью 3D-печати. Его работа сочетает в себе математику, физику и дизайн, и он сотрудничает в академических институтах. Многие из его комбинационных головоломок находятся в массовом производстве Уве Мефферта и Витедена. Оскар ван Девентер также разработал головоломки для Ханаямы.
https://en.wikipedia.org/wiki/Oskar_van_Deventer -
Эдуа́рд Алексе́евич Гирш
Эдуа́рд Алексе́евич Гирш (род. 26 декабря 1973 года, Благовещенск, СССР) — российский математик, специалист по теоретической информатике.
2003 г — приз за лучшую программу в категории случайных формул. Задачи на логику.
https://ru.wikipedia.org/wiki/Гирш,_Эдуард_Алексеевич