Здесь содержится список статей для координации работ по развитию темы.

Список логиков
Дата рождения:

Логик — это философ или математик, который специализируется в области логики.

Ниже представлен список логиков в алфавитном порядке.

Логик	Страна	Годы жизни	Сочинения по логике
Акерманн, Вильгельм	Германия	1896—1962
Альберт Саксонский	Германия	ок. 1316—1390
Андерсон, Алан Росс	США	1924—1972
Аристотель	Древняя Греция	384 до н. э. — 322 до н. э.	«Органон», «Категории»
Банах, Стефан	Польша	1892—1945
Беклемишев, Лев Дмитриевич	Россия	род. 1967
Буль, Джордж	Великобритания	1815—1864)
Бурбаки, Николя (коллективный псевдоним)	Франция
Буридан, Жан	Франция	ок. 1300 — ок. 1358
ван Бентем, Йоханнес Францискус Абрахам Карель	Нидерланды	1949 -
Венн, Джон	Великобритания	1834—1923
Витгенштейн, Людвиг	Австрия, Великобритания	1889—1951
Вудин, У. Хью	США	1955
Гёдель, Курт	Австрия, США	1906—1978
Гильберт, Давид	Германия	1862—1943
Дейкстра, Эдсгер Вайб	Нидерланды	1930—2002
Дигнага	Индия	480—540	Аламбанапарикша,Праманасамуччая,Ньяя-мукха
Жерар, Жан-Ив
Зигварт, Христоф фон	Германия	1830—1894
Каплан, Дэвид	США	1933 —
Кантор, Георг Фердинанд Людвиг Филипп	Германия	1845—1918
Карнап, Рудольф	Германия	1891—1970
Кеккерман, Варфоломей	Данциг	1573—1609	«Предварительные сведения по логике», (1599), «Система логики» (1600)
Керри, Хаскелл	США	1900—1982)
Кехрис, Александр С.
Клини, Стивен Коул	США	1909—1994
Коэн, Пол Джозеф	США	1934 —
Крипке, Сол	США	1940 —
Куайн, Уиллард ван Орман	США	1908—2000
Льюис Кэррол	Великобритания	1832—1898
Лейбниц, Готфрид Вильгельм фон	Германия	1646—1716
Лотфи Аскер Заде	Азербайджан/США	1921—
Лукасевич, Ян	Польша	1878—1956
Нейман, Джон фон	Венгрия, США	1903—1957
Оккам, Уильям	Великобритания	1285-1349
Пеано, Джузеппе	Италия	1858—1932
Пётр Испанский	Португалия, Италия	XIII-XIV века
Пирс, Чарльз Сандерс	США	1839—1914
Порецкий, Платон Сергеевич	Россия
Пост, Эмиль Леон	Польша, США	1897—1954
Рассел, Бертран Артур Уильям	Великобритания	1872—1970
Смалльян, Рэймонд	США	1919 —
Стил, Джон Р.
Тарский, Альфред	Польша	1902—1983
Твардовский, Казимир (Твардовский, Казмеж)	Польша	1866—1938
Троельстра, Анне Сйерп	Нидерланды	1939 —
Тьюринг, Алан Матисон	Великобритания	1912—1954
Уайтхед, Алфред Норт	Великобритания, США	1861—1947
Уильям Шервуд, Уильям Шервудский	Великобритания	1190—1249
Уоттс, Айзек	Великобритания	1674—1748
Фреге, Готлоб	Германия	1848—1925
Хаак, Сьюзен	Великобритания	1945 —
Хейтинг, Аренд		1898—1980
Хенкин, Леон
Хербранд, Жак	Франция
Хинтикка, Яакко	Финляндия	1929 —
Хорн, Альфред	США	1918—2001
Хрисипп	Древняя Греция
Цермело, Эрнст	Германия	1871—1953
Чёрч, Алонзо	США	1903—1995
Шёнфинкель, Моисей	СССР	1889—1942
Шелах, Сахарон	Израиль	1945 —
Шок, Рольф	Франция	1933—1986
Яшковски, Станислав	Польша	1906—1935

Б

• Бар-Гиллель, Йегошуа (Израиль, 1915—1975)
• Баруайз, Джон (США, 1942—2000)
• Белнап, Нуэл (1931 —)
• Бет, Эверт Уиллем (Нидерланды, 1908—1964)
• Броувер, Луицен Эгбертус Йан (Нидерланды, 1881—1966)
• Булос, Джордж (США, 1940—1996)

Г

• Гамут, Л.Т.Ф (коллективный псевдоним, использовавшийся группой голландских логиков)
• Гаутама, Аксапада (Индия, ок. 6й век до н.э. — 5й век н.э.)
• Гентцен, Герхард (Германия, 1909—1945)
• Гергонне, Джозеф Диаз (Франция, 1771—1859)

Д

• Да Коста, Ньютон (Бразилия, 1929 —)
• Де Морган, Августус (Великобритания, 1806—1871)
• Дамметт, Майкл А.Е. (1925 —)
• Данс Скотус, Джон (Англия, c. 1266—1308)
• Джевонс, Уильям Стэнли (Англия, 1835—1882)

Л

• Лёвенхайм, Леопольд (Германия, 1878—1957)
• Линденбаум, Адольф (Польша, 1904—1941)
• Лотце, Рудольф Германн (Германия 1817—1881)
• Льюис, Дэвид (США, 1941—2001)
• Льюис, Кларенс Ирвин (США, 1883—1964)

M

• МакКолл, Хью (Шотландия 1837—1909)
• МакЛейн, Сандерс (США, 1909 —)
• Маркус, Рут Баркен (США, 1921 —)
• Мартин, Дональд А.
• Мередит, Кэрью (Ирландия, 1904—1976)
• Монтагю, Ричард (США, 1930—1971)
• Мосховакис, Яннис Н.

П

• Патнэм, Хилари (США, 1926 —)
• Питтс, Уолтер (США, 1923—1969)
• Пост, Эмил Леон (США, 1897—1954)
• Правиц, Дэг (Швеция, 1936 —)
• Пресбургер, Мойжеш (Польша 1904—1943)
• Прайер, Артур (Новая Зеландия, 1914—1969)

Р

• Рэмси, Фрэнк Пламптон (Великобритания, 1903—1930)
• Робинсон, Абрахам (Израиль, Великобритания, Канада, США, 1918—1974)
• Россер, Дж. Баркли (США, 1907—1989)
• Роутли, Ричард (Новая Зеландия, 1935—1996)

Ф

• Феферман, Соломон
• Филд, Хартри
• Френкель, Адольф (Германия, 1891—1965)
• Фридман, Харви

Ссылки

• The MacTutor History of Mathematics archive^(англ.) — достаточно полный список подробных биографий математиков, включены многие логики.

---

Первоначальная версия этой статьи была взята из русской Википедии на условиях лицензии GNU FDL.