About this topic
Summary Epistemic logics are logics that allow one to reason about knowledge in some way. The term ‘epistemic logic’ is often applied also to logics of related notions, such as logics of belief (more strictly, doxastic logics) and justification. Many epistemic logics are modal logics, whose language contains one or more knowledge operators and whose semantics is given in terms of relational Kripke models, containing epistemically possible worlds related to one another by epistemic accessibility relations. This modal approach to epistemic logic has been widely adopted in formal logic, philosophy, computer science, artificial intelligence, economics and game theory. The sub-sategory ‘Doxastic and Epistemic Logic’ also includes formal work on belief revision. This category also includes inductive logics and non-monotonic logics, both of which add to the stock of valid inferences, beyond those valid in classical logic. (These logics are super-classical, containing inferences which are not deductively valid and hence, in some sense, less than certain. In such logics, there is no guarantee that truth will be preserved from premises to conclusions. Non-monotonic logics have the feature that an inference from premises X to conclusion A may be valid, and yet the inference to may fail if we add an addition premise B to X, so that XA but not X, B ⊢ A.
Key works Modern epistemic logic began with Hintikka 1962, who developed Kripke-style semantics for epistemic notions and discussed appropriate axioms for knowledge and belief. Hintikka proposes a solution to the logical omniscience problem, whereby agents are treated as automatically knowing all consequences of what they know, in Hintikka 1975. Hintikka's approach is developed and applied to problems in computer science in Fagin et al 1995. The leading theory of belief revision, the ‘AGM’ theory, was first presented in Alchourrón et al 1985. Key early works in inductive logic are Keynes 1921 and Carnap’s 1945, 19521950. Key early works in non-monotonic logic are Moore 1985
Introductions Hintikka 1962 is a great introduction to epistemic and doxastic logics; Hendricks 2008 briefly surveys the area. Huber 2013 introduces and discusses AGM theories of belief revision. Hawthorne 2011 and Huber 2007 are good encyclopaedia entries on inductive logic; Hacking 2001 is a book-length introduction. Antonelli 2008 is a good, brief introduction to non-monotonic logic; an excellent book-length treatment is Makinson 2005
Related categories

1499 found
Order:
1 — 50 / 1499
Material to categorize
  1. A Reasoning Method based on Spatio-Temporal.Seyed Ahmad Mirsanei - 2016 - International Journal of Computer and Information Technologies (Ijocit) 4 (1): 27-32..
    In this paper, we continued the preparatory works of Jingde Cheng in conjunction with spatio-temporal relevant logics, and proposed several epistemic spatio-temporal relevant logics as basic logics for Mobile Multi-Agent Systems (MMAS). To establish an inference system, important elements are: semantics and syntax appropriate to it include a language, axioms and inference rules. By proving the meta-logical properties such as soundness and consistency, completeness and decidability and etc., we have a method to test the reliability of the systems. Finally, we (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. The uncoordinated teachers puzzle.Michael Cohen - forthcoming - Episteme.
    Williamson (2000) argues that the KK principle is inconsistent with knowledge of margin for error in cases of inexact perceptual observations. This paper argues, primarily by analogy to a different scenario, that Williamson’s argument is fallacious. Margin for error principles describe the agent’s knowledge as a result of an inexact perceptual event, not the agent’s knowledge state in general. Therefore, epistemic agents can use their knowledge of margin for error at most once after a perceptual event, but not more. This (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  3. Inferences with Ignorance: Logics of Questions. Inferential Erotetic Logic & Erotetic Epistemic Logic.Michal Peliš - 2016 - Karolinum Press.
  4. Compatibility, compossibility, and epistemic modality.Wesley Holliday & Matthew Mandelkern - forthcoming - Proceedings of the 23rd Amsterdam Colloquium.
    We give a theory of epistemic modals in the framework of possibility semantics and axiomatize the corresponding logic, arguing that it aptly characterizes the ways in which reasoning with epistemic modals does, and does not, diverge from classical modal logic.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  5. A three-valued doxastic logic based on Kleene’s and Bochvar’s ideas.Janusz Wesserling - 2019 - Studia Philosophiae Christianae 55 (4):89-113.
    W tym artykule zaproponuję konstrukcję trójwartościowej logiki przekonań, którą nazywam: LSB3_1. Podam również i udowodnię kompletność LSB3_1 w odniesieniu do danej semantyki. LSB3_1 opiera się na preformalnych założeniach i intuicjach, które przedstawiono w sekcji 1. Sekcja 2 zawiera składnię i podział instrukcji LSB3_1 na wewnętrzne i zewnętrzne. Rozdział 3 przedstawia semantykę LSB3_1, a także szereg tautologii i formuł nietautologicznych w LSB3_1 wraz z ich intuicyjną interpretacją. System aksjomatyczny dla LSB3_1 i jego porównanie z silną logiką Kleene'a są przedstawione w sekcji (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. Logic of faith and deed. The idea and an outline of the theoretical conception.Urszula Wybraniec-Skardowska - 2019 - Studia Philosophiae Christianae 55 (2):125-149.
    This paper discusses the theoretical assumptions behind the conception of the logic of faith and deed and outlines its formal-axiomatic frame and its method of construction, which enable us to understand it as a kind of deductive science. The paper is divided into several sections, starting with the logical analysis of the ambiguous terms of ‚faith’ and ‚action’, and focusing in particular on the concepts of religious faith and deed as a type of conscious activity relating to a matter or (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7. KK, Knowledge, Knowability.Weng Kin San - forthcoming - Mind.
    KK states that knowing entails knowing that one knows and K~K states that not knowing entails knowing that one does not know. In light of the arguments against KK and K~K, one might consider modally qualified variants of those principles. According to WEAK KK, knowing entails the possibility of knowing that one knows. And according to WEAK K~K, not knowing entails the possibility of knowing that one does not know. This paper shows that WEAK KK and WEAK K~K are much (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Probabilistic Temporal Epistemic Logic: Strong Completeness.Zoran Ognjanović, Angelina Ilić Stepić & Aleksandar Perović - forthcoming - Logic Journal of the IGPL.
    The paper offers a formalization of reasoning about distributed multi-agent systems. The presented propositional probabilistic temporal epistemic logic |$\textbf {PTEL}$| is developed in full detail: syntax, semantics, soundness and strong completeness theorems. As an example, we prove consistency of the blockchain protocol with respect to the given set of axioms expressed in the formal language of the logic. We explain how to extend |$\textbf {PTEL}$| to axiomatize the corresponding first-order logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. Integrating Abduction and Inference to the Best Explanation.Michael J. Shaffer - 2022 - European Journal of Pragmatism and American Philosophy 14 (2):1-18.
    Tomis Kapitan’s work on Peirce’s conception of abduction was instrumental for our coming to see how Peircean abduction both relates to and is importantly different from inference to the best explanation (IBE). However, he ultimately concluded that Peirce’s conception of abduction was a muddle. Despite the deeply problematic nature of Peirce’s theory of abduction in these respects, Kapitan’s work on Peircean abduction offers insight into the nature of abductive inquiry that is importantly relevant to the task of making sense of (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10. God's omniscience : a formal analysis in normal and non-normal epistemic logics.Antonino Rotolo & Erica Calardo - 2013 - In Bartosz Brożek, Adam Olszewski & Mateusz Hohol (eds.), Logic in theology. Copernicus Center Press.
    Remove from this list  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Hintikka's impossible worlds revisited : "second generation" epistemic logic and its impact on the epistemology of counterpossibles.Shahid Rahman - 2013 - In Jaakko Hintikka (ed.), Open problems in epistemology =. The Philosophical Society of Finland.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  12. Some applications of dynamic epistemic logics in formal epistemology.Alexandru Dragomir - 2015 - București: Pro Universitaria.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  13. The Logical Structure of ‘Rago-knowledge’.Wonjae Ha - 2022 - 철학적 분석 48:91-123.
    It is natural to suppose the following three: factivity of knowledge, alda-know synonymy, and the univocity of alda. However, rago-knowledge attribution, expressed by “rago alda” sentences, seems to defeat to hold them at once. In this paper, I try to dissolve this predicament, analyzing “rago alda” sentence as a kind of hybrid language expression. And the theoretical advantages, which my analysis has over other possible, alternative approaches, are to be shown.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  14. Mighty Belief Revision.Stephan Krämer - 2022 - Journal of Philosophical Logic 51 (5):1175-1213.
    Belief revision theories standardly endorse a principle of intensionality to the effect that ideal doxastic agents do not discriminate between pieces of information that are equivalent within classical logic. I argue that this principle should be rejected. Its failure, on my view, does not require failures of logical omniscience on the part of the agent, but results from a view of the update as _mighty_: as encoding what the agent learns might be the case, as well as what must be. (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. Inquisitive logic as an epistemic logic of knowing how.Haoyu Wang, Yanjing Wang & Yunsong Wang - 2022 - Annals of Pure and Applied Logic 173 (10):103145.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. Weak relevant justification logics.Shawn Standefer - forthcoming - Journal of Logic and Computation:1-19.
    This paper will develop ideas from [44]. We will generalize their work in two directions. First, we provide axioms for justification logics over the base logic B and show that the logic permits a proof of the internalization theorem. Second, we provide alternative frames that more closely resemble the standard versions of the ternary relational frames, as well as a more general approach to the completeness proof. We prove that soundness and completeness hold for justification logics over a wide variety (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  17. A Framework for Intuitionistic Grammar Logics.Tim Lyon - 2021 - In Pietro Baroni, Christoph Benzmüller & Yὶ N. Wang (eds.), Lecture Notes in Computer Science. 93413 Cham, Germany: pp. 495-503.
    We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionistic grammar logics as well as provide axiomatizations for extensions with combinations of seriality axioms and what we call "intuitionistic path axioms". We show that each axiomatization is sound and complete with completeness being shown via a typical canonical model construction.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  18. Intellectual Modesty in Socratic Wisdom: Problems of Epistemic Logic and an Intuitionist Solution.Guido Löhrer - 2022 - History of Philosophy & Logical Analysis 25 (2):282-308.
    According to Plato’s Apology of Socrates, a humanly wise person is distinguished by her ability to correctly assess the epistemic status and value of her beliefs. She knows when she has knowledge or has mere belief or is ignorant. She makes no unjustified knowledge claims and considers her knowledge to be limited in scope and value. This means: A humanly wise person is intellectually modest. However, when interpreted classically, Socratic wisdom cannot be modest. For in classical epistemic logic, modelling second-order (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19. Two accounts of assertion.Martin Smith - 2022 - Synthese 200 (3):1-18.
    In this paper I will compare two competing accounts of assertion: the knowledge account and the justified belief account. When it comes to the evidence that is typically used to assess accounts of assertion – including the evidence from lottery propositions, the evidence from Moore’s paradoxical propositions and the evidence from conversational patterns – I will argue that the justified belief account has at least as much explanatory power as its rival. I will argue, finally, that a close look at (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20. Epistemology Normalized.Jeremy Goodman & Bernhard Salow - forthcoming - Philosophical Review.
    We offer a general framework for theorizing about the structure of knowledge and belief in terms of the comparative normality of situations compatible with one's evidence. The guiding idea is that, if a possibility is sufficiently less normal than one's actual situation, then one can know that that possibility does not obtain. This explains how people can have inductive knowledge that goes beyond what is strictly entailed by their evidence. We motivate the framework by showing how it illuminates knowledge about (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  21. A Semantics for Hyperintensional Belief Revision Based on Information Bases.Sena Bozdag - 2022 - Studia Logica 110 (3):679-716.
    I propose a novel hyperintensional semantics for belief revision and a corresponding system of dynamic doxastic logic. The main goal of the framework is to reduce some of the idealisations that are common in the belief revision literature and in dynamic epistemic logic. The models of the new framework are primarily based on potentially incomplete or inconsistent collections of information, represented by situations in a situation space. I propose that by shifting the representational focus of doxastic models from belief sets (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22. Fragile Knowledge.Simon Goldstein - 2022 - Mind 131 (522):487-515.
    This paper explores the principle that knowledge is fragile, in that whenever S knows that S doesn’t know that S knows that p, S thereby fails to know p. Fragility is motivated by the infelicity of dubious assertions, utterances which assert p while acknowledging higher-order ignorance whether p. Fragility is interestingly weaker than KK, the principle that if S knows p, then S knows that S knows p. Existing theories of knowledge which deny KK by accepting a Margin for Error (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  23. Is ~ K ~ KP a luminous condition?Martin Smith - 2022 - Asian Journal of Philosophy 1 (1):1-10.
    One of the most intriguing claims in Sven Rosenkranz’s Justification as Ignorance is that Timothy Williamson’s celebrated anti-luminosity argument can be resisted when it comes to the condition ~K~KP—the condition that one is in no position to know that one is in no position to know P. In this paper, I critically assess this claim.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  24. Relating Semantics for Epistemic Logic.Alessandro Giordani - 2021 - Logic and Logical Philosophy 30 (4):681-709.
    The aim of this paper is to explore the advantages deriving from the application of relating semantics in epistemic logic. As a first step, I will discuss two versions of relating semantics and how they can be differently exploited for studying modal and epistemic operators. Next, I consider several standard frameworks which are suitable for modelling knowledge and related notions, in both their implicit and their explicit form and present a simple strategy by virtue of which they can be associated (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. Towards a Logic of Epistemic Theory of Measurement.Daniele Porello & Claudio Macolo - 2019 - In Gabor Bella & Paolo Bouquet (eds.), Modeling and Using Context - 11th International and Interdisciplinary Conference, {CONTEXT} 2019, Trento, Italy, November 20-22, 2019, Proceedings. Lecture Notes in Computer Science 11939. pp. 175-188.
    We propose a logic to reason about data collected by a num- ber of measurement systems. The semantic of this logic is grounded on the epistemic theory of measurement that gives a central role to measure- ment devices and calibration. In this perspective, the lack of evidences (in the available data) for the truth or falsehood of a proposition requires the introduction of a third truth-value (the undetermined). Moreover, the data collected by a given source are here represented by means (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  26. Multi-Path vs. Single-Path Replies to Skepticism.Wen-Fang Wang - 2022 - Journal of Philosophical Logic 51 (2):383-412.
    In order to reply to the contemporary skeptic’s argument for the conclusion that we don’t have any empirical knowledge about the external world, several authors have proposed different fallibilist theories of knowledge that reject the epistemic closure principle. Holliday, 1–62 2015a), however, shows that almost all of them suffer from either the problem of containment or the problem of vacuous knowledge or both. Furthermore, Holliday suggests that the fallibilist should allow a proposition to have multiple sets of relevant alternatives, each (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27. Formalized Soundness and Completeness of Epistemic Logic.Asta Halkjær From - 2021 - In Alexandra Silva, Renata Wassermann & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5–8, 2021, Proceedings. Springer Verlag. pp. 1-15.
    We strengthen the foundations of epistemic logic by formalizing the family of normal modal logics in the proof assistant Isabelle/HOL. We define an abstract canonical model and prove a truth lemma for any logic in the family. We then instantiate it with logics based on various epistemic principles to obtain completeness results for systems from K to S5. Our work gives a disciplined treatment of completeness-via-canonicity arguments and demonstrates their compositionality.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  28. Wanted Dead or Alive: Epistemic Logic for Impure Simplicial Complexes.Hans van Ditmarsch - 2021 - In Alexandra Silva, Renata Wassermann & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5–8, 2021, Proceedings. Springer Verlag. pp. 31-46.
    We propose a logic of knowledge for impure simplicial complexes. Impure simplicial complexes represent distributed systems under uncertainty over which processes are still active and which processes have failed or crashed. Our work generalizes the logic of knowledge for pure simplicial complexes, where all processes are alive, by Goubault et al. Our logical semantics has a satisfaction relation defined simultaneously with a definability relation. The latter restricts which formulas are allowed to have a truth value: dead processes cannot know or (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  29. On Artemov and Protopopescu’s Intuitionistic Epistemic Logic Expanded with Distributed Knowledge.Youan Su, Ryo Murai & Katsuhiko Sano - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 216-231.
    Artemov and Protopopescu introduced a Brouwer-Heyting-Kolmogorov interpretation of knowledge operator to define the intuitionistic epistemic logic IEL, where the axiom A⊃KA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A\supset KA$$\end{document} is accepted but the axiom KA⊃A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$KA\supset A$$\end{document} is refused. This paper studies the notion of distributed knowledge on an expansion of the multi agent variant of IEL. We provide a BHK interpretation of distributed knowledge operator to define the intuitionistic epistemic (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  30. Review of Justification as Ignorance by Sven Rosenkranz. [REVIEW]Martin Smith - forthcoming - Mind.
  31. An enhanced model for Rosenkranz’s logic of justification.Niccolò Rossi - 2022 - Asian Journal of Philosophy 1 (1):1-9.
    Rosenkranz devised two bimodal epistemic logics: an idealized one and a realistic one. The former is shown to be sound with respect to a class of neighborhood frames called i-frames. Rosenkranz designed a specific i-frame able to invalidate a series of undesired formulas, proving that these are not theorems of the idealized logic. Nonetheless, an unwanted formula and an unwanted rule of inference are not invalidated. Invalidating the former guarantees the distinction between the two modal operators characteristic of the logic, (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32. Epistemic logic for metadata modelling from scientific papers on Covid-19.Simone Cuconato - 2021 - Science and Philosophy 9 (2):83-96.
    The field of epistemic logic developed into an interdisciplinary area focused on explicating epistemic issues in, for example, artificial intelligence, computer security, game theory, economics, multiagent systems and the social sciences. Inspired, in part, by issues in these different ‘application’ areas, in this paper I propose an epistemic logic T for metadata extracted from scientific papers on COVID-19. More in details, I introduce a structure S to syntactically and semantically modelling metadata extracted with systems for extracting structured metadata from scientific (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33. The Role of the Common in Cognitive Prosperity: Our Command of the Unspeakable and Unwriteable.John Woods - 2021 - Logica Universalis 15 (4):399-433.
    There are several features of law which rightly draw the interest of philosophers, especially those whose expertise lies in ethics and social and political philosophy. But the law also has features which haven’t stirred much in the way of philosophical investigation. I must say that I find this surprising. For the fact is that a well-run criminal trial is a master-class in logic and epistemology. Below I examine the logical and epistemological properties of greatest operational involvement in a criminal proceedings, (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2007 - Dordrecht, Netherland: Springer.
    Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   60 citations  
  35. Knowledge, justification, and adequate reasons.Paul Égré, Paul Marty & Bryan Renne - 2021 - Review of Symbolic Logic 14 (3):687-727.
    Is knowledge definable as justified true belief? We argue that one can legitimately answer positively or negatively, depending on whether or not one’s true belief is justified by what we call adequate reasons. To facilitate our argument we introduce a simple propositional logic of reason-based belief, and give an axiomatic characterization of the notion of adequacy for reasons. We show that this logic is sufficiently flexible to accommodate various useful features, including quantification over reasons. We use our framework to contrast (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Question-Begging Arguments as Ones That Do Not Extend Knowledge.Rainer Ebert - 2019 - Philosophy and Progress 65 (1):125-144.
    In this article, I propose a formal criterion that distinguishes between deductively valid arguments that do and do not beg the question. I define the concept of a Never-failing Minimally Competent Knower (NMCK) and suggest that an argument begs the question just in case it cannot possibly assist an NMCK in extending his or her knowledge.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37. A Simple Logic of Functional Dependence.Alexandru Baltag & Johan van Benthem - 2021 - Journal of Philosophical Logic 50 (5):939-1005.
    This paper presents a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence atoms plus dependence quantifiers treated as modalities, within the setting of generalized assignment semantics for first order logic. The expressive strength, complete proof calculus and meta-properties of LFD are explored. Various language extensions are presented as well, up to undecidable modal-style logics for independence and dynamic logics of changing dependence models. Finally, more concrete settings for dependence are discussed: continuous (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38. Epistemic logic and CERMINE: a logical model for automatic extraction of structured metadata.Simone Cuconato - 2021 - Science and Philosophy 9 (1):161-172.
    In this article we develop a logical model for automatic extraction of structured metadata. We introduce a new predicate???? – reads ‘extract’ – and a structure???? to syntactically and semantically define metadata extracted with any automatic metadata extraction system. These systems will be considered, in the logical model created, as knowledge extraction agents. In this case KEA taken into consideration is CERMINE, a comprehensive open-source system for extracting structured metadata from scientific articles in a born-digital form.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Inquisitive bisimulation.Ivano Ciardelli & Martin Otto - 2021 - Journal of Symbolic Logic 86 (1):77-109.
    Inquisitive modal logic, InqML, is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. Technically, InqML fits within the family of logics based on team semantics. From a model-theoretic perspective, it takes us a step in the direction of monadic second-order logic, as inquisitive modal operators involve quantification over sets of worlds. We introduce and investigate (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40. The Poss-Ability Principle, G-cases, and Fitch Propositions.Noah Gordon - 2021 - Logos and Episteme 12 (1):117-125.
    There is a very plausible principle linking abilities and possibilities: If S is able to Φ, then it is metaphysically possible that S Φ’s. Jack Spencer recently proposed a class of counterexamples to this principle involving the ability to know certain propositions. I renew an argument against these counterexamples based on the unknowability of Fitch propositions. In doing so, I provide a new argument for the unknowability of Fitch propositions and show that Spencer’s counterexamples are in tension with a principle (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  41. The Logic of Fast and Slow Thinking.Anthia Solaki, Francesco Berto & Sonja Smets - 2021 - Erkenntnis 86 (3):733-762.
    We present a framework for epistemic logic, modeling the logical aspects of System 1 and System 2 cognitive processes, as per dual process theories of reasoning. The framework combines non-normal worlds semantics with the techniques of Dynamic Epistemic Logic. It models non-logically-omniscient, but moderately rational agents: their System 1 makes fast sense of incoming information by integrating it on the basis of their background knowledge and beliefs. Their System 2 allows them to slowly, step-wise unpack some of the logical consequences (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42. Bisimulations for Knowing How Logics.Raul Fervari, Fernando R. Velázquez-Quesada & Yanjing Wang - forthcoming - Review of Symbolic Logic:1-37.
    As a new type of epistemic logics, the logics of knowing how capture the high-level epistemic reasoning about the knowledge of various plans to achieve certain goals. Existing work on these logics focuses on axiomatizations; this paper makes the first study of their model theoretical properties. It does so by introducing suitable notions of bisimulation for a family of five knowing how logics based on different notions of plans. As an application, we study and compare the expressive power of these (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  43. Anti-Realism and Modal-Epistemic Collapse: Reply to Marton.Jan Heylen - 2023 - Erkenntnis 88 (1):397-408.
    Marton ( 2019 ) argues that that it follows from the standard antirealist theory of truth, which states that truth and possible knowledge are equivalent, that knowing possibilities is equivalent to the possibility of knowing, whereas these notions should be distinct. Moreover, he argues that the usual strategies of dealing with the Church–Fitch paradox of knowability are either not able to deal with his modal-epistemic collapse result or they only do so at a high price. Against this, I argue that (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  44. Epistemic space of degradation processes.Liu Yang & Antoine Rauzy - 2020 - Journal of Applied Non-Classical Logics 31 (1):1-25.
    In this article, we present a new approach of modelling epistemic uncertainties in degradation processes. This approach is established in the framework of finite degradation structures, whic...
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms.Ryo Hatano & Katsuhiko Sano - 2021 - Studia Logica 109 (1):95-124.
    The present contribution shows that a Hilbert-style axiomatization for dynamic logic of relation changers is complete for the standard Kripke semantics not by a well-known rewriting technique but by the idea of an auxiliary semantics studied by van Benthem and Wang et al. A key insight of our auxiliary semantics for dynamic logic of relation changers can be described as: “relation changers are bounded morphisms.” Moreover, we demonstrate that this semantic insight can be used to provide a modular cut-free labelled (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. Knowledge Closure and Knowledge Openness: A Study of Epistemic Closure Principles.Levi Spectre - 2009 - Stockholm: Stockholm University.
    The principle of epistemic closure is the claim that what is known to follow from knowledge is known to be true. This intuitively plausible idea is endorsed by a vast majority of knowledge theorists. There are significant problems, however, that have to be addressed if epistemic closure – closed knowledge – is endorsed. The present essay locates the problem for closed knowledge in the separation it imposes between knowledge and evidence. Although it might appear that all that stands between knowing (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  47. Induzione e fondazione. Un caso di studio sulla ricezione tedesca del tardo empirismo inglese.Francesco Pisano - 2020 - Archivio di Storia Della Cultura 1 (XXXIII).
    The paper aims at outlining the conceptual frame in which nineteenth-century German philosophy inherits and pursues the British debate on induction. It investigates this debate as a case study for a broader inquiry about the German reception of late British empiricism. The Mill-Whewell controversy on induction is central to the late British empiricism´s project of a logic of natural sciences. It becomes significant in Germany during the second half of the nineteenth century, as a means of defining a theory of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  48. A logic of knowing why.Chao Xu, Yanjing Wang & Thomas Studer - 2021 - Synthese 198 (2):1259-1285.
    When we say “I know why he was late”, we know not only the fact that he was late, but also an explanation of this fact. We propose a logical framework of “knowing why” inspired by the existing formal studies on why-questions, scientific explanation, and justification logic. We introduce the Kyi\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal {K}}{}\textit{y}}_i$$\end{document} operator into the language of epistemic logic to express “agent i knows why φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  49. Predicate Change: A Study on the Conservativity of Conceptual Change.Corina Strößner - 2020 - Journal of Philosophical Logic 49 (6):1159-1183.
    Like belief revision, conceptual change has rational aspects. The paper discusses this for predicate change. We determine the meaning of predicates by a set of imaginable instances, i.e., conceptually consistent entities that fall under the predicate. Predicate change is then an alteration of which possible entities are instances of a concept. The recent exclusion of Pluto from the category of planets is an example of such a predicate change. In order to discuss predicate change, we define a monadic predicate logic (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  50. Short-circuiting the definition of mathematical knowledge for an Artificial General Intelligence.Samuel Alexander - forthcoming - Lecture Notes in Computer Science.
    We propose that, for the purpose of studying theoretical properties of the knowledge of an agent with Artificial General Intelligence (that is, the knowledge of an AGI), a pragmatic way to define such an agent’s knowledge (restricted to the language of Epistemic Arithmetic, or EA) is as follows. We declare an AGI to know an EA-statement φ if and only if that AGI would include φ in the resulting enumeration if that AGI were commanded: “Enumerate all the EA-sentences which you (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1499