Logicism

In philosophy of mathematics, logicism is an idea that says mathematics is really just a part of logic. This means that many math ideas can be explained using rules of logic.

The idea started with a thinker named Gottlob Frege. Later, two famous thinkers, Bertrand Russell and Alfred North Whitehead, worked hard to show how this could be true. They were joined by others like Richard Dedekind and Giuseppe Peano.

Logicism is important because it helps us understand the connection between math and thinking. It shows that math might not be a separate subject, but instead built from basic logical ideas. This way of thinking changed how people study both math and logic.

Overview

Dedekind saw that arithmetic, algebra, and analysis could be made from logic and sets of numbers. Frege agreed, thinking old ways of seeing numbers were not good enough.

Russell and Whitehead kept this idea, proving much of math could come from logic. But they had trouble, like issues in set theory. Now we know we need some basic rules, called axioms, to build math with logic. These thoughts changed modern philosophy.

Origin of the name 'logicism'

The word 'logicism' started in French as 'Logistique'. It was first used in 1904 at a big meeting of philosophers by a person named Couturat. Later, famous thinkers like Bertrand Russell began using similar words.

Russell talked about how someone named Frege was the first to try to turn math into logic. Though Russell was careful with his words, he didn’t use the term 'logicism' very often. Around the same time, other thinkers like Rudolf Carnap and Fraenkel also started using versions of this word. Over time, especially after 1930, the term 'logicism' became more common, mostly because of Carnap’s work.

Intent, or goal, of logicism

The main idea of logicism is to show that all of math can come from logic. It starts with very simple ideas and rules, called symbolic logic. These simple ideas use basic symbols and steps to build more complex ideas. This way, math can be built step by step from these simple beginnings.

Many smart people worked on this idea. For example, Bertrand Russell wanted to prove that all pure math could be made from just a few basic logical ideas. Others, like Gottlob Frege and Richard Dedekind, also tried to show how math can grow from logic alone, without needing extra ideas from space, time, or other areas. Main article: algebraic logic Main articles: Boolean logic, symbolic logic

Epistemology, ontology and logicism

Dedekind and Frege thought about how we know things in math, but their ideas were not as clear as Russell's. Russell believed in things that really exist, like tables, and that we can know some things just by thinking, not just by experiencing the world.

Russell tried to connect math with logic, the rules of right and wrong thinking. He believed that what is true or false is out there in the world, not just in our minds. He learned a lot from a philosopher named Moore, who helped him think about how the world is made of many independent things and relationships between them.

Russell found a problem in Frege's work and spent time trying to fix it, but he was not sure if he succeeded. Later, another thinker named Gödel thought Russell's ideas were mostly negative because they did not fully explain math the way he hoped.

An example of a logicist construction of the natural numbers: Russell's construction in the Principia

The idea of logicism tries to show that math can be built using logic alone. Famous thinkers like Bertrand Russell and Alfred North Whitehead tried to do this, building on earlier work by Gottlob Frege.

Russell’s way of building numbers starts with basic ideas like “class” and “relation”. He uses these to create collections of items and then defines numbers based on these collections. For example, the number “0” is defined as the class that has no members. From there, Russell builds up other numbers by adding one item at a time.

This approach shows how numbers can be defined using logical ideas. Russell’s work remains an important step in understanding the links between logic and mathematics.

The unit class, impredicativity, and the vicious circle principle

Imagine a librarian who wants to make one book to help find all her books. She has three books named Ά, β, and Γ. She buys a blank book called I to use as her index. Now she has four books: I, Ά, β, and Γ. Her job is to list each book and where it is.

This way of defining the index book was called "impredicative" by a mathematician named Poincaré. He thought definitions should only talk about things that already exist, not the thing being defined.

To avoid problems, another mathematician named Russell suggested a "vicious circle principle." This means no group should include things that can only be defined using that group. For example, defining a number using all numbers creates a loop that doesn’t make sense.

Russell made a system called the "doctrine of types" to fix these problems. In this system, he split mathematical objects into different levels or "types." Each type could only refer to lower types, stopping loops. For example, a higher-level group could refer to lower-level items but not to itself.

But this idea had its own issues. Some mathematicians, like Gödel, thought Russell’s strict rules made it hard to describe some math ideas fully. They thought allowing some references to the whole group might be needed for math to work right.

Neo-logicism

Neo-logicism is a modern way of thinking about math and logic. It tries to fix problems in older ideas while keeping what works well.

One way to do this is by changing a rule that caused trouble to a safer one. This idea is often called neo-Fregeanism. People like Crispin Wright and Bob Hale support this.

Others, like Bernard Linsky and Edward N. Zalta, use a different method called modal neo-logicism. This method links math rules to ideas about what is possible and necessary.

There are also other ideas that try to keep parts of the old system while making it safer and stronger.