01090nam a2200289 i 450099100259214970753620020508202845.0931207s1984 fr ||| | fre 2251010777b11032650-39ule_instPARLA165603ExLDip.to Scienze dell'AntichitàitaCicero, Marcus Tullius82411Les devoirs :Livres 2. et 3. /Cicéron ; texte établi et traduit par Maurice Testard2. tirage revu et corrigéParis :Les belles lettres,1984198 p. (12-137 doppie) ;20 cm.Collection des Universités de France. Série latineTesto latino a fronte.Testard, MauriceDe officiis [Cicerone].b1103265023-02-1728-06-02991002592149707536LE007 I Coll. 4 Cicero 31,212015000115263le007-E0.00-l- 00000.i1115400728-06-02Devoirs283790UNISALENTOle00701-01-93ma -frefr 4103518nam 2200697 450 991081123730332120230803200452.01-61451-847-51-61451-996-X10.1515/9781614518471(CKB)3360000000515438(EBL)1685365(SSID)ssj0001401999(PQKBManifestationID)11798708(PQKBTitleCode)TC0001401999(PQKBWorkID)11356395(PQKB)11557012(MiAaPQ)EBC1685365(DE-B1597)428837(OCoLC)1048404446(OCoLC)896867316(OCoLC)951149588(DE-B1597)9781614518471(Au-PeEL)EBL1685365(CaPaEBR)ebr11006110(CaONFJC)MIL807367(EXLCZ)99336000000051543820140713h20142014 uy| 0engur||#||||||||txtccrFormalism and beyond on the nature of mathematical discourse /edited by Godehard LinkBoston :De Gruyter,[2014]©20141 online resource (430 p.)Logos : Studien zur Logik, Sprachphilosophie und Metaphysik,2198-2201 ;volume 23Description based upon print version of record.1-61451-848-3 1-61451-829-7 Includes bibliographical references and index.Front matter --Contents --Preface --Duality, Epistemic Efficiency & Consistency /Detlefsen, Michael --Frege on Quantities and Real Numbers in Consideration of the Theories of Cantor, Russell and Others /Schirn, Matthias --Frege on Formality and the 1906 Independence-Test /Blanchette, Patricia A. --Formal Discourse in Russell: From Metaphysics to Philosophical Logic /Link, Godehard --On Live and Dead Signs in Mathematics /Mühlhölzer, Felix --Generalization and the Impossible: Issues in the search for generalized mathematics around 1900 /Ziche, Paul --Assumptions of Infinity /Niebergall, Karl-Georg --The Interpretation of Classes in Axiomatic Set Theory /Roth, Daniel / Schneider, Gregor --Purity in Arithmetic: some Formal and Informal Issues /Arana, Andrew --Domain Extensions and Higher-Order Syntactical Interpretations /Polański, Marek --Finite Methods in Mathematical Practice /Crosilla, Laura / Schuster, Peter --List of Contributors --Name IndexThe 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.LogosMathematicsPhilosophyLogic, Symbolic and mathematicalPhilosophy of mathematics.history of mathematics.mathematics.MathematicsPhilosophy.Logic, Symbolic and mathematical.510.1Link GodehardMiAaPQMiAaPQMiAaPQBOOK9910811237303321Formalism and beyond3943037UNINA