It is not the case that Quine's thesis that intensional contexts are eliminable in favor of extensional paraphrase applies here: Con(F) is a purely syntactic, recursively defined sentence whose meaning just is its extension over arithmetic.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.