O princípio formal conhecido como fórmula de Barcan surgiu do trabalho inicial de Ruth Barcan Marcus, que introduziu os primeiros sistemas axiomáticos de lógica modal quantificada. Atuando no panorama da filosofia analítica do século XX, ela estabeleceu conceitos fundamentais na lógica modal e filosófica que continuam a informar o discurso acadêmico atual sobre referência e necessidade.
Fundamentos acadêmicos e carreira
Nascida no Bronx em 1921, Ruth Charlotte Barcan completou seus estudos de graduação na Universidade de Nova Iorque em 1941, onde se concentrou em matemática e filosofia. Prosseguiu com estudos de pós-graduação na Universidade de Yale, obtendo um mestrado em 1942 e um doutorado em 1946. Sua trajetória profissional incluiu cargos na Universidade Northwestern, na Universidade Roosevelt em Chicago e na Universidade de Illinois em Chicago. Em 1973, integrou o corpo docente da Universidade de Yale como Professora de Filosofia Reuben Post Halleck, cargo que ocupou até sua aposentadoria em 1992 como professora emérita.
Contribuições à lógica modal
Marcus desenvolveu os sistemas iniciais de lógica modal quantificada, estendendo os sistemas proposicionais para a lógica de primeira e segunda ordem. Suas publicações de 1946 e 1947 no Journal of Symbolic Logic, incluindo 'A Functional Calculus of First Order Based on Strict Implication', introduziram a fórmula de Barcan e estabeleceram a necessidade da identidade. Ela também introduziu o operador de caixa padrão usado para denotar a necessidade dentro desses sistemas formais.
Teorias da referência e da crença
Na filosofia da linguagem, Marcus propôs uma teoria da referência direta argumentando que os nomes próprios funcionam como meras etiquetas para objetos, em vez de conjuntos de descrições. Esta visão contrastava com as teorias existentes sobre nomes próprios prevalentes na época. Além disso, seu trabalho sobre crença sugere que esta constitui uma relação entre um agente e um estado de coisas, rejeitando explicações da cognição puramente centradas na linguagem em favor de marcadores comportamentais, tais como apostas.
Reconhecimento profissional e associações
Ao longo de sua carreira, Marcus ocupou vários papéis de liderança, atuando como presidente do conselho de funcionários da American Philosophical Association de 1976 a 1983. Foi presidente da Association for Symbolic Logic e do Institut International de Philosophie. Recebeu uma bolsa Guggenheim em 1953 e foi membro da American Academy of Arts and Sciences. Suas honrarias incluem a Medalha Wilbur Cross e as Conferências Carus em 2000, o Prêmio Philip L. Quinn em 2007 e o Prêmio Lauener em 2008.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Fatos rápidos
- Nascida: 1921, The Bronx - Falecida: 2012, New Haven - Educação: Universidade de Yale; Universidade de Nova Iorque - Obra notável: Fórmula de Barcan - Obra notável: Necessidade da identidade - Prêmio: Bolsa Guggenheim (1953) - Prêmio: Medalha Wilbur Cross (2000) - Função profissional: Presidente, Association for Symbolic Logic
Perguntas que os leitores fazem
### O que é a fórmula de Barcan?
É um princípio introduzido por Marcus em seu trabalho inicial sobre lógica modal quantificada, aparecendo pela primeira vez em suas publicações de 1946.
### Como Marcus definiu nomes próprios?
Ela argumentou que os nomes próprios funcionam como 'etiquetas' diretas para objetos, rejeitando a teoria de que são compostos de conteúdo descritivo.
### Onde Ruth Barcan Marcus lecionou?
Ela ocupou cargos docentes na Universidade Northwestern, na Universidade Roosevelt, na Universidade de Illinois em Chicago e na Universidade de Yale.
