The following pages link to Stewart Shapiro (Q218490):
Displaying 50 items.
- Tarski's theorem and the extensionality of truth (Q485631) (← links)
- Structures and logics: a case for (a) relativism (Q488378) (← links)
- The objectivity of mathematics (Q885536) (← links)
- Reasoning with slippery predicates (Q1005964) (← links)
- The good, the bad and the ugly (Q1036086) (← links)
- Principles of reflection and second-order logic (Q1097275) (← links)
- Turing projectability (Q1102947) (← links)
- The Lindenbaum construction and decidability (Q1107509) (← links)
- Acceptable notation (Q1148675) (← links)
- Logic, ontology, mathematical practice (Q1202496) (← links)
- Incomplete translations of complete logics (Q1227610) (← links)
- Frege meets Dedekind: A neologicist treatment of real analysis (Q1860971) (← links)
- Mechanism, truth, and Penrose's new argument (Q1871136) (← links)
- Open texture and mathematics (Q1982002) (← links)
- Hofweber's nominalist naturalism (Q2080579) (← links)
- Expressive completeness and decidability (Q2277437) (← links)
- Translating logical terms (Q2288257) (← links)
- ``Neo-logicist'' logic is not epistemically innocent (Q2702946) (← links)
- The Work of John Corcoran: An Appreciation (Q2757980) (← links)
- Varieties of logic (Q2879057) (← links)
- Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics (Q2908777) (← links)
- An ``\(i\)'' for an \(i\): singular terms, uniqueness, and reference (Q2919944) (← links)
- (Q2939751) (← links)
- Aristotelian Continua (Q2965656) (← links)
- Regions-based two dimensional continua: The Euclidean case (Q2987753) (← links)
- Mathematics and Reality (Q3094972) (← links)
- (Q3172039) (← links)
- (Q3172044) (← links)
- FREGE MEETS BROUWER (OR HEYTING OR DUMMETT) (Q3195590) (← links)
- Mathematics in Philosophy, Philosophy in Mathematics: Three Case Studies (Q3295810) (← links)
- Inconsistency and Incompleteness, Revisited (Q3305677) (← links)
- Remarks on the development of computability (Q3310596) (← links)
- Arithmetic Sinn and Effectiveness (Q3337447) (← links)
- (Q3347873) (← links)
- (Q3347874) (← links)
- The Classical Continuum without Points – CORRIGENDUM (Q3454422) (← links)
- FREGE MEETS ZERMELO: A PERSPECTIVE ON INEFFABILITY AND REFLECTION (Q3580672) (← links)
- The Measure of Scottish Neo-Logicism (Q3613300) (← links)
- Categories, Structures, and the Frege-Hilbert Controversy: The Status of Meta-mathematics (Q3613314) (← links)
- Identity, Indiscernibility, and ante rem Structuralism: The Tale of i and -i (Q3616418) (← links)
- (Q3620358) (← links)
- Second-order languages and mathematical practice (Q3727947) (← links)
- (Q4001345) (← links)
- Space, Number and Structure: A Tale of Two Debates (Q4213938) (← links)
- (Q4227549) (← links)
- Incompleteness, Mechanism, and Optimism (Q4227855) (← links)
- Do Not Claim Too Much: Second-order Logic and First-order Logic (Q4237643) (← links)
- Mathematics and Philosophy of Mathematics (Q4293745) (← links)
- (Q4388801) (← links)
- (Q4428880) (← links)
