128135

Re whether logic consists of tautologies. "I do not agree with your opinion because I have a different definition of logical propositions from yours. You think of logical propositions as 'abstract patterns of possible classes of tautologies'. I think of them as general propositions from which particular examples may be deduced. Let us take an example: Whatever propositions p and q may be, p or q together with not-p, entail q. I should call this a proposition of logic. I should not call an instance of it a proposition of logic if the instance contained any empirical material. For instance: 'If Socrates was either Roman or Greek and was not Roman then he was Greek'. I should not regard this as a proposition of logic because it contains the empirical words 'Socrates', 'Roman' and 'Greek'."