This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Siblings:
23 found
Search inside:
(import / add options)   Order:
  1. 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.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  2. C. Anthony Anderson (1998). Alonzo Church's Contributions to Philosophy and Intensional Logic. Bulletin of Symbolic Logic 4 (2):129-171.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  3. C. Anthony Anderson (1993). Zalta's Intensional Logic. Philosophical Studies 69 (2-3):221 - 229.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  4. C. Anthony Anderson (1986). Some Difficulties Concerning Russellian Intensional Logic. Noûs 20 (1):35-43.
  5. Lennart Åqvist (1999). The Logic of Historical Necessity as Founded on Two-Dimensional Modal Tense Logic. 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  
     
    My bibliography   1 citation  
  6. George Bealer (1998). Intensional Entities. In Edward Craig (ed.), Routledge Encyclopedia of Philosophy. Routledge 803-7.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  7. Steven M. Duncan, Possibilities That Matter IV: The Ground of All Possibilities.
    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  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  8. Steven M. Duncan, Possibilities That Matter I: Material Possibility.
    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  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  9. Steven M. Duncan, Possibilities That Matter II: Material Contingency and Sufficient Reason.
    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  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  10. Steven M. Duncan, Possibilities That Matter III: Materially Necessary Being.
    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  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  11. Jan Heylen (forthcoming). The Epistemic Significance of Numerals. Synthese:1-27.
    The central topic of this article is de re knowledge about natural numbers and its relation with names for numbers. It is held by several prominent philosophers that numerals are eligible for existential quantification in epistemic contexts, whereas other names for natural numbers are not. In other words, numerals are intimately linked with de re knowledge about natural numbers, whereas the other names for natural numbers are not. In this article I am looking for an explanation of this phenomenon. It (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. Jan Heylen (2010). Carnap's Theory of Descriptions and its Problems. 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 (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  13. David Israel & John Perry (1996). Where Monsters Dwell. In Jerry Seligman & Dag Westerståhl (eds.), Logic, Language and Computation. Csli Publications, Stanford 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  
     
    My bibliography  
  14. Heylen Jan (2009). Carnapian Modal and Epistemic Arithmetic. In Carrara Massimiliano & Morato Vittorio (eds.), Language, Knowledge, and Metaphysics. Selected papers from the First SIFA Graduate Conference. College Publications 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 (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  15. David Kaplan (1964). Foundations of Intensional Logic. Dissertation, UCLA
    Remove from this list  
     
    Export citation  
     
    My bibliography   6 citations  
  16. Franck Lihoreau & Manuel Rebuschi (eds.) (2014). Epistemology, Context, and Formalism. Springer Science & Business Media.
    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  
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17. Pavel Materna (2003). Actuality and Possibility. In A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers 289--295.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  18. 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 whether either is (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  19. Stefano Predelli (2008). Modal Monsters and Talk About Fiction. 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  
     
    My bibliography   1 citation  
  20. W. V. Quine (1991). Two Dogmas in Retrospect. 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 (5 more)  
     
    Export citation  
     
    My bibliography   31 citations  
  21. Krister Segerberg (1992). Getting Started: Beginnings in the Logic of Action. 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  
     
    My bibliography   14 citations  
  22. Jerry Seligman & Dag Westerståhl (eds.) (1996). Logic, Language and Computation. Csli Publications, Stanford.
  23. Graham White (2008). Causality, Modality, and Explanation. 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  
     
    My bibliography