# Arthur Prior

Arthur Norman Prior, também conhecido como AN Prior, (4 de dezembro de 1914 - 6 de outubro de 1969) foi um notável lógico e filósofo. Prior (1957) fundou a lógica de tempos verbais, agora também conhecida como lógica temporal, e fez importantes contribuições à lógica intencional, particularmente em Prior (1971).

## Biografia

Prior nasceu em Masterson, Nova Zelândia, em 4 de dezembro de 1914, filho único de pais australianos: Norman Henry Prior (1882-1967) e sua esposa Elizabeth Munton Rothesay Teague (1889-1914). Sua mãe morreu menos de 3 semanas após seu nascimento e ele foi criado pela irmã de seu pai.
Prior foi educado inteiramente na Nova Zelândia, onde ele teve a sorte de receber a influência de John Niemeyer Findlay. Apesar de conhecer somente sobre matemática básica, ele começou a ensinar filosofia e lógica em Canterbury University College, em 1946, preenchendo a vaga criada pela renúncia de Karl Popper. Tornou-se professor em 1953. Graças aos bons ofícios de Gilbert Ryle, que conhecera anteriormente na Nova Zelândia em 1954, Prior passou o ano de 1956, sobre licença na Universidade de Oxford, onde ele deu a John Locke palestras em filosofia. Estas foram posteriormente publicadas como Tempo e Modalidade (1957). Esta é uma contribuição seminal para o estudo da lógica avançada e a metafísica temporal, no qual Antes defendiam o ponto de vista -A teoria que as modalidades temporais passado, presente e futuro são categorias ontológicas básicas de importância fundamental para a nossa compreensão do tempo e do mundo. Durante seu tempo em Oxford, Prior conheceu Peter Geach e William Kneale, influenciado por John Lemmon, e se correspondia com o adolescente Saul Kripke. Lógica no Reino Unido ficou então em um estado de pouca preferência, e o entusiamo de Prior foi tido como contribuição fundamental para a renovação desse período.$^{[citationneeded]}$ De 1959 a 1966, ele foi professor de Filosofia na Universidade de Manchester, tendo ensinado Osmund Lewry. De 1966 até sua morte ele era membro e tutor de Filosofia no Balliol College, Oxford. Seus alunos incluem Max Cresswell, Kit Fine, e Robert Bull.
Quase totalmente autodidata em lógica formal moderna, Prior publicou seu primeiro artigo em lógica em 1952, quando ele tinha 38 anos de idade, pouco depois expandindo o trabalho de Józef Maria Bocheński e Jan Łukasiewicz, muito pouco do trabalho foi traduzido para Inglês.$^{[citaçãonecessária]}$ Ele costumava usar notação polonesa em seus trabalhos. Prior (1955) concentrou muito de seus primeiros passos no ensino de lógica na Nova Zelandia. O trabalho de Prior na lógica de sentenças promoveu uma sistemática e extensa defesa da tese de concepção de realidade na qual objetos materiais são construídos como contínuos de três dimensões que são totalmente presentes em qualquer momento de suas existências.
Prior se destacou em virtude de seu forte interesse na história da lógica. Ele foi um dos primeiros falantes de inglês a apreciar a natureza e o campo de trabalho em lógica de Charles Sanders Peirce, e a distinção entre de dicto e de re na lógica modal. Prior ensinou e pesquisou lógica modal antes de Kripke propor sua semântica de mundos possíveis, numa época em que a modalidade e a intencionalidade despertavam pouco interesse nos países falantes de inglês, e mesmo com o ataque incisivo de Willard Van Orman Quine.
Ele agora é tido como precursor da lógica híbrida. Empregando (numa seção de seu livro Past, Present, and Future (1967)) a tentativa de combinar operadores temporais binários (e.g., "até") e unários (e.g., "sempre será") a um sistema lógico temporal, Prior —como um resultado acidental— construiu uma base para as posteriores linguagens híbridas.
Seu trabalho Time and Modality explorou o uso de lógica de múltiplos valores para explicar o problema de nomes não referenciáveis.
O trabalho de Prior era tanto filosófico e formal e proporciona uma sinergia produtiva entre inovação formal e análise linguística.$^{[citaçãonecessária]}$ Linguagem natural, ele relembrou, pode encorpar Linguagem Natural, muita expectativa, bem como a sabedoria dos nossos antepassados. Ele era escrupuloso quando estabeleceu os pontos de vista de seus adversários, e forneceu muitas sugestões construtivas sobre o desenvolvimento formal de pontos de vista alternativos.