Internal Logic

Internal Logic

Author: Y. Gauthier

Publisher: Springer Science & Business Media

Published: 2013-03-09

Total Pages: 276

ISBN-13: 9401700834

DOWNLOAD EBOOK

Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polynomials) together with Fermat's infinite descent is put to use in an internal consistency proof. The view is developed in the context of a radical arithmetization of mathematics and logic and covers the many-faceted heritage of Kronecker's work, which includes not only Hilbert, but also Frege, Cantor, Dedekind, Husserl and Brouwer. The book will be of primary interest to logicians, philosophers and mathematicians interested in the foundations of mathematics and the philosophical implications of constructivist mathematics. It may also be of interest to historians, since it covers a fifty-year period, from 1880 to 1930, which has been crucial in the foundational debates and their repercussions on the contemporary scene.


Internal Logic

Internal Logic

Author: Maggie Taylor

Publisher:

Published: 2022

Total Pages: 176

ISBN-13: 9780999532539

DOWNLOAD EBOOK

This is a collection of digitally composited surreal images by artist Maggie Taylor with an essay by Mark Sloan. 117 color plates. The works span the years 2012-2021.


Towards an Arithmetical Logic

Towards an Arithmetical Logic

Author: Yvon Gauthier

Publisher: Birkhäuser

Published: 2015-09-24

Total Pages: 193

ISBN-13: 331922087X

DOWNLOAD EBOOK

This book offers an original contribution to the foundations of logic and mathematics and focuses on the internal logic of mathematical theories, from arithmetic or number theory to algebraic geometry. Arithmetical logic is the term used to refer to the internal logic of classical arithmetic, here called Fermat-Kronecker arithmetic and combines Fermat’s method of infinite descent with Kronecker’s general arithmetic of homogeneous polynomials. The book also includes a treatment of theories in physics and mathematical physics to underscore the role of arithmetic from a constructivist viewpoint. The scope of the work intertwines historical, mathematical, logical and philosophical dimensions in a unified critical perspective; as such, it will appeal to a broad readership from mathematicians to logicians, to philosophers interested in foundational questions. Researchers and graduate students in the fields of philosophy and mathematics will benefit from the author’s critical approach to the foundations of logic and mathematics.


The Chinese Education Policy Landscape

The Chinese Education Policy Landscape

Author: Eryong Xue

Publisher: Springer Nature

Published: 2019-08-20

Total Pages: 209

ISBN-13: 9813294647

DOWNLOAD EBOOK

This book examines the Chinese education policy landscape since 1978 by constructing a policy analysis tool, the “concept-added policy chain,”and discusses how to review, assess and forecast the development of that landscape, historically and contextually. In addition, it presentsseveral major historical educational policy shifts in order to explore both the internal and external rationale behind the development of aneducation policy with Chinese characteristics. It also provides a unique policy analysis tool for investigating the intricate political logics in contemporary Chinese education policy development at the macro-level, systematically and comprehensively.


Audiobooks as Artifacts

Audiobooks as Artifacts

Author: David Seinberg

Publisher: Common Ground Research Networks

Published: 2024-06-19

Total Pages: 269

ISBN-13: 1963049373

DOWNLOAD EBOOK

Their ever-evolving popularity notwithstanding, audiobooks remain a rather undertheorized phenomenon. The prevailing handful of existing studies seem to have adopted an inherently historicist approach, which fails to identify and scrutinize their aesthetic importance. Thus, rather than regarding them as mere recorded ‘versions’ of existing literary works, this book explores them as the unique products of a hitherto undefined artistic genre. As performance-based aural artefacts, the very act of listening to them is rendered an aesthetic experience in its own right. By effectively embracing an interdisciplinary approach and introducing a set of aesthetic questions and philosophical conundrums (ignited by a paradigmatic application of the New Institutional Theory of Art), this study establishes a new aesthetic category—which, in turn, not only classifies audiobooks as artworks to all intents and purposes, but also generates the criteria and parameters for evaluating their merit. Since the proof of the proverbial pudding is purportedly in the eating, in surveying a series of concrete case studies—each highlighting different degrees of complexities—this study mainly examines first-person narratives as the most natural medium for the aesthetics of the audiobook. As such, the investigation herein provides one with comparative close listenings, appropriately analyzing and debating their aesthetic properties. Finally, in exploring what this study identifies as one’s informed intuition and its role in the craft of casting audiobooks, this study also proposes a new understating of how aesthetic appreciation works in action.


A Theory of History

A Theory of History

Author: Ágnes Heller

Publisher: Routledge

Published: 2016-04-14

Total Pages: 344

ISBN-13: 1317268830

DOWNLOAD EBOOK

This radical analysis of the role and importance of historiography interprets the philosophy and theory of history on the basis of historicity as a human condition. The book examins the norms and methods of historiography from a philosophical point of view, but rejects generalisations tht the philosophy of history can provide all the answers to contemporary problems. Instead it outlines a feasible theory of history which is still radical enough to apply to all social structures.


Routledge Library Editions: Historiography

Routledge Library Editions: Historiography

Author: Various

Publisher: Routledge

Published: 2021-06-23

Total Pages: 8677

ISBN-13: 1317268083

DOWNLOAD EBOOK

The greatest problem in historical scholarship, theoretically and practically, is the relation between historians and their subject matter. The past is gone and historians can only study its remnants. On what basis do scholars select certain facts from the mass of data left from the past? How do they explain the interrelationship of the facts they select? What criteria do they use to evaluate their subject? The 35 volumes in this set, originally published between 1926 and 1990 discuss and answer these essential questions faced by historians. The development of historical understanding during the 18th and 19th centuries was one of the most striking features of Western culture. Both historiography and historical thinking advanced as never before. The historial movment of the 19th century was perhaps second only to the scientific revolution of the seventeenth century in transforming Western thought. One consequence was extensive organisation and professionalization of research, which the volumes in this set reflect.


Axiomatic Method and Category Theory

Axiomatic Method and Category Theory

Author: Andrei Rodin

Publisher: Springer Science & Business Media

Published: 2013-10-14

Total Pages: 285

ISBN-13: 3319004042

DOWNLOAD EBOOK

This volume explores the many different meanings of the notion of the axiomatic method, offering an insightful historical and philosophical discussion about how these notions changed over the millennia. The author, a well-known philosopher and historian of mathematics, first examines Euclid, who is considered the father of the axiomatic method, before moving onto Hilbert and Lawvere. He then presents a deep textual analysis of each writer and describes how their ideas are different and even how their ideas progressed over time. Next, the book explores category theory and details how it has revolutionized the notion of the axiomatic method. It considers the question of identity/equality in mathematics as well as examines the received theories of mathematical structuralism. In the end, Rodin presents a hypothetical New Axiomatic Method, which establishes closer relationships between mathematics and physics. Lawvere's axiomatization of topos theory and Voevodsky's axiomatization of higher homotopy theory exemplify a new way of axiomatic theory building, which goes beyond the classical Hilbert-style Axiomatic Method. The new notion of Axiomatic Method that emerges in categorical logic opens new possibilities for using this method in physics and other natural sciences. This volume offers readers a coherent look at the past, present and anticipated future of the Axiomatic Method.