| 释义 |
logicism|ˈlɒdʒɪsɪz(ə)m|
[f. logic n. + -ism.]
The theory of Frege that a set of axioms for mathematics could be deduced from a primitive set of purely logical axioms, so that mathematics was essentially a part of logic.
1937A. Smeaton tr. Carnap's Logical Syntax of Lang. v. §84. 325 What should a logical foundation of mathematics achieve? On this question there are various views; the fundamental antithesis between them is particularly clearly brought out in two doctrines, logicism, which was founded by Frege (1884), and formalism, represented by Frege's opponents. (The designations ‘logicism’ and ‘formalism’ only appeared later.) 1970A. E. Blumberg tr. Stegmüller's Main Currents Contemp. German, Brit. & Amer. Philos. viii. 327 The modern philosophy of mathematics is characterized by the fact that various schools have been formed to overcome the difficulties occasioned by the antinomies. The oldest of these schools is logicism and goes back to Frege. 1973Sci. Amer. Apr. 103/2 Typically the choice is determined by one's degree of sympathy with one or another of three modern schools of mathematical thought: logicism, formalism and intuitionism. |