There was a methodological revolution in the mathematics of the nineteenth century, and philosophers have, for the most part, failed to notice.2 My objective in this chapter is to convince you of this, and further to convince you of the following points. The philosophy of mathematics has been informed by an inaccurately narrow picture of the emergence of rigour and logical foundations in the nineteenth century. This blinkered vision encourages a picture of philosophical and logical foundations as essentially disengaged from (...) ongoing mathematical practice. Frege is a telling example: we have misunderstood much of what Frege was trying to do, and missed the intended significance of much of what he wrote, because our received stories underestimate the complexity of nineteenth-century mathematics and mislocate Frege’s work within that context. Given Frege’s perceived status as a paradigmatic analytic philosopher, this mislocation translates into an unduly narrow vision of the relation between mathematics and philosophy. This chapter surveys one part of a larger project that takes Frege as a benchmark to fix some of the broader interest and philosophical significance of nineteenth-century developments. To keep this contribution to a manageable.. (shrink)

The paper demonstrates the necessity of introducing innovative approaches in addressing social problems of development. It proves the significance of recruiting investment in the social sphere. The author looks into the usage of social business for handling economic development problems of countries. There are factors promoting social entrepreneurship identified. Spatial social inequality in Ukraine is analyzed, the role of social entrepreneurship in its overcoming demonstrated.

Throughout its long history, mathematics has involved the use ofsystems of written signs, most notably, diagrams in Euclidean geometry and formulae in the symbolic language of arithmetic and algebra in the mathematics of Descartes, Euler, and others. Such systems of signs, I argue, enable one to embody chains of mathematical reasoning. I then show that, properly understood, Frege’s Begriffsschrift or concept-script similarly enables one to write mathematical reasoning. Much as a demonstration in Euclid or in early modern algebra does, a (...) proof in Frege’s concept-script shows how it goes. (shrink)

François Viète is often regarded as the first modern mathematician on the grounds that he was the first to develop the literal notation, that is, the use of two sorts of letters, one for the unknown and the other for the known parameters of a problem. The fact that he achieved neither a modern conception of quantity nor a modern understanding of curves, both of which are explicit in Descartes’ Geometry, is to be explained on this view “by an incomplete (...) symbolization rather than by any obstacle intrinsic in the system.” Descartes’ Geometry provides only a “clearer expression” of themes already sounded in Viète’s work, one that perfects Viète’s literal calculus and gives it “its modern form”; it merely continues the “‘new’ and ‘pure’ algebra which Viète first established as the ‘general analytic art’.” It can seem, furthermore, that this must be right, that had there been some obstacle intrinsic to Viète’s system that barred the way to a modern conception of quantity and a modern understanding of curves, then Descartes’ Geometry would have had to have taken a very different form than it did. As it was, Descartes had only to improve Viète’s symbolism, free himself of the last vestiges of the ancient view of geometrical and arithmetical objects, and apply the new symbolism to the study of curves in order to achieve what Viète did not but could have. But what, really, is the status of this “could have”; what would it actually have taken for Viète to achieve Descartes’ results in the Geometry? The interest of the question lies in its potential to better our understanding of the nature of modern mathematics. (shrink)

This paper reconstructs the Peircean interpretation of Kant's doctrine on the syntheticity of mathematics. Peirce correctly locates Kant's distinction in two different sources: Kant's lack of access to polyadic logic and, more interestingly, Kant's insight into the role of ingenious experiments required in theorem-proving. In this second respect, Kant's analytic/synthetic distinction is identical with the distinction Peirce discovered among types of mathematical reasoning. I contrast this Peircean theory with two other prominent views on Kant's syntheticity, i.e. the Russellian and the (...) Beckian views, and show how Peirce's interpretation of Kant solves the dilemma that each of these two views faces. I also show that Hintikka's criterion for Kant's synthetic judgments, i.e. a new individual introduced by the -instantiation rule, does not capture the most important characteristic of Peirce's theorematic reasoning, i.e. the process of choosing a correct individual. (shrink)

The most enlightening examination to date of the developments of Frege's thinking about his logic, this book introduces a new kind of logical language, one that ...