I survey some important semantical and axiomatic theories of self-referential truth. Kripke's fixed-point theory, the revision theory of truth and appraoches involving fuzzy logic are the main examples of semantical theories. I look at axiomatic theories devised by Cantini, Feferman, Freidman and Sheard. Finally some applications of the theory of self-referential truth are considered.

Não existe uma resolução sobre como exatamente a Ciência da Lógica de Hegel informou Marx enquanto ele escrevia o volume I de O Capital. Tentativas de estabelecimento de uma homologia categorial estrita entre os dois trabalhos hesitam nas dissemelhanças de suas respectivas estruturas analíticas enquanto exorcizam o papel substantivo da liberdade humana da filosofia de Hegel. Como alternativa, proponho a diretriz de uma afinidade eletiva quando se considera as dialéticas de Hegel e Marx. O presente trabalho aplica tal princípio à (...) categoria da subsunção. Irei demonstrar que a subsunção da externalidade entre sujeito e predicado dentro da forma do juízo da lógica hegeliana do conceito compartilha uma afinidade conceitual com a teoria marxiana da subsunção formal e real do trabalho sob o capital. Ao caracterizar minha abordagem como afinidade eletiva, o presente trabalho procura fundamentar a proximidade entre esses dois pensadores menos com a intenção de construir um alinhamento rígido entre as sequências categoriais que em estabelecer comparações racionais com as quais delinear o elemento decisivo da crítica da economia política: como o trabalho pode ser logicamente tanto o resultado quanto a pressuposição do capital. (shrink)