Notes to Logic and Ontology

1. I am exaggerating, of course, since words like “are” have to be fixed as well, as in “All men are mortal, all mortals are doomed, thus all men are doomed.”

2. For much more on all these issues related to the philosophy of logic, Engel 1991 is recommended as an introduction to the philosophy of logic. It covers many more topics than we can touch on here. However, it does not specifically deal with the relationship between logic and ontology. A classic, but opinionated, introduction to the philosophy of logic is Quine 1970. Other introductory texts in the philosophy of logic include Haack 1978 and Reid 1995.

3. This, of course, assumes that the canonical notation involves variables. This doesn't have to be so, but is so for many formal systems, including the one that usually comes up in this context: first order logic.

4. Whether “There are Fs” contains a quantifier is not so clear since none of the words in this sentence are strictly speaking quantifier phrases, except possibly “Fs” which could be a plural quantifier. That this is often seen as a paradigmatic case of a quantified statement is often based on the confusion that “there is” is a quantifier in “There is a number between 6 and 8”. Strictly speaking “a number” is the quantifier, though, and “there is” seems to be the improperly named ‘existential construction’, discussed, for example, in Barwise & Cooper 1981. For more on this see chapter 3 of Hofweber 2016.

Copyright © 2017 by
Thomas Hofweber <>

Open access to the SEP is made possible by a world-wide funding initiative.
The Encyclopedia Now Needs Your Support
Please Read How You Can Help Keep the Encyclopedia Free