God could use only the T-free fragment of English to uniquely specify our world.We are unlike God in that respect; we need a device that enables us to overcome finite constraints in our effort to describe the world. That device is ‘true’ or, for clarity, ‘dtrue’, a device introduced via rules of intersubstitution: that dT<A> and A are intersubstitutible in all (transparent) contexts.

god i love analytic philosophy

Sign in to participate in the conversation
inherently digital

a very robotic single-user instance