Meaning as consequence and the justification of inference rules

CS-TR-05-6

Authors: Neil Leslie
Source: GZipped PostScript (54kb); Adobe PDF (154kb)


Abstract: We often think of a proposition as being defined in terms of what (immediate) evidence for it is, and that the meanings of the logical constants are determined by their introduction rules. Instead, let's think of a proposition as being defined in terms of what an immediate consequence of it is, and take the elimination rules as determining the meanings of the constants.

Keywords: Logic, Proof theory, Meaning


[Up to Computer Science Technical Report Archive: Home Page]