Switch to: References

Add citations

You must login to add citations.
  1. Computer Science as Immaterial Formal Logic.Selmer Bringsjord - 2020 - Philosophy and Technology 33 (2):339-347.
    I critically review Raymond Turner’s Computational Artifacts – Towards a Philosophy of Computer Science by placing beside his position a rather different one, according to which computer science is a branch of, and is therefore subsumed by, immaterial formal logic.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Epistemic Entitlements and the Practice of Computer Simulation.John Symons & Ramón Alvarado - 2019 - Minds and Machines 29 (1):37-60.
    What does it mean to trust the results of a computer simulation? This paper argues that trust in simulations should be grounded in empirical evidence, good engineering practice, and established theoretical principles. Without these constraints, computer simulation risks becoming little more than speculation. We argue against two prominent positions in the epistemology of computer simulation and defend a conservative view that emphasizes the difference between the norms governing scientific investigation and those governing ordinary epistemic practices.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • The Philosophy of Computer Science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.
  • Explaining Simulated Phenomena. A Defense of the Epistemic Power of Computer Simulations.Juan M. Durán - 2013 - Dissertation, University of Stuttgart
  • In Defense of the Unprovability of the Church-Turing Thesis.Selmer Bringsjord - unknown
    One of us has previously argued that the Church-Turing Thesis (CTT), contra Elliot Mendelson, is not provable, and is — light of the mind’s capacity for effortless hypercomputation — moreover false (e.g., [13]). But a new, more serious challenge has appeared on the scene: an attempt by Smith [28] to prove CTT. His case is a clever “squeezing argument” that makes crucial use of Kolmogorov-Uspenskii (KU) machines. The plan for the present paper is as follows. After covering some necessary preliminaries (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  • A Vindication of Program Verification.Selmer Bringsjord - 2015 - History and Philosophy of Logic 36 (3):262-277.
    Fetzer famously claims that program verification is not even a theoretical possibility, and offers a certain argument for this far-reaching claim. Unfortunately for Fetzer, and like-minded thinkers, this position-argument pair, while based on a seminal insight that program verification, despite its Platonic proof-theoretic airs, is plagued by the inevitable unreliability of messy, real-world causation, is demonstrably self-refuting. As I soon show, Fetzer is like the person who claims: ‘My sole claim is that every claim expressed by an English sentence and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Objects and Processes in Mathematical Practice.Uwe V. Riss - 2011 - Foundations of Science 16 (4):337-351.
    In this paper it is argued that the fundamental difference of the formal and the informal position in the philosophy of mathematics results from the collision of an object and a process centric perspective towards mathematics. This collision can be overcome by means of dialectical analysis, which shows that both perspectives essentially depend on each other. This is illustrated by the example of mathematical proof and its formal and informal nature. A short overview of the employed materialist dialectical approach is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • A Historical Approach to Understanding Explanatory Proofs Based on Mathematical Practices.Erika Oshiro - 2018 - Dissertation, University of South Florida
    My dissertation focuses on mathematical explanation found in proofs looked at from a historical point of view, while stressing the importance of mathematical practices. Current philosophical theories on explanatory proofs emphasize the structure and content of proofs without any regard to external factors that influence a proof’s explanatory power. As a result, the major philosophical views have been shown to be inadequate in capturing general aspects of explanation. I argue that, in addition to form and content, a proof’s explanatory power (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • The Philosophy of Computer Science: Introduction to the Special Issue. [REVIEW]Raymond Turner - 2007 - Minds and Machines 17 (2):129-133.
  • A Three-Pronged Simonesque Approach To Modeling And Simulation In Deviant “Bi-Pay” Auctions, And Beyond.Joe Johnson, Naveen Sundar Govindarajulu & Selmer Bringsjord - 2014 - Mind and Society 13 (1):59-82.
    In order to employ and exhibit our Simon-inspired approach to computational economics, and specifically defend our version of the view that even logically untrained humans are rational, albeit no more than “boundedly” so, we provide two models, both rooted in computational logic, of how it is that logically untrained humans perform in a seemingly irrational fashion in a particular “deviant” auction.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Challenging Epistemology: Interactive Proofs and Zero Knowledge.Justin Bledin - 2008 - Journal of Applied Logic 6 (4):490-501.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Constructionist Philosophy of Logic.Patrick Allo - 2017 - Minds and Machines 27 (3):545-564.
    This paper develops and refines the suggestion that logical systems are conceptual artefacts that are the outcome of a design-process by exploring how a constructionist epistemology and meta-philosophy can be integrated within the philosophy of logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Logicist Manifesto: At Long Last Let Logic-Based Artificial Intelligence Become a Field Unto Itself.Selmer Bringsjord - 2008 - Journal of Applied Logic 6 (4):502-525.
  • Proof Verification and Proof Discovery for Relativity.Naveen Sundar Govindarajalulu, Selmer Bringsjord & Joshua Taylor - 2015 - Synthese 192 (7):2077-2094.
    The vision of machines autonomously carrying out substantive conjecture generation, theorem discovery, proof discovery, and proof verification in mathematics and the natural sciences has a long history that reaches back before the development of automatic systems designed for such processes. While there has been considerable progress in proof verification in the formal sciences, for instance the Mizar project’ and the four-color theorem, now machine verified, there has been scant such work carried out in the realm of the natural sciences—until recently. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark