# Re: Unexpected Hanging

```On Thu, Sep 19, 2013 at 4:31 PM, Bruno Marchal <marc...@ulb.ac.be> wrote:
>
> On 18 Sep 2013, at 21:45, Telmo Menezes wrote:
>
>> On Wed, Sep 18, 2013 at 6:13 PM, Bruno Marchal <marc...@ulb.ac.be> 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 :)```
```
Ok. No, it's right. I just thought there was something more to it.

> D is for diamond. Dp, in modal logic, often written <>p is an abbreviation
> of ~B~p.

I know, I meant Dt vs. Dp. Was it a typo? Otherwise what's Dt as opposed to Dp?

> 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 ...).

I've been slowly going through Chellas.

Thanks!
Telmo.

> 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
> To post to this group, send email to everything-list@googlegroups.com.
> Visit this group at http://groups.google.com/group/everything-list.
> For more options, visit https://groups.google.com/groups/opt_out.

--
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