I elaborate in some detail on the First Book of Euclid's ``Elements'' and show that Euclid's theory of geometry is \underline{not} axiomatic in the modern sense but is construed differently. Then I show that the usual commonly accepted notion of axiomatic theory equally fails to account for today's mathematical theories. I provide some polemical arguments against the popular view according to which a good mathematical theory must be axiomatic and point to an alternative method of theory-building. Since my critique of (...) the core axiomatic method is constructive in its character I briefly observe known constructive approaches in the foundations of mathematics and describe the place of my proposal in this context. The main difference of my and earlier constructive proposals for foundations of mathematics appears to be the following: while earlier proposals deal with the issue of admissibility of some particular mathematical principles and like choice and some putative mathematical objects like infinite sets my proposal concerns the very method of theory-building. As a consequence, my proposal unlike earlier constructive proposals puts no restriction on the existing mathematical practice but rather suggests an alternative method of organizing this practice into a systematic theoretical form. In the concluding section of the paper I argue that the constructive mathematics better serves needs of mathematically-laden empirical sciences than the formalized mathematics. (shrink)

One of the hardest questions to answer for a (Neo)platonist is to what extent and how the changing and unreliable world of sense perception can itself be an object of scientific knowledge. My dissertation is a study of the answer given to that question by the Neoplatonist Proclus (Athens, 411-485) in his Commentary on Plato’s Timaeus. I present a new explanation of Proclus’ concept of nature and show that philosophy of nature consists of several related subdisciplines matching the ontological stratification (...) of nature. Moreover, I demonstrate that for Proclus philosophy of nature is a science, albeit a hypothetical one, which takes geometry as its methodological paradigm. I also offer an explanation of Proclus’ view of what is later called the mathematization of physics, i.e. the role of the substance of mathematics, as opposed to its method, in explaining the natural world. Finally, I discuss Proclus’ views of the discourse of philosophy of nature and its iconic character. (shrink)

At least since Socrates, philosophy has been understood as the desire for acquiring a special kind of knowledge, namely wisdom, a kind of knowledge that human beings ordinarily do not possess. According to ancient thinkers this desire may result from a variety of causes: wonder or astonishment, the bothersome or even painful realization that one lacks wisdom, or encountering certain hard perplexities or aporiai. As a result of this basic understanding of philosophy, Greek thinkers tended to regard philosophy as an (...) activity of inquiry (zētēsis) rather than as a specific discipline. Discussions concerning the right manner of engaging in philosophical inquiry – what methodoi or routes of inquiry were best suited to lead one to wisdom – became an integral part of ancient philosophy, as did the question how such manners or modes of inquiry are related to, and differ from, other types of inquiry, for instance medical or mathematical. In this special issue of History of Philosophy & Logical Analysis, we wish to concentrate in particular on ancient modes of inquiry. (shrink)

This paper gives a survey of the philosophy of science in Finland during the two decades 1970-90. Topics covered include the background (earlier studies by Eino Kaila, G. H. von Wright, and Jaakko Hintikka), the main areas of research (inductive logic, probability, truthlikeness, scientific theory, theory change, scientific realism, explanation and action, foundations of special disciplines), and the cultural impact of science studies.

The Latin edition of the Mathematicae Collectiones was published in print in 1588, thirteen years after Federico Commandino’s demise. For his Latin version of Pappus’s work, Comandino used two Greek codices, formerly identified by Treweek. In this article, another Greek manuscript, revised and annotated by Commandino, is revealed. Two letters from Commandino to Ettore Ausonio shed new light on the edition of Pappus’s Collectio and show the partnership between the two mathematicians in elaborating supplementary proofs to include in the comments. (...) Using these letters, we can date the first draft of the Latin version in the late 1560s. The posthumous edition of the Mathematicae Collectiones involved Commandino’s disciples and, in particular, Guidobaldo del Monte. The comparison between the manuscripts and the printed edition reveals an important role played by the disciple in revising the Latin translation of his master. (shrink)

In recent years, the growing scientific interest in design has led to great advances in our knowledge of authentic design processes. However, as these findings go counter to the existing theories in both design research and cognitive science, they pose a serious challenge for both disciplines: there is a wide gap between what the existing theories predict and what designers actually do. At the same time, there is a growing movement of research on authentic cognitive activities, which has among other (...) things documented the central roles of action and the physical environment in these activities, something that existing cognitive theories have overlooked and cannot properly account for. This creates an explanatory gap analogous to the one found in design. This book aims to fill both of these gaps with a cognitive theory of how designers work. It revolves around the roles of physical activities and working materials in design, and the theory explains at length how these have functions that are essential to cognition. The two threads of design and cognition run in parallel throughout the book: the cognitive theory is applied to design, but is also consistently related to cognition in general. The result is, in back cover text parlance, a 'provocative' account of cognition and human performance, which should be of interest to cognitive scientists as well as to design researchers. (shrink)

