- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Switch to: References
Citations of:
Add citations
You must login to add citations.
|
|
|
Many criticisms of epistemic logic have centered around its use of devices such as idealized knowers with logical omniscience and perfect self-knowledge. One possible response to such criticisms is to say that these idealizations are normative devices, and that epistemic logic tells us how agents ought to behave. This paper will take a different approach, treating epistemic logic as descriptive, and drawing the analogy between its formal models and idealized scientific models on that basis. Treating it as descriptive matches the (...) |
|
|
We look at two fundamental logical processes, often intertwined in planning and problem solving: inference and update. Inference is an internal process with which we uncover what is implicit in the information we already have. Update, on the other hand, is produced by external communication, usually in the form of announcements and in general in the form of observations, giving us information that might not have been available (even implicitly) before. Both processes have received attention from the logic community, usually (...) |
|
|
In this paper I study two ways of transforming decision problems on the basis of previously adopted intentions, ruling out incompatible options and imposing a standard of relevance, with a particular focus on situations of strategic interaction. I show that in such situations problems arise which do not appear in the single-agent case, namely that transformation of decision problems can leave the agents with no option compatible with what they intend. I characterize conditions on the agents’ intentions which avoid such (...) |
|
|
The paper develops a set of quantified temporal alethic boulesic doxastic systems. Every system in this set consists of five parts: a ‘quantified’ part, a temporal part, a modal (alethic) part, a boulesic part and a doxastic part. There are no systems in the literature that combine all of these branches of logic. Hence, all systems in this paper are new. Every system is defined both semantically and proof-theoretically. The semantic apparatus consists of a kind of$$T \times W$$T×Wmodels, and the (...) |
|
|
In this paper, I develop a new set of doxastic logical systems and I show how they can be used to solve several well-known problems in doxastic logic, for example the so-called problem of logical omniscience. According to this puzzle, the notions of knowledge and belief that are used in ordinary epistemic and doxastic symbolic systems are too idealised. Hence, those systems cannot be used to model ordinary human or human-like agents' beliefs. At best, they can describe idealised individuals. The (...) |
|
|
Dynamic epistemic logic, broadly conceived, is the study of logics of information change. This is the first paper in a two-part series introducing this research area. In this paper, I introduce the basic logical systems for reasoning about the knowledge and beliefs of a group of agents. |
|
|
The verb ‘to know’ can be used both in ascriptions of propositional knowledge and ascriptions of knowledge of acquaintance. In the formal epistemology literature, the former use of ‘know’ has attracted considerable attention, while the latter is typically regarded as derivative. This attitude may be unsatisfactory for those philosophers who, like Russell, are not willing to think of knowledge of acquaintance as a subsidiary or dependent kind of knowledge. In this paper we outline a logic of knowledge of acquaintance in (...) |
|
|
Both early analytic philosophy and the branch of mathematics now known as topology were gestated and born in the early part of the 20th century. It is not well recognized that there was early interaction between the communities practicing and developing these fields. We trace the history of how topological ideas entered into analytic philosophy through two migrations, an earlier one conceiving of topology geometrically and a later one conceiving of topology algebraically. This allows us to reassess the influence and (...) |
|
|
with this paper, we intend to clarify some of the central notions that are commonly used in contemporary developments of Epistemic Logic, which lack a proper theoretical foundation. We want to follow the steps of some prominent epistemologists and epistemic logicians, who advocate for a correlation between their respective fields of study. We will proceed with a first small step that will consist in adapting one contemporary version of Epistemic Internalism to the framework of Awareness Logic, such that the key (...) No categories |
|
|
with this paper, we intend to clarify some of the central notions that are commonly used in contemporary developments of Epistemic Logic, which lack a proper theoretical foundation. We want to follow the steps of some prominent epistemologists and epistemic logicians, who advocate for a correlation between their respective fields of study. We will proceed with a first small step that will consist in adapting one contemporary version of Epistemic Internalism to the framework of Awareness Logic, such that the key (...) No categories |
|
|
It is widely thought that if knowledge requires sensitivity, knowledge is not closed because sensitivity is not closed. This paper argues that there is no valid argument from sensitivity failure to non-closure of knowledge. Sensitivity does not imply non-closure of knowledge. Closure considerations cannot be used to adjudicate between safety and sensitivity accounts of knowledge. |
|
|
In this paper I present a more refined analysis of the principles of deductive closure and positive introspection. This analysis uses the expressive resources of logics for different types of group knowledge, and discriminates between aspects of closure and computation that are often conflated. The resulting model also yields a more fine-grained distinction between implicit and explicit knowledge, and places Hintikka’s original argument for positive introspection in a new perspective. |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6d9b7f7c4c-9lpj8 uwo