Open Access. Powered by Scholars. Published by Universities.®
Logic and Foundations of Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Logic and Foundations of Mathematics
Canonical Extensions Of Quantale Enriched Categories, Alexander Kurz
Canonical Extensions Of Quantale Enriched Categories, Alexander Kurz
MPP Research Seminar
No abstract provided.
Frege's Constraint And The Nature Of Frege's Foundational Program, Marco Panza, Andrea Sereni
Frege's Constraint And The Nature Of Frege's Foundational Program, Marco Panza, Andrea Sereni
Philosophy Faculty Articles and Research
Recent discussions on Fregean and neo-Fregean foundations for arithmetic and real analysis pay much attention to what is called either ‘Application Constraint’ ( ) or ‘Frege Constraint’ ( ), the requirement that a mathematical theory be so outlined that it immediately allows explaining for its applicability. We distinguish between two constraints, which we, respectively, denote by the latter of these two names, by showing how generalizes Frege’s views while comes closer to his original conceptions. Different authors diverge on the interpretation of and on whether it applies to definitions of both natural and real numbers. Our aim is to trace …