{"title":"Stefania Centrone","description":null,"products":[{"product_id":"reflections-on-the-foundations-of-mathematics-book-stefania-centrone-9783030156541","title":"Reflections on the Foundations of Mathematics","description":"This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50554553073937,"sku":"GOR013996854","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ LIKE_NEW \/ INTERNAL","offer_id":50820097442065,"sku":"GOR014085800","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52335413428497,"sku":"NLS9783030156541","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3030156540.jpg?v=1751453154"},{"product_id":"mathesis-universalis-computability-and-proof-book-stefania-centrone-9783030204495","title":"Mathesis Universalis, Computability and Proof","description":"\u003cp\u003eIn a fragment entitled \u003ci\u003eElementa Nova Matheseos Universalis \u003c\/i\u003e(1683?) Leibniz writes “the \u003ci\u003emathesis \u003c\/i\u003e[…]\u003ci\u003e \u003c\/i\u003eshall deliver the method through which things that are conceivable can be exactly determined”; in another fragment he takes the \u003ci\u003emathesis \u003c\/i\u003eto be “the science of all things that are conceivable.” Leibniz considers all mathematical disciplines as branches of the \u003ci\u003emathesis \u003c\/i\u003eand conceives the \u003ci\u003emathesis \u003c\/i\u003eas a general science of forms applicable not only to magnitudes but to every object that exists in our imagination, i.e. that is possible at least in principle. As a general science of forms the \u003ci\u003emathesis \u003c\/i\u003einvestigates possible relations between “arbitrary objects” (“\u003ci\u003eobjets quelconques\u003c\/i\u003e”). It is an abstract theory of combinations and relations among objects whatsoever.\u003c\/p\u003e\u003cp\u003eIn 1810 the mathematician and philosopher Bernard Bolzano published a booklet entitled \u003ci\u003eContributions to a Better-Grounded Presentation of Mathematics. \u003c\/i\u003eThere is, according to him, a \u003ci\u003ecertain objective connection \u003c\/i\u003eamong the truths that are germane to a certain homogeneous field of objects: some truths are the “reasons” (“\u003ci\u003eGründe\u003c\/i\u003e”) of others, and the latter are “consequences” (“Folgen”) of the former. The reason-consequence relation seems to be the counterpart of causality at the level of a relation between true propositions. A\u003ci\u003erigorous proof\u003c\/i\u003e is characterized in this context as a proof that shows the reason of the proposition that is to be proven. Requirements imposed on rigorous proofs seem to anticipate normalization results in current proof theory.\u003c\/p\u003e\u003cp\u003eThe contributors of \u003cb\u003eMathesis Universalis, Computability and Proof\u003c\/b\u003e,  leading experts in the fields of computer science, mathematics, logic and philosophy, show the evolution of these and related ideas exploring topics in proof theory, computability theory, intuitionisticlogic, constructivism and reverse mathematics, delving deeply into a contextual examination of the relationship between mathematical rigor and demands for simplification. \u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52137081536785,"sku":"NLS9783030204495","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030204495.jpg?v=1757556608"},{"product_id":"mathesis-universalis-computability-and-proof-book-stefania-centrone-9783030204464","title":"Mathesis Universalis, Computability and Proof","description":"\u003cp\u003eIn a fragment entitled \u003ci\u003eElementa Nova Matheseos Universalis \u003c\/i\u003e(1683?) Leibniz writes “the \u003ci\u003emathesis \u003c\/i\u003e[…]\u003ci\u003e \u003c\/i\u003eshall deliver the method through which things that are conceivable can be exactly determined”; in another fragment he takes the \u003ci\u003emathesis \u003c\/i\u003eto be “the science of all things that are conceivable.” Leibniz considers all mathematical disciplines as branches of the \u003ci\u003emathesis \u003c\/i\u003eand conceives the \u003ci\u003emathesis \u003c\/i\u003eas a general science of forms applicable not only to magnitudes but to every object that exists in our imagination, i.e. that is possible at least in principle. As a general science of forms the \u003ci\u003emathesis \u003c\/i\u003einvestigates possible relations between “arbitrary objects” (“\u003ci\u003eobjets quelconques\u003c\/i\u003e”). It is an abstract theory of combinations and relations among objects whatsoever.\u003c\/p\u003e\u003cp\u003eIn 1810 the mathematician and philosopher Bernard Bolzano published a booklet entitled \u003ci\u003eContributions to a Better-Grounded Presentation of Mathematics. \u003c\/i\u003eThere is, according to him, a \u003ci\u003ecertain objective connection \u003c\/i\u003eamong the truths that are germane to a certain homogeneous field of objects: some truths are the “reasons” (“\u003ci\u003eGründe\u003c\/i\u003e”) of others, and the latter are “consequences” (“Folgen”) of the former. The reason-consequence relation seems to be the counterpart of causality at the level of a relation between true propositions. A\u003ci\u003erigorous proof\u003c\/i\u003e is characterized in this context as a proof that shows the reason of the proposition that is to be proven. Requirements imposed on rigorous proofs seem to anticipate normalization results in current proof theory.\u003c\/p\u003e\u003cp\u003eThe contributors of \u003cb\u003eMathesis Universalis, Computability and Proof\u003c\/b\u003e,  leading experts in the fields of computer science, mathematics, logic and philosophy, show the evolution of these and related ideas exploring topics in proof theory, computability theory, intuitionisticlogic, constructivism and reverse mathematics, delving deeply into a contextual examination of the relationship between mathematical rigor and demands for simplification. \u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52145576739089,"sku":"NLS9783030204464","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030204464.jpg?v=1757594238"},{"product_id":"reflections-on-the-foundations-of-mathematics-book-stefania-centrone-9783030156572","title":"Reflections on the Foundations of Mathematics","description":"This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52335823847697,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52335824273681,"sku":"NLS9783030156572","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030156572.jpg?v=1758161290"},{"product_id":"oskar-becker-on-the-logic-of-modalities-1930-translation-commentary-and-analysis-book-stefania-centrone-9783030875473","title":"Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis","description":"Preface1. Introduction2. Part I of On the Logic of Modalities3. Part II of On the Logic of Modalities4. Oskar Becker5. AppendixReferencesIndex","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52453830131985,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52453830689041,"sku":"NLS9783030875473","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030875473.jpg?v=1759369265"},{"product_id":"essays-on-husserl-s-logic-and-philosophy-of-mathematics-book-stefania-centrone-9789402414943","title":"Essays on Husserl's Logic and Philosophy of Mathematics","description":"Essays on Husserl's Logic and Philosophy of Mathematics sets out to fill up a lacuna in the present research on Husserl by presenting a precise account of Husserl's work in the field of logic, of the philosophy of logic and of the philosophy of mathematics.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52478405083409,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52478406328593,"sku":"NLS9789402414943","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789402414943.jpg?v=1759847130"},{"product_id":"logic-and-philosophy-of-mathematics-in-the-early-husserl-book-stefania-centrone-9789400731233","title":"Logic and Philosophy of Mathematics in the Early Husserl","description":"Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl's work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900\/01), and aims to precisely locate his early work in the fields of logic, philosophy of logic and philosophy of mathematics.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52522638835985,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52522639130897,"sku":"NLS9789400731233","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789400731233.jpg?v=1760578524"},{"product_id":"essays-on-husserl-s-logic-and-philosophy-of-mathematics-book-stefania-centrone-9789402411300","title":"Essays on Husserl's Logic and Philosophy of Mathematics","description":"\u003cp\u003e\u003ci\u003eEssays on Husserl’s Logic and Philosophy of Mathematics\u003c\/i\u003e sets out to fill up a lacuna in the present research on Husserl by presenting a precise account of Husserl’s work in the field of logic, of the philosophy of logic and of the philosophy of mathematics. The aim is to provide an in-depth reconstruction and analysis of the discussion between Husserl and his most important interlocutors, and to clarify pivotal ideas of Husserl’s by considering their reception and elaboration by some of his disciples and followers, such as Oskar Becker and Jacob Klein, as well as their influence on some of the most significant logicians and mathematicians of the past century, such as Luitzen E. J. Brouwer, Rudolf Carnap, Kurt Gödel and Hermann Weyl. Most of the papers consider Husserl and another scholar – e.g. Leibniz, Kant, Bolzano, Brentano, Cantor, Frege – and trace out and contextualize lines of influence, points of contact, and points of disagreement. Each essay is written by an expert\u003c\/p\u003eof the field, and the volume includes contributions both from the analytical tradition and from the phenomenological one.\u003cp\u003e\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52533174632721,"sku":"NLS9789402411300","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789402411300.jpg?v=1760663963"},{"product_id":"logic-and-philosophy-of-mathematics-in-the-early-husserl-book-stefania-centrone-9789048132454","title":"Logic and Philosophy of Mathematics in the Early Husserl","description":"Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserls work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900\/01), and aims to precisely locate his early work in the fields of logic, philosophy of logic and philosophy of mathematics.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52537900040465,"sku":"NLS9789048132454","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789048132454.jpg?v=1760679972"},{"product_id":"oskar-becker-on-the-logic-of-modalities-1930-translation-commentary-and-analysis-book-stefania-centrone-9783030875503","title":"Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis","description":"This book offers the first-ever English translation of Oskar Becker’s \u003ci\u003eZur Logik der Modalitäten\u003c\/i\u003e. This essay, published in 1930, is a pioneering yet often neglected contribution in the context of prewar modal logic research in Europe. Becker’s text is complemented by an extended commentary that explains, analyzes and highlights Becker’s accomplishments and the philosophical background of his investigations.\u003cbr\u003eThe commentary provides an in-depth analysis of all of Becker's important contributions, both from a philosophical and logical perspective, making it a very useful book for scholars in both philosophy and logic.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52669878599953,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52669879419153,"sku":"NLS9783030875503","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030875503.jpg?v=1762288451"}],"url":"https:\/\/www.worldofbooks.com\/en-au\/collections\/author-books-by-stefania-centrone.oembed","provider":"World of Books ","version":"1.0","type":"link"}