募捐 9月15日2024 – 10月1日2024 关于筹款

Philosophy of Mathematics Today

Philosophy of Mathematics Today

Francisco Miró Quesada (auth.), Evandro Agazzi, György Darvas (eds.)
你有多喜欢这本书?
下载文件的质量如何?
下载该书,以评价其质量
下载文件的质量如何?

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.

种类:
年:
1997
出版:
1
出版社:
Springer Netherlands
语言:
english
页:
361
ISBN 10:
9401156905
ISBN 13:
9789401156905
系列:
Episteme 22
文件:
PDF, 25.62 MB
IPFS:
CID , CID Blake2b
english, 1997
线上阅读
正在转换
转换为 失败

关键词