Results 11 to 20 of about 902,991 (274)
Probabilistic Justification Logic [PDF]
Journal of Logic and Computation, 2015 Abstract We present a probabilistic justification logic, $\mathsf{PPJ}$, as a framework for uncertain reasoning about rational belief, degrees of belief and justifications. We establish soundness and strong completeness for $\mathsf{PPJ}$ with respect to the class of so-called measurable Kripke-like models and show that the ...
Ioannis Kokkinis +2 more
core +8 more sources
A LOGIC OF JUSTIFICATION AND TRUTHMAKING [PDF]
The Review of Symbolic Logic, 2013 AbstractIn the present paper we propose a system of propositional logic for reasoning about justification, truthmaking, and the connection between justifiers and truthmakers. The logic of justification and truthmaking is developed according to the fundamental ideas introduced by Artemov.
Olkhovikov, G. K., Giordani, Alessandro
openaire +5 more sources
Uncertain reasoning in justification logic [PDF]
, 2016 This thesis studies the combination of two well known formal systems for knowledge representation: probabilistic logic and justification logic. Our aim is to design a formal framework that allows the analysis of epistemic situations with incomplete information.
Kokkinis, Ioannis
core +5 more sources
Public communication in justification logic [PDF]
Journal of Logic and Computation, 2010 Justification Logic is a framework for reasoning about evidence and justification in multi-agent systems. Most accounts of Justification Logic are essentially static, in that the (justified) beliefs of agents are immutable. In this article, we add public communication, a dynamic operation of belief change studied in the area of Dynamic Epistemic Logic,
Renne, Bryan, B. Renne
openaire +2 more sources
The problem of justifying inductive reasoning [PDF]
Zbornik Radova Filozofskog Fakulteta u Prištini, 2021 In this paper, the author considers the classical strategies of defense from Hume's argument against induction, and assesses the extent to which they were found to be successful.
Nedeljković Mitar Z.
doaj +1 more source
Consistency and permission in deontic justification logic [PDF]
, 2022 Different notions of the consistency of obligations collapse in standard deontic logic. In justification logics, which feature explicit reasons for obligations, the situation is different.
Faroldi, F +4 more
core +1 more source
Hintikka’s Interrogative Model and a Logic of Discovery and Justification [PDF]
Acta Baltica Historiae et Philosophiae Scientiarum, 2015 The relationship between discovery and justification is not clear. According to a standard twentieth-century opinion, in the philosophy of science these two are understood as separate problems: how to recognize and conceptualize the object of study and ...
Arto Mutanen
doaj +1 more source
To be (something) or not to be: Existence and predication in Aristotle’s logic and metaphysics
Filosofia Unisinos, 2021 This paper offers a new interpretation of Aristotle’s logical system that allows us to break away from a presumably inescapable dilemma inherent to any attempt of justification from a strictly formal standpoint; namely, either the system stands apart ...
Miguel Candel Sanmartín
doaj +1 more source
Applying concepts of fuzzy cognitive mapping to model IT/IS investment evaluation factors [PDF]
, 2002 The justification process is a major concern for many organisations that are considering the adoption of Information Technology (IT) and Information Systems (IS), and is a barrier to its implementation.
Sharif, AM +3 more
core +6 more sources
First steps towards probabilistic justification logic [PDF]
, 2015 In this article, we introduce the probabilistic justification logic PJ, a logic in which we can reason about the probability of justification statements. We present its syntax and semantics, and establish a strong completeness theorem.
Kokkinis, Ioannis +3 more
core +3 more sources