![Predicate logic / Model theory / Quantification / Analytic philosophers / First-order logic / George Boolos / Second-order arithmetic / Peano axioms / Second-order logic / Logic / Mathematical logic / Mathematics Predicate logic / Model theory / Quantification / Analytic philosophers / First-order logic / George Boolos / Second-order arithmetic / Peano axioms / Second-order logic / Logic / Mathematical logic / Mathematics](https://www.pdfsearch.io/img/47c21e1628b9b4fdac22d87055db7e09.jpg) Date: 2010-02-17 05:11:03Predicate logic Model theory Quantification Analytic philosophers First-order logic George Boolos Second-order arithmetic Peano axioms Second-order logic Logic Mathematical logic Mathematics | | Open-endedness, schemas and ontological commitment∗ Nikolaj Jang Pedersen and Marcus Rossberg December 10, 2008 Abstract Second-order axiomatizations of certain important mathematical theories – such as arithmetic anAdd to Reading ListSource URL: www.nikolajpedersen.comDownload Document from Source Website File Size: 297,87 KBShare Document on Facebook
|