Truth values in classical logic have more than one interpretation.

In 0th Person Logic, the truth values are interpreted as True and False.

In 1st Person Logic, the truth values are interpreted as Here and Absent relative to the current reasoner.

Importantly, these are both useful modes of reasoning that can coexist in a logical embedded agent.

This idea is so simple, and has brought me so much clarity that I cannot see how an adequate formal theory of anthropics could avoid it!

Crash Course in Semantics

First, let's make sure we understand how to connect logic with meaning. Consider classical propositional logic. We set this up formally by defining terms, connectives, and rules for manipulation. Let's consider one of these terms: <span>_A_</span>. What does this mean? Well, its meaning is not specified yet!

So how do we make it mean something? Of course, we could just say something [...]

---

Outline:

(00:37) Crash Course in Semantics

(01:56) 0th Person Logic

(03:11) 1st Person Logic

(05:53) We Can Use Both

(07:50) Further Exploration

The original text contained 3 footnotes which were omitted from this narration.

---

First published:
March 10th, 2024

Source:
https://www.lesswrong.com/posts/hwmijAeWWNaBLPDjS/0th-person-and-1st-person-logic

---

Narrated by TYPE III AUDIO.

“0th Person and 1st Person Logic” by Adele Lopez

LessWrong (30+ Karma)