Citations of work:

Agustin Rayo & Gabriel Uzquiano (1999). Toward a Theory of Second-Order Consequence.

19 found
Order:
Are we missing citations?

PhilPapers citations & references are currently in beta testing. We expect to add many more in the future.

Meanwhile, you can use our bibliography tool to import references for this or another work.

Or you can directly add citations for the above work:

Search for work by author name and title
Add directly by record ID

  1.  52
    Metalogic and the Overgeneration Argument.Salvatore Florio & Luca Incurvati - 2019 - Mind:1-33.
    A prominent objection against the logicality of second-order logic is the so-called Overgeneration Argument. However, it is far from clear how this argument is to be understood. In the first part of the article, we examine the argument and locate its main source, namely, the alleged entanglement of second-order logic and mathematics. We then identify various reasons why the entanglement may be thought to be problematic. In the second part of the article, we take a metatheoretic perspective on the matter. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  2.  17
    Antireductionism and Ordinals.Beau Madison Mount - 2019 - Philosophia Mathematica 27 (1):105-124.
    I develop a novel argument against the claim that ordinals are sets. In contrast to Benacerraf’s antireductionist argument, I make no use of covert epistemic assumptions. Instead, my argument uses considerations of ontological dependence. I draw on the datum that sets depend immediately and asymmetrically on their elements and argue that this datum is incompatible with reductionism, given plausible assumptions about the dependence profile of ordinals. In addition, I show that a structurally similar argument can be made against the claim (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3. On the Innocence and Determinacy of Plural Quantification.Salvatore Florio & Øystein Linnebo - 2016 - Noûs 50 (3):565–583.
    Plural logic is widely assumed to have two important virtues: ontological innocence and determinacy. It is claimed to be innocent in the sense that it incurs no ontological commitments beyond those already incurred by the first-order quantifiers. It is claimed to be determinate in the sense that it is immune to the threat of non-standard interpretations that confronts higher-order logics on their more traditional, set-based semantics. We challenge both claims. Our challenge is based on a Henkin-style semantics for plural logic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  65
    Replies to King, deRosset and Kment.Timothy Williamson - 2016 - Analysis 76 (2):201-222.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5. When Do Some Things Form a Set?Simon Hewitt - 2015 - Philosophia Mathematica 23 (3):311-337.
    This paper raises the question under what circumstances a plurality forms a set, parallel to the Special Composition Question for mereology. The range of answers that have been proposed in the literature are surveyed and criticised. I argue that there is good reason to reject both the view that pluralities never form sets and the view that pluralities always form sets. Instead, we need to affirm restricted set formation. Casting doubt on the availability of any informative principle which will settle (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  79
    Somehow Things Do Not Relate: On the Interpretation of Polyadic Second-Order Logic.Marcus Rossberg - 2015 - Journal of Philosophical Logic 44 (3):341-350.
    Boolos has suggested a plural interpretation of second-order logic for two purposes: to escape Quine’s allegation that second-order logic is set theory in disguise, and to avoid the paradoxes arising if the second-order variables are given a set-theoretic interpretation in second-order set theory. Since the plural interpretation accounts only for monadic second-order logic, Rayo and Yablo suggest an new interpretation for polyadic second-order logic in a Boolosian spirit. The present paper argues that Rayo and Yablo’s interpretation does not achieve the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7. Unrestricted Quantification.Salvatore Florio - 2014 - Philosophy Compass 9 (7):441-454.
    Semantic interpretations of both natural and formal languages are usually taken to involve the specification of a domain of entities with respect to which the sentences of the language are to be evaluated. A question that has received much attention of late is whether there is unrestricted quantification, quantification over a domain comprising absolutely everything there is. Is there a discourse or inquiry that has absolute generality? After framing the debate, this article provides an overview of the main arguments for (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  57
    Semantic Values in Higher-Order Semantics.Stephan Krämer - 2014 - Philosophical Studies 168 (3):709-724.
    Recently, some philosophers have argued that we should take quantification of any (finite) order to be a legitimate and irreducible, sui generis kind of quantification. In particular, they hold that a semantic theory for higher-order quantification must itself be couched in higher-order terms. Øystein Linnebo has criticized such views on the grounds that they are committed to general claims about the semantic values of expressions that are by their own lights inexpressible. I show that Linnebo’s objection rests on the assumption (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9. Non-Classical Metatheory for Non-Classical Logics.Andrew Bacon - 2013 - Journal of Philosophical Logic 42 (2):335-355.
    A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper is (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  10. Logic, Metalogic and Neutrality.Timothy Williamson - 2013 - Erkenntnis (S2):1-21.
    The paper is a critique of the widespread conception of logic as a neutral arbiter between metaphysical theories, one that makes no `substantive’ claims of its own (David Kaplan and John Etchemendy are two recent examples). A familiar observation is that virtually every putatively fundamental principle of logic has been challenged over the last century on broadly metaphysical grounds (however mistaken), with a consequent proliferation of alternative logics. However, this apparent contentiousness of logic is often treated as though it were (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  11. Which Abstraction Principles Are Acceptable? Some Limitative Results.Øystein Linnebo & Gabriel Uzquiano - 2009 - British Journal for the Philosophy of Science 60 (2):239-252.
    Neo-Fregean logicism attempts to base mathematics on abstraction principles. Since not all abstraction principles are acceptable, the neo-Fregeans need an account of which ones are. One of the most promising accounts is in terms of the notion of stability; roughly, that an abstraction principle is acceptable just in case it is satisfiable in all domains of sufficiently large cardinality. We present two counterexamples to stability as a sufficient condition for acceptability and argue that these counterexamples can be avoided only by (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  12.  1
    II-The Last Dogma of Type Confusions.Ofra Magidor - 2009 - Proceedings of the Aristotelian Society 109 (1pt1):1-29.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13. The Last Dogma of Type Confusions.Ofra Magidor - 2009 - Proceedings of the Aristotelian Society 109 (1pt1):1-29.
    In this paper I discuss a certain kind of 'type confusion' which involves use of expressions of the wrong grammatical category, as in the string 'runs eats'. It is (nearly) universally accepted that such strings are meaningless. My purpose in this paper is to question this widespread assumption (or as I call it, 'the last dogma'). I discuss a range of putative reasons for accepting the last dogma: in §II, semantic and metaphysical reasons; in §III, logical reasons; and in §IV, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  60
    Bad Company Generalized.Gabriel Uzquiano - 2009 - Synthese 170 (3):331 - 347.
    The paper is concerned with the bad company problem as an instance of a more general difficulty in the philosophy of mathematics. The paper focuses on the prospects of stability as a necessary condition on acceptability. However, the conclusion of the paper is largely negative. As a solution to the bad company problem, stability would undermine the prospects of a neo-Fregean foundation for set theory, and, as a solution to the more general difficulty, it would impose an unreasonable constraint on (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15. Ontological Commitment.Agustín Rayo - 2007 - Philosophy Compass 2 (3):428–444.
    I propose a way of thinking aboout content, and a related way of thinking about ontological commitment. (This is part of a series of four closely related papers. The other three are ‘On Specifying Truth-Conditions’, ‘An Actualist’s Guide to Quantifying In’ and ‘An Account of Possibility’.).
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  16. Plurals.Agustín Rayo - 2007 - Philosophy Compass 2 (3):411–427.
    Forthcoming in Philosophical Compass. I explain why plural quantifiers and predicates have been thought to be philosophically significant.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17. The Price of Universality.Gabriel Uzquiano - 2006 - Philosophical Studies 129 (1):137-169.
    I present a puzzle for absolutely unrestricted quantification. One important advantage of absolutely unrestricted quantification is that it allows us to entertain perfectly general theories. Whereas most of our theories restrict attention to one or another parcel of reality, other theories are genuinely comprehensive taking absolutely all objects into their domain. The puzzle arises when we notice that absolutely unrestricted theories sometimes impose incompatible constraints on the size of the universe.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  18.  50
    Tarski?S Staggering Existential Assumptions.V. Mcgee - 2005 - Synthese 142 (3):371-387.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  19. Plural Quantification Exposed.Øystein Linnebo - 2003 - Noûs 37 (1):71–92.
    This paper criticizes George Boolos's famous use of plural quantification to argue that monadic second-order logic is pure logic. I deny that plural quantification qualifies as pure logic and express serious misgivings about its alleged ontological innocence. My argument is based on an examination of what is involved in our understanding of the impredicative plural comprehension schema.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   24 citations