Re: A pk is *both* a physical and a logical object.

On 19 jul, 19:39, "Brian Selzer" <br..._at_selzer-software.com> wrote:
> "Jan Hidders" <hidd..._at_gmail.com> wrote in message
>
> news:1184860573.502673.208300_at_g4g2000hsf.googlegroups.com...
>
>
>
> > On 13 jul, 16:54, "Brian Selzer" <br..._at_selzer-software.com> wrote:
> >> "Jan Hidders" <hidd..._at_gmail.com> wrote in message
>
> >>news:1184317017.026070.245210_at_22g2000hsm.googlegroups.com...
>
> >> > On 13 jul, 06:17, "Brian Selzer" <br..._at_selzer-software.com> wrote:
>
> >> >> I was thinking more along the lines of the difference between what can
> >> >> be
> >> >> and what can be true.
>
> >> > Very little, I imagine. :-)
>
> >> {a, b, c} is different from {{a}, {b}, {c}}, yes? A description of the
> >> universe is a description of what can be. What can be true is a
> >> description
> >> of a description of what can be.
>
> > I don't see a distinction between "can be" and "can be true", for me
> > those are synonymous. Perhaps you meant "is" and "can be"? Note that
> > the UoD is anything you might want to talk about, and therefore
> > usually describes what "can be" and not just "what is".
>
> So, what you're saying is that existence is identical to truth?

For propositions, yes. Remember "Die Welt ist alles, was der Fall ist."

• Jan Hidders