Continuation of discussion on the MUH << & Board issue, please help.>>

From: Brian Tenneson <tennesb.domain.name.hidden>
Date: Fri, 21 Mar 2008 01:22:36 -0700 (PDT)

I've tried posting two messages now and neither got posted. Please
Help.


The second (quoted below) was a re-wording of the first, basically,
and after the first one, I figured I hit "reply to author" instead of
"reply" in my thread:
http://groups.google.com/group/everything-list/browse_thread/thread/46f5b547d5e4d121/ee52081315582cff#ee52081315582cff

After it failed to post a second time, I am trying this, a new thread.




Here is the second post that would be nice if this were merged there
as, for some reason, my posts aren't getting online... ??





By Fuzzy Logic (FL), I mean such things as mentioned in these links
(perhaps I should have said Many-Valued Logic or Non-classical Logic):

http://en.wikipedia.org/wiki/Multi-valued_logic

The structure of the truth set is not necessarily the interval [0,1];
it could be an MV-algebra, perhaps with some type of ordering:
http://en.wikipedia.org/wiki/MV-algebra
Chang's Theorems do, however, connect arbitrary MV-algebras with the
[0,1] interval.

<quote from http://en.wikipedia.org/wiki/MV-algebra >
Chang's (1958, 1959) completeness theorem states that any MV-algebra
equation holding in the standard MV-algebra over the interval [0,1]
will hold in every MV-algebra. Algebraically, this means that the
standard MV-algebra generates the variety of all MV-algebras.
Equivalently, Chang's completeness theorem says that MV-algebras
characterize infinite-valued Lukasiewicz logic, defined as the set of
[0,1]-tautologies.
</quote>

Also, I would like to reiterate/argue that what I mean by FL +is+ a
generalization of Classical Logic (including Model Theory). Try to
find and see this book for more details, including what I meant
earlier in my posts about "designated" truth values.
Gottwald S. 2000, S. A Treatise on Many-Valued Logics, Research
Studies Press, Baldock.
One might try this article which seems to be a tutorial on FL (Many-
Valued Logic):
http://www.uni-leipzig.de/~logik/gottwald/SGforDJ.pdf

My personal investigation is regarding some type of universal fuzzy
set, by which I mean a set U such that for all fuzzy sets x, x is in
U. Now I don't yet know whether there is a fuzzy set theory (ie, a
fuzzy set theory with suitable axioms) that is consistent relative to
ZFC (Zermelo-Fraenkel set theory, with the axiom of choice). This is
what I hope to settle in my future PhD thesis (I currently just have a
master's), maybe, if not connect this all to the MUH outright or just
confine myself to logic.

My work I think is related to Tegmark's MUH in that some universal set
is, at least in some sense, literally, the universe, assuming the
MUH. This (my) work in FL is based on this paper below which lays the
foundation:

http://citeseer.ist.psu.edu/444507.html
Abstract: This paper proposes a possibility of developing an axiomatic
set theory, as first-order theory within the framework of fuzzy logic
in the style of [13]. In classical ZFC, we use an analogy of the
construction of a Boolean-valued universe---over a particular algebra
of truth values---to show the non-triviality of our theory. We present
a list of problems and research tasks.

The aim of my research right now is to pursue question (2) on page 8
of that paper. (Here is the pdf:
http://citeseer.ist.psu.edu/rd/0%2C444507%2C1%2C0.25%2CDownload/http://citeseer.ist.psu.edu/cache/papers/cs/22478/http:zSzzSzwww.cs.cas.czzSzvvvvedcizSzhajekzSzstrls2.pdf/a-set-theory-within.pdf
)
<quote>
Which additional axioms might/should be added? Which must not be
added because they imply the crispness of everything
</quote>

As I mentioned earlier, the foundation axiom would have to be dropped,
because U would be in U, and so this is a non-well-founded type of set
theory, and leads to so called vicious circles as mentioned elsewhere,
for example:
http://en.wikipedia.org/wiki/Non-well-founded_set_theory


Hopefully, this all will shed some light on the discussion I posted a
link to:
http://groups.google.sh/group/sci.logic/browse_thread/thread/b0ed9baa707749ad/ef7752e4bcfc2631#ef7752e4bcfc2631

--~--~---------~--~----~------------~-------~--~----~
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 Fri Mar 21 2008 - 17:14:23 PDT

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