Search results

themselves were reducible to sets and mappings. It is likely that other logicists, most importantly Frege, were also guided by the new theories of the real...

Frege's attempt to reduce mathematics to logic and calling into question the logicist programme. Two influential ways of avoiding the paradox were both proposed...

Good Times, Bad Times, Our Times: A Memoir. In it, he called himself a "logicist," who believes in "logic and common sense", holding conservative positions...

mathematics. His book the Foundations of Arithmetic is the seminal text of the logicist project, and is cited by Michael Dummett as where to pinpoint the linguistic...

the project of reducing arithmetic to pure logic. As a result of his logicist project, Frege developed predicate logic in the Begriffsschrift (English:...

development. The logicist period from the Begriffsschrift of Frege to the Principia Mathematica of Russell and Whitehead. The aim of the "logicist school" was...

argues for Platonism with respect to numbers and is a seminal text of the logicist project. Contemporary analytic philosophers who espoused Platonism in metaphysics...

mediation in the social world; he viewed structuralism as a variation on the "logicist" theme, arguing that, contrary to what structuralists advocate, language—and...

known for his contributions to the development of the neo-Fregean (neo-logicist) philosophy of mathematics in collaboration with Crispin Wright, and for...

mathematics is reducible to logic, and hence nothing but a part of logic.: 41  Logicists hold that mathematics can be known a priori, but suggest that our knowledge...

December 1942) is a British philosopher, who has written on neo-Fregean (neo-logicist) philosophy of mathematics, Wittgenstein's later philosophy, and on issues...

mathematics, Symposium on the foundations of mathematics Rudolf Carnap, The logicist foundations of mathematics, p. 41 Arend Heyting, The intuitionist foundations...

definitions. Three leading types of definition of mathematics today are called logicist, intuitionist, and formalist, each reflecting a different philosophy of...

how, via the theory of types: much of arithmetic could be developed by logicist means (Dawson p. 49) Brouwer reduced the debate to the use of proofs designed...

and this is a class. (all quotes: PM 1962:xxxix). According to Carnap's "Logicist Foundations of Mathematics", Russell wanted a theory that could plausibly...

in non-monotonic logic in the early 1980s and was an advocate for the "logicist" methodology in AI, defined as formalizing knowledge and reasoning in terms...

discussed in relation to logical truth, since it is not clear that he was a logicist when he wrote the Tractatus. What is certain is that in 1901 Russell's...

arithmetic can be reduced to logic. This thesis is known as logicism. The logicist project of Bertrand Russell (1872–1970) was even more ambitious since it...

noted above. But according to Evans it has adapted itself from the old, logicist paradigm, to the new theories that apply to other kinds of reasoning as...

follows: Session 1: Rudolf Carnap (Vienna), presented the thought of the logicist school as developed by Bertrand Russell Arend Heyting (Enschede), presented...