Switch to: References

Add citations

You must login to add citations.
  1. The problem of predestination: as a prelude to A. N. Prior’s tense logic. [REVIEW]Per F. V. Hasle - 2012 - Synthese 188 (3):331-347.
    Arthur Norman Prior's early theological writings have been relatively neglected for many years. Moreover, to the extent that they have been discussed at all they have been treated mainly as youthful work quite separate from Prior's later work as a philosopher and logician. However, as interest in Prior's achievements has been growing significantly in recent years it has become more important to investigate the development with his overall work. In fact, Prior's putatively "youthful" theological work overlapped his work as a (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Branching time, indeterminism and tense logic: Unveiling the Prior–Kripke letters.Thomas Ploug & Peter Øhrstrøm - 2012 - Synthese 188 (3):367-379.
    This paper deals with the historical and philosophical background of the introduction of the notion of branching time in philosophical logic as it is revealed in the hitherto unpublished mail-correspondence between Saul Kripke and A.N. Prior in the late 1950s. The paper reveals that the idea was first suggested by Saul Kripke in a letter to A.N. Prior, dated September 3, 1958, and it is shown how the elaboration of the idea in the course of the correspondence was intimately intervowen (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • What is computation?B. Jack Copeland - 1996 - Synthese 108 (3):335-59.
    To compute is to execute an algorithm. More precisely, to say that a device or organ computes is to say that there exists a modelling relationship of a certain kind between it and a formal specification of an algorithm and supporting architecture. The key issue is to delimit the phrase of a certain kind. I call this the problem of distinguishing between standard and nonstandard models of computation. The successful drawing of this distinction guards Turing's 1936 analysis of computation against (...)
    Download  
     
    Export citation  
     
    Bookmark   89 citations