Abstract
AbstractTwo real-valued deduction schemes are introduced, which agree on ⊢ ⊿ but not on Γ ⊢ ⊿, where Γ and ⊢ are finite sets of formulae. Using the first scheme we axiomatize real-valued equality so that it induces metrics on the domains of appropriate structures. We use the second scheme to reduce substitutivity of equals to uniform continuity, with respect to the metric equality, of interpretations of predicates in structures. This continuity extends from predicates to arbitrary formulae and the appropriate models have completions resembling analytic completions of metric spaces. We provide inference rules for the two deductions and discuss definability of each of them by means of the other.
Publisher
Cambridge University Press (CUP)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Idealization;A Companion to the Philosophy of Science;2017-09-01
2. REFERENCES;An Ontological and Epistemological Perspective of Fuzzy Set Theory;2006
3. Continuity spaces: Reconciling domains and metric spaces;Theoretical Computer Science;1997-04
4. Models of Science: Fictions or Idealizations?;Science in Context;1988
5. Limits of a Deductive Construal of the Function of Scientific Theories;Science in Reflection;1988