Search results for 'substitutional quantification' (try it on Scholar)

1000+ found
Sort by:
  1. Universally Free First Order Quantification (forthcoming). A Note on Universally Free First Order Quantification Theory Ap Rao. Logique Et Analyse.score: 120.0
    No categories
     
    My bibliography  
     
    Export citation  
  2. Philip Hugly & Charles Sayward (1987). Why Substitutional Quantification Does Not Express Existence. Theory and Decision 50:67-75.score: 90.0
    Fundamental to Quine’s philosophy of logic is the thesis that substitutional quantification does not express existence. This paper considers the content of this claim and the reasons for thinking it is true.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  3. Philip Hugly & Charles Sayward (1982). Indenumerability and Substitutional Quantification. Notre Dame Journal of Formal Logic 23 (4):358-366.score: 90.0
    We here establish two theorems which refute a pair of what we believe to be plausible assumptions about differences between objectual and substitutional quantification. The assumptions (roughly stated) are as follows: (1) there is at least one set d and denumerable first order language L such that d is the domain set of no interpretation of L in which objectual and substitutional quantification coincide. (2) There exist interpreted, denumerable, first order languages K with indenumerable domains such (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Geoff Georgi (forthcoming). A Propositional Semantics for Substitutional Quantification. Philosophical Studies:1-18.score: 90.0
    The standard truth-conditional semantics for substitutional quantification, due to Saul Kripke, does not specify what proposition is expressed by sentences containing the particular substitutional quantifier. In this paper, I propose an alternative semantics for substitutional quantification that does. The key to this semantics is identifying an appropriate propositional function to serve as the content of a bound occurrence of a formula containing a free substitutional variable. I apply this semantics to traditional philosophical reasons for (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Philip Hugly & Charles Sayward (2002). There Is A Problem with Substitutional Quantification. Theoria 68 (1):4-12.score: 87.0
    Whereas arithmetical quantification is substitutional in the sense that a some-quantification is true only if some instance of it is true, it does not follow (and, in fact, is not true) that an account of the truth-conditions of the sentences of the language of arithmetic can be given by a substitutional semantics. A substitutional semantics fails in a most fundamental fashion: it fails to articulate the truth-conditions of the quantifications with which it is concerned. This (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. T. S. Weston (1974). Theories Whose Quantification Cannot Be Substitutional. Noûs 8 (4):361-369.score: 66.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  7. Saul A. Kripke (1976). Is There a Problem About Substitutional Quantification? In Gareth Evans & John McDowell (eds.), Truth and Meaning. Oxford University Press. 324-419.score: 45.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  8. Martin Davies (1980). A Note on Substitutional Quantification. Noûs 14 (4):619-622.score: 45.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. Peter Inwagen (1981). Why I Don't Understand Substitutional Quantification. Philosophical Studies 39 (3):281 - 285.score: 45.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. Charles Parsons (1971). A Plea for Substitutional Quantification. Journal of Philosophy 68 (8):231-237.score: 45.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. Michael Hand (1992). Meaning, Truth-Conditions, and Substitutional Quantification. Philosophical Studies 68 (2):195 - 216.score: 45.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. Charles Parsons (1976). Much Ado About Substitutional Quantification. Journal of Philosophy 73 (18):651-653.score: 45.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Charles Parsons (1982). Substitutional Quantification and Mathematics. [REVIEW] British Journal for the Philosophy of Science 33 (4):409-421.score: 45.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  14. Dale Gottlieb & Timothy McCarthy (1979). Substitutional Quantification and Set Theory. Journal of Philosophical Logic 8 (1):315 - 331.score: 45.0
  15. Gilbert Harman (1971). Substitutional Quantification and Quotation. Noûs 5 (2):213-214.score: 45.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  16. John Wallace (1971). Convention T and Substitutional Quantification. Noûs 5 (2):199-211.score: 45.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  17. H. A. Lewis (1985). Substitutional Quantification and Nonstandard Quantifiers. Noûs 19 (3):447-451.score: 45.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  18. B. J. Copeland (1985). Substitutional Quantification and Existence. Analysis 45 (1):1 - 4.score: 45.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  19. R. D. Gallie (1974). A. N. Prior and Substitutional Quantification. Analysis 34 (3):65 - 69.score: 45.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  20. R. D. Gallie (1975). Substitutionalism and Substitutional Quantification. Analysis 35 (3):97 - 101.score: 45.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  21. Guido Küng & John Thomas Canty (1970). Substitutional Quantification and Le'sniewskian Quantifiers. Theoria 36 (2):165-182.score: 45.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  22. Charles Parsons (1982). Review: Substitutional Quantification and Mathematics. [REVIEW] British Journal for the Philosophy of Science 33 (4):409 - 421.score: 45.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  23. L. Jonathan Cohen (1974). Roger Gallie and Substitutional Quantification. Analysis 34 (3):69 - 73.score: 45.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  24. Dale Gottlieb (1980). Ontological Economy: Substitutional Quantification and Mathematics. Oxford University Press.score: 45.0
  25. Mary Tiles (1982). Ontological Economy: Substitutional Quantification and Mathematics. Philosophical Books 23 (2):90-94.score: 45.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  26. T. S. Weston (1982). Review: Dale Gottlieb, Ontological Economy: Substitutional Quantification and Mathematics. [REVIEW] Journal of Symbolic Logic 47 (2):473-475.score: 45.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  27. Bartosz Więckowski (2010). Associative Substitutional Semantics and Quantified Modal Logic. Studia Logica 94 (1):105 - 138.score: 42.0
    The paper presents an alternative substitutional semantics for first-order modal logic which, in contrast to traditional substitutional (or truth-value) semantics, allows for a fine-grained explanation of the semantical behavior of the terms from which atomic formulae are composed. In contrast to denotational semantics, which is inherently reference-guided, this semantics supports a non-referential conception of modal truth and does not give rise to the problems which pertain to the philosophical interpretation of objectual domains (concerning, e.g., possibilia or trans-world identity). (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  28. James E. Tomberlin (1997). Quantification: Objectual or Substitutional? Philosophical Issues 8:155-167.score: 36.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  29. Andrea Iacona (2004). Modal Predicates. Australasian Journal of Logic (2):56-69.score: 36.0
    Despite the wide acceptance of standard modal logic, there has always been a temptation to think that ordinary modal discourse may be correctly analyzed and adequately represented in terms of predicates rather than in terms of operators. The aim of the formal model outlined in this paper is to capture what I take to be the only plausible sense in which ‘possible’ and ‘necessary’ can be treated as predicates. The model is built by enriching the language of standard modal logic (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. Berit Brogaard (2008). Inscrutability and Ontological Commitment. Philosophical Studies 141 (1):21 - 42.score: 33.0
    There are two doctrines for which Quine is particularly well known: the doctrine of ontological commitment and the inscrutability thesis—the thesis that reference and quantification are inscrutable. At first glance, the two doctrines are squarely at odds. If there is no fact of the matter as to what our expressions refer to, then it would appear that no determinate commitments can be read off of our best theories. We argue here that the appearance of a clash between the two (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  31. Arvid Båve (2013). Formulating Deflationism. Synthese 190 (15):3287-3305.score: 30.0
    I here argue for a particular formulation of truth-deflationism, namely, the propositionally quantified formula, (Q) “For all p, ${\langle \text{p}\rangle}$ is true iff p”. The main argument consists of an enumeration of the other (five) possible formulations and criticisms thereof. Notably, Horwich’s Minimal Theory is found objectionable in that it cannot be accepted by finite beings. Other formulations err in not providing non-questionbegging, sufficiently direct derivations of the T-schema instances. I end by defending (Q) against various objections. In particular, I (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  32. Philip Hugly & Charles Sayward (1991). Prior and Lorenzen on Quantification. Grazer Philosophishe Studien 41:150-173.score: 27.0
    A case against Prior’s theory of propositions goes thus: (1) everyday propositional generalizations are not substitutional; (2) Priorean quantifications are not objectual; (3) quantifications are substitutional if not objectual; (4) thus, Priorean quantifications are substitutional; (5) thus that Priorean quantifications are not ontologically committed to propositions provides no basis for a similar claim about our everyday propositional generalizations. Prior agrees with (1) and (2). He rejects (3), but fails to support that rejection with an account of (...) on which there could be quantifications that are neither substitutional nor objectual. The paper draws from the work of Lorenzen an alternative conception of quantification in terms of which that needed account can be given. (shrink)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  33. Marian David (2006). A Substitutional Theory of Truth? [REVIEW] Philosophy and Phenomenological Research 72 (1):182–189.score: 24.0
    Contribution to book symposium on C. Hill's: Thought and World. Focus is primarily on the intelligibility of Hill's substitutional quantification into propositions.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  34. Burnham Terrell (1978). Quantification and Brentano's Logic. Grazer Philosophische Studien 5:45-65.score: 24.0
    Brentano's innovations in logical theory are considered in the context of his descriptive psychology, with its distinction between differences in quality and in object of mental phenomena. Objections are raised to interpretations that depend on a parallel between Urteil and assertion of a proposition. A more appropriate parallel is drawn between the assertion as subject to description in a metalanguage and the Urteil as secondary object in inner perception. This parallel is then applied so as to suggest a reinterpretation of (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  35. Terrell Dailey Burnham (1978). Quantification and Brentano's Logic. Grazer Philosophische Studien 5:45-66.score: 24.0
    Brentano's innovations in logical theory are considered in the context of his descriptive psychology, with its distinction between differences in quality and in object of mental phenomena. Objections are raised to interpretations that depend on a parallel between Urteil and assertion of a proposition. A more appropriate parallel is drawn between the assertion as subject to description in a metalanguage and the Urteil as secondary object in inner perception. This parallel is then applied so as to suggest a reinterpretation of (...)
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  36. Shaughan Lavine (2000). Quantification and Ontology. Synthese 124 (1-2):1-43.score: 21.0
    Quineans have taken the basic expression of ontological commitment to be an assertion of the form '' x '', assimilated to theEnglish ''there is something that is a ''. Here I take the existential quantifier to be introduced, not as an abbreviation for an expression of English, but via Tarskian semantics. I argue, contrary to the standard view, that Tarskian semantics in fact suggests a quite different picture: one in which quantification is of a substitutional type apparently first (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  37. Daniel Bonevac (1984). Systems of Substitutional Semantics. Philosophy of Science 51 (4):631-656.score: 21.0
    I investigate substitutional interpretations of quantifiers that count existential sentences true just in case they have true instances in a parametric extension of the language. I devise a semantics meeting four criteria: (1) it accounts adequately for natural language quantification; (2) it provides an account of justification in abstract sciences; (3) it constitutes a continuous semantics for natural and formal languages; and (4) it is purely substitutional, containing no appeal to referential interpretations. The prospects for a purely (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  38. David Dolby, The Ineliminability of Non-Nominal Quantification.score: 21.0
    Objectual interpretations of non-nominal quantification seems to offer a non-substitutional treatment of quantification which respects differences of grammatical category in the object language whilst only employing nominal quantification in the metalanguage. I argue that the satisfaction conditions of such interpretations makes use concepts that must themselves be explained through non-nominal quantification. As a result, the interpretation misrepresents the structure of non-nominal quantification and the relationship between nominal and non-nominal forms of generality.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. Thomas F. Baxley (forthcoming). Wittgenstein's Theory of Quantification. International Logic Review.score: 21.0
    The article examines wittgenstein's theory of quantification as it appears in the "tractatus". it is argued that wittgenstein advances a theory of quantification and a theory of generality where most contemporary writers on the subject hold a single theory of quantification incorporating both quantification proper and generality. having established this it is shown that wittgenstein theory of quantification is truth functional and not substitutional as recent authors have suggested.
    Direct download  
     
    My bibliography  
     
    Export citation  
  40. Øystein Linnebo, Plural Quantification. Stanford Encyclopedia of Philosophy.score: 18.0
    Ordinary English contains different forms of quantification over objects. In addition to the usual singular quantification, as in 'There is an apple on the table', there is plural quantification, as in 'There are some apples on the table'. Ever since Frege, formal logic has favored the two singular quantifiers ∀x and ∃x over their plural counterparts ∀xx and ∃xx (to be read as for any things xx and there are some things xx). But in recent decades it (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  41. Ori Simchen (2010). Polyadic Quantification Via Denoting Concepts. Notre Dame Journal of Formal Logic 51 (3):373-381.score: 18.0
    The question of the origin of polyadic expressivity is explored and the results are brought to bear on Bertrand Russell's 1903 theory of denoting concepts, which is the main object of criticism in his 1905 "On Denoting." It is shown that, appearances to the contrary notwithstanding, the background ontology of the earlier theory of denoting enables the full-blown expressive power of first-order polyadic quantification theory without any syntactic accommodation of scopal differences among denoting phrases such as 'all φ', 'every (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  42. Philip Hugly & Charles Sayward (1981). Bound Variables and Schematic Letters. Logique Et Analyse 95:425-429.score: 18.0
    The paper purports to show, against Quine, that one can construct a language , which results from the extension of the theory of truth functions by introducing sentence letter quantification. Next a semantics is provided for this language. It is argued that the quantification is neither substitutional nor requires one to consider the sentence letters as taking entities as values.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  43. Philip Percival (2011). Predicate Abstraction, the Limits of Quantification, and the Modality of Existence. Philosophical Studies 156 (3):389-416.score: 18.0
    For various reasons several authors have enriched classical first order syntax by adding a predicate abstraction operator. “Conservatives” have done so without disturbing the syntax of the formal quantifiers but “revisionists” have argued that predicate abstraction motivates the universal quantifier’s re-classification from an expression that combines with a variable to yield a sentence from a sentence, to an expression that combines with a one-place predicate to yield a sentence. My main aim is to advance the cause of predicate abstraction while (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  44. Friederike Moltmann (forthcoming). Quantification with Intentional and with Intensional Verbs. In Alessandro Torza (ed.), Quantifiers, Quantifiers, Quantifiers. Springer.score: 18.0
    The question whether natural language permits quantification over intentional objects as the ‘nonexistent’ objects of thought is the topic of a major philosophical controversy, as is the status of intentional objects as such. This paper will argue that natural language does reflect a particular notion of intentional object and in particular that certain types of natural language constructions (generally disregarded in the philosophical literature) cannot be analysed without positing intentional objects. At the same time, those intentional objects do not (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  45. Massimiliano Carrara & Enrico Martino (2011). On the Infinite in Mereology with Plural Quantification. Review of Symbolic Logic 4 (1):54-62.score: 18.0
    In Lewis reconstructs set theory using mereology and plural quantification (MPQ). In his recontruction he assumes from the beginning that there is an infinite plurality of atoms, whose size is equivalent to that of the set theoretical universe. Since this assumption is far beyond the basic axioms of mereology, it might seem that MPQ do not play any role in order to guarantee the existence of a large infinity of objects. However, we intend to demonstrate that mereology and plural (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  46. Friederike Moltmann (2003). Nominalizing Quantifiers. Journal of Philosophical Logic 32 (5):445-481.score: 18.0
    Quantified expressions in natural language generally are taken to act like quantifiers in logic, which either range over entities that need to satisfy or not satisfy the predicate in order for the sentence to be true or otherwise are substitutional quantifiers. I will argue that there is a philosophically rather important class of quantified expressions in English that act quite differently, a class that includes something, nothing, and several things. In addition to expressing quantification, such expressions act like (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  47. Takashi Yagisawa (2012). Unrestricted Quantification and Reality: Reply to Kim. [REVIEW] Acta Analytica 27 (1):77-79.score: 18.0
    In my book, Worlds and Individuals, Possible and Otherwise , I use the novel idea of modal tense to respond to a number of arguments against modal realism. Peter van Inwagen’s million-carat-diamond objection is one of them. It targets the version of modal realism by David Lewis and exploits the fact that Lewis accepts absolutely unrestricted quantification. The crux of my response is to use modal tense to neutralize absolutely unrestricted quantification. Seahwa Kim says that even when equipped (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  48. Stephen Donaho (2002). Standard Quantification Theory in the Analysis of English. Journal of Philosophical Logic 31 (6):499-526.score: 18.0
    Standard first-order logic plus quantifiers of all finite orders ("SFOLω") faces four well-known difficulties when used to characterize the behavior of certain English quantifier phrases. All four difficulties seem to stem from the typed structure of SFOLω models. The typed structure of SFOLω models is in turn a product of an asymmetry between the meaning of names and the meaning of predicates, the element-set asymmetry. In this paper we examine a class of models in which this asymmetry of meaning is (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  49. Mark Textor (2005). Truth Via Sentential Quantification. Dialogue 44 (3):539-550.score: 18.0
    This paper is a critical evaluation of Kuenne's attempt to define truth via quantification into the position of a sentence.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  50. Andrea Iacona (forthcoming). Quantification and Logical Form. In Alessandro Torza (ed.), Quantifiers, Quantifiers, and Quantifiers. Springer.score: 18.0
    This paper deals with the logical form of quantified sentences. Its purpose is to elucidate one plausible sense in which quantified sentences can adequately be represented in the language of first-order logic. Section 1 introduces some basic notions drawn from general quantification theory. Section 2 outlines a crucial assumption, namely, that logical form is a matter of truth-conditions. Section 3 shows how the truth-conditions of quantified sentences can be represented in the language of first-order logic consistently with some established (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000