On 18 Sep 2013, at 21:45, Telmo Menezes wrote:
On Wed, Sep 18, 2013 at 6:13 PM, Bruno Marchal <[email protected]>
wrote:
On 18 Sep 2013, at 11:43, Telmo Menezes wrote:
<snip>
But maybe it doesn't. At least some week form of solipsism, where
there is in fact only me, but the notion of "I" is extended. No?
I would say that there are as many notion of "I", that there are
intensional
nuances.
The most basic is the 3-I, like when the machine says I have two
arms, (Bp),
then there is the 1-I, when the machine says that she has two arms,
and it
is the case that she has two arms (Bp & p), then there is the
observer I,
when the machine says that she has two arms, and it is possible, not
contradictory, for that machine that she has two arms, or
equivalently that
0=0 is not a contradiction, Bp & Dp,
equivalent with Bp & Dt. Then the
"feeler" whioch combines both Dt and "& p".
Bruno, I don't understand these last two lines. What's Dt? What's a
feeler?
A feeler is someone who feels. My automated spelling verifier does not
complain, but perhaps he get tired with me :)
D is for diamond. Dp, in modal logic, often written <>p is an
abbreviation of ~B~p.
For example (possible p) is the same as (not necessarily not p). Like
"it exists x such that p(x)" is the same as not for all x do e have
not p(x).
Bp & Dp, really means that p is true in all worlds (that I can access)
and Dp really means that there is such a world (if not, classically Bp
can be vacuously true). Normally there will be some explanations of
modal logic (on FOAR). Older explanations on this list exists also,
may be by searching on "modal" (hmm... you will probably get too many
posts ...).
Bruno
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.
