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

1000+ found
Sort by:
  1. Philip Hugly & Charles Sayward (1987). Why Substitutional Quantification Does Not Express Existence. Theory and Decision 50:67-75.score: 180.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  
  2. Philip Hugly & Charles Sayward (1982). Indenumerability and Substitutional Quantification. Notre Dame Journal of Formal Logic 23 (4):358-366.score: 180.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  
  3. Geoff Georgi (forthcoming). A Propositional Semantics for Substitutional Quantification. Philosophical Studies:1-18.score: 180.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  
  4. Philip Hugly & Charles Sayward (2002). There Is A Problem with Substitutional Quantification. Theoria 68 (1):4-12.score: 174.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  
  5. T. S. Weston (1974). Theories Whose Quantification Cannot Be Substitutional. Noûs 8 (4):361-369.score: 132.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. 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  
  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: 90.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: 90.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: 90.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: 90.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: 90.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: 90.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: 90.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: 90.0
  15. John Wallace (1971). Convention T and Substitutional Quantification. Noûs 5 (2):199-211.score: 90.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  16. Gilbert Harman (1971). Substitutional Quantification and Quotation. Noûs 5 (2):213-214.score: 90.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: 90.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  18. B. J. Copeland (1985). Substitutional Quantification and Existence. Analysis 45 (1):1 - 4.score: 90.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  19. R. D. Gallie (1975). Substitutionalism and Substitutional Quantification. Analysis 35 (3):97 - 101.score: 90.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  20. R. D. Gallie (1974). A. N. Prior and Substitutional Quantification. Analysis 34 (3):65 - 69.score: 90.0
    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: 90.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: 90.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: 90.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  24. Dale Gottlieb (1980). Ontological Economy: Substitutional Quantification and Mathematics. Oxford University Press.score: 90.0
  25. Mary Tiles (1982). Ontological Economy: Substitutional Quantification and Mathematics. Philosophical Books 23 (2):90-94.score: 90.0
    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: 90.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: 84.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: 72.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  29. Andrea Iacona (2004). Modal Predicates. Australasian Journal of Logic (2):56-69.score: 72.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: 66.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: 60.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: 54.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: 48.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: 48.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: 48.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: 42.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: 42.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: 42.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: 42.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. Philip Hugly & Charles Sayward (1981). Bound Variables and Schematic Letters. Logique Et Analyse 95:425-429.score: 36.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  
  41. Friederike Moltmann (2003). Nominalizing Quantifiers. Journal of Philosophical Logic 32 (5):445-481.score: 36.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  
  42. Rafal Urbaniak (2013). Plural Quantifiers: A Modal Interpretation. Synthese:1-22.score: 36.0
    One of the standard views on plural quantification is that its use commits one to the existence of abstract objects–sets. On this view claims like ‘some logicians admire only each other’ involve ineliminable quantification over subsets of a salient domain. The main motivation for this view is that plural quantification has to be given some sort of semantics, and among the two main candidates—substitutional and set-theoretic—only the latter can provide the language of plurals with the desired (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  43. Graham Priest (1983). An Anti-Realist Account of Mathematical Truth. Synthese 57 (1):49 - 65.score: 30.0
    The paper gives a semantics for naive (inconsistent) set theory in terms of substitutional quantification. Soundness is proved in an appendix. In the light of this construction, Several philosophical issues are discussed, Including mathematical necessity and the set theoretic paradoxes. Most importantly, It is argued, These semantics allow for a nominalist account of mathematical truth not committed to the existence of a domain of abstract entities.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  44. Mark Lance (1996). Quantification, Substitution, and Conceptual Content. Noûs 30 (4):481-507.score: 30.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  45. Francesca Boccuni (2013). Plural Logicism. Erkenntnis 78 (5):1051-1067.score: 30.0
    PG (Plural Grundgesetze) is a consistent second-order system which is aimed to derive second-order Peano arithmetic. It employs the notion of plural quantification and a few Fregean devices, among which the infamous Basic Law V. George Boolos’ plural semantics is replaced with Enrico Martino’s Acts of Choice Semantics (ACS), which is developed from the notion of arbitrary reference in mathematical reasoning. Also, substitutional quantification is exploited to interpret quantification into predicate position. ACS provides a form of (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  46. Charles F. Kielkopf (1977). Quantifiers in Ontology. Studia Logica 36 (4):301-307.score: 30.0
    This paper is a reaction to G. Küng's and J. T. Canty's Substitutional Quantification and Leniewskian quantifiers'Theoria 36 (1970), 165–182. I reject their arguments that quantifiers in Ontology cannot be referentially interpreted but I grant that there is what can be called objectual — referential interpretation of quantifiers and that because of the unrestricted quantification in Ontology the quantifiers in Ontology should not be given a so-called objectual-referential interpretation. I explain why I am in agreement with Küng (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  47. Edward Martin (1982). Referentiality in Frege'sgrundgesetze. History and Philosophy of Logic 3 (2):151-164.score: 30.0
    In ??28-31 of his Grundgesetze der Arithmetik, Frege forwards a demonstration that every correctly formed name of his formal language has a reference. Examination of this demonstration, it is here argued, reveals an incompleteness in a procedure of contextual definition. At the heart of this incompleteness is a difference between Frege?s criteria of referentiality and the possession of reference as it is ordinarily conceived. This difference relates to the distinction between objectual and substitutional quantification and Frege?s vacillation between (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  48. R. A. Bull (1970). An Approach to Tense Logic. Theoria 36 (3):282-300.score: 24.0
    The author's motivation for constructing the calculi of this paper\nis so that time and tense can be "discussed together in the same\nlanguage" (p. 282). Two types of enriched propositional caluli for\ntense logic are considered, both containing ordinary propositional\nvariables for which any proposition may be substituted. One type\nalso contains "clock-propositional" variables, a,b,c, etc., for\nwhich only clock-propositional variables may be substituted and that\ncorrespond to instants or moments in the semantics. The other type\nalso contains "history-propositional" variables, u,v,w, etc., for\nwhich only history-propositional variables may (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  49. Philip Hugly & Charles Sayward (1994). Quantifying Over the Reals. Synthese 101 (1):53 - 64.score: 24.0
    Peter Geach proposed a substitutional construal of quantification over thirty years ago. It is not standardly substitutional since it is not tied to those substitution instances currently available to us; rather, it is pegged to possible substitution instances. We argue that (i) quantification over the real numbers can be construed substitutionally following Geach's idea; (ii) a price to be paid, if it is that, is intuitionism; (iii) quantification, thus conceived, does not in itself relieve us (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  50. Philip Hugly & Charles Sayward (1996). Intentionality and Truth: An Essay on the Philosophy of Arthur Prior. kluwer.score: 24.0
    This book says Prior claims: (1) that a sentence never names; (2) what a sentence says cannot be otherwise signified; and (3) that a sentence says what it says whatever the type of its occurrence; (4) and that quantifications binding sentential variables are neither eliminable, substitutional, nor referential. The book develops and defends (1)-(3). It also defends (4) against the sorts of strictures on quantification of such philosophers as Quine and Davidson.
    Translate to English
    | Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000