A lógica tensa, um quadro agora amplamente reconhecido como lógica temporal, foi fundada por Arthur Prior em 1957. O seu desenvolvimento deste sistema desafiou as noções predominantes de tempo, afirmando que o passado, o presente e o futuro são categorias ontológicas essenciais. O seu trabalho permanece um pilar fundamental na lógica formal e na metafísica do tempo, continuando a influenciar o discurso filosófico contemporâneo hoje em dia.
Início de vida e educação
Nascido em 1914 em Masterton, Nova Zelândia, Arthur Prior era filho de um médico. A sua criação ocorreu dentro de um lar metodista, um ambiente que inicialmente direcionou os seus interesses para a teologia e a filosofia. Cursou estes estudos na Universidade de Otago, graduando-se com um B.A. em 1935. Durante o seu tempo na universidade, encontrou o trabalho de J. N. Findlay, que o introduziu à lógica e influenciou a sua perspetiva crítica sobre o idealismo filosófico.
Carreira académica e influências
Prior começou a sua carreira docente no Canterbury University College em 1946, ocupando uma vaga deixada por Karl Popper. O seu desenvolvimento profissional foi moldado significativamente por uma amizade de longa data com J. J. C. Smart, apesar das suas profundas divergências sobre a natureza do tempo. Ao longo da sua carreira, Prior mudou-se entre instituições, ocupando uma cátedra na Universidade de Manchester a partir de 1959 antes de se tornar finalmente Fellow e Tutor no Balliol College, Oxford, em 1966.
Contribuições para a lógica formal
Em grande parte autodidata na lógica formal moderna, Prior inspirou-se no trabalho dos lógicos polacos Józef Maria Bocheński e Jan Łukasiewicz. Adotou a notação polaca para a sua própria escrita, apesar de não falar a língua. As suas contribuições mais significativas foram formalizadas nas suas conferências John Locke, que mais tarde foram publicadas como Time and Modality. Para além da sua própria investigação, desempenhou um papel vital na revitalização da lógica no Reino Unido através de colóquios organizados.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Anos finais
Prior continuou a influenciar uma nova geração de lógicos, contando académicos como Max Cresswell e Kit Fine entre os seus alunos. Enquanto estava numa digressão de conferências por universidades norueguesas em setembro de 1969, Prior sofreu um ataque cardíaco. Morreu em Trondheim a 6 de outubro de 1969, na noite anterior àquela em que estava agendado para fazer uma apresentação. O seu legado é mantido através da preservação da sua extensa correspondência de guerra e da sua presença contínua em textos filosóficos.
Fatos rápidos
- Nascimento: 1914, Masterton - Falecimento: 1969, Trondheim - Educação: Universidade de Otago - Campo principal: Lógica - Inovação chave: Lógica tensa - Publicação chave: Time and Modality (1957) - Serviço militar: Royal New Zealand Air Force (1943-1945) - Cidadania: Reino Unido; Nova Zelândia
Perguntas dos leitores
### O que é a lógica tensa?
Também conhecida como lógica temporal, é um sistema desenvolvido por Prior que trata o passado, o presente e o futuro como categorias ontológicas fundamentais do tempo.
### Onde é que Arthur Prior ensinou?
Ocupou cargos no Canterbury University College, na Universidade de Manchester e no Balliol College, Oxford.
