In his book Logical Forms Chateaubriand proposes, among other things, a theory of truth according to which a true statement describes some aspect of the world. The aim of this paper is to assess Chateaubriand’s claim that his theory of truth is compatible with the main intuition underlying the correspondence theory.

Quine, em seu livro Philosophy of Logic, identifica lógica com lógica de primeira ordem e defende a concepçáo segundo a qual a completude é uma propriedade necessária dos sistemas lógicos. O objetivo deste trabalho é discutir a argumentaçáo de Quine e mostrar que suas idéias a respeito da natureza da lógica apresentam diversos problemas tanto conceituais, como técnicos.