Results 21 to 30 of about 14,883 (179)

Necessity and Determinism in Robert Grosseteste’s De libero arbitrio

Studia Humana, 2020
In this paper, the theory of necessity proposed by Robert Grosseteste is presented. After showing the wide range of various kinds of determination discussed by him (connected with: (1) one’s knowledge about the future, (2) predestination, (3) fate, (4 ...
Trepczyński Marcin
doaj   +1 more source

Logical omniscience as a computational complexity problem [PDF]

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge, 2009
The logical omniscience feature assumes that an epistemic agent knows all logical consequences of her assumptions. This paper offers a general theoretical framework that views logical omniscience as a computational complexity problem. We suggest the following approach: we assume that the knowledge of an agent is represented by an epistemic logical ...
Sergei N. Artëmov, Roman Kuznets
openaire   +1 more source

Fragmentation and Representation Processing: Two Distinct Approaches to Information Access, Deduction, and Logical Omniscience [PDF]

Manuscrito
Ordinary thinkers don’t know every necessary truth - they are not “logically omniscient.” Furthermore, they don’t know everything that follows from their beliefs - they are not “deductively omniscient.” Stalnaker has famously argued that this is partly ...
ANDREA ONOFRI
doaj   +1 more source

Bayesianism for Non-ideal Agents [PDF]

, 2020
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 ...
Bjerring, Jens Christian, Skipper, Mattias   +1 more
core  

Awareness, negation and Logical omniscience [PDF]

, 1991
General Epistemic Logics suffer from the problem of logical omniscience, which is that an agent's knowledge and beliefs are closed under implication. There have been many attempts to solve the problem of logical omniscience. However, according to our intuition, sometimes an agent's knowledge and beliefs are indeed closed under implication. Based on the
Zhisheng Huang, Karen L. Kwast
openaire   +1 more source

Peter Lombard on God’s Knowledge and Its Capacities: Sententiae, Book I, Distinctions 38-39

Sententiae, 2018
The global Peter Lombard research reinaugurated in 1990s has resulted in a number of recent publications, but the Master of the Sentences’ theology proper is partially underreseached. In particular, a more detailed exposition of the distinctions 35-41 of
Rostislav Tkachenko
doaj   +1 more source

Modeling Adversaries in a Logic for Security Protocol Analysis [PDF]

, 2012
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which considers only adversaries that can compose and replay messages, and ...
Halpern, Joseph Y., Pucella, Riccardo
core   +1 more source

Logical Omniscience as a Conditionality Issue. A Multi-Modal Approach

Crítica
Many solutions to the problem of Logical Omniscience assume that this arises from the behavior of the epistemic operators. However, few proposals have criticized the assumption that material implication accurately accounts for conditionality. This paper
Juan Carlos Sánchez Hernández
doaj   +1 more source

Noos and Mortal Enquiry in the Poetry of Xenophanes and Parmenides

Methodos, 2016
Noos, noein and their derivatives are of central importance to the development of epistemological conceptions in Presocratic philosophy. Already in Homer the terms indicate a special form of cognition, resembling sense perception in its non-inferential ...
Nicolò Benzi
doaj   +1 more source

The Mind of God [PDF]

, 2015
A radically dualist view of the relationship between God and the universe is apt to make the problem of Divine intervention more difficult than under other metaphysical conceptions. We need to find a closer relationship than this if the causal picture is
Bender, Sophia, Peppler, Kylie
core   +5 more sources