Switch to: Citations

Add references

You must login to add references.
  1. Replacement in Logic.Lloyd Humberstone - 2013 - Journal of Philosophical Logic 42 (1):49-89.
    We study a range of issues connected with the idea of replacing one formula by another in a fixed context. The replacement core of a consequence relation ⊢ is the relation holding between a set of formulas {A1,..., Am,...} and a formula B when for every context C, we have C,..., C,... ⊢ C. Section 1 looks at some differences between which inferences are lost on passing to the replacement cores of the classical and intuitionistic consequence relations. For example, we (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • The Cognitive Nature of Desire.R. B. K. Howe - 1994 - Southern Journal of Philosophy 32 (2):179-196.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.
    Download  
     
    Export citation  
     
    Bookmark   722 citations  
  • New Essays on the Knowability Paradox.Joe Salerno (ed.) - 2008 - Oxford, England and New York, NY, USA: Oxford University Press.
    This collection assembles Church's referee reports, Fitch's 1963 paper, and nineteen new papers on the knowability paradox.
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  • Knowledge and its limits.Timothy Williamson - 2000 - New York: Oxford University Press.
    Knowledge and its Limits presents a systematic new conception of knowledge as a kind of mental stage sensitive to the knower's environment. It makes a major contribution to the debate between externalist and internalist philosophies of mind, and breaks radically with the epistemological tradition of analyzing knowledge in terms of true belief. The theory casts new light on such philosophical problems as scepticism, evidence, probability and assertion, realism and anti-realism, and the limits of what can be known. The arguments are (...)
    Download  
     
    Export citation  
     
    Bookmark   1886 citations  
  • The Connectives.Lloyd Humberstone - 2011 - MIT Press. Edited by Lloyd Humberstone.
    It will be an essential resource for philosophers, mathematicians, computer scientists, linguists, or any scholar who finds connectives, and the conceptual issues surrounding them, to be a source of interest.This landmark work offers both ...
    Download  
     
    Export citation  
     
    Bookmark   119 citations  
  • Two incomplete anti-realist modal epistemic logics.Timothy Williamson - 1990 - Journal of Symbolic Logic 55 (1):297-314.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • (1 other version)A logical analysis of some value concepts.Frederic Fitch - 1963 - Journal of Symbolic Logic 28 (2):135-142.
    Download  
     
    Export citation  
     
    Bookmark   236 citations  
  • Knowledge and its Limits. [REVIEW]L. Horsten - 2000 - Tijdschrift Voor Filosofie 64 (1):200-201.
    Download  
     
    Export citation  
     
    Bookmark   2394 citations  
  • (1 other version)A study in the logic of self-consciousness'.Hector-Neri Castañeda - 2001 - In Andrew Brook & Richard Devidi (eds.), Self-Reference Amd Self-Awareness, Advances in Consciousness Research Volume 11. John Benjamins. pp. 30--51.
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • .E. J. Lemmon - 1966
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • (1 other version)Mathematical Tennis.J. R. Lucas - 1985 - Proceedings of the Aristotelian Society 85:63 - 72.
    J. R. Lucas; IV*—Mathematical Tennis, Proceedings of the Aristotelian Society, Volume 85, Issue 1, 1 June 1985, Pages 63–72, https://doi.org/10.1093/aristotelia.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)'He': A study in the logic of self-consciousness.Hector-Neri Castañeda - 1966 - Ratio 8:130-157.
    Download  
     
    Export citation  
     
    Bookmark   145 citations  
  • .Joe Salerno - 2008 - In New Essays on the Knowability Paradox. Oxford, England and New York, NY, USA: Oxford University Press.
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • Blindspots.Roy A. Sorensen - 1988 - New York: Oxford University Press.
    Sorensen here offers a unified solution to a large family of philosophical puzzles and paradoxes through a study of "blindspots": consistent propositions that cannot be rationally accepted by certain individuals even though they might by true.
    Download  
     
    Export citation  
     
    Bookmark   254 citations  
  • Wanting as believing.I. L. Humberstone - 1987 - Canadian Journal of Philosophy 17 (1):49-62.
    An account of desire as a species of belief may owe its appeal to the details of its proposal as to precisely what sort of beliefs desires are to be identified with, and its downfall may be due to those details it does provide. For example, it may be proposed that the desire that α is in fact the belief that it ought to be that α, or is morally good or desirable that it should be the case that α. (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Studia Logica 16:119-122.
    Download  
     
    Export citation  
     
    Bookmark   701 citations  
  • IV*—Mathematical Tennis.J. R. Lucas - 1985 - Proceedings of the Aristotelian Society 85 (1):63-72.
    J. R. Lucas; IV*—Mathematical Tennis, Proceedings of the Aristotelian Society, Volume 85, Issue 1, 1 June 1985, Pages 63–72, https://doi.org/10.1093/aristotelia.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On a side effect of solving Fitch's paradox by typing knowledge.Volker Halbach - 2008 - Analysis 68 (2):114-120.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Moorean Phenomena in Epistemic Logic.Wesley H. Holliday & Thomas F. Icard - 2010 - In Lev Dmitrievich Beklemishev, Valentin Goranko & Valentin Shehtman (eds.), Advances in Modal Logic 8. London, England: College Publications. pp. 178-199.
    A well-known open problem in epistemic logic is to give a syntactic characterization of the successful formulas. Semantically, a formula is successful if and only if for any pointed model where it is true, it remains true after deleting all points where the formula was false. The classic example of a formula that is not successful in this sense is the “Moore sentence” p ∧ ¬BOXp, read as “p is true but you do not know p.” Not only is the (...)
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • (1 other version)Relative necessity.Timothy Smiley - 1963 - Journal of Symbolic Logic 28 (2):113-134.
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  • Should knowledge entail belief?Joseph Y. Halpern - 1996 - Journal of Philosophical Logic 25 (5):483 - 494.
    The appropriateness of S5 as a logic of knowledge has been attacked at some length in the philosophical literature. Here one particular attack based on the interplay between knowledge and belief is considered: Suppose that knowledge satisfies S5, belief satisfies KD45, and both the entailment property (knowledge implies belief) and positive certainty (if the agent believes something, she believes she knows it) hold. Then it can be shown that belief reduces to knowledge: it is impossible to have false beliefs. While (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.
    A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers an (...)
    Download  
     
    Export citation  
     
    Bookmark   436 citations  
  • (1 other version)Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.
    Download  
     
    Export citation  
     
    Bookmark   67 citations  
  • Modal Formulas True at Some Point in Every Model.Lloyd Humberstone - 2008 - Australasian Journal of Logic 6:70-82.
    In a paper on the logical work of the Jains, Graham Priest considers a consequence relation, semantically characterized, which has a natural analogue in modal logic. Here we give a syntactic/axiomatic description of the modal formulas which are consequences of the empty set by this relation, which is to say: those formulas which are, for every model, true at some point in that model.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Collapsing Modalities.Lloyd Humberstone - 2009 - Notre Dame Journal of Formal Logic 50 (2):119-132.
    Sections 1 and 2 respectively raise and settle the question of whether, if an affirmative modality collapses (reduces to the null modality, that is) in a normal modal logic, then all modalities of the same length collapse in that logic, while Section 3 considers some special cases of an analogous phenomenon for congruential modal logics, closing with a general question about collapsing modalities in this broader range of logics.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The myth of the intuitionistic “Or”.A. P. Hazen - 1990 - In J. Dunn & A. Gupta (eds.), Truth or Consequences: Essays in Honor of Nuel Belnap. Boston, MA, USA: Kluwer Academic Publishers. pp. 177--195.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A Counterexample in Tense Logic.Frank Wolter - 1996 - Notre Dame Journal of Formal Logic 37 (2):167-173.
    We construct a normal extension of K4 with the finite model property whose minimal tense extension is not complete with respect to Kripke semantics.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Inverses for normal modal operators.Lloyd Humberstone & Timothy Williamson - 1997 - Studia Logica 59 (1):33-64.
    Given a 1-ary sentence operator , we describe L - another 1-ary operator - as as a left inverse of in a given logic if in that logic every formula is provably equivalent to L. Similarly R is a right inverse of if is always provably equivalent to R. We investigate the behaviour of left and right inverses for taken as the operator of various normal modal logics, paying particular attention to the conditions under which these logics are conservatively extended (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Global supervenience and belief.Franz Von Kutschera - 1994 - Journal of Philosophical Logic 23 (1):103-110.
    Global supervenience of beliefs about physical states of affairs on such states has strongly counter-intuitive consequences about what beliefs we can nomologically hold. This is an argument against a global supervenience of all mental properties on physical ones, and, since that is implied by strong supervenience, also against that as the preferred materialist thesis.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Halldén-completeness by gluing of Kripke frames.J. F. A. K. van Benthem & I. L. Humberstone - 1983 - Notre Dame Journal of Formal Logic 24 (4):426-430.
    We give in this paper a sufficient condition, cast in semantic terms, for Hallden-completeness in normal modal logics, a modal logic being said to be Hallden-complete (or Ήallden-reasonable') just in case for any disjunctive formula provable in the logic, where the disjuncts have no propositional variables in common, one or other of those disjuncts is provable in the logic.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • What fa says about a.Lloyd Humberstone - 2000 - Dialectica 54 (1):3–28.
    A sentence mentioning an object can be regarded as saying any one of several things about that object, without thereby being ambiguous. Some of the (logical) repercussions of this commonplace observation are recorded, and some critical discussion is provided of views which would appear to go against it.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • The Modal Logic of Agreement and Noncontingency.Lloyd Humberstone - 2002 - Notre Dame Journal of Formal Logic 43 (2):95-127.
    The formula A (it is noncontingent whether A) is true at a point in a Kripke model just in case all points accessible to that point agree on the truth-value of A. We can think of -based modal logic as a special case of what we call the general modal logic of agreement, interpreted with the aid of models supporting a ternary relation, S, say, with OA (which we write instead of A to emphasize the generalization involved) true at a (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Embeddings of propositional monomodal logics.E. Zolin - 2000 - Logic Journal of the IGPL 8 (6):861-882.
    The aim of this paper is to investigate the expressibility of classical propositional monomodal logics. To this end, a notion of embedding of one logic into another is introduced, which is a translation preserving theoremhood. Each translation trF is induced by a formula F of one variable p; it respects boolean connectives and translates a formula of a form □A into F). This notion enables to measure the expressibility of a logic by a number of logics embeddable into it. This (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Classical propositional operators: an exercise in the foundations of logic.Krister Segerberg - 1982 - New York: Oxford University Press.
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • Continuum Many Maximal Consistent Normal Bimodal Logics with Inverses.Timothy Williamson - 1998 - Notre Dame Journal of Formal Logic 39 (1):128-134.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • (1 other version)Relative Necessity.Timothy Smiley & T. J. Smiley - 1967 - Journal of Symbolic Logic 32 (3):401-401.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • (1 other version)Self-Reference and Modal Logic.[author unknown] - 1987 - Studia Logica 46 (4):395-398.
    Download  
     
    Export citation  
     
    Bookmark   62 citations