Logic, meaning, and computation

About this book

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.