Syntactic reduction in Husserl's early phenomenology of arithmetic

DOI10.1007/S11229-015-0779-0zbMATH Open1384.03008OpenAlexW805792610WikidataQ110235276 ScholiaQ110235276MaRDI QIDQ516253FDOQ516253

Authors Mitsuhiro Okada, Mirja Helena Hartimo

Publication date 14 March 2017

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11229-015-0779-0

zbMATH Keywords

term rewritingHusserldefinite manifoldsequational computationHermann Hankelprinciple of permanence

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 19th century (01A55) Philosophy of mathematics (00A30) History of mathematical logic and foundations (03-03) First-order arithmetic and fragments (03F30)

Recommendations

• Husserl on axiomatization and arithmetic
• Logic and philosophy of mathematics in the early Husserl
• Husserl's pluralistic phenomenology of mathematics
• Logical and phenomenological foundations of the mathematical rationality in Husserl
• Wittgenstein's Philosophy of Arithmetic
• Husserl on the ‘Totality of all conceivable arithmetical operations’
• Zermelo, reductionism, and the philosophy of mathematics
• Syntactic reductionism
• Frege’S reduction
• Husserl's logical grammar

Cites work

• scientific article; zbMATH DE number 3825750 (Why is no real title available?)
• scientific article; zbMATH DE number 2118888 (Why is no real title available?)
• scientific article; zbMATH DE number 3402553 (Why is no real title available?)
• Husserl and Hilbert on Completeness and Husserl's Term Rewrite-based Theory of Multiplicity (Invited Talk)
• Logic and philosophy of mathematics in the early Husserl
• The road not taken. On Husserl's philosophy of logic and mathematics
• Towards completeness: Husserl on theories of manifolds 1890--1901

Cited in

(2)

• Husserl on completeness, definitely
• Formal and Natural Proof: A Phenomenological Approach

This page was built for publication: Syntactic reduction in Husserl's early phenomenology of arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q516253)