2008-12-01,Peter Baofu,The Future of Post-Human Mathematical Logic,Hardback,978-1-4438-0033-4,34.99,"Why should mathematical logic be grounded on the basis of some formal requirements in the way that it has been developed since its classical emergence as a hybrid field of mathematics and logic in the 19th century or earlier? 

Contrary to conventional wisdom, the foundation of mathematic logic has been grounded on some false (or dogmatic) assumptions which have much impoverished the pursuit of knowledge.    

This is not to say that mathematical logic has been useless. Quite on the contrary, it has been quite influential in shaping the way that reality is to be understood in numerous fields of knowledge—by learning from the mathematical study of logic and its reverse, the logical study of mathematics. 

In the final analysis, the future of mathematical logic will depend on how its foundational crisis is to be resolved, and ""the contrastive theory of rationality"" (in this book) is to precisely show how and why it can be done by taking a contrastive turn, subject to the constraints imposed upon by ""existential dialectic principles"" at the ontological level (to avoid any reductionistic fallacy) and other ones (like the perspectives of culture, society, nature, and the mind). 
  
The contrastive theory of rationality thus shows a better way to ground mathematical logic (beyond both classical and non-classical logics) for the future advancement of knowledge and, if true, will alter the way of how mathematical logic is to be understood, with its enormous implications for the future of knowledge and its ""post-human"" fate.












",,Cambridge Scholars Publishing
2009-05-01,Peter Baofu,"The Future of Post-Human Geometry: A Preface to a New Theory of Infinity, Symmetry, and Dimensionality",Hardback,978-1-4438-0524-7,49.99,"Why should some essential properties of geometry (i.e., infinity, symmetry, and dimensionality) be both necessary and desirable in the way that they have been constructed—albeit with different modifications over time—since time immemorial?
Contrary to the conventional wisdom in all history hitherto existing, the essential properties of geometry do not have to be both necessary and desirable.  
This is not to suggest, of course, that one has nothing to learn from geometry. On the contrary, geometry has contributed to the advancement of knowledge in many ways since its inception as a field of knowledge some millennia ago.
The point in this book, however, is to show an alternative (better) way to understand the nature of geometry, which goes beyond human conception, intuition, and imagination, together with worldly experience of course, as its foundation, while learning from them all—with theoretical implications for time travel, hyperspace, and other important issues.
If true, this seminal view will fundamentally change the way that the nature of abstraction in the thinking process is to be understood, with its enormous implications for the future advancement of knowledge, in a small sense, and what I originally called its “post-human” fate, in a large one.





","""A prolific writer on post-present topics in the humanities and social and natural sciences, 
He presents an alternative-he says better- way of understanding the nature of geometry, which transcends human conception, intuition, and imagination but draws from them.""

SciTech Book News, December 2010
",Cambridge Scholars Publishing
2011-08-01,Federico Gobbo and Marco Benini,Constructive Adpositional Grammars: Foundations of Constructive Linguistics,Hardback,978-1-4438-3007-2,39.99,"This book presents a new paradigm of natural language grammar analysis, based on adposition as the key concept, considered a general connection between two morphemes – or group of morphemes. The adpositional paradigm considers the morpheme as the basic unit to represent morphosyntax, taken as a whole, in terms of constructions, while semantics and pragmatics are treated accordingly.

All linguistic observations within the book can be described through the methods and tools of Constructive Mathematics, so that the modelling becomes formally feasible. A full description in category-theoretic terms of the formal model is provided in the Appendix. A lot of examples taken from natural languages belonging to different typological areas are offered throughout the volume, in order to explain and validate the modeling – with special attention given to ergativity. Finally, a first real-world application of the paradigm is given, i.e., conversational analysis of the transcript of therapeutic settings in terms of constructive speech acts.

The main goal of this book is to broaden the scope of Linguistics by including Constructive Mathematics in order to deal with known topics such as grammaticalization, children’s speech, language comparison, dependency and valency from a different perspective. It primarily concerns advanced students and researchers in the field of Theoretical and Mathematical Linguistics but the audience can also include scholars interested in applications of Topos Theory in Linguistics.
",,Cambridge Scholars Publishing
2011-08-01,"Carlo Cellucci, Emily Grosholz and Emiliano Ippoliti",Logic and Knowledge,Hardback,978-1-4438-3008-9,49.99,"The problematic relation between logic and knowledge has given rise to some of the most important works in the history of philosophy, from Books VI–VII of Plato’s Republic and Aristotle’s Prior and Posterior Analytics, to Kant’s Critique of Pure Reason and Mill’s A System of Logic, Ratiocinative and Inductive. It provides the title of an important collection of papers by Bertrand Russell (Logic and Knowledge. Essays, 1901–1950). However, it has remained an underdeveloped theme in the last century, because logic has been treated as separate from knowledge.

