I discuss Steinhart’s argument against Benacerraf’s famous multiple-reductions argument to the effect that numbers cannot be sets. Steinhart offers a mathematical argument according to which there is only one series of sets to which the natural numbers can be reduced, and thus attacks Benacerraf’s assumption that there are multiple reductions of numbers to sets. I will argue that Steinhart’s argument is problematic and should not be accepted.

Hilary Putnam first published the consistency objection against Ludwig Wittgenstein’s account of mathematics in 1979. In 1983, Putnam and Benacerraf raised this objection against all conventionalist accounts of mathematics. I discuss the 1979 version and the scenario argument, which supports the key premise of the objection. The wide applicability of this objection is not apparent; I thus raise it against an imaginary axiomatic theory T similar to Peano arithmetic in all relevant aspects. I argue that a conventionalist can explain the (...) consistency of T and suggest that an analogous explanation can be provided for the consistency of Peano arithmetic. (shrink)

What is the relation between some things and the set of these things? Mathematical practice does not provide a univocal answer. On the one hand, it relies on ordinary plural talk, which is implicitly committed to a traditional form of plural logic. On the other hand, mathematical practice favors a liberal view of definitions which entails that traditional plural logic must be restricted. We explore this predicament and develop a “critical” alternative to traditional plural logic.

This paper uses cases involving empty singular terms (on the one hand, cases of what I call “accidental aboutness-failure”; on the other, cases involving proper names occurring in fictions) to argue for a claim about the goal of ordinary belief-forming activity, and shows how this claim generates new foundations for the theory of reference.

The Bounds of Logic presents a new philosophical theory of the scope and nature of logic based on critical analysis of the principles underlying modern Tarskian logic and inspired by mathematical and linguistic development. Extracting central philosophical ideas from Tarski’s early work in semantics, Sher questions whether these are fully realized by the standard first-order system. The answer lays the foundation for a new, broader conception of logic. By generally characterizing logical terms, Sher establishes a fundamental result in semantics. Her (...) development of the notion of logicality for quantifiers and her work on branching are of great importance for linguistics. Sher outlines the boundaries of the new logic and points out some of the philosophical ramifications of the new view of logic for such issues as the logicist thesis, ontological commitment, the role of mathematics in logic, and the metaphysical underpinning of logic. She proposes a constructive definition of logical terms, reexamines and extends the notion of branching quantification, and discusses various linguistic issues and applications. (shrink)

A complete philosophy of mathematics must address Paul Benacerraf’s dilemma. The requirements of a general semantics for the truth of mathematical theorems that coheres also with the meaning and truth conditions for non-mathematical sentences, according to Benacerraf, should ideally be coupled with an adequate epistemology for the discovery of mathematical knowledge. Standard approaches to the philosophy of mathematics are criticized against their own merits and against the background of Benacerraf’s dilemma, particularly with respect to the problem of understanding the distinction (...) between pure and applied mathematics and the effectiveness of applied mathematics in the natural sciences and engineering. The evaluation of these alternatives provides the basis for articulating a philosophically advantageous Aristotelian inherence concept of mathematical entities. An inherence account solves Benacerraf’s dilemma by interpreting mathematical entities as nominalizations of structural spatiotemporal properties inhering in existent spatiotemporal entities. (shrink)

Most empirical accounts of design suggest that designing is an activity where objects and representations are progressively constructed. Despite this fact, whether design is a constructive process or not is not a question directly addressed in the current design research. By contrast, in other fields such as Mathematics or Psychology, the notion of constructivism is seen as a foundational issue. The present paper defends the point of view that forms of constructivism in design need to be identified and integrated as (...) a founda- tional element in design research as well. In fact, a look at the literature reveals at least two types of constructive processes that are well embedded in design research: first, an interac- tive constructivism, where a designer engages a conversation with media, that allows changing the course of the activity as a result of this interaction; second, a social constructivism, where designers need to handle communication and nego- tiation aspects, that allows integrating individuals' expertise into the global design process. A key feature lacking these well-established paradigms is the explicit consideration of creativity as a central issue of design. To explore how cre- ative and constructivist aspects of design can be taken into account conjointly, the present paper pursues a theoretical approach. We consider the roots of constructivism in math- ematics, namely the Intuitionist Mathematics, in order to shed light on the original insights that led to the development of a notion of constructivism. Intuitionists describe mathe- matics as the process of mental mathematical constructions realized by a creative subject over time. One of the most original features of intuitionist constructivism is the intro- duction of incomplete objects into the heart of mathematics by means of lawless sequences and free choices. This allows the possibility to formulate undecided propositions and the consideration of creative acts within a formal constructive process. We provide an in-depth analysis of intuitionism from a design standpoint showing that the original notion is more than a pure constructivism where new objects are a mere bottom-up combination of already known objects. Rather, intuitionism describes an imaginative constructivist process that allows combining bottom-up and top-down processes and the expansion of both propositions and objects with free choices of a creative subject. We suggest that this new form of constructivism we identify is also relevant in interpreting conventional design processes and discuss its status with respect to other forms of constructivism in design. (shrink)

Sebastian Grève interviews Felix Mühlhölzer on his work on the philosophy of mathematics.

