The main purpose of the paper concerns the question of the existence of hard mathematical facts as truth-makers of mathematical sentences. The paper defends the standpoint according to which hard mathematical facts do not exist in semantic models of mathematical theories. The argumentative line in favour of the defended thesis proceeds as follows: slingshot arguments supply us with some reasons to reject various ontological theories of mathematical facts; there are two ways of blocking these arguments: through the rejection of the (...) principle of extensionality for individual terms or through the rejection of the principle of Wittgenstein; the first way cannot be accepted because it leads to the practice of softening mathematical facts; the second way, called fine-graining facts, cannot be accepted because it also results in the practice of softening facts. Hence, only soft mathematical facts can be introduced into semantic models of mathematical theories. Because they should be rather interpreted as mental representations of mathematical objects, they no longer satisfy the semantic role of truth-makers in relation to mathematical sentences. The argument formulated in the paper is based on the analysis of mathematical extensions of the basic non-Fregean logic. Sixty-two definitions of potential fact-identity connectives are also presented. The paper's conclusion may be interpreted as undermining the situational paradigm of building semantics for mathematical languages. (shrink)

The paper presents a new argument supporting the ontological standpoint according to which there are no mathematical facts in any set theoretic model of arithmetical theories. It may be interpreted as showing that it is impossible to construct fact-arithmetic. The importance of this conclusion arises in the context of cognitive science. In the paper, a new type of slingshot argument is presented, which is 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 lambda-operator as the abstractor, whereas the latter require for their expression at least one of these non-standard term-operators. Hyper-slingshots implement simpler language tools in comparison with those used in conventional slingshots. (shrink)

Causal slingshots are formal arguments advanced by proponents of an event ontology of token-level causation which, in the end, are intended to show two things: (i) The logical form of statements expressing causal dependencies on token level features a binary predicate ‘‘... causes ...’’ and (ii) that predicate takes events as arguments. Even though formalisms are only revealing with respect to the logical form of natural language statements, if the latter are shown to be adequately captured within a corresponding formalism, (...) proponents of slingshots usually take the adequacy of their formalizations for granted without justifying it. The first part of this paper argues that the most discussed version of a causal slingshot, viz. the one e.g. presented by Davidson (Essays on actions and events. Oxford, Clarendon Press, 1980), can indeed be refuted for relying on an inadequate formal apparatus. In contrast, the formal means of Gödel’s (The philosophy of Betrand Russell. New York, Tudor, 1944) often neglected slingshot are shown to stand on solid ground in the second part of the paper. Nonetheless, I contend that Gödel’s slingshot does only half the work friends of event causation would like it to do. It provides good reasons for (i) but not for (ii). (shrink)

According to the standard opinions in the literature, blocking the unacceptable consequences of the notorious slingshot argument requires imposing constraints on the metaphysics of facts or on theories of definite descriptions (or class abstracts). This paper argues that both of these well-known strategies to rebut the slingshot overshoot the mark. The slingshot, first and foremost, raises the question as to the adequate logical formalization of statements about facts, i.e. of factual contexts. It will be shown that a rigorous application of (...) Quine’s maxim of shallow analysis to formalizations of factual contexts paves the way for an account of formalizing such contexts which blocks the slingshot without ramifications for theories of facts or definite descriptions. (shrink)