(1) An introduction to the principles of conceptual modelling, combinatorial heuristics and epistemological history; (2) the examination of a number of perennial epistemological-methodological schemata: conceptual spaces and blending theory; ars inveniendi and ars demonstrandi; the two modes of analysis and synthesis and their relationship to ars inveniendi; taxonomies and typologies as two fundamental epistemic structures; extended cognition, cognitio symbolica and model-based reasoning; (3) Plato’s notions of conceptual spaces, conceptual blending and hypothetical-analogical models (paradeigmata); (4) Ramon Llull’s concept analysis and combinatoric (...) spaces; (5) Gottfried Leibniz’s development of compositional analysis and synthesis as a general modelling method and a paradigm for ars inveniendi; (6) Fritz Zwicky’s revival of the morphological method of analysis and construction, and its subsequent computerised applications. (shrink)

Semantic analysis in early analytic philosophy belongs to a long tradition of adopting geometrical methodologies to the solution of philosophical problems. In particular, it adapts Descartes’ development of formalization as a mechanism of analytic representation, for its application in natural language semantics. This article aims to trace the mathematical roots of Frege, Russel and Carnap’s analytic method. Special attention is paid to the formal character of modern analysis introduced by Descartes. The goal is to identify the particular conception of “form” (...) developed by the analytic tradition, from Descartes to early analytic philosophy, and to determine its relation to similar notions, like ‘function’ and ‘syntax’. Finally, I focus on how Frege, Russell and Carnap’s methods of semantic analysis fit the general characterization of formal analysis previously developed. (shrink)

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)

'Reason, Causation and Compatibility with the Phenomena' strives to give answers to the philosophical problem of the interplay between realism, explanation and experience. This book is a compilation of essays that recollect significant conceptions of rival terms such as determinism and freedom, reason and appearance, power and knowledge. This title discusses the progress made in epistemology and natural philosophy, especially the steps that led from the ancient theory of atomism to the modern quantum theory, and from mathematization to analytic philosophy. (...) Moreover, it provides possible gateways from modern deadlocks of theory either through approaches to consciousness or through historical critique of intellectual authorities. This work will be of interest to those either researching or studying in colleges and universities, especially in the departments of philosophy, history of science, philosophy of science, philosophy of physics and quantum mechanics, history of ideas and culture. Greek and Latin Literature students and instructors may also find this book to be both a fascinating and valuable point of reference. (shrink)

This book examines the philosophical conception of abductive reasoning as developed by Charles S. Peirce, the founder of American pragmatism. It explores the historical and systematic connections of Peirce's original ideas and debates about their interpretations. Abduction is understood in a broad sense which covers the discovery and pursuit of hypotheses and inference to the best explanation. The analysis presents fresh insights into this notion of reasoning, which derives from effects to causes or from surprising observations to explanatory theories. The (...) author outlines some logical and AI approaches to abduction as well as studies various kinds of inverse problems in astronomy, physics, medicine, biology, and human sciences to provide examples of retroductions and abductions. The discussion covers also everyday examples with the implication of this notion in detective stories, one of Peirce’s own favorite themes. The author uses Bayesian probabilities to argue that explanatory abduction is a method of confirmation. He uses his own account of truth approximation to reformulate abduction as inference which leads to the truthlikeness of its conclusion. This allows a powerful abductive defense of scientific realism. This up-to-date survey and defense of the Peircean view of abduction may very well help researchers, students, and philosophers better understand the logic of truth-seeking. (shrink)

The question that is the subject of this article is not intended to be a sociological or statistical question about the practice of today’s mathematicians, but a philosophical question about the nature of mathematics, and specifically the method of mathematics. Since antiquity, saying that mathematics is problem solving has been an expression of the view that the method of mathematics is the analytic method, while saying that mathematics is theorem proving has been an expression of the view that the method (...) of mathematics is the axiomatic method. In this article it is argued that these two views of the mathematical method are really opposed. In order to answer the question whether mathematics is problem solving or theorem proving, the article retraces the Greek origins of the question and Hilbert’s answer. Then it argues that, by Gödel’s incompleteness results and other reasons, only the view that mathematics is problem solving is tenable. (shrink)

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)

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)

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)

Peter Anstey has suggested that in our analyses of early modern natural philosophy we should abandon a frequently used distinction: that between rationalism and empiricism. He argues that we should replace it with another distinction, that between experimental and speculative natural philosophy. The second distinction, he argues, was not only widely used at the time, but has a greater explanatory range. It follows, he suggests, that it is a better way of “carving up” the writings of that period.It is clear (...) that a distinction between experimental and speculative natural philosophy did become common in the late seventeenth-century. But I am less convinced that it is a useful one. This.. (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)

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)

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)