MATHEMATICS AND LOGIC: RESPONSE TO MARK WILSON

Abstract

Mark Wilson argues that in order to make physical first-order properties suitable for inclusion in the bottom levels of a logical hierarchy of properties, their proper treatment must take into account the methods of applied mathematics. I agree that the methods of applied mathematics are essential for studying physical properties, and in my response focus on the nature of the logical hierarchy and on the requirements of classical logic.

Resumo:

Mark Wilson argumenta que um tratamento adequado para tornar as propriedades físicas de primeira ordem apropriadas para inclusão nos níveis inferiores de uma hierarquia de propriedades lógicas deve levar em consideração os métodos da matemática aplicada. Concordo que os métodos da matemática aplicada são essenciais para estudar as propriedades físicas, e em minha réplica enfoco a natureza da hierarquia lógica e os requisitos da lógica clássica.

Palavras chave: Formas lógicas. Matemática aplicada. Propriedades de primeira ordem.