Ruth Marcus é uma conhecida pioneira da lógica modal, a lógica que formaliza as noções filosóficas de possibilidade e necessidade. Marcus, cujo nome de solteira é Ruth Barcan, desempenhou um papel fundamental na exploração das logicas modais com quantificadores e na avaliação das implicações filosóficas de misturar a modalidade com a quantificação. Uma fórmula muito conhecida da lógica modal quantificada, a fórmula de Barcan, tem o seu nome; numa das versões, afirma que se tudo tem necessariamente uma certa propriedade, então é uma verdade necessária que tudo tem essa propriedade. Marcus trabalhou também muito noutras áreas da lógica, sendo de destacar o seu trabalho sobre a interpretação substitucional dos quantificadores, uma abordagem na qual os quantificadores não quantificam sobre objectos correntes mas sim sobre símbolos linguísticos (de uma linguagem formal prescrita), o que produz exemplificações de substituição verdadeiras. Bibliografia: R. Marcus, Modalities: Philosophical Essays(Oxford, 1993). (In The Oxford Companion to Philosophy, Oxford University Press, 1995.)
Nenhum comentário:
Postar um comentário