It is not the case that On relative identity, 'a = b' is always sortal-relative (a is the same F as b), so cross-sortal substitution in Leibniz's Law is simply ill-formed.
?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.