Switch to: References

Citations of:

The Oxford Handbook of Philosophy of Mathematics and Logic

Oxford University Press (2005)

Add citations

You must login to add citations.
  1. Scientific Phenomena and Patterns in Data.Pascal Ströing - 2018 - Dissertation, LMU München
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Philosophy of Mathematics.Jeremy Avigad - manuscript
    The philosophy of mathematics plays an important role in analytic philosophy, both as a subject of inquiry in its own right, and as an important landmark in the broader philosophical landscape. Mathematical knowledge has long been regarded as a paradigm of human knowledge with truths that are both necessary and certain, so giving an account of mathematical knowledge is an important part of epistemology. Mathematical objects like numbers and sets are archetypical examples of abstracta, since we treat such objects in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Objects and Objectivity : Alternatives to Mathematical Realism.Ebba Gullberg - 2011 - Dissertation, Umeå Universitet
    This dissertation is centered around a set of apparently conflicting intuitions that we may have about mathematics. On the one hand, we are inclined to believe that the theorems of mathematics are true. Since many of these theorems are existence assertions, it seems that if we accept them as true, we also commit ourselves to the existence of mathematical objects. On the other hand, mathematical objects are usually thought of as abstract objects that are non-spatiotemporal and causally inert. This makes (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  • The Interactivist Model.Mark H. Bickhard - 2009 - Synthese 166 (3):547 - 591.
    A shift from a metaphysical framework of substance to one of process enables an integrated account of the emergence of normative phenomena. I show how substance assumptions block genuine ontological emergence, especially the emergence of normativity, and how a process framework permits a thermodynamic-based account of normative emergence. The focus is on two foundational forms of normativity, that of normative function and of representation as emergent in a particular kind of function. This process model of representation, called interactivism, compels changes (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  • Formal and Informal Consequence.Owen Griffiths - 2014 - Thought: A Journal of Philosophy 3 (1):9-20.
    The now standard definition of logical consequence is model-theoretic. Many writers have tried to justify, or to criticise, the model-theoretic definition by arguing that it extensionally captures, or fails to capture, our intuitions about logical consequence, such as its modal character or its being truth-preservation in virtue of form. One popular means of comparing the extension of model-theoretic consequence with some intuitive notion proceeds by adapting Kreisel's squeezing argument. But these attempts get Kreisel wrong, and try to achieve more than (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Validity, the Squeezing Argument and Alternative Semantic Systems: The Case of Aristotelian Syllogistic. [REVIEW]Andrade-Lotero Edgar & Novaes Catarina Dutilh - 2012 - Journal of Philosophical Logic 41 (2):387 - 418.
    We investigate the philosophical significance of the existence of different semantic systems with respect to which a given deductive system is sound and complete. Our case study will be Corcoran's deductive system D for Aristotelian syllogistic and some of the different semantic systems for syllogistic that have been proposed in the literature. We shall prove that they are not equivalent, in spite of D being sound and complete with respect to each of them. Beyond the specific case of syllogistic, the (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Development of Legal Probability: Shades of Guilt.Anthony Shannon - 2016 - Metascience 25 (1):115-118.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Omnipresence, Multipresence and Ubiquity: Kinds of Generality in and Around Mathematics and Logics. [REVIEW]I. Grattan-Guinness - 2011 - Logica Universalis 5 (1):21-73.
    A prized property of theories of all kinds is that of generality, of applicability or least relevance to a wide range of circumstances and situations. The purpose of this article is to present a pair of distinctions that suggest that three kinds of generality are to be found in mathematics and logics, not only at some particular period but especially in developments that take place over time: ‘omnipresent’ and ‘multipresent’ theories, and ‘ubiquitous’ notions that form dependent parts, or moments, of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Carnapian Explication, Formalisms as Cognitive Tools, and the Paradox of Adequate Formalization.Catarina Dutilh Novaes & Erich Reck - 2017 - Synthese 194 (1):195-215.
    Explication is the conceptual cornerstone of Carnap’s approach to the methodology of scientific analysis. From a philosophical point of view, it gives rise to a number of questions that need to be addressed, but which do not seem to have been fully addressed by Carnap himself. This paper reconsiders Carnapian explication by comparing it to a different approach: the ‘formalisms as cognitive tools’ conception. The comparison allows us to discuss a number of aspects of the Carnapian methodology, as well as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Models and Logical Consequence.Gil Sagi - 2014 - Journal of Philosophical Logic 43 (5):943-964.
    This paper deals with the adequacy of the model-theoretic definition of logical consequence. Logical consequence is commonly described as a necessary relation that can be determined by the form of the sentences involved. In this paper, necessity is assumed to be a metaphysical notion, and formality is viewed as a means to avoid dealing with complex metaphysical questions in logical investigations. Logical terms are an essential part of the form of sentences and thus have a crucial role in determining logical (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Reinflating Logical Consequence.Owen Griffiths - 2012 - Journal of Philosophical Logic (1):1-9.
    Shapiro (Philos Q 61:320–342, 2011) argues that, if we are deflationists about truth, we should be deflationists about logical consequence. Like the truth predicate, he claims, the logical consequence predicate is merely a device of generalisation and more substantial characterisation, e.g. proof- or model-theoretic, is mistaken. I reject his analogy between truth and logical consequence and argue that, by appreciating how the logical consequence predicate is used as well as the goals of proof theory and model theory, we can be (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark