kids encyclopedia robot

Epistemic modal logic facts for kids

Kids Encyclopedia Facts

Epistemic modal logic is a special part of modal logic that helps us think about knowledge. While people have thought about knowledge since Ancient Greece, epistemic logic is quite new. It's used in many areas like philosophy, theoretical computer science, artificial intelligence, economics, and linguistics.

Thinkers like Aristotle and later medieval philosophers talked about modal logic. But it was C. I. Lewis who first made a clear, symbolic system for it in 1912. The field became what it is today in 1963, thanks to the work of Kripke.

How Epistemic Logic Grew

Many papers in the 1950s mentioned a logic for knowledge. But the paper An Essay in Modal Logic by G. H. von Wright in 1951 is seen as the start.

Then, in 1962, another Finnish thinker, Hintikka, wrote Knowledge and Belief. This was the first book to suggest using "modalities" (like "it is known that") to understand knowledge. Before this, modalities were mostly used for things that are "necessary" or "possible."

Since then, a lot more research has happened. For example, epistemic logic has joined with dynamic logic. This new field, called dynamic epistemic logic, helps us understand how information changes. It also shows how people share information in systems with many different "agents" (like computer programs or people).

Thinking About Knowledge with Possible Worlds

Most ways of understanding knowledge use the idea of "possible worlds." Imagine all the different ways the world could be. When you know something, you rule out some of these possible worlds.

For example, if you know it's either Friday or Saturday, you know it's not Thursday. This means there are no possible worlds where it's Thursday that are still "possible" for you, given what you know. In all the worlds you consider possible, it's either Friday or Saturday.

There are two main ways to use this idea:

  • Logic-based approach: This uses Kripke semantics. It's like building a map of possible worlds and how they connect.
  • Event-based approach: This uses set theory and sees "events" as groups of possible worlds.

The logic-based way is often used in philosophy and AI. The event-based way is more common in game theory and mathematical economics. We will focus on the logic-based approach here.

What the Symbols Mean

The main symbol in epistemic logic is K. It means "it is known that." If there's more than one person or "agent," we add a small number. So, \mathit{K}_a\varphi means "Agent a knows that \varphi is true."

This makes epistemic logic a type of multimodal logic. It's used for knowledge representation in computers.

What if someone *doesn't* know something? We can write \neg K_a \neg \varphi. This means "Agent a doesn't know that \varphi is false." Or, "It's possible, given what a knows, that \varphi is true."

If agent a doesn't know if \varphi is true or false, we write \neg K_a\varphi \land \neg K_a\neg\varphi.

We can also add symbols for group knowledge:

  • \mathit{E}_\mathit{G}: "Every agent in group G knows." (This is mutual knowledge).
  • \mathit{C}_\mathit{G}: "It is common knowledge to every agent in G."
  • \mathit{D}_\mathit{G}: "It is distributed knowledge to the whole group G."

How the Symbols Work (Semantics)

The logic-based approach uses Kripke structures (also called Kripke models). Imagine a Kripke structure as a map. This map has:

  • A set of states or possible worlds (like different scenarios).
  • A way to tell if a statement is true or false in each state.
  • Binary relations (\mathcal{K}_i) for each agent. These show which states an agent considers "possible" from their current state.

It's important not to mix up K_i (the "knows that" symbol) and \mathcal{K}_i (the "possibility" connection between worlds).

The "truth assignment" tells us if a statement p is true in a certain state s. So, \pi (s)(p) means p is true in state s. Something true in one world might not be true in another.

We write (\mathcal{M},s) \models \varphi to say that statement \varphi is true in state s within model \mathcal{M}.

The \mathcal{K}_i relation shows what worlds agent i thinks are possible. If w\mathcal{K}_i v, it means agent i thinks world v could be the real world, given what they know in world w. These are called "epistemic alternatives."

For an ideal idea of knowledge (like a perfect thinker), \mathcal{K}_i is usually an equivalence relation. This means it's:

  • Reflexive: You consider your current world possible.
  • Symmetric: If you think world A is possible from world B, then world B is possible from world A.
  • Transitive: If you think world A is possible from B, and B is possible from C, then A is possible from C.

These qualities make sense for knowledge, but not always for belief.

What Knowledge Is Like (S5 Properties)

