View topic on PhilPapers for more information
Related categories

24 found
Order:
More results on PhilPapers
  1. added 2019-07-22
    Real Patterns and Indispensability.Abel Suñé & Manolo Martínez - manuscript
    While scientific inquiry crucially relies on the extraction of patterns from data, we still have a very imperfect understanding of the metaphysics of patterns—and, in particular, of what it is that makes a pattern real. In this paper we derive a criterion of real-patternhood from the notion of conditional Kolmogorov complexity. The resulting account belongs in the philosophical tradition, initiated by Dennett, that links real-patternhood to data compressibility, but is simpler and formally more perspicuous than other proposals defended heretofore in (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. added 2019-07-18
    Syntax, Semantics, and Computer Programs.William J. Rapaport - forthcoming - Philosophy and Technology:1-13.
    Turner argues that computer programs must have purposes, that implementation is not a kind of semantics, and that computers might need to understand what they do. I respectfully disagree: Computer programs need not have purposes, implementation is a kind of semantic interpretation, and neither human computers nor computing machines need to understand what they do.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. added 2019-07-15
    La philosophie entre intuition et empirie: comment les études du texte peuvent contribuer à renouveler la réflexion philosophique.Louis Chartrand - 2017 - Artichaud Magazine 2017 (8 juin).
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. added 2019-07-12
    Growing Evidence That Perceptual Qualia Are Neuroelectrical Not Computational.Mostyn W. Jones - 2019 - Journal of Consciousness Studies 26 (5-6):89-116.
    Computational neuroscience attributes coloured areas and other perceptual qualia to calculations that are realizable in multiple cellular forms. This faces serious issues in explaining how the various qualia arise and how they bind to form overall perceptions. Qualia may instead be neuroelectrical. Growing evidence indicates that perceptions correlate with neuroelectrical activity spotted by locally activated EEGs, the different qualia correlate with the different electrochemistries of unique detector cells, a unified neural-electromagnetic field binds this activity to form overall perceptions, and this (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. added 2019-06-07
    Understanding the Interplay of Lies, Violence, and Religious Values in Folktales.Quan-Hoang Vuong, Viet-Phuong La & Hong-Kong T. Nguyen - manuscript
    This research employs the Bayesian network modeling approach, and the Markov chain Monte Carlo technique, to learn about the role of lies and violence in teachings of major religions, using a unique dataset extracted from long-standing Vietnamese folktales. The results indicate that, although lying and violent acts augur negative consequences for those who commit them, their associations with core religious values diverge in the outcome for the folktale characters. Lying that serves a religious mission of either Confucianism or Taoism (but (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  6. added 2019-05-26
    Bayesvl: Visually Learning the Graphical Structure of Bayesian Networks and Performing MCMC with 'Stan'.Quan-Hoang Vuong & Viet-Phuong La - 2019 - Open Science Framework 2019:01-47.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  7. added 2019-01-01
    How to Do Digital Philosophy of Science.Charles H. Pence & Grant Ramsey - 2018 - Philosophy of Science 85 (5):930-941.
    Philosophy of science is beginning to be expanded via the introduction of new digital resources—both data and tools for its analysis. The data comprise digitized published books and journal articles, as well as heretofore unpublished and recently digitized material, such as images, archival text, notebooks, meeting notes, and programs. This growing bounty of data would be of little use, however, without quality tools with which to analyze it. Fortunately, the growth in available data is matched by the extensive development of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. added 2018-10-31
    What Isn’T Obvious About ‘Obvious’: A Data-Driven Approach to Philosophy of Logic.Moti Mizrahi - 2019 - In Andrew Aberdein & Matthew Inglis (eds.), Advances in Experimental Philosophy of Logic and Mathematics. London: Bloomsbury Press. pp. 201-224.
    It is often said that ‘every logical truth is obvious’ (Quine 1970: 82), that the ‘axioms and rules of logic are true in an obvious way’ (Murawski 2014: 87), or that ‘logic is a theory of the obvious’ (Sher 1999: 207). In this chapter, I set out to test empirically how the idea that logic is obvious is reflected in the scholarly work of logicians and philosophers of logic. My approach is data-driven. That is to say, I propose that systematically (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  9. added 2018-07-12
    Anselm's God in Isabelle/HOL.Ben Blumson - 2017 - Archive of Formal Proofs:9.
    Paul Oppenheimer and Edward Zalta's formalisation of Anselm's ontological argument for the existence of God is automated by embedding a free logic for definite descriptions within Isabelle/HOL.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  10. added 2018-06-24
    How to Solve Moral Conundrums with Computability Theory.Jongmin Jerome Baek - 2018 - arXiv.
    Various moral conundrums plague population ethics: The Non-Identity Problem, The Procreation Asymmetry, The Repugnant Conclusion, and more. I argue that the aforementioned moral conundrums have a structure neatly accounted for, and solved by, some ideas in computability theory. I introduce a mathematical model based on computability theory and show how previous arguments pertaining to these conundrums fit into the model. This paper proceeds as follows. First, I do a very brief survey of the history of computability theory in moral philosophy. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  11. added 2018-06-15
    Humeanism and Exceptions in the Fundamental Laws of Physics.Billy Wheeler - 2017 - Principia: An International Journal of Epistemology 21 (3):317-337.
    It has been argued that the fundamental laws of physics do not face a ‘problem of provisos’ equivalent to that found in other scientific disciplines (Earman, Roberts and Smith 2002) and there is only the appearance of exceptions to physical laws if they are confused with differential equations of evolution type (Smith 2002). In this paper I argue that even if this is true, fundamental laws in physics still pose a major challenge to standard Humean approaches to lawhood, as they (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. added 2018-06-07
    A Unified Cognitive Model of Visual Filling-In Based on an Emergic Network Architecture.David Pierre Leibovitz - 2013 - Dissertation, Carleton University
    The Emergic Cognitive Model (ECM) is a unified computational model of visual filling-in based on the Emergic Network architecture. The Emergic Network was designed to help realize systems undergoing continuous change. In this thesis, eight different filling-in phenomena are demonstrated under a regime of continuous eye movement (and under static eye conditions as well). -/- ECM indirectly demonstrates the power of unification inherent with Emergic Networks when cognition is decomposed according to finer-grained functions supporting change. These can interact to raise (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  13. added 2018-04-10
    The Nature of Computational Things.Franck Varenne - 2013 - In Frédéric Migayrou Brayer & Marie-Ange (eds.), Naturalizing Architecture. Orléans: HYX Editions. pp. 96-105.
    Architecture often relies on mathematical models, if only to anticipate the physical behavior of structures. Accordingly, mathematical modeling serves to find an optimal form given certain constraints, constraints themselves translated into a language which must be homogeneous to that of the model in order for resolution to be possible. Traditional modeling tied to design and architecture thus appears linked to a topdown vision of creation, of the modernist, voluntarist and uniformly normative type, because usually (mono)functionalist. One available instrument of calculation/representation/prescription (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  14. added 2017-12-02
    A Case Study on Computational Hermeneutics: E. J. Lowe’s Modal Ontological Argument.David Fuenmayor & Christoph Benzmueller - manuscript
    Computers may help us to better understand (not just verify) arguments. In this article we defend this claim by showcasing the application of a new, computer-assisted interpretive method to an exemplary natural-language ar- gument with strong ties to metaphysics and religion: E. J. Lowe’s modern variant of St. Anselm’s ontological argument for the existence of God. Our new method, which we call computational hermeneutics, has been particularly conceived for use in interactive-automated proof assistants. It aims at shedding light on the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  15. added 2017-08-16
    Show Me the Argument: Empirically Testing the Armchair Philosophy Picture.Zoe Ashton & Moti Mizrahi - 2018 - Metaphilosophy 49 (1-2):58-70.
    Many philosophers subscribe to the view that philosophy is a priori and in the business of discovering necessary truths from the armchair. This paper sets out to empirically test this picture. If this were the case, we would expect to see this reflected in philosophical practice. In particular, we would expect philosophers to advance mostly deductive, rather than inductive, arguments. The paper shows that the percentage of philosophy articles advancing deductive arguments is higher than those advancing inductive arguments, which is (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  16. added 2017-07-30
    Intractability and the Use of Heuristics in Psychological Explanations.Iris Rooij, Cory Wright & Todd Wareham - 2012 - Synthese 187 (2):471-487.
    Many cognitive scientists, having discovered that some computational-level characterization f of a cognitive capacity φ is intractable, invoke heuristics as algorithmic-level explanations of how cognizers compute f. We argue that such explanations are actually dysfunctional, and rebut five possible objections. We then propose computational-level theory revision as a principled and workable alternative.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   9 citations  
  17. added 2017-05-12
    Intuition Talk is Not Methodologically Cheap: Empirically Testing the “Received Wisdom” About Armchair Philosophy.Zoe Ashton & Moti Mizrahi - 2018 - Erkenntnis 83 (3):595-612.
    The “received wisdom” in contemporary analytic philosophy is that intuition talk is a fairly recent phenomenon, dating back to the 1960s. In this paper, we set out to test two interpretations of this “received wisdom.” The first is that intuition talk is just talk, without any methodological significance. The second is that intuition talk is methodologically significant; it shows that analytic philosophers appeal to intuition. We present empirical and contextual evidence, systematically mined from the JSTOR corpus and HathiTrust’s Digital Library, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  18. added 2016-08-28
    What a Course on Philosophy of Computing is Not.Vincent C. Müller - 2008 - APA Newsletter on Philosophy and Computers 8 (1):36-38.
    Immanuel Kant famously defined philosophy to be about three questions: “What can I know? What should I do? What can I hope for?” (KrV, B833). I want to suggest that the three questions of our course on the philosophy of computing are: What is computing? What should we do with computing? What could computing do?
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. added 2015-12-20
    A Computer Simulation of the Argument From Disagreement.Johan E. Gustafsson & Martin Peterson - 2012 - Synthese 184 (3):387-405.
    In this paper we shed new light on the Argument from Disagreement by putting it to test in a computer simulation. According to this argument widespread and persistent disagreement on ethical issues indicates that our moral opinions are not influenced by any moral facts, either because no such facts exist or because they are epistemically inaccessible or inefficacious for some other reason. Our simulation shows that if our moral opinions were influenced at least a little bit by moral facts, we (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  20. added 2015-07-01
    Semantical Mutation, Algorithms and Programs.Porto André - 2015 - Dissertatio (S1):44-76.
    This article offers an explanation of perhaps Wittgenstein’s strangest and least intuitive thesis – the semantical mutation thesis – according to which one can never answer a mathematical conjecture because the new proof alters the very meanings of the terms involved in the original question. Instead of basing our justification on the distinction between mere calculation and proofs of isolated propositions, characteristic of Wittgenstein’s intermediary period, we generalize it to include conjectures involving effective procedures as well.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  21. added 2014-03-07
    Paperless Philosophy as a Philosophical Method.David Bourget - 2010 - Social Epistemology 24 (4):363-375.
    I discuss the prospects for novel communication methods in academic research. I describe communication tools which could enhance the practice of conceptual analysis.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  22. added 2013-12-09
    Solving Ordinary Differential Equations by Working with Infinitesimals Numerically on the Infinity Computer.Yaroslav Sergeyev - 2013 - Applied Mathematics and Computation 219 (22):10668–10681.
    There exists a huge number of numerical methods that iteratively construct approximations to the solution y(x) of an ordinary differential equation (ODE) y′(x) = f(x,y) starting from an initial value y_0=y(x_0) and using a finite approximation step h that influences the accuracy of the obtained approximation. In this paper, a new framework for solving ODEs is presented for a new kind of a computer – the Infinity Computer (it has been patented and its working prototype exists). The new computer is (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  23. added 2013-12-09
    Single-Tape and Multi-Tape Turing Machines Through the Lens of the Grossone Methodology.Yaroslav Sergeyev & Alfredo Garro - 2013 - Journal of Supercomputing 65 (2):645-663.
    The paper investigates how the mathematical languages used to describe and to observe automatic computations influence the accuracy of the obtained results. In particular, we focus our attention on Single and Multi-tape Turing machines which are described and observed through the lens of a new mathematical language which is strongly based on three methodological ideas borrowed from Physics and applied to Mathematics, namely: the distinction between the object (we speak here about a mathematical object) of an observation and the instrument (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  24. added 2012-08-07
    Vagueness Intuitions and the Mobility of Cognitive Sortals.Bert Baumgaertner - 2012 - Minds and Machines 22 (3):213-234.
    One feature of vague predicates is that, as far as appearances go, they lack sharp application boundaries. I argue that we would not be able to locate boundaries even if vague predicates had sharp boundaries. I do so by developing an idealized cognitive model of a categorization faculty which has mobile and dynamic sortals (`classes', `concepts' or `categories') and formally prove that the degree of precision with which boundaries of such sortals can be located is inversely constrained by their flexibility. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark