FOM: Re: Ontology in Logic and Mathematics
montez at rollanet.org
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