- Submit
-
Browse
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- More
Switch to: References
Citations of:
Add citations
You must login to add citations.
|
|
|
This paper aims to show that an examination of some passages in Aristotle’s work can contribute to the resolution of crucial problems related to the interpretation of ancient geometrical analysis. In this context, we will focus in particular on the famous passage of the Posterior Analytics in which Aristotle cryptically refers to the analysis practised by the geometers and we will show the fundamental importance of this passage for a correct understanding of ancient geometrical analysis. |
|
|
Most historians and philosophers of philosophy and history of mathematics hold one interpretation or the other of the nature of method of analysis and synthesis in itself and in its historical development. In this paper, I am trying to prove – through three points – that, in fact, there were two understandings of that method in Greek mathematics and philosophy, and which were reflected in Arabic mathematical science and philosophy; this reflection is considered as proof also of this double nature (...) |
|
|
This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study of deduction, without (...) |
|
|
ExtractDuring the second half of the twentieth century an attention of historians of mathematics shifted to mathematics of the Late Antiquity and its subsequent development by mathematicians of the Arabic world. Many critical editions of works of mathematicians of the Hellenistic era have made their appearance, giving rise to a new, more detailed historical picture. Among these are the critical editions of the works of Diophantus, Apollonius, Archimedes, Pappus, Diocles, and others.Send article to KindleTo send this article to your Kindle, (...) |
|
|
Dans un célèbre ouvrage surContemplation et Vie contemplative selon Platon, A.J. Festugière donnait de la dialectique platonicienne une interprétation selon laquelle celle-ci constituait une véritable expérience mystique possédant presque tous les traits de la contemplation chrétienne. La dialectique platonicienne y était présentée, surtout dans son acte final, comme une sorte d'extase, une union d'ordre mystique, un contact de l'âme perdue dans son objet, contact qui suscite en elle un sentiment qui dépasse tout l'ordre normal de la connaissance. Le Bien ou (...) |
|
|
The present form of mathematical logic originated in the twenties and early thirties from the partial merging of two different traditions, the algebra of logic and the logicist tradition (see [27], [41]). This resulted in a new form of logic in which several features of the two earlier traditions coexist. Clearly neither the algebra of logic nor the logicist’s logic is identical to the present form of mathematical logic, yet some of their basic ideas can be distinctly recognized within it. (...) |
|
|
The ancient Greek method of analysis has a rational reconstruction in the form of the tableau method of logical proof. This reconstruction shows that the format of analysis was largely determined by the requirement that proofs could be formulated by reference to geometrical figures. In problematic analysis, it has to be assumed not only that the theorem to be proved is true, but also that it is known. This means using epistemic logic, where instantiations of variables are typically allowed only (...) |
|
|
The Regress: Knowledge, we like to suppose, is essentially a rational thing: if I claim to know something, I must be prepared to back up my claim by statingmy reasons for making it;and if my claim is to be upheld, my reasons must begood reasons. Now suppose I know that Q; and let my reasons be conjunctively contained in the proposition that R. Clearly, I must believe that R ;equally clearly, I must know that R . Thus if I know (...) |
|
|
RésuméEn expliquant la relation entre hypothèses et images dans l'analogie de la ligne du livre Vl de laRépubliquede Platon, je m'attarde d'abordsur l'élucidation platonicienne de la nature des mathématiques telle que la conçoit le mathématicien lui-même. Je poursuis avec une critique des interprétations traditionnelles de cette relation, qui partent de l'assomption douteuse que les mathématiques s'occupent des Formes platoniciennes. Pour formuler mon point de vue sur cette relation, j'exploite la notion de «structure». Je montre comment les «hypothèses» comme principes de (...) |
|
|
Equally surprisingly, Descartes’s paranoid belief was shared by several contemporary mathematicians, among them Isaac Barrow, John Wallis and Edmund Halley. (Huxley 1959, pp. 354-355.) In the light of our fuller knowledge of history it is easy to smile at Descartes. It has even been argued by Netz that analysis was in fact for ancient Greek geometers a method of presenting their results (see Netz 2000). But in a deeper sense Descartes perceived something interesting in the historical record. We are looking (...) |
|
|
Although prima facie no more than a successful private detective, Sherlock Holmes is a classic exponent of scientific method and has laid down several fundamental rules of scientific discovery and truth?detection. While he rediscovered and modified well?known principles of induction, analysis and synthesis, and decision theory, he also made significant contributions to patterns of explanation, and with his ?principle of exclusion? was an ingenious innovator. This latter cornerstone of Holmes's methodology led him to an interesting modal theory of the ?improbable (...) |
|
|
|
|
|
|
|
|
Analyses in Greek geometry are traditionally seen as heuristic devices. However, many occurrences of analysis in formal treatises are difficult to justify in such terms. I show that Greek analysies of geometrics can also serve formal mathematical purposes, which are arguably incomplete without which their associated syntheses are arguably incomplete. Firstly, when the solution of a problem is preceded by an analysis, the analysis latter proves rigorously that there are no other solutions to the problem than those offered in the (...) |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6f97f49787-4dlf6 uwo