Re: "Friendly Premises"

"George Dance" <georgedance04@xxxxxxxx> writes:

> However, the equivalence follows no matter how one quantifies: if some
> but not all Fs were Gs and vice versa, "There are no Fs" and "There are
> no Gs" would still have the same truth value.

So we can take "the concepts of 'self-proving procedure' and 'proof'
refer to the same things" to mean "all self-proving procedures are
proofs and all proofs are self-proving procedures". Can we similarly
eliminate the word "concept" from the statement "There is no concept
of 'self-proving procedure' in logic"?





.

Loading