Re: Modal logic, consciousness, and matter

```
On Tuesday, February 26, 2019 at 4:39:25 PM UTC-6, Brent wrote:
>
>
>
> On 2/26/2019 2:02 PM, Philip Thrift wrote:
>
>
>
> On Tuesday, February 26, 2019 at 2:51:39 PM UTC-6, Brent wrote:
>>
>>
>>
>> On 2/26/2019 11:00 AM, Philip Thrift wrote:
>>
>>
>>
>> On Tuesday, February 26, 2019 at 12:43:49 PM UTC-6, Brent wrote:
>>>
>>>
>>>
>>> Right.  Truth and existence are quite different things.
>>>
>>> Brent
>>>
>>>
>>>
>> For those from the type theory, programming language theory, constructive
>> mathematics (whatever that clumping of schools is called):
>>
>> Truth and existence are the same things.
>>
>>
>> So do those infer the existence of 2 and 4 from truth of 2+2=4?
>>
>> Brent
>>
>
> Formulate arithmetic as a logic program and enter the query:
>
>    ∃(X,Y):(X+X=Y)
>
> Then via backtracking it prints out:
>
> (X,Y) =
>
> (0,0)
> (1,2)
> (2,4)
> ...
>
>
> Formulate theology as a logic program and enter the query:
>
>   E(x)[If P is a prefection, then Px]
>
> Then it prints out:
>
> x = Anslem's God.
>
> That's the great thing about logic. You can prove anything if you just the
> right axioms and rules of inference.
>
> Brent
>```
```

*Automating Godel’s Ontological Proof of God’s Existence with Higher-order
Automated Theorem Provers*
http://page.mi.fu-berlin.de/cbenzmueller/papers/C40.pdf

- pt

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