Causal theory of knowledge has been used by some theoreticians who, dealing with the philosophy of mathematics, touched the subject of mathematical knowledge. Some of them discuss the necessity of the causal condition for justification, which creates the grounds for renewing the old conflict between empiricists and rationalists. Emphasizing the condition of causality as necessary for justifiability, causal theory has provided stimulus for the contemporary empiricists to venture on the so far unquestioned cognitive foundations of mathematics. However, in what sense (...) can we speak about the justifiability as causality when it comes to mathematical knowledge? Can we justify the mathematical statement 2+2=4 by means of causality-perceptibility? Do we need perceptibility, a visual image of apples and marbles we add up in our first mathematics lesson, in order to know that statement? Does the same go with the statement that any two points can be joined by a straight line, and that the sum of angles in any triangle is the angle the measure of which equals the sum of the measures of the two right angles? Even though the major part of this article offers a review of the attitudes of various authors who endeavor to discuss the application of the causal theory to the problem of understanding of mathematical knowledge, it advocates the idea that knowledge expressed in a mathematical statement is acquired and transmitted by evidence. Evidence is by itself a guarantee of truth. It convinces us of the accuracy of mathematical truths. Proving, we find out. The greatest part of what we know is based on evidence of the previous knowledge . Due to the previous knowledge, we can say that knowledge in mathematics is in itself different from the knowledge in empirical sciences, i.e. it does not require causal relation that is considered necessary condition of knowing in those sciences.Uzročna teorija znanja iskorištena je od strane nekih teoretičara koji su se, baveći se filozofijom matematike, dotakli teme matematičkog znanja. Neki od njih govore o nužnosti uzročnog uvjeta za opravdanje, čime se stvaraju uvjeti za obnavljanje starog sukoba empirista i racionalista. Uzročna teorija je, isticanjem uvjeta uzročnosti kao nužnog za opravdanost, dala poticaj suvremenim empiristima da krenu čak i na do tada nedodirljive spoznajne temelje matematike. Međutim, u kom smislu možemo govoriti o opravdanosti kao uzročnosti kad je riječ o matematičkom znanju? Da li uzročnošću-čulnošću možemo opravdati matematički iskaz 2+2=4? Je li nam za znanje tog iskaza neophodna čulnost, vizualna predodžba jabuka ili klikera koje zbrajamo na našim prvim satovima matematike u školi? Stoje li stvari isto i s iskazom da se kroz bilo koje dvije točke može povući točno jedan pravac, ili da je zbroj kutova bilo kojeg trokuta kut čija je mjera jednaka zbroju mjera dvaju pravih kutova? Iako je u ovom radu, uglavnom, dan pregled stavova autora koji pokušavaju govoriti o primjeni uzročne teorije u shvaćanju matematičkog znanja, ideja koja se podržava u njemu jest da je znanje, iskazano matematičkim tvrđenjem, dobiveno i preneseno dokazom. Dokaz, sam po sebi, jamac je istine. On nas uvjerava u točnost matematičkih tvrdnji. Dokazujući spoznajemo. Najveći dio onoga što znamo zasnovano je dokazom na prethodnim znanjima . Zbog prethodnog možemo reći da je znanje u matematici po svojoj prirodi drugačije od znanja u empirijskim znanostima, to jest da ne iziskuje uzročnu vezu koja se smatra nužnim uvjetom za znanje u tim znanostima. (shrink)

The aim of the present paper is to offer a new analysis of the multifarious relations between mathematics and reality. We believe that the relation of mathematics to reality is, just like in the case of the natural sciences, mediated by instruments . Therefore the kind of realism we aim to develop for mathematics can be called instrumental realism. It is a kind of realism, because it is based on the thesis, that mathematics describes certain patterns of reality. And it (...) is instrumental realism, because it pays atten-tion to the role of instruments by means of which mathematics identifies these patterns. The article concludes by offering solutions to some famous semantic paradoxes based on the diagonal construction as corroboration for this claim. (shrink)

This paper is divided in five sections. Section 11.1 sketches the history of the distinction between speech act with negative content and negated speech act, and gives a general dynamic interpretation for negated speech act. “Downdate semantics” for AGM contraction is introduced in Section 11.2. Relying on semantically interpreted contraction, Section 11.3 develops the dynamic semantics for constative and directive speech acts, and their external negations. The expressive completeness for the formal variants of natural language utterances, none of which is (...) a retraction, has been proved in Section 11.4. The last section gives a laconic answer to the question posed in the title of the paper. (shrink)

Whether or not we achieve absolute generality in philosophical inquiry, most philosophers would agree that ordinary inquiry is rarely, if ever, absolutely general. Even if the quantifiers involved in an ordinary assertion are not explicitly restricted, we generally take the assertion’s domain of discourse to be implicitly restricted by context.1 Suppose someone asserts (2) while waiting for a plane to take off.

Gödel’s slingshot-argument proceeds from a referential theory of definite descriptions and from the principle of compositionality for reference. It outlines a metasemantic proof of Frege’s thesis that all true sentences refer to the same object—as well as all false ones. Whereas Frege drew from this the conclusion that sentences refer to truth-values, Gödel rejected a referential theory of definite descriptions. By formalising Gödel’s argument, it is possible to reconstruct all premises that are needed for the derivation of Frege’s thesis. For (...) this purpose, a reference-theoretical semantics for a language of first-order predicate logic with identity and referentially treated definite descriptions will be defined. Some of the premises of Gödel’s argument will be proven by such a reference-theoretical semantics, whereas others can only be postulated. For example, the principle that logically equivalent sentences refer to the same object cannot be proven but must be assumed in order to derive Frege’s thesis. However, different true (or false) sentences can refer to different states of affairs if the latter principle is rejected and the other two premises are maintained. This is shown using an identity criterion for states of affairs according to which two states of affairs are identical if and only if they involve the same objects and have the same necessary and sufficient condition for obtaining. (shrink)