Category:Definitions/Logicism

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Logicism.
Related results can be found in Category: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.

Pages in category "Definitions/Logicism"

The following 3 pages are in this category, out of 3 total.