FOM: Re: Ontology in Logic and Mathematics

Matt Insall montez at
Mon Sep 25 21:57:20 EDT 2000


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

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

More information about the FOM mailing list