FOM: Re: Ontology in Logic and Mathematics

[Matt Insall]

Roger:
No.

It all hangs on the semantics.
If the semantics of a language is specified by giving truth conditions for
sentences then these truth conditions tell you what it means to assert the
sentence (i.e. asserting a sentence is asserting that the truth conditions
hold).


Matt:
Let us say for now that I am ontologically committed to the theory
(ZFC-AxInf)+not(AxInf), which I shall denote by T.  How do I deal with
semantics in this case?


Dr. Matt Insall
http://www.umr.edu/~insall