Список логиков

Логик – это человек, изучающий логику . Некоторые известные логики перечислены ниже в порядке английской алфавитной транслитерации (по фамилиям ).

Это динамический список , и он, возможно, никогда не сможет соответствовать определенным стандартам полноты. Вы можете помочь, добавив недостающие элементы из надежных источников .

А

• Пьер Абеляр (Франция, 1079–1142 гг.)
• Вильгельм Акерманн (Германия, 1896–1962)
• Сергей Адян (Россия/Советский Союз/Армения, 1931–2020)
• Рудольф Агрикола (Германия, 1443/1444–1485)
• Казимеж Айдукевич (Польша, 1890–1963)
• Алкуин (Англия/Франция, ок. 735–804)
• Алан Росс Андерсон (США, 1924–1972)
• Питер Б. Эндрюс (США, 1938 г.р.)
• Фома Аквинский (Италия/Франция, 1225–1274 гг.)
• Леннарт Аквист (Швеция, 1932 г.р.)
• Аристотель (Греция, 384–322 гг. до н. э.)
• Наследник Осерский (Франция, 841–876 гг.)

Б

• Бахманьяр (Иран, умер в 1067 г.)
• Джаянта Бхатта (Индия, 850–910 гг.)
• Александр Бейн (Великобритания, 1818–1903)
• Иеошуа Бар-Гилель (Израиль, 1915–1975)
• Рут Баркан Маркус (США, 1921–2012 гг.)
• Хенк Барендрегт (Нидерланды, 1947 г.р.)
• Джон Барвайз (США, 1942–2000)
• Джеймс Эрл Баумгартнер (США, 1943–2011 гг.)
• Джон Лейн Белл (Великобритания и Канада, 1945 г.р.)
• Нуэль Белнап (США, 1931 г.р.)
• Пол Бенасерраф (США, 1931 г.р.)
• Жан Поль Ван Бендегем (Бельгия, 1953 г.р.)
• Йохан ван Бентем (Нидерланды, 1949 г.р.)
• Поль Бернейс (Швейцария, 1888–1977)
• Эверт Виллем Бет (Нидерланды, 1908–1964)
• Жан-Ив Безио (Швейцария, 1965 г.р.)
• Юзеф Мария Боченский (Польша, 1902–1995)
• Боэций (Рим/Остготское королевство, ок. 480–524/525)
• Бернар Больцано (Австрийская империя, 1781–1848)
• Андреа Бономи (Италия, 1940 г.р.)
• Джордж Буль (Англия/Ирландия, 1815–1864 гг.)
• Джордж Булос (США, 1940–1996)
• Николя Бурбаки (псевдоним, используемый группой французских математиков, 20 век)
• Томас Брэдуордин (Англия, ок. 1290–26 августа 1349 г.)
• Ричард Бринкли (Англия, умер около 1379 г.)
• Луицен Эгбертус Ян Брауэр (Нидерланды, 1881–1966)
• Алан Ричард Банди (Великобритания, 1947 г.р.)
• Франко Бургерсдейк (Нидерланды, 1590–1629)
• Жан Буридан (Франция, ок. 1300 – после 1358)
• Уолтер Берли (Англия, ок. 1275–1344/5)

С

• Чанакья (Индия, Мурьянская империя, 371–285 до н. э.)
• Георг Фердинанд Кантор (Германия, 1845–1918)
• Рудольф Карнап (Германия, 1891–1970)
• Льюис Кэрролл (Великобритания, 1832–1898)
• Categoriae decem (латиница, пятый век)
• Грегори Чайтин (Аргентина/США, 1947 г.р.)
• Хрисипп (Греция, ок. 280 г. до н.э. – ок. 207 г. до н.э.)
• Церковь Алонзо (США, 1903–1995)
• Леон Чвистек (Польша, 1884–1944)
• Гордон Х. Кларк (США, 1902–1985)
• Пол Джозеф Коэн (США, 1934–2007 гг.)
• Conimbricenses — имя, под которым были известны иезуиты Университета Коимбры (Португалия) (1591–1606).
• С. Барри Купер (Великобритания, 1943–2015 гг.)
• Джек Коупленд (Великобритания, 1950 г.р.)
• Тьерри Коканд (Франция, 1961 г.р.)
• Джон Коркоран (США, 1937–2021 гг.)
• Ньютон да Кошта (Бразилия, родился в 1929 г.)
• Уильям Крейг (США, 1918–2016)
• Хаскелл Карри (США, 1900–1982)
• Тадеуш Чежовский (Польша, 1889–1981)

