Author: John L. Bell
Publisher: Courier Corporation
Release Date: 2008-01
This text introduces topos theory, a development in category theory that unites important but seemingly diverse notions from algebraic geometry, set theory, and intuitionistic logic. Topics include local set theories, fundamental properties of toposes, sheaves, local-valued sets, and natural and real numbers in local set theories. 1988 edition.
A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers.
Author: David DeVidi
Publisher: Springer Science & Business Media
Release Date: 2011-03-23
The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic (William Lawvere, Peter Aczel, Graham Priest, Giovanni Sambin); analytical philosophy (Michael Dummett, William Demopoulos), philosophy of science (Michael Redhead, Frank Arntzenius), philosophy of mathematics (Michael Hallett, John Mayberry, Daniel Isaacson) and decision theory and foundations of economics (Ken Bimore). Most articles are contributions to current philosophical debates, but contributions also include some new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic.
Author: Charles C Pinter
Publisher: Courier Corporation
Release Date: 2014-07-23
"This accessible approach to set theory for upper-level undergraduates poses rigorous but simple arguments. Each definition is accompanied by commentary that motivates and explains new concepts. A historical introduction is followed by discussions of classes and sets, functions, natural and cardinal numbers, the arithmetic of ordinal numbers, and related topics. 1971 edition with new material by the author"--
I think this is the first scientific and actual solution of the Mind-Brain problem. Using results of recent mathematics, it finally provides an actual solution. But human beings have a real and scientific place in this solution -they are not mere "zombies"! Latest and much improved 3rd Edition.
Author: Randall E. Auxier
Publisher: Taylor & Francis
Release Date: 2017-03-31
The Quantum of Explanation advances a bold new theory of how explanation ought to be understood in philosophical and cosmological inquiries. Using a complete interpretation of Alfred North Whitehead’s philosophical and mathematical writings and an interpretive structure that is essentially new, Auxier and Herstein argue that Whitehead has never been properly understood, nor has the depth and breadth of his contribution to the human search for knowledge been assimilated by his successors. This important book effectively applies Whitehead’s philosophy to problems in the interpretation of science, empirical knowledge, and nature. It develops a new account of philosophical naturalism that will contribute to the current naturalism debate in both Analytic and Continental philosophy. Auxier and Herstein also draw attention to some of the most important differences between the process theology tradition and Whitehead’s thought, arguing in favor of a Whiteheadian naturalism that is more or less independent of theological concerns. This book offers a clear and comprehensive introduction to Whitehead’s philosophy and is an essential resource for students and scholars interested in American philosophy, the philosophy of mathematics and physics, and issues associated with naturalism, explanation and radical empiricism.
In Mathematics of the Transcendental, Alain Badiou painstakingly works through the pertinent aspects of Category Theory, demonstrating their internal logic and veracity, their derivation and distinction from Set Theory, and the 'thinking of being'. In doing so he sets out the basic onto-logical requirements of his greater and transcendental logics as articulated in his magnum opus, Logics of Worlds. This important book combines both his elaboration of the disjunctive synthesis between ontology and onto-logy (the discourses of being as such and being-appearing) from the perspective of Category Theory and the categorial basis of his philosophical conception of 'being there'. Hitherto unpublished in either French or English, Mathematics of the Transcendental provides Badiou's readers with a much-needed complete elaboration of his understanding and use of Category Theory. The book is an essential aid to understanding the mathematical and logical basis of his theory of appearing as elaborated in Logics of Worlds and other works and is essential reading for his many followers.