SUO: RE: Re: Logic & Programming Languages
Perhaps (coin-) Flipper and his species might have something like the Rev.
Bayes' material instead of FOL as their main reasoning system?
---
Danny Ayers
http://www.isacat.net
>-----Original Message-----
>From: owner-cg@cs.uah.edu [mailto:owner-cg@cs.uah.edu]On Behalf Of
>wtepfenhart
>Sent: 03 August 2001 19:05
>To: sowa@bestweb.net
>Cc: cg@cs.uah.edu; standard-upper-ontology@IEEE.org
>Subject: CG: Re: Logic & Programming Languages
>
>
>John,
>
>I realize that we are reasoning about probability, which is why I posed the
>question. I can see how one can logically select an answer when
>one result is
>more probable than another. I just have not yet seen any logical
>formula that
>lets me choose between two equally probable results. (I just can't
>imagine Mr.
>Spock saying, of course it was logical that Captain Kirk would pick heads.)
>
>Most logical formula's will let give me an equally valid truth
>value for either
>choice. The exception occurs when I encorporate some random choice
>generator
>that will temporarily give one solution preference. That is, some little
>function that will randomly select between heads and tails. Yet
>such a random
>choice generator is not a logical construct, is it?
>
>Bill
>
>"John F. Sowa" wrote:
>
>> Bill,
>>
>> As usual, CSP had an answer to that question:
>>
>> >Where does random chance fit into the whole scheme of things? I
>know that
>> >flipping a coin has a 50-50 chance of landing heads, so how can
>I logically
>>
>> >choose heads or tails?
>>
>> He said that reasoning about probability is not a special
>> kind of reasoning. It is just logical reasoning about a
>> different subject matter -- namely, probability.
>>
>> So in this case, you are correctly reasoning that the
>> probability is 50%. Therefore, you can logically expect
>> to get heads 50% of the time or tails 50% of the time.
>>
>> John Sowa
>
>========================================================================
>To post a message, send mail to cg@cs.uah.edu.
>To unsubscribe, send mail to majordomo@cs.uah.edu with the command
>'unsubscribe cg' in the message body.
>See http://www.virtual-earth.de/CG/cg-list/ for the mailing list archive
>See http://www.cs.uah.edu/~delugach/CG for the Conceptual Graph Home Page
>For help or administrative assistance, mail to owner-cg@cs.uah.edu