Abstract
I discuss the adequacy of Marcus's proposals for handling substitution-failure (opacity) of various kinds. I argue that, instead of imposing substitution-permitting logical forms on the problematic examples, as she recommended, it is preferable to construct systems of inference in which substitution-permitting forms are inferred from substitution-resisting ones
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: THEORIA. An International Journal for Theory, History and Foundations of Science
Paper Title
Journal
Date
