La logique du temps, un cadre désormais largement reconnu comme logique temporelle, a été fondée par Arthur Prior en 1957. Son développement de ce système a remis en question les notions dominantes du temps, affirmant que le passé, le présent et le futur sont des catégories ontologiques essentielles. Ses travaux restent un pilier fondamental de la logique formelle et de la métaphysique du temps, continuant d'influencer le discours philosophique contemporain aujourd'hui.
Jeunesse et éducation
Né en 1914 à Masterton, en Nouvelle-Zélande, Arthur Prior était le fils d'un médecin. Son éducation s'est déroulée au sein d'un foyer méthodiste, un environnement qui a initialement orienté ses intérêts vers la théologie et la philosophie. Il a poursuivi ces études à l'Université d'Otago, obtenant une licence en 1935. Pendant son séjour à l'université, il a découvert les travaux de J. N. Findlay, qui l'a initié à la logique et a influencé sa perspective critique sur l'idéalisme philosophique.
Carrière académique et influences
Prior a commencé sa carrière d'enseignant au Canterbury University College en 1946, occupant un poste laissé vacant par Karl Popper. Son développement professionnel a été considérablement façonné par une amitié de longue date avec J. J. C. Smart, malgré leurs profonds désaccords sur la nature du temps. Tout au long de sa carrière, Prior a changé d'institution, occupant une chaire à l'Université de Manchester à partir de 1959 avant de devenir finalement Fellow et tuteur au Balliol College, à Oxford, en 1966.
Contributions à la logique formelle
Largement autodidacte en logique formelle moderne, Prior s'est inspiré des travaux des logiciens polonais Józef Maria Bocheński et Jan Łukasiewicz. Il a adopté la notation polonaise pour ses propres écrits, bien qu'il ne parlât pas la langue. Ses contributions les plus significatives ont été formalisées dans ses conférences John Locke, publiées plus tard sous le titre Time and Modality. Au-delà de ses propres recherches, il a joué un rôle essentiel dans la revitalisation de la logique au Royaume-Uni grâce à des colloques organisés.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Dernières années
Prior a continué d'influencer une nouvelle génération de logiciens, comptant des chercheurs tels que Max Cresswell et Kit Fine parmi ses étudiants. Alors qu'il effectuait une tournée de conférences dans des universités norvégiennes en septembre 1969, Prior a subi une crise cardiaque. Il est décédé à Trondheim le 6 octobre 1969, la veille du jour où il devait faire une présentation. Son héritage est préservé grâce à la conservation de sa vaste correspondance de guerre et à sa présence continue dans les textes philosophiques.
Faits rapides
- Naissance : 1914, Masterton - Décès : 1969, Trondheim - Éducation : Université d'Otago - Domaine principal : Logique - Innovation clé : Logique du temps - Publication clé : Time and Modality (1957) - Service militaire : Royal New Zealand Air Force (1943-1945) - Citoyenneté : Royaume-Uni ; Nouvelle-Zélande
Questions posées par les lecteurs
### Qu'est-ce que la logique du temps ?
Également connue sous le nom de logique temporelle, il s'agit d'un système développé par Prior qui traite le passé, le présent et le futur comme des catégories ontologiques fondamentales du temps.
### Où Arthur Prior a-t-il enseigné ?
Il a occupé des postes au Canterbury University College, à l'Université de Manchester et au Balliol College, à Oxford.
