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?
>
> >
>
--
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