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

From: Günther Greindl <guenther.greindl.domain.name.hidden>

Date: Sun, 27 Apr 2008 18:47:14 +0200

Dear Brian,

have you had a look at Universal logic?

http://en.wikipedia.org/wiki/Universal_logic

Maybe there are points of interest in there for you (the wikipedia

article is only a stub, but contains some names to google).

Cheers,

Günther

Brian Tenneson wrote:

*> I was skimming though a book by Roberto Cignoli, Itala D'Ottaviano, and
*

*> Daniele Mundici called Algebraic Foundations of Many-Valued Reasoning.
*

*>
*

*> Recall that I conjectured that the Physicist's universe has an
*

*> MV-algebra structure. I probably should have said that the Physicist's
*

*> universe is the category of all MV-algebras, or some such.
*

*>
*

*> In this book I'm studying, I have lifted some facts which might prove
*

*> interesting when settling my conjecture (which obviously might be as
*

*> insignificant as the conjecture 0+1=1).
*

*>
*

*>
*

*>
*

*> From book:
*

*> Let A be the category of l-groups (lattice-ordered Abelean groups) with
*

*> a strong distinguished unit.
*

*>
*

*> Let M be the category of MV-algebras. (I think a briefer way to say that
*

*> would be "let M be MV-algebra".)
*

*>
*

*>
*

*>
*

*>
*

*>
*

*> OK, now... Chapter 7 of the aforementioned book has as its goal proving
*

*> the following statement:
*

*> There is a natural equivalence between A and M, meaning that there is a
*

*> functor, call it F, between A and M. In other words, between A and M,
*

*> there is a full, faithful, and dense functor F.
*

*>
*

*>
*

*>
*

*>
*

*>
*

*> Thus another way to state my conjecture is this:
*

*> The universe is an (or at least has the structure of an) l-group with a
*

*> strong distinguished unit. Does this ring any bells with physicists?
*

*> What, "physically" or observably, is this strong distinguished unit, if so?
*

*>
*

*> >
*

*>
*

Date: Sun, 27 Apr 2008 18:47:14 +0200

Dear Brian,

have you had a look at Universal logic?

http://en.wikipedia.org/wiki/Universal_logic

Maybe there are points of interest in there for you (the wikipedia

article is only a stub, but contains some names to google).

Cheers,

Günther

Brian Tenneson wrote:

-- Günther Greindl Department of Philosophy of Science University of Vienna guenther.greindl.domain.name.hidden http://www.univie.ac.at/Wissenschaftstheorie/ Blog: http://dao.complexitystudies.org/ Site: http://www.complexitystudies.org --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to everything-list.domain.name.hidden To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden For more options, visit this group at http://groups.google.com/group/everything-list?hl=en -~----------~----~----~----~------~----~------~--~---Received on Sun Apr 27 2008 - 12:48:07 PDT

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