SUO: Re: Comments on Whitten's Starter Ontology
Chris Menzel wrote:
>
> Jon wrote:
> > From this POV, propositional expressions are just notations
> > for boolean-valued functions f : X -> B, where B = {0, 1}.
>
> Jon, intuitively, what is X here? I can't help but notice the formal
> similarity of your suggestion to the standard account of propositions
> (i.e., semantic values of propositional variables) in the possible
> worlds semantics for propositional logic, where X is just the set of
> possible worlds (or, more intuitively perhaps, possible contexts).
> The idea is that a sentence expresses a function from contexts to
> truth values. Intuitively, then, an assertion of a sentence in a
> given context yields truth or falsity, depending on the context.
> Is this your idea? Sorta?
>
> Regards,
>
> -chris
>
> --
>
> Christopher Menzel # web: philebus.tamu.edu/~cmenzel
> Philosophy, Texas A&M University # net: chris.menzel@tamu.edu
> College Station, TX 77843-4237 # vox: (979) 845-8764
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
Chris,
Just a further follow-up on your question,
that came to mind as I was surfing through
this site:
<http://www-formal.stanford.edu/jmc/mccarthy-buvac-98/context/context.html>
Is this the sense that you had in mind for "context",
or anything like it?
Jon
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