logicismn.
/ˈlɒdʒɪsɪz(ə)m/ 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.
ΘΚΠ
the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > mathematical or symbolic logic > branches of
logicism1937
1937 A. Smeaton tr. R. Carnap Logical Syntax 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.)
1970 A. E. Blumberg tr. W. K. Stegmüller 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.
1973 Sci. 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.
This entry has not yet been fully updated (first published 1976; most recently modified version published online March 2018).
<
n.1937