Switch to: References

Add citations

You must login to add citations.
  1. Intensional Perceptual Ascriptions.David Bourget - 2017 - Erkenntnis 82 (3):513-530.
    This paper defends the view that perceptual ascriptions such as “Jones sees a cat” are sometimes intensional. I offer a range of examples of intensional perceptual ascriptions, respond to objections to intensional readings of perceptual ascriptions, and show how widely accepted semantic accounts of intensionality can explain the key features of intensional perceptual ascriptions.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Exhibiting Interpretational and Representational Validity.Michael Baumgartner - 2014 - Synthese 191 (7).
    A natural language argument may be valid in at least two nonequivalent senses: it may be interpretationally or representationally valid (Etchemendy in The concept of logical consequence. Harvard University Press, Cambridge, 1990). Interpretational and representational validity can both be formally exhibited by classical first-order logic. However, as these two notions of informal validity differ extensionally and first-order logic fixes one determinate extension for the notion of formal validity (or consequence), some arguments must be formalized by unrelated nonequivalent formalizations in order (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Display Problem Revisited.Tyke Nunez - 2010 - In Michal Peliš Vit Punčochàr (ed.), Logica Handbook 2010. College Publications. pp. 143-156.
    In this essay I give a complete join semi-lattice of possible display-equivalence schemes for Display Logic, using the standard connectives, and leaving fixed only the schemes governing the star. In addition to proving the completeness of this list, I offer a discussion of the basic properties of these schemes.
    Download  
     
    Export citation  
     
    Bookmark  
  • Talking About Trees and Truth-Conditions.Reinhard Muskens - 2001 - Journal of Logic, Language and Information 10 (4):417-455.
    We present Logical Description Grammar (LDG), a model ofgrammar and the syntax-semantics interface based on descriptions inelementary logic. A description may simultaneously describe the syntacticstructure and the semantics of a natural language expression, i.e., thedescribing logic talks about the trees and about the truth-conditionsof the language described. Logical Description Grammars offer a naturalway of dealing with underspecification in natural language syntax andsemantics. If a logical description (up to isomorphism) has exactly onetree plus truth-conditions as a model, it completely specifies thatgrammatical (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Quantificational Arguments in Temporal Adjunct Clauses.Ron Artstein - 2005 - Linguistics and Philosophy 28 (5):541 - 597.
    Quantificational arguments can take scope outside of temporal adjunct clauses, in an apparent violation of locality restrictions: the sentence few secretaries cried after each executive resigned allows the quantificational NP each executive to take scope above few secretaries. I show how this scope relation is the result of local operations: the adjunct clause is a temporal generalized quantifier which takes scope over the main clause (Pratt and Francez, Linguistic and Philosophy 24(2), 187–222. [2001]), and within the adjunct clause, the quantificational (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • L'empirisme modal.Quentin Ruyant - 2017 - Dissertation, Université Rennes 1
    The aim of this thesis dissertation is to propose a novel position in the debate on scientific realism, modal empiricism, and to show its fruitfulness when it comes to interpreting the cognitive content of scientific theories. Modal empiricism is an empiricist position, according to which the aim of science is to produce empirically adequate theories rather than true theories. However, it suggests adopting a broader comprehension of experience than traditional versions of empiricism, through a commitment to natural modalities. Following modal (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Notes on the Art of Logic.Nuel Belnap - manuscript
    Download  
     
    Export citation  
     
    Bookmark  
  • On Language Adequacy.Urszula Wybraniec-Skardowska - 2015 - Studies in Logic, Grammar and Rhetoric 40 (1):257-292.
    The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most being: the compatibility of language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory T of any categorial language L generated by the so-called classical (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Belief Sentences and Compositionality. Notional Part.Peter Pagin - 2019 - Journal of Semantics 36 (2):241-284.
    Download  
     
    Export citation  
     
    Bookmark  
  • Possible Worlds Semantics.Daniel Nolan - 2012 - In Gillian Russell & Delia Fara (eds.), The Routledge Companion to Philosophy of Language. New York, USA: Routledge Press. pp. 242-252.
    This chapter provides an introduction to possible worlds semantics in both logic and the philosophy of language, including a discussion of some of the advantages and challenges for possible worlds semantics.
    Download  
     
    Export citation  
     
    Bookmark  
  • Quotation Via Dialogical Interaction.Jonathan Ginzburg & Robin Cooper - 2014 - Journal of Logic, Language and Information 23 (3):287-311.
    Quotation has been much studied in philosophy. Given that quotation allows one to diagonalize out of any grammar, there have been comparatively few attempts within the linguistic literature to develop an account within a formal linguistic theory. Nonetheless, given the ubiquity of quotation in natural language, linguists need to explicate the formal mechanisms it employs. The central claim of this paper is that once one assumes a dialogical perspective on language such as provided by the KoS (KoS is not an (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • How Not to State T-Sentences.Volker Halbach - 2006 - Analysis 66 (4):276–280.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Truth-Conditional Cognitivism and the Lexical Problem.Fabrizio Calzavarini - forthcoming - Topoi:1-12.
    When dealing with ‘meaning’ or related notions, one cannot ignore what for a long time was the dominant paradigm in semantics. According to such paradigm, truth-conditional formal semantics for natural language is a theory of semantic competence. In this article, I shall discuss a foundational problem for such semantic program. I shall first be following authors who claim that truth-conditional formal semantics is unable to provide a complete account of lexical competence, and, therefore, it suffers from incompleteness. Moreover, as a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Adequate Formalization.Michael Baumgartner & Timm Lampert - 2008 - Synthese 164 (1):93-115.
    This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language. We then take on to solve these problems by defining a necessary and sufficient criterion of adequate formalization. On the basis of this criterion we argue that logic should not be seen as an ars iudicandi capable of evaluating the validity or invalidity of informal arguments, but as an ars explicandi that renders transparent the formal structure of informal reasoning.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Representing Types as Neural Events.Robin Cooper - 2019 - Journal of Logic, Language and Information 28 (2):131-155.
    One of the claims of Type Theory with Records is that it can be used to model types learned by agents in order to classify objects and events in the world, including speech events. That is, the types can be represented by patterns of neural activation in the brain. This claim would be empty if it turns out that the types are in principle impossible to represent on a finite network of neurons. We will discuss how to represent types in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Natural Language Semantics and Computability.Richard Moot & Christian Retoré - 2019 - Journal of Logic, Language and Information 28 (2):287-307.
    This paper is a reflexion on the computability of natural language semantics. It does not contain a new model or new results in the formal semantics of natural language: it is rather a computational analysis, in the context for type-logical grammars, of the logical models and algorithms currently used in natural language semantics, defined as a function from a grammatical sentence to a set of logical formulas—because a statement can be ambiguous, it can correspond to multiple formulas, one for each (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Ursus Philosophicus - Essays Dedicated to Björn Haglund on His Sixtieth Birthday.Christer Svennerlind (ed.) - 2004 - Philosophical Communications.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Reductionism About Understanding Why.Insa Lawler - 2016 - Proceedings of the Aristotelian Society 116 (2):229-236.
    Paulina Sliwa (2015) argues that knowing why p is necessary and sufficient for understanding why p. She tries to rebut recent attacks against the necessity and sufficiency claims, and explains the gradability of understanding why in terms of knowledge. I argue that her attempts do not succeed, but I indicate more promising ways to defend reductionism about understanding why throughout the discussion.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Underspecified Interpretations in a Curry-Typed Representation Language.Chris Fox & Shalom Lappin - 2005 - Journal of Logic and Computation 15 (2):131--143.
    In previous work we have developed Property Theory with Curry Typing (PTCT), an intensional first-order logic for natural language semantics. PTCT permits fine-grained specifications of meaning. It also supports polymorphic types and separation types. We develop an intensional number theory within PTCT in order to represent proportional generalized quantifiers like "most", and we suggest a dynamic type-theoretic approach to anaphora and ellipsis resolution. Here we extend the type system to include product types, and use these to define a permutation function (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Pojem Problému Z Hlediska Teorie Konstrukcí.Pavel Materna - 2012 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19:137-144.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Grammar, Ontology, and the Unity of Meaning.Ulrich Reichard - 2013 - Dissertation, University of Durham
    Words have meaning. Sentences also have meaning, but their meaning is different in kind from any collection of the meanings of the words they contain. I discuss two puzzles related to this difference. The first is how the meanings of the parts of a sentence combine to give rise to a unified sentential meaning, as opposed to a mere collection of disparate meanings (UP1). The second is why the formal ontology of linguistic meaning changes when grammatical structure is built up (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Unified Theory of Truth and Paradox.Lorenzo Rossi - 2019 - Review of Symbolic Logic 12 (2):209-254.
    The sentences employed in semantic paradoxes display a wide range of semantic behaviours. However, the main theories of truth currently available either fail to provide a theory of paradox altogether, or can only account for some paradoxical phenomena by resorting to multiple interpretations of the language. In this paper, I explore the wide range of semantic behaviours displayed by paradoxical sentences, and I develop a unified theory of truth and paradox, that is a theory of truth that also provides a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Incomplete Events, Intensionality and Imperfective Aspect.Sandro Zucchi - 1999 - Natural Language Semantics 7 (2):179-215.
    I discuss two competing theories of the progressive: the theory proposed in Parsons (1980, 1985, 1989, 1990) and the theory proposed in Landman (1992). These theories differ in more than one way. Landman regards the progressive as an intentional operator, while Parsons doesn't. Moreover, Landman and Parsons disagree on what uninflected predicates denote. For Landman, cross the street has in its denotation complete events of crossing the street; the aspectual contribution of English simple past (perfective aspect) is the identity function. (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • CIFOL: Case-Intensional First Order Logic. Toward a Theory of Sorts.Nuel Belnap & Thomas Müller - unknown
    This is Part I of a two-part essay introducing case-intensional first-order logic, an easy-to-use, uniform, powerful, and useful combination of first order logic with modal logic resulting from philosophical and technical modifications of Bressan’s General interpreted modal calculus. CIFOL starts with a set of cases; each expression has an extension in each case and an intension, which is the function from the cases to the respective case-relative extensions. Predication is intensional; identity is extensional. Definite descriptions are context-independent terms, and lambda-predicates (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation