Switch to: References

Add citations

You must login to add citations.
  1. Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics.Francesca Boccuni & Andrea Sereni (eds.) - 2016 - Cham, Switzerland: Springer International Publishing.
    This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontological and logical issues interact in the attempt to give a satisfactory picture of mathematical knowledge. The essays collected here explore the semantic and epistemic problems raised by different kinds of mathematical objects, by their characterization in terms of axiomatic theories, and by the objectivity of both pure and applied mathematics. They investigate controversial aspects of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.
    What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...)
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • On A New Semantics for First-Order Predicate Logic.István Németi, Johan Benthem & Hajnal Andréka - 2017 - Journal of Philosophical Logic 46 (3):259-267.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Compositionality Solves Carnap’s Problem.Denis Bonnay & Dag Westerståhl - 2016 - Erkenntnis 81 (4):721-739.
    The standard relation of logical consequence allows for non-standard interpretations of logical constants, as was shown early on by Carnap. But then how can we learn the interpretations of logical constants, if not from the rules which govern their use? Answers in the literature have mostly consisted in devising clever rule formats going beyond the familiar what follows from what. A more conservative answer is possible. We may be able to learn the correct interpretations from the standard rules, because the (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Completeness and Decidability of General First-Order Logic.Aldo Antonelli - 2017 - Journal of Philosophical Logic 46 (3):233-257.
    This paper investigates the “general” semantics for first-order logic introduced to Antonelli, 637–58, 2013): a sound and complete axiom system is given, and the satisfiability problem for the general semantics is reduced to the satisfiability of formulas in the Guarded Fragment of Andréka et al. :217–274, 1998), thereby showing the former decidable. A truth-tree method is presented in the Appendix.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On A New Semantics for First-Order Predicate Logic.István Németi, Johan van Benthem & Hajnal Andréka - 2017 - Journal of Philosophical Logic 46 (3):259-267.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Necessarily Maybe. Quantifiers, Modality and Vagueness.Alessandro Torza - 2015 - In Quantifiers, Quantifiers, and Quantifiers. Themes in Logic, Metaphysics and Language. (Synthese Library vol 373). Springer. pp. 367-387.
    Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Life on the Range.G. Aldo Antonelli - 2015 - In A. Torza (ed.), Quantifiers, Quantifiers, and Quantifiers. Synthese LIbrary. pp. 171-189.
    Download  
     
    Export citation  
     
    Bookmark   1 citation