In order to understand Hegel's approach to philosophy, we need to ask why, and how, he reacts to the well-known criticism of German Romantics, like Novalis and Friedrich Schlegel, against philosophical system building in general, and against Kant's system in particular. Hegel's encyclopedic system is a topical ordering of categorically different ontological realms, corresponding to different conceptual forms of representation and knowledge. All in all it turns into a systematic defense of Fichte's doctrine concerning the primacy of us as actors (...) with respect to any knowledge claim or scientific theory. Hegel's limitations of the principle of causality and of the possibility of using mathematical methods in science show, in fact, how a merely compatibilist solution of Kant's third antinomy can be overcome. (shrink)

I present a systematic interpretation of the foundational purpose of constructions in ancient Greek geometry. I argue that Greek geometers were committed to an operationalist foundational program, according to which all of mathematics—including its entire ontology and epistemology—is based entirely on concrete physical constructions. On this reading, key foundational aspects of Greek geometry are analogous to core tenets of 20th-century operationalist/positivist/constructivist/intuitionist philosophy of science and mathematics. Operationalism provides coherent answers to a range of traditional philosophical problems regarding classical mathematics, such (...) as the epistemic warrant and generality of diagrammatic reasoning, superposition, and the relation between constructivism and proof by contradiction. Alleged logical flaws in Euclid can be interpreted as sound operationalist reasoning. Operationalism also provides a compelling philosophical motivation for the otherwise inexplicable Greek obsession with cube duplication, angle trisection, and circle quadrature. Operationalism makes coherent sense of numerous specific choices made in this tradition, and suggests new interpretations of several solutions to these problems. In particular, I argue that: Archytas’s cube duplication was originally a single-motion machine; Diocles’s cissoid was originally traced by a linkage device; Greek conic section theory was thoroughly constructive, based on the conic compass; in a few cases, string-based constructions of conic sections were used instead; pointwise constructions of curves were rejected in foundational contexts by Greek mathematicians, with good reason. Operationalism enables us to view the classical geometrical tradition as a more unified and philosophically aware enterprise than has hitherto been recognised. (shrink)

In this paper, we provide a detailed critical review of current approaches to ecthesis in Aristotle’s Prior Analytics, with a view to motivate a new approach, which builds upon previous work by Marion & Rückert (2016) on the dictum de omni. This approach sets Aristotle’s work within the context of dialectic and uses Lorenzen’s dialogical logic, hereby reframed with use of Martin-Löf's constructive type theory as ‘immanent reasoning’. We then provide rules of syllogistic for the latter, and provide proofs of (...) e-conversion, Darapti and Bocardo and e-subalternation, while showing how close to Aristotle’s text these proofs remain. (shrink)

This dissertation offers a new and comprehensive analysis of Abū Naṣr al-Fārābī's cosmology by focusing on various important issues that have been largely neglected by the modern scholarship. It provides an examination of the physical, metaphysical, and astronomical aspects of al-Fārābī's cosmology by adopting a multidisciplinary approach that takes into account the history of philosophy and the history of astronomy. Accordingly, my dissertation explores how al-Fārābī attempted to reconcile features of Ptolemaic astronomy with Aristotelian and Neoplatonic theories, an endeavor which (...) resulted in the formulation of innovative cosmological ideas. Chapters I and II provide background information on al-Fārābī's activity as a commentator and his relation to the Greek commentatorial tradition and assess the relevant primary sources. In addition, they examine al-Fārābī's approach to cosmology and his scientific method in terms of both the Ptolemaic astronomical tradition and the Aristotelian corpus. Chapter III addresses problems related to the structure of al-Fārābī's cosmology, especially the origin of his ennadic cosmological model and his spherology. Particular attention is devoted to the question of how Aristotle's unmoved movers and Ptolemy's astronomical theories are reconciled. Chapters IV, V, and VI analyze the place of celestial matter, intellect, and motion respectively in al-Fārābī's cosmology and attempt to redefine the second teacher's relation to the various trends of Greek philosophy. The study stresses al-Fārābī's connection with the Neoplatonic and Peripatetic currents, particularly with thinkers such as Alexander of Aphrod. (shrink)

