Sign-In
Cart
Mathesis Universalis, Computability and Proof
Paperback
Series: Synthese Library, Book 412
ISBN13: 9783030204495
Publisher: Springer Nature
Published: Nov 6 2020
Pages: 374
Weight: 1.19
Height: 0.80 Width: 6.14 Depth: 9.21
Language: English
In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes the mathesis [...] shall deliver the method through which things that are conceivable can be exactly determined; in another fragment he takes the mathesis to be the science of all things that are conceivable. Leibniz considers all mathematical disciplines as branches of the mathesis and conceives the mathesis as 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 mathesis investigates possible relations between arbitrary objects (objets quelconques). It is an abstract theory of combinations and relations among objects whatsoever.
In 1810 the mathematician and philosopher Bernard Bolzano published a booklet entitled Contributions to a Better-Grounded Presentation of Mathematics. There is, according to him, a certain objective connection among the truths that are germane to a certain homogeneous field of objects: some truths are the reasons (Gründe) 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. Arigorous proof 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.
The contributors of Mathesis Universalis, Computability and Proof, 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.
1 different editions
Also available
Also in
Logic
True Facts That Sound Like Bull$#*t: 500 Insane-But-True Facts That Will Shock and Impress Your Friends 1
Carley, Shane
Paperback
The Fallacy Detective: Thirty-Eight Lessons on How to Recognize Bad Reasoning
Bluedorn, Nathaniel
Bluedorn, Hans
Paperback
The Thinking Toolbox: Thirty-Five Lessons That Will Build Your Reasoning Skills
Bluedorn, Nathaniel
Bluedorn, Hans
Paperback
True Facts That Sound Like Bull$#*t: 500 Insane-But-True Facts That Will Shock and Impress Your Friends
Carley, Shane
Hardcover
Mastering Logical Fallacies: The Definitive Guide to Flawless Rhetoric and Bulletproof Logic
Withey, Michael
Paperback
Walden - On Walden Pond - Life in the Woods - The Transcendentalist Masterpiece
Thoreau, Henry David
Paperback
The Pig That Wants to Be Eaten: 100 Experiments for the Armchair Philosopher
Baggini, Julian
Paperback
Logically Fallacious: The Ultimate Collection of Over 300 Logical Fallacies (Academic Edition)
Bennett, Bo
Hardcover
Socratic Logic: Edition 3.1: A Logic Text Using Socratic Method, Platonic Questions, & Aristotelian Principles
Kreeft, Peter
Hardcover
The Art of Logical Thinking: Inductive, Deductive and Hypothetical Reasoning and the Use of Syllogisms and Fallacies
Atkinson, William Walker
Paperback
Logically Fallacious: The Ultimate Collection of Over 300 Logical Fallacies (Academic Edition)
Bennett, Bo
Paperback
Good Reasoning Matters!: A Guide to Critical Thinking in a Digital Age, Sixth Edition
Tindale, Christopher W.
Groarke, Leo
Carozza, Linda
Paperback
The Power of Critical Thinking: Effective Reasoning about Ordinary and Extraordinary Claims
Vaughn, Lewis
Paperback
The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number
Frege, Gottlob
Paperback
Deleuze's Philosophy of Time and Logic: Kant, Bergson, and the Labyrinth of the Continuum
Paetsch, John
Hardcover
The Critical Thinking Toolkit: Your Guide to Success in Learning, Thinking and Writing at University
Cooke, Belinda
Morris, Laurence
Beesley, Paula
Paperback
Nonsense: Red Herrings, Straw Men and Sacred Cows: How We Abuse Logic in Our Everyday Language
Gula, Robert J.
Paperback
Tractatus Logico-Philosophicus (Chiron Academic Press - The Original Authoritative Edition)
Wittgenstein, Ludwig
Paperback
The Duck That Won the Lottery: 100 New Experiments for the Armchair Philosopher
Baggini, Julian
Paperback
With All Your Mind: A Course on Logic and Argument for the Christian Classroom
Finkbeiner, Brad Paul
Paperback
How to Think about the Great Ideas: From the Great Books of Western Civilization
Adler, Mortimer
Paperback
The Critical Thinking Toolkit: Your Guide to Success in Learning, Thinking and Writing at University
Cooke, Belinda
Morris, Laurence
Beesley, Paula
Hardcover
Swirling Symmetry: Thoughts and Images on Mathematics, Motion & Pattern
Coleman, Sandra DeLozier
Hardcover
Master Your Mind: Critical-Thinking Exercises and Activities to Boost Brain Power and Think Smarter
Danesi, Marcel
Paperback
Critical Thinking: Tools for Taking Charge of Your Professional and Personal Life
Paul, Richard
Elder, Linda
Hardcover
Gateway to the Stoics: Marcus Aurelius's Meditations, Epictetus's Enchiridion, and Selections from Seneca's Letters
Aurelius, Marcus
Epictetus
Seneca
Paperback
The Annotated Gödel: A Reader's Guide to his Classic Paper on Logic and Incompleteness
Prince, Hal
Paperback
One: Being an Investigation Into the Unity of Reality and of Its Parts, Including the Singular Object Which Is Nothingness
Priest, Graham
Hardcover
Critical Reasoning: A Romp through the Foothills of Logic for the Complete Beginner
Talbot, Marianne
Paperback
Playing God with Emerging Technologies: How to Avoid the Traps of Techno-Optimism and Techno-Pessimism
Mizrahi, Moti
Hardcover
The Theory of Moral Sentiments (Royal Collector's Edition) (Case Laminate Hardcover with Jacket)
Smith, Adam
Hardcover
Good Thinking: Why Flawed Logic Puts Us All at Risk and How Critical Thinking Can Save the World
Grimes, David Robert
Paperback
Autonomy, Consciousness, and Personhood: A Primer for the Public Dialogue on Abortion
Bujno, Stephen
Hardcover