Logic, Meaning and Computation 
Subtitle: Essays in Memory of Alonzo Church (Synthese Library, 305) (Synthese Library)
Contributors: C. Anthony Anderson (Editor); Michael Zelëny (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 1, 2001
Language: eng
Format: Hardcover
Number of pages: 642
ISBN-13: 9781402001413
Subjects: Mathematics; Mathematical And Symbolic Logic; Science/Mathematics; Logic; Mathematics / Logic; Philosophy / Logic; Philosophy : Logic; Computer Science; Logic, Symbolic and mathematic; Logic, Symbolic and mathematical
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.