logicist

Russell seems to have been inspired by the logicist project of finding definitions and elementary premises from which mathematical statements could be proved.

Logical Constructions Linsky, Bernard 2009

Similarly, a significant part of Frege's logicist project consists of the careful analysis of such arithmetical notions as zero and successor, analysis which brings out previously-unnoticed complexity, and facilitates the proof of arithmetical truths.

The Frege-Hilbert Controversy Blanchette, Patricia 2009

Although the pursuit of the logicist program gave rise to a great many insights into the nature of mathematical concepts, not long after its inception it began encountering substantial difficulties.

The Analytic/Synthetic Distinction Rey, Georges 2008

A Bayesian logicist must tell us how to assign values to these pre-evidential prior plausibilities for each hypothesis or theory under consideration, and must do so in a way that relies only on their syntactic logical structure, or on some measure of their syntactic simplicity.

Inductive Logic Hawthorne, James 2008

Recent work of Crispin Wright (1983) and others on the logicist program has shown how a version of Frege's program might be rescued by appealing not to his problematic Basic Law V, but instead merely to what he calls

The Analytic/Synthetic Distinction Rey, Georges 2008

Elements of the logicist conception of inductive logic live on today as part of the general approach called Bayesian inductive logic.

Inductive Logic Hawthorne, James 2008

At about the time the Bayesian logicist idea was developing, an alternative conception of probabilistic inductive reasoning was also emerging.

Inductive Logic Hawthorne, James 2008

So, the probabilistic logic articulated in this article will be presented in an autonomous way, though it may be fitted into a Bayesian subjectivist or Bayesian logicist program, if one desires to do so.

Inductive Logic Hawthorne, James 2008

What happens in Was sind und was sollen die Zahlen?, in connection with Dedekind's logicist treatment of the natural numbers, is that this adoption of set-theoretic techniques is raised to a new level of clarity and explicitness.

Dedekind's Contributions to the Foundations of Mathematics Reck, Erich 2008

So, such approaches might well be called Bayesian logicist inductive logics.

Inductive Logic Hawthorne, James 2008