The second issue announced at the end of Chap. 4 calls for a much shorter treatment. It concerns the place that, in my epistemic setting, is left for model-theoretic considerations (about the relevant formal theories). In this setting, mathematical formal theories are conceived of as recasting previous bodies of mathematics.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Semantics and Recasting

  • Marco Panza

摘要

The second issue announced at the end of Chap. 4 calls for a much shorter treatment. It concerns the place that, in my epistemic setting, is left for model-theoretic considerations (about the relevant formal theories). In this setting, mathematical formal theories are conceived of as recasting previous bodies of mathematics.