Ruth Barcan Marcus
Ruth Barcan Marcus (2 de agosto de 1921 - 19 de fevereiro de 2012)[1][2] foi uma filósofa e acadêmica norte-americana mais conhecida por seu trabalho em lógica modal e filosófica.[3] CarreiraEla desenvolveu os primeiros sistemas formais de lógica modal quantificada e,[4] ao fazê-lo, introduziu o esquema ou princípio conhecido como Fórmula de Barcan. (Ela também introduziria o operador "caixa" agora padrão por necessidade no processo). Marcus, que originalmente publicou como Ruth C. Barcan,[4] era, como Don Garrett observa[1] "uma das filósofas-lógicas mais importantes e influentes do século XX". Timothy Williamson, em uma celebração de 2008 da longa carreira de Marcus, afirma que muitas de suas "ideias principais não são apenas originais, inteligentes, belas, fascinantes, influentes e muito à frente de seu tempo, mas na verdade - eu acredito – verdade”.[5] ObrasLivros (escritos ou editados)
Trabalhos Acadêmicos
Referências
|