This book does not hope to make up for a century-long absence of discussion. Rather, its ambition is to call attention to the theme and stimulating renewed reflection upon it. The book collects essays of leading figures in the field and it addresses the theme as a topic of current debate, or as a historical case study, or when appropriate as both. Each essay is followed by the comments of a younger discussant, in an attempt to transform what might otherwise appear as a monologue into an ongoing dialogue; each section begins with an historical essay and ends with an essay by one of the editors.
",,Cambridge Scholars Publishing
2012-01-01,Joan Roselló,From Foundations to Philosophy of Mathematics: An Historical Account of their Development in the XX Century and Beyond,Hardback,978-1-4438-3459-9,39.99,"From Foundations to Philosophy of Mathematics provides an historical introduction to the most exciting period in the foundations of mathematics, starting with the discovery of the paradoxes of logic and set theory at the beginning of the twentieth century and continuing with the great foundational debate that took place in the 1920s. As a result of the efforts of several mathematicians and philosophers during this period to ground mathematics and to clarify its nature from a certain philosophical standpoint, the four main schools in the philosophy of mathematics that have largely dominated the twentieth century arose, namely, logicism, intuitionism, formalism and predicativism. It was due precisely to the insufficiencies of the first three foundational programs and the objections raised against them, that interest in Platonism was renewed in the 1940s, mainly by Gödel.

Not only does this book pay special attention to the foundational programs of these philosophies of mathematics, but also to some technical accomplishments that were developed in close connection with them and have largely shaped our understanding of the nature of mathematics, such as Russell’s type theory, Zermelo’s set theory and Gödel’s incompleteness theorems. Finally, it also examines some current research programs that have been pursued in the last decades and have tried, at least to some extent, to show the feasibility of the foundational programs developed in the schools mentioned above. This is the case of neologicism, constructivism, and predicativist and finitist reductionism, this last one developed closely with the research program of reverse mathematics.
",,Cambridge Scholars Publishing
2012-05-01,Ivan Stanev and Katalina Grigorova,Knowledge Based Automated Software Engineering,Hardback,978-1-4438-3771-2,34.99,"The process of developing big information systems is less effective and more resource consuming than the software developers expect. The most widely disseminated software engineering methods and tools applied through the life cycle of this process, are characterised with a low level of process automation, insufficient component reusability and dissatisfactory final product flexibility.
The efficiency of the software development process can be improved with the application of hi-tech IT instruments as: (1) non-formal business model specifications, (2) automated verification and modification of the non-formal specifications related to predefined standardised knowledge bases both for the domain and IT areas, (3) automated generation of the final software product from the verified business model, and (4) incorporation of components set for real time monitoring and tuning within the generated software.
The book presents the authors’ views on the Knowledge Based Automated Software Engineering (KBASE). It involves the domain scope, the implemented research methods, tools and applications. The KBASE products presented in the book are addressed to the needs of scientists, practitioners and students working in the areas of Software Engineering, Computer Science, Knowledge Representation, Artificial Intelligence, Manufacturing Engineering, and Education.


","“I am e-mailing to highly recommend the new book titled Knowledge Based Automated Software Engineering which is published by Cambridge Scholars Publishing, Cambridge, UK in December 2011. 
This book contains 9 papers written by leading researchers into the Knowledge Based Automated Software Engineering (KBASE) area from 4 universities in Bulgaria and Turkey. The papers were selected and edited by Ivan Stanev and Katalina Grigorova from University of Ruse, Bulgaria who are active researchers and teachers in this field.
This volume presents the authors’ views on the KBASE domain scope, methods used, and developed tools and applications. The presented approaches, instruments and solutions are addressed to both scientists and practitioners in the Software Engineering and Computer Science areas.”
—Peter L. Stanchev, Ph.D., D.Sc., Professor and chair of Computer Systems Department, Institute of Mathematics and Informatics, Bulgarian Academy of Sciences 

“I highly recommend the new book titled Knowledge Based Automated Software Engineering which is published by Cambridge Scholars Publishing, Cambridge, UK in Jun 2012. 
The active researchers in the KBASE field Ivan Stanev and Professor Katalina Grigorova from University of Ruse, Bulgaria had selected for this book 9 papers describing new implemented research methods, tools and applications written by leading researchers into this area from 4 universities in Bulgaria and Turkey.
The KBASE products presented in the book are addressed to the needs of scientists, practitioners and students working in the areas of Software Engineering, Computer Science, Knowledge Representation, Artificial Intelligence, Manufacturing Engineering, and Education.”
—Assoc. Prof. Juliana Peneva, PhD, New Bulgarian University

",Cambridge Scholars Publishing