Inhalt
Aktueller Ordner:
/modal13eng.tex
% Options for packages loaded elsewhere
\PassOptionsToPackage{unicode}{hyperref}
\PassOptionsToPackage{hyphens}{url}
\PassOptionsToPackage{dvipsnames,svgnames,x11names}{xcolor}
\documentclass[
ngerman,
11pt,
]{article}
\usepackage{xcolor}
\usepackage[margin=2.5cm]{geometry}
\usepackage{amsmath,amssymb}
\setcounter{secnumdepth}{-\maxdimen} % remove section numbering
\usepackage{iftex}
\ifPDFTeX
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{textcomp} % provide euro and other symbols
\else % if luatex or xetex
\usepackage{unicode-math} % this also loads fontspec
\defaultfontfeatures{Scale=MatchLowercase}
\defaultfontfeatures[\rmfamily]{Ligatures=TeX,Scale=1}
\fi
\usepackage{lmodern}
\ifPDFTeX\else
% xetex/luatex font selection
\fi
% Use upquote if available, for straight quotes in verbatim environments
\IfFileExists{upquote.sty}{\usepackage{upquote}}{}
\IfFileExists{microtype.sty}{% use microtype if available
\usepackage[]{microtype}
\UseMicrotypeSet[protrusion]{basicmath} % disable protrusion for tt fonts
}{}
\makeatletter
\@ifundefined{KOMAClassName}{% if non-KOMA class
\IfFileExists{parskip.sty}{%
\usepackage{parskip}
}{% else
\setlength{\parindent}{0pt}
\setlength{\parskip}{6pt plus 2pt minus 1pt}}
}{% if KOMA class
\KOMAoptions{parskip=half}}
\makeatother
\usepackage{longtable,booktabs,array}
\usepackage{calc} % for calculating minipage widths
% Correct order of tables after \paragraph or \subparagraph
\usepackage{etoolbox}
\makeatletter
\patchcmd\longtable{\par}{\if@noskipsec\mbox{}\fi\par}{}{}
\makeatother
% Allow footnotes in longtable head/foot
\IfFileExists{footnotehyper.sty}{\usepackage{footnotehyper}}{\usepackage{footnote}}
\makesavenoteenv{longtable}
\ifLuaTeX
\usepackage[bidi=basic,shorthands=off,]{babel}
\else
\usepackage[bidi=default,shorthands=off,]{babel}
\fi
\ifLuaTeX
\usepackage{selnolig} % disable illegal ligatures
\fi
\setlength{\emergencystretch}{3em} % prevent overfull lines
\providecommand{\tightlist}{%
\setlength{\itemsep}{0pt}\setlength{\parskip}{0pt}}
\usepackage{bookmark}
\IfFileExists{xurl.sty}{\usepackage{xurl}}{} % add URL line breaks if available
\urlstyle{same}
\hypersetup{
pdftitle={The Observer in Two Interpretations Modal Logic of Measurement in Copenhagen and MWI},
pdfauthor={Paul Koop},
pdflang={de},
colorlinks=true,
linkcolor={blue},
filecolor={Maroon},
citecolor={Blue},
urlcolor={Blue},
pdfcreator={LaTeX via pandoc}}
\title{The Observer in Two Interpretations\\
Modal Logic of Measurement in Copenhagen and MWI}
\usepackage{etoolbox}
\makeatletter
\providecommand{\subtitle}[1]{% add subtitle to \maketitle
\apptocmd{\@title}{\par {\large #1 \par}}{}{}
}
\makeatother
\subtitle{Modal Logic of Measurement in Copenhagen and MWI}
\author{Paul Koop}
\date{}
\begin{document}
\maketitle
\begin{abstract}
In DieZeitlosigkeitDerSteine2.md, the observer plays a central role ---
but only in the DeLillo perspective. That is the Copenhagen side:
Without observer no measurement, without measurement no collapse,
without collapse no reality. The observer is constitutive. In the Van
Dormael perspective (MWI), there is no distinguished observer. All
worlds exist independently of whether they are observed. The present
treatise introduces two observer operators B\_D and B\_V and proves: In
S5+SP+B\_D, the Trinity is necessary. In S5+SP+B\_V, the Trinity is also
necessary, but for different reasons. The metaphysical consequence: The
necessity of the Trinity is not bound to a particular observer
conception. Both perspectives lead to the same structure.
\end{abstract}
{
\hypersetup{linkcolor=}
\setcounter{tocdepth}{3}
\tableofcontents
}
\emph{Past and future are horizons of knowledge.}\\
\emph{The present is the locus of reality.}\\
\emph{Nothing that was, is lost.}
\section{Preface: The Role of the
Observer}\label{preface-the-role-of-the-observer}
In \texttt{DieZeitlosigkeitDerSteine2.md}, the observer plays a central
role --- but only in the \textbf{DeLillo perspective}. That is the
\textbf{Copenhagen side} of quantum mechanics: Without observer no
measurement, without measurement no collapse, without collapse no
reality. The observer is \textbf{constitutive}.
In the \textbf{Van Dormael perspective} (Many-Worlds Interpretation,
MWI), there is \textbf{no distinguished observer}. All worlds exist
independently of whether they are observed. The observer is himself part
of the branching.
In \texttt{modal9.md} it was shown: The two perspectives are \textbf{not
compatible}, but \textbf{simultaneously true}. In \texttt{modal13.md} we
apply this distinction to the \textbf{observer}.
The central claim of this treatise is:
\begin{quote}
\textbf{The necessity of the Trinity is not bound to a particular
observer conception. In S5+SP+B\_D, the Trinity is necessary for
constitutive reasons. In S5+SP+B\_V, it is necessary for structural
reasons. Both perspectives lead to the same structure.}
\end{quote}
The investigation remains faithful to the self-understanding of
\texttt{modal5.md}: It shows \textbf{dependencies}, not truths. It shows
that the observer is \textbf{not a foundation}, but a
\textbf{perspective}.
\section{Two Observer Operators}\label{two-observer-operators}
\subsection{The Basic Idea}\label{the-basic-idea}
Classical modal logic has \textbf{one} necessity operator \(\Box\).
\textbf{Observer modal logic} has \textbf{two} operators --- one for
each observer conception.
\textbf{Intuition:} The observer is not a single mode, but a
\textbf{family of modes}.
\subsection{The Language}\label{the-language}
We extend the language of S5+SP by \textbf{two} observer operators:
\begin{itemize}
\tightlist
\item
\textbf{\(\mathcal{B}_D p\)}: ``p holds under the DeLillo observer
(constitutive).''
\item
\textbf{\(\mathcal{B}_V p\)}: ``p holds under the Van Dormael observer
(non-constitutive).''
\end{itemize}
\textbf{Important:} These operators are \textbf{modal} --- they describe
the role of the observer in the structure of reality.
\subsection{The Semantics}\label{the-semantics}
The two operators have \textbf{different} semantics:
\[\begin{aligned}
\mathcal{B}_D p @ w &\iff \text{the observer in } w \text{ constitutes } p \\
\mathcal{B}_V p @ w &\iff p \text{ holds structurally in } w \text{, independent of the observer}
\end{aligned}\]
\textbf{Explanation:}
\begin{itemize}
\tightlist
\item
\(\mathcal{B}_D p\): p holds \textbf{because} the observer constitutes
it.
\item
\(\mathcal{B}_V p\): p holds \textbf{structurally}, even without
observer.
\end{itemize}
\subsection{The Two Observer
Conceptions}\label{the-two-observer-conceptions}
\textbf{DeLillo observer (\(\mathcal{B}_D\)):} The observer is
\textbf{constitutive}. Without him there is no reality. He is necessary
for the collapse of the wave function. He is a \textbf{singular event}.
\textbf{Van Dormael observer (\(\mathcal{B}_V\)):} The observer is
\textbf{non-constitutive}. He is himself part of the branching. Every
world has its own observer. He is \textbf{multiple}.
\section{The Axioms B1--B4}\label{the-axioms-b1b4}
\subsection{B1: Constitutivity Implies
Reality}\label{b1-constitutivity-implies-reality}
\[\boxed{B1 := \Box(\mathcal{B}_D p \rightarrow p)}\]
\textbf{Reading:} If the DeLillo observer constitutes p, then p holds.
\textbf{Metaphysical meaning:} The constitutive observer
\textbf{generates} reality. What he constitutes is real.
\subsection{B2: Structure Implies
Reality}\label{b2-structure-implies-reality}
\[\boxed{B2 := \Box(\mathcal{B}_V p \rightarrow p)}\]
\textbf{Reading:} If p holds structurally, then p holds.
\textbf{Metaphysical meaning:} Structural reality is
\textbf{independent} of the observer. It holds even when no one observes
it.
\subsection{B3: Observer Relativity}\label{b3-observer-relativity}
\[\boxed{B3 := \Box(\mathcal{B}_D p \leftrightarrow \mathcal{B}_V p)}\]
\textbf{Reading:} The two observer conceptions are \textbf{equivalent}
--- they lead to the same statements.
\textbf{Metaphysical meaning:} Although the two conceptions are
different, they lead to \textbf{the same} statements. Reality is
\textbf{observer-conception-invariant}.
\subsection{B4: Trinity under Both
Observers}\label{b4-trinity-under-both-observers}
\[\boxed{B4 := \Box(\mathcal{B}_D(U \land T \land S) \land \mathcal{B}_V(U \land T \land S))}\]
\textbf{Reading:} The Trinity holds under both observer conceptions.
\textbf{Metaphysical meaning:} The Trinity is \textbf{not bound to a
particular observer conception}.
\section{Proof: Both Observer Conceptions Lead to the
Trinity}\label{proof-both-observer-conceptions-lead-to-the-trinity}
\subsection{The Main Theorem}\label{the-main-theorem}
\textbf{Theorem B-A:} In S5+SP+B1--B4:
\[\Box(U \land T \land S)\]
\subsection{The Proof}\label{the-proof}
\textbf{Step 1:} From \texttt{modal5.md}: In S5+SP,
\(\Box(U \land T \land S)\).
\textbf{Step 2:} From B4:
\(\mathcal{B}_D(U \land T \land S) \land \mathcal{B}_V(U \land T \land S)\).
\textbf{Step 3:} From B1:
\(\mathcal{B}_D(U \land T \land S) \rightarrow U \land T \land S\).
\textbf{Step 4:} From B2:
\(\mathcal{B}_V(U \land T \land S) \rightarrow U \land T \land S\).
\textbf{Step 5:} From B3:
\(\mathcal{B}_D(U \land T \land S) \leftrightarrow \mathcal{B}_V(U \land T \land S)\).
\textbf{Step 6:} From Step 2 and Step 5: Both observer conceptions lead
to the Trinity.
\textbf{Step 7:} Since the Trinity holds in all worlds (from
\texttt{modal5.md}), it also holds under both observer conceptions.
Hence: \(\Box(U \land T \land S)\).
q.e.d.
\subsection{What the Proof Shows}\label{what-the-proof-shows}
The proof shows:
\begin{enumerate}
\def\labelenumi{\arabic{enumi}.}
\tightlist
\item
The Trinity follows \textbf{both} from the constitutive \textbf{and}
from the structural observer conception.
\item
The two conceptions are \textbf{equivalent} (B3).
\item
The Trinity is \textbf{observer-conception-invariant}.
\end{enumerate}
\subsection{What the Proof Does Not
Show}\label{what-the-proof-does-not-show}
The proof does \textbf{not} show:
\begin{enumerate}
\def\labelenumi{\arabic{enumi}.}
\tightlist
\item
That the two conceptions are \textbf{identical}.
\item
That one of the two conceptions is \textbf{false}.
\item
That the choice of conception is \textbf{irrelevant}.
\end{enumerate}
The proof only shows: Both conceptions lead to the same structure.
\section{Comparison with Everett, Bohr,
Rovelli}\label{comparison-with-everett-bohr-rovelli}
\subsection{Everett (MWI)}\label{everett-mwi}
\textbf{Everett} (1957) formulated the Many-Worlds Interpretation. In
this interpretation:
\begin{itemize}
\tightlist
\item
The wave function does \textbf{not} collapse.
\item
All possibilities are \textbf{real}.
\item
The observer is \textbf{himself part} of the branching.
\end{itemize}
\textbf{Comparison with our \(\mathcal{B}_V\):} The Van Dormael observer
corresponds to the Everettian observer. He is non-constitutive, but
\textbf{structural}.
\subsection{Bohr (Copenhagen)}\label{bohr-copenhagen}
\textbf{Bohr} (1928) formulated the Copenhagen interpretation. In this
interpretation:
\begin{itemize}
\tightlist
\item
The wave function \textbf{collapses} upon measurement.
\item
The observer is \textbf{constitutive} for the measurement.
\item
The classical world is \textbf{necessary} for the description.
\end{itemize}
\textbf{Comparison with our \(\mathcal{B}_D\):} The DeLillo observer
corresponds to the Bohrian observer. He is constitutive for reality.
\subsection{Rovelli (Relational QM)}\label{rovelli-relational-qm}
\textbf{Rovelli} (1996) formulated relational quantum mechanics. In this
interpretation:
\begin{itemize}
\tightlist
\item
States are \textbf{relative} to an observer.
\item
There is no \textbf{absolute} state.
\item
The observer is \textbf{relationally} defined.
\end{itemize}
\textbf{Comparison with our \(\mathcal{B}_D\) and \(\mathcal{B}_V\):}
Rovelli's observer is \textbf{neither} purely constitutive \textbf{nor}
purely structural. He is \textbf{relational}. This is a \textbf{third}
position that \textbf{neither} subsumes \textbf{nor} excludes our two
operators.
\subsection{The Point}\label{the-point}
Our two operators \(\mathcal{B}_D\) and \(\mathcal{B}_V\) capture the
two \textbf{classical} positions (Bohr and Everett). They do
\textbf{not} capture the relational position (Rovelli). That is an open
question.
\section{What Follows? The Trinity Is
Observer-Conception-Invariant}\label{what-follows-the-trinity-is-observer-conception-invariant}
\subsection{The Central Insight}\label{the-central-insight}
The necessity of the Trinity is \textbf{not bound to a particular
observer conception}. In S5+SP+\(\mathcal{B}_D\), it is necessary for
constitutive reasons. In S5+SP+\(\mathcal{B}_V\), it is necessary for
structural reasons. Both perspectives lead to the \textbf{same}
structure.
\textbf{Formal version:}
\[\boxed{\Box(\mathcal{B}_D(U \land T \land S) \land \mathcal{B}_V(U \land T \land S))}\]
\subsection{The Consequences}\label{the-consequences}
\textbf{Consequence 1:} The Trinity is
\textbf{observer-conception-invariant}. It follows from both
conceptions.
\textbf{Consequence 2:} The choice of observer conception is
\textbf{not} determined by the structure of reality. It is a
\textbf{metaphysical} or \textbf{physical} question.
\textbf{Consequence 3:} The Trinity is \textbf{no artifact} of a
particular observer conception. It is a \textbf{structural} property.
\subsection{The Relation to Tradition}\label{the-relation-to-tradition}
Classical metaphysics often seeks \textbf{one} foundation. The present
treatise shows: There are \textbf{two} observer conceptions that
\textbf{simultaneously} lead to the Trinity. This is \textbf{not a
defect}, but an \textbf{insight}: The Trinity is \textbf{robust} with
respect to the choice of observer conception.
\section{Open Questions: Is There an Observer-Independent
Core?}\label{open-questions-is-there-an-observer-independent-core}
\subsection{The Question}\label{the-question}
We have shown: Both observer conceptions lead to the Trinity.
\textbf{Question:} Is there an \textbf{observer-independent core} that
underlies \textbf{both} conceptions?
\subsection{Possible Answers}\label{possible-answers}
\textbf{Answer 1:} Yes. The observer-independent core is the
\textbf{structural unity} of the Trinity. It holds independently of
whether it is constituted by an observer or grasped structurally.
\textbf{Answer 2:} No.~There is no observer-independent core. The
Trinity is \textbf{always} observer-relative --- either constitutive or
structural.
\textbf{Answer 3:} The question is \textbf{open}. There are arguments
for both positions.
\subsection{What We Have Shown}\label{what-we-have-shown}
We have \textbf{not} shown that there is an observer-independent core.
We have only shown that \textbf{both} observer conceptions lead to the
Trinity.
The question of the observer-independent core remains \textbf{open}. It
is the subject of \textbf{Modal 14} (Unity of Perspectives).
\subsection{A Second Open Question}\label{a-second-open-question}
\textbf{Question:} Is there a \textbf{third} observer conception?
\textbf{Possible candidates:}
\begin{itemize}
\tightlist
\item
The \textbf{relational} conception (Rovelli).
\item
The \textbf{epistemic} conception (QBism).
\item
The \textbf{process-philosophical} conception (Whitehead).
\end{itemize}
\subsection{A Third Open Question}\label{a-third-open-question}
\textbf{Question:} Are the two observer operators \(\mathcal{B}_D\) and
\(\mathcal{B}_V\) \textbf{equivalent} or \textbf{different}?
\textbf{Answer:} According to B3, they are equivalent. But B3 is itself
an axiom. The question of whether B3 \textbf{necessarily} holds remains
open.
\section{Conclusion: What Has Been
Shown?}\label{conclusion-what-has-been-shown}
The present investigation has shown:
\begin{enumerate}
\def\labelenumi{\arabic{enumi}.}
\item
\textbf{The observer plays a constitutive role in the DeLillo
perspective (Copenhagen), a non-constitutive role in the Van Dormael
perspective (MWI).}
\item
\textbf{This distinction can be formalized in two observer operators:}
\(\mathcal{B}_D\) (constitutive) and \(\mathcal{B}_V\)
(non-constitutive).
\item
\textbf{Both observer conceptions lead to the Trinity.} In
S5+SP+\(\mathcal{B}_D\) for constitutive reasons, in
S5+SP+\(\mathcal{B}_V\) for structural reasons.
\item
\textbf{The Trinity is observer-conception-invariant.} It follows from
both conceptions.
\end{enumerate}
The central claim of this treatise is:
\begin{quote}
\textbf{The necessity of the Trinity is not bound to a particular
observer conception. Both perspectives lead to the same structure. The
Trinity is observer-conception-invariant.}
\end{quote}
The question of an observer-independent core remains open. It is the
subject of \textbf{Modal 14} (Unity of Perspectives).
\section{Appendix A: The Axioms in an
Overview}\label{appendix-a-the-axioms-in-an-overview}
\subsection{Observer Axioms}\label{observer-axioms}
\[\begin{aligned}
B1 &:= \Box(\mathcal{B}_D p \rightarrow p) \\
B2 &:= \Box(\mathcal{B}_V p \rightarrow p) \\
B3 &:= \Box(\mathcal{B}_D p \leftrightarrow \mathcal{B}_V p) \\
B4 &:= \Box(\mathcal{B}_D(U \land T \land S) \land \mathcal{B}_V(U \land T \land S))
\end{aligned}\]
\subsection{Semantics}\label{semantics}
\[\begin{aligned}
\mathcal{B}_D p @ w &\iff \text{the observer in } w \text{ constitutes } p \\
\mathcal{B}_V p @ w &\iff p \text{ holds structurally in } w
\end{aligned}\]
\subsection{The Main Theorem}\label{the-main-theorem-1}
\[\boxed{S5+SP+B1+B2+B3+B4 \vdash \Box(U \land T \land S)}\]
\section{Appendix B: Comparison with Everett, Bohr,
Rovelli}\label{appendix-b-comparison-with-everett-bohr-rovelli}
\begin{longtable}[]{@{}
>{\raggedright\arraybackslash}p{(\linewidth - 6\tabcolsep) * \real{0.2500}}
>{\raggedright\arraybackslash}p{(\linewidth - 6\tabcolsep) * \real{0.2500}}
>{\raggedright\arraybackslash}p{(\linewidth - 6\tabcolsep) * \real{0.2500}}
>{\raggedright\arraybackslash}p{(\linewidth - 6\tabcolsep) * \real{0.2500}}@{}}
\toprule\noalign{}
\begin{minipage}[b]{\linewidth}\raggedright
Interpreter
\end{minipage} & \begin{minipage}[b]{\linewidth}\raggedright
Observer
\end{minipage} & \begin{minipage}[b]{\linewidth}\raggedright
Role
\end{minipage} & \begin{minipage}[b]{\linewidth}\raggedright
Comparison
\end{minipage} \\
\midrule\noalign{}
\endhead
\bottomrule\noalign{}
\endlastfoot
Bohr & Constitutive & Generates reality & \(\mathcal{B}_D\) \\
Everett & Non-constitutive & Part of branching & \(\mathcal{B}_V\) \\
Rovelli & Relational & States relative to observer & Neither
\(\mathcal{B}_D\) nor \(\mathcal{B}_V\) \\
\end{longtable}
\section{Appendix C: The Three Observer Conceptions in an
Overview}\label{appendix-c-the-three-observer-conceptions-in-an-overview}
\begin{longtable}[]{@{}
>{\raggedright\arraybackslash}p{(\linewidth - 6\tabcolsep) * \real{0.2500}}
>{\raggedright\arraybackslash}p{(\linewidth - 6\tabcolsep) * \real{0.2500}}
>{\raggedright\arraybackslash}p{(\linewidth - 6\tabcolsep) * \real{0.2500}}
>{\raggedright\arraybackslash}p{(\linewidth - 6\tabcolsep) * \real{0.2500}}@{}}
\toprule\noalign{}
\begin{minipage}[b]{\linewidth}\raggedright
Conception
\end{minipage} & \begin{minipage}[b]{\linewidth}\raggedright
Operator
\end{minipage} & \begin{minipage}[b]{\linewidth}\raggedright
Role
\end{minipage} & \begin{minipage}[b]{\linewidth}\raggedright
Consequence
\end{minipage} \\
\midrule\noalign{}
\endhead
\bottomrule\noalign{}
\endlastfoot
Constitutive & \(\mathcal{B}_D\) & Generates reality & Trinity
necessary \\
Structural & \(\mathcal{B}_V\) & Grasps reality & Trinity necessary \\
Relational & --- & States relative & Open \\
\end{longtable}
\section{Afterword}\label{afterword}
You have read this treatise. Perhaps the idea surprised you that there
are \textbf{two} observer conceptions. Perhaps the consequence impressed
you that both lead to the Trinity. Both are fine.
The investigation has shown: The observer is \textbf{not a foundation},
but a \textbf{perspective}. The Trinity is \textbf{robust} with respect
to the choice of observer conception. It follows from both.
What remains is the insight that the Trinity is
\textbf{observer-conception-invariant}. It is not an artifact of a
particular observer conception. It is a \textbf{structural} property.
One final question:
\begin{quote}
\textbf{Do we dare the leap into openness to the limit --- even though
there are two observer conceptions that are not identical?}
\end{quote}
\emph{This treatise was written in the spirit of rigorous modal logic,
yet in the language of philosophy -- for truth requires both: the
precision of the formula and the breadth of the concept.}
\end{document}