It is not the case that Leibniz's reduction procedure presupposes that substitution of definitional equivalents preserves meaning, but Frege's puzzle shows co-referential terms are not always intersubstitutable salva veritate in all contexts.
?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.