- Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

From: Bruno Marchal <marchal.domain.name.hidden>

Date: Mon, 03 May 2004 17:00:26 +0200

Hi,

I have put on my web page a link toward a "pdf" slide

giving the main "map of the territory".

http://iridia.ulb.ac.be/~marchal/MapOfTerritory.pdf

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.

Bruno

http://iridia.ulb.ac.be/~marchal/

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

Date: Mon, 03 May 2004 17:00:26 +0200

Hi,

I have put on my web page a link toward a "pdf" slide

giving the main "map of the territory".

http://iridia.ulb.ac.be/~marchal/MapOfTerritory.pdf

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.

Bruno

http://iridia.ulb.ac.be/~marchal/

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
*