<--- Back to Details
First PageDocument Content
Proof theory / Logic in computer science / Computability theory / Effective descriptive set theory / Peano axioms / Logicism / Second-order arithmetic / Philosophy of mathematics / Axiom / Mathematics / Mathematical logic / Logic
Date: 2013-05-16 13:22:33
Proof theory
Logic in computer science
Computability theory
Effective descriptive set theory
Peano axioms
Logicism
Second-order arithmetic
Philosophy of mathematics
Axiom
Mathematics
Mathematical logic
Logic

Empiricism, Probability, and Knowledge of Arithmetic Sean Walsh, Department of Logic and Philosophy of Science, University of California, Irvine The topic of this paper is the tenability of a certain type of empiricism a

Add to Reading List

Source URL: www.pfeifer-research.de

Download Document from Source Website

File Size: 175,28 KB

Share Document on Facebook

Similar Documents

Conventionalism and the Impoverishment of the Space of Reasons Kenneth R. Westphal University of East Anglia, Norwich L PRESENTATION VERSION ONLY 7 DO NOT CITE, QUOTE OR FURTHER DISTRIBUTE

Conventionalism and the Impoverishment of the Space of Reasons Kenneth R. Westphal University of East Anglia, Norwich L PRESENTATION VERSION ONLY 7 DO NOT CITE, QUOTE OR FURTHER DISTRIBUTE

DocID: 1pFFu - View Document

Philosophical logic / Philosophy of mathematics / Analytic philosophers / Mathematical logic / Guggenheim Fellows / Gottlob Frege / Logicism / The Foundations of Arithmetic / Philosophy of logic / Foundations of mathematics / Saul Kripke / Meaning

Does Changing the Subject From A to B Really Provide an Enlarged Understanding of A?

DocID: 1nvY4 - View Document

Frege’s Conception of Logic: From Kant to Grundgesetze Øystein Linnebo February 21, 2003 The last few decades have brought impressive new technical insights regarding Frege’s logicism and his “reduction of arithme

Frege’s Conception of Logic: From Kant to Grundgesetze Øystein Linnebo February 21, 2003 The last few decades have brought impressive new technical insights regarding Frege’s logicism and his “reduction of arithme

DocID: 1krmi - View Document

ANALYSIS ANALYSIS PEANO, RUSSELL, AND LOGICISM

ANALYSIS ANALYSIS PEANO, RUSSELL, AND LOGICISM

DocID: 1jvTe - View Document

The University of Calgary Department of Philosophy PhilosophyPHILOSOPHY OF MATHEMATICS Winter 2005 — Richard Zach

The University of Calgary Department of Philosophy PhilosophyPHILOSOPHY OF MATHEMATICS Winter 2005 — Richard Zach

DocID: 1gqGp - View Document