The Map of the territory

From: Bruno Marchal <>
Date: Mon, 03 May 2004 17:00:26 +0200


I have put on my web page a link toward a "pdf" slide
giving the main "map of the territory".
It is a graph whose vertex give the main propositional
logics used in the "derivation of physics from machine introspection",
and the edges are just inclusion relations.
For exemple CL = propositional classical logic, as seen as the
set of all theorems of some (complete) presentation of it. Or as the set
of all classical tautologies.
IL = Intuitionistic logic; and QL = quantum logic.
(Precise definitions will be given)
Both IL and QL are sublogic of CL. (A v (not A)) is not a theorem
                                                     of IL, for example,
and A & (B v C) and (A & B) v (A & C) are not equivalent in QL.
Above CL we find the main modal logic: the "well known" G and G*,
and S4Grz, etc.

That little diagram should help. Print and sleep with it ;-)
More explanation asap.

Received on Mon May 03 2004 - 11:02:01 PDT

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:09 PST