The following pages link to (Q5694788):
Displaying 50 items.
- Term models for abstraction principles (Q263082) (← links)
- Indexicals, context-sensitivity and the failure of implication (Q408328) (← links)
- Comparing Peano arithmetic, Basic Law V, and Hume's Principle (Q450961) (← links)
- Plural logicism (Q485629) (← links)
- Plural \(Grundgesetze\) (Q603901) (← links)
- Frege on number properties (Q603908) (← links)
- Ramified Frege arithmetic (Q766295) (← links)
- From Hilbert's program to a logic tool box (Q1028646) (← links)
- Bad company and neo-Fregean philosophy (Q1036084) (← links)
- Bad company tamed (Q1036088) (← links)
- Introduction to the special issue on the bad company problem (Q1036090) (← links)
- Keeping logic in the trivium of computer science: a teaching perspective (Q1696593) (← links)
- The logical strength of compositional principles (Q1704080) (← links)
- Quine's conjecture on many-sorted logic (Q1708876) (← links)
- Reverse mathematics of topology: dimension, paracompactness, and splittings (Q1981984) (← links)
- Coalgebra and abstraction (Q1981994) (← links)
- Rescuing implicit definition from abstractionism (Q2080582) (← links)
- Frege's ontological diagram completed (Q2084567) (← links)
- A universal algebraic set theory built on mereology with applications (Q2169135) (← links)
- Splittings and disjunctions in reverse mathematics (Q2176407) (← links)
- The predicative Frege hierarchy (Q2271986) (← links)
- Beppo Levi's analysis of the paradoxes (Q2392013) (← links)
- The enhanced indispensability argument, the circularity problem, and the interpretability strategy (Q2695151) (← links)
- THE CONVENIENCE OF THE TYPESETTER; NOTATION AND TYPOGRAPHY IN FREGE’S<i>GRUNDGESETZE DER ARITHMETIK</i> (Q2795303) (← links)
- Carnap’s Untersuchungen: Logicism, Formal Axiomatics, and Metatheory (Q2906144) (← links)
- Carnap, Philosophy and “Politics in its Broadest Sense” (Q2906152) (← links)
- On Logicist Conceptions of Functions and Classes (Q2909746) (← links)
- LOGICISM, INTERPRETABILITY, AND KNOWLEDGE OF ARITHMETIC (Q2940868) (← links)
- TRUTH AND SPEED-UP (Q2940877) (← links)
- FRAGMENTS OF FREGE’S<i>GRUNDGESETZE</i>AND GÖDEL’S CONSTRUCTIBLE UNIVERSE (Q3188332) (← links)
- CONSISTENCY AND THE THEORY OF TRUTH (Q3195585) (← links)
- FREGE MEETS BROUWER (OR HEYTING OR DUMMETT) (Q3195590) (← links)
- RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES (Q3195592) (← links)
- Zigzag and Fregean Arithmetic (Q3295834) (← links)
- Logic in the Land of Make-Believe (Q3387897) (← links)
- FREGE MEETS ZERMELO: A PERSPECTIVE ON INEFFABILITY AND REFLECTION (Q3580672) (← links)
- Bernays and Set Theory (Q3616429) (← links)
- MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY (Q4640303) (← links)
- Predicative Fragments of Frege Arithmetic (Q4678937) (← links)
- Logicism and its Philosophical Legacy (Q4905104) (← links)
- Nets and reverse mathematics (Q4995602) (← links)
- In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming (Q5108530) (← links)
- Frege’s Grundgesetze and a Reassessment of Predicativity (Q5213626) (← links)
- On the mathematical and foundational significance of the uncountable (Q5223120) (← links)
- Burgess’<i>PV</i>is Robinson’s<i>Q</i> (Q5294028) (← links)
- What is Neologicism? (Q5479569) (← links)
- Neo-Logicism and Its Logic (Q5871286) (← links)
- THE POTENTIAL IN FREGE’S THEOREM (Q6045102) (← links)
- Lying, more or less: a computer simulation study of graded lies and trust dynamics (Q6142445) (← links)
- TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE (Q6148472) (← links)
