Logicism adalah teori filosofis tentang status kebenaran matematika, yakni, bahwa mereka secara logis diperlukan atau analitik.

A. Apa itu: Hanya klaim bahwa teorema matematika secara logis diperlukan atau analitik. B. Beberapa Bacaan Asli: Sumber utama dari doktrin logicist adalah Frege dan Russell. C. Apa itu tidak: Tidak klaim tentang formalisability, baik dalam prinsip atau dalam sistem logis tertentu. Tidak klaim tentang bagaimana kebenaran matematika ditemukan atau diterapkan. Tidak peduli aspek matematika selain teorema matematika yang berusaha untuk menunjukkan. D. Argumen Melawan logicism: Hal ini umumnya dipahami bahwa teori himpunan diperlukan untuk melakukan matematika modern. Keberadaan set, bagaimanapun, tidak logis diperlukan. Kebenaran matematika karena itu kontingen. E. Argumen Untuk logicism: Kebenaran matematika adalah sama dalam semua kemungkinan dunia, karena mereka tidak tergantung pada keberadaan set, hanya pada konsistensi anggapan bahwa set yang dibutuhkan ada. Karena benar dalam setiap dunia yang mungkin, matematika harus logis diperlukan.