[FRIAM] Doxastic logic - Wikipedia

[┣glen┫]

On 09/21/2017 08:27 PM, Nick Thompson wrote:
> */[NST==> Is there any logic in which, “Let X be Y; therefore X is Y” is not entailed.  If a belief is defined as that upon which one is prepared to act, is there any logic in which acting does not imply belief?  <==nst] /*

Of course.  E.g. modal logics allow different types of "therefore", say ⊨_a and ⊨_b.  Then it might be true that "Let X be Y  ⊨_a  X is Y" but false that "Let X be Y  ⊨_b  X is Y".  Similarly, I can imagine a logic where "be" and "is" mean different things.

> On 09/21/2017 05:00 PM, gⅼеɳ ☣ wrote:
> Yes, of course.  E.g. Since most of my actions involve very tight feedback loops, something like tossing a ball to a friend can be launched and then I can make attempts to abort it if, say, I notice the friend has looked away.
> 
> */[NST==>Wouldn’t the best way to analyze this be as a series of “micro” beliefs?  <==nst] /*

What is a "micro" belief?  The whole point of my response was that you are over-simplifying both belief and action in order to tell a "just so story" and force the story to fit your philosophy.  It seems reasonable to me that if actions are decomposable, then so would be beliefs because there's no difference between beliefs and actions.

But you are saying something different.  Somehow, to you, beliefs are different from actions.


> */[NST==>I think a body can enact conflicting beliefs at the same time, but that is because I am comfortable with the idea that that the same body can simultaneously act on two different belief systems.  CF Freud, slips of the tongue, hysteria, etc.  Frank will correct me. /*

You're implying that, although bodies are composite, belief systems are unitary.  If the same body can do 2 conflicting things, why can't the same belief system be composed of 2 conflicting things?  This is why I raised the idea of paraconsistent, defeasible, and higher order logics.  Specifically _those_ types.

Why do you treat belief systems as fundamentally different from physical systems?

-- 
␦glen?