Ло́гика (др.-греч. λογική — «наука о правильном мышлении»; «способность к рассуждению»; от λόγος «учение, наука») — философская дисциплина и нормативная наука о законах, формах и приёмах интеллектуальной деятельности.
Даро́н Адже́моглу — турецко-американский экономист армянского происхождения. Институтский профессор MIT, член НАН США, Американского философского общества (2021) и Британской и Турецкой АН. Относится к числу 10 самых цитируемых экономистов мира. Лауреат Нобелевской премии по экономике 2024 года за исследования различий в благосостоянии наций.
Фри́дрих Лю́двиг Го́тлоб Фре́ге — немецкий логик, математик и философ. Представитель школы аналитической философии.
Комбина́торная ло́гика — направление математической логики, занимающееся фундаментальными понятиями и методами формальных логических систем или исчислений. В дискретной математике комбинаторная логика тесно связана с лямбда-исчислением, так как описывает вычислительные процессы.
Ха́скелл Брукс Ка́рри — американский математик и логик.
Геллий Никола́евич По́варов — советский математик, философ и историк науки, профессор кафедры кибернетики Московского инженерно-физического института, действительный член Международной академии информатизации, внёсший значительный вклад в развитие отечественной кибернетики, философию науки.
Да́на Стю́арт Скотт — американский математик, известный работами в области математической логики и информатики.
Джон Маккарти — американский информатик, автор термина «искусственный интеллект» (1956), изобретатель языка Лисп (1958), основоположник функционального программирования, лауреат премии Тьюринга (1971) за огромный вклад в область исследований искусственного интеллекта.
Абрахам Робинсон — американский математик, создатель «нестандартного анализа». Робинсон доказал, что поле вещественных чисел может быть расширено до множества, содержащего бесконечно малые и бесконечно большие величины в том смысле, какой вкладывали в эти понятия Лейбниц и другие математики XVIII века.
Аркадий Дмитриевич Закревский — советский и белорусский кибернетик, специалист в области дискретной математики, алгоритмического и логического проектирования. Свой жизненный путь окончил в качестве главного научного сотрудника Объединённого института проблем информатики. Был членом-корреспондентом НАН Беларуси, академиком Международной академии информации, информационных процессов и технологий, доктором технических наук, профессором. Аркадий Дмитриевич, стоявший у истоков рождения кибернетики в Советском Союзе, являлся основателем одной из самых известных школ логического проектирования в Советском Союзе и в мире.
Джон Джордж Ке́мени — американский математик и специалист по информатике венгерского происхождения. Вместе с Томасом Курцем разработал язык Бейсик (1964). В 1970 году был избран 13-м президентом Дартмутского колледжа и занимал эту должность 11 лет. В этом колледже он впервые начал систематическое применение компьютеров в учебном процессе.
Эрнст Шрёдер — немецкий математик и логик.
История логики изучает развитие науки о формах и законах правильного мышления (логика).
Каарло Яакко Юхани Хинтикка — финский философ и математик. Эксперт в различных областях математической логики, теории игр, философии математики, эпистемологии, философии науки, метафизики, а также в других философских специализациях и сопутствующих исторических вопросах, среди которых теории Аристотеля, Рене Декарта и Людвига Витгенштейна. Иностранный член Российской академии наук (1999). Лауреат Премии Рольфа Шока (2005).
Артур Робинсон — американский географ и картограф, историк картографии, педагог.
Станислав Лесьневский — польский математик и философ. В математике специализировался на математической логике. Один из главных представителей Львовско-варшавской школы.
Теория языков программирования — раздел информатики, посвящённый вопросам проектирования, анализа, определения характеристик и классификации языков программирования и изучением их индивидуальных особенностей. Тесно связана с другими ветвями информатики, результаты теории используются в математике, в программной инженерии и лингвистике.
Роберт Энтони Ковальский — американский логик и ученый, который провел большую часть своей карьеры в Соединенном Королевстве.
Макс Блэк — британско-американский философ , оказавший значительное влияние на развитие аналитической философии первой половины 20-го века. Внёс заметный вклад в такие дисциплины, как философия языка, философия математики, философия науки и философия искусства. Отметился также изданием и классическим переводом работ таких философов, как Фреге. Брат Миши Блэка.
Дэвид Гэйл — американский математик и экономист. Профессор университета Калифорнии, работавший на кафедрах математики, экономики, промышленной инженерии и исследования операций. Внес большой вклад в математическую экономику, теорию игр и выпуклый анализ.
