This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

36 found
Order:
  1. Extending Montague's System: A Three Valued Intensional Logic.E. H. Alves & J. A. D. Guerzoni - 1990 - 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.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  2. Alonzo Church's Contributions to Philosophy and Intensional Logic.C. Anthony Anderson - 1998 - Bulletin of Symbolic Logic 4 (2):129-171.
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3. Zalta's Intensional Logic.C. Anthony Anderson - 1993 - Philosophical Studies 69 (2-3):221 - 229.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4. Some Difficulties Concerning Russellian Intensional Logic.C. Anthony Anderson - 1986 - Noûs 20 (1):35-43.
  5. The Logic of Historical Necessity as Founded on Two-Dimensional Modal Tense Logic.Lennart Åqvist - 1999 - Journal of Philosophical Logic 28 (4):329-369.
    We consider a version of so called T x W logic for historical necessity in the sense of R.H. Thomason (1984), which is somewhat special in three respects: (i) it is explicitly based on two-dimensional modal logic in the sense of Segerberg (1973); (ii) for reasons of applicability to interesting fields of philosophical logic, it conceives of time as being discrete and finite in the sense of having a beginning and an end; and (iii) it utilizes the technique of systematic (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6. Higher-Order Free Logic and the Prior-Kaplan Paradox.Andrew Bacon, John Hawthorne & Gabriel Uzquiano - 2016 - Canadian Journal of Philosophy 46 (4-5):493-541.
    The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7. Intensional Entities.George Bealer - 1998 - In Edward Craig (ed.), Routledge Encyclopedia of Philosophy. Routledge. pp. 803-7.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  8. Possibilities That Matter III: Materially Necessary Being.Steven M. Duncan - manuscript
    This is the third in a series of papers on material modality, which explores the concept of a materially necessary being and argues that such a being exists.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. Possibilities That Matter IV: The Ground of All Possibilities.Steven M. Duncan - manuscript
    This is the final paper in the Possibilities that Matter series and attempts to complete the project of constructing a material interpretation of modal logic.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10. Possibilities That Matter I: Material Possibility.Steven M. Duncan - manuscript
    This is the first of a series of four papers presenting modal logic as a branch of material, rather than merely formal, logic.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. Possibilities That Matter II: Material Contingency and Sufficient Reason.Steven M. Duncan - manuscript
    This is the second of a series of papers inspired by a paper I wrote around 1989. In this paper, I consider the notion of material contingency and relate it to the traditional, metaphysically loaded Principle of Sufficient Reason.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. Perspectival Logic of Acceptance and Rejection.Alessandro Giordani - 2017 - Logique and Analyse:265-283.
    This paper aims at developing a logical theory of perspectival epistemic attitudes. After presenting a standard framework for modeling acceptance, where the epistemic space of an agent coincides with a unique epistemic cell, more complex systems are introduced, which are characterized by the existence of many connected epistemic cells, and different possible attitudes towards a proposition, both positive and negative, are discussed. In doing that, we also propose some interesting ways in which the systems can be interpreted on well known (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  13. On Modal Meinongianism.Thibaut Giraud - 2016 - Synthese 193 (10).
    Modal Meinongianism is a form of Meinongianism whose main supporters are Graham Priest and Francesco Berto. The main idea of modal Meinongianism is to restrict the logical deviance of Meinongian non-existent objects to impossible worlds and thus prevent it from “contaminating” the actual world: the round square is round and not round, but not in the actual world, only in an impossible world. In the actual world, supposedly, no contradiction is true. I will show that Priest’s semantics, as originally formulated (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. Carnap's Theory of Descriptions and its Problems.Jan Heylen - 2010 - Studia Logica 94 (3):355-380.
    Carnap's theory of descriptions was restricted in two ways. First, the descriptive conditions had to be non-modal. Second, only primitive predicates or the identity predicate could be used to predicate something of the descriptum . The motivating reasons for these two restrictions that can be found in the literature will be critically discussed. Both restrictions can be relaxed, but Carnap's theory can still be blamed for not dealing adequately with improper descriptions.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  15. Carnapian Arithmetic with Descriptions.Jan Heylen - 2009 - In Erik Weber, Thierry Libert, Geert Vanpaemel & P. Marage (eds.), Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days 2008. Brussel: Koninklijke Vlaamse Academie van België voor Wetenschappen en Kunsten. pp. 28-34.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  16. Philosophical Applications of Modal Logic.Lloyd Humberstone - 2016 - College Publications.
  17. Where Monsters Dwell.David Israel & John Perry - 1996 - In Jerry Seligman & Dag Westerståhl (eds.), Logic, Language and Computation. Csli Publications, Stanford. pp. 1--303.
    Kaplan says that monsters violate Principle 2 of his theory. Principle 2 is that indexicals, pure and demonstrative alike, are directly referential. In providing this explanation of there being no monsters, Kaplan feels his theory has an advantage over double-indexing theories like Kamp’s or Segerberg’s (or Stalnaker’s), which either embrace monsters or avoid them only by ad hoc stipulation, in the sharp conceptual distinction it draws between circumstances of evaluation and contexts of utterance. We shall argue that Kaplan’s prohibition is (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  18. Carnapian Modal and Epistemic Arithmetic.Heylen Jan - 2009 - In Carrara Massimiliano & Morato Vittorio (eds.), Language, Knowledge, and Metaphysics. Selected papers from the First SIFA Graduate Conference. College Publications. pp. 97-121.
    The subject of the first section is Carnapian modal logic. One of the things I will do there is to prove that certain description principles, viz. the ''self-predication principles'', i.e. the principles according to which a descriptive term satisfies its own descriptive condition, are theorems and that others are not. The second section will be devoted to Carnapian modal arithmetic. I will prove that, if the arithmetical theory contains the standard weak principle of induction, modal truth collapses to truth. Then (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  19. Foundations of Intensional Logic.David Kaplan - 1964 - Dissertation, UCLA
    Remove from this list  
     
    Export citation  
     
    Bookmark   6 citations  
  20. Epistemology, Context, and Formalism.Franck Lihoreau & Manuel Rebuschi (eds.) - 2014 - Springer Verlag.
    Acknowledgements Five out of the 13 contributions to this volume originate from papers which were presented at the international workshop on “Epistemology, Context, Formalism” held at the MSH-Lorraine in Nancy, France, on November the ...
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. Actuality and Possibility.Pavel Materna - 2003 - In A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers. pp. 289--295.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  22. A Free Logic with Intensions as Possible Values of Terms.G. H. Merrill - 1975 - Journal of Philosophical Logic 4 (3):293 - 326.
    This paper contains an axiomatic theory of first order modal logic with operations, identity, and descriptions together with a formal semantics which interprets the theory in such a manner that empty universes of discourse and denotationless terms are allowed for at each possible world. The intuitive basis of the theory is discussed in preliminary sections, the syntax and semantics of theory are then characterized, its semantical adequacy is demonstrated, and certain important axioms and theorems are discussed in detail in later (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Intensional Models for the Theory of Types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
    In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  24. Higher Order Modal Logic.Reinhard Muskens - 2006 - In Patrick Blackburn, Johan Van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 621-653.
    A logic is called higher order if it allows for quantification over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions, etc. Higher order logic began with Frege, was formalized in Russell [46] and Whitehead and Russell [52] early in the previous century, and received its canonical formulation in Church [14].1 While classical type theory has since long been overshadowed by set theory as a foundation of mathematics, recent decades have shown remarkable (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25. Modeling Unicorns and Dead Cats: Applying Bressan’s ML Ν to the Necessary Properties of Non-Existent Objects.Tyke Nunez - 2018 - Journal of Philosophical Logic 47 (1):95–121.
    Should objects count as necessarily having certain properties, despite their not having those properties when they do not exist? For example, should a cat that passes out of existence, and so no longer is a cat, nonetheless count as necessarily being a cat? In this essay I examine different ways of adapting Aldo Bressan’s MLν so that it can accommodate an affirmative answer to these questions. Anil Gupta, in The Logic of Common Nouns, creates a number of languages that have (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26. 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 (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27. Modal Monsters and Talk About Fiction.Stefano Predelli - 2008 - Journal of Philosophical Logic 37 (3):277-297.
    This paper argues in favor of a treatment of discourse about fiction in terms of operators on character, that is, Kaplanesque ‘monsters’. The first three sections criticize the traditional analysis of ‘according to the fiction’ as an intensional operator, and the approach to fictional discourse grounded on the notion of contextual shifts. The final sections explain how an analysis in terms of monsters yields the correct readings for a variety of examples involving modal and temporal indexicals.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28. Two Dogmas in Retrospect.W. V. Quine - 1991 - Canadian Journal of Philosophy 21 (3):265 - 274.
    In retrospecting "Two Dogmas" I find myself overshooting by twenty years. I think back to college days, 61 years agao. I majored in mathematics and was doing my honors reading in mathematical logic, a subject that had not yet penetrated the Oberlin curriculum. My new love, in the platonic sense, was Whitehead and Russell's Principia Mathematica.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   41 citations  
  29. Ambivalence: A Philosophical Exploration.Hili Razinsky - 2016 - Rowman & Littlefield International.
    Ambivalence (as in practical conflicts, moral dilemmas, conflicting beliefs, and mixed feelings) is a central phenomenon of human life. Yet ambivalence is incompatible with entrenched philosophical conceptions of personhood, judgement, and action, and is denied or marginalised by thinkers of diverse concerns. This book takes a radical new stance, bringing the study of core philosophical issues together with that of ambivalence. The book proposes new accounts in several areas – including subjectivity, consciousness, rationality, and value – while elucidating a wide (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  30. Getting Started: Beginnings in the Logic of Action.Krister Segerberg - 1992 - Studia Logica 51 (3-4):347 - 378.
    A history of the logic of action is outlined, beginning with St Anselm. Five modern authors are discussed in some detail: von Wright, Fitch, Kanger, Chellas and Pratt.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  31. Logic, Language and Computation.Jerry Seligman & Dag Westerstahl (eds.) - 1996 - Center for the Study of Language and Inf.
  32. Reichenbach, Russell and the Metaphysics of Induction.Michael Shaffer - forthcoming - Argumenta.
    Hans Reichenbach’s pragmatic treatment of the problem of induction in his later works on inductive inference was, and still is, of great interest. However, it has been dismissed as a pseudo-solution and it has been regarded as problematically obscure. This is, in large part, due to the difficulty in understanding exactly what Reichenbach’s solution is supposed to amount to, especially as it appears to offer no response to the inductive skeptic. For entirely different reasons, the significance of Bertrand Russell’s classic (...)
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33. Causality, Modality, and Explanation.Graham White - 2008 - Notre Dame Journal of Formal Logic 49 (3):313-343.
    We start with Fodor's critique of cognitive science in "The mind doesn't work that way: The scope and limits of computational psychology": he argues that much mental activity cannot be handled by the current methods of cognitive science because it is nonmonotonic and, therefore, is global in nature, is not context-free, and is thus not capable of being formalized by a Turing-like mental architecture. We look at the use of nonmonotonic logic in the artificial intelligence community, particularly with the discussion (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  34. The Modal Object Calculus and its Interpretation.Edward N. Zalta - 1997 - In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 249--279.
    The modal object calculus is the system of logic which houses the (proper) axiomatic theory of abstract objects. The calculus has some rather interesting features in and of itself, independent of the proper theory. The most sophisticated, type-theoretic incarnation of the calculus can be used to analyze the intensional contexts of natural language and so constitutes an intensional logic. However, the simpler second-order version of the calculus couches a theory of fine-grained properties, relations and propositions and serves as a framework (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35. A Philosophical Conception of Propositional Modal Logic.Edward N. Zalta - 1993 - Philosophical Topics 21 (2):263-281.
    The author revises the formulation of propositional modal logic by interposing a domain of structured propositions between the modal language and the models. Interpretations of the language (i.e., ways of mapping the language into the domain of propositions) are distinguished from models of the domain of propositions (i.e., ways of assigning truth values to propositions at each world), and this contrasts with the traditional formulation. Truth and logical consequence are defined, in the first instance, as properties of, and relations among, (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Replies to the Critics.Edward N. Zalta - 1993 - Philosophical Studies 69 (2-3):231-242.
    In an author-meets-critics session at the March 1992 Pacific APA meetings, the critics (Christopher Menzel, Harry Deutsch, and C. Anthony Anderson) commented on the author's book *Intensional Logic and the Metaphysics of Intentionality* (Cambridge, MA: MIT/Bradford, 1988). The critical commentaries are published in this issue together with these replies by the author. The author responds to questions concerning the system he proposes, and in particular, to questions concerning the treatment of modality, the semantics of belief reports, and the general efficacy (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark