Category:Logicism

From ProofWiki
Jump to navigation Jump to search

This category contains results about Logicism.
Definitions specific to this category can be found in Definitions/Logicism.


Logicism is the philosophical position that all of mathematics can be reduced to logic in the sense that:

$(1): \quad$ mathematical concepts can be explicitly defined in terms of logical concepts
$(2): \quad$ the theorems of mathematics can be derived through logical deduction.

Subcategories

This category has the following 2 subcategories, out of 2 total.

L