Д

• Дирк ван Дален (Нидерланды, 1932 г.р.)
• Мартин Дэвис (США, 1928–2023 гг.)
• Огастес Де Морган (Великобритания, 1806–1871)
• Рене Декарт (Франция, 1596–1650)
• Дхармакирти (Индия, ок. VII век)
• Дигнага (Индия, эт. V века)
• Диодор Кронос (Греция, IV–III века до н.э.)
• Мартин Дорп (Нидерланды, ок. 1485–1525)
• Джон Дамблтон (Англия, умер около 1349 г.)
• Майкл А. Э. Даммет (Великобритания, 1925–2011 гг.)
• Джон Майкл Данн (США, 1941–2021 гг.)

Э

• Самуэль Эйленберг (Польша, 1913–1998)
• Александр Есенин-Вольпин (Россия, 1924–2016)
• Джон Этчеменди (США, 1952 г.р.)
• Леонхард Эйлер (Швейцария, 1707–1783)

Ф

• Соломон Феферман (США, 1928–2016 гг.)
• Ричард Феррибридж (Англия, 14 век)
• Хартри Филд (США, 1946 г.р.)
• Кит Файн (США, 1946 г.р.)
• Мелвин Фиттинг (США, 1942 г.р.)
• Грэм Форбс (Шотландия, 20 век)
• Мэтью Форман (США, 1957 г.р.)
• Майкл Фурман (Великобритания, 1950 г.р.)
• Ролан Фрейссе (Франция, 1920–2008)
• Авраам Френкель (Германия, 1891–1965)
• Готтлоб Фреге (Германия, 1848–1925)
• Харви Фридман (США, 1948 г.р.)

Г

• Дов Габбай (Великобритания, 1945 г.р.)
• Хаим Гейфман (США, 1934 г.р.)
• LTF Gamut (коллективный псевдоним, используемый группой голландских логиков, 1980–1990-е годы)
• Робин Ганди (Великобритания, 1919–1995)
• Сол Гарфанкел (США, 1943 г.р.)
• Garlandus Compotista (Франция, ок. 11 века)
• Акшапада Гаутама , автор Ньяя-сутр и основатель школы ньяя индуистской философии (Индия, ок. 6 века до н.э. - 2 век нашей эры)
• Гангеша Упадхьяя , автор книги «Таттвачинтамани» («Мысль-драгоценность истины») и основатель Навья-Ньяи (Индия, ок. 14 века н.э.)
• Питер Ич (Великобритания, 1916–2013)
• Герхард Генцен (Германия, 1909–1945)
• Жозеф Диас Жергон (Франция, 1771–1859)
• Жильбер де ла Порре (Франция, 1070–1154 гг.)
• Жан-Ив Жирар (Франция, 1947 г.р.)
• Курт Гёдель (Австрия, США, 1906–1978)
• Рубен Луи Гудштейн (Англия, 1912–1985)
• Валентин Горанко (Болгария/Швеция, 1959 г.р.)
• Зигфрид Готвальд (Германия, 1943–2015 гг.)
• Йерун Гроенендейк (Нидерланды, 1949 г.р.)

Х

• Сьюзан Хаак (Великобритания, 1945 г.р.)
• Петр Гайек (Чехия, 1941–2016)
• Лео Харрингтон (США, 1946 г.р.)
• Роберт С. Хартман (Германия/США, 1910–1973)
• Георг Вильгельм Фридрих Гегель (Германия, 1770–1831)
• Жан Ван Хейеноорт (Франция/США, 1912–1986)
• Леон Хенкин (США, 1921–2006)
• Жак Эрбран (Франция, 1908–1931)
• Аренд Хейтинг (Нидерланды, 1898–1980)
• Давид Гильберт (Германия, 1862–1943)
• Яакко Хинтикка (Финляндия, 1929–2015)
• Альфред Хорн (США, 1918–2001 гг.)
• Уильям Элвин Ховард (США, 1926 г.р.)
• Эхуд Грушовски (Израиль, 1959 г.р.)
• Жерар Юэ (Франция, 1947 г.р.)

