logisista

The term logisista refers to a follower of Logisticism, a philosophical school of thought that emerged in the early 20th century. Logisticism posits that mathematics is reducible to logic. This means that all mathematical concepts and principles can be derived from and expressed in terms of logical concepts and principles. Proponents of Logisticism believe that the truths of mathematics are ultimately logical truths.

This view was notably championed by philosophers and logicians such as Gottlob Frege, Bertrand Russell, and Alfred North Whitehead. Frege's work on the foundations of arithmetic, particularly his concept of 'sense' and 'reference', and Russell and Whitehead's monumental work, *Principia Mathematica*, aimed to demonstrate this reduction. They developed formal logical systems and attempted to derive mathematical theorems from axioms and rules of inference grounded purely in logic.

The project of Logisticism faced significant challenges. Gödel's incompleteness theorems, published in 1931, demonstrated that any sufficiently powerful formal system, including those that would aim to encompass all of mathematics, would contain true statements that could not be proven within the system itself. This raised questions about the completeness of a purely logical foundation for mathematics. Despite these challenges, Logisticism remains an influential position in the philosophy of mathematics, shaping debates about the nature of mathematical truth, knowledge, and the relationship between logic and mathematics.