Results for ' intensionality'

964 found
Order:
See also
  1. 1.1. The logistic method. Church's writings on philosophical matters ex-hibit an unwavering commitment to what he called the “logistic method”. 3 The term did not catch on and now one would just speak of “formalization”. The use of these ideas is now so common and familiar among logicians. [REVIEW]Intensional Logic - 1998 - Bulletin of Symbolic Logic 4 (2).
     
    Export citation  
     
    Bookmark  
  2. 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   194 citations  
  3. 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   15 citations  
  4. 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   23 citations  
  5.  39
    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  
  6. 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   32 citations  
  7. Intensional and higher-order modal logic: with applications to Montague semantics.Daniel Gallin - 1975 - New York: 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   70 citations  
  8. 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   53 citations  
  9.  93
    Intensional and higher-order modal logic.Daniel Gallin - 1972 - [Berkeley,: [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   64 citations  
  10. 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 (...)
     
    Export citation  
     
    Bookmark   5 citations  
  11.  14
    Intensional Logic: An Essay in Analytical Metaphysics.B. H. Slater - 1994
    Like the author's first work, this text again develops two advanced logical systems: the formalization of intensional constructions initiated by Arthur Prior, and the refinement of predicate logic instituted by David Hilbert. This book is more historical than the first, but the emphasis is still on the application of the two systems to problems in analytical metaphysics. The natures of provability and possibility are studied further, as well as the natures of opacity and intensional objects.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  12. (1 other version)Intensional isomorphism and identity of belief.Alonzo Church - 1954 - Philosophical Studies 5 (5):65 - 73.
  13. 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.”.
     
    Export citation  
     
    Bookmark   1 citation  
  14.  12
    Intensional Harmony as Isomorphism.Paolo Pistone & Luca Tranchini - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 315-337.
    In the present paper we discuss a recent suggestion of Schroeder-Heister concerning the possibility of defining an intensional notion of harmony using isomorphism in second-order propositional logic. The latter is not an absolute notion, but its definition is relative to the choice of criteria for identity of proofs. In the paper, it is argued that in order to attain a satisfactory account of harmony, one has to consider a notion of identity stronger than the usual one (based on β- and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  15. Intensionality and Hyperintensionality.Daniel Nolan - 2019 - Routledge Encyclopedia of Philosophy.
    Routledge Encyclopedia entry on Intensionality and Hyperintensionality.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Intensionality and propositionalism.Kristina Liefke - forthcoming - Annual Review of Linguistics:4.1-4.21.
    Propositionalism is the view that all intensional constructions (including nominal and clausal attitude reports) can be interpreted as relations to truth-evaluable propositional content. While propositionalism has long been silently assumed in semantics and the philosophy of language, it has only recently entered center stage in linguistic research. This article surveys the properties of intensional constructions, which require the introduction of fine-grained semantic values (intensions). It contrasts two ways of obtaining such values: through the introduction of either Russellian propositions or Frege-Church-style (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  69
    Intensionality and perception: A reply to Rosenberg.Mohan Matthen - 1989 - Journal of Philosophy 86 (December):727-733.
  18.  43
    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  
  19.  89
    Intentionality and intensionality.James W. Cornman - 1962 - Philosophical Quarterly 12 (January):44-52.
    Certain philosophers have held the thesis of the unity of science. As often conceived, the thesis has two parts: the thesis of physicalism and the thesis of extensionality. For each of these two parts there is an outstanding problem, i.e. the problem of intentionality and the problem of intensionality respectively. The purpose of this paper is twofold: first, to make explicit the nature of these two problems, and second, to show to what extent they can be said to be (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  20. 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   6 citations  
  21.  47
    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 (2008), Cook (2009), Schlenker (2010), and Tourville and Cook (2016) via the addition of intensional operators such as ``is paradoxical''. In this extended (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  22. Intensional relations.Everett J. Nelson - 1930 - Mind 39 (156):440-453.
  23. Intentionality, intensionality, and the psychological.Harold Morick - 1971 - Analysis 32 (2):39.
  24.  47
    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   5 citations  
  25.  72
    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  
  26. 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 (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  27.  57
    Intensionality and variable objects.B. -U. Yi - 2014 - Analysis 74 (3):431-436.
    This article examines Moltmann’s analysis of intensional transitive verbs , and argues that the analysis fails because the key notion it employs, ‘variable satisfier’, is inconsistent.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  37
    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   2 citations  
  29.  92
    Self‐signs and intensional contexts.Ruth Garrett Millikan - 2022 - Mind and Language 38 (4):962-980.
    Paradigm intensional contexts result from the unmarked use of referential expressions as “self‐signs”, signs that refer to themselves as tokens, types, or members of Sellarsian “dot‐quoted” kinds. Self‐signing (but unquoted) linguistic expressions are more difficult to recognize than non‐linguistic self‐signs such as the color of a felt pen's casing that represents the color of ink inside. I will discuss non‐linguistic self‐signing, then examine self‐signing in quotation, in “said that …” contexts and in “believes that … ” contexts. The phenomenon of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  84
    Intensional logics and logical truth.M. J. Cresswell - 1972 - Journal of Philosophical Logic 1 (1):2 - 15.
  31. Intensional aspects of semantical self-reference.Brian Skyrms - 1984 - In Robert Lazarus Martin (ed.), Recent essays on truth and the liar paradox. New York: Oxford University Press. pp. 119--31.
     
    Export citation  
     
    Bookmark   14 citations  
  32.  55
    Intensional models for first degree formulas.Nuel D. Belnap - 1967 - Journal of Symbolic Logic 32 (1):1-22.
  33.  82
    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  
  34. Intensional Relative Clauses and the Semantics of Variable Objects.Friederike Moltmann - 2019 - In Manfred Krifka & Schenner Mathias (eds.), Reconstruction Effects in Relative Clauses. De Gruyter Akademie Forschung. 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  
  35. Chapter 5: Intensional Transitive Verbs and their 'Objects'.Friederike Moltmann - 2012 - In Abstract Objects and the Semantics of Natural Language. Oxford, United Kingdom: 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  
  36.  89
    Causality, intensionality and identity: Mind body interaction in Spinoza.Olli Koistinen - 1996 - Ratio 9 (1):23-38.
    According to Spinoza mental events and physical events are identical. What makes Spinoza's identity theory tempting is that it solves the problem of mind body interaction rather elegantly: mental events and physical events can be causally related to each other because mental events are physical events. However, Spinoza seems to deny that there is any causal interaction between mental and physical events. My aim is to show that Spinoza's apparent denial of mind body interaction can be reconciled with the identity (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  37. (1 other version)Intensional transitive verbs and abstract clausal complementation.Marcel den Dikken, Richard Larson & Peter Ludlow - 2018 - In Alex Grzankowski & Michelle Montague (eds.), Non-Propositional Intentionality. Oxford, United Kingdom: Oxford University Press.
     
    Export citation  
     
    Bookmark   5 citations  
  38. Implications of Intensional Perceptual Ascriptions for Relationalism, Disjunctivism, and Representationalism About Perceptual Experience.David Bourget - 2017 - 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   16 citations  
  39. Intensional transitive verbs.Graeme Forbes - 2012 - In Ed Zalta (ed.), Stanford Encyclopedia of Philosophy. Stanford, CA: 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   21 citations  
  40.  47
    Intensional Concepts in Propositional Semantic Networks.Anthony S. Maida & Stuart C. Shapiro - 1982 - Cognitive Science 6 (4):291-330.
    An integrated statement is made concerning the semantic status of nodes in a propositional semantic network, claiming that such nodes represent only intensions. Within the network, the only reference to extensionality is via a mechanism to assert that two intensions have the same extension in same world. This framework is employed in three application problems to illustrate the nature of its solutions.The formalism used here utilizes only assertional information and no structural, or definitional, information. This restriction corresponds to many of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  41. Intensionality: What are intensional transitives?Jennifer M. Saul - 2002 - Aristotelian Society Supplementary Volume 76 (1):101–119.
    [Graeme Forbes] In I, I summarize the semantics for the relational/notional distinction for intensional transitives developed in Forbes. In II-V I pursue issues about logical consequence which were either unsatisfactorily dealt with in that paper or, more often, not raised at all. I argue that weakening inferences, such as 'Perseus seeks a mortal gorgon, therefore Perseus seeks a gorgon', are valid, but that disjunction inferences, such as 'Perseus seeks a mortal gorgon, therefore Perseus seeks a mortal gorgon or an immortal (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  64
    Intensional logics without interative axioms.David K. Lewis - 1974 - Journal of Philosophical Logic 3 (4):457-466.
  43.  79
    Intensional logic and two-sorted type theory.Thomas Ede Zimmermann - 1989 - Journal of Symbolic Logic 54 (1):65-77.
  44.  87
    Classical intensional logics.M. J. Cresswell - 1970 - Theoria 36 (3):347-372.
  45.  69
    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   18 citations  
  46.  48
    Intensional conjunction.Robert E. Gahringer - 1970 - Mind 79 (314):259-260.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  47.  47
    (1 other version)A Manual of Intensional Logic.Johan F. A. K. Van Benthem - 1988 - Stanford, CA, USA: Center for the Study of Language and Information Publications.
    Intensional logic is the technical study of such intensional phenomena in human reasoning as modality, knowledge, or flow of time. These all require a richer semantic picture than standard truth values in one static environment. Such a picture is provided by so-called possible worlds semantics, a paradigm which is surveyed in this book, both as to its external sources of motivation and as to the internal dynamics of the resulting program. In particular, Manual of Intensional Logic presents the major classical (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  48. Extensionalizing Intensional Second-Order Logic.Jonathan Payne - 2015 - Notre Dame Journal of Formal Logic 56 (1):243-261.
    Neo-Fregean approaches to set theory, following Frege, have it that sets are the extensions of concepts, where concepts are the values of second-order variables. The idea is that, given a second-order entity $X$, there may be an object $\varepsilon X$, which is the extension of X. Other writers have also claimed a similar relationship between second-order logic and set theory, where sets arise from pluralities. This paper considers two interpretations of second-order logic—as being either extensional or intensional—and whether either is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  49.  65
    Intensionality and Truth: An Essay on the Philosophy of A. N. Prior.Philip Hugly & Charles Sayward - 1996 - Dordrecht, Boston and London: kluwer.
    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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  50.  48
    A Note on Intensionalization.Philippe de Groote & Makoto Kanazawa - 2013 - Journal of Logic, Language and Information 22 (2):173-194.
    Building on Ben-Avi and Winter’s (2007) work, this paper provides a general “intensionalization” procedure that turns an extensional semantics for a language into an intensionalized one that is capable of accommodating “truly intensional” lexical items without changing the compositional semantic rules. We prove some formal properties of this procedure and clarify its relation to the procedure implicit in Montague’s (1973) PTQ.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 964