Я

• Ибн Таймия (Турция, 1263–1328 гг. Н. Э.)
• Марсилий Ингенский (Нидерланды/Франция/Германия, 1330/1340–1396)

Дж

• Георгий Джапаридзе (Грузия, 20 век)
• Станислав Ясковский (Польша, 1906–1965)
• Ричард Джеффри (США, 1926–2002 гг.)
• Рональд Дженсен (США, Европа, 1936 г.р.)
• Уильям Стэнли Джевонс (Англия, 1835–1882)
• Иоанн Сент-Томасский / Джон Пуансо (Португалия/Испания, 1589–1644 гг.)
• Уильям Эрнест Джонсон (Великобритания, 1858–1931)
• Дик де Йонг (Нидерланды, 1939 г.р.)
• Бьярни Йонссон (Исландия, 1920–2016)
• Филип Журден (Великобритания, 1879–1919)
• Иоахим Юнгиус (Германия, 1587–1657)
• Джнянасримитра (Индия, 10 век)

К

• Дэвид Каплан (США, 1933 г.р.)
• Александр С. Кекрис (США, 1946 г.р.)
• Говард Джером Кейслер (США, 1936 г.р.)
• Ахмед Раза Хан (Индия, 1856–1921)
• Ричард Килвингтон (Англия, ок. 1305–1361)
• Роберт Килвардби (Англия, ок. 1215–1279)
• Стивен Коул Клини (США, 1909–1994)
• Тадеуш Котарбинский (Польша, 1886–1981)
• Роберт Ковальски (США, Великобритания, 1941 г.р.)
• Георг Крайзель (Австрия/Великобритания/США, 1923–2015 гг.)
• Сол Крипке (США, 1940–2022 гг.)
• Леопольд Кронекер (Германия, 1823–1891)
• Кеннет Кунен (США, 1943–2020 гг.)

Л

• Кристин Лэдд-Франклин (США, 1847–1930)
• Иоахим Ламбек (Канада, 1922–2014 гг.)
• Иоганн Генрих Ламберт (Франция/Германия, 1728–1777)
• Карел Ламберт (США, 1928 г.р.)
• Готфрид Вильгельм Лейбниц (Германия, 1646–1716)
• Станислав Лесневский (Польша, 1886–1939)
• Кларенс Ирвинг Льюис (США, 1883–1964)
• Дэвид Келлог Льюис (США, 1941–2001)
• Адольф Линденбаум (Польша, 1904–1941)
• Пер Линдстрем (Швеция, 1936–2009)
• Рамон Луллий (Испания, 1232–1315)
• Мартин Лёб (Германия, 1921–2006)
• Пауль Лоренцен (Германия, 1915–1994)
• Ежи Лось (Польша, 1920–1998)
• Герман Лотце (Германия, 1817–1881)
• Леопольд Левенхайм (Германия, 1878–1957)
• Ян Лукасевич (Польша, 1878–1956)

М

• Хью МакКолл (Шотландия, 1837–1909)
• Сондерс Мак Лейн (США, 1909–2005)
• Дугалд Макферсон (Великобритания, 20 век)
• Пенелопа Мэдди (США, 1950 г.р.)
• Джон Мэр (Шотландия, 1467–1550 гг.)
• Дэвид Макинсон (Австралия, Великобритания, 1941 г.р.)
• Мария Мансано (Испания, 1950 г.р.)
• Гэри Р. Мар (США, 1952 г.р.)
• Рут Баркан Маркус (США, 1921–2012 гг.)
• Дональд А. Мартин (США, 1940 г.р.)
• Ричард Милтон Мартин (США, 1916–1985)
• Пер Мартин-Лёф (Швеция, 1942 г.р.)
• Павел Матерна (Чехия, 1930 г.р.)
• Юрий Матиясевич (Россия/Советский Союз, 1947 г.р.)
• К. А. Мередит (Ирландия, 1904–1976)
• Боб Мейер (США, 1932–2009)
• Джон Стюарт Милль (Англия, 1806–1873)
• Григорий Минц (Советский Союз/Эстония/США, 1939–2014 гг.)
• Ричард Монтегю (США, 1930–1971)
• Яннис Н. Мошовакис (США, 1938 г.р.)
• Анджей Мостовский (Польша, 1913–1975)

