Логика второго порядка в математической логике — формальная система, расширяющая логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами и функциональными символами. Логика второго порядка несводима к логике первого порядка. В свою очередь, она расширяется логикой высших порядков и теорией типов.
Ри́чард Ме́ретт Монтегю́ — американский математик, философ. Его наиболее известные исследования посвящены семантике и прагматике естественного языка, математической логике и теории множеств. Монтегю — основатель модельно-теоретического подхода к семантике естественного языка, часто называемого грамматикой Монтегю.
Сол Аарон Крипке — американский философ и логик. Почётный профессор Гарвардского университета, заслуженный профессор Высшей школы и Университетского центра Городского университета Нью-Йорка. Лауреат премии Рольфа Шока по философии и логике (2001), согласно одному из опросов, входит в десятку наиболее важных философов последних 200 лет.
Парадокс лжеца — семейство логических парадоксов, классический вариант которого гласит «Я лгу» или, более точно, «Данное утверждение ложно».
Каарло Яакко Юхани Хинтикка — финский философ и математик. Эксперт в различных областях математической логики, теории игр, философии математики, эпистемологии, философии науки, метафизики, а также в других философских специализациях и сопутствующих исторических вопросах, среди которых теории Аристотеля, Рене Декарта и Людвига Витгенштейна. Иностранный член Российской академии наук (1999). Лауреат Премии Рольфа Шока (2005).
Йохан Фредерик Сталь, более известный как Фриц Сталь — голландский и американский индолог; заслуженный профессор философии и исследований в области Южной и Юго-Восточной Азии в Калифорнийском университете в Беркли.
Станислав Лесьневский — польский математик и философ. В математике специализировался на математической логике. Один из главных представителей Львовско-варшавской школы.
Николас Говерт де Брёйн — нидерландский математик, известный исследованиями в области теории графов, автоматического доказательства, автор учебника по асимптотическим методам анализа. Его именем названы конструкции, связанные с последовательностью де Брёйна: цикл де Брёйна, граф де Брёйна, а также несколько известных утверждений в теории графов, комбинаторике, вычислительной геометрии и теории чисел.
Гео́рг Абе́лович Брутя́н — армянский и советский учёный и общественный деятель, академик Академии наук Армянской ССР (1982), основатель и президент Армянской философской академии (1987).
Ди́к Фра́нс Сваа́б (нидерл. Dick Frans Swaab) — нидерландский нейробиолог, специализирующийся в области исследований головного мозга, профессор Амстердамского университета, директор (1978—2005) Нидерландского института головного мозга при Нидерландской королевской академии наук, писатель-публицист.
Хенк Барендрегт — нидерландский математик и логик, исследователь λ-исчисления и теории типов, автор λ-куба. Профессор, заведующий кафедрой оснований математики и информатики Университета Неймегена.
Неклассические логики — группа формальных систем, существенно отличающихся от классических логик путём различных вариаций законов и правил. Благодаря этим вариациям возможно построение различных моделей логических выводов и логической истины.
Карс Х. Хоммес — голландский экономист, профессор экономики Амстердамского университета.
Роберт Энтони Ковальский — американский логик и ученый, который провел большую часть своей карьеры в Соединенном Королевстве.
Лари́са Льво́вна Макси́мова — российский математик и педагог, специалист в области математической логики, лауреат премии имени А. И. Мальцева (2009).
Анри Тейл — голландский экономист, профессор экономики, президент Эконометрического общества в 1961 году, автор индекса Тейла и соавтор оценочной функции Тейла — Сена.
А́нджей Стани́слав Мосто́вский — польский математик и логик, член Польской академии наук (1956). Труды посвящены основаниям математики, математической логике, теории множеств, теории моделей, вопросам разрешимости рекуррентных формул, применению алгебраических и топологических методов в математической логике. Президент секции логики, методологии и философии наук Международного союза истории и философии науки (1971—1975). Кавалер Ордена Возрождения Польши (1954), лауреат Государственной премии Польской народной республики (1966).
Эрнст ван де Ветеринг — нидерландский искусствовед и историк искусства, профессор Амстердамского университета (1987—1999), участник и руководитель исследовательского проекта «Рембрандт», автор ряда книг о жизни и творчестве Рембрандта.
Геррит Маннури — нидерландский философ и математик, профессор Амстердамского университета и коммунист, известный как центральная фигура в Значимом круге, голландском аналоге Венского кружка.
Анна Шерп Трулстра — нидерландский математик и логик, профессор Амстердамского университета, специалист по математической логике, интуиционизму, основаниям математики.
