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).

Arthur Prior
Arthur Prior
Nascimento	4 de dezembro de 1914 Masterton
Morte	6 de outubro de 1969 Trondheim
Cidadania	Reino Unido, Nova Zelândia
Irmão(ã)(s)	Ian Prior
Alma mater	Universidade de Otago
Ocupação	filósofo, acadêmico, escritor
Empregador(a)	Universidade Victoria de Manchester, Universidade de Canterbury, Balliol College
[edite no Wikidata]

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.^{[citation needed]} 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ção necessá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.^[1] 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ção necessá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.

Referências

1. Walter Carnielli; Claudio Pizzi (2008). Modalities and Multimodalities. Springer. p. 181. ISBN 978-1-4020-8589-5.

Publicações

Os seguintes livros foram escritos por Prior ou são coleções póstumas de artigos de revistas e trabalhos inéditos que ele escreveu:

• 1949. Logic and the Basis of Ethics. Oxford University Press (ISBN 0-19-824157-7)
• 1955, 1962. Formal Logic. Oxford University Press.
• 1957. Time and Modality. Oxford University Press. based on his 1956 John Locke lectures.
• 1962. "Changes in Events and Changes in Things". University of Kansas.
• 1967. Past, Present and Future. Oxford University Press.
• 1968. Papers on Time and Tense. Oxford University Press.
• 1971. Objects of Thought. Edited by P. T. Geach and A. J. P. Kenny. Oxford University Press.
• 1976. The Doctrine of Propositions and Terms. Edited by P. T. Geach and A. J. P. Kenny. London: Duckworth.
• 1976. Papers in Logic and Ethics. Edited by P. T. Geach and A. J. P. Kenny. London: Duckworth.
• 1977. Worlds, Times and Selves. Edited by Kit Fine. London: Duckworth.
• 2003. Papers on Time and Tense. Second expanded edition by Per Hasle, Peter Øhrstrøm, Torben Braüner & Jack Copeland. Oxford University Press.

Leitura adicional

A mais nova coisa sobre a bibliografia de Prior é:

• Copeland, B. J., 1996, "Prior's Life and Legacy," neste volume editado Logic and Reality: Essays on the Legacy of Arthur Prior, New York: Oxford University Press (pp. 519–32 deste volume contem uma bibliografia completa de Prior em uma data prévia ao supracitado).

Uma excelente pesquisa sobre a vida de Prior e suas conquistas é:

• A. J. P. Kenny 1970, 'Arthur Norman Prior (1914–1969)' Proceedings of the British Academy 56: 321–349.

Ligações externas

• Arthur Prior entry by B. Jack Copeland in the Stanford Encyclopedia of Philosophy
• Foundations of Temporal Logic The WWW-site for Prior-studies
• On Prior's Tense Logic by Patrick Blackburn
• Arthur Prior Centenary Conference, Balliol College, Oxford, 21 – 22 August, 2014