Н

• Сара Негри (Италия/Финляндия, 1967 г.р.)
• Эдвард Нельсон (США, 1932–2014 гг.)
• Джон фон Нейман (Венгрия, США, 1903–1957)
• Джон Генри Ньюман (1801–1890) (см. Грамматику согласия )
• Жан Никод (Франция, 1893–1924)
• Pyotr Novikov (Russia/Soviet Union, 1901–1975)
• Нагарджуна (Индия, ок. 150–250 гг.)
• Анил Нерод (США, 1932 г.р.)

О

• Уильям Оккам (Англия, 1285–1349)
• Пьерджорджио Одифредди (Италия, 1950 г.р.)
• Иван Орлов (Россия, 1886–1936)
• Райан Осмун (Флоренция, 1984-настоящее время)

П

• Джон Пагюс (Франция, фл. 1220–1229)
• Джефф Пэрис (Великобритания, 1944 г.р.)
• Чарльз Парсонс (США, 1933 г.р.)
• Соломон Пасси (Болгария, 1956 г.р.)
• Павел Венецианский (Италия, 1369–1429)
• Кристин Полен-Моринг (Франция, 1962 г.р.)
• Джузеппе Пеано (Италия, 1858–1932)
• Дэн Педерсен (США, 1945 г.р.)
• Чарльз Сандерс Пирс (США, 1839–1914)
• Лоренцо Пенья (Испания, 1944 г.р.)
• Хаим Перельман (Польша, Бельгия, 1912–1984)
• Петер Рожа (Венгрия, 1905–1977)
• Паоло да Пергола (Италия, умер в 1455 г.)
• Петр Испанский (13 век, обычно считается Папой Иоанном XXI )
• Филон Диалектик (Греция, IV – III века до н.э.)
• Уолтер Питтс (США, 1923–1969)
• Порфир (ок. 234–ок. 305)
• Генри Погожельски (США, 1922–2015 гг.)
• Эмиль Леон Пост (США, 1897–1954)
• Даг Правиц (Швеция, родился в 1936 г.)
• Моисей Пресбургер (Польша, 1904–1943)
• Грэм Прист (Австралия, 1948 г.р.)
• Артур Прайор (Новая Зеландия, Великобритания, 1914–1969)
• Хилари Патнэм (США, 1926–2016)
• Платон (греч., 427–347 до н.э.)

Вопрос

• Уиллард Ван Орман Куайн (США, 1908–2000)

Р

• Майкл О. Рабин (Израиль, США, родился в 1931 г.)
• Константин Рэдулеску-Мотру (Румыния, 1868–1957)
• Фрэнк Пламптон Рэмси (Великобритания, 1903–1930)
• Петрус Рамус (Франция, 1515–1572)
• Хелена Расёва (Польша, 1917–1994)
• Карвет Рид (Великобритания, 1848–1931)
• Авраам Робинсон (Израиль, Великобритания, Канада, США, 1918–1974)
• Рафаэль М. Робинсон (США, 1911–1995)
• Джулия Робинсон (США, 1919–1985)
• Дж. Баркли Россер (США, 1907–1989)
• Ричард Рутли , позже Ричард Сильван (Новая Зеландия, 1935–1996)
• Фредерик Роуботтом (Великобритания, 1938–2009)
• Ян Рамфит (Великобритания, 20 век)
• Бертран Рассел (Великобритания, 1872–1970)

С

