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 realized that arithmetic, algebra, and analysis could be built using logic and sets of rational numbers. This idea was also important to Frege, who believed that the usual ways of understanding numbers were not fully satisfactory.

Russell and Whitehead continued this work, showing that much of mathematics could be built using logic. However, they faced challenges, such as problems in set theory. Today, we know that some basic rules, called axioms, are needed to build mathematics logically. These ideas helped shape modern philosophy.

Origin of the name 'logicism'

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

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, which 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 big problem in Frege's work and spent a lot of 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, but it also faces challenges. Some thinkers argue that certain basic ideas, like “sequence” or “order”, are not fully captured by logic alone. Others point out that Russell’s system lacks some formal details that modern math requires. Still, 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 create a single book to serve as an index for all her books. She has three books titled Ά, β, 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 located.

This way of defining the index book was called "impredicative" by the mathematician Poincaré. He believed that definitions should only refer to things that exist independently, not to the thing being defined itself.

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

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

However, this approach had its own challenges. Some mathematicians, like Gödel, felt that Russell’s strict rules made it hard to describe certain mathematical ideas fully. They suggested that allowing some references to the whole group might be necessary for mathematics to work properly.

Neo-logicism

Neo-logicism is a modern approach that builds on old ideas about math and logic. It tries to fix problems in old systems while keeping their good parts.

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

Others, like Bernard Linsky and Edward N. Zalta, use a different method called modal neo-logicism. This method connects 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.