Abstract

Godel's and Tarski's theorems were inspired by paradoxes: the Richard paradox, the Liar. Godel, in the 1951 Gibbs lecture argued from his metatheoretical results for a metaphysical claim: the impossibility of reducing, both, mathematics to the knowable by the human mind and the human mind to a finite machine (e.g. the brain). So Godel reasoned indirectly from paradoxes for metaphysical theses. I present four metaphysical theses concerning mechanism, reductive physicalism and time for the only purpose of suggesting how it could be argued for them directly from paradoxical sentences.