If we assume \mathcal{K}_i is an equivalence relation and agents are perfect thinkers, we can find some rules about knowledge. These are often called the "S5 Properties."

The Distribution Axiom (K)

This rule says that if an agent knows \varphi and also knows that "if \varphi is true, then \psi is true," then the agent must also know \psi.

(K_i\varphi \land K_i(\varphi \implies \psi)) \implies K_i\psi

This is like saying if you know A, and you know A leads to B, then you know B.

The Knowledge Generalization Rule (N)

This rule says that if a statement \varphi is always true (a tautology), then an agent knows it. This doesn't mean if \varphi is true, you automatically know it. It means if \varphi is true in *every* possible world an agent considers, then the agent must know \varphi.

\text{if }\models \varphi\text{ then }M \models K_i \varphi.\,

The Knowledge or Truth Axiom (T)

This rule, also called T, says that if an agent knows something, it must be true. You can believe something false, but you can't *know* something false.

K_i \varphi \implies \varphi

This means if you know it, it's true.

The Positive Introspection Axiom (4)

This rule says that agents "know that they know what they know." If you know something, you know that you know it.

K_i \varphi \implies K_i K_i \varphi

Some people, like Timothy Williamson, argue against this rule.

The Negative Introspection Axiom (5)

This rule says that agents "know that they don't know what they don't know." If you don't know something, you know that you don't know it.

\neg K_i \varphi \implies K_i \neg K_i \varphi

Axiom Systems

Different groups of these rules create different "modal logics." The logic that uses K, T, 4, 5, and the Knowledge Generalization Rule is called S5. That's why the rules above are called S5 Properties.

Epistemic logic also looks at belief. For belief, we use B instead of K. The "truth axiom" (T) doesn't work for belief, because you can believe something that isn't true. Instead, we use the Consistency Axiom, D:

\neg B_i \bot

This means an agent doesn't believe a contradiction (something that is always false). When D replaces T in S5, the system is called KD45. The logic of belief is called doxastic logic.

Multiple Agents

When there are many agents, like in a computer system, each agent i has its own knowledge operator K_i. We usually assume that each agent's way of thinking is common knowledge among all agents.

Challenges with the Possible World Model

One big problem with the possible worlds approach is "logical omniscience." This means that if an agent knows something, they automatically know *all* the things that logically follow from it.

For example, if you know the definition of a prime number, this logic says you instantly know if a huge, complex number is prime or not. This is because if the definition is true, and the number is prime, then it logically follows that the number is prime.

This shows that epistemic modal logic describes an ideal kind of knowledge, not how humans actually know things. Humans don't instantly know every logical consequence of what they know. If they did, there would be no unsolved math problems!

The Epistemic Fallacy (Masked-Man Fallacy)

The masked-man fallacy is a mistake in logic. It happens when you wrongly use the idea that if two things are identical, they must have all the same properties. This fallacy is "epistemic" because it mixes up what someone *knows* about an object with the object itself.

Examples of the Fallacy

The name comes from this example:

  • Fact 1: I know who Bob is.
  • Fact 2: I do not know who the masked man is.
  • Conclusion: Therefore, Bob is not the masked man.

This conclusion might be wrong! Bob could be the masked man, and you just don't know it. Your knowledge (or lack of it) doesn't change who Bob is.

In symbols, it looks like this:

  • Fact 1: The speaker believes they know who X is.
  • Fact 2: The speaker believes they do not know who Y is.
  • Conclusion: Therefore, the speaker believes X is not Y.

Another example:

  • Fact 1: Lois Lane thinks Superman can fly.
  • Fact 2: Lois Lane thinks Clark Kent cannot fly.
  • Conclusion: Therefore, Superman and Clark Kent are not the same person.

Again, this conclusion is wrong. Lois Lane's beliefs don't change the fact that Superman and Clark Kent are the same person. The correct conclusion is that Lois Lane *believes* they are not the same person.

See also

Kids robot.svg In Spanish: Lógica epistémica para niños

  • Epistemic closure
  • Epistemology
  • Dynamic epistemic logic
  • Logic in computer science
  • Philosophical Explanations
kids search engine
Epistemic modal logic Facts for Kids. Kiddle Encyclopedia.