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

1000+ found
Order:
  1.  13
    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.  10
    Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic (1999). Advances in Contemporary Logic and Computer Science Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW] Monograph Collection (Matt - Pseudo).
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao Paulo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  93
    Sean Walsh (2016). Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic. 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 (3 more)  
     
    Export citation  
     
    My bibliography  
  4.  8
    Sean Walsh (2016). Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic. 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 (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  22
    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  
  6.  50
    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   7 citations  
  7.  6
    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  
  8.  37
    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 (...)
    Direct download  
     
    Export citation  
     
    My bibliography   69 citations  
  9.  44
    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   8 citations  
  10.  50
    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  
  11.  25
    Melvin Fitting (2008). 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  
  12.  15
    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 I challenge (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  13.  18
    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   2 citations  
  14.  42
    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  
  15.  27
    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 (4 more)  
     
    Export citation  
     
    My bibliography  
  16.  61
    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   32 citations  
  17.  2
    Johan van Benthem (1988). A Manual of Intensional Logic. Monograph Collection (Matt - Pseudo).
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  18.  27
    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  
  19.  33
    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  
  20. David Kaplan (1964). Foundations of Intensional Logic. Dissertation, UCLA
  21.  49
    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  
  22.  9
    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  
  23. Ilkka Niiniluoto & Esa Saarinen (1982). Intensional Logic Theory and Applications.
     
    Export citation  
     
    My bibliography  
  24.  4
    Chrysida Galanaki, Christos Nomikos & Panos Rondogiannis (2017). Game Semantics for Non-Monotonic Intensional Logic Programming. Annals of Pure and Applied Logic 168 (2):234-253.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25. L. T. F. Gamut (1990). Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar. 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  
     
    My bibliography   5 citations  
  26.  71
    C. Anthony Anderson (1998). Alonzo Church's Contributions to Philosophy and Intensional Logic. Bulletin of Symbolic Logic 4 (2):129-171.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  27.  30
    Peter Gärdenfors (1975). Qualitative Probability as an Intensional Logic. Journal of Philosophical Logic 4 (2):171 - 185.
  28.  12
    Thomas Ede Zimmermann (1989). Intensional Logic and Two-Sorted Type Theory. Journal of Symbolic Logic 54 (1):65-77.
  29.  23
    Charles Parsons (1982). Intensional Logic in Extensional Language. Journal of Symbolic Logic 47 (2):289-328.
  30.  2
    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  
  31.  4
    Christopher Menzel (1992). Zalta Edward N.. Intensional Logic and the Metaphysics of Intentionality. Bradford Books. The MIT Press, Cambridge, Mass., and London, 1988, Xiii + 256 Pp. [REVIEW] Journal of Symbolic Logic 57 (3):1146-1150.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32.  19
    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  
  33.  9
    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 (4 more)  
     
    Export citation  
     
    My bibliography  
  34.  7
    James W. Garson (1973). The Completeness of an Intensional Logic: Definite Topological Logic. Notre Dame Journal of Formal Logic 14 (2):175-184.
  35.  10
    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  
  36.  14
    Paul Weingartner (1973). A Predicate Calculus for Intensional Logic. Journal of Philosophical Logic 2 (2):220 - 303.
  37.  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  
  38. 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  
  39.  14
    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
    Godehard Link (1996). Gamut L. T. F. . 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 L. T. F. . 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, Xvi + 349 Pp. [REVIEW] Journal of Symbolic Logic 61 (1):343-345.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41.  5
    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  
  42.  5
    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  
  43.  10
    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  
  44.  5
    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 (3 more)  
     
    Export citation  
     
    My bibliography  
  45.  13
    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  
  46.  2
    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.  1
    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  
  48.  1
    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  
  49.  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  
  50.  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  
1 — 50 / 1000