LEADER 03518nam  2200697   450 
001 9910788811203321
005 20230803200452.0
010   $a1-61451-847-5
010   $a1-61451-996-X
024 7 $a10.1515/9781614518471
035   $a(CKB)3360000000515438
035   $a(EBL)1685365
035   $a(SSID)ssj0001401999
035   $a(PQKBManifestationID)11798708
035   $a(PQKBTitleCode)TC0001401999
035   $a(PQKBWorkID)11356395
035   $a(PQKB)11557012
035   $a(MiAaPQ)EBC1685365
035   $a(DE-B1597)428837
035   $a(OCoLC)1048404446
035   $a(OCoLC)896867316
035   $a(OCoLC)951149588
035   $a(DE-B1597)9781614518471
035   $a(Au-PeEL)EBL1685365
035   $a(CaPaEBR)ebr11006110
035   $a(CaONFJC)MIL807367
035   $a(EXLCZ)993360000000515438
100   $a20140713h20142014  uy|            0
101 0 $aeng
135   $aur||#||||||||
181   $ctxt
182   $cc
183   $acr
200 00$aFormalism and beyond $eon the nature of mathematical discourse /$fedited by Godehard Link
210  1$aBoston :$cDe Gruyter,$d[2014]
210  4$d©2014
215   $a1 online resource (430 p.)
225 0 $aLogos : Studien zur Logik, Sprachphilosophie und Metaphysik,$x2198-2201 ;$vvolume 23
300   $aDescription based upon print version of record.
311   $a1-61451-848-3 
311   $a1-61451-829-7 
320   $aIncludes bibliographical references and index.
327   $tFront matter --$tContents --$tPreface --$tDuality, Epistemic Efficiency & Consistency /$rDetlefsen, Michael --$tFrege on Quantities and Real Numbers in Consideration of the Theories of Cantor, Russell and Others /$rSchirn, Matthias --$tFrege on Formality and the 1906 Independence-Test /$rBlanchette, Patricia A. --$tFormal Discourse in Russell: From Metaphysics to Philosophical Logic /$rLink, Godehard --$tOn Live and Dead Signs in Mathematics /$rMühlhölzer, Felix --$tGeneralization and the Impossible: Issues in the search for generalized mathematics around 1900 /$rZiche, Paul --$tAssumptions of Infinity /$rNiebergall, Karl-Georg --$tThe Interpretation of Classes in Axiomatic Set Theory /$rRoth, Daniel / Schneider, Gregor --$tPurity in Arithmetic: some Formal and Informal Issues /$rArana, Andrew --$tDomain Extensions and Higher-Order Syntactical Interpretations /$rPola?ski, Marek --$tFinite Methods in Mathematical Practice /$rCrosilla, Laura / Schuster, Peter --$tList of Contributors --$tName Index
330   $aThe essays collected in this volume focus on the role of formalist aspects in mathematical theorizing and practice, examining issues such as infinity, finiteness, and proof procedures, as well as central historical figures in the field, including Frege, Russell, Hilbert and Wittgenstein. Using modern logico-philosophical tools and systematic conceptual and logical analyses, the volume provides a thorough, up-to-date account of the subject.
410  0$aLogos
606   $aMathematics$xPhilosophy
606   $aLogic, Symbolic and mathematical
610   $aPhilosophy of mathematics.
610   $ahistory of mathematics.
610   $amathematics.
615  0$aMathematics$xPhilosophy.
615  0$aLogic, Symbolic and mathematical.
676   $a510.1
702   $aLink$b Godehard
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910788811203321
996   $aFormalism and beyond$93787117
997   $aUNINA