91 found
Order:
Disambiguations
Leon Horsten [78]L. Horsten [13]
See also
Profile: Leon Horsten (Bristol University)
  1. Fair Infinite Lotteries.Sylvia Wenmackers & Leon Horsten - 2013 - Synthese 190 (1):37-61.
    This article discusses how the concept of a fair finite lottery can best be extended to denumerably infinite lotteries. Techniques and ideas from non-standard analysis are brought to bear on the problem.
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   12 citations  
  2.  13
    The Tarskian Turn. Deflationism and Axiomatic Truth.Leon Horsten - 2011 - MIT Press.
    The work of mathematician and logician Alfred Tarski (1901--1983) marks the transition from substantial to deflationary views about truth.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  3.  75
    An Argument Concerning the Unknowable.Leon Horsten - 2009 - Analysis 69 (2):240-242.
    Williamson has forcefully argued that Fitch's argument shows that the domain of the unknowable is non-empty. And he exhorts us to make more inroads into the land of the unknowable. Concluding his discussion of Fitch's argument, he writes: " Once we acknowledge that [the domain of the unknowable] is non-empty, we can explore more effectively its extent. … We are only beginning to understand the deeper limits of our knowledge. " I shall formulate and evaluate a new argument concerning the (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   19 citations  
  4. Axiomatizing Kripke's Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
    We investigate axiomatizations of Kripke's theory of truth based on the Strong Kleene evaluation scheme for treating sentences lacking a truth value. Feferman's axiomatization KF formulated in classical logic is an indirect approach, because it is not sound with respect to Kripke's semantics in the straightforward sense: only the sentences that can be proved to be true in KF are valid in Kripke's partial models. Reinhardt proposed to focus just on the sentences that can be proved to be true in (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   15 citations  
  5.  97
    Impredicative Identity Criteria.Leon Horsten - 2010 - Philosophy and Phenomenological Research 80 (2):411-439.
    In this paper, a general perspective on criteria of identity of kinds of objects is developed. The question of the admissibility of impredicative or circular identitycriteria is investigated in the light of the view that is articulated. It is argued that in and of itself impredicativity docs not constitute sufficient grounds for rejecting aputative identity criterion. The view that is presented is applied to Davidson's criterion of identity for events and to the structuralist criterion of identity of placesin a structure.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  6.  59
    Levity.Leon Horsten - 2009 - Mind 118 (471):555-581.
    In this article, the prospects of deflationism about the concept of truth are investigated. A new version of deflationism, called inferential deflationism, is articulated and defended. It is argued that it avoids the pitfalls of earlier deflationist views such as Horwich’s minimalist theory of truth and Field’s version of deflationism.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  7.  29
    Reflecting on Absolute Infinity.Philip Welch & Leon Horsten - 2016 - Journal of Philosophy 113 (2):89-111.
    This article is concerned with reflection principles in the context of Cantor’s conception of the set-theoretic universe. We argue that within such a conception reflection principles can be formulated that confer intrinsic plausibility to strong axioms of infinity.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  8. Term Models for Abstraction Principles.Leon Horsten & Øystein Linnebo - 2016 - Journal of Philosophical Logic 45 (1):1-23.
    Kripke’s notion of groundedness plays a central role in many responses to the semantic paradoxes. Can the notion of groundedness be brought to bear on the paradoxes that arise in connection with abstraction principles? We explore a version of grounded abstraction whereby term models are built up in a ‘grounded’ manner. The results are mixed. Our method solves a problem concerning circularity and yields a ‘grounded’ model for the predicative theory based on Frege’s Basic Law V. However, the method is (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  9.  29
    Computational Structuralism.Volker Halbach & Leon Horsten - 2005 - Philosophia Mathematica 13 (2):174-186.
    According to structuralism in philosophy of mathematics, arithmetic is about a single structure. First-order theories are satisfied by (nonstandard) models that do not instantiate this structure. Proponents of structuralism have put forward various accounts of how we succeed in fixing one single structure as the intended interpretation of our arithmetical language. We shall look at a proposal that involves Tennenbaum's theorem, which says that any model with addition and multiplication as recursive operations is isomorphic to the standard model of arithmetic. (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   11 citations  
  10.  83
    Vom Zahlen Zu den Zahlen: On the Relation Between Computation and Arithmetical Structuralism.L. Horsten - 2012 - Philosophia Mathematica 20 (3):275-288.
    This paper sketches an answer to the question how we, in our arithmetical practice, succeed in singling out the natural-number structure as our intended interpretation. It is argued that we bring this about by a combination of what we assert about the natural-number structure on the one hand, and our computational capacities on the other hand.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  11. Non-Archimedean Probability.Vieri Benci, Leon Horsten & Sylvia Wenmackers - 2013 - Milan Journal of Mathematics 81 (1):121-151.
    We propose an alternative approach to probability theory closely related to the framework of numerosity theory: non-Archimedean probability (NAP). In our approach, unlike in classical probability theory, all subsets of an infinite sample space are measurable and only the empty set gets assigned probability zero (in other words: the probability functions are regular). We use a non-Archimedean field as the range of the probability function. As a result, the property of countable additivity in Kolmogorov’s axiomatization of probability is replaced by (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  12.  37
    Revision Revisited.Leon Horsten, Graham E. Leigh, Hannes Leitgeb & Philip Welch - 2012 - Review of Symbolic Logic 5 (4):642-664.
    This article explores ways in which the Revision Theory of Truth can be expressed in the object language. In particular, we investigate the extent to which semantic deficiency, stable truth, and nearly stable truth can be so expressed, and we study different axiomatic systems for the Revision Theory of Truth.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  13. A Defence of Van Fraassen's Critique of Abductive Inference: Reply to Psillos.Ladyman James, Douven Igor, Horsten Leon & Fraassen Bas van - 1997 - Philosophical Quarterly 47 (188):305 - 321.
    Psillos has recently argued that van Fraassen’s arguments against abduction fail. Moreover, he claimed that, if successful, these arguments would equally undermine van Fraassen’s own constructive empiricism, for, Psillos thinks, it is only by appeal to abduction that constructive empiricism can be saved from issuing in a bald scepticism. We show that Psillos’ criticisms are misguided, and that they are mostly based on misinterpretations of van Fraassen’s arguments. Furthermore, we argue that Psillos’ arguments for his claim that constructive empiricism itself (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  14.  43
    Truth is Simple.Horsten Leon & E. Leigh Graham - 2017 - Mind 126 (501):195-232.
    Even though disquotationalism is not correct as it is usually formulated, a deep insight lies behind it. Specifically, it can be argued that, modulo implicit commitment to reflection principles, all there is to the notion of truth is given by a simple, natural collection of truth-biconditionals.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15. Earman on Underdetermination and Empirical Indistinguishability.Igor Douven & Leon Horsten - 1998 - Erkenntnis 49 (3):303-320.
    Earman (1993) distinguishes three notions of empirical indistinguishability and offers a rigorous framework to investigate how each of these notions relates to the problem of underdetermination of theory choice. He uses some of the results obtained in this framework to argue for a version of scientific anti- realism. In the present paper we first criticize Earman's arguments for that position. Secondly, we propose and motivate a modification of Earman's framework and establish several results concerning some of the notions of indistinguishability (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  16.  91
    Formal Methods in the Philosophy of Science.Leon Horsten & Igor Douven - 2008 - Studia Logica 89 (2):151-162.
    In this article, we reflect on the use of formal methods in the philosophy of science. These are taken to comprise not just methods from logic broadly conceived, but also from other formal disciplines such as probability theory, game theory, and graph theory. We explain how formal modelling in the philosophy of science can shed light on difficult problems in this domain.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  17.  44
    No Future.Leon Horsten & Hannes Leitgeb - 2001 - Journal of Philosophical Logic 30 (3):259-265.
    The difficulties with formalizing the intensional notions necessity, knowability and omniscience, and rational belief are well-known. If these notions are formalized as predicates applying to (codes of) sentences, then from apparently weak and uncontroversial logical principles governing these notions, outright contradictions can be derived. Tense logic is one of the best understood and most extensively developed branches of intensional logic. In tense logic, the temporal notions future and past are formalized as sentential operators rather than as predicates. The question therefore (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  18.  66
    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 (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  19.  22
    The Expressive Power of Truth.Martin Fischer & Leon Horsten - 2015 - Review of Symbolic Logic 8 (2):345-369.
  20.  69
    On the Quantitative Scalar or-Implicature.Leon Horsten - 2005 - Synthese 146 (1-2):111-127.
    . Two simple generalized conversational implicatures are investigated :(1) the quantitative scalar implicature associated with ‘or’, and (2) the ‘not-and’-implicature, which is the dual to (1). It is argued that it is more fruitful to consider these implicatures as rules of interpretation and to model them in an algebraic fashion than to consider them as nonmonotonic rules of inference and to model them in a proof-theoretic way.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  21. Norms for Theories of Reflexive Truth.Leon Horsten & Volker Halbach - 2015 - In Kentaro Fujimoto, José Martínez Fernández, Henri Galinon & Theodora Achourioti (eds.), Unifying the Philosophy of Truth. Springer Verlag.
     
    Export citation  
     
    My bibliography   1 citation  
  22. The Deflationists' Axioms for Truth.Volker Halbach & Leon Horsten - 2008 - In J. C. Beall & Bradley Armour-Garb (eds.), Deflationism and Paradox. Oxford University Press.
     
    Export citation  
     
    My bibliography   4 citations  
  23. Closer.Rafael De Clercq & Leon Horsten - 2005 - Synthese 146 (3):371 - 393.
    Criteria of identity should mirror the identity relation in being reflexive, symmetrical, and transitive. However, this logical requirement is only rarely met by the criteria that we are most inclined to propose as candidates. The present paper addresses the question how such obvious candidates are best approximated by means of relations that have all of the aforementioned features, i.e., which are equivalence relations. This question divides into two more basic questions. First, what is to be considered a ‘best’ approximation. And (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  24. Strict Conditionals: A Negative Result.Jan Heylen & Leon Horsten - 2006 - Philosophical Quarterly 56 (225):536–549.
    Jonathan Lowe has argued that a particular variation on C.I. Lewis' notion of strict implication avoids the paradoxes of strict implication. We show that Lowe's notion of implication does not achieve this aim, and offer a general argument to demonstrate that no other variation on Lewis' notion of constantly strict implication describes the logical behaviour of natural-language conditionals in a satisfactory way.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  25.  64
    Probabilist antirealism.Igor Douven, Leon Horsten & Jan-Willem Romeijn - 2010 - Pacific Philosophical Quarterly 91 (1):38-63.
    Until now, antirealists have offered sketches of a theory of truth, at best. In this paper, we present a probabilist account of antirealist truth in some formal detail, and we assess its ability to deal with the problems that are standardly taken to beset antirealism.
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    My bibliography   2 citations  
  26. Perceptual Indiscriminability: In Defence of Wright's Proof.Rafael de Clercq & Leon Horsten - 2004 - Philosophical Quarterly 54 (216):439-444.
    A series of unnoticeably small changes in an observable property may add up to a noticeable change. Crispin Wright has used this fact to prove that perceptual indiscriminability is a non-transitive relation. Delia Graff has recently argued that there is a 'tension' between Wright's assumptions. But Graff has misunderstood one of these, that 'phenomenal continua' are possible; and the other, that our powers of discrimination are finite, is sound. If the first assumption is properly understood, it is not in tension (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  27.  9
    Truth and Existence.Jan Heylen & Leon Horsten - 2017 - Thought: A Journal of Philosophy 6 (1):106-114.
    Halbach has argued that Tarski biconditionals are not ontologically conservative over classical logic, but his argument is undermined by the fact that he cannot include a theory of arithmetic, which functions as a theory of syntax. This article is an improvement on Halbach's argument. By adding the Tarski biconditionals to inclusive negative free logic and the universal closure of minimal arithmetic, which is by itself an ontologically neutral combination, one can prove that at least one thing exists. The result can (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  28.  9
    Principles of Truth.Volker Halbach & Leon Horsten (eds.) - 2002 - Hänsel-Hohenhausen.
  29.  23
    Infinitesimal Probabilities.Vieri Benci, Leon Horsten & Sylvia Wenmackers - forthcoming - British Journal for the Philosophy of Science:axw013.
    Non-Archimedean probability functions allow us to combine regularity with perfect additivity. We discuss the philosophical motivation for a particular choice of axioms for a non-Archimedean probability theory and answer some philosophical objections that have been raised against infinitesimal probabilities in general. 1 Introduction2 The Limits of Classical Probability Theory2.1 Classical probability functions2.2 Limitations2.3 Infinitesimals to the rescue?3 NAP Theory3.1 First four axioms of NAP3.2 Continuity and conditional probability3.3 The final axiom of NAP3.4 Infinite sums3.5 Definition of NAP functions via infinite (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30.  58
    In Defense of Epistemic Arithmetic.Leon Horsten - 1998 - Synthese 116 (1):1-25.
    This paper presents a defense of Epistemic Arithmetic as used for a formalization of intuitionistic arithmetic and of certain informal mathematical principles. First, objections by Allen Hazen and Craig Smorynski against Epistemic Arithmetic are discussed and found wanting. Second, positive support is given for the research program by showing that Epistemic Arithmetic can give interesting formulations of Church's Thesis.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  31. Perceptual Indiscriminability and the Concept of a Color Shade.Leon Horsten - 2010 - In Richard Dietz & Sebastiano Moruzzi (eds.), Cuts and Clouds: Vaguenesss, its Nature and its Logic. Oxford University Press.
     
    Export citation  
     
    My bibliography   2 citations  
  32. Reflecting in Epistemic Arithmetic.Leon Horsten - 1996 - Journal of Symbolic Logic 61 (3):788-801.
    An epistemic formalization of arithmetic is constructed in which certain non-trivial metatheoretical inferences about the system itself can be made. These inferences involve the notion of provability in principle, and cannot be made in any consistent extensions of Stewart Shapiro's system of epistemic arithmetic. The system constructed in the paper can be given a modal-structural interpretation.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  33.  14
    Modal-Epistemic Variants of Shapiro's System of Epistemic Arithmetic.Leon Horsten - 1994 - Notre Dame Journal of Formal Logic 35 (2):284-291.
  34. Philosophy of Mathematics.Leon Horsten - 2008 - Stanford Encyclopedia of Philosophy.
    If mathematics is regarded as a science, then the philosophy of mathematics can be regarded as a branch of the philosophy of science, next to disciplines such as the philosophy of physics and the philosophy of biology. However, because of its subject matter, the philosophy of mathematics occupies a special place in the philosophy of science. Whereas the natural sciences investigate entities that are located in space and time, it is not at all obvious that this is also the case (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  35.  36
    Bas C. Van Fraassen, The Empirical Stance. [REVIEW]Leon Horsten - 2004 - International Studies in the Philosophy of Science 18 (1):95-97.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  36.  52
    One Hundred Years of Semantic Paradox.Leon Horsten - forthcoming - Journal of Philosophical Logic:1-15.
    This article contains an overview of the main problems, themes and theories relating to the semantic paradoxes in the twentieth century. From this historical overview I tentatively draw some lessons about the way in which the field may evolve in the next decade.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37.  16
    Platonistic Formalism.L. Horsten - 2001 - Erkenntnis 54 (2):173-194.
    The present paper discusses a proposal which says,roughly and with several qualifications, that thecollection of mathematical truths is identical withthe set of theorems of ZFC. It is argued that thisproposal is not as easily dismissed as outright falseor philosophically incoherent as one might think. Some morals of this are drawn for the concept ofmathematical knowledge.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  38.  35
    On the Exclusivity Implicature of 'Or' or on the Meaning of Eating Strawberries.Liza Verhoeven & Leon Horsten - 2005 - Studia Logica 81 (1):19-24.
    This paper is a contribution to the program of constructing formal representations of pragmatic aspects of human reasoning. We propose a formalization within the framework of Adaptive Logics of the exclusivity implicature governing the connective ‘or’.Keywords: exclusivity implicature, Adaptive Logics.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  39.  25
    Canonical Naming Systems.Leon Horsten - 2004 - Minds and Machines 15 (2):229-257.
    This paper outlines a framework for the abstract investigation of the concept of canonicity of names and of naming systems. Degrees of canonicity of names and of naming systems are distinguished. The structure of the degrees is investigated, and a notion of relative canonicity is defined. The notions of canonicity are formally expressed within a Carnapian system of second-order modal logic.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  40. Computational Structuralism &Dagger.Volker Halbach & Leon Horsten - 2005 - Philosophia Mathematica 13 (2):174-186.
    According to structuralism in philosophy of mathematics, arithmetic is about a single structure. First-order theories are satisfied by models that do not instantiate this structure. Proponents of structuralism have put forward various accounts of how we succeed in fixing one single structure as the intended interpretation of our arithmetical language. We shall look at a proposal that involves Tennenbaum's theorem, which says that any model with addition and multiplication as recursive operations is isomorphic to the standard model of arithmetic. On (...)
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  41. Axioms for Non-Archimedean Probability (NAP).Vieri Benci, Leon Horsten & Sylvia Wenmackers - 2012 - In De Vuyst J. & Demey L. (eds.), Future Directions for Logic; Proceedings of PhDs in Logic III - Vol. 2 of IfColog Proceedings. College Publications.
    In this contribution, we focus on probabilistic problems with a denumerably or non-denumerably infinite number of possible outcomes. Kolmogorov (1933) provided an axiomatic basis for probability theory, presented as a part of measure theory, which is a branch of standard analysis or calculus. Since standard analysis does not allow for non-Archimedean quantities (i.e. infinitesimals), we may call Kolmogorov's approach "Archimedean probability theory". We show that allowing non-Archimedean probability values may have considerable epistemological advantages in the infinite case. The current paper (...)
     
    Export citation  
     
    My bibliography  
  42.  97
    Mathematical Knowledge: Intuition, Visualization, and Understanding.Leon Horsten & Irina Starikova - 2010 - Topoi 29 (1):1-2.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  43.  69
    Review of M. Leng, Mathematics and Reality[REVIEW]L. Horsten - 2011 - Analysis 71 (4):798-799.
  44.  62
    The Church-Turing Thesis and Effective Mundane Procedures.Leon Horsten - 1995 - Minds and Machines 5 (1):1-8.
    We critically discuss Cleland''s analysis of effective procedures as mundane effective procedures. She argues that Turing machines cannot carry out mundane procedures, since Turing machines are abstract entities and therefore cannot generate the causal processes that are generated by mundane procedures. We argue that if Turing machines cannot enter the physical world, then it is hard to see how Cleland''s mundane procedures can enter the world of numbers. Hence her arguments against versions of the Church-Turing thesis for number theoretic functions (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  45.  7
    A Kripkean Approach to Unknowability and Truth.Leon Horsten - 1998 - Notre Dame Journal of Formal Logic 39 (3):389-405.
    We consider a language containing partial predicates for subjective knowability and truth. For this language, inductive hierarchy rules are proposed which build up the extension and anti-extension of these partial predicates in stages. The logical interaction between the extension of the truth predicate and the anti-extension of the knowability predicate is investigated.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  46.  78
    Having an Interpretation. [REVIEW]Leon Horsten - 2010 - Philosophical Studies 150 (3):449 - 459.
    I investigate what it means to have an interpretation of our language, how we manage to bestow a determinate interpretation to our utterances, and to which extent our interpretation of the world is determinate. All this is done in dialogue with van Fraassen's insightful discussion of Putnam's model-theoretic argument and of scientific structuralism.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  47.  19
    Models for the Logic of Possible Proofs.Leon Horsten - 2000 - Pacific Philosophical Quarterly 81 (1):49–66.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  48.  19
    Provability in Principle and Controversial Constructivistic Principles.Leon Horsten - 1997 - Journal of Philosophical Logic 26 (6):635-660.
    New epistemic principles are formulated in the language of Shapiro's system of Epistemic Arithmetic. It is argued that some plausibility can be attributed to these principles. The relations between these principles and variants of controversial constructivistic principles are investigated. Special attention is given to variants of the intuitionistic version of Church's thesis and to variants of Markov's principle.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  49. Mathematical Philosophy?Leon Horsten - 2013 - In Hanne Andersen, Dennis Dieks, Wenceslao González, Thomas Uebel & Gregory Wheeler (eds.), New Challenges to Philosophy of Science. Springer Verlag. pp. 73--86.
    No categories
     
    Export citation  
     
    My bibliography  
  50.  1
    `Contemporary Methods for Investigating the Concept of Truth – An Introduction'.Leon Horsten & Volker Halbach - 2003 - In Leon Horsten & Volker Halbach (eds.), Principles of Truth. De Gruyter. pp. 11-36.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
1 — 50 / 91