Formalism and beyond. On the nature of mathematical discourse. (English) Zbl 1326.03008
Logos 23. Berlin: De Gruyter (ISBN 978-1-61451-829-7/hbk; 978-1-61451-847-1/ebook). x, 420 p. (2014).
Show indexed articles as search result.
The articles of this volume will be reviewed individually.Indexed articles:
Detlefsen, Michael, Duality, epistemic efficieny & consistency, 1-23 [Zbl 1329.03014]
Schirn, Matthias, Frege on quantities and real numbers in consideration of the theories of Cantor, Russell and others, 25-95 [Zbl 1329.03003]
Blanchette, Patricia A., Frege on formality and the 1906 independence-test, 97-118 [Zbl 1329.03002]
Link, Godehard, Formal discourse in Russell: from metaphysics to philosophical logic, 119-182 [Zbl 1329.03018]
Mühlhölzer, Felix, On live and dead signs in mathematics, 183-208 [Zbl 1329.03020]
Ziche, Paul, Generalization and the impossible: issues in the search for generalized mathematics around 1900, 209-227 [Zbl 1329.03004]
Niebergall, Karl-Georg, Assumptions of infinity, 229-274 [Zbl 1329.03021]
Roth, Daniel; Schneider, Gregor, The interpretation of classes in axiomatic set theory, 275-313 [Zbl 1329.03083]
Arana, Andrew, Purity in arithmetic: some formal and informal issues, 315-335 [Zbl 1347.03006]
Polański, Marek, Domain extensions and higher-order syntactical interpretations, 337-350 [Zbl 1347.03102]
Crosilla, Laura; Schuster, Peter, Finite methods in mathematical practice, 351-410 [Zbl 1329.03013]
MSC:
| 03-06 | Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations |
| 03A05 | Philosophical and critical aspects of logic and foundations |
| 00A30 | Philosophy of mathematics |
| 03-03 | History of mathematical logic and foundations |
| 03E30 | Axiomatics of classical set theory and its fragments |
| 01A60 | History of mathematics in the 20th century |
| 00B25 | Proceedings of conferences of miscellaneous specific interest |
