section_path: In various fields/Philosophy
section_name: Philosophy
paragraph_text: Philosophy
  
  The philosophy of arithmetic studies the fundamental concepts and principles underlying numbers and arithmetic operations. It explores the nature and ontological status of numbers, the relation of arithmetic to language and logic, and how it is possible to acquire arithmetic knowledge.
  
  According to Platonism, numbers have mind-independent existence: they exist as abstract objects outside spacetime and without causal powers. This view is rejected by intuitionists, who claim that mathematical objects are mental constructions. Further theories are logicism, which holds that mathematical truths are reducible to logical truths, and formalism, which states that mathematical principles are rules of how symbols are manipulated without claiming that they correspond to entities outside the rule-governed activity.
  
  The traditionally dominant view in the epistemology of arithmetic is that arithmetic truths are knowable a priori. This means that they can be known by thinking alone without the need to rely on sensory experience. Some proponents of this view state that arithmetic knowledge is innate while others claim that there is some form of rational intuition through which mathematical truths can be apprehended. A more recent alternative view was suggested by naturalist philosophers like Willard Van Orman Quine, who argue that mathematical principles are high-level generalizations that are ultimately grounded in the sensory world as described by the empirical sciences.