Prior's paradigm for the study of time and its methodological motivation

DOI10.1007/S11229-016-1161-6MaRDI QIDQ516393zbMATH OpenOpenAlexWikidataFDO

Authors Peter Øhrstrøm, Per F. V. Hasle

Publication date 14 March 2017

Published in Synthese (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://curis.ku.dk/ws/files/179043872/art_3A10.1007_2Fs11229_016_1161_6.pdf

zbMATH Keywords

A. N. Priorformalisationinterdisciplinary studiestemporal logic

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05) Temporal logic (03B44)

Recommendations

• Prior's tense-logical universalism
• Time and Logic: A.N. Prior’s Formal Analysis of Temporal Concepts
• Prior on the logic and the metaphysics of time
• Arthur Prior and medieval logic
• Arthur Prior and `now'

Cites work

• A letter on the present state of affairs. Prior, indeterminism and relativity 40 years later
• Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters
• scientific article; zbMATH DE number 6297878 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• Nominal tense logic
• Prior's defence of Hintikka's theorem. A discussion of Prior's ``The logic of obligation and the obligations of the logician
• Temporal logic. From ancient ideas to artificial intelligence
• The logic of obligation and the obligations of the logician
• The problem of predestination: as a prelude to A. N. Prior's tense logic

Cited in

(11)

• The interpretation of branching time diagrams
• Back to the actual future
• From a logical angle. Some studies in A. N. Prior's ideas on time, discourse and metaphysics
• The problem of predestination: as a prelude to A. N. Prior's tense logic
• Arthur Prior and medieval logic
• Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters
• Arthur Prior and `now'
• Where have all the Californian tense-logicians gone?
• Prior's tense-logical universalism
• A.N. Prior and ‘The Nature of Logic’
• Preface

This page was built for publication: Prior's paradigm for the study of time and its methodological motivation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q516393)