Рут Баркан Маркус , американский философ и логик (р. 1921 г.)
Рут Баркан Маркус (урожденная Рут Шарлотта Баркан ; 2 августа 1921 - 19 февраля 2012) была американским академическим философом и логиком, наиболее известным своими работами в области модальной и философской логики. Она разработала первые формальные системы количественной модальной логики и при этом ввела схему или принцип, известный как формула Баркана. (Она также ввела теперь стандартный оператор «ящик» для необходимости в процессе.) Маркус, который первоначально публиковался как Рут С. Баркан, был, как отмечает Дон Гарретт, «одним из самых важных и влиятельных философов-логиков двадцатого века ". . Тимоти Уильямсон в 2008 году, отмечая долгую карьеру Маркуса, заявляет, что многие из ее «основных идей не просто оригинальны, умны, красивы, увлекательны, влиятельны и намного опережают свое время, но на самом деле — я считаю - истинный".