Switch to: References

Add citations

You must login to add citations.
  1. Counterfactuals, Correlatives, and Disjunction.Luis Alonso-Ovalle - 2009 - Linguistics and Philosophy 32 (2):207-244.
    The natural interpretation of counterfactuals with disjunctive antecedents involves selecting from each of the disjuncts the worlds that come closest to the world of evaluation. It has been long noticed that capturing this interpretation poses a problem for a minimal change semantics for counterfactuals, because selecting the closest worlds from each disjunct requires accessing the denotation of the disjuncts from the denotation of the disjunctive antecedent, which the standard boolean analysis of or does not allow (Creary and Hill, Philosophy of (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  • Combining Montague Semantics and Discourse Representation.Reinhard Muskens - 1996 - Linguistics and Philosophy 19 (2):143 - 186.
    This paper embeds the core part of Discourse Representation Theory in the classical theory of types plus a few simple axioms that allow the theory to express key facts about variables and assignments on the object level of the logic. It is shown how the embedding can be used to combine core analyses of natural language phenomena in Discourse Representation Theory with analyses that can be obtained in Montague Semantics.
    Direct download (13 more)  
     
    Export citation  
     
    Bookmark   65 citations  
  • Predication Versus Membership in the Distinction Between Logic as Language and Logic as Calculus.Nino Cocchiarella - 1988 - Synthese 77 (1):37 - 72.
  • Semantics and Truth Relative to a World.Michael Glanzberg - 2009 - Synthese 166 (2):281-307.
    This paper argues that relativity of truth to a world plays no significant role in empirical semantic theory, even as it is done in the model-theoretic tradition relying on intensional type theory. Some philosophical views of content provide an important notion of truth at a world, but they do not constrain the empirical domain of semantic theory in a way that makes this notion empirically significant. As an application of this conclusion, this paper shows that a potential motivation for relativism (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  • A Logical Calculus of Meaning and Synonymy.Yiannis Nicholas Moschovakis - 2005 - Linguistics and Philosophy 29 (1):27 - 89.
  • Intension, Extension, and the Model of Belief and Knowledge in Economics.Ivan Moscati - 2012 - Erasmus Journal for Philosophy and Economics 5 (2):1.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Compositionality in Focus.Anna Szabolcsi - 1982 - Folia Linguistica Europea 15:141-162.
    I believe that the validity of [the Fregean principle of compositionality] is beyond doubt and thus any grammar, whether organized to reflect [it] directly or not, may ultimately be required to satisfy it. One of the systems that are precisely designed to reflect [it] is Montague Grammar, where, technical details aside, it is realized as follows: (2) a. Sentences are composed by putting their constituents together step by step, with no subsequent rearrangement; b. Not only each lexical item but also (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Categorial Grammar and Discourse Representation Theory.Reinhard Muskens - 1994 - In Proceedings of COLING 94. Kyoto: pp. 508-514.
    In this paper it is shown how simple texts that can be parsed in a Lambek Categorial Grammar can also automatically be provided with a semantics in the form of a Discourse Representation Structure in the sense of Kamp [1981]. The assignment of meanings to texts uses the Curry-Howard-Van Benthem correspondence.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Do We Need Two Basic Types?Barbara Partee - manuscript
    In a provocative book, Andrew Carstairs- McCarthy argues that the apparently universal distinction in human languages between sentences and noun phrases cannot be assumed to be inevitable for languages with the expressive power of human languages, but needs explaining. His work suggests, but does not explicitly state, that there is also no conceptual necessity for the distinction between basic types e and t, a distinction argued for by Frege and carried into formal semantics through the work of Montague. Pragmatic distinctions (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Type-Logical Semantics.Reinhard Muskens - 2011 - Routledge Encyclopedia of Philosophy Online.
    Type-logical semantics studies linguistic meaning with the help of the theory of types. The latter originated with Russell as an answer to the paradoxes, but has the additional virtue that it is very close to ordinary language. In fact, type theory is so much more similar to language than predicate logic is, that adopting it as a vehicle of representation can overcome the mismatches between grammatical form and predicate logical form that were observed by Frege and Russell. The grammatical forms (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • J.L. Austin on Truth and Meaning.David Johnston - unknown
    The thesis presents a development of J. L. Austin's analysis of truth and its accompanying analysis of sentence structure. This involves a discussion and refinement of Austin's notions of the demonstrative and descriptive conventions of language and of the demonstrative and descriptive devices of sentences. The main point of the thesis is that ordinary language must be treated as an historical phenomenon: one that has evolved its more complex features through a long series of variations upon a small number of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Second-Order Abstract Categorial Grammars as Hyperedge Replacement Grammars.Makoto Kanazawa - 2010 - Journal of Logic, Language and Information 19 (2):137-161.
    Second-order abstract categorial grammars (de Groote in Association for computational linguistics, 39th annual meeting and 10th conference of the European chapter, proceedings of the conference, pp. 148–155, 2001) and hyperedge replacement grammars (Bauderon and Courcelle in Math Syst Theory 20:83–127, 1987; Habel and Kreowski in STACS 87: 4th Annual symposium on theoretical aspects of computer science. Lecture notes in computer science, vol 247, Springer, Berlin, pp 207–219, 1987) are two natural ways of generalizing “context-free” grammar formalisms for string and tree (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Semantic Innocence and Substitutivity.Paul Egré - 2007 - In María José Frápolli (ed.), Saying, Meaning and Referring: Essays on François Recanati's Philosophy of Language. Palgrave-Macmillan.
     
    Export citation  
     
    Bookmark  
  • Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic.Sean Walsh - 2016 - Journal of Philosophical Logic 45 (3):277-326.
    This paper sets out a predicative response to the Russell-Myhill paradox of propositions within the framework of Church’s intensional logic. A predicative response places restrictions on the full comprehension schema, which asserts that every formula determines a higher-order entity. In addition to motivating the restriction on the comprehension schema from intuitions about the stability of reference, this paper contains a consistency proof for the predicative response to the Russell-Myhill paradox. The models used to establish this consistency also model other axioms (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Compositionality as an Empirical Problem.David Dowty - 2007 - In Chris Barker & Pauline I. Jacobson (eds.), Direct Compositionality. Oxford University Press. pp. 14--23.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Úvod Do Teoretické Sémantiky.Jaroslav Peregrin - manuscript
    Když jsem v roce 1992 začínal na filosofické fakultě UK přednášet teorii sémantiky, cítil jsem intenzivní potřebu poskytnout studentům nějaký učební text. O překotném vývoji tohoto interdisciplinárního oboru, který odstartovalo v sedmdesátých letech úspěšné “zkřížení logiky s lingvistikou” Richardem Montaguem a dalšími a který se nezpomalil dodnes, totiž v češtině neexistovaly prakticky žádné zprávy (s čestnou výjimkou přístupu tzv. transparentní intenzionální logiky, který byl dílem českého emigranta Pavla Tichého a o kterém u nás psal Pavel Materna). Přehledové publikace, jaké jsou (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Constructions and Concepts.Jaroslav Peregrin - manuscript
    Some twenty years ago, semanticists of natural language came to be overwhelmed by the problem of semantic analysis of belief sentences (and sentences reporting other kinds of propositional attitudes): the trouble was that sentences of the shapes X believes that A and X believes that B appeared to be able to have different truth values even in cases when A and B shared the same intension, i.e. were, from the viewpoint of intensional semantics, synonymous 1 . Thus, taking intensional semantics (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Quantum Sortal Predicates.D.\'ecio Krause & Steven French - 2007 - Synthese 154 (3):417 - 430.
    Sortal predicates have been associated with a counting process, which acts as a criterion of identity for the individuals they correctly apply to. We discuss in what sense certain types of predicates suggested by quantum physics deserve the title of 'sortal' as well, although they do not characterize either a process of counting or a criterion of identity for the entities that fall under them. We call such predicates 'quantum-sortal predicates' and, instead of a process of counting, to them is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Type-Theoretic Logic with an Operational Account of Intensionality.Shalom Lappin & Chris Fox - 2015 - Synthese 192 (3):563-584.
    We formulate a Curry-typed logic with fine-grained intensionality within Turner’s typed predicate logic. This allows for an elegant presentation of a theory that corresponds to Fox and Lappin’s property theory with curry typing, but without the need for a federation of languages. We then consider how the fine-grained intensionality of this theory can be given an operational interpretation. This interpretation suggests itself as expressions in the theory can be viewed as terms in the untyped lambda-calculus, which provides a model of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Quantified Structures as Barriers for LF Movement.Sigrid Beck - 1996 - Natural Language Semantics 4 (1):1-56.
    In this paper I argue for a restriction on certain types of LF movement, which I call ‘wh-related LF movement’. Evidence comes from a number of wh-in-situ constructions in German, such as the scope-marking construction and multiple questions. For semantic reasons, the in situ element in those constructions has to move at LF to either a position reserved for wh-phrases, or even higher up in the structure. The restriction (the Minimal Quantified Structure Constraint, MQSC) is that an intervening quantified expression (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  • Presupposition and Partiality: Back to the Future.David Beaver & Emiel Krahmer - 1998 - Journal of Logic, Language and Information 10 (2):147-182.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Anaphora and the Logic of Change.Reinhard Muskens - 1991 - In Jan Van Eijck (ed.), Logics in AI, Proceedings of JELIA '90, volume 478 of Lecture Notes in Computer Science. Berlin: Springer-Verlag. pp. 412-427.
    This paper shows how the dynamic interpretation of natural language introduced in work by Hans Kamp and Irene Heim can be modeled in classical type logic. This provides a synthesis between Richard Montague's theory of natural language semantics and the work by Kamp and Heim.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Tense and the Logic of Change.Reinhard Muskens - 1995 - In Urs Egli, Peter Pause, Christoph Schwarze, Arnim von Stechow & Götz Wienold (eds.), Lexical Knowledge in the Organization of Language. Amsterdam/Philadelphia: John Benjamins. pp. 147-183.
    In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  • Abstract Objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.
  • A Relational Formulation of the Theory of Types.Reinhard Muskens - 1989 - Linguistics and Philosophy 12 (3):325 - 346.
    This paper developes a relational---as opposed to a functional---theory of types. The theory is based on Hilbert and Bernays' eta operator plus the identity symbol, from which Church's lambda and the other usual operators are then defined. The logic is intended for use in the semantics of natural language.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Hyperfine-Grained Meanings in Classical Logic.Reinhard Muskens - 1991 - Logique Et Analyse 133:159-176.
    This paper develops a semantics for a fragment of English that is based on the idea of `impossible possible worlds'. This idea has earlier been formulated by authors such as Montague, Cresswell, Hintikka, and Rantala, but the present set-up shows how it can be formalized in a completely unproblematic logic---the ordinary classical theory of types. The theory is put to use in an account of propositional attitudes that is `hyperfine-grained', i.e. that does not suffer from the well-known problems involved with (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Syntax and Semantics: An Overview.Arnim von Stechow - 2012 - In Klaus von Heusinger, Claudia Maienborn & Paul Portner (eds.), Semantics: An International Handbook of Natural Language Meaning. De Gruyter Mouton.
  • Temporally Opaque Arguments in Verbs of Creation.Arnim von Stechow - unknown
    Summary Verbs of creation (create, make, paint) are not transparent. The object created does not exist during the event time but only thereafter. We may call this type of opacity temporal opacity. I is to be distinguished from modal opacity, which is found in verbs like owe or seek. (Dowty, 1979) offers two analyses of creation verbs. One analysis predicts that no object of the sort created exists before the time of the creation. The other analysis says that the object (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  • On the Proper Treatment of Tense.Arnim von Stechow - unknown
    This paper is mainly concerned with tense in embedded constructions. I believe that recent research – notably the work by Ogihara (1989) and Abusch (1993) – has contributed much to our better understanding of its semantics. The proposals made by the two authors are, however, still too simplistic in some regards. Among other things, they neglect the interplay of tense with temporal adverbs of quantification and with frame-setters. To get this composition right is a touchstone for every theory of tense (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   17 citations  
  • 1 Introduction.Jean Mark Gawron - unknown
    There are many ways in which language can describe the dependency of one occurrence on another and hence many varieties of conditional construction, including conditionals in ‘if’, ‘when’, ‘since’, and ‘as’, the absolutive conditionals of Stump (1985), and the correlative conditional construction (‘the more, the merrier’) discussed in Fillmore (1986). This paper will be concerned with investigating one species illustrated in (1a) and (1b).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Possible Worlds Semantics and the Liar.Sten Lindström - 2003 - In A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers. pp. 297--314.
  • General Terms, Rigidity and the Trivialization Problem.Genoveva Martí & José Martínez-Fernández - 2011 - Synthese 181 (2):277 - 293.
    We defend the view that defines the rigidity of general terms as sameness of designated universal across possible worlds from the objection that such a characterization is incapable of distinguishing rigid from non-rigid readings of general terms and, thus, that it trivializes the notion of rigidity. We also argue that previous attempts to offer a solution to the trivialization problem do no succeed.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Innocent Exclusion in an Alternative Semantics.Luis Alonso-Ovalle - 2008 - Natural Language Semantics 16 (2):115-128.
    The exclusive component of unembedded disjunctions is standardly derived as a conversational implicature by assuming that or forms a lexical scale with and. It is well known, however, that this assumption does not suffice to determine the required scalar competitors of disjunctions with more than two atomic disjuncts (McCawley, Everything that linguists have always wanted to know about logic* (But were ashamed to ask). Chicago University Press, Chicago, 1993, p. 324; Simons, “Or”: Issues in the semantics and pragmatics of disjunction. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • On Gödel's Ontological Proof.A. P. Hazen - 1998 - Australasian Journal of Philosophy 76 (3):361 – 377.