Philosophy of Mathematics Today

Nonfiction, Science & Nature, Mathematics, Logic, Religion & Spirituality, Philosophy
Cover of the book Philosophy of Mathematics Today by , Springer Netherlands
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9789401156905
Publisher: Springer Netherlands Publication: December 6, 2012
Imprint: Springer Language: English
Author:
ISBN: 9789401156905
Publisher: Springer Netherlands
Publication: December 6, 2012
Imprint: Springer
Language: English

Mathematics is often considered as a body of knowledge that is essen­ tially independent of linguistic formulations, in the sense that, once the content of this knowledge has been grasped, there remains only the problem of professional ability, that of clearly formulating and correctly proving it. However, the question is not so simple, and P. Weingartner's paper (Language and Coding-Dependency of Results in Logic and Mathe­ matics) deals with some results in logic and mathematics which reveal that certain notions are in general not invariant with respect to different choices of language and of coding processes. Five example are given: 1) The validity of axioms and rules of classical propositional logic depend on the interpretation of sentential variables; 2) The language­ dependency of verisimilitude; 3) The proof of the weak and strong anti­ inductivist theorems in Popper's theory of inductive support is not invariant with respect to limitative criteria put on classical logic; 4) The language-dependency of the concept of provability; 5) The language­ dependency of the existence of ungrounded and paradoxical sentences (in the sense of Kripke). The requirements of logical rigour and consistency are not the only criteria for the acceptance and appreciation of mathematical proposi­ tions and theories.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Mathematics is often considered as a body of knowledge that is essen­ tially independent of linguistic formulations, in the sense that, once the content of this knowledge has been grasped, there remains only the problem of professional ability, that of clearly formulating and correctly proving it. However, the question is not so simple, and P. Weingartner's paper (Language and Coding-Dependency of Results in Logic and Mathe­ matics) deals with some results in logic and mathematics which reveal that certain notions are in general not invariant with respect to different choices of language and of coding processes. Five example are given: 1) The validity of axioms and rules of classical propositional logic depend on the interpretation of sentential variables; 2) The language­ dependency of verisimilitude; 3) The proof of the weak and strong anti­ inductivist theorems in Popper's theory of inductive support is not invariant with respect to limitative criteria put on classical logic; 4) The language-dependency of the concept of provability; 5) The language­ dependency of the existence of ungrounded and paradoxical sentences (in the sense of Kripke). The requirements of logical rigour and consistency are not the only criteria for the acceptance and appreciation of mathematical proposi­ tions and theories.

More books from Springer Netherlands

Cover of the book Literature and Society by
Cover of the book Sustainable Food Security in the Era of Local and Global Environmental Change by
Cover of the book Molecular Technologies for Detection of Chemical and Biological Agents by
Cover of the book Materials Metrology and Standards for Structural Performance by
Cover of the book Solar History by
Cover of the book An Introduction to Medical Manipulation by
Cover of the book CEMAF as a Census Method by
Cover of the book Linear CMOS RF Power Amplifiers for Wireless Applications by
Cover of the book Methodological Aspects of the Development of Low Temperature Physics 1881–1956 by
Cover of the book Chemical Bonding and Spectroscopy in Mineral Chemistry by
Cover of the book Evolutionary Protistology by
Cover of the book Henry Home, Lord Kames, and the Scottish Enlightenment: A Study in National Character and in the History of Ideas by
Cover of the book Change and Continuity in Early Modern Cosmology by
Cover of the book Quantum Nano-Photonics by
Cover of the book Cephalopod Culture by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy