chapter  14
9 Pages

Formal Axiomatic Systems

WithG. E. Hughes, D. G. Londey

So far we have considered axiomatic systems as systematizations of some field or another, in particular of PC. In doing this, we are continuing the point of view adopted in Part I, under which we are concerned with formulae as propositional formulae, with variables as propositional variables, with operators as proposition-forming operators; and similarly the rules are regarded as rules for generating propositional formulae. That is, we have not been concerned with axiomatic systems as purely formal structures, but as structures interpreted in a certain way.