PL EN


Journal
2011 | 19 | 4(76) | 83-101
Article title

Fakty matematyczne w świetle logiki niefregowskiej

Title variants
EN
MATHEMATICAL FACTS IN LIGHT OF NONFREGEAN LOGIC
Languages of publication
PL
Abstracts
EN
The paper presents a new argument supporting the ontological standpoint according to which there are no mathematical facts in any set theoretic model (world) constructed on the grounds of second order arithmetical theories founded upon set theory. Slingshot arguments directed against facts, situations and other propositional entities are usually blocked by rejecting one of the main inference rules used in various versions of this argument. Authors distinguish two types of main inference rules used in these variants: (i) for non-propositional expressions: iota-conversion rules (i-conv), iota-substitution rules (i-subs), lambda-conversion principle (l-conv); and (ii) for propositional expressions: the principle of substitutivity for logical equivalents (PSLE). Even if strategies for defending facts by the rejection of one of the mentioned rules are accepted, it may be shown that the acceptance of the requirement that mathematical facts (situations or truth-makers) differing with regard to their constituents are different facts, leads to the contradiction in meta-theories of set theoretic models for first order arithmetical theories. In the paper, a new type of slingshot argument is presented, which may be called hyper-slingshot. The difference between meta-theoretical hyper-slingshots and conventional slingshots consists in the fact that the former are formulated in the semantic meta-language of mathematical theories without the use of the iota-operator or the name-forming lambda-operator, whereas the latter require for their expression at least one of these non-standard term-operators. Furthermore, in hyper-slingshots PSLE is not used, whereas in conventional slingshots, PSLE plays a crucial inferential role. Hyper-slingshots implement simpler language tools in comparison with those used in conventional slingshots.
Journal
Year
Volume
19
Issue
Pages
83-101
Physical description
Contributors
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.cejsh-9ff6edc3-e05b-423b-a141-9673f30a5572
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.