Results for 'intensionality'

1000+ found
Order:
See also
  1. Intensional Logic and the Metaphysics of Intentionality.Edward N. Zalta - 1988 - Cambridge, MA, USA: MIT Press.
    This book tackles the issues that arise in connection with intensional logic -- a formal system for representing and explaining the apparent failures of certain important principles of inference such as the substitution of identicals and existential generalization -- and intentional states --mental states such as beliefs, hopes, and desires that are directed towards the world. The theory offers a unified explanation of the various kinds of inferential failures associated with intensional logic but also unifies the study of intensional contexts (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   188 citations  
  2. 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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  3.  71
    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 ...
    Direct download  
     
    Export citation  
     
    Bookmark   60 citations  
  4. Intensionality and Hyperintensionality.Daniel Nolan - 2019 - Routledge Encyclopedia of Philosophy.
    Routledge Encyclopedia entry on Intensionality and Hyperintensionality.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  78
    Intensional verbs and their intentional objects.Friederike Moltmann - 2008 - Natural Language Semantics 16 (3):239-270.
    The complement of intensional transitive verbs, like any nonreferential complement, can be replaced by a ‘special quantifier’ or ‘special pronoun’ such as 'something', 'the same thing', or 'what'. In this paper, I will defend the ‘Nominalization Theory’ of special quantifiers against a range of apparent counterexamples involving intensional transitive verbs.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  6. Intensional verbs and quantifiers.Friederike Moltmann - 1997 - Natural Language Semantics 5 (1):1-52.
    This paper discusses the semantics of intensional transitive verbs such as 'need', 'want','recognize', 'find', and 'hire'. It proposes new linguistic criteria for intensionality and defends two semantic analyses for two different classes of intensional verbs. The paper also includes a systematic classification of intensional verbs according to the type of lexical meaning they involve.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   42 citations  
  7. Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics.Daniel Gallin - 1975 - Amsterdam, Netherlands: American Elsevier Pub. Co..
    CHAPTER 1. INTENSIONAL LOGIC §1. Natural Language and Intensional Logic When we speak of a theory of meaning for a natural language such as English, ...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   62 citations  
  8. Split intensionality: a new scope theory of de re and de dicto.Ezra Keshet - 2010 - Linguistics and Philosophy 33 (4):251-283.
    The traditional scope theory of intensionality (STI) (see Russell 1905; Montague 1973; Ladusaw 1977; Ogihara 1992, 1996; Stowell 1993) is simple, elegant, and, for the most part, empirically adequate. However, a few quite troubling counterexamples to this theory have lead researchers to propose alternatives, such as positing null situation pronouns (Percus 2000) or actuality operators (Kamp 1971; Cresswell 1990) in the syntax of natural language. These innovative theories do correct the undergeneration of the original scope theory, but at a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  9. Tropes, Intensional Relative Clauses, and the Notion of a Variable Object.Friederike Moltmann - 2012 - In Aloni Maria, Kimmelman Vadim, Weidman Sassoon Galit, Roloefson Floris, Schulz Katrin & Westera Matthjis (eds.), Proceedings of the 18th Amsterdam Colloquium 2011. Springer.
    NPs with intensional relative clauses such as 'the impact of the book John needs to write' pose a significant challenge for trope theory (the theory of particularized properties), since they seem to refer to tropes that lack an actual bearer. This paper proposes a novel semantic analysis of such NPs on the basis of the notion of a variable object. The analysis avoids a range of difficulties that an alternative analysis based on the notion of an individual concept would face.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  10. Intensional models for the theory of types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
    In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  11.  21
    Embracing intensionality: Paradoxicality and semi-truth operators in fixed point models.Nicholas Tourville & Roy T. Cook - 2020 - Logic Journal of the IGPL 28 (5):747-770.
    The Embracing Revenge account of semantic paradox avoids the expressive limitations of previous approaches based on the Kripkean fixed point construction by replacing a single language with an indefinitely extensible sequence of languages, each of which contains the resources to fully characterize the semantics of the previous languages. In this paper we extend the account developed in Cook, Cook, Schlenker, and Tourville and Cook via the addition of intensional operators such as ``is paradoxical''. In this extended framework we are able (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  12. Intensionality from Self-Reference.T. Parent - manuscript
    If a semantically open language has no constraints on self-reference, one can prove an absurdity. The argument exploits a self-referential function symbol where the expressed function ends up being intensional in virtue of self-reference. The prohibition on intensional functions thus entails that self-reference cannot be unconstrained, even in a language that is free of semantic terms. However, since intensional functions are already excluded in classical logic, there are no drastic revisionary implications here. Still, the argument reveals a new sort of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  46
    An Intensional Schrödinger Logic.Newton C. A. da Costa & Décio Krause - 1997 - Notre Dame Journal of Formal Logic 38 (2):179-194.
    We investigate the higher-order modal logic , which is a variant of the system presented in our previous work. A semantics for that system, founded on the theory of quasi sets, is outlined. We show how such a semantics, motivated by the very intuitive base of Schrödinger logics, provides an alternative way to formalize some intensional concepts and features which have been used in recent discussions on the logical foundations of quantum mechanics; for example, that some terms like 'electron' have (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  14.  19
    Intensional biases in affordance perception: an explanatory issue for radical enactivism.Silvano Zipoli Caiani - 2018 - Synthese 198 (Suppl 17):4183-4203.
    Radical Enactivism holds that the best explanation of basic forms of cognition is provided without involving information of any sort. According to this view, the ability to perceive visual affordances should be accounted for in terms of extensional covariations between variables spanning the agent’s body and the environment. Contrary to Radical Enactivism, I argue that the intensional properties of cognition cannot be ignored, and that the way in which an agent represents the world has consequences on the explanation of basic (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15. Intensional Relative Clauses and the Semantics of Variable Objects.Friederike Moltmann - 2018 - In Manfred Krifka & Schenner Mathias (eds.), Reconstruction Effects in Relative Clauses. Berlin: De Gruyter. pp. 427-453..
    NPs with intensional relative clauses such as 'the book John needs to write' pose a significant challenge for semantic theory. Such NPs act like referential terms, yet they do not stand for a particular actual object. This paper will develop a semantic analysis of such NPs on the basis of the notion of a variable object. The analysis avoids a range of difficulties that a more standard analysis based on the notion of an individual concept would face. Most importantly, unlike (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  30
    The Intensional Many - Conservativity Reclaimed.Harald Andreas Bastiaanse - 2014 - Journal of Philosophical Logic 43 (5):883-901.
    Following on Westerståhl’s argument that many is not Conservative [9], I propose an intensional account of Conservativity as well as intensional versions of EXT and Isomorphism closure. I show that an intensional reading of many can easily possess all three of these, and provide a formal statement and proof that they are indeed proper intensionalizations. It is then discussed to what extent these intensionalized properties apply to various existing readings of many.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  71
    An intensional interpretation of ockham's theory of supposition.Catarina Dutilh Novaes - 2008 - Journal of the History of Philosophy 46 (3):pp. 365-393.
    According to a widespread view in medieval scholarship, theories of supposition are the medieval counterparts of theories of reference, and are thus essentially extensional theories. I propose an alternative interpretation: theories of supposition are theories of properties of terms, but whose aim is to allow for the interpretation of sentences. This holds especially of Ockham’s supposition theory, which is the main object of analysis in this paper. In particular, I argue for my intensional interpretation of his theory on the basis (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  18.  53
    An Intensional Type Theory: Motivation and Cut-Elimination.Paul C. Gilmore - 2001 - Journal of Symbolic Logic 66 (1):383-400.
    By the theory TT is meant the higher order predicate logic with the following recursively defined types: 1 is the type of individuals and [] is the type of the truth values: [$\tau_l$,..., $\tau_n$] is the type of the predicates with arguments of the types $\tau_l$,..., $\tau_n$. The theory ITT described in this paper is an intensional version of TT. The types of ITT are the same as the types of TT, but the membership of the type 1 of individuals (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  19.  93
    Intensional relations.Everett J. Nelson - 1930 - Mind 39 (156):440-453.
  20.  55
    Intensionality and Epistemic Justification.Patrick Bondy - 2013 - Philosophia 41 (2):463-475.
    The purpose of this paper is to raise a new objection to externalist process reliabilism about epistemic justification. The objection is that epistemic justification is intensional—it does not permit the substitution of co-referring expressions—and reliabilism cannot accommodate that.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  49
    Intensional expressions.Kazimierz Ajdukiewicz - 1967 - Studia Logica 20 (1):63 - 86.
  22. Intensional isomorphism and identity of belief.Alonzo Church - 1954 - Philosophical Studies 5 (5):65 - 73.
  23. Implications of Intensional Perceptual Ascriptions for Relationalism, Disjunctivism, and Representationalism About Perceptual Experience.David Bourget - 2019 - Erkenntnis 84 (2):381-408.
    This paper aims to shed new light on certain philosophical theories of perceptual experience by examining the semantics of perceptual ascriptions such as “Jones sees an apple.” I start with the assumption, recently defended elsewhere, that perceptual ascriptions lend themselves to intensional readings. In the first part of the paper, I defend three theses regarding such readings: I) intensional readings of perceptual ascriptions ascribe phenomenal properties, II) perceptual verbs are not ambiguous between intensional and extensional readings, and III) intensional perceptual (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  24. Chapter 5: Intensional Transitive Verbs and their 'Objects'.Friederike Moltmann - 2013 - In Abstract Objects and the semantics of Natural Language. Oxford: Oxford University Press.
    This chapter gives a truthmaker-based account of the semantics of 'reifying' quantifiers like 'something' when they act as complements of intensional transitive verbs ('need', 'look for'). It argues that such quantifiers range over 'variable satisfiers' of the attitudinal object described by the verb (e.g. the need or the search).
    Direct download  
     
    Export citation  
     
    Bookmark   34 citations  
  25. Intensional transitive verbs.Graeme Forbes - 2008 - In Edward Zalta (ed.), Stanford Encyclopedia of Philosophy.
    A verb is transitive iff it usually occurs with a direct object, and in such occurrences it is said to occur transitively . Thus ‘ate’ occurs transitively in ‘I ate the meat and left the vegetables’, but not in ‘I ate then left’ (perhaps it is not the same verb ‘left’ in these two examples, but it seems to be the same ‘ate’). A verb is intensional if the verb phrase (VP) it forms with its complement is anomalous in at (...)
    Direct download  
     
    Export citation  
     
    Bookmark   19 citations  
  26.  97
    Intensional interpretations of functionals of finite type I.W. W. Tait - 1967 - Journal of Symbolic Logic 32 (2):198-212.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  27. Intensional Entities.George Bealer - 1998 - In Edward Craig (ed.), Routledge Encyclopedia of Philosophy. Routledge. pp. 803-7.
  28.  14
    Fuzzy intensional semantics.Libor Běhounek & Ondrej Majer - 2018 - Journal of Applied Non-Classical Logics 28 (4):348-388.
    The study of weighted structures is one of the important trends in recent computer science. The aim of the article is to provide a weighted, many-valued version of classical intensional semantics formalised in the framework of higher-order fuzzy logics. We illustrate the apparatus on several variants of fuzzy S5-style modalities. The formalism is applicable to a broad array of weighted intensional notions, including alethic, epistemic, or probabilistic modalities, generalised quantifiers, counterfactual conditionals, dynamic and non-monotonic logics, and some more.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  48
    Intensional logic.Melvin Fitting - 2008 - Stanford Encyclopedia of Philosophy.
    There is an obvious difference between what a term designates and what it means. At least it is obvious that there is a difference. In some way, meaning determines designation, but is not synonymous with it. After all, “the morning star” and “the evening star” both designate the planet Venus, but don't have the same meaning. Intensional logic attempts to study both designation and meaning and investigate the relationships between them.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  30.  9
    Intensional Protocols for Dynamic Epistemic Logic.Suzanne Wijk, Rasmus Rendsvig & Hanna Lee - 2019 - Journal of Philosophical Logic 48 (6):1077-1118.
    In dynamical multi-agent systems, agents are controlled by protocols. In choosing a class of formal protocols, an implicit choice is made concerning the types of agents, actions and dynamics representable. This paper investigates one such choice: An intensional protocol class for agent control in dynamic epistemic logic, called ‘DEL dynamical systems’. After illustrating how such protocols may be used in formalizing and analyzing information dynamics, the types of epistemic temporal models that they may generate are characterized. This facilitates a formal (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  49
    Classical intensional logics.M. J. Cresswell - 1970 - Theoria 36 (3):347-372.
  32.  59
    Explicit Intensionalization, Anti‐Actualism, and How Smith's Murderer Might Not Have Murdered Smith.Bjørn Jespersen - 2005 - Dialectica 59 (3):285–314.
    The purpose of this article is to provide a non‐contradictory interpretation of sentences such as “Smith's murderer might not have murdered Smith”. An anti‐actualist, two‐dimensional framework including partial functions provides the basis for my solution. I argue for two claims. The modal profile of the proposition expressed by “The F might not have been an F” is complex: at any world where there is a unique F the proposition is true; at any world without a unique F the proposition has (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  33. Extensional Scientific Realism vs. Intensional Scientific Realism.Seungbae Park - 2016 - Studies in History and Philosophy of Science Part A 59:46-52.
    Extensional scientific realism is the view that each believable scientific theory is supported by the unique first-order evidence for it and that if we want to believe that it is true, we should rely on its unique first-order evidence. In contrast, intensional scientific realism is the view that all believable scientific theories have a common feature and that we should rely on it to determine whether a theory is believable or not. Fitzpatrick argues that extensional realism is immune, while intensional (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  34. Intensionality and the gödel theorems.David D. Auerbach - 1985 - Philosophical Studies 48 (3):337--51.
    Philosophers of language have drawn on metamathematical results in varied ways. Extensionalist philosophers have been particularly impressed with two, not unrelated, facts: the existence, due to Frege/Tarski, of a certain sort of semantics, and the seeming absence of intensional contexts from mathematical discourse. The philosophical import of these facts is at best murky. Extensionalists will emphasize the success and clarity of the model theoretic semantics; others will emphasize the relative poverty of the mathematical idiom; still others will question the aptness (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  35.  35
    Intensional paradoxes.Graham Priest - 1991 - Notre Dame Journal of Formal Logic 32 (2):193-211.
  36. Intensional ``transitive'' verbs and abstract clausal complementation.Richard Larson, Marcel den Dikken & Peter Ludlow - manuscript
     
    Export citation  
     
    Bookmark   22 citations  
  37.  47
    Intensional logics and logical truth.M. J. Cresswell - 1972 - Journal of Philosophical Logic 1 (1):2 - 15.
  38. Indexicality, intensionality, and relativist post-semantics.Stefano Predelli - 2012 - Synthese 184 (2):121-136.
    This essay argues that relativist semantics provide fruitful frameworks for the study of the relationships between meaning and truth-conditions, and consequently for the analysis of the logical properties of expressions. After a discussion of the role of intensionality and indexicality within classic double-indexed semantics, I explain that the non-relativistic identification of the parameters needed for the definition of truth and for the interpretation of indexicals is grounded on considerations that are irrelevant for the assessment of the relationships between meaning (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  39.  33
    Intensional models for first degree formulas.Nuel D. Belnap - 1967 - Journal of Symbolic Logic 32 (1):1-22.
  40.  18
    Intensional Protocols for Dynamic Epistemic Logic.Hanna S. van Lee, Rasmus K. Rendsvig & Suzanne van Wijk - 2019 - Journal of Philosophical Logic 48 (6):1077-1118.
    In dynamical multi-agent systems, agents are controlled by protocols. In choosing a class of formal protocols, an implicit choice is made concerning the types of agents, actions and dynamics representable. This paper investigates one such choice: An intensional protocol class for agent control in dynamic epistemic logic, called ‘DEL dynamical systems’. After illustrating how such protocols may be used in formalizing and analyzing information dynamics, the types of epistemic temporal models that they may generate are characterized. This facilitates a formal (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  56
    Intensionality and paradoxes in ramsey’s ‘the foundations of mathematics’.Dustin Tucker - 2010 - Review of Symbolic Logic 3 (1):1-25.
    In , Frank Ramsey separates paradoxes into two groups, now taken to be the logical and the semantical. But he also revises the logical system developed in Whitehead and Russellthe intensional paradoxess interest in these problems seriously, then the intensional paradoxes deserve more widespread attention than they have historically received.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  42.  18
    Intensional Concepts in Propositional Semantic Networks.Anthony S. Maida & Stuart C. Shapiro - 1982 - Cognitive Science 6 (4):291-330.
    Direct download  
     
    Export citation  
     
    Bookmark   27 citations  
  43.  9
    Intensional and Higher-Order Modal Logic, with Applications to Montague Semantics.Kenneth A. Bowen - 1977 - Journal of Symbolic Logic 42 (4):581-583.
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  44. An intensional Leibniz semantics for aristotelian logic.Klaus Glashoff - 2010 - Review of Symbolic Logic 3 (2):262-272.
    Since Freges terms were meant to refer always to sets, that is, entities composed of individuals. Classical philosophy up to Leibniz and Kant had a different view on this questionBegriffes syntaxhighercorresponding to the idea which Leibniz used in the construction of his characteristic numbers. Thus, this paper is an addendum to Corcorans theory via predicate logic.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  45.  49
    Intensional logics without interative axioms.David K. Lewis - 1974 - Journal of Philosophical Logic 3 (4):457-466.
  46.  7
    Intensional Isomorphism and Identity of Belief.Alonzo Church - 1955 - Journal of Symbolic Logic 20 (3):294-295.
    Direct download  
     
    Export citation  
     
    Bookmark   29 citations  
  47.  73
    Intensional Logic — Beyond First Order.Melvin Fitting - unknown
    Classical first-order logic can be extended in two different ways to serve as a foundation for mathematics: introduce higher orders, type theory, or introduce sets. As it happens, both approaches have natural analogs for quantified modal logics, both approaches date from the 1960’s, one is not very well-known, and the other is well-known as something else. I will present the basic semantic ideas of both higher order intensional logic, and intensional set theory. Before doing so, I’ll quickly sketch some necessary (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  48.  52
    An intensional parametric semantics for vague quantifiers.Shalom Lappin - 2000 - Linguistics and Philosophy 23 (6):599-620.
  49.  18
    The intensional side of algebraic-topological representation theorems.Sara Negri - 2017 - Synthese 198 (Suppl 5):1121-1143.
    Stone representation theorems are a central ingredient in the metatheory of philosophical logics and are used to establish modal embedding results in a general but indirect and non-constructive way. Their use in logical embeddings will be reviewed and it will be shown how they can be circumvented in favour of direct and constructive arguments through the methods of analytic proof theory, and how the intensional part of the representation results can be recovered from the syntactic proof of those embeddings. Analytic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50. Intensional specifications of truth-conditions: 'Because', 'in virtue of', and 'made true by…'.Gerald Vision - 2010 - Topoi 29 (2):109-123.
    Although a number of truth theorists have claimed that a deflationary theory of ‘is true’ needs nothing more than the uniform implication of instances of the theorem ‘the proposition that p is true if and only if p ’, reflection shows that this is inadequate. If deflationists can’t support the instances when replacing the biconditional with ‘because’, then their view is in peril. Deflationists sometimes acknowledge this by addressing, occasionally attempting to deflate, ‘because’ and ‘in virtue of’ formulas and their (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 1000