Search results for 'intensional logic' (try it on Scholar)

1000+ found
Order:
  1.  6
    Intensional Logic (1998). 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] Bulletin of Symbolic Logic 4 (2).
    Direct download  
     
    Export citation  
     
    My bibliography  
  2.  68
    Sean Walsh (forthcoming). Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic. Journal of Philosophical Logic:1-50.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  3.  15
    Bjørn Jespersen (2015). Structured Lexical Concepts, Property Modifiers, and Transparent Intensional Logic. 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  
     
    My bibliography   1 citation  
  4.  33
    Christopher Menzel (1993). The Proper Treatment of Predication in Fine-Grained Intensional Logic. 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  
     
    My bibliography   6 citations  
  5.  3
    Jiří Raclavský (2013). On the Interaction of Semantics and Deduction in Transparent Intensional Logic. Logic and Logical Philosophy 23 (1):57-68.
    It is sometimes objected that Tichý’s logic is not a logic because it underestimates deduction, providing only logical analyses of expressions. I argue that this opinion is wrong. First of all, to detect valid arguments, which are formulated in a language, there needs to be logical analysis to ascertain which semantical entities are involved. Entailment is defined as an extralinguistic affair relating those constructions. The validity of an argument, composed of propositional constructions, stems from the properties of the (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  6.  17
    Edward N. Zalta (1988). Intensional Logic and the Metaphysics of Intentionality. The 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 (...)
    Direct download  
     
    Export citation  
     
    My bibliography   69 citations  
  7.  29
    Melvin Fitting (2004). First-Order Intensional Logic. 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 (4 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  8.  34
    Melvin Fitting, Intensional Logic — Beyond First Order.
    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 (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  9.  22
    Melvin Fitting, Intensional Logic. 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  
     
    My bibliography   3 citations  
  10.  8
    Lynn Pasquerella (1987). Intensional Logic and Brentano's Non-Propositional Theory of Judgement. Grazer Philosophische Studien 29: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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  11.  29
    E. H. Alves & J. A. D. Guerzoni (1990). Extending Montague's System: A Three Valued Intensional Logic. Studia Logica 49 (1):127 - 132.
    In this note we present a three-valued intensional logic, which is an extension of both Montague's intensional logic and ukasiewicz three-valued logic. Our system is obtained by adapting Gallin's version of intensional logic (see Gallin, D., Intensional and Higher-order Modal Logic). Here we give only the necessary modifications to the latter. An acquaintance with Gallin's work is pressuposed.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  12.  10
    Joyce Friedman & David S. Warren (1980). Λ-Normal Forms in an Intensional Logic for English. Studia Logica 39 (2-3):311 - 324.
    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 (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  13.  19
    Imre Ruzsa (1981). An Approach to Intensional Logic. Studia Logica 40 (3):269 - 287.
    A system of tensed intensional logic excluding iterations of intensions is introduced. Instead of using the type symbols (for ‘sense’), extensional and intensional functor types are distinguished. A peculiarity of the semantics is the general acceptance of value-gaps (including truth-value-gaps): the possible semantic values (extensions) of extensional functors are partial functions. Some advantages of the system (relatively to R. Montague's intensional logic) are briefly indicated. Also, applications for modelling natural languages are illustrated by examples.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  14.  47
    Daniel Gallin (1975). Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics. 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  
     
    My bibliography   31 citations  
  15.  1
    J. F. A. K. van Benthem (1988). A Manual of Intensional Logic. Monograph Collection (Matt - Pseudo).
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  16.  23
    Nuel Belnap & Thomas Müller (2013). BH-CIFOL: Case-Intensional First Order Logic. Journal of Philosophical Logic (2-3):1-32.
    This paper follows Part I of our essay on case-intensional first-order logic (CIFOL; Belnap and Müller (2013)). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events (extending all the way into the future) that (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  17.  13
    Jonathan Payne (2015). Extensionalizing Intensional Second-Order Logic. 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  18. David Kaplan (1964). Foundations of Intensional Logic. Dissertation, UCLA
  19.  42
    Daniel Gallin (1972). Intensional and Higher-Order Modal Logic. [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  
     
    My bibliography   4 citations  
  20.  8
    Pavel Materna (2013). Is Transparent Intensional Logic a Non-Classical Logic? 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  
     
    My bibliography  
  21. Ilkka Niiniluoto & Esa Saarinen (1982). Intensional Logic Theory and Applications.
     
    Export citation  
     
    My bibliography  
  22.  63
    C. Anthony Anderson (1998). Alonzo Church's Contributions to Philosophy and Intensional Logic. Bulletin of Symbolic Logic 4 (2):129-171.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  23.  26
    Peter Gärdenfors (1975). Qualitative Probability as an Intensional Logic. Journal of Philosophical Logic 4 (2):171 - 185.
  24.  6
    Thomas Ede Zimmermann (1989). Intensional Logic and Two-Sorted Type Theory. Journal of Symbolic Logic 54 (1):65-77.
  25.  1
    C. Anthony Anderson, D. Gabbay & F. Guenthner (1990). General Intensional Logic. Journal of Symbolic Logic 55 (2):892-894.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  26.  19
    Charles Parsons (1982). Intensional Logic in Extensional Language. Journal of Symbolic Logic 47 (2):289-328.
  27.  4
    Matt Fairtlough & Michael Mendler (2003). Intensional Completeness in an Extension of Gödel/Dummett Logic. Studia Logica 73 (1):51 - 80.
    We enrich intuitionistic logic with a lax modal operator and define a corresponding intensional enrichment of Kripke models M = (W, , V) by a function T giving an effort measure T(w, u) {} for each -related pair (w, u). We show that embodies the abstraction involved in passing from true up to bounded effort to true outright. We then introduce a refined notion of intensional validity M |= p : and present a corresponding intensional calculus (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  28.  15
    Charles B. Daniels & James B. Freeman (1977). Classical Second-Order Intensional Logic with Maximal Propositions. 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 (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  29.  6
    James W. Garson (1973). The Completeness of an Intensional Logic: Definite Topological Logic. Notre Dame Journal of Formal Logic 14 (2):175-184.
  30.  4
    M. J. Cresswell (1972). Second‐Order Intensional Logic. Mathematical Logic Quarterly 18 (19‐20):297-320.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  31. Godehard Link (1996). Review: L. T. F. Gamut, Logic, Language, and Meaning. Volume I. Introduction to Logic; Grammar., L. T. F. Gamut, Logic, Language, and Meaning. Volume II. Intensional Logic and Logical. [REVIEW] Journal of Symbolic Logic 61 (1):343-346.
     
    Export citation  
     
    My bibliography  
  32.  4
    Christopher Menzel (1992). Review: Edward N. Zalta, Intensional Logic and the Metaphysics of Intentionality. [REVIEW] Journal of Symbolic Logic 57 (3):1146-1150.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  33.  7
    Paul Weingartner (1973). A Predicate Calculus for Intensional Logic. Journal of Philosophical Logic 2 (2):220 - 303.
  34.  4
    Charles Parsons (1990). Anderson C. Anthony. General Intensional Logic. Handbook of Philosophical Logic, Volume II, Extensions of Classical Logic, Edited by Gabbay D. And Guenthner F., Synthese Library, Vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, Pp. 355–385. [REVIEW] Journal of Symbolic Logic 55 (2):892-894.
    Direct download  
     
    Export citation  
     
    My bibliography  
  35.  3
    S. Kuroda (1955). Review: Shozo Omori, Formalization of an Intensional Logic. [REVIEW] Journal of Symbolic Logic 20 (2):173-173.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36.  3
    Walter H. O'Briant (1967). Leibnitz's Preference for an Intensional Logic (A Reply to Mr. Parkinson). Notre Dame Journal of Formal Logic 8 (3):254-256.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  37.  8
    Serge Lapierre (1992). A Functional Partial Semantics for Intensional Logic. Notre Dame Journal of Formal Logic 33 (4):517-541.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  38.  6
    James W. Garson (1980). The Unaxiomatizability of a Quantified Intensional Logic. Journal of Philosophical Logic 9 (1):59 - 72.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  39.  5
    James Andrew Fulton (1979). An Intensional Logic of Predicates and Predicate Modifiers Without Modal Operators. Notre Dame Journal of Formal Logic 20 (4):807-834.
  40.  1
    Charles Parsons (1990). Review: C. Anthony Anderson, D. Gabbay, F. Guenthner, General Intensional Logic. [REVIEW] Journal of Symbolic Logic 55 (2):892-894.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41.  1
    Bede Rundle (1972). Review: J. Myhill, Problems Arising in the Formalization of Intensional Logic. [REVIEW] Journal of Symbolic Logic 37 (1):180-180.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. R. A. Bull (1989). Review: Johan van Benthem, A Manual of Intensional Logic. [REVIEW] Journal of Symbolic Logic 54 (4):1489-1489.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43. K. J. J. Hintikka (1960). Review: Raili Kauppi, Some Problems of Intensional Logic. [REVIEW] Journal of Symbolic Logic 25 (4):340-340.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. Raili Kauppi (1960). Some Problems of Intensional Logic. Journal of Symbolic Logic 25 (4):340-340.
    Direct download  
     
    Export citation  
     
    My bibliography  
  45. Godehard Link (1996). Gamut LTF (Pseudonym). Logic, Language, and Meaning. Volume I. Introduction to Logic. English Translation of Logica, Taal En Betekenis, Volume I, Inleiding in de Logica. The University of Chicago Press, Chicago and London 1991, Xiv+ 282 Pp. Gamut LTF (Pseudonym). Logic, Language, and Meaning. Volume II. Intensional Logic and Logical Grammar. English Translation of Logica, Taal En Betekenis, Volume II, Intensionele Logica En Logische Grammatica. The University of Chicago Press, Chicago and London 1991 .. [REVIEW] Journal of Symbolic Logic 61 (1):343-345.
    Direct download  
     
    Export citation  
     
    My bibliography  
  46. Bernd J. Stephan (1975). Compactness and Recursive Enumerability in Intensional Logic. Mathematical Logic Quarterly 21 (1):343-346.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  47. Richard Montague (1970). Pragmatics and Intensional Logic. Synthese 22 (1-2):68--94.
  48.  11
    John Myhill (1958). Problems Arising in the Formalization of Intensional Logic. Logique Et Analyse 1 (1):78-83.
    Direct download  
     
    Export citation  
     
    My bibliography   7 citations  
  49.  2
    Newton C. A. Da Costa & Décio Krause (1997). An Intensional Schrödinger Logic. 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 (...)
    Direct download (11 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  50. L. T. F. Gamut (1990). Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar. University of Chicago Press.
     
    Export citation  
     
    My bibliography   5 citations  
1 — 50 / 1000