Abstract and Keywords
The logical constants are technical terms, invented and precisely defined by logicians for the purpose of producing rigorous formal proofs. Mathematics virtually exhausts the domain of deductive reasoning of any complexity, and it is there that the benefits of this refined form of language are felt. Pragmatic issues may arise — issues concerning the point of making a certain statement — for there will be more or less perspicuous and illuminating ways of presenting proofs in this language, and we may be puzzled or misled when we wonder why the mathematician is taking some particular step. But this is hardly a compulsory topic in the philosophy of language.
Access to the complete content on Oxford Handbooks Online requires a subscription or purchase. Public users are able to search the site and view the abstracts and keywords for each book and chapter without a subscription.
If you have purchased a print title that contains an access token, please see the token for information about how to register your code.