Switch to: References

Add citations

You must login to add citations.
  1. What is a Simulation Model?Juan M. Durán - 2020 - Minds and Machines 30 (3):301-323.
    Many philosophical accounts of scientific models fail to distinguish between a simulation model and other forms of models. This failure is unfortunate because there are important differences pertaining to their methodology and epistemology that favor their philosophical understanding. The core claim presented here is that simulation models are rich and complex units of analysis in their own right, that they depart from known forms of scientific models in significant ways, and that a proper understanding of the type of model simulations (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  • A Natural Axiomatization of Computability and Proof of Church’s Thesis.Nachum Dershowitz & Yuri Gurevich - 2008 - Bulletin of Symbolic Logic 14 (3):299-350.
    Church's Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same, extensionally, as the Turing-computable numeric functions. The Abstract State Machine Theorem states that every classical algorithm is behaviorally equivalent to an abstract state machine. This theorem presupposes three natural postulates about algorithmic computation. Here, we show that augmenting those postulates with an additional requirement regarding basic operations gives a natural axiomatization of computability and a proof of Church's (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  • Towards an Evaluation of the Normalisation Thesis on Identity of Proofs: The Case of Church-Turing Thesis as Touchstone.Tiago de Castro Alves - 2020 - Manuscrito 43 (3):114-163.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Explaining Simulated Phenomena. A Defense of the Epistemic Power of Computer Simulations.Juan M. Durán - 2013 - Dissertation, University of Stuttgart
  • Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic.Sean Walsh - 2016 - Journal of Philosophical Logic 45 (3):277-326.
    This paper sets out a predicative response to the Russell-Myhill paradox of propositions within the framework of Church’s intensional logic. A predicative response places restrictions on the full comprehension schema, which asserts that every formula determines a higher-order entity. In addition to motivating the restriction on the comprehension schema from intuitions about the stability of reference, this paper contains a consistency proof for the predicative response to the Russell-Myhill paradox. The models used to establish this consistency also model other axioms (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • Ciencia de la computación y filosofía: unidades de análisis del software.Juan Manuel Durán - 2018 - Principia 22 (2):203-227.
    Una imagen muy generalizada a la hora de entender el software de computador es la que lo representa como una “caja negra”: no importa realmente saber qué partes lo componen internamente, sino qué resultados se obtienen de él según ciertos valores de entrada. Al hacer esto, muchos problemas filosóficos son ocultados, negados o simplemente mal entendidos. Este artículo discute tres unidades de análisis del software de computador, esto es, las especificaciones, los algoritmos y los procesos computacionales. El objetivo central es (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • 2011 North American Annual Meeting of the Association for Symbolic Logic.Itay Neeman - 2012 - Bulletin of Symbolic Logic 18 (2):275-305.