Portal de Periódicos da CAPES

LOGICAL TRUTH AND SECOND-ORDER LOGIC: RESPONSE TO GUILLERMO ROSADO-HADDOCK

2008; UNIVERSIDADE ESTADUAL DE CAMPINAS; Volume: 31; Issue: 1 Linguagem: Inglês

2317-630X

Oswaldo Chateaubriand,

Logic, Reasoning, and Knowledge

In my response to Guillermo Rosado-Haddock I discuss the two main issues raised in his paper. The first is that by allowing Henkin’s general models as a legitimate model-theoretic interpretation of second-order logic, I undermine my defense of second-order logic against Quine’s views concerning the primacy of firstorder logic. The second is that my treatment of logical truth and logical properties does not take into account various systems of logic and properties of systems of logic such as the Lowenheim-Skolem property. Resumo: Em minha replica a Guillermo Rosado-Haddock discuto as duas questoes centrais levantadas em seu artigo. A primeira e que ao permitir modelos gerais de Henkin como uma interpretacao legitima da logica de segunda ordem, desvirtuo minha defesa da logica de segunda ordem contra a visao de Quine respeito a primazia da logica de primeira ordem. A segunda e que meu tratamento da verdade logica e das propriedades logicas nao leva em consideracao diversos sistemas de logica e propriedades de sistemas de logica tais como a propriedade de Lowenheim-Skolem. Palavras chave: Verdade logica. Propriedade logica. Logica de segunda ordem. Modelos gerais.