General-Elimination Harmony and the Meaning of the Logical Constants |
| |
Authors: | Stephen Read |
| |
Institution: | 1.Department of Philosophy,University of St Andrews,Scotland,UK |
| |
Abstract: | Inferentialism claims that expressions are meaningful by virtue of rules governing their use. In particular, logical expressions
are autonomous if given meaning by their introduction-rules, rules specifying the grounds for assertion of propositions containing
them. If the elimination-rules do no more, and no less, than is justified by the introduction-rules, the rules satisfy what
Prawitz, following Lorenzen, called an inversion principle. This connection between rules leads to a general form of elimination-rule,
and when the rules have this form, they may be said to exhibit “general-elimination” harmony. Ge-harmony ensures that the
meaning of a logical expression is clearly visible in its I-rule, and that the I- and E-rules are coherent, in encapsulating
the same meaning. However, it does not ensure that the resulting logical system is normalizable, nor that it satisfies the
conservative extension property, nor that it is consistent. Thus harmony should not be identified with any of these notions. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|