Related categories

35 found
Order:
  1. added 2020-04-14
    What Types Should Not Be.Bruno Bentzen - 2020 - Philosophia Mathematica 28 (1):60-76.
    In a series of papers Ladyman and Presnell raise an interesting challenge of providing a pre-mathematical justification for homotopy type theory. In response, they propose what they claim to be an informal semantics for homotopy type theory where types and terms are regarded as mathematical concepts. The aim of this paper is to raise some issues which need to be resolved for the successful development of their types-as-concepts interpretation.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2. added 2019-11-18
    Montague's Treatment of Determiner Phrases: A Philosophical Introduction.Ken Akiba - 2018 - Philosophy Compass 13 (6):e12496.
    This paper introduces Richard Montague's theory of determiner phrases to the philosophically oriented readers who are familiar with Russell's traditional treatment. Determiner phrases include not only quantifier phrases in the narrow sense, such as every man, some woman, and nothing, but also DP conjunctions such as Adam and Betty and Adam or Betty, and even proper names such as Adam and Betty. Montague treats all determiner phrases as belonging to type t, i.e., the type of functions from properties of individuals (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  3. added 2019-09-24
    Formal Semantics and Applied Mathematics: An Inferential Account.Ryan M. Nefdt - forthcoming - Journal of Logic, Language and Information:1-33.
    In this paper, I utilise the growing literature on scientific modelling to investigate the nature of formal semantics from the perspective of the philosophy of science. Specifically, I incorporate the inferential framework proposed by Bueno and Colyvan : 345–374, 2011) in the philosophy of applied mathematics to offer an account of how formal semantics explains and models its data. This view produces a picture of formal semantic models as involving an embedded process of inference and representation applying indirectly to linguistic (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. added 2019-09-09
    Category Mistakes.Ofra Magidor - 2013 - Oxford University Press.
    Category mistakes are sentences such as 'Green ideas sleep furiously' or 'Saturday is in bed'. They strike us as highly infelicitous but it is hard to explain precisely why this is so. Ofra Magidor explores four approaches to category mistakes in philosophy of language and linguistics, and develops and defends an original, presuppositional account.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  5. added 2019-09-09
    II-The Last Dogma of Type Confusions.Ofra Magidor - 2009 - Proceedings of the Aristotelian Society 109 (1pt1):1-29.
  6. added 2019-06-06
    Intuitionistic type theory. [REVIEW]Jesús Alcolea Banegas - 1988 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 4 (1):235-238.
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. added 2019-06-05
    Russell´s Early Type Theory and the Paradox of Propositions.André Fuhrmann - 2001 - Principia: An International Journal of Epistemology 5 (1-2):19-42.
    The paradox of propositions, presented in Appendix B of Russell's The Principles of Mathematics, is usually taken as Russell's principal motive, at the time, for moving from a simple to a ramified theory of types. I argue that this view is mistaken. A closer study of Russell's correspondence with Frege reveals that Russell carne to adopt a very different resolution of the paradox, calling into question not the simplicity of his early type theory but the simplicity of his early theory (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8. added 2019-05-10
    Overgeneration in the Higher Infinite.Salvatore Florio & Luca Incurvati - manuscript
    The Overgeneration Argument is a prominent objection against the model-theoretic account of logical consequence for second-order languages. In previous work we have offered a reconstruction of this argument which locates its source in the conflict between the neutrality of second-order logic and its alleged entanglement with mathematics. Some cases of this conflict concern small large cardinals. In this article, we show that in these cases the conflict can be resolved by moving from a set-theoretic implementation of the model-theoretic account to (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  9. added 2019-04-30
    Unrestricted Quantification and the Structure of Type Theory.Nicholas K. Jones & Salvatore Florio - forthcoming - Philosophy and Phenomenological Research.
    Semantic theories based on a hierarchy of types have prominently been used to defend the possibility of unrestricted quantification. However, they also pose a prima facie problem for it: each quantifier ranges over at most one level of the hierarchy and is therefore not unrestricted. It is difficult to evaluate this problem without a principled account of what it is for a quantifier to be unrestricted. Drawing on an insight of Russell’s about the relationship between quantification and the structure of (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10. added 2019-03-12
    Static and Dynamic Vector Semantics for Lambda Calculus Models of Natural Language.Mehrnoosh Sadrzadeh & Reinhard Muskens - 2018 - Journal of Language Modelling 6 (2):319-351.
    Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In the vector models, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11. added 2018-08-27
    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.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  12. added 2018-08-27
    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.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13. added 2018-08-26
    Language, Lambdas, and Logic.Reinhard Muskens - 2003 - In R. Oehrle & J. Kruijff (eds.), Resource Sensitivity, Binding, and Anaphora (Studies in Linguistics and Philosophy 80). Dordrecht: Kluwer Academic Publishers. pp. 23--54.
    The paper develops Lambda Grammars, a form of categorial grammar that, unlike other categorial formalisms, is non-directional. Linguistic signs are represented as sequences of lambda terms and are combined with the help of linear combinators.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  14. added 2018-08-26
    Meaning and Partiality.Reinhard Muskens - 1995 - Stanford, CA: CSLI Publications.
    This book radically simplifies Montague Semantics and generalizes the theory by basing it on a partial higher order logic. The resulting theory is a synthesis of Montague Semantics and Situation Semantics. In the late sixties Richard Montague developed the revolutionary idea that we can understand the concept of meaning in ordinary languages much in the same way as we understand the semantics of logical languages. Unfortunately, however, he formalized his idea in an unnecessarily complex way - two outstanding researchers in (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  15. added 2018-08-17
    Evidence for Single-Type Semantics—An Alternative To $E$/$T$-Based Dual-Type Semantics.Kristina Liefke & Markus Werning - forthcoming - Journal of Semantics.
    Partee (2009) conjectures a formal semantics for natural language (hereafter, single-type semantics) that interprets CPs and referential DPs in the same semantic type: properties of situations. Partee’s semantics contrasts with Montague semantics and its recent contenders (dubbed dual- or multi-type semantics) which assume distinct basic types for the semantic values of referential DPs (i.e. individuals) and CPs (i.e. propositions, truth-values, or sets of assignment functions). Partee’s conjecture is motivated by results in event semantics and discourse representation theory, which support the (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16. added 2018-02-17
    A Type-Theoretic Approach to Anaphora and Ellipsis Resolution.Shalom Lappin & C. Fox - unknown
    We present an approach to anaphora and ellipsis resolution in which pronouns and elided structures are interpreted by the dynamic identification in discourse of type constraints on their semantic representations. The content of these conditions is recovered in context from an antecedent expression. The constraints define separation types in Property Theory with Curry Typing, an expressive first-order logic with Curry typing that we have proposed as a formal framework for natural language semantics.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  17. added 2017-12-11
    Copredication in Homotopy Type Theory.Hamidreza Bahramian - manuscript
    This paper applies homotopy type theory to formal semantics of natural languages and proposes a new model for the linguistic phenomenon of copredication. Copredication refers to sentences where two predicates which assume different requirements for their arguments are asserted for one single entity, e.g., "the lunch was delicious but took forever". This paper is particularly concerned with copredication sentences with quantification, i.e., cases where the two predicates impose distinct criteria of quantification and individuation, e.g., "Fred picked up and mastered three (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  18. added 2016-09-20
    Reference and Extension.Juhani Yli-Vakkuri & James McGilvray - 2010 - In P. C. Horgan (ed.), The Cambridge Encyclopaedia of the Language Sciences. Cambridge University Press.
  19. added 2016-07-27
    Generalized Quantifiers: Logic and Language.Duilio D'Alfonso - 2011 - Logic and Philosophy of Science 9 (No. 1):85-94.
    The Generalized Quantifiers Theory, I will argue, in the second half of last Century has led to an important rapprochement, relevant both in logic and in linguistics, between logical quantification theories and the semantic analysis of quantification in natural languages. In this paper I concisely illustrate the formal aspects and the theoretical implications of this rapprochement.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  20. added 2015-12-09
    Property Theory: The Type-Free Approach V. The Church Approach.George Bealer - 1994 - Journal of Philosophical Logic 23 (2):139 - 171.
    In a lengthy review article, C. Anthony Anderson criticizes the approach to property theory developed in Quality and Concept (1982). That approach is first-order, type-free, and broadly Russellian. Anderson favors Alonzo Church’s higher-order, type-theoretic, broadly Fregean approach. His worries concern the way in which the theory of intensional entities is developed. It is shown that the worries can be handled within the approach developed in the book but they remain serious obstacles for the Church approach. The discussion focuses on: (1) (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  21. added 2015-05-08
    English as a Formal Language.Richard Montague - 1970 - In Bruno Visentini (ed.), Linguaggi nella societa e nella tecnica. Edizioni di Communita. pp. 188-221.
    I reject the contention that an important theoretical difference exists between formal and natural languages.
    Remove from this list  
     
    Export citation  
     
    Bookmark   107 citations  
  22. added 2014-09-27
    Predication as Ascription.David Liebesman - 2015 - Mind 124 (494):517-569.
    I articulate and defend a necessary and sufficient condition for predication. The condition is that a term or term-occurrence stands in the relation of ascription to its designatum, ascription being a fundamental semantic relation that differs from reference. This view has dramatically different semantic consequences from its alternatives. After outlining the alternatives, I draw out these consequences and show how they favour the ascription view. I then develop the view and elicit a number of its virtues.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  23. added 2014-03-29
    Concealed Causatives.Maria Bittner - 1999 - Natural Language Semantics 7 (1):1-78.
    Crosslinguistically, causative constructions conform to the following generalization: If the causal relation is syntactically concealed, then it is semantically direct. Concealed causatives span a wide syntactic spectrum, ranging from resultative complements in English to causative subjects in Miskitu. A unified type-driven theory is proposed which attributes the understood causal relation—and other elements of constructional meaning—to type lifting operations predictably licensed by type mismatch at LF. The proposal has far-reaching theoretical implications not only for the theory of compositionality and causation, but (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  24. added 2014-03-24
    Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic.Tarek Sayed Ahmed - 2002 - Studia Logica 72 (2):285 - 309.
    We give a new characterization of the class of completely representable cylindric algebras of dimension 2 #lt; n w via special neat embeddings. We prove an independence result connecting cylindric algebra to Martin''s axiom. Finally we apply our results to finite-variable first order logic showing that Henkin and Orey''s omitting types theorem fails for L n, the first order logic restricted to the first n variables when 2 #lt; n#lt;w. L n has been recently (and quite extensively) studied as a (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  25. added 2014-03-11
    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, (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26. added 2014-03-10
    Category Mistakes Are Meaningful.Ofra Magidor - 2009 - Linguistics and Philosophy 32 (6):553-581.
    Category mistakes are sentences such as ‘Colourless green ideas sleep furiously’ or ‘The theory of relativity is eating breakfast’. Such sentences are highly anomalous, and this has led a large number of linguists and philosophers to conclude that they are meaningless (call this ‘the meaninglessness view’). In this paper I argue that the meaninglessness view is incorrect and category mistakes are meaningful. I provide four arguments against the meaninglessness view: in Sect. 2, an argument concerning compositionality with respect to category (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  27. added 2014-03-07
    De Se Attitudes: Ascription and Communication.Dilip Ninan - 2010 - Philosophy Compass 5 (7):551-567.
    This paper concerns two points of intersection between de se attitudes and the study of natural language: attitude ascription and communication. I first survey some recent work on the semantics of de se attitude ascriptions, with particular attention to ascriptions that are true only if the subject of the ascription has the appropriate de se attitude. I then examine – and attempt to solve – some problems concerning the role of de se attitudes in linguistic communication.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   50 citations  
  28. added 2012-12-14
    Intensional First-Order Logic with Types.Shalom Lappin - unknown
    The paper presents Property Theory with Curry Typing (PTCT) where the language of terms and well-formed formulæ are joined by a language of types. In addition to supporting fine-grained intensionality, the basic theory is essentially first-order, so that implementations using the theory can apply standard first-order theorem proving techniques. Some extensions to the type theory are discussed, type polymorphism, and enriching the system with sufficient number theory to account for quantifiers of proportion, such as “most.”.
    Remove from this list  
     
    Export citation  
     
    Bookmark   1 citation  
  29. added 2012-08-29
    A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions.Bartosz Więckowski - 2012 - Studia Logica 100 (4):815-853.
    The analysis of atomic sentences and their subatomic components poses a special problem for proof-theoretic approaches to natural language semantics, as it is far from clear how their semantics could be explained by means of proofs rather than denotations. The paper develops a proof-theoretic semantics for a fragment of English within a type-theoretical formalism that combines subatomic systems for natural deduction [20] with constructive (or Martin-Löf) type theory [8, 9] by stating rules for the formation, introduction, elimination and equality of (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30. added 2012-07-04
    Russell's Relations, Wittgenstein's Objects, and the Theory of Types.Giorgio Lando - 2012 - Teorema: International Journal of Philosophy (2):21-35.
    We discuss a previously unnoticed resemblance between the theory of relations and predicates in The Philosophy of Logical Atomism [TPLA] by Russell and the theory of objects and names in the Tractatus Logico-Philosophicus [TLP] by Wittgenstein. Points of likeness are detected on three levels: ontology, syntax, and semantics. This analogy explains the prima facie similarities between the informal presentation of the theory of types in TPLA and the sections of the TLP devoted to this same topic. Eventually, we draw some (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  31. added 2012-07-04
    The Theory of Logical Types.Irving M. Copi - 1971 - London: Routledge and Kegan Paul.
    This reissue, first published in 1971, provides a brief historical account of the Theory of Logical Types; and describes the problems that gave rise to it, its ...
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  32. added 2012-03-28
    Cross-Linguistic Semantics.Maria Bittner - 1994 - Linguistics and Philosophy 17 (1):53 - 108.
    Rooth & Partee (1982) and Rooth (1985) have shown that the English-specific rule-by-rule system of PTQ can be factored out into function application plus two transformations for resolving type mismatch (type lifting and variable binding). Building on these insights, this article proposes a universal system for type-driven translation, by adding two more innovations: local type determination for gaps (generalizing Montague 1973) and a set of semantic filters (extending Cooper 1983). This system, dubbed Cross-Linguistic Semantics (XLS), is shown to account for (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  33. added 2012-01-12
    An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof.P. B. Andrews - 2002 - Kluwer Academic Publishers.
    This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. This expressive notation facilitates proofs (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  34. added 2012-01-07
    A Modal Type Theory for Formalizing Trusted Communications.Giuseppe Primiero & Mariarosaria Taddeo - 2012 - Journal of Applied Logic 10 (1):92-114.
    This paper introduces a multi-modal polymorphic type theory to model epistemic processes characterized by trust, defined as a second-order relation affecting the communication process between sources and a receiver. In this language, a set of senders is expressed by a modal prioritized context, whereas the receiver is formulated in terms of a contextually derived modal judgement. Introduction and elimination rules for modalities are based on the polymorphism of terms in the language. This leads to a multi-modal non-homogeneous version of a (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  35. added 2010-09-24
    Intensional and Higher-Order Modal Logic.Daniel Gallin - 1972 - [Berkeley.
    INTENSIONAL LOGIC §1. Natural Language and Intensional Logic When we speak of a theory of meaning for a natural language such as English, we have in mind an ...
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   35 citations