Contributions

  • C. Anthony Anderson (Editor) - Contributor
  • Michael Zelëny (Editor) - Contributor

Publication

2001-12-01 - Springer

Language

English

Word Count

160,500 words, Guess

Page Count

642 pages

Physical Format

Hardcover

Identifiers

First Sentence

Crispin Wright (1983) articulates a position he calls "number-theoretic logicism [1]", the claim that arithmetic is derivable from logic in the strong sense that: it is possible to so define arithmetic concepts in terms of logical ones so that every statement of number-theory has a content preserving transcription in terms of a purely logical vocabulary, and every axiom or theorem of number theory can be so transcribed into a theorem of logic.

Subjects

Other Editions

  • Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library, 305) (Synthese Library)HardcoverSpringer2001-12-01

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!