 Of course this is not a wholly cost free line to take. Apart from the fact that it means that “p” and “p is true” are not in general interchangeable, it also creates problems for truth-functionality. We normally think of “or”, “and” and “not” as being truth-functional. That is to say, we think that the truth-values of “p or q”, “p and q” and “not-p” are determined by the truth-values of “p” and “q”. But if we adopt the Aristotelian solution, and accept the way outlined just now of determining the truth-value of a complex proposition, “or”, for instance, will not be truth functional. In some case “p or q” will be true when neither p nor q is true (when, for instance, “q” is “not-p”), and in some case it will not be (if, say, “p” is “there will be a sea-battle tomorrow” and “q” is “there will be a football match tomorrow”). (If one thinks in terms of there being a third truth-value, indeterminacy, say, in addition to truth and falsity, the position will be that, when p and q are both indeterminate, sometimes “p or q” is true, and sometimes it is indeterminate.). Similarly “p and q” will be false in the one case and indeterminate in the other.