View topic on PhilPapers for more information
Related categories

66 found
Order:
More results on PhilPapers
1 — 50 / 66
  1. added 2019-09-26
    Issues in Epistemic and Modal Logics and Their Applications.Cezar A. Mortari - 1991 - Dissertation, University of Tübingen
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. added 2019-09-23
    Moore's Paradox and the Logic of Belief.Andrés Páez - manuscript
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. added 2019-09-18
    Indicative Conditionals Without Iterative Epistemology.Ben Holguín - forthcoming - Noûs.
    This paper argues that two widely accepted principles about the indicative conditional jointly presuppose the falsity of one of the most prominent arguments against epistemological iteration principles. The first principle about the indicative conditional, which has close ties both to the Ramsey test and the “or-to-if” inference, says that knowing a material conditional suffices for knowing the corresponding indicative. The second principle says that conditional contradictions cannot be true when their antecedents are epistemically possible. Taken together, these principles entail that (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. added 2019-09-16
    Bayesianism for Non-Ideal Agents.Mattias Skipper & Jens Christian Bjerring - forthcoming - Erkenntnis.
    Orthodox Bayesianism is a highly idealized theory of how we ought to live our epistemic lives. One of the most widely discussed idealizations is that of logical omniscience: the assumption that an agent’s degrees of belief must be probabilistically coherent to be rational. It is widely agreed that this assumption is problematic if we want to reason about bounded rationality, logical learning, or other aspects of non-ideal epistemic agency. Yet, we still lack a satisfying way to avoid logical omniscience within (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  5. added 2019-09-10
    Two Tales of Epistemic Models.Yang Liu - forthcoming - Thought: A Journal of Philosophy.
    This short paper has two parts. First, we prove a generalisation of Aumann's surprising impossibility result in the context of rational decision making. We then move, in the second part, to discuss the interpretational meaning of some formal setups of epistemic models, and we do so by means of presenting an interesting puzzle in epistemic logic. The aim is to highlight certain problematic aspects of these epistemic systems concerning first/third-person asymmetry which underlies both parts of the story. This asymmetry, we (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  6. added 2019-06-06
    On Epistemic Logic and Logical Omniscience.William J. Rapaport & Moshe Y. Vardi - 1988 - Journal of Symbolic Logic 53 (2):668.
    Review of Joseph Y. Halpern (ed.), Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference (Los Altos, CA: Morgan Kaufmann, 1986),.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   12 citations  
  7. added 2019-06-05
    On the Factivity of Implicit Intersubjective Knowledge.Alessandro Giordani - 2014 - Synthese 191 (8):1909-1923.
    The concept of knowledge can be modelled in epistemic modal logic and, if modelled by using a standard modal operator, it is subject to the problem of logical omniscience. The classical solution to this problem is to distinguish between implicit and explicit knowledge and to construe the knowledge operator as capturing the concept of implicit knowledge. In addition, since a proposition is said to be implicitly known just in case it is derivable from the set of propositions that are explicitly (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  8. added 2019-03-09
    Règles de logique, Règles de discours. La pragmatique de la connaissance selon Hintikka.Fabien Schang - 2018 - Klesis 39:92-124.
    L’article qui suit a pour but de présenter un des aspects centraux de la contribution philosophique de Jaakko Hintikka : l’épistémologie formelle. Le thème choisi, le Paradoxe de Moore, permettra d’illustrer le mot d’ordre de la philosophie formelle, celui d’utiliser des outils logiques en vue de la clarification de problèmes philosophiques. Il s’agit également de mettre en évidence la nature pragmatique du discours épistémique, qui transparaît dans les résultats sémantiques de Hintikka et parle en faveur de la logique illocutoire.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. added 2019-03-09
    How to Hintikkize a Frege.Fabien Schang - 2016 - In Amirouche Moktefi, Alessio Moretti & Fabien Schang (eds.), Let’s be Logical (Studies in the Philosophy and History of Logic). Londres, Royaume-Uni: pp. 161-172.
    The paper deals with the main contribution of the Finnish logician Jaakko Hintikka: epistemic logic, in particular the 'static' version of the system based on the formal analysis of the concepts of knowledge and belief. I propose to take a different look at this philosophical logic and to consider it from the opposite point of view of the philosophy of logic. At first, two theories of meaning are described and associated with two competing theories of linguistic competence. In a second (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  10. added 2019-03-09
    Une sémantique générale des croyances justifiées.Fabien Schang & Alexandre Costa Leite - 2016 - CLE-Prints 16 (3):1-24.
    Nous proposons une logique épistémique quadrivalente AR4.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  11. added 2019-01-03
    Standard State Space Models of Unawareness.Peter Fritz & Harvey Lederman - 2015 - Theoretical Aspects of Rationality and Knowledge 15.
    The impossibility theorem of Dekel, Lipman and Rustichini has been thought to demonstrate that standard state-space models cannot be used to represent unawareness. We first show that Dekel, Lipman and Rustichini do not establish this claim. We then distinguish three notions of awareness, and argue that although one of them may not be adequately modeled using standard state spaces, there is no reason to think that standard state spaces cannot provide models of the other two notions. In fact, standard space (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  12. added 2018-08-19
    Knowability Relative to Information.Peter Hawke & Franz Berto - forthcoming - Mind.
    We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation models (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  13. added 2018-07-16
    Impossible Worlds and Partial Belief.Edward Elliott - 2019 - Synthese 196 (8):3433-3458.
    One response to the problem of logical omniscience in standard possible worlds models of belief is to extend the space of worlds so as to include impossible worlds. It is natural to think that essentially the same strategy can be applied to probabilistic models of partial belief, for which parallel problems also arise. In this paper, I note a difficulty with the inclusion of impossible worlds into probabilistic models. Under weak assumptions about the space of worlds, most of the propositions (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. added 2018-07-01
    Aboutness in Imagination.Franz Berto - 2018 - Philosophical Studies 175 (8):1871-1886.
    I present a formal theory of the logic and aboutness of imagination. Aboutness is understood as the relation between meaningful items and what they concern, as per Yablo and Fine’s works on the notion. Imagination is understood as per Chalmers’ positive conceivability: the intentional state of a subject who conceives that p by imagining a situation—a configuration of objects and properties—verifying p. So far aboutness theory has been developed mainly for linguistic representation, but it is natural to extend it to (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   11 citations  
  15. added 2018-05-17
    Defusing the Miners Paradox.Michael Shaffer - 2018 - Filosofiska Notiser 5:57-67.
    This paper presents a case for the claim that the infamous miners paradox is not a paradox. This contention is based on some important observations about the nature of ignorance with respect to both disjunctions and conditional obligations and their modal features. The gist of the argument is that given the uncertainty about the location of the miners in the story and the nature of obligations, the apparent obligation to block either mine shaft is cancelled.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  16. added 2018-04-20
    Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge.Mai Ajspur & Valentin Goranko - 2013 - In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 80--96.
    Temporal epistemic logics are known, from results of Halpern and Vardi, to have a wide range of complexities of the satisfiability problem: from PSPACE, through non-elementary, to highly undecidable. These complexities depend on the choice of some key parameters specifying, inter alia, possible interactions between time and knowledge, such as synchrony and agents' abilities for learning and recall. In this work we develop practically implementable tableau-based decision procedures for deciding satisfiability in single-agent synchronous temporal-epistemic logics with interactions between time and (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  17. added 2018-04-20
    Tableau-Based Decision Procedure for the Multiagent Epistemic Logic with All Coalitional Operators for Common and Distributed Knowledge.M. Ajspur, V. Goranko & D. Shkatov - 2013 - Logic Journal of the IGPL 21 (3):407-437.
    We develop a conceptually clear, intuitive, and feasible decision procedure for testing satisfiability in the full multi\-agent epistemic logic \CMAELCD\ with operators for common and distributed knowledge for all coalitions of agents mentioned in the language. To that end, we introduce Hintikka structures for \CMAELCD\ and prove that satisfiability in such structures is equivalent to satisfiability in standard models. Using that result, we design an incremental tableau-building procedure that eventually constructs a satisfying Hintikka structure for every satisfiable input set of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. added 2018-04-12
    A Dynamic Solution to the Problem of Logical Omniscience.Mattias Skipper & Jens Christian Bjerring - 2019 - Journal of Philosophical Logic 48 (3):501-521.
    The traditional possible-worlds model of belief describes agents as ‘logically omniscient’ in the sense that they believe all logical consequences of what they believe, including all logical truths. This is widely considered a problem if we want to reason about the epistemic lives of non-ideal agents who—much like ordinary human beings—are logically competent, but not logically omniscient. A popular strategy for avoiding logical omniscience centers around the use of impossible worlds: worlds that, in one way or another, violate the laws (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  19. added 2018-03-21
    Simple Hyperintensional Belief Revision.F. Berto - 2018 - Erkenntnis (3):1-17.
    I present a possible worlds semantics for a hyperintensional belief revision operator, which reduces the logical idealization of cognitive agents affecting similar operators in doxastic and epistemic logics, as well as in standard AGM belief revision theory. belief states are not closed under classical logical consequence; revising by inconsistent information does not perforce lead to trivialization; and revision can be subject to ‘framing effects’: logically or necessarily equivalent contents can lead to different revisions. Such results are obtained without resorting to (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. added 2018-02-26
    Modal Epistemology.Juhani Yli-Vakkuri & John Hawthorne - manuscript
    Some central epistemological notions are expressed by sentential operators O that entail the possibility of knowledge in the sense that 'Op' entails 'It is possible to know that p'. We call these modal-epistemological notions. Using apriority and being in a position to know as case studies, we argue that the logics of modal epistemological notions are extremely weak. In particular, their logics are not normal and do not include any closure principles.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. added 2018-02-17
    On a New Tentative Solution to Fitch’s Paradox.Alessandro Giordani - 2016 - Erkenntnis 81 (3):597-611.
    In a recent paper, Alexander argues that relaxing the requirement that sound knowers know their own soundness might provide a solution to Fitch’s paradox and introduces a suitable axiomatic system where the paradox is avoided. In this paper an analysis of this solution is proposed according to which the effective move for solving the paradox depends on the axiomatic treatment of the ontic modality rather than the limitations imposed on the epistemic one. It is then shown that, once the ontic (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  22. added 2017-12-20
    Two Reformulations of the Verificationist Thesis in Epistemic Temporal Logic That Avoid Fitch’s Paradox.Alexandru Dragomir - 2014 - Romanian Journal of Analytic Philosophy 8 (1):44-62.
    1) We will begin by offering a short introduction to Epistemic Logic and presenting Fitch’s paradox in an epistemic‑modal logic. (2) Then, we will proceed to presenting three Epistemic Temporal logical frameworks creat‑ ed by Hoshi (2009) : TPAL (Temporal Public Announcement Logic), TAPAL (Temporal Arbitrary Public Announcement Logic) and TPAL+P ! (Temporal Public Announcement Logic with Labeled Past Operators). We will show how Hoshi stated the Verificationist Thesis in the language of TAPAL and analyze his argument on why this (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  23. added 2017-10-28
    The AGM Theory and Inconsistent Belief Change.Koji Tanaka - 2005 - Logique Et Analyse 48 (189-192):113-150.
    The problem of how to accommodate inconsistencies has attracted quite a number of researchers, in particular, in the area of database theory. The problem is also of concern in the study of belief change. For inconsistent beliefs are ubiquitous. However, comparatively little work has been devoted to discussing the problem in the literature of belief change. In this paper, I examine how adequate the AGM theory is as a logical framework for belief change involving inconsistencies. The technique is to apply (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   5 citations  
  24. added 2017-10-28
    On An Error In Grove's Proof.Koji Tanaka & Graham Priest - 1997 - Logique Et Analyse 158:215-217.
    Nearly a decade has past since Grove gave a semantics for the AGM postulates. The semantics, called sphere semantics, provided a new perspective of the area of study, and has been widely used in the context of theory or belief change. However, the soundness proof that Grove gives in his paper contains an error. In this note, we will point this out and give two ways of repairing it.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  25. added 2017-09-11
    Paraconsistent Dynamics.Patrick Girard & Koji Tanaka - 2016 - Synthese 193 (1):1-14.
    It has been an open question whether or not we can define a belief revision operation that is distinct from simple belief expansion using paraconsistent logic. In this paper, we investigate the possibility of meeting the challenge of defining a belief revision operation using the resources made available by the study of dynamic epistemic logic in the presence of paraconsistent logic. We will show that it is possible to define dynamic operations of belief revision in a paraconsistent setting.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  26. added 2017-06-09
    Natural Deduction for Diagonal Operators.Fabio Lampert - 2017 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics: The CSHPM 2016 Annual Meeting in Calgary, Alberta. Cham: Birkhäuser. pp. 39-51.
    We present a sound and complete Fitch-style natural deduction system for an S5 modal logic containing an actuality operator, a diagonal necessity operator, and a diagonal possibility operator. The logic is two-dimensional, where we evaluate sentences with respect to both an actual world (first dimension) and a world of evaluation (second dimension). The diagonal necessity operator behaves as a quantifier over every point on the diagonal between actual worlds and worlds of evaluation, while the diagonal possibility quantifies over some point (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  27. added 2017-05-28
    Non‐Classical Knowledge.Ethan Jerzak - 2019 - Philosophy and Phenomenological Research 98 (1):190-220.
    The Knower paradox purports to place surprising a priori limitations on what we can know. According to orthodoxy, it shows that we need to abandon one of three plausible and widely-held ideas: that knowledge is factive, that we can know that knowledge is factive, and that we can use logical/mathematical reasoning to extend our knowledge via very weak single-premise closure principles. I argue that classical logic, not any of these epistemic principles, is the culprit. I develop a consistent theory validating (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  28. added 2017-05-10
    The Logical Burdens of Proof. Assertion and Hypothesis.Daniele Chiffi & Fabien Schang - 2017 - Logic and Logical Philosophy 26 (4):1-22.
    The paper proposes two logical analyses of (the norms of) justification. In a first, realist-minded case, truth is logically independent from justification and leads to a pragmatic logic LP including two epistemic and pragmatic operators, namely, assertion and hypothesis. In a second, antirealist-minded case, truth is not logically independent from justification and results in two logical systems of information and justification: AR4 and AR4¢, respectively, provided with a question-answer semantics. The latter proposes many more epistemic agents, each corresponding to a (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  29. added 2017-05-09
    The Logic of Epistemic Justification.Martin Smith - 2018 - Synthese 195 (9):3857-3875.
    Theories of epistemic justification are commonly assessed by exploring their predictions about particular hypothetical cases – predictions as to whether justification is present or absent in this or that case. With a few exceptions, it is much less common for theories of epistemic justification to be assessed by exploring their predictions about logical principles. The exceptions are a handful of ‘closure’ principles, which have received a lot of attention, and which certain theories of justification are well known to invalidate. But (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  30. added 2017-05-08
    Doxastic Logic.Michael Caie - 2019 - In Jonathan Weisberg & Richard Pettigrew (eds.), The Open Handbook of Formal Epistemology. PhilPapers Foundation. pp. 499-541.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  31. added 2017-04-08
    The Logic of Joint Ability in Two-Player Tacit Games.Peter Hawke - 2017 - Review of Symbolic Logic 10 (3):481-508.
    Logics of joint strategic ability have recently received attention, with arguably the most influential being those in a family that includes Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). Notably, both CL and ATL bypass the epistemic issues that underpin Schelling-type coordination problems, by apparently relying on the meta-level assumption of (perfectly reliable) communication between cooperating rational agents. Yet such epistemic issues arise naturally in settings relevant to ATL and CL: these logics are standardly interpreted on structures where agents move (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  32. added 2017-03-08
    Actuality and the a Priori.Fabio Lampert - 2018 - Philosophical Studies 175 (3):809-830.
    We consider a natural-language sentence that cannot be formally represented in a first-order language for epistemic two-dimensional semantics. We also prove this claim in the “Appendix” section. It turns out, however, that the most natural ways to repair the expressive inadequacy of the first-order language render moot the original philosophical motivation of formalizing a priori knowability as necessity along the diagonal.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  33. added 2017-01-06
    An Interpretation of McCall’s “Real Possible Worlds” and His Semantics for Counterfactuals.Alexandru Dragomir - 2016 - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences 3 (1):65-78.
    McCall (1984) offered a semantics of counterfactual conditionals based on “real possible worlds” that avoids using the vague notion of similarity between possible worlds. I will propose an interpretation of McCall’s counterfactuals in a formal framework based on Baltag-Moss-Solecki events and protocols. Moreover, I will argue that using this interpretation one can avoid an objection raised by Otte (1987).
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  34. added 2017-01-06
    FIVE STEPS TO RESPONSIBILITY.Lisanyuk Elena - 2013 - Revista da Faculdade de Direito da UFMG 63:125-149.
    Responsibility has entered the academic discourse of logicians hardly more than few decades ago. I suggest a logical concept of responsibility which employs ideas both from a number of theories belonging to different branches of logic as well from other academic areas. As a comment to this concept, I suggest five steps narrative scenario in order to show how the logical dimension of responsibility emerges from diverse tendencies in logic and other sciences. Here are the five steps briefly stated: Step (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  35. added 2016-09-21
    Reply to Yli-Vakkuri.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):839-851.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  36. added 2016-08-22
    TxW Epistemic Modality.Andrea Iacona - 2012 - Logic and Philosophy of Science 10:3-14.
    So far, T×W frames have been employed to provide a semantics for a language of tense logic that includes a modal operator that expresses historical necessity. The operator is defined in terms of quantification over possible courses of events that satisfy a certain constraint, namely, that of being alike up to a given point. However, a modal operator can as well be defined without placing that constraint. This paper outlines a T×W logic where an operator of the latter kind is (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  37. added 2016-06-17
    A New Framework for Justification Logic.Alessandro Giordani - 2015 - Journal of Applied Non-Classical Logics 25 (4):308-323.
    The logic of justification provides an in-depth analysis of the epistemic states of an agent. This paper aims at solving some of the problems to which the common interpretation of the operators of justification logic is subject by providing a framework in which a crucial distinction between potential and explicit justifiers is exploited. The paper is subdivided into three sections. The first section offers an introduction to a basic system LJ of justification logic and to the problems concerning its interpretation. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  38. added 2016-06-16
    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   Download  
     
    Export citation  
     
    Bookmark  
  39. added 2016-04-27
    Lotteries and Prefaces.Matthew A. Benton - 2017 - In Jonathan Jenkins Ichikawa (ed.), The Routledge Handbook of Epistemic Contextualism. New York: Routledge. pp. 168-176.
    The lottery and preface paradoxes pose puzzles in epistemology concerning how to think about the norms of reasonable or permissible belief. Contextualists in epistemology have focused on knowledge ascriptions, attempting to capture a set of judgments about knowledge ascriptions and denials in a variety of contexts (including those involving lottery beliefs and the principles of closure). This article surveys some contextualist approaches to handling issues raised by the lottery and preface, while also considering some of the difficulties encountered by those (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  40. added 2015-12-31
    Being in a Position to Know and Closure.Jan Heylen - 2016 - Thought: A Journal of Philosophy 5 (1):63-67.
    The focus of this article is the question whether the notion of being in a position to know is closed under modus ponens. The question is answered negatively.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  41. added 2015-12-04
    Logic of Implicit and Explicit Justifiers.Alessandro Giordani - 2016 - In L. Felline, A. Ledda, F. Paoli & E. Rossanese (eds.), New Directions in Logic and the Philosophy of Science. College Publications. pp. 119-131.
    The aim of this paper is to provide an intuitive semantics for systems of justification logic which allows us to cope with the distinction between implicit and explicit justifiers. The paper is subdivided into three sections. In the first one, the distinction between implicit and explicit justifiers is presented and connected with a proof-theoretic distinction between two ways of interpreting sequences of sentences; that is, as sequences of axioms in a certain set and as sequences proofs constructed from that set (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  42. added 2015-11-15
    The Epistemic Significance of Numerals.Jan Heylen - forthcoming - 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   Download  
     
    Export citation  
     
    Bookmark  
  43. added 2015-11-12
    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   Download  
     
    Export citation  
     
    Bookmark  
  44. added 2015-10-26
    Counterfactual Theories of Knowledge and the Notion of Actuality.Jan Heylen - 2016 - Philosophical Studies 173 (6):1647-1673.
    The central question of this article is how to combine counterfactual theories of knowledge with the notion of actuality. It is argued that the straightforward combination of these two elements leads to problems, viz. the problem of easy knowledge and the problem of missing knowledge. In other words, there is overgeneration of knowledge and there is undergeneration of knowledge. The combination of these problems cannot be solved by appealing to methods by which beliefs are formed. An alternative solution is put (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  45. added 2015-09-01
    Closure of A Priori Knowability Under A Priori Knowable Material Implication.Jan Heylen - 2015 - Erkenntnis 80 (2):359-380.
    The topic of this article is the closure of a priori knowability under a priori knowable material implication: if a material conditional is a priori knowable and if the antecedent is a priori knowable, then the consequent is a priori knowable as well. This principle is arguably correct under certain conditions, but there is at least one counterexample when completely unrestricted. To deal with this, Anderson proposes to restrict the closure principle to necessary truths and Horsten suggests to restrict it (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  46. added 2015-08-18
    Dynamic Epistemic Logic and Logical Omniscience.Mattias Skipper Rasmussen - 2015 - Logic and Logical Philosophy 24 (3):377-399.
    Epistemic logics based on the possible worlds semantics suffer from the problem of logical omniscience, whereby agents are described as knowing all logical consequences of what they know, including all tautologies. This problem is doubly challenging: on the one hand, agents should be treated as logically non-omniscient, and on the other hand, as moderately logically competent. Many responses to logical omniscience fail to meet this double challenge because the concepts of knowledge and reasoning are not properly separated. In this paper, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  47. added 2015-04-04
    Dynamic Consequence for Soft Information.Olivier Roy & Ole Thomassen Hjortland - forthcoming - Journal of Logic and Computation.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  48. added 2014-05-22
    On Conceiving the Inconsistent.Francesco Berto - 2014 - Proceedings of the Aristotelian Society 114 (1pt1):103-121.
    I present an approach to our conceiving absolute impossibilities—things which obtain at no possible world—in terms of ceteris paribus intentional operators: variably restricted quantifiers on possible and impossible worlds based on world similarity. The explicit content of a representation plays a role similar in some respects to the one of a ceteris paribus conditional antecedent. I discuss how such operators invalidate logical closure for conceivability, and how similarity works when impossible worlds are around. Unlike what happens with ceteris paribus counterfactual (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   8 citations  
  49. added 2014-04-02
    Problems in Epistemic Space.Jens Christian Bjerring - 2012 - Journal of Philosophical Logic (1):1-18.
    When a proposition might be the case, for all an agent knows, we can say that the proposition is epistemically possible for the agent. In the standard possible worlds framework, we analyze modal claims using quantification over possible worlds. It is natural to expect that something similar can be done for modal claims involving epistemic possibility. The main aim of this paper is to investigate the prospects of constructing a space of worlds—epistemic space—that allows us to model what is epistemically (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  50. added 2014-03-25
    DDL Unlimited: Dynamic Doxastic Logic for Introspective Agents.Sten Lindström & Wlodek Rabinowicz - 1999 - Erkenntnis 50 (2-3):353-385.
    The theories of belief change developed within the AGM-tradition are not logics in the proper sense, but rather informal axiomatic theories of belief change. Instead of characterizing the models of belief and belief change in a formalized object language, the AGM-approach uses a natural language — ordinary mathematical English — to characterize the mathematical structures that are under study. Recently, however, various authors such as Johan van Benthem and Maarten de Rijke have suggested representing doxastic change within a formal logical (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   23 citations  
1 — 50 / 66