In defense of epistemic arithmetic (Q1299766)

From MaRDI portal
scientific article
Language Label Description Also known as
English
In defense of epistemic arithmetic
scientific article

    Statements

    In defense of epistemic arithmetic (English)
    0 references
    0 references
    0 references
    28 February 2000
    0 references
    Epistemic Arithmetic, EA, adds an S4-like epistemic operator, \(K\), to classical first-order arithmetic. It is useful for the formalization of intuitionistic arithmetic, since first-order Heyting arithmetic, HA, can be faithfully translated into EA, and there hold some informal mathematical principles, such as especially Church's Thesis. This article defends EA against two philosophical objections. The first, due to SmoryƄski, is that EA fails to capture the full idea of effective methods so essential for intuitionistic mathematics. The second, due to Hazen, is that EA is contrary to intuitionism's anti-realism. Both are found wanting, chiefly on grounds that they ask too much of formalization. Here formalization is construed as a theory and so is to be judged by the virtues of any scientific theory. It should not be required that formalization preserve meaning in a strong sense. Beyond this, the article examines how Church's Thesis might be formulated in EA. Standard formulations can be shown to be inadequate, and whether a fully adequate formalization is possible remains an open question, though the author is optimistic. This may, however, require a higher-order epistemic theory, where much work remains to be done.
    0 references
    epistemic arithmetic
    0 references
    intuitionism
    0 references
    Church's thesis
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references