Analysis has always been at the heart of philosophical method, but it has been understood and practised in many different ways. Perhaps, in its broadest sense, it might be defined as a process of isolating or working back to what is more fundamental by means of which something, initially taken as given, can be explained or reconstructed. The explanation or reconstruction is often then exhibited in a corresponding process of synthesis. This allows great variation in specific method, however. The aim (...) may be to get back to basics, but there may be all sorts of ways of doing this, each of which might be called ‘analysis’. The dominance of ‘analytic’ philosophy in the Englishspeaking world, and increasingly now in the rest of the world, might suggest that a consensus has formed concerning the role and importance of analysis. This assumes, though, that there is agreement on what ‘analysis’ means, and this is far from clear. On the other hand, Wittgenstein's later critique of analysis in the early (logical atomist) period of analytic philosophy, and Quine's attack on the analytic-synthetic distinction, for example, have led some to claim that we are now in a ‘post-analytic’ age. Such criticisms, however, are only directed at particular conceptions of analysis. If we look at the history of philosophy, and even if we just look at the history of analytic philosophy, we find a rich and extensive repertoire of conceptions of analysis which philosophers have continually drawn upon and reconfigured in different ways. Analytic philosophy is alive and well precisely because of the range of conceptions of analysis that it involves. It may have fragmented into various interlocking subtraditions, but those subtraditions are held together by both their shared history and their methodological interconnections. It is the aim of this article to indicate something of.. (shrink)

The question of whether mathematics depends on experience, including experience of the external world, is problematic because, while it is clear that natural sciences depend on experience, it is not clear that mathematics depends on experience. Indeed, several mathematicians and philosophers think that mathematics does not depend on experience, and this is also the view of mainstream philosophy of mathematics. However, this view has had a deleterious effect on the philosophy of mathematics. This article argues that, in fact, the view (...) is not valid. Mathematics depends on experience because experience influences the making of mathematics, indeed much mathematics arises from experience and is evaluated on the basis of experience. (shrink)

An aim of science is to find truths about reality. These truths are collected together to form systematic knowledge structures called theories. Theories are intended to create a truthful picture of the reality behind the study. Together with all the other fields of science we get a scientific picture or a world view. This scientific world view is open in the sense that not all truths are known by scientists and not all present day theories are true. So, there is (...) no reason to assume that any field of science has been or will be completed; science is essentially progressive, or an open ended approach. Science is not the only method of picturing, but the view that science is the best human method for knowledge acquisition is well justified. Knowledge is not all we humans are looking for; we need to make our lives meaningful. The meaningfulness may be achieved through science, art, or practical activity. It is interesting to compare literature and science. Both are expressed linguistically, but the aims of literature and science seem to be very different. We are looking for the theoretical interconnection between science and literature, but the proper dialogue can be found not through science, literature or philosophy, but through pedagogy. (shrink)

The paper contends that neoclassical ideology stems, to a great extent, from mathematical analysis. It is suggested that mainstream economic thought can be comprehensively revisited if both histories of mathematical and economic thought are to be taken collaboratively into account. Ideology is understood as a 'social construction of reality' that prevents us from evaluating our own standpoint, and impedes us from realising our value judgments as well as our theories of society and nature. However, the mid-19th century's intellectual controversies about (...) the validity of mathematical thought, truth and knowledge can procure new interesting insights concerning the ideological stance of the first marginalists. In this respect, the methodological categories of analysis and synthesis serve as the basis for the crucial distinction between old geometry and mathematical analysis, indicating that the discipline of mathematics has its own history of fundamentally unresolved disputes. Lastly, this may also shed some light on Alfred Marshall's peculiarly reluctant attitude towards the use of mathematical analysis in his work. (shrink)

This paper is a contribution to our understanding of the technical concept of given in Greek mathematical texts. By working through mathematical arguments by Menaechmus, Euclid, Apollonius, Heron and Ptolemy, I elucidate the meaning of given in various mathematical practices. I next show how the concept of given is related to the terms discussed by Marinus in his philosophical discussion of Euclid’s Data. I will argue that what is given does not simply exist, but can be unproblematically assumed or produced (...) through some effective procedure. Arguments by givens are shown to be general claims about constructibility and computability. The claim that an object is given is related to our concept of an assignment—what is given is available in some uniquely determined, or determinable, way for future mathematical work. (shrink)