Switch to: References

Add citations

You must login to add citations.
  1. Incompleteness Via Paradox and Completeness.Walter Dean - 2020 - Review of Symbolic Logic 13 (3):541-592.
    This paper explores the relationship borne by the traditional paradoxes of set theory and semantics to formal incompleteness phenomena. A central tool is the application of the Arithmetized Completeness Theorem to systems of second-order arithmetic and set theory in which various “paradoxical notions” for first-order languages can be formalized. I will first discuss the setting in which this result was originally presented by Hilbert & Bernays and also how it was later adapted by Kreisel and Wang in order to obtain (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Practical Intractability: A Critique of the Hypercomputation Movement. [REVIEW]Aran Nayebi - 2014 - Minds and Machines 24 (3):275-305.
    For over a decade, the hypercomputation movement has produced computational models that in theory solve the algorithmically unsolvable, but they are not physically realizable according to currently accepted physical theories. While opponents to the hypercomputation movement provide arguments against the physical realizability of specific models in order to demonstrate this, these arguments lack the generality to be a satisfactory justification against the construction of any information-processing machine that computes beyond the universal Turing machine. To this end, I present a more (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Trial and Error Mathematics I: Dialectical and Quasidialectical Systems.Jacopo Amidei, Duccio Pianigiani, Luca San Mauro, Giulia Simi & Andrea Sorbi - 2016 - Review of Symbolic Logic 9 (2):299-324.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Tracing Internal Categoricity.Jouko Väänänen - forthcoming - Theoria.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On the Possible Computational Power of the Human Mind.Hector Zenil & Francisco Hernandez-Quiroz - 2007 - In Carlos Gershenson, Diederik Aerts & Bruce Edmonds (eds.), Worldviews, Science, and Us: Philosophy and Complexity. World Scientific. pp. 315--334.
    Download  
     
    Export citation  
     
    Bookmark  
  • Theory Choice, Theory Change, and Inductive Truth-Conduciveness.Konstantin Genin & Kevin T. Kelly - 2019 - Studia Logica 107 (5):949-989.
    Synchronic norms of theory choice, a traditional concern in scientific methodology, restrict the theories one can choose in light of given information. Diachronic norms of theory change, as studied in belief revision, restrict how one should change one’s current beliefs in light of new information. Learning norms concern how best to arrive at true beliefs. In this paper, we undertake to forge some rigorous logical relations between the three topics. Concerning, we explicate inductive truth conduciveness in terms of optimally direct (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A New Solution to the Puzzle of Simplicity.Kevin Kelly - 2007 - Philosophy of Science 74 (5):561-573.
    Explaining the connection, if any, between simplicity and truth is among the deepest problems facing the philosophy of science, statistics, and machine learning. Say that an efficient truth finding method minimizes worst case costs en route to converging to the true answer to a theory choice problem. Let the costs considered include the number of times a false answer is selected, the number of times opinion is reversed, and the times at which the reversals occur. It is demonstrated that (1) (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Hilary Putnam on Logic and Mathematics, Edited by Geoffrey Hellman and Roy T. Cook.Tim Button - forthcoming - Mind:fzz067.
    Hilary Putnam on Logic and Mathematics, edited by HellmanGeoffrey and CookRoy T. Cham: Springer, 2018. Pp. x + 274.
    Download  
     
    Export citation  
     
    Bookmark  
  • Epistemologia Analítica, Vol .1: debates contemporâneos.Tiegue Vieira Rodrigues (ed.) - 2019 - Editora Fi.
    O presente volume se trata de uma coletânea de artigos que reúne alguns dos trabalhos propostos para o evento “III International Colloquium of Analytic Epistemology and VII Conference of Social Epistemology”, realizado entre os dias 27 e 30 de Novembro de 2018, na Universidade Federal de Santa Maria. O “III International Colloquium of Analytic Epistemology and VII Conference of Social Epistemology” é um dos principais eventos de Epistemologia analítica da América Latina e reúne especialistas do Brasil e do exterior para (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Scanlon’s Contractualism and the Redundancy Objection.Philip Stratton–Lake - 2003 - Analysis 63 (1):70-76.
    Ebbhinghaus, H., J. Flum, and W. Thomas. 1984. Mathematical Logic. New York, NY: Springer-Verlag. Forster, T. Typescript. The significance of Yablo’s paradox without self-reference. Available from http://www.dpmms.cam.ac.uk. Gold, M. 1965. Limiting recursion. Journal of Symbolic Logic 30: 28–47. Karp, C. 1964. Languages with Expressions of Infinite Length. Amsterdam.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Thinking May Be More Than Computing.Peter Kugel - 1986 - Cognition 22 (2):137-198.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • The Co-Discovery of Conservation Laws and Particle Families.Oliver Schulte - 2008 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 39 (2):288-314.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Justification as Truth-Finding Efficiency: How Ockham's Razor Works.Kevin T. Kelly - 2004 - Minds and Machines 14 (4):485-505.
    I propose that empirical procedures, like computational procedures, are justified in terms of truth-finding efficiency. I contrast the idea with more standard philosophies of science and illustrate it by deriving Ockham's razor from the aim of minimizing dramatic changes of opinion en route to the truth.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Fixed-Parameter Decidability: Extending Parameterized Complexity Analysis.Jouke Witteveen & Leen Torenvliet - 2016 - Mathematical Logic Quarterly 62 (6):596-607.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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   20 citations  
  • Almost Ideal: Computational Epistemology and the Limits of Rationality for Finite Reasoners.Danilo Fraga Dantas - 2016 - Dissertation, University of California, Davis
    The notion of an ideal reasoner has several uses in epistemology. Often, ideal reasoners are used as a parameter of (maximum) rationality for finite reasoners (e.g. humans). However, the notion of an ideal reasoner is normally construed in such a high degree of idealization (e.g. infinite/unbounded memory) that this use is unadvised. In this dissertation, I investigate the conditions under which an ideal reasoner may be used as a parameter of rationality for finite reasoners. In addition, I present and justify (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Means-Ends Epistemology.O. Schulte - 1999 - British Journal for the Philosophy of Science 50 (1):1-31.
    This paper describes the corner-stones of a means-ends approach to the philosophy of inductive inference. I begin with a fallibilist ideal of convergence to the truth in the long run, or in the 'limit of inquiry'. I determine which methods are optimal for attaining additional epistemic aims (notably fast and steady convergence to the truth). Means-ends vindications of (a version of) Occam's Razor and the natural generalizations in a Goodmanian Riddle of Induction illustrate the power of this approach. The paper (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Algorithmic Information Theory and Undecidability.Panu Raatikainen - 2000 - Synthese 123 (2):217-225.
    Chaitin’s incompleteness result related to random reals and the halting probability has been advertised as the ultimate and the strongest possible version of the incompleteness and undecidability theorems. It is argued that such claims are exaggerations.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Przyczyna i Wyjaśnianie: Studium Z Filozofii i Metodologii Nauk.Pawel Kawalec - 2006 - Wydawnictwo KUL.
    Przedmowa Problematyka związana z zależnościami przyczynowymi, ich modelowaniem i odkrywa¬niem, po długiej nieobecności w filozofii i metodologii nauk, budzi współcześnie duże zainteresowanie. Wiąże się to przede wszystkim z dynamicznym rozwojem, zwłaszcza od lat 1990., technik obli¬czeniowych. Wypracowane w tym czasie sieci bayesowskie uznaje się za matematyczny język przyczynowości. Pozwalają one na daleko idącą auto¬matyzację wnioskowań, co jest także zachętą do podjęcia prób algorytmiza¬cji odkrywania przyczyn. Na potrzeby badań naukowych, które pozwalają na przeprowadzenie eksperymentu z randomizacją, standardowe metody ustalania zależności przyczynowych (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Some Strongly Undecidable Natural Arithmetical Problems, with an Application to Intuitionistic Theories.Panu Raatikainen - 2003 - Journal of Symbolic Logic 68 (1):262-266.
    A natural problem from elementary arithmetic which is so strongly undecidable that it is not even Trial and Error decidable (in other words, not decidable in the limit) is presented. As a corollary, a natural, elementary arithmetical property which makes a difference between intuitionistic and classical theories is isolated.
    Download  
     
    Export citation  
     
    Bookmark  
  • Toward a Formal Philosophy of Hypercomputation.Selmer Bringsjord & Michael Zenzen - 2002 - Minds and Machines 12 (2):241-258.
    Does what guides a pastry chef stand on par, from the standpoint of contemporary computer science, with what guides a supercomputer? Did Betty Crocker, when telling us how to bake a cake, provide an effective procedure, in the sense of `effective' used in computer science? According to Cleland, the answer in both cases is ``Yes''. One consequence of Cleland's affirmative answer is supposed to be that hypercomputation is, to use her phrase, ``theoretically viable''. Unfortunately, though we applaud Cleland's ``gadfly philosophizing'' (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Ockham Efficiency Theorem for Stochastic Empirical Methods.Kevin T. Kelly & Conor Mayo-Wilson - 2010 - Journal of Philosophical Logic 39 (6):679-712.
    Ockham’s razor is the principle that, all other things being equal, scientists ought to prefer simpler theories. In recent years, philosophers have argued that simpler theories make better predictions, possess theoretical virtues like explanatory power, and have other pragmatic virtues like computational tractability. However, such arguments fail to explain how and why a preference for simplicity can help one find true theories in scientific inquiry, unless one already assumes that the truth is simple. One new solution to that problem is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Inside the Muchnik Degrees I: Discontinuity, Learnability and Constructivism.K. Higuchi & T. Kihara - 2014 - Annals of Pure and Applied Logic 165 (5):1058-1114.
    Every computable function has to be continuous. To develop computability theory of discontinuous functions, we study low levels of the arithmetical hierarchy of nonuniformly computable functions on Baire space. First, we classify nonuniformly computable functions on Baire space from the viewpoint of learning theory and piecewise computability. For instance, we show that mind-change-bounded learnability is equivalent to finite View the MathML source2-piecewise computability 2 denotes the difference of two View the MathML sourceΠ10 sets), error-bounded learnability is equivalent to finite View (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Many Forms of Hypercomputation.Toby Ord - unknown - Journal of Applied Mathematics and Computation 178:142-153.
    This paper surveys a wide range of proposed hypermachines, examining the resources that they require and the capabilities that they possess. 2005 Elsevier Inc. All rights reserved.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Discrete Transfinite Computation Models.Philip D. Welch - 2011 - In S. B. Cooper & Andrea Sorbi (eds.), Computability in Context: Computation and Logic in the Real World. World Scientific. pp. 375--414.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Formal Learning Theory.Oliver Schulte - 2008 - Stanford Encyclopedia of Philosophy.
    Formal learning theory is the mathematical embodiment of a normative epistemology. It deals with the question of how an agent should use observations about her environment to arrive at correct and informative conclusions. Philosophers such as Putnam, Glymour and Kelly have developed learning theory as a normative framework for scientific reasoning and inductive inference.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • What is a Computer? A Survey.William Rapaport - 2018 - Minds and Machines 28 (3):385-426.
    A critical survey of some attempts to define ‘computer’, beginning with some informal ones, then critically evaluating those of three philosophers, and concluding with an examination of whether the brain and the universe are computers.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Is the Connectionist-Logicist Debate One of Ai's Wonderful Red Herrings?Selmer Bringsjord - 1991 - Journal of Theoretical and Experimental Artificial Intelligence 3:319-49.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Computing Machines Can't Be Intelligent (...And Turing Said So).Peter Kugel - 2002 - Minds and Machines 12 (4):563-579.
    According to the conventional wisdom, Turing said that computing machines can be intelligent. I don't believe it. I think that what Turing really said was that computing machines –- computers limited to computing –- can only fake intelligence. If we want computers to become genuinelyintelligent, we will have to give them enough “initiative” to do more than compute. In this paper, I want to try to develop this idea. I want to explain how giving computers more ``initiative'' can allow them (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The Modal Argument for Hypercomputing Minds.Selmer Bringsjord - 2004 - Theoretical Computer Science 317.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Satisfying Predicates: Kleene's Proof of the Hilbert–Bernays Theorem.Gary Ebbs - 2015 - History and Philosophy of Logic 36 (4):346-366.
    The Hilbert–Bernays Theorem establishes that for any satisfiable first-order quantificational schema S, one can write out linguistic expressions that are guaranteed to yield a true sentence of elementary arithmetic when they are substituted for the predicate letters in S. The theorem implies that if L is a consistent, fully interpreted language rich enough to express elementary arithmetic, then a schema S is valid if and only if every sentence of L that can be obtained by substituting predicates of L for (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • On TAE Machines and Their Computational Power.Apostolos Syropoulos - 2019 - Logica Universalis 13 (2):165-170.
    Trail-And-Error machines have been proposed by Hintikka and Mutanen as an alternative formulation of the notion of computation. These machines extend the capabilities of the Turing machine and widen the theory of computation.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  • On the Possibility of Inference to the Best Explanation.Clark Glymour - 2012 - Journal of Philosophical Logic 41 (2):461-469.
    Various proposals have suggested that an adequate explanatory theory should reduce the number or the cardinality of the set of logically independent claims that need be accepted in order to entail a body of data. A (and perhaps the only) well-formed proposal of this kind is William Kneale’s: an explanatory theory should be finitely axiomatizable but it’s set of logical consequences in the data language should not be finitely axiomatizable. Craig and Vaught showed that Kneale theories (almost) always exist for (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Logic for Trial and Error Classifiers.Martin Kaså - 2015 - Journal of Logic, Language and Information 24 (3):307-322.
    Trial and error classifiers, corresponding to concepts which change their extensions over time, are introduced and briefly philosophically motivated. A fragment of the language of classical first-order logic is given a new semantics, using \-sequences of classical models, in order to interpret the basic predicates as classifiers of this kind. It turns out that we can use a natural deduction proof system which differs from classical logic only in the conditions for application of existential elimination. Soundness and completeness theorems are (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Computable Testability of Theories Making Uncomputable Predictions.Kevin T. Kelly & Oliver Schulte - 1995 - Erkenntnis 43 (1):29 - 66.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • The Undecidability of Propositional Adaptive Logic.Leon Horsten & Philip Welch - 2007 - Synthese 158 (1):41-60.
    We investigate and classify the notion of final derivability of two basic inconsistency-adaptive logics. Specifically, the maximal complexity of the set of final consequences of decidable sets of premises formulated in the language of propositional logic is described. Our results show that taking the consequences of a decidable propositional theory is a complicated operation. The set of final consequences according to either the Reliability Calculus or the Minimal Abnormality Calculus of a decidable propositional premise set is in general undecidable, and (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Self-Reference and Incompleteness in a Non-Monotonic Setting.Timothy G. Mccarthy - 1994 - Journal of Philosophical Logic 23 (4):423 - 449.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Computation, Among Other Things, is Beneath Us.Selmer Bringsjord - 1994 - Minds and Machines 4 (4):469-88.
    What''s computation? The received answer is that computation is a computer at work, and a computer at work is that which can be modelled as a Turing machine at work. Unfortunately, as John Searle has recently argued, and as others have agreed, the received answer appears to imply that AI and Cog Sci are a royal waste of time. The argument here is alarmingly simple: AI and Cog Sci (of the Strong sort, anyway) are committed to the view that cognition (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Notes on Naive Semantics.Hans G. Herzberger - 1982 - Journal of Philosophical Logic 11 (1):61 - 102.
    Download  
     
    Export citation  
     
    Bookmark   85 citations  
  • The Logic of Reliable and Efficient Inquiry.Oliver Schulte - 1999 - Journal of Philosophical Logic 28 (4):399-438.
    This paper pursues a thorough-going instrumentalist, or means-ends, approach to the theory of inductive inference. I consider three epistemic aims: convergence to a correct theory, fast convergence to a correct theory and steady convergence to a correct theory (avoiding retractions). For each of these, two questions arise: (1) What is the structure of inductive problems in which these aims are feasible? (2) When feasible, what are the inference methods that attain them? Formal learning theory provides the tools for a complete (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Causal Learning with Occam’s Razor.Oliver Schulte - 2019 - Studia Logica 107 (5):991-1023.
    Occam’s razor directs us to adopt the simplest hypothesis consistent with the evidence. Learning theory provides a precise definition of the inductive simplicity of a hypothesis for a given learning problem. This definition specifies a learning method that implements an inductive version of Occam’s razor. As a case study, we apply Occam’s inductive razor to causal learning. We consider two causal learning problems: learning a causal graph structure that presents global causal connections among a set of domain variables, and learning (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Belief Revision Theory.Hanti Lin - 2019 - In Richard Pettigrew & Jonathan Weisberg (eds.), The Open Handbook of Formal Epistemology. PhilPapers Foundation. pp. 349-396.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Theory Choice, Theory Change, and Inductive Truth-Conduciveness.Konstantin Genin & Kevin T. Kelly - 2018 - Studia Logica:1-41.
    Synchronic norms of theory choice, a traditional concern in scientific methodology, restrict the theories one can choose in light of given information. Diachronic norms of theory change, as studied in belief revision, restrict how one should change one’s current beliefs in light of new information. Learning norms concern how best to arrive at true beliefs. In this paper, we undertake to forge some rigorous logical relations between the three topics. Concerning, we explicate inductive truth conduciveness in terms of optimally direct (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The N-R.E. Degrees: Undecidability and Σ1 Substructures.Mingzhong Cai, Richard A. Shore & Theodore A. Slaman - 2012 - Journal of Mathematical Logic 12 (1):1250005-.
    We study the global properties of [Formula: see text], the Turing degrees of the n-r.e. sets. In Theorem 1.5, we show that the first order of [Formula: see text] is not decidable. In Theorem 1.6, we show that for any two n and m with n < m, [Formula: see text] is not a Σ1-substructure of [Formula: see text].
    Download  
     
    Export citation  
     
    Bookmark  
  • The Extent of Computation in Malament–Hogarth Spacetimes.P. D. Welch - 2008 - British Journal for the Philosophy of Science 59 (4):659-674.
    We analyse the extent of possible computations following Hogarth ([2004]) conducted in Malament–Hogarth (MH) spacetimes, and Etesi and Németi ([2002]) in the special subclass containing rotating Kerr black holes. Hogarth ([1994]) had shown that any arithmetic statement could be resolved in a suitable MH spacetime. Etesi and Németi ([2002]) had shown that some relations on natural numbers that are neither universal nor co-universal, can be decided in Kerr spacetimes, and had asked specifically as to the extent of computational limits there. (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Recognizing Strong Random Reals.Daniel Osherson - 2008 - Review of Symbolic Logic 1 (1):56-63.
    1. Characterizing randomness. Consider a physical process that, if suitably idealized, generates an indefinite sequence of independent random bits. One such process might be radioactive decay of a lump of uranium whose mass is kept at just the level needed to ensure that the probability is one-half that no alpha particle is emitted in the nth microsecond of the experiment. Let us think of the bits as drawn from {0, 1} and denote the resulting sequence by x with coordinates x0, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory.Robert I. Soare - 2009 - Annals of Pure and Applied Logic 160 (3):368-399.
    We begin with the history of the discovery of computability in the 1930’s, the roles of Gödel, Church, and Turing, and the formalisms of recursive functions and Turing automatic machines . To whom did Gödel credit the definition of a computable function? We present Turing’s notion [1939, §4] of an oracle machine and Post’s development of it in [1944, §11], [1948], and finally Kleene-Post [1954] into its present form. A number of topics arose from Turing functionals including continuous functionals on (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • A Peircean Reply to Quine's Two Problems. Ishida - 2013 - Transactions of the Charles S. Peirce Society 49 (3):322.
    Following a science and ontology conference in Barbizon, France, Layla Raïd and Karim Belabas published an article on Peirce and Quine that focuses on truth considered as the convergence of opinions or theories. 2 The article is a productive collaboration between a philosopher and mathematician, identifying two problems that Quine poses: first, the use of numerical analogy in Peirce’s account of truth, and second, the uniqueness of the final opinion, which can presumably be defeated or undermined by arguments from underdetermination (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Co-Discovery of Conservation Laws and Particle Families.Oliver Schulte - 2008 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 39 (2):288-314.
    Download  
     
    Export citation  
     
    Bookmark   4 citations