Бри́тва О́ккама — методологический принцип, в кратком виде гласящий: «Не следует множить сущее без необходимости».
Уи́льям О́ккам — английский философ, францисканский монах из Оккама, маленькой деревни в графстве Суррей в Южной Англии. Сторонник крайнего номинализма, считал, что существует только индивидуальное, а универсалии существуют только благодаря абстрактному мышлению в человеческом уме, а помимо этого не обладают никакой метафизической сущностью. Считается одним из отцов современной эпистемологии и современной философии в целом, а также одним из величайших логиков всех времён.
Ча́рльз Са́ндерс Пирс — американский философ, логик, математик, основоположник прагматизма и семиотики.
Джа́комо Дзабаре́лла — итальянский философ, логик и астролог, граф. представитель ренессансного аристотелизма.
Варфоломей Кеккерман из Данцига — автор одной из первых работ по истории логики
Валентин Алекса́ндрович Бажа́нов — советский и российский философ, доктор философских наук, заслуженный деятель науки Российской Федерации.
Уиллард Ван Орман Куайн — американский философ, логик и математик, член Национальной академии наук США (1977).
Сол Аарон Крипке — американский философ и логик. Почётный профессор Гарвардского университета, заслуженный профессор Высшей школы и Университетского центра Городского университета Нью-Йорка. Лауреат премии Рольфа Шока по философии и логике (2001), согласно одному из опросов, входит в десятку наиболее важных философов последних 200 лет.
Ламбе́р, Ла́мберт — мужское имя и фамилия, предположительно происходящие от нем. Landbert.
Да́на Стю́арт Скотт — американский математик, известный работами в области математической логики и информатики.
Неформа́льная ло́гика — область исследований в логике и теории аргументации, оценивающая и анализирующая аргументы в том виде, в каком они используются в естественном языке.
Джон Да́мблтон — математик, философ и логик, один из так называемых Оксфордских счетоводов из Мертон-колледжа, членом которого он был с 1338 года. Его основной труд «Сумма логики и естественной философии» написан в 1340-е годы.
Уильям из Шервуда — средневековый английский философ-схоластик, логик и учитель.
История логики изучает развитие науки о формах и законах правильного мышления (логика).
Вальтер Бурлей — средневековый английский философ и логик.
Станислав Лесьневский — польский математик и философ. В математике специализировался на математической логике. Один из главных представителей Львовско-варшавской школы.
Эпистемическая логика — подвид модальной логики, имеющий дело с высказываниями о состоянии познания. Оперирует понятиями «знает», «полагает».
Гервей Наталис — монах-доминиканец, философ-томист, один из ближайших последователей Фомы Аквинского. В 1318— 1323 годах — генеральный магистр ордена проповедников (доминиканцев). Среди его многочисленных сочинений может быть Summa Totius Logicae, opusculum, когда-то приписываемый Фоме Аквинскому.
«Логика Пор-Рояля», полное название «Логика, или Искусство мыслить» — книга о логике и логическом мышлении, выпущенная в 1662 году анонимно. Книга была написана Антуаном Арно и Пьером Николем, монахами-янсенистами из аббатства Пор-Рояль. Возможным соавтором книги считается Блез Паскаль. «Логика» по статусу сопоставляется с «Грамматикой Пор-Рояля», выпущенной двумя годами ранее Антуаном Арно и Клодом Лансло. Написанная на французском языке, «Логика» использовалась вплоть до начала XX века как одно из учебных пособий по логике.
Коннексивная логика — один из классов альтернативных или неклассических логик, предназначенных для исключения парадоксов материальной импликации. Отличительной характеристикой коннексивной логики от других неклассических логик является принятие так называемого тезиса Аристотеля — формулы
- ~(~p → p)
