Материал из Википедии — свободной энциклопедии
Здесь содержится список статей для координации работ по развитию темы. |
Логик — это философ или математик, который специализируется в области логики.
Ниже представлен список логиков в алфавитном порядке.
Логик |
Страна |
Годы жизни |
Сочинения по логике |
Акерманн, Вильгельм |
Германия |
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)
- МакКолл, Хью (Шотландия 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)
- Фридман, Харви