Results for 'intensional logic'

1000+ found
Order:
  1. Intensional Logic and the Metaphysics of Intentionality.Edward N. Zalta - 1988 - 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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   167 citations  
  2. Intensional Logic an Essay in Analytical Metaphysics.B. H. Slater - 1994
     
    Export citation  
     
    Bookmark   1 citation  
  3.  43
    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   14 citations  
  4.  22
    Intensional Logic and Two-Sorted Type Theory.Thomas Ede Zimmermann - 1989 - Journal of Symbolic Logic 54 (1):65-77.
  5.  45
    Classical intensional logics.M. J. Cresswell - 1970 - Theoria 36 (3):347-372.
  6.  66
    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 (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  7.  48
    Intensional Logics Without Interative Axioms.David K. Lewis - 1974 - Journal of Philosophical Logic 3 (4):457-466.
  8.  45
    Intensional Logics and Logical Truth.M. J. Cresswell - 1972 - Journal of Philosophical Logic 1 (1):2 - 15.
  9.  13
    General Intensional Logic.C. Anthony Anderson, D. Gabbay & F. Guenthner - 1990 - Journal of Symbolic Logic 55 (2):892-894.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  10.  33
    Intensional Logic in Extensional Language.Charles Parsons - 1982 - Journal of Symbolic Logic 47 (2):289-328.
  11. Pragmatics and Intensional Logic.Richard Montague - 1970 - Synthese 22 (1-2):68--94.
  12.  53
    An Intensional Logic for Mass Terms.Alice Ter Meulen - 1981 - Philosophical Studies 40 (1):105 - 125.
  13.  62
    Foundations of Intensional Logic.David Kaplan - 1964 - Dissertation, UCLA
  14. Intensional Logics.Dick De Jongh & Frank Veltman - unknown
    This first chapter contains an introduction to modal logic. In section 1.1 the syntactic side of the matter is discussed, and in section 1.2 the subject is approached from a semantic point of view.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  15
    Pragmatics and Intensional Logic.Richard Montague - 1970 - Dialectica 24 (4):277-302.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   48 citations  
  16.  84
    First-Order Intensional Logic.Melvin Fitting - 2004 - Annals of Pure and Applied Logic 127 (1-3):171-193.
    First - order modal logic is very much under current development, with many different semantics proposed. The use of rigid objects goes back to Saul Kripke. More recently, several semantics based on counterparts have been examined, in a development that goes back to David Lewis. There is yet another line of research, using intensional objects, that traces back to Richard Montague. I have been involved with this line of development for some time. In the present paper, I briefly (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  17. Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic.Sean Walsh - 2016 - Journal of Philosophical Logic 45 (3):277-326.
    This paper sets out a predicative response to the Russell-Myhill paradox of propositions within the framework of Church’s intensional logic. A predicative response places restrictions on the full comprehension schema, which asserts that every formula determines a higher-order entity. In addition to motivating the restriction on the comprehension schema from intuitions about the stability of reference, this paper contains a consistency proof for the predicative response to the Russell-Myhill paradox. The models used to establish this consistency also model (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  18. The Algebra of Intensional Logics.Jon Michael Dunn - 1966 - Dissertation, University of Pittsburgh
     
    Export citation  
     
    Bookmark   15 citations  
  19. A Comparison of Two Intensional Logics.Edward N. Zalta - 1988 - Linguistics and Philosophy 11 (1):59-89.
    The author examines the differences between the general intensional logic defined in his recent book and Montague's intensional logic. Whereas Montague assigned extensions and intensions to expressions (and employed set theory to construct these values as certain sets), the author assigns denotations to terms and relies upon an axiomatic theory of intensional entities that covers properties, relations, propositions, worlds, and other abstract objects. It is then shown that the puzzles for Montague's analyses of modality and (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  20.  40
    Intensional Logic and the Metaphysics of Intentionality. [REVIEW]Dale Jacquette - 1991 - Philosophy and Phenomenological Research 51 (2):439.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21. The Proper Treatment of Predication in Fine-Grained Intensional Logic.Christopher Menzel - 1993 - Philosophical Perspectives 7:61-87.
    In this paper I rehearse two central failings of traditional possible world semantics. I then present a much more robust framework for intensional logic and semantics based liberally on the work of George Bealer in his book Quality and Concept. Certain expressive limitations of Bealer's approach, however, lead me to extend the framework in a particularly natural and useful way. This extension, in turn, brings to light associated limitations of Bealer's account of predication. In response, I develop a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  22.  84
    Conceptualism, Realism, and Intensional Logic.Nino B. Cocchiarella - 1989 - Topoi 8 (1):15-34.
  23.  45
    Qualitative Probability as an Intensional Logic.Peter Gärdenfors - 1975 - Journal of Philosophical Logic 4 (2):171 - 185.
  24.  12
    Intensional Logic and the Metaphysics of Intentionality. [REVIEW]Chris Swoyer - 1993 - Noûs 27 (2):243.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  28
    Λ-normal forms in an intensional logic for English.J. Friedman - 1980 - Studia Logica 39:311.
    Montague [7] translates English into a tensed intensional logic, an extension of the typed -calculus. We prove that each translation reduces to a formula without -applications, unique to within change of bound variable. The proof has two main steps. We first prove that translations of English phrases have the special property that arguments to functions are modally closed. We then show that formulas in which arguments are modally closed have a unique fully reduced -normal form. As a corollary, (...)
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  26.  46
    Scientific Change and Intensional Logic.Antti Hautamäki - 1983 - Philosophica 32:25-42.
    In this paper an analysis of scientific theories and theory change including meaning change is presented by using intensional logic. Several cases of scientific progress are distinguished and special attention is given to incommensurability. It is argued that ,in all cases the comparison of rival theories is possible via translation. Finally two different forms of theory-Iadenness of observation are analysed.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  29
    An Intensional Logic of Predicates and Predicate Modifiers Without Modal Operators.James Andrew Fulton - 1979 - Notre Dame Journal of Formal Logic 20 (4):807-834.
  28.  73
    Some Difficulties Concerning Russellian Intensional Logic.C. Anthony Anderson - 1986 - Noûs 20 (1):35-43.
  29.  27
    Intensional Logic and Brentano’s Non-Propositional Theory of Judgment.Lynn Pasquerella - 1987 - Grazer Philosophische Studien 29 (1):117-119.
    The reism adopted by Brentano in the later stages of his philosophy led him to advocate a non-propositional theory of judgment. George Bealer, in his book Quality and Concept, charges that Brentano's theory, and indeed all non-propositional theories of judgment are not adequate to certain "intuitively valid" arguments in the realm of intensional logic. I show that Bealer is mistaken when he claims that Brentano's theory cannot offer an adequate rendering of the first two arguments, and I challenge (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  30.  2
    Intensional Logic and Brentano’s Non-Propositional Theory of Judgment.Lynn Pasquerella - 1987 - Grazer Philosophische Studien 29 (1):59-62.
    The reism adopted by Brentano in the later stages of his philosophy led him to advocate a non-propositional theory of judgment. George Bealer, in his book Quality and Concept, charges that Brentano's theory, and indeed all non-propositional theories of judgment are not adequate to certain "intuitively valid" arguments in the realm of intensional logic. I show that Bealer is mistaken when he claims that Brentano's theory cannot offer an adequate rendering of the first two arguments, and I challenge (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  21
    A Manual of Intensional Logic.R. A. Bull & Johan van Benthem - 1989 - Journal of Symbolic Logic 54 (4):1489.
  32.  34
    Structured Lexical Concepts, Property Modifiers, and Transparent Intensional Logic.Bjørn Jespersen - 2015 - Philosophical Studies 172 (2):321-345.
    In a 2010 paper Daley argues, contra Fodor, that several syntactically simple predicates express structured concepts. Daley develops his theory of structured concepts within Tichý’s Transparent Intensional Logic . I rectify various misconceptions of Daley’s concerning TIL. I then develop within TIL an improved theory of how structured concepts are structured and how syntactically simple predicates are related to structured concepts.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  33.  21
    On Two Notions of Computation in Transparent Intensional Logic.Ivo Pezlar - 2018 - Axiomathes 29 (2):189-205.
    In Transparent Intensional Logic we can recognize two distinct notions of computation that loosely correspond to term rewriting and term interpretation as known from lambda calculus. Our goal will be to further explore these two notions and examine some of their properties.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  33
    Canonicity for Intensional Logics Without Iterative Axioms.Timothy J. Surendonk - 1997 - Journal of Philosophical Logic 26 (4):391-409.
    David Lewis proved in 1974 that all logics without iterative axioms are weakly complete. In this paper we extend Lewis's ideas and provide a proof that such logics are canonical and so strongly complete. This paper also discusses the differences between relational and neighborhood frame semantics and poses a number of open questions about the latter.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35. Canonicity for Intensional Logics with Even Axioms.Timothy J. Surendonk - 2001 - Journal of Symbolic Logic 66 (3):1141-1156.
    This paper looks at the concept of neighborhood canonicity introduced by BRIAN CHELLAS [2]. We follow the lead of the author's paper [9] where it was shown that every non-iterative logic is neighborhood canonical and here we will show that all logics whose axioms have a simple syntactic form-no intensional operator is in boolean combination with a propositional letter-and which have the finite model property are neighborhood canonical. One consequence of this is that KMcK, the McKinsey logic, (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  17
    Is Transparent Intensional Logic a Non-Classical Logic?Pavel Materna - 2014 - Logic and Logical Philosophy 23 (1):47-55.
    It is shown that: classicality is connected with various criteria some of which are fulfilled by TIL while some other are not; some more general characteristic of classicality connects it with philosophical realism whereas anti-realism is connected with non-classical logics; TIL is highly expressive due to its hyperintensionality, which makes it possible to handle procedures as objects sui generis. Thus TIL is classical in obeying principles of realism and non-classical in transcending some principles taught by textbooks of classical logic.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  22
    Second-Order Intensional Logic.M. J. Cresswell - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (19-20):297-320.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  26
    SL: A Subjective, Intensional Logic of Belief.Hans Chalupsky & Stuart C. Shapiro - 1994 - In Ashwin Ram & Kurt Eiselt (eds.), Proceedings of the Sixteenth Annual Conference of the Cognitive Science Society. Erlbaum. pp. 165--170.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  16
    Second‐Order Intensional Logic.M. J. Cresswell - 1972 - Mathematical Logic Quarterly 18 (19‐20):297-320.
  40.  67
    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   49 citations  
  41.  71
    Zalta's Intensional Logic.C. Anthony Anderson - 1993 - Philosophical Studies 69 (2-3):221 - 229.
  42.  59
    Problems Arising in the Formalization of Intensional Logic.John Myhill - 1958 - Logique Et Analyse 1 (1):78-83.
  43. Intensional Logic Theory and Applications.Ilkka Niiniluoto & Esa Saarinen - 1982
     
    Export citation  
     
    Bookmark   1 citation  
  44. Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics.Daniel Gallin - 1975 - 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 (2 more)  
     
    Export citation  
     
    Bookmark   60 citations  
  45. Intensional Logic and Semantic Value Gaps in Dynamics of Meaning and Modality.I. Ruzsa - 1986 - Logique Et Analyse 29 (114):187-203.
  46. Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar.L. T. F. Gamut - 1990 - University of Chicago Press.
    Although the two volumes of _Logic, Language, and Meaning _can be used independently of one another, together they provide a comprehensive overview of modern logic as it is used as a tool in the analysis of natural language. Both volumes provide exercises and their solutions.
     
    Export citation  
     
    Bookmark   15 citations  
  47.  23
    Classical Second-Order Intensional Logic with Maximal Propositions.Charles B. Daniels & James B. Freeman - 1977 - Journal of Philosophical Logic 6 (1):1 - 31.
    By the standards presented in the Introduction, CMFC2 is deficient on at least one ontological ground: ‘∀’ is a syncategorematic expression and so CMFC2 is not an ideal language. To some there may be an additional difficulty: any two wffs provably equivalent in the classical sense are provably identical. We hope in sequel to present systems free of these difficulties, free either of one or the other, or perhaps both.This work was done with the aid of Canada Council Grant S74-0551-S1.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  6
    Intensional Logics and Their Rivals.David Parsons - 2013 - Dissertation, University of Queensland
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  49. Intensional Logic, Preliminary Draft of Initial Chapters by EJ Lemmon, July 1966, Nowadays Available as An Introduction to Modal Logic (American Philosophical Quarterly Monograph No. 11) Edited by K. Segerberg. [REVIEW]E. J. Lemmon & D. Scott - 1977 - American Philosophical Quarterly Monograph 11.
     
    Export citation  
     
    Bookmark  
  50.  33
    The Philosophical Significance of Intensional Logic.Hans Kamp & Tom Baldwin - 1975 - Aristotelian Society Supplementary Volume 49 (1):21 - 65.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000