Restricted Quantification and Conditional Assertion

Publisher Summary This chapter discusses restricted quantification and conditional assertion. It also discusses propositions, negation, conjunction, restricted quantification, and proof theory. The chapter also discusses the complications required by a domain-and-values semantics for the quantifiers. For illustrative purposes a semantics is chosen in which predicate letters and individual constants have intensions, but in which variables have only extensions: denotation of predicate letters and individual constants is relative to worlds, but denotation of variables is not.