• Джованни Джироламо Саккери (Италия, 1667–1733)
• Рагхунатха Сиромани (Индия, ок. 1477–1547)
• Джеральд Сакс (США, 1933–2019)
• Альберт Саксонский (Германия, ок. 1316–1390)
• Рольф Шок (США, Швеция, 1933–1986)
• Моисей Шёнфинкель (СССР, 1889–1942)
• Эрнст Шредер (Германия, 1841–1902)
• Курт Шютте (Германия, 1909–1998)
• Дана Скотт (США, 1932 г.р.)
• Седулиус Скоттус (Ирландия/Франция, эт. 840–860)
• Джон Дунс Скот (Великобритания, Франция, ок. 1266–1308)
• Стюарт Шапиро (США, 1951 г.р.)
• Fyodor Shcherbatskoy (Russia, 1866–1942)
• Сахарон Шелах (Израиль, 1945 г.р.)
• Гила Шер (Израиль/США)
• Уильям Шервудский (Англия, 1190–1249)
• Хуэй Ши (Китай, IV век до н. э.)
• Симплиций Киликийский (Турция/Иран, ок. 490–ок. 560)
• Рагхунатха Сиромани (Индия, 1470–1550-е гг.)
• Торальф Скулем (Норвегия, 1887–1963)
• Димитр Скордев (Болгария, 1936 г.р.)
• Теодор Сламан (США, 1954 г.р.)
• Раймонд Смалльян (США, 1919–2017)
• Вильгельм Суассонский (Франция, 12 век)
• Роберт М. Соловей (США, 1938 г.р.)
• Ричард Софистер (конец 13 века)
• Петр Испанский (13 век)
• Джон Р. Стил (США, 1948 г.р.)
• Мартин Стокхоф (Нидерланды, 1950 г.р.)
• Ральф Строуд (Англия, фл. 1350–1400)
• Ричард Суайнсхед (Англия, 1340–1354 гг.)
• Ричард Сильван , урожденный Ричард Раутли (Новая Зеландия, 1935–1996)

Т

• Гаиси Такеути (Япония, 1926–2017)
• Альфред Тарский (Польша, 1902–1983)
• Теофраст (Греция, 371–287 до н.э.)
• Павел Тихий (Чехословакия, Новая Зеландия, 1936–1994)
• Фридрих Адольф Тренделенбург (Германия, 1802–1872)
• Анн Сьерп Трульстра (Нидерланды, 1939–2019)
• Алан Тьюринг (Великобритания, 1912–1954)
• Казимеж Твардовский (Польша, 1866–1938)
• Фалес Милетский (Турция, 626 г. до н.э. – 545 г. до н.э.)

У

• Удаяна , автор Ньяякусуманджали ( рационального богословия, доказывающего существование Бога с помощью логики) (Индия, 10 век)
• Удьётакара (Индия, ок. 6 века н. э.)
• Аласдер Уркарт (Великобритания, 1945 г.р.)
• Владимир Успенский (Советский Союз/Россия, 1930–2018)

V

• Лоренцо Валла (Италия, ок. 1407–1457)
• Моше Ю. Варди (Израиль, 1954 г.р.)
• Николай Алексеевич Васильев (Россия, 1880–1940)
• Роберт Лоусон Воот (США, 1926–2002 гг.)
• Павел Венецианский (Италия, 1368–1428 гг.)
• Джон Венн (Англия, 1834–1923)
• Хуан Луис Вивес (Испания, 1493–1540)
• Пакшиласвамин Ватсияяна написал первый известный комментарий к Ньяя-сутрам Гутамы (5 век н.э.).

В

• Хао Ван (Китай/США, 1921–1995)
• Исаак Уоттс (Англия, 1674–1748)
• Ричард Уэйтли (Англия, 1787–1863)
• Альфред Норт Уайтхед (Великобритания, 1861–1947)
• Людвиг Витгенштейн (Австрия, Великобритания, 1889–1951)
• Кристиан Вольф (Германия, 1679–1754)
• У. Хью Вудин (США, 1955 г.р.)
• Джон Вудс (Канада, 1937 г.р.)
• Георг Хенрик фон Райт (Финляндия, Великобритания, 1916–2003)

Ю

• Цзинь Юэлинь (Китай, 1895–1984)

З

• Якопо Забарелла (Италия, 1533–1589)
• Лотфи А. Заде (США, 1921–2017 гг.)
• Эрнст Цермело (Германия, 1871–1953)
• Александр Зиновьев (Советский Союз, 1922–2006)

Внешние ссылки

• Архив MacTutor History of Mathematics - очень полный список подробных биографий. Включено много логиков.
• Подборка великих логиков с подробной библиографией (в разработке)