Telecharger Cours

New Grounds for Na?ve Truth Theory - MIT

A fourth way to avoid Tarski's result is to add a non-classical conditional ? to the language and include in your theory all instances of (T[A] ? A) ? (A ? T[A]) ...



Download