Abstract
In this paper a principle of substitutivity of logical equivalents salve veritate and a version of Leibniz’s law are formulated and each is shown to cause problems when combined with naive truth theories.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have