𝖂𝖎ƙ𝖎𝖊

Ruth Barcan Marcus

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] Ela 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]

Obras

Livros (escritos ou editados)

Trabalhos Acadêmicos

Referências

  1. 1,0 1,1 The Dictionary of Modern American Philosophers. [S.l.]: Thoemmes. 2005. ISBN 9781350052444. doi:10.5040/9781350052444-0636 
  2. Fox, Margalit (13 de março de 2012). «Ruth Barcan Marcus, Philosopher and Logician, Dies at 90». The New York Times (em English). ISSN 0362-4331. Consultado em 13 de março de 2019 
  3. «Marcus, Ruth Barcan | Encyclopedia.com». www.encyclopedia.com. Consultado em 13 de março de 2019 
  4. 4,0 4,1 Williamson, Timothy (2013). «In Memoriam: Ruth Barcan Marcus 1921–2012» (PDF). Bulletin of Symbolic Logic (em English). 19 (1): 123–126. ISSN 1079-8986. doi:10.2178/bsl.1901070Acessível livremente 
  5. «Leiter Reports: A Philosophy Blog: Timothy Williamson's Tribute to Ruth Barcan Marcus on the Occasion of Her Receipt of the Lauener Prize». leiterreports.typepad.com. Consultado em 19 de agosto de 2016 


Predefinição:Controlo de autoria

talvez você goste