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

1000+ found
Sort by:
  1. 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).score: 300.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Christopher Menzel (1993). The Proper Treatment of Predication in Fine-Grained Intensional Logic. Philosophical Perspectives 7:61-87.score: 240.0
    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)  
     
    My bibliography  
     
    Export citation  
  3. Bjørn Jespersen (forthcoming). Structured Lexical Concepts, Property Modifiers, and Transparent Intensional Logic. Philosophical Studies:1-25.score: 240.0
    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 (TIL). 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.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Jiří Raclavský (2013). On the Interaction of Semantics and Deduction in Transparent Intensional Logic (Is Tichý's Logic a Logic?). Logic and Logical Philosophy 23 (1):57-68.score: 222.0
    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 (Tichý’s so-called constructions) are involved. Entailment is defined as an extralinguistic affair relating those constructions. The validity of an argument, composed of propositional constructions, stems from the (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Edward N. Zalta (1988). Intensional Logic and the Metaphysics of Intentionality. The MIT Press.score: 184.0
    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 (...)
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  6. E. H. Alves & J. A. D. Guerzoni (1990). Extending Montague's System: A Three Valued Intensional Logic. Studia Logica 49 (1):127 - 132.score: 180.0
    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)  
     
    My bibliography  
     
    Export citation  
  7. Melvin Fitting, Intensional Logic. Stanford Encyclopedia of Philosophy.score: 180.0
    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  
     
    My bibliography  
     
    Export citation  
  8. Melvin Fitting, Intensional Logic — Beyond First Order.score: 180.0
    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 to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  9. Imre Ruzsa (1981). An Approach to Intensional Logic. Studia Logica 40 (3):269 - 287.score: 180.0
    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)  
     
    My bibliography  
     
    Export citation  
  10. Joyce Friedman & David S. Warren (1980). Λ-Normal Forms in an Intensional Logic for English. Studia Logica 39 (2-3):311 - 324.score: 180.0
    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)  
     
    My bibliography  
     
    Export citation  
  11. Lynn Pasquerella (1987). Intensional Logic and Brentano's Non-Propositional Theory of Judgement. Grazer Philosophische Studien 29:117-119.score: 180.0
    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)  
     
    My bibliography  
     
    Export citation  
  12. Daniel Gallin (1975). Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics. American Elsevier Pub. Co..score: 162.0
    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  
     
    My bibliography  
     
    Export citation  
  13. Daniel Gallin (1972). Intensional and Higher-Order Modal Logic. [Berkeley.score: 162.0
    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  
     
    My bibliography  
     
    Export citation  
  14. Nuel Belnap & Thomas Müller (2013). BH-CIFOL: Case-Intensional First Order Logic. Journal of Philosophical Logic (2-3):1-32.score: 162.0
    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)  
     
    My bibliography  
     
    Export citation  
  15. Pavel Materna (2013). Is Transparent Intensional Logic a Non-Classical Logic? Logic and Logical Philosophy 23 (1):47-55.score: 162.0
    It is shown that: (a) classicality is connected with various criteria some of which are fulfilled by TIL while some other are not; (b) some more general characteristic of classicality connects it with philosophical realism whereas (radical) anti-realism is connected with non-classical logics; (c) 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 (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  16. C. Anthony Anderson (1998). Alonzo Church's Contributions to Philosophy and Intensional Logic. Bulletin of Symbolic Logic 4 (2):129-171.score: 156.0
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  17. Peter Gärdenfors (1975). Qualitative Probability as an Intensional Logic. Journal of Philosophical Logic 4 (2):171 - 185.score: 156.0
  18. Melvin Fitting (2004). First-Order Intensional Logic. Annals of Pure and Applied Logic 127 (1-3):171-193.score: 156.0
  19. Charles Parsons (1982). Intensional Logic in Extensional Language. Journal of Symbolic Logic 47 (2):289-328.score: 156.0
  20. Charles B. Daniels & James B. Freeman (1977). Classical Second-Order Intensional Logic with Maximal Propositions. Journal of Philosophical Logic 6 (1):1 - 31.score: 156.0
    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)  
     
    My bibliography  
     
    Export citation  
  21. Serge Lapierre (1992). A Functional Partial Semantics for Intensional Logic. Notre Dame Journal of Formal Logic 33 (4):517-541.score: 156.0
  22. Paul Weingartner (1973). A Predicate Calculus for Intensional Logic. Journal of Philosophical Logic 2 (2):220 - 303.score: 156.0
  23. James W. Garson (1980). The Unaxiomatizability of a Quantified Intensional Logic. Journal of Philosophical Logic 9 (1):59 - 72.score: 156.0
  24. Thomas Ede Zimmermann (1989). Intensional Logic and Two-Sorted Type Theory. Journal of Symbolic Logic 54 (1):65-77.score: 156.0
  25. James W. Garson (1973). The Completeness of an Intensional Logic: Definite Topological Logic. Notre Dame Journal of Formal Logic 14 (2):175-184.score: 156.0
  26. 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.score: 156.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  27. 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.score: 156.0
  28. Christopher Menzel (1992). Review: Edward N. Zalta, Intensional Logic and the Metaphysics of Intentionality. [REVIEW] Journal of Symbolic Logic 57 (3):1146-1150.score: 156.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. 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.score: 156.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. M. J. Cresswell (1972). Second‐Order Intensional Logic. Mathematical Logic Quarterly 18 (19‐20):297-320.score: 156.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  31. S. Kuroda (1955). Review: Shozo Omori, Formalization of an Intensional Logic. [REVIEW] Journal of Symbolic Logic 20 (2):173-173.score: 156.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. Charles Parsons (1990). Review: C. Anthony Anderson, D. Gabbay, F. Guenthner, General Intensional Logic. [REVIEW] Journal of Symbolic Logic 55 (2):892-894.score: 156.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. Bede Rundle (1972). Review: J. Myhill, Problems Arising in the Formalization of Intensional Logic. [REVIEW] Journal of Symbolic Logic 37 (1):180-180.score: 156.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34. 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.score: 156.0
  35. R. A. Bull (1989). Review: Johan van Benthem, A Manual of Intensional Logic. [REVIEW] Journal of Symbolic Logic 54 (4):1489-1489.score: 156.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. K. J. J. Hintikka (1960). Review: Raili Kauppi, Some Problems of Intensional Logic. [REVIEW] Journal of Symbolic Logic 25 (4):340-340.score: 156.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  37. 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.score: 156.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. Bernd J. Stephan (1975). Compactness and Recursive Enumerability in Intensional Logic. Mathematical Logic Quarterly 21 (1):343-346.score: 156.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  39. Richard Montague (1970). Pragmatics and Intensional Logic. Synthese 22 (1-2):68--94.score: 150.0
  40. C. Anthony Anderson (1986). Some Difficulties Concerning Russellian Intensional Logic. Noûs 20 (1):35-43.score: 150.0
  41. C. Anthony Anderson (1993). Zalta's Intensional Logic. Philosophical Studies 69 (2-3):221 - 229.score: 150.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  42. Alice Ter Meulen (1981). An Intensional Logic for Mass Terms. Philosophical Studies 40 (1):105 - 125.score: 150.0
  43. Hans Kamp & Tom Baldwin (1975). The Philosophical Significance of Intensional Logic. Aristotelian Society Supplementary Volume 49:21 - 65.score: 150.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  44. Nino B. Cocchiarella (1989). Conceptualism, Realism, and Intensional Logic. Topoi 8 (1):15-34.score: 150.0
  45. Hans Chalupsky & Stuart C. Shapiro (1994). SL: A Subjective, Intensional Logic of Belief. In. In Ashwin Ram & Kurt Eiselt (eds.), Proceedings of the Sixteenth Annual Conference of the Cognitive Science Society. Erlbaum. 165--170.score: 150.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  46. Newton C. A. Da Costa & Décio Krause (1997). An Intensional Schrödinger Logic. Notre Dame Journal of Formal Logic 38 (2):179-194.score: 150.0
    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)  
     
    My bibliography  
     
    Export citation  
  47. Dale Jacquette (1991). Intensional Logic and the Metaphysics of Intentionality, by Edward N. Zalta. Philosophy and Phenomenological Research 51 (2):439-444.score: 150.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  48. Brian Skyrms (1981). Mates Quantification and Intensional Logic. Australasian Journal of Philosophy 59 (2):177 – 188.score: 150.0
  49. Richmond H. Thomason (2005). Making Contextual Intensional Logic Nonmonotonic. In. In B. Kokinov A. Dey (ed.), Modeling and Using Context. Springer. 501--514.score: 150.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  50. Daniel Vanderveken (1982). Some Philosophical Remarks on the Theory of Types in Intensional Logic. Erkenntnis 17 (1):85 - 112.score: 150.0
1 — 50 / 1000