Syntactic reduction in Husserl’s early phenomenology of arithmetic

Mirja Hartimo, Mitsuhiro Okada

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

The paper traces the development and the role of syntactic reduction in Edmund Husserl’s (1856–1938) early writings on mathematics and logic, especially on arithmetic. The notion has its origin in Hermann Hankel’s (1839–1873) principle of permanence that Husserl set out to clarify. In Husserl’s early texts the emphasis of the reductions was meant to guarantee the consistency of the extended algorithm. Around the turn of the century Husserl uses the same idea in his conception of definiteness of what he calls “mathematical manifolds.” The paper argues that the notion anticipates the notion of reduction in term rewrite theory in computer science. The role of the reduction for Husserl is, however, primarily epistemological: its purpose is to impart clarity to (at least parts of) formal mathematics.

Original languageEnglish
Pages (from-to)937-969
Number of pages33
JournalSynthese
Volume193
Issue number3
DOIs
Publication statusPublished - 2016 Mar 1

Fingerprint

phenomenology
mathematics
computer science
guarantee
Phenomenology
Syntax
Mathematics
Edmund Husserl

Keywords

  • Definite manifolds
  • Equational computation
  • Hermann Hankel
  • Husserl
  • Principle of permanence
  • Term rewriting

ASJC Scopus subject areas

  • Social Sciences(all)
  • Philosophy

Cite this

Syntactic reduction in Husserl’s early phenomenology of arithmetic. / Hartimo, Mirja; Okada, Mitsuhiro.

In: Synthese, Vol. 193, No. 3, 01.03.2016, p. 937-969.

Research output: Contribution to journalArticle

@article{e226814824ba40eda8b739522f4c2034,
title = "Syntactic reduction in Husserl’s early phenomenology of arithmetic",
abstract = "The paper traces the development and the role of syntactic reduction in Edmund Husserl’s (1856–1938) early writings on mathematics and logic, especially on arithmetic. The notion has its origin in Hermann Hankel’s (1839–1873) principle of permanence that Husserl set out to clarify. In Husserl’s early texts the emphasis of the reductions was meant to guarantee the consistency of the extended algorithm. Around the turn of the century Husserl uses the same idea in his conception of definiteness of what he calls “mathematical manifolds.” The paper argues that the notion anticipates the notion of reduction in term rewrite theory in computer science. The role of the reduction for Husserl is, however, primarily epistemological: its purpose is to impart clarity to (at least parts of) formal mathematics.",
keywords = "Definite manifolds, Equational computation, Hermann Hankel, Husserl, Principle of permanence, Term rewriting",
author = "Mirja Hartimo and Mitsuhiro Okada",
year = "2016",
month = "3",
day = "1",
doi = "10.1007/s11229-015-0779-0",
language = "English",
volume = "193",
pages = "937--969",
journal = "Synthese",
issn = "0039-7857",
publisher = "Springer Netherlands",
number = "3",

}

TY - JOUR

T1 - Syntactic reduction in Husserl’s early phenomenology of arithmetic

AU - Hartimo, Mirja

AU - Okada, Mitsuhiro

PY - 2016/3/1

Y1 - 2016/3/1

N2 - The paper traces the development and the role of syntactic reduction in Edmund Husserl’s (1856–1938) early writings on mathematics and logic, especially on arithmetic. The notion has its origin in Hermann Hankel’s (1839–1873) principle of permanence that Husserl set out to clarify. In Husserl’s early texts the emphasis of the reductions was meant to guarantee the consistency of the extended algorithm. Around the turn of the century Husserl uses the same idea in his conception of definiteness of what he calls “mathematical manifolds.” The paper argues that the notion anticipates the notion of reduction in term rewrite theory in computer science. The role of the reduction for Husserl is, however, primarily epistemological: its purpose is to impart clarity to (at least parts of) formal mathematics.

AB - The paper traces the development and the role of syntactic reduction in Edmund Husserl’s (1856–1938) early writings on mathematics and logic, especially on arithmetic. The notion has its origin in Hermann Hankel’s (1839–1873) principle of permanence that Husserl set out to clarify. In Husserl’s early texts the emphasis of the reductions was meant to guarantee the consistency of the extended algorithm. Around the turn of the century Husserl uses the same idea in his conception of definiteness of what he calls “mathematical manifolds.” The paper argues that the notion anticipates the notion of reduction in term rewrite theory in computer science. The role of the reduction for Husserl is, however, primarily epistemological: its purpose is to impart clarity to (at least parts of) formal mathematics.

KW - Definite manifolds

KW - Equational computation

KW - Hermann Hankel

KW - Husserl

KW - Principle of permanence

KW - Term rewriting

UR - http://www.scopus.com/inward/record.url?scp=84958882854&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84958882854&partnerID=8YFLogxK

U2 - 10.1007/s11229-015-0779-0

DO - 10.1007/s11229-015-0779-0

M3 - Article

AN - SCOPUS:84958882854

VL - 193

SP - 937

EP - 969

JO - Synthese

JF - Synthese

SN - 0039-7857

IS - 3

ER -