[FRIAM] Was: Abduction; Is Now: Dionysian and Apollonian Lives

[Frank Wimberly]

But is there a continuous "many valued" logic, where any proposition can be
evaluated to take on some sub-region of a continuous set?

Yes!  See Wikipedia for a good discussion:

https://en.m.wikipedia.org/wiki/Many-valued_logic

-----------------------------------
Frank Wimberly

My memoir:
https://www.amazon.com/author/frankwimberly

My scientific publications:
https://www.researchgate.net/profile/Frank_Wimberly2

Phone (505) 670-9918

On Wed, Jan 2, 2019, 12:36 PM uǝlƃ ☣ <gepropella at gmail.com wrote:

> Since one of my dead horses is artificial discretization, I've always
> wondered what it's like to work in many-valued logics.  So, proof by
> contradiction would change from [not-true => false] to [not-0 =>
> {1,2,..,n}], assuming a discretized set of values {0..n}.  But is there a
> continuous "many valued" logic, where any proposition can be evaluated to
> take on some sub-region of a continuous set?  So, proof by contradiction
> would become something like [not∈{-∞,0} => ∈{0+ε,∞}]?
>
> On 1/2/19 11:23 AM, Frank Wimberly wrote:
> > p.s.  Dropping the law of the excluded middle required giving up proof by
> > contradiction.
>
> --
> ☣ uǝlƃ
>
> ============================================================
> FRIAM Applied Complexity Group listserv
> Meets Fridays 9a-11:30 at cafe at St. John's College
> to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com
> archives back to 2003: http://friam.471366.n2.nabble.com/
> FRIAM-COMIC <http://friam.471366.n2.nabble.com/FRIAM-COMIC>
> http://friam-comic.blogspot.com/ by Dr. Strangelove
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://redfish.com/pipermail/friam_redfish.com/attachments/20190102/2e5814d7/attachment.html>