Hidden Forces cover image

Philosophical Mathematics and the Incompleteness of Formal Systems | Ray Monk

Hidden Forces

CHAPTER

Logicism and the Merger of Logic and Mathematics

The chapter delves into the connection between logic and mathematics, exploring the rejection of Kant's ideas by Russell and Frager. They discuss the introduction of propositional functions and their role in defining classes, as well as the Platonist perspective on numbers. The chapter also explores the challenges faced by logicism, including paradoxes and Godel's Incompleteness Theorem.

00:00
Transcript
Play full episode

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
App store bannerPlay store banner