×

Extensionality in sentence position. (English) Zbl 0615.03012

Call an n-ary connective \(\kappa\) extensional if it complies with the principle of replacement of material equivalents: if one substitutes for each sentence \(\phi_ i\) in \(\kappa (\phi_ 1,...,\phi_ n)\) a sentence \(\psi_ i\) with the same truth value as \(\phi_ i\), then the resulting sentence \(\kappa (\psi_ 1,...,\psi_ n)\) will have the same truth value as the original \(\kappa (\phi_ 1,...,\phi_ n)\). Clearly, all truth-functional connectives are extensional in this sense. The converse, however, does not hold. As the author notes, the difference between extensionality and truth-functionality is not always recognized in the literature. The paper offers a characterization of the extensional connectives, both from a semantic and from a more proof-theoretic point of view.
Reviewer: F.Veltman

MSC:

03B65 Logic of natural languages
03B45 Modal logic (including the logic of norms)
03A05 Philosophical and critical aspects of logic and foundations
Full Text: DOI