Switch to: References

Add citations

You must login to add citations.
  1. What is Logical Form?Ernest Lepore & Kirk Ludwig - 2002 - In Gerhard Preyer & Georg Peter (eds.), Logical Form and Language. Oxford, England: Oxford University Press. pp. 54-90.
    Bertrand Russell, in the second of his 1914 Lowell lectures, Our Knowledge of the External World, asserted famously that ‘every philosophical problem, when it is subjected to the necessary analysis and purification, is found either to be not really philosophical at all, or else to be, in the sense in which we are using the word, logical’ (Russell 1993, p. 42). He went on to characterize that portion of logic that concerned the study of forms of propositions, or, as he (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Accelerating Turing machines.B. Jack Copeland - 2002 - Minds and Machines 12 (2):281-300.
    Accelerating Turing machines are Turing machines of a sort able to perform tasks that are commonly regarded as impossible for Turing machines. For example, they can determine whether or not the decimal representation of contains n consecutive 7s, for any n; solve the Turing-machine halting problem; and decide the predicate calculus. Are accelerating Turing machines, then, logically impossible devices? I argue that they are not. There are implications concerning the nature of effective procedures and the theoretical limits of computability. Contrary (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Conceptual re-engineering: from explication to reflective equilibrium.Georg Brun - 2020 - Synthese 197 (3):925-954.
    Carnap and Goodman developed methods of conceptual re-engineering known respectively as explication and reflective equilibrium. These methods aim at advancing theories by developing concepts that are simultaneously guided by pre-existing concepts and intended to replace these concepts. This paper shows that Carnap’s and Goodman’s methods are historically closely related, analyses their structural interconnections, and argues that there is great systematic potential in interpreting them as aspects of one method, which ultimately must be conceived as a component of theory development. The (...)
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • Temporal Experiences without the Specious Present.Valtteri Arstila - 2018 - Australasian Journal of Philosophy 96 (2):287-302.
    Most philosophers believe that we have experiences as of temporally extended phenomena like change, motion, and succession. Almost all theories of time consciousness explain these temporal experiences by subscribing to the doctrine of the specious present, the idea that the contents of our experiences embrace temporally extended intervals of time and are presented as temporally structured. Against these theories, I argue that the doctrine is false and present a theory that does not require the notion of a specious present. Furthermore, (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations