The narrative develops itself through the perspective of someone who sees Mathematics, Physics, Geometry, etc, as a sequence of logical steps.

Girolamo Saccheri (1667--1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. He earned a permanent place in the history of mathematics by discovering and rigorously deducing an elaborate chain of consequences of an axiom-set for what is now known as hyperbolic (or Lobachevskian) plane geometry. Reviewer's remarks: (1) On two pages of this book Saccheri refers to his previous and equally original book Logica demonstrativa (Turin, 1697) to which 14 of the 16 pages of the editor's "Introduction" are devoted. (...) At the time of the first edition, 1920, the editor was apparently not acquainted with the secondary literature on Logica demonstrativa which continued to grow in the period preceding the second edition \ref[see D. J. Struik, in Dictionary of scientific biography, Vol. 12, 55--57, Scribner's, New York, 1975]. Of special interest in this connection is a series of three articles by A. F. Emch [Scripta Math. 3 (1935), 51--60; Zbl 10, 386; ibid. 3 (1935), 143--152; Zbl 11, 193; ibid. 3 (1935), 221--333; Zbl 12, 98]. (2) It seems curious that modern writers believe that demonstration of the "nondeducibility" of the parallel postulate vindicates Euclid whereas at first Saccheri seems to have thought that demonstration of its "deducibility" is what would vindicate Euclid. Saccheri is perfectly clear in his commitment to the ancient (and now discredited) view that it is wrong to take as an "axiom" a proposition which is not a "primal verity", which is not "known through itself". So it would seem that Saccheri should think that he was convicting Euclid of error by deducing the parallel postulate. The resolution of this confusion is that Saccheri thought that he had proved, not merely that the parallel postulate was true, but that it was a "primal verity" and, thus, that Euclid was correct in taking it as an "axiom". As implausible as this claim about Saccheri may seem, the passage on p. 237, lines 3--15, seems to admit of no other interpretation. Indeed, Emch takes it this way. (3) As has been noted by many others, Saccheri was fascinated, if not obsessed, by what may be called "reflexive indirect deductions", indirect deductions which show that a conclusion follows from given premises by a chain of reasoning beginning with the given premises augmented by the denial of the desired conclusion and ending with the conclusion itself. It is obvious, of course, that this is simply a species of ordinary indirect deduction; a conclusion follows from given premises if a contradiction is deducible from those given premises augmented by the denial of the conclusion---and it is immaterial whether the contradiction involves one of the premises, the denial of the conclusion, or even, as often happens, intermediate propositions distinct from the given premises and the denial of the conclusion. Saccheri seemed to think that a proposition proved in this way was deduced from its own denial and, thus, that its denial was self-contradictory (p. 207). Inference from this mistake to the idea that propositions proved in this way are "primal verities" would involve yet another confusion. The reviewer gratefully acknowledges extensive communication with his former doctoral students J. Gasser and M. Scanlan. ADDED 14 March 14, 2015: (1) Wikipedia reports that many of Saccheri's ideas have a precedent in the 11th Century Persian polymath Omar Khayyám's Discussion of Difficulties in Euclid, a fact ignored in most Western sources until recently. It is unclear whether Saccheri had access to this work in translation, or developed his ideas independently. (2) This book is another exemplification of the huge difference between indirect deduction and indirect reduction. Indirect deduction requires making an assumption that is inconsistent with the premises previously adopted. This means that the reasoner must perform a certain mental act of assuming a certain proposition. It case the premises are all known truths, indirect deduction—which would then be indirect proof—requires the reasoner to assume a falsehood. This fact has been noted by several prominent mathematicians including Hardy, Hilbert, and Tarski. Indirect reduction requires no new assumption. Indirect reduction is simply a transformation of an argument in one form into another argument in a different form. In an indirect reduction one proposition in the old premise set is replaced by the contradictory opposite of the old conclusion and the new conclusion becomes the contradictory opposite of the replaced premise. Roughly and schematically, P,Q/R becomes P,~R/~Q or ~R, Q/~P. Saccheri’s work involved indirect deduction not indirect reduction. (3) The distinction between indirect deduction and indirect reduction has largely slipped through the cracks, the cracks between medieval-oriented logic and modern-oriented logic. The medievalists have a heavy investment in reduction and, though they have heard of deduction, they think that deduction is a form of reduction, or vice versa, or in some cases they think that the word ‘deduction’ is the modern way of referring to reduction. The modernists have no interest in reduction, i.e. in the process of transforming one argument into another having exactly the same number of premises. Modern logicians, like Aristotle, are concerned with deducing a single proposition from a set of propositions. Some focus on deducing a single proposition from the null set—something difficult to relate to reduction. (shrink)

A guide to the first steps into the world of Geometry, Trigonometry and their lines-of-reasoning widely used through the high school and first years of college, in the exact-sciences context.

We present an approach in which ancient Greek mathematical proofs by Hippocrates of Chios and Euclid are addressed as a form of (guided) intentional reasoning. Schematically, in a proof, we start with a sentence that works as a premise; this sentence is followed by another, the conclusion of what we might take to be an inferential step. That goes on until the last conclusion is reached. Guided by the text, we go through small inferential steps; in each one, (...) we go through an autonomous reasoning process linking the premise to the conclusion. The reasoning process is accompanied by a metareasoning process. Metareasoning gives rise to a feeling-knowing of correctness. In each step/cycle of the proof, we have a feeling-knowing of correctness. Overall, we reach a feeling of correctness for the whole proof. We suggest that this approach allows us to address the issues of how a proof functions, for us, as an enabler to ascertain the correctness of its argument and how we ascertain this correctness. (shrink)

The traditional view of evidence in mathematics is that evidence is just proof and proof is just derivation. There are good reasons for thinking that this view should be rejected: it misrepresents both historical and current mathematical practice. Nonetheless, evidence, proof, and derivation are closely intertwined. This paper seeks to tease these concepts apart. It emphasizes the role of argumentation as a context shared by evidence, proofs, and derivations. The utility of argumentation theory, in general, and argumentation schemes, in (...) particular, as a methodology for the study of mathematical practice is thereby demonstrated. Argumentation schemes represent an almost untapped resource for mathematics education. Notably, they provide a consistent treatment of rigorous and non-rigorous argumentation, thereby working to exhibit the continuity of reasoning in mathematics with reasoning in other areas. Moreover, since argumentation schemes are a comparatively mature methodology, there is a substantial body of existing work to draw upon, including some increasingly sophisticated software tools. Such tools have significant potential for the analysis and evaluation of mathematical argumentation. The first four sections of the paper address the relationships of evidence to proof, proof to derivation, argument to proof, and argument to evidence, respectively. The final section directly addresses some of the educational implications of an argumentation scheme account of mathematical reasoning. (shrink)

Mathematicians distinguish between proofs that explain their results and those that merely prove. This paper explores the nature of explanatory proofs, their role in mathematical practice, and some of the reasons why philosophers should care about them. Among the questions addressed are the following: what kinds of proofs are generally explanatory (or not)? What makes a proof explanatory? Do all mathematical explanations involve proof in an essential way? Are there really such things as explanatory proofs, and if so, (...) how do they relate to the sorts of explanation encountered in philosophy of science and metaphysics? (shrink)

The published works of scientists often conceal the cognitive processes that led to their results. Scholars of mathematical practice must therefore seek out less obvious sources. This article analyzes a widely circulated mathematical joke, comprising a list of spurious proof types. An account is proposed in terms of argumentation schemes: stereotypical patterns of reasoning, which may be accompanied by critical questions itemizing possible lines of defeat. It is argued that humor is associated with risky forms of (...) inference, which are essential to creative mathematics. The components of the joke are explicated by argumentation schemes devised for application to topic-neutral reasoning. These in turn are classified under seven headings: retroduction, citation, intuition, meta-argument, closure, generalization, and definition. Finally, the wider significance of this account for the cognitive science of mathematics is discussed. (shrink)

Andrew Wiles' analytic proof of Fermat's Last Theorem FLT, which appeals to geometrical properties of real and complex numbers, leaves two questions unanswered: (i) What technique might Fermat have used that led him to, even if only briefly, believe he had `a truly marvellous demonstration' of FLT? (ii) Why is x^n+y^n=z^n solvable only for n<3? In this inter-disciplinary perspective, we offer insight into, and answers to, both queries; yielding a pre-formal proof of why FLT can be treated as a true (...) arithmetical proposition (one which, moreover, might not be provable formally in the first-order Peano Arithmetic PA), where we admit only elementary (i.e., number-theoretic) reasoning, without appeal to analytic properties of real and complex numbers. We cogently argue, further, that any formal proof of FLT needs---as is implicitly suggested by Wiles' proof---to appeal essentially to formal geometrical properties of formal arithmetical propositions. (shrink)

Conventional wisdom dictates that proofs of mathematical propositions should be treated as necessary, and sufficient, for entailing `significant' mathematical truths only if the proofs are expressed in a---minimally, deemed consistent---formal mathematical theory in terms of: * Axioms/Axiom schemas * Rules of Deduction * Definitions * Lemmas * Theorems * Corollaries. Whilst Andrew Wiles' proof of Fermat's Last Theorem FLT, which appeals essentially to geometrical properties of real and complex numbers, can be treated as meeting this criteria, it (...) nevertheless leaves two questions unanswered: (i) Why is x^n +y^n = z^n solvable only for n < 3 if x, y, z, n are natural numbers? (ii) What technique might Fermat have used that led him to, even if only briefly, believe he had `a truly marvellous demonstration' of FLT? Prevailing post-Wiles wisdom---leaving (i) essentially unaddressed---dismisses Fermat's claim as a conjecture without a plausible proof of FLT. -/- However, we posit that providing evidence-based answers to both queries is necessary not only for treating FLT as significant, but also for understanding why FLT can be treated as a true arithmetical proposition. We thus argue that proving a theorem formally from explicit, and implicit, premises/axioms using rules of deduction---as currently accepted---is a meaningless game, of little scientific value, in the absence of evidence that has already established---unambiguously---why the premises/axioms and rules of deduction can be treated, and categorically communicated, as pre-formal truths in Marcus Pantsar's sense. Consequently, only evidence-based, pre-formal, truth can entail formal provability; and the formal proof of any significant mathematical theorem cannot entail its pre-formal truth as evidence-based. It can only identify the explicit/implicit premises that have been used to evidence the, already established, pre-formal truth of a mathematical proposition. Hence visualising and understanding the evidence-based, pre-formal, truth of a mathematical proposition is the only raison d'etre for subsequently seeking a formal proof of the proposition within a formal mathematical language (whether first-order or second order set theory, arithmetic, geometry, etc.) By this yardstick Andrew Wiles' proof of FLT fails to meet the required, evidence-based, criteria for entailing a true arithmetical proposition. -/- Moreover, we offer two scenarios as to why/how Fermat could have laconically concluded in his recorded marginal noting that FLT is a true arithmetical proposition---even though he either did not (or could not to his own satisfaction) succeed in cogently evidencing, and recording, why FLT can be treated as an evidence-based, pre-formal, arithmetical truth (presumably without appeal to properties of real and complex numbers). It is primarily such a putative, unrecorded, evidence-based reasoning underlying Fermat's laconic assertion which this investigation seeks to reconstruct; and to justify by appeal to a plausible resolution of some philosophical ambiguities concerning the relation between evidence-based, pre-formal, truth and formal provability. (shrink)

It is commonly thought that such topics as Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason are disparate scientific physical or mathematical issues having little or nothing in common. I suggest that they are largely standard philosophical problems (i.e., language games) which were resolved by Wittgenstein over 80 years ago. -/- Wittgenstein also demonstrated the fatal error in regarding mathematics or language or our behavior in general as a unitary coherent logical ‘system,’ rather than (...) as a motley of pieces assembled by the random processes of natural selection. “Gödel shows us an unclarity in the concept of ‘mathematics’, which is indicated by the fact that mathematics is taken to be a system” and we can say (contra nearly everyone) that is all that Gödel and Chaitin show. Wittgenstein commented many times that ‘truth’ in math means axioms or the theorems derived from axioms, and ‘false’ means that one made a mistake in using the definitions, and this is utterly different from empirical matters where one applies a test. Wittgenstein often noted that to be acceptable as mathematics in the usual sense, it must be useable in other proofs and it must have real world applications, but neither is the case with Godel’s Incompleteness. Since it cannot be proved in a consistent system (here Peano Arithmetic but a much wider arena for Chaitin), it cannot be used in proofs and, unlike all the ‘rest’ of PA it cannot be used in the real world either. As Rodych notes “…Wittgenstein holds that a formal calculus is only a mathematical calculus (i.e., a mathematical language-game) if it has an extra- systemic application in a system of contingent propositions (e.g., in ordinary counting and measuring or in physics) …” Another way to say this is that one needs a warrant to apply our normal use of words like ‘proof’, ‘proposition’, ‘true’, ‘incomplete’, ‘number’, and ‘mathematics’ to a result in the tangle of games created with ‘numbers’ and ‘plus’ and ‘minus’ signs etc., and with -/- ‘Incompleteness’ this warrant is lacking. Rodych sums it up admirably. “On Wittgenstein’s account, there is no such thing as an incomplete mathematical calculus because ‘in mathematics, everything is algorithm [and syntax] and nothing is meaning [semantics]…” -/- I make some brief remarks which note the similarities of these ‘mathematical’ issues to economics, physics, game theory, and decision theory. -/- Those wishing further comments on philosophy and science from a Wittgensteinian two systems of thought viewpoint may consult my other writings -- Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle 2nd ed (2019), Suicide by Democracy 4th ed (2019), The Logical Structure of Human Behavior (2019), The Logical Structure of Consciousness (2019, Understanding the Connections between Science, Philosophy, Psychology, Religion, Politics, and Economics and Suicidal Utopian Delusions in the 21st Century 5th ed (2019), Remarks on Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason in Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, da Costa, Godel, Searle, Rodych, Berto, Floyd, Moyal-Sharrock and Yanofsky (2019), and The Logical Structure of Philosophy, Psychology, Sociology, Anthropology, Religion, Politics, Economics, Literature and History (2019). (shrink)

Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning (...) showing by deductively evident steps that its conclusion is a consequence of its premises. In particular, a demonstration is a deduction whose premises are known to be true. Aristotle's general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction-chaining conception of deduction was meant to apply to all deductions. According to him, any deduction that is not immediately evident is an extended argumentation that involves a chaining of intermediate immediately evident steps that shows its final conclusion to follow logically from its premises. To illustrate his general theory of deduction, he presented an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. (shrink)

Logical and philosophical literature provides different classifications of reasoning. In the Polish literature on the subject, for instance, there are three popular ones accepted by representatives of the Lvov-Warsaw School: Jan Łukasiewicz, Tadeusz Czeżowski and Kazimierz Ajdukiewicz (Ajdukiewicz in Logika pragmatyczna [Pragmatic Logic]. PWN, Warsaw (1965, 2nd ed. 1974). Translated as: Pragmatic Logic. Reidel & PWN, Dordrecht, 1975). The author of this paper, having modified those classifications, distinguished the following types of reasoning: (1) deductive and (2) non-deductive, and (...) additionally two types of them in each of the two, depending on the manner of combining their premises with the conclusion through the relation of classical logical entailment. Consequently, the four types of reasoning: unilateral deductive (incl. its sub-types: deductive inference and proof), bilateral deductive (incl. complete induction), and reductive (incl. the sub-types: explanation and verification), logically nonvaluable (incl. inference by analogy, statistic inference), correspond to four operators of derivability. They are defined formally on the ground of Tarski’s axiomatic theory of deductive systems, by means of the consequence operation _Cn_ (Tarski in Monatshefte Math Phys 37:361–404, 1930a, C R Soc Sci Lett Vars 23:22–29, 1930b). Also, certain metalogical properties of these operators are given, as well as their relations with Tarski’s consequence operations \(Cn^+\) ( \(Cn^+ = Cn\) ) and dual consequences \(Cn^{-1}\) (Słupecki in Zeszyty Naukowe Uniwersytetu Wrocławskiego Seria B Nr 3:33–40, 1959, Słupecki et al. in Stud Log 29:76–123, 1971, Wybraniec-Skardowska, in: Wybraniec-Skardowska, Bryll (eds) Z badań nad teorią zdań odrzuconych [Studies in the Theory of Rejected Propositions], Series B, Studia i Monografie, Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Opole, 1969), and \(Cn^-\) (Wójcicki in Bull Sect Log 2(2):54–57, 1973)). (shrink)

Trust has a great potential for furthering our understanding of organizational change and learning. This potential however remains largely untapped. It is argued that two reasons as for why this potential remains unrealized are: (i) A narrow conceptualization of change as implementation and (ii) an emphasis on direct and aggregated effects of individual trust to the exclusion of other effects. It is further suggested that our understanding of the effects of trust on organizational change, should benefit from including effects of (...) trust on the formulation stage. It should also benefit from exploring the structuring effects of trust in organizations. Throughout this chapter, ways to extend current research on trust in organizations are suggested. The chapter also provides examples of relevant contributions where available. In order to capture organizational effects of trust, it is suggested that trust should be studied over longer time intervals, and include several referents of trust, spanning both horizontal and vertical relationships in the organization. (shrink)

A Mathematical Review by John Corcoran, SUNY/Buffalo -/- Macbeth, Danielle Diagrammatic reasoning in Frege's Begriffsschrift. Synthese 186 (2012), no. 1, 289–314. ABSTRACT This review begins with two quotations from the paper: its abstract and the first paragraph of the conclusion. The point of the quotations is to make clear by the “give-them-enough-rope” strategy how murky, incompetent, and badly written the paper is. I know I am asking a lot, but I have to ask you to read the quoted (...) passages—aloud if possible. Don’t miss the silly attempt to recycle Kant’s quip “Concepts without intuitions are empty; intuitions without concepts are blind”. What the paper was aiming at includes the absurdity: “Proofs without definitions are empty; definitions without proofs are, if not blind, then dumb.” But the author even bollixed this. The editor didn’t even notice. The copy-editor missed it. And the author’s proof-reading did not catch it. In order not to torment you I will quote the sentence as it appears: “In a slogan: proofs without definitions are empty, merely the aimless manipulation of signs according to rules; and definitions without proofs are, if no blind, then dumb.”[sic] The rest of my review discusses the paper’s astounding misattribution to contemporary logicians of the information-theoretic approach. This approach was cruelly trashed by Quine in his 1970 Philosophy of Logic, and thereafter ignored by every text I know of. The paper under review attributes generally to modern philosophers and logicians views that were never espoused by any of the prominent logicians—such as Hilbert, Gödel, Tarski, Church, and Quine—apparently in an attempt to distance them from Frege: the focus of the article. On page 310 we find the following paragraph. “In our logics it is assumed that inference potential is given by truth-conditions. Hence, we think, deduction can be nothing more than a matter of making explicit information that is already contained in one’s premises. If the deduction is valid then the information contained in the conclusion must be contained already in the premises; if that information is not contained already in the premises […], then the argument cannot be valid.” Although the paper is meticulous in citing supporting literature for less questionable points, no references are given for this. In fact, the view that deduction is the making explicit of information that is only implicit in premises has not been espoused by any standard symbolic logic books. It has only recently been articulated by a small number of philosophical logicians from a younger generation, for example, in the prize-winning essay by J. Sagüillo, Methodological practice and complementary concepts of logical consequence: Tarski’s model-theoretic consequence and Corcoran’s information-theoretic consequence, History and Philosophy of Logic, 30 (2009), pp. 21–48. The paper omits definitions of key terms including ‘ampliative’, ‘explicatory’, ‘inference potential’, ‘truth-condition’, and ‘information’. The definition of prime number on page 292 is as follows: “To say that a number is prime is to say that it is not divisible without remainder by another number”. This would make one be the only prime number. The paper being reviewed had the benefit of two anonymous referees who contributed “very helpful comments on an earlier draft”. Could these anonymous referees have read the paper? -/- J. Corcoran, U of Buffalo, SUNY -/- PS By the way, if anyone has a paper that has been turned down by other journals, any journal that would publish something like this might be worth trying. (shrink)

Aristotle divided arguments that persuade into the rhetorical (which happen to persuade), the dialectical (which are strong so ought to persuade to some degree) and the demonstrative (which must persuade if rightly understood). Dialectical arguments were long neglected, partly because Aristotle did not write a book about them. But in the sixteenth and seventeenth century late scholastic authors such as Medina, Cano and Soto developed a sound theory of probable arguments, those that have logical and not merely psychological force but (...) fall short of demonstration. Informed by late medieval treatments of the law of evidence and problems in moral theology and aleatory contracts, they considered the reasons that could render legal, moral, theological, commercial and historical arguments strong though not demonstrative. At the same time, demonstrative arguments became better understood as Galileo and other figures of the Scientific Revolution used mathematical proof in arguments in physics. Galileo moved both dialectical and demonstrative arguments into mathematical territory. (shrink)

1971. Discourse Grammars and the Structure of Mathematical Reasoning II: The Nature of a Correct Theory of Proof and Its Value, Journal of Structural Learning 3, #2, 1–16. REPRINTED 1976. Structural Learning II Issues and Approaches, ed. J. Scandura, Gordon & Breach Science Publishers, New York, MR56#15263. -/- This is the second of a series of three articles dealing with application of linguistics and logic to the study of mathematical reasoning, especially in the setting of a (...) concern for improvement of mathematical education. The present article presupposes the previous one. Herein we develop our ideas of the purposes of a theory of proof and the criterion of success to be applied to such theories. In addition we speculate at length concerning the specific kinds of uses to which a successful theory of proof may be put vis-a-vis improvement of various aspects of mathematical education. The final article will deal with the construction of such a theory. The 1st is the 1971. Discourse Grammars and the Structure of Mathematical Reasoning I: Mathematical Reasoning and Stratification of Language, Journal of Structural Learning 3, #1, 55–74. https://www.academia.edu/s/fb081b1886?source=link . (shrink)

ABSTRACT This part of the series has a dual purpose. In the first place we will discuss two kinds of theories of proof. The first kind will be called a theory of linear proof. The second has been called a theory of suppositional proof. The term "natural deduction" has often and correctly been used to refer to the second kind of theory, but I shall not do so here because many of the theories so-called are not of the second kind--they (...) must be thought of either as disguised linear theories or theories of a third kind (see postscript below). The second purpose of this part is 25 to develop some of the main ideas needed in constructing a comprehensive theory of proof. The reason for choosing the linear and suppositional theories for this purpose is because the linear theory includes only rules of a very simple nature, and the suppositional theory can be seen as the result of making the linear theory more comprehensive. CORRECTION: At the time these articles were written the word ‘proof’ especially in the phrase ‘proof from hypotheses’ was widely used to refer to what were earlier and are now called deductions. I ask your forgiveness. I have forgiven Church and Henkin who misled me. (shrink)

Notes from a quick course of 4 weeks, emphasizing the importance of proofs in an introductory course on logarithm, for high school students.

In mathematics, any form of probabilistic proof obtained through the application of a probabilistic method is not considered as a legitimate way of gaining mathematical knowledge. In a series of papers, Don Fallis has defended the thesis that there are no epistemic reasons justifying mathematicians’ rejection of probabilistic proofs. This paper identifies such an epistemic reason. More specifically, it is argued here that if one adopts a conception of mathematical knowledge in which an epistemic subject can know a (...) mathematical proposition based solely on a probabilistic proof, one is then forced to admit that such an epistemic subject can know several lottery propositions based solely on probabilistic evidence. Insofar as knowledge of lottery propositions on the basis of probabilistic evidence alone is denied by the vast majority of epistemologists, it is concluded that this constitutes an epistemic reason for rejecting probabilistic proofs as a means of acquiring mathematical knowledge. (shrink)

Chains of causes appear when the existence of God is discussed. It is claimed by some that these chains must be finite and terminated by God. But these chains seem endless through our knowledge search. This endlessness for the physical reasons for any world event expresses the greatness and complexity of God’s creation and so the transcendence of God. So, only we can put our hands on physical reasons in an endless forage for knowledge. Yet, the endlessness of the physical (...) causes chains confirms the existence of God, and this is what our paper tries using Zorn’s lemma, an equivalent for one of the most celebrated axioms of mathematics, the Axiom of Choice. (shrink)

A principle, according to which any scientific theory can be mathematized, is investigated. Social science, liberal arts, history, and philosophy are meant first of all. That kind of theory is presupposed to be a consistent text, which can be exhaustedly represented by a certain mathematical structure constructively. In thus used, the term “theory” includes all hypotheses as yet unconfirmed as already rejected. The investigation of the sketch of a possible proof of the principle demonstrates that it should be accepted (...) rather a metamathematical axiom about the relation of mathematics and reality. The main statement is formulated as follows: Any scientific theory admits isomorphism to some mathematical structure in a way constructive. Its investigation needs philosophical means. Husserl’s phenomenology is what is used, and then the conception of “bracketing reality” is modelled to generalize Peano arithmetic in its relation to set theory in the foundation of mathematics. The obtained model is equivalent to the generalization of Peano arithmetic by means of replacing the axiom of induction with that of transfinite induction. The sketch of the proof is organized in five steps: a generalization of epoché; involving transfinite induction in the transition between Peano arithmetic and set theory; discussing the finiteness of Peano arithmetic; applying transfinite induction to Peano arithmetic; discussing an arithmetical model of reality. Accepting or rejecting the principle, two kinds of mathematics appear differing from each other by its relation to reality. Accepting the principle, mathematics has to include reality within itself in a kind of Pythagoreanism. These two kinds are called in paper correspondingly Hilbert mathematics and Gödel mathematics. The sketch of the proof of the principle demonstrates that the generalization of Peano arithmetic as above can be interpreted as a model of Hilbert mathematics into Gödel mathematics therefore showing that the former is not less consistent than the latter, and the principle is an independent axiom. The present paper follows a pathway grounded on Husserl’s phenomenology and “bracketing reality” to achieve the generalized arithmetic necessary for the principle to be founded in alternative ontology, in which there is no reality external to mathematics: reality is included within mathematics. That latter mathematics is able to self-found itself and can be called Hilbert mathematics in honour of Hilbert’s program for self-founding mathematics on the base of arithmetic. The principle of universal mathematizability is consistent to Hilbert mathematics, but not to Gödel mathematics. Consequently, its validity or rejection would resolve the problem which mathematics refers to our being; and vice versa: the choice between them for different reasons would confirm or refuse the principle as to the being. An information interpretation of Hilbert mathematics is involved. It is a kind of ontology of information. The Schrödinger equation in quantum mechanics is involved to illustrate that ontology. Thus the problem which of the two mathematics is more relevant to our being is discussed again in a new way A few directions for future work can be: a rigorous formal proof of the principle as an independent axiom; the further development of information ontology consistent to both kinds of mathematics, but much more natural for Hilbert mathematics; the development of the information interpretation of quantum mechanics as a mathematical one for information ontology and thus Hilbert mathematics; the description of consciousness in terms of information ontology. (shrink)

Attacks the irrationalism of Lakatos's Proofs and Refutations and defends mathematics as a "last bastion" of reason against postmodernist and deconstructionist currents.

Throughout this paper, we are trying to show how and why our Mathematical frame-work seems inappropriate to solve problems in Theory of Computation. More exactly, the concept of turning back in time in paradoxes causes inconsistency in modeling of the concept of Time in some semantic situations. As we see in the first chapter, by introducing a version of “Unexpected Hanging Paradox”,first we attempt to open a new explanation for some paradoxes. In the second step, by applying this paradox, (...) it is demonstrated that any formalized system for the Theory of Computation based on Classical Logic and Turing Model of Computation leads us to a contradiction. We conclude that our mathematical frame work is inappropriate for Theory of Computation. Furthermore, the result provides us a reason that many problems in Complexity Theory resist to be solved.(This work is completed in 2017 -5- 2, it is in vixra in 2017-5-14, presented in Unilog 2018, Vichy). (shrink)

Regarding the relation of Plato’s early and middle period dialogues, scholars have been divided to two opposing groups: unitarists and developmentalists. While developmentalists try to prove that there are some noticeable and even fundamental differences between Plato’s early and middle period dialogues, the unitarists assert that there is no essential difference in there. The main goal of this article is to suggest that some of Plato’s ontological as well as epistemological principles change, both radically and fundamentally, between the early and (...) middle period dialogues. Though this is a kind of strengthening the developmentalistic approach corresponding the relation of the early and middle period dialogues, based on the fact that what is to be proved here is a essential development in Plato’ ontology and his epistemology, by expanding the grounds of development to the ontological and epistemological principles, it hints to a more profound development. The fact that the bipolar and split knowledge and being of the early period dialogues give way to the tripartite and bound knowledge and benig of the middle period dialogues indicates the development of the notions of being and knowledge in Plato’s philosophy before the dialogues of the middle period. -/- Keywords Plato; early dialogues; middle dialogues; being; knowledge; development -/- Introduction The differences between two groups of the early and middle period dialogues have always been a matter of dispute. Whereas the developmentalists like Vlastos, Silverman (2002), Teloh (1981), Dancy (2004) and Rickless (2007) think that from the early to the middle dialogues Plato’s philosophy changes, at least in some essential points, the unitarists like Kahn, Cherniss and Shorey believe that there happens no development and the differences must be taken as natural, ignorable and even pedagogic. In his well-known article, Socrates contra Socrates in PLATO, Vlastos lists ten theses of difference between two groups of dialogues. The first group which includes Plato’s early dialogues he divides to 'elenctic' (Apology, Charmides, Crito, Euthyphro, Gorgias, Hippias Minor, Ion, Laches, Protagoras and Republic I) and 'transitional' (Euthydemus, Hippias Major, Lysis, Menexenus and Meno) dialogues. These transitional come after all the elenctic dialogues and before all the dialogues of the second group which compose Plato’s middle period dialogues, including (with Vlastos' chronological order) Cratylus, Phaedo, Symposium, Republic II-X, Phaedrus, Parmenides and Theaetetus (1991, 46-49). Vlastos asserts strictly that his list of differences are 'so diverse in content and method that they contrast as sharply with one another as with any third philosophy you care to mention, beginning with Aristotole’s' (ibid, 46). Vlastos’ list of differences between two Socrateses is considered a view breaking sharply between the early and the middle dialogues. Besides all ten differences between the two Socrateses in Vlastos’ list that can be supportive for our doctrine here, we intend to focus on some ontological as well as epistemological distinctions that have not completely been discussed hitherto. Contrary to the developmentalist theory of Vlastos, unitarian theory of Charles Kahn wishes to eliminate any substantial difference between the early and the middle dialogues. He distinguishes seven 'pre-middle' or 'threshold' dialogues including Laches, Charmides, Euthyphro, Protagoras, Meno, Lysis and Euthydemus from the other Socratic dialogues which he calls 'earliest group' (1996, 41). The threshold dialogues, Kahn thinks, 'embarke upon a sustained project' that is to reach to its climax in the middle period dialogues, namely Phaedo, Symposium and Republic. Believing in that there is no 'fundamental shift'between the early and middle dialogues (ibid, 40), Kahn thinks the Socratic dialogues are just the 'first stage' with a 'deliberate silence' towards the theories of later periods (ibid, 339). One of the reasons of the surprising fact that Plato gives no hint of the metaphysics and epistemology of the Forms in the early dialogues, he thinks, is the pedagogical advantages of aporia. He thinks that Plato 'obscurely', and mostly because of education, hinted to some doctrines and conceptions in his early dialogues and with the aim of clarifying them only in the later ones (ibid, 66). The seven threshold dialogues, Kahn asserts, 'had been designed from the first' to prepare the pupils and readers for the views expounded in the middle period dialogues (ibid, 59-60). To show that the differences of the two Socrateses of the early and middle period dialogue are in their onto-epistemological grounds and thence cannot be explained by a unitaristic view, we try to draw the ontological and epistemological principles of the early dialogues in the first part below in order to show, in the second part, that those principles have been developed in the middle period dialogues. -/- A. The Onto-Epistemologic Principles of the Early Dialogues Socratic dialogues are paradoxical about knowledge because while being knowledge-oriented always searching for knowledge, they deny it and even never discuss it directly. Three elements of Socrates’ way of searching Knowledge throughout the early dialogues, i.e. Socratic 'what is X?' question, his disavowal of knowledge and his elenctic method combined together produce something like a circle which works, more or less, in the same way in these dialogues. Though this circle is an embaressing inquiry always resulting in ignorance instead of knowledge, its motivation is surprisingly Socrates’ passionate enthusiasm for knowledge, an intensive love of wisdom. The starting point of this circle is Socrates’ confession of having no knowledge which might be explicitly asserted or presupposed, maybe because it was one of the famous characteristics of Socrates; a confession always paradoxically accompanied with his intense longing for knowledge (e.g., Gorgias 505e4-5). Every time Socrates encounters with someone who thinks he knows something (οἴεταί τι εἰδέναι) (Apology 21d5) and tries to examine him. This examination seems to be the simplest one asking just what it is that he knows. Socrates’ elenchus, therefore, is always connected with 'what is X?' (τίς ποτέ ἐστιν) question, a question that most of the early dialogues of Plato are concerned with; 'what is courage?' in the Laches, 'what is piety?' in Euthydemus, 'what is temperance?' in Charmides and 'what is beauty?' in Hippias Major. This question we call here 'Socratic question' and probably is the very question the historical Socrates used to employ, is tightly interrelated with both his disavowal and his elenchus. He disclaims knowledge because he cannot find the answer to the question himself and he rejects others’ since they cannot offer the correct answer too. Every interlocutor can claim he knows X, if and only if he can answer the Socratic question. Otherwise, he is more of an ignorant than of a knower of τί ποτέ ἐστι X. Knowing the answer to this question is, thus, knowledge’s criterion for Socrates. Having found out that he cannot answer what it is which he would claim to know, the interlocutor comes to the point Socrates was there at the beginning. The least advantage of this circle is that he becomes as wise as Socrates does about the subject, becoming aware that he does not know it. At the end of the circle they are both still at the beginning, not knowing what X is. So let us first take a glance at these three elements. Socratic disavowal of knowledge is strictly asserted in some passages. At Apology 21b4-5, Socrates says: -/- I do not know of myself being wise at all (οὔτε μέγα οὔτε σμικρὸν σύνοιδα ἐμαυτῷ σοφὸς ὤν) -/- Moreover, at 21d4-6: -/- None of us knows anything worthwhile (καλὸν κἀγαθὸν εἰδέναι) …. I do not know (οἶδα) neither do I think I know. -/- In Charmides Socrates speaks about a fear about his probable mistake of thinking that he knows (εἰδέναι) something when he does not (166d1-2). The somehow generalization of this disavowal can be seen in Gorgias. After calling his disavowal 'an account that is always the same' (509a4-5), Socrates continues (a5-7): -/- I say that I do not know (οἶδα) how these things are, but no one I have ever met, like now, who can say anything else without being absurd. -/- At the end of Hippias Major (304d7-8), Socrates affirms his disavowal of knowledge of 'what is X?' this time about the fine: -/- I do not know (οἶδα) what that is itself (αὐτὸ τοῦτο ὅτι ποτέ ἐστιν). Some other passages, however, made a number of scholars dubious about Socrates’ disavowal. Vlastos mentions Apology 29b6-7 as an evidence : 'that to do wrong and to disobey one’s master, both god and men, I know (οἶδα) to be evil and shameful'. He thinks that if we give this single text 'its full weight' it can suffice to show that Socrates does claim knowledge of a moral truth (1985, 7). Vlastos’ claim is not admittable since it would be too strange, I think, for a man like Socrates to violate his disavowal claim just after emphasizing it. We can see his claim just before the already mentioned passage: -/- And surely it is the most blameworthy ignorance to believe that one knows what one does not know. It is perhaps on this point and in this respect, gentlemen, that I differ from the majority of men and if I were to claim that I am wiser than anyone in anything it world be in this, that, as I have no adequate knowledge (οὐκ εἰδὼς ἱκανῶς) of things in the underworld, so I do not think I have (οὐκ εἰδέναι) (Apology 29b1-6) Vlastos tries to solve what he calls the 'paradox' of Socrates’ disavowal of knowledge distinguishing the 'certain' knowledge from 'elenctic' knowledge (1985, 11) and thinking that when Socrates avows knowledge, we must perceive it as an elenctic knowledge, a knowledge its content 'must be propositions he thinks elenctically justifiable' (ibid, 18). Irwin’s solution is the distinction of knowledge and belief. He approves that Socrates does not 'explicitly' make such a distinction, but still thinks that Socrates’ 'test for knowledge would make it reasonable for him to recognize true belief without knowledge, and his own claims are easily understood if they are claims to true belief alone' (1977, 40). While I agree with Vlastos up to a point, I strongly disagree with Irwin about the early dialogues. As I will try to show below, we are not permitted to consider any kind of distinction within knowledge in Socratic dialogues because only one category of knowledge is alluded to there and the distinction of knowledge and belief thoroughly belongs to the second Sorcates. Although no kind of distinction can be admittable here, I think Vlastos’ distinction can be accepted only if we regard it as a distinction between knowledge, which is unique and without any, even incomparable, rival, and a semi-idiomatic and ordinary one that is a necessary requirement for any argument, and thus, unavoidable even for someone who does not claim any kind of knowledge. An apparent evidence of this is Gorgias 505e6-506a4: -/- I go through the discussion as I think it is (ὡς ἄν μοι δοκῇ ἔχειν), if any of you do not agree with admissions I am making to myself, you must object and refute me. For I do not say what I say as I know (οὐδὲ γάρ τοι ἔγωγε εἰδὼς λέγω ἃ λέγω) but as searching jointly with you (ζητῶ κοινῇ μεθ᾽ ὑμῶν). -/- The minimal degree of knowledge everyone must have to take part in an argument, conduct it and use the phrase "I know" when it is necessary is what Socrates cannot deny. We can call it elenctic knowledge only if we agree that it is not the kind of knowledge that Socrates has always been searching, the one that can be accepted as the answer of Socratic 'what is X?' question. His disavowal of knowledge is applied only to the knowledge which can truly be the answer of Socratic question and pass the elenctic exam; a knowledge that, I believe, is never claimed by first Socrates. Socrates conducts his method of examining his interlocutors’ knowledge, our second element here, by almost the same method repeated in Socratic dialogues. That whether we are allowed to regard all the examinations of Socrates in the early dialogues as based on the same or not has been a matter of dispute. Vlastos himself (1994, 31) distinguished Euthydemas, Lysis, Menexenns and Hippias Major from the other Socratic dialogues because he thinks Socrates has lost his faith to elenchus in there. Irwin (1977, 38) distinguishes Apology and Crito where Socrates’ own convictions is present. Contrary to some scholars like Benson (2002, 107) who take elenchus in all the Socratic dialogues as a unique method, Michelle Carpenter and Ronald M. Polansky (2002, 89-100) argue pro the variety of methods of elenchus. Thomas C. Brickhouse and Nicholas D. Smith (2002, 145-160) even reject such a thing as Socratic elenchus which can gather all of the Socrates’ various arguments under such a heading. There can be no solution for the problem of elenchus, they think, is due to 'the simple reason that there is no such thing as 'the Socratic elenchos"'(p.147). Though we consider elenchus a somehow determined process and a part of Socratic circle in the early dialogues, all we assume is that whatever differences it might have in different dialogues, it has the same onto-epistemological principles and, thus, we are not going to take it necessarily as a unique method. This method sets out to prove that the interlocutors are as ignorant as Socrates himself is. That whether elenchus is constructive, capable of establishing doctrines as Vlastos (1994) or Brickhouse and Smith (1994, 20-21) believe or not is another issue to which this paper is not to claim anything. What is crucial for our discussion here is that elenchus does not reach to the very knowledge Socrates is looking for. This is strictly against Irwin who thinks that not only elenchus leads to positive results, 'it should even yield knowledge to match Socrates’ conditions'(1977, 68, cf. 48). He does not explain where and how they really yield to that kind of knowledge. He explains his elenctic method in his apology in the court (Apology 21-22), that how he used to examine wise men, politicians, poets and all those who had the highest reputation for their knowledge and every time found that they have no knowledge. If we accept, as I strongly do, that Socrates’ disavowal of his knowledge is not irony, it might seem more reasonable to agree that the process that has that disavowal as its first step cannot be irony as well. The key of the circle which can explain why Socrates disclaims knowledge and how he can reject others’ claim of having any kind of knowledge lies in the third element, Socratic question. In Hippias Major (287c1-2), Socrates asks: 'Is it not by Justice that just people are Just? (ἆρ᾽ οὐ δικαιοσύνῃ δίκαιοί εἰσιν οἱ δίκαιοι). He insists at 294b1 that they were searching for that by which (ᾧ) all beautiful things are beautiful (cf. b4-5, 8). At Euthyphro 6d10-11 it is said that the Socratic question is waiting for 'the form itself (αὐτὸ τὸ εἶδος) by which (ᾧ) all the pious actions are pious; and at 6d11-e1: -/- Through one form (που μιᾷ ἰδέᾳ) impious actions are impious and pious actions pious. -/- Since the X itself is that by which X is X, knowing 'X itself' is the only way of knowing X. It is probably because of this that Socrates makes the distinction between the ousia as a right answer to the question and effect as a wrong one: -/- I am afraid, Euthyphro, that when you were asked what piety is (τὸ ὅσιον ὅτι ποτ᾽ ἐστίν) you did not wish to make clear its nature itself (οὐσίαν … αὐτοῦ) to me, but you said some effect (πάθος) about it. (Euthp. 11a6-9) -/- 1. Knowledge of what X is Now it is time to look for the onto-epistemological principles of Socratic circle and its three elements. It cannot reasonably be expected from the first Socrates to present us explicitly and clearly formulated principles of his onto-epistemology when such explications cannot be found even in the second Socrates who has some obviously positive theoris. Since there must be some principles underlying this first systematic inqury of knowledge, we must seek to them and be satisfied with elicitation of the first Socratas’ principle. What will be drawn out as his principles cannot and must not, thus, be taken as very fix and dogmatic principles. Some very slightest principles and grounds suffice for our purposes here. The first principle that is the prima facie significance of the Socratic question and his implementation of all those elenctic arguments I call the principle of 'Knowledge of What X is' (KWX): -/- KWX To know X, it is required to know what X is. -/- Aristotle (Metaphysics 1078b23-25, 27-29, 987b4-8) takes Plato’s τί ἐστι question as seeking the definition of a thing that is the same as historical Socrates’ search but applying to a different field. That Plato’s 'what is X?' question was a search for definition became the prevailed understanding of this question up to now. I am going neither to discuss the answer of Socratic question nor to challenge taking it as definition. What I am to insist is that knowledge is attached firmly to the answer of the question: Knowledge of X is not anything but the knowledge of what X is. It entails, certainly, the priority of this knowledge to any other kind of knowledge about X but it also has something more fundamental about the relation of knowledge and Socratic question. Socrates’ exclusive focus on the answer of his question can authorize the consideration of such an essential role for KWX in his epistemolgoy. The total rejection of his interlocutors’ knowledge when they are unable to answer the question can be regarded as a strong evidence for it. Socrates’ elenctic method and his rejection of others’ knowledge in the early dialogues, which all end aporetically with no one accepted as knower and nothing as knowledge, prevent us from finding any positive evidence for this. We have to be content, therefore, of negative evidences which, I think, can be found wherever Socrates rejects his interlocutors’ knowledge when they are not able to give an acceptable answer to his 'what is X?' question. 2. Bipolar Epistemology Socrates’ rejection of his interlocutors’ knowledge has another epistemological principle as its basis. Let me call this principle Bipolar Epistemology' (BE): BE There is no third way besides knowledge and Ignorance. -/- BE says that about every object of knowledge there are only two subjective statuses: knowledge and Ignorance. Socrates’ disavowal, however, says nothing but that he is ignorant of knowledge of X because he does not know what X is. This means that BE is presupposed here. Socrates’ elenchus and his rejection of interlocutors’ having any kind of knowledge are the necessary results of the fact that he does not let any third way besides knowledge and ignorance. The first Socrates never let anyone partly know X or have a true opinion about it, as he would not let anyone know anything about X when he did not know what X is. -/- 3. Bipolar Ontology The principle of BE in first Socrates’ epistemology is parallel to another principle in his ontology. Plato’s bipolar distinction between being and not being is as strict and perfect as his distinction between knowledge and ignorance. This principle I shall call the principle of 'Bipolar Ontology' (BO): BO Being is and not being is not. BO is apparently the same with the well-known Parmenidean Principle of being and not being (cf. Diels-Kranz (DK) Fr. 2.2-5). Euthydemus’ statement against the possibility of false knowledge can be good evidence for this principle: -/- The things which are not surely do not exist (τὰ δὲ μὴ ὄντα … ἄλλο τι ἢ οὐκ ἔστιν). (Euthydemus 284b3-4) -/- He continues (b4-5): -/- There is nowhere for not being to be there (οὖν οὐδαμοῦ τά γε μὴ ὄντα ὄντα ἐστίν). -/- That BE does not let true opinion as a third option besides knowledge and ignorance seems to be related to BO’s rejecting a third option besides being and not being, which is itself the basis of the impossibility of false belief. Socrates’ elaborate discussion of the problem of false belief in Theatetus that leads to a more decisive discussion and finally to some solutions in Sophist can make our consideration of BO for the first group of dialogues authentive. -/- 4. &5. Split Knowledge and Split Being The fourth principle I shall call the principle of 'Split Knowledge' (SK): -/- SK Knowledge of X is separated from any other knowledge (of anything else) as if the whole knowledge is split to various parts. -/- This Principle is hinted and criticized as Socrates’ way of treating with knowledge in Hippias Major: -/- But Socrates, you do not contemplate the entireties of things, nor do people you have used to talk with (τὰ μὲν ὅλα τῶν πραγμάτων οὐ σκοπεῖς, οὐδ᾽ ἐκεῖνοι οἷς σὺ εἴωθας διαλέγεσθαι). (301b2-4) -/- Contrary to Rankin who regards the passage as 'antilogical, almost eristic in tone rather than presenting a serious philosophy of being' (1983, 54), I think it can be taken as serious. Hippias criticizes Sorcates that he does not contemplate (σκοπεῖς) the entireties of things (ὅλα τῶν πραγμάτων), a critique which Socrates is not its only subject but all those whom Socrates accustomed to talk with (ἐκεῖνοι οἷς σὺ εἴωθας διαλέγεσθαι). This last phrase, I think, extends this critic beyond this dialogue to other Socratic dialogues. Hippias’ use of the perfect tense of the verb ἔθω (to be accustomed) is a good evidence of this extension. We can get, thus, these ἐκεῖνοι as Socrates’ interlocutors in his other dialogues that hints that this criticism has the epistemological groundings of the previous dialogues as its subject. What ἐκεῖνοι οἷς σὺ εἴωθας διαλέγεσθαι points to is that Hippias does not have in mind Socrates’ way of treating things only in this dialogue, but he is also criticizing Socrates’ way throughout his dialogues. At 301b4-5, Socrates and his interlocutors’ way of beholding things is described as such: -/- You people knock (κρούετε) at the fine and each of the beings (ἕκαστον τῶν ὄντων) by taking each being cut up in pieces (κατατέμνοντες) in words (ἐν τοῖς λόγοις). This leads us to our next principle that is parallel to, and the ontological side of, SK, the principle of 'Split Being'(SB): -/- SB Everything (being) is separated from any other thing as if the whole being is split to many beings. -/- Socrates and his interlocutors and thus, as we saw, the Socratic dialogues are accused to regard everything as it is separated from all other things. This separation is en tois logois that, I think, can reasonably be taken as saying that Socratic dialogues (it refers of course to the dialogues before Hippias Major) cut up all things which have the same name/definition from all other things and try to understand them separately, without considering other things that are not in their logos. They, for example in Hippias Major, are cutting up to kalon and try to understand what it and all others inside this logos are by separating it from all other things. This is directed straightly against Socratic question and the way Socratic dialogues follow to find its answer, every time separating one logos. As Meyer (1995, 85) points out, every question 'presupposes that the X in question in a logos is something' and 'every answer to every question aims at unity' (84). The critique of Hippias Major is, therefore, at the same time a critique of SK and SB. It is also a critique of KWX because it is only based on KWX that Socratic dialogues could search for the answer of 'what is X' question supposing that knowing what X is is enough for the knowledge of X. SK and KWX are absolutely interdependent. What Socrates and all his previous interlocutors have neglected in Socratic dialogues, Hippias says, was 'continuous bodies of being' (διανεκῆ σώματα τῆς οὐσίας) (301b6). Either this theory actually belongs to the historical Hippias as it is being said or not, it is strictly criticizing SB. We have the same phrase with changing sūma to logos some lines later at 301e3-4: διανεκεῖ λόγῳ τῆς οὐσίας. Although this theory that can be observed as both an ontological and an epistemological theory is rejected by Socrates (301cff.), it is still against first Socrates’ onto-epistemological principles and might let us look at what is rejected as Socratic prineple. -/- 6. Knowledge is of Being The sixth principle that I think is presupposed by the first Socrates, is the 'Knowledge of Being' Principle (KB): -/- KB Knowledge is of Being. -/- This principle is obviously the source of the problem of false knowledge, a very important problem throughout Plato’s philosophy. We face this problem maybe for the first time in Euthydemus. In less than 20 Stephanus’ pages, 276-295, we are encountered with different interwoven problems about knowledge , all grounded in the problem of false opinion. Having challenged the obvious possibility of telling lies at 283e, at 284 Euthydemus discusses it saying that the man who speaks is speaking about 'one of those things that are (ἓν μὴν κἀκεῖνό γ᾽ ἐστὶν τῶν ὄντων)' (284a3) and thus speaks what is (λέγων τὸ ὄν) (a5). He must necessarily be saying truth when he is speaking what is because he who speaks what is (τὸ ὄν) and the things that are (τὰ ὄντα) speaks truth (τἀληθῆ λέγει) (a5-6). This is based on Parmenidean principle of the impossibility of being of not being which Euthydemus restates (284b3-4) and we mentioned discussing BO principle above. The things that are not are nowhere (οὐδαμοῦ) and there is no possibility for anyone to do (πράξειεν) anything with them because they must be made as being before anything else can be done, which is impossible (b5-7). The words, then, are of things that exist (εἰσὶν ἑκάστῳ τῶν ὄντων λόγοι) (285e9) and as they are (ὡς ἔστιν) (e10). The result is that no one can speak of things as they are not. It is this impossibility of false speach that is extended to thinking (δοξάζειν) at 286d1 and leads to the impossibility of false opinion (ψευδής … δόξα) (286d4). The general conclusion is asserted at 287a extending this impossibility to actions and making any kind of mistake. Not only knowledge is of being but speech, thought and action are of being simply because of the fact that nothing can be of not being. -/- B. First Socrates’ Principles in the Middle Period Dialogues Out of what were presupposed or criticized mostly in five dialogues, Euthyphro, Euthydemus, Hippias Major, Laches and Charmides, we tried to draw the first Socrates’ principles. Our inquiry here is directed to find out the fate of these principles in the three dialogues of the middle period, Meno, Phaedo and Republic. To do this, first we ought to check the situation of Socratic circle in these dialogues. The Socratic circle that was predominant in the early dialogues, does not look like a circle here anymore though they certainly have some features in common. Meno, Phaedo and Republic II-X are not committed to the principles of the circle and the whole circle in disrupted in them. The difference of the two Socrateses towards acquiring knowledge is obvious. The Socrates of Meno, Phaedo and Republic is evidently more self-confident that he can get to some truths during his arguments as he does. They are in their first appearance, as almost all other dialogues, committed to Socrates’ disavowal. All of them try to keep the shape of the Socratikoi Logoi genre, which is committed to the historical Socrates’ way of discussion; a dramatic personage who is to challenge his interlocutors, ask them and refuse the answers. Nevertheless, the fact is that what we have in common between two groups of dialogues is mostly a dramatic structure. Whereas the first group’s arguments are based on Socrates’ disavowal and lead to no positive results, the second group is decisively going to achieve some positive results. The aim of the first Socrates was to show others that they are ignorant of what they thought they knew. The new Socrates of Meno, on the opposite, makes so much efforts to show that the slave boy has within himself true opinions (ἀληθεῖς δόξαι) about the things that he does not know (οἶδε) (85c6-7). Despite his lack of knowledge, he has true opinions nevertheless. The way from these true opinions to knowledge, as Socrates states, is not so long. These true opinions are now like a dream but 'can become knowledge of the same things not less accurate than anyone’s' (οὐδενὸς ἧττον ἀκριβῶς ἐπιστήσεται περὶ τούτων) (c11-d1), if they be repeated by asking the same questions. The most outstanding text regarding Socrates’ disavowal is Meno 98b where he explicitly claims knowledge: -/- And indeed I also speak as (ὡς) one who does not know (εἰδὼς) but is guessing (εἰκάζων). However, [about the fact] that true opinion and knowledge are different, I do not altogether expect (δοκῶ) myself to be guessing (εἰκάζειν), but if I say about anything that I know (εἰδέναι) -which about few things I say- this is one of the things that I know (οἶδα). (98b1-5) This passage is very significant about Plato’s disavowal of knowledge. There can hardly be found, I think, anywhere else in Plato’s corpus where Socrates speaks about his knowledge of something as such. He says first that he speaks as someone who does not know. This ὡς οὐκ εἰδὼς λέγω comparing with what he used to say in the first group, οὐκ οἶδα, has this added ὡς. Socrates does not claim strongly anymore that he does not know anything but speaks only as someone who does not know. He needs this ὡς not only because he is going to accept that he does know some, though few, things immediately after this sentence, but also because he needs his previous disavowal to be loosened from Meno on. He does not merely say here that he knows something. It is then different from the examples mentioned before which could be taken as idiomatic or at least not emphatic. Socrates’ remarkable emphasis on distinguishing εἰδέναι from εἰκάζειν departs it from all other passages where he says only he knows something. Moreover, he claims definitely that he has knowledge about few (ὀλίγα) things. From the early to the middle dialogues, Socrates’ attitude to knowledge has totally renewed its face. He brings forth a new concept, true opinion, and he does not speak of knowledge as he used to before; the rough, perfect and unachievable knowledge of the first group has turned to something more smooth, realistic and achievable. Comparing with the early dialogues that did not set out from the first to reach positive results, the middle ones are extraordinarily and surprisingly positive and hence destroy the basis of the Socratic circle. The questions and answers are purposely directed to some specific new theories; most of them are not directly related to the topics or the main questions of the dialogues. They are suggested when Socrates draws the attention of the interlocutor away from the main question because of the necessity of another discussion. Even if the main question remains unanswered, we have still many positive theories, prominently of metaphysical type. These theories are so abundant and dominant in these dialogues, especially Phaedo and Republic, that one might think that they may appear to be arbitrarily sandwiched in there. This helps dialogues to keep their original Socratic structure while they are suggesting new theories. Hence, the Socratic question of 'what is X?', though is still used to launch the discussion, is loosened and is forgotten for most part of the dialogues. Meno that has first a differently formulated question, 'can virtue be taught?', leads finally to the Socratic question of 'What is virtue?'. Phaedo is dedicated to the demonstration of the immortality of soul and the life after death without having a central Socratic question. The case of Republic is more complicated. The first book, on the one hand, has all the criteria of a Socratic circle: its 'what is justice?' question, Socrates’ strong disavowal (e.g. 337d-e), his rejection of all answers and coming back to the first point without finding out any answer. This Book, considered alone, is a perfect Socratic dialogue, as many scholars regard it as early and separated from other books. The books II-X are, on the other hand, far from implementing a Socratic circle. They have still the 'what is justice?' question as their incentive leading question, but they are, in most of the positive doctrines and methods that encompass the main parts, ignoring the question. Even these books that, I believe, are the farthest discussions from the Socratic circle are so cautious not to break the Socratic structure of the dialogue as long as it is possible. What is changed is not the structure of the dialogue but the ontological and epistemological grounds based on which new theories are suggested. -/- 1. Knowledge of the Good We can clearly see in the second group of dialogues that the KWX principle loses the place it had before in our first group. It is not, of course, rejected, but still we cannot say that it has the same situation. KWX that was based on Socratic question, as we discussed before, was the leading principle of the first Socrates’ epistemology and of the highest position. Other epistemological principles, SK directly and BE indirectly, were relying on Socratic question and therefore on KWX. Such a position does not belong to KWX from Meno on. What makes it different in the second Socrates is another principle that is needed it not only as its complementary principle but also as what is more fundamental. Plato, then, does not reject KWX in this period, but, it seems, he transcends to another more basic principle; a principle we shall call the principle of 'Knowledge of the Good' (KG): -/- KG Knowledge of X requires knowledge of the Good. -/- Whereas all the dialogues of our first group are free from any discuscon about KG, it bears a very important role in the second group so as becomes the superior principle of knowledge in Republic. Trying to solve the problem of teachability of virtue, Socrates says that it can be teachable only if it is a kind of knowledge because nothing can be taught to human beings but knowledge (ἐπιστήμην) (Meno 87c2). The dilemma will be, then, whether virtue is knowledge or not (c11-12) and since virtue is good, we can change the question to: whether is there anything good separate from knowledge (εἰ μέν τί ἐστιν ἀγαθὸν καὶ ἄλλο χωριζόμενον ἐπιστήμης) (d4-5). Therefore, the conclusion will be that if there is nothing good which knowledge does not encompass, virtue can be nothing but knowledge (d6-8). What let us discuss KG as an epistemological principle for the second Secrates is the relation he tries to establish between knowledge and the Good which, though is alongside with the mentioned thesis and the idea of virtue as knowledge, goes much deeper inside epistemology asking to regard the Good as the basis of knowledge. The effort of Phaedo cannot succeed in establishing the Good as the criterion of explanation and knowledge since, I think, it needs a far more complicated ontology of Republic where Socrates can finally announce KG. What is said in Republic is totally compatible with Phaedo 99d–e and the metaphor of watching an eclipse of the sun. In spite of the fact that we do not have adequate knowledge of the Idea of the Good, it is necessary for every kind of knowledge: 'If we do not know it, even if we know all other things, it is of no benefit to us without it' (505a6-7). The problem of our not having sufficient knowledge of the Idea of Good is tried to be solved by the same method of Phaedo 99d-e, that is to say, by looking at what is like instead of looking at thing itself (506d8-e4). It is this solution that leads to the comparison of the Good with sun in the allegory of Sun (508b12-13). What the Good is in the intelligible realm corresponds to what the sun is in the visible realm; as sun is not sight, but is its cause and is seen by it (b9-10), the Good is so regarding knowledge. It has, then, the same role for knowledge that the sun has for sight. Socrates draws our attention to the function of sun in our seeing. The eyes can see everything only in the light of the day being unable to see the same things in the gloom of night (508c4-6). Without the sun, our eyes are dimmed and blind as if they do not have clear vision any longer (c6-7). That the Good must have the same role about knowledge based on the analogy means that it must be considered as a required condition of any kind of knowledge: -/- The soul, then, thinks (νόει) in the same way: whenever it focuses on what is shined upon by truth and being, understands (ἐνόησέν), knows (ἔγνω) and apparently possesses understanding (νοῦν ἔχειν). (508d4-6) -/- Socrates does not use agathon in this paragraph and substitutes it with both aletheia and to on. He links them with the Idea of the Good when he is to assert the conclusion of the analogy: -/- That which gives truth to the objects of knowledge and the power of knowing to the knower, you must say, is the Idea of the Good: being the cause of knowledge and truth (αἰτίαν δ᾽ ἐπιστήμης οὖσαν καὶ ἀληθείας) so far as it is known (ὡς γιγνωσκομένης μὲν διανοοῦ). (508e1-4) Knowledge and truth are called goodlike (ἀγαθοειδῆ) since they are not the same as the Good but more honoured (508e6-509a5). KG, which had been implicitly contemplated and searched in Phaedo, is now explicitly being asserted in Republic. As what was quoted clearly proves, this principle is the very one which we can observe as the most fundamental principle of the second Socrates in Republic, corresponding to the role KWX had in the first Socrates. The Form of the Good in Republic, of which Santas speaks as 'the centerpiece of the canonical Platonism of the middle dialogues, the centerpiece of Plato’s metaphysics, epistemology, ethics and …' (1983, 256) much more can be said. Plato’s Cave allegory in Book VIII dedicates a similar role to the Idea of the Good. The Idea of the Good is there as the last thing to be seen in the knowable realm, something so important that its seeing equals to understanding the fact that it is the cause of all that is correct and beautiful (517b). Producing both light and its source in visible realm, it controls and provides truth and understanding in the intelligible realm (517c). -/- 2. Tripartite Epistemology BE is thoroughy rejected in the second Socrates and substituted by its opposite, the principle of 'Tripartite Epistemolgy' (TE): -/- TE Opinion is an epistemological status between knowledge and ignorance. BE of the first Socrates was denying any third way besides knowledge and ignorance which was the foundation of Socratic circle without which Socrates could not reject his interlocutors’ possessing any kind of knowledge. We cannot say, however, that the first Socrates had a third epistemological status in mind but rejected it. Such a status was unacceptable for him so that one can say that he would reject any kind of such status if suggested. There were only two possibilities about knowledge: either one knows something or he does not know it. TE, thus, was not the first Socrates’ discovery and, I think it is not the second Socrates’discovery. All we can see in our second group of dialouges is that he uses this principle as an already demonstrated one. Having examined the slave boy in Meno for the prupose of showing the working of recollection, it truns out that he has some opinions in him while he still does not know. Without trying to prove it, Socrates takes this as the distinction between knowledge and opinion: -/- So, he who does not know (οὐκ εἰδότι) about what he does not know (περὶ ὧν ἂν μὴ εἰδῇ) has within himself true opinions (ἀληθεῖς δόξαι) about the same things he did not know (περὶ τούτων ὧν οὐκ οἶδε) (85c6-7). -/- The same distinction is set between ὀρθὴν δόξαν and ἐπιστήμην at 97b5-6 ff. (also cf. 97b1-2: ὀρθῶς μὲν δοξάζων … ἐπιστάμενος). He connects then their difference to the myth of Daedalus, the statue that would run away and escape. So are true opinions, not willing to remain long in mind and thus not worthy until one ties them down by αἰτίας λογισμῷ (98a3-4). Socrates says that this tying down is anamnesis. We face, in Phaedo, the same relation is settled between knowledge as the process of being tied down and getting the capability to give an account, on the one hand, and anamnesis, on the other hand. When a man knows, he must be able to give an account of what he knows (Phaedo 76b5-6) and since not all people are able to give such an account, those who recollect, recollect what once they learned (76c4). Although the distinction between knowledge and opinion is not explicitly used in Phaedo, referring to the parallel link between knowledge plus account and anamnesis in Phaedo and Meno, one can say that those who cannot recollect are not able to give account and, thus, are in a state of opinion. What is said at Phaedo 84a, though not yet a definite distinction between knowledge and opinion, makes a distinction between their objects so as we can agree that it is presupposed. The soul of the philosopher, Socrates says, follows reason, stays with it forever and contemplates the divine, which is not the object of opinoin (ἀδόξαστον) (84a8, cf. Meno 98b2-5). The distinction of knowledge and belief in Republic has a significant difference with what we discussed in Meno and Phaedo since the distinction of Meno was based on anamnesis and thus more an epistemological distinction. Even in Phaedo that we do not have any elaborate discussion about the distinction, the only hint to the matter at 76 is bound to the theory of anamnesis. In addition to the relation of the distinction with this theory, there is another evidence that does not permit us to consider the distinction as an ontological distinction. Let’s see Meno 85c6-7: -/- So, he who does not know about what he does not know has within himself true opinions about the same things he did not know (τῷ οὐκ εἰδότι ἄρα περὶ ὧν ἂν μὴ εἰδῇ ἔνεισιν ἀληθεῖς δόξαι περὶ τούτων ὧν οὐκ οἶδε). (85c6-7) -/- This last sentence persists that the objects of knowledge and true opinion are the same. What Socrates is to say here is that whereas he does not know X he has true opinion about the same X. I think Socrates’ sentence that the slave boy οὐκ εἰδότι ἄρα περὶ ὧν ἂν μὴ εἰδῇ and his restatement of it by saying περὶ τούτων ὧν οὐκ οἶδε is because he wants to emphasize that the slave boy who does not know, has true opinion about the same thing. Socrates could say this just with using τούτων and there would be no necessity to bring περὶ ὧν ἂν μὴ εἰδῇ for οὐκ εἰδότι if he did not want to emphasize. -/- 3. Tripartite Ontology The distinction between knowledge and true opinion in Republic, on other side, has nothing to do with recollection, but is based on an ontological principle, 'Tripartite Ontology' (TO): -/- TO There are things that both are and are not. -/- This principle I confine, among our three dialogues of the second group, to Republic not extended to Meno and Phaedo, is obviously the opposite of BO. Speaking about the lovers of sights and sounds in the fifth book, Socrates distinguishes them from philosophers because their thought is unable to understand the nature of beautiful itself besides beautiful things (476a6-8) and hence they can only have opinions. The philosopher who, on the contrary, believes in beautiful itself and can distinguish it from beautiful things (476c9-d3), has knowledge because he knows, contrasting others who have opinion because they only opine (d5-6). Since those whose knowledge were degraded as opinion will complain about Socrates’ such calling their thought, he provides them the following argument (476e7-477b1): -/- - Does the person who knows, knows (γιγνώσκει) something (τὶ) or nothing (οὐδέν)? - He knows something (τί). - Something that is (ὂν) or is not (οὐκ ὄν)? - Something that is (ὂν) for how could something that is not be known (πῶς γὰρ ἂν μὴ ὄν γέ τι γνωσθείη)? - Then we have an adequate grasp of this: No matter how many ways we examine it, what completely is (παντελῶς ὂν) is completely knowable (παντελῶς γνωστόν) and what is in no way (μὴ ὂν δὲ μηδαμῇ) is in every way unknowable (πάντῃ ἄγνωστον). - A most adequate one. - Good. Now, if anything is such as to be and also not to be (ὡς εἶναί τε καὶ μὴ εἶναι), won’t it be intermediate (μεταξὺ) between what purely is (εἰλικρινῶς ὄντος) and what in no way is (μηδαμῇ ὄντος)? - Yes, it’s intermediate. - Then as knowledge (γνῶσις) is set over what is (τῷ ὄντι), while ignorance (ἀγνωσία) is of necessity set over what is not (μὴ ὄντι) mustn’t we find an intermediate between ignorance (ἀγνοίας) and knowledge (ἐπιστήμης) to be set over the intermediate, if there is such a thing? -/- From the third status of being we must reach to the third status of knowledge. The simple reading of this text can be an existential reading, taking the "is" of the mentioned sentences as existence. The problem is that when it is said that there is something that both is and is not reading "is" existentially, it sounds too bizarre to be acceptable. It cannot easily be understandable to have something as both existent and non-existent at the same time. This problem arose so many debates and led many scholars to reject the existential reading of "is" and suggest some other readings like predicative or veridical readings. I think though Plato’s complicated ontology of Republic cannot be correctly understood by a simple existential reading, this "is" cannot be free from existential sense of being and, thus, cannot be reduced to just a predicative or veridical sense of being. -/- 4. Bound Knowledges In addition to KG, the Good is also the basis of another principle in the second Socrates, namely the principle of 'Bound Knowledge' (BK): -/- BK Knowledge of everything is bound to the knowledge of the Good. -/- We distinguished BK from KG because we want to insist, in BK, on what had not been insisted upon in KG, that is, the binding role that the Good plays in the second Socrates, contrasting the absence of such a role in the first Socrates. Socrates remembers, in Phaedo, his wonderful keen on natural philosophers' wisdom when he was young. The origin of this enthusiasm was Socrates’ hope to know the cause of everything as they used to claim. When he was searching the matters of his interest on their basis, Socrates says, he became convinced he can get no acceptable answer from them and found himself blind even to the things he thought he knew before. One day he hears Anaxagoras’ theory that 'it is Mind that arranges and is the cause of everything (ὡς ἄρα νοῦς ἐστιν ὁ διακοσμῶν τε καὶ πάντων αἴτιος)' (Phd. 97c1-2 cf. DK, Fr.15.8-9, 11-12, 12-14) and thinks that he can finally find what he has always expected, i.e. something which can explain all things. What I intend to show here is that what makes Socrates hopeful is that Anaxagoras’ theory tries 1) to explain all things by one thing and 2) this explanation is understood by Socrates as if it is based on the concept of the Good. That Socrates was searching for one explanation for all things can be proved even from what he has been expecting from natural philosophers. The case is, nonetheless, more clearly asserted when he speaks about Anaxagoras’ theory. In addition to διακοσμῶν τε καὶ πάντων αἴτιος of 97c2 mentioned above, we have τὸ τὸν νοῦν εἶναι πάντων αἴτιον (c3-4) and τόν γε νοῦν κοσμοῦντα πάντα κοσμεῖν (c4-5) all emphasizing on the cause of all things (πάντα) which can clearly prove that one of the reasons which caused Socrates to embrace it delightfully was its claim to provide the cause of all things by one thing. Another reason was that Anaxagoras’ Mind, at least in Socrates’ view, was attempting to explain everything by the concept of the Good. This connection between Mind and Good belongs more to the essential relation they have in Socrates’ thinking than Anaxagoras’ theory because there are almost nothing about such a relation in Anaxagoras. The reason for Socrates’ reading can be that Mind is substantially compatible with Socrates’ idea of the relation between good and knowledge. Both the thesis 'no one does wrong willingly' and the theory of virtue as knowledge we pointed to above are evidences of this essential relation. Nobody who knows that something is bad can choose or do it as bad. The reason, when it is reason, that means when it is as it should be, when it is wise or when it knows, works only based on good-choosing. In this context, when Socrates hears that Mind is considered as the cause of everything, it sounds to him like this: good should be regarded as the basis of the explanation of all things. We see him, thus, passing from the former to the latter without any proof. This is done in the second sentence after introducing Mind: -/- I thought that if this were so, the arranging Mind would arrange all things and put each thing in the way that was Best (ὅπῃ ἂν βέλτιστα ἔχῃ). If one then wished to find the cause of each thing by which it either perishes or exists, one needs to find what is the best way (βέλτιστον αὐτῷ ἐστιν) for it to be, or to be acted upon, or to act. On these premises then it befitted a man to investigate only, about this and other things, what is the most excellent (ἄριστον) and best (βέλτιστον). The same man must inevitably also know what is worse (χεῖρον), for that is part of the same knowledge. (97c4-d5) This passage is a good evidence of Socrates’ leap from Anaxagoras’ Mind to his own concept of the Good that can explain why Socrates found Anaxagoras theory after his own heart (97d7). Mind is welcomed because of its capability for explanation on the basis of good to 'explain why it is so of necessity, saying which is better (ἄμεινον), and that it was better (ἄμεινον) to be so' (97e1-3). What Socrates thought he had found in Anaxagoras can indicate what he had been expecting from natural scientists before. Socrates could not be satisfied with their explanations because they were unable to explain how it is the best for everything to be as it is. It can probably be said, then, that it was the lack of the unifying Good in their explanation that had disappointed him. We must insist that we are discussing what Socrates thought that Anaxagoras’ theory of Mind should have been, not about Anaxagoras’ actual way of using Mind. Phaedo 97c-98b, is not about what Socrates found in Anaxagoras but what he thought he could find in it. On the contrary, it should also be noted that it was not this that was dashed at 98b, but Anaxagoras’ actual way of using Mind. It was Anaxagoras’ fault not to find out how to use such an excellent thesis (98b8-c2, cf. 98e-99b). Socrates gives an example to show how not believing in 'good' as the basis of explanation makes people be wanderers between different unreal explanations of a thing. His words δέον συνδεῖν (binding that binds together) as a description for the Good we chose as the name of BK principle: They do not believe that the truly good and binding binds and holds them together (ὡς ἀληθῶς τὸ ἀγαθὸν καὶ δέον συνδεῖν καὶ συνέχειν οὐδὲν οἴονται). (99c5-6) -/- Having in mind Plato’s well-known analogy of the sun and the Good at Republic 508-509, we can dare to say that his warning of the danger of seeing the truth directly like one watching an eclipse of the sun in Phaedo (99d-e) is more about the difficulty of so-called good-based explanation than its insufficiency, a difficulty which is precisely confirmed in Republic (504e-505a, 506d-e). Moreover, BK is asserted in a more explicit way in the Republic, where the Good is considered not only as a condition for the knowledge of X, as was noted above discussing KG, but also as what binds all the objects of knowledge and also the soul in its knowing them. At Republic VI, 508e1-3, when Socrates says that the Form of the Good 'gives truth to the things known and the power to know to the knower (τοῦτο τοίνυν τὸ τὴν ἀλήθειαν παρέχον τοῖς γιγνωσκομένοις καὶ τῷ γιγνώσκοντι τὴν δύναμιν ἀποδιδὸν)', he wants to set the Good at the highest point of his epistemological structure by which all the elements of this structure are bound. This binding aspect of the Good is by no means a simple binding of all knowledges or all the objects of knowledge, but the most complicated kind of binding as it is expected from the author of the Republic. The kind of unity the Good gives to the different knowledges of different things is comparable with the unity which each Form gives to its participants in Republic: as all the participants of a Form are united by referring to the ideas, all different kinds of knowledge are united by referring to the Good. If we observe Aristotle's assertion that for Plato and the believers of Forms, the causative relation of the One with the Forms is the same as that of the Forms with particulars (e.g. Metaphysics 988a10-11, 988b4), that is to say the One is the essence (e.g., ibid, 988a10-11: τοῦ τί ἐστὶν, 988b4-6: τὸ τί ἢν εἶναί) of the Forms besides his statement that for them One is the Good (e.g., ibid, 988b11-13) the relation between the Good and unity may become more understandable. Since the quiddity of the Good (τί ποτ᾽ ἐστὶ τἀγαθὸν) is more than discussion (506d8-e2), we cannot await Socrates to tell us how this binding role is played. All we can expect is to hear from him an analogy by which this unifying role is envisaged, the sun. The kind of unity that the Good gives to the knowledge and its objects in the intelligible realm is comparable to the unity that the sun gives to the sight and its objects in the visible realm (508b-c). The allegory of Line (Republic VI, 509d-511), like that of the Sun, tries to bind all various kinds of knowledges. The hierarchical model of the Line which encompasses all kinds of knowledge from imagination to understanding can clearly be considered as Plato’s effort to bind all kinds of knowledges by a certain unhypothetical principle. The method of hypothesis starts, in the first subsection of the intelligible realm, with a hypothesis that is not directed firstly to a principle but a conclusion (510b4-6). It proceeds, in the other subsection, to a 'principle which is not a hypothesis' (b7) and is called the 'unhypothetical principle of all things' (ἀνυποθέτου ἐπὶ τὴν τοῦ παντὸς ἀρχὴν) (511b6-7). This παντὸς must refer not only to the objects of the intelligible realm but to the sensible objects as well. Plato does posit, therefore, an epistemological principle for all things, a principle that all things are, epistemologically, bound and, thus, unified by. -/- 5. Bound Beings The ontological aspect of BK we shall call the principle of 'Bound Beings' (BB): -/- BB Being of all things are bound by the Good. -/- We saw in our principle of Split Being (SB) how the first Socrates was criticized because of his approach to split being and separate each thing from other things. The principle of Bound Beings intends to make the things more related, a duty which is done again by the Good. In the allegory of Sun, there are two paragraphs that evidently and deliberately extend the binding role of the Good to the ontological scene: -/- You will say that the sun not only makes the visible things have the ability of being seen but also coming to be, growth and nourishment. (509b2-4) -/- This clearly intends to remind the ontological role the sun plays in bringing to being all the sensible things in order to display how its counterpart has the same role in the intelligible realm (b6-10): -/- Not only the objects of knowledge (γιγνωσκομένοις) owe their being known (γιγνώσκεσθαι) to the Good, but also their existence (τὸ εἶναί) and their being (οὐσίαν) are due to it, though the Good is not being but superior to it in rank and power. That the Good is here represented as responsible for being of things in addition to their being known means, in my opinion, that Plato wants to posit BB in addition to BK. The allegory of Cave at the very beginning of the seventh Book (514aff.) can be taken as another evidence. The role of the Good, one might say, is confined to the intelligible realm because it is asserted that the role the Good plays in this realm is corresponding to that of the sun in the visible realm. The fact that Plato wants to observe the Good also as the ontological cause of the sensible things is obvious from his saying, in the allegory of Cave, that the Form of the Good 'produces light and its source (τὸν τούτου κύριον) [i.e. the sun] in the visible realm' (517c3). We can conclude, then, that the ontological function of the Good is not confined to the intelligible realm in which it is the lord and provides truth and understanding (c3-4) because it is also responsible to produce τὸν κύριον of light. 6. Proportionality of Being and Knowledge Insofaras BE and BO principles of the first Socrates gave way to TE and TO principles of the second Socrates, we cannot expect him to preserve KB in the same way as it was in the first Socrates. The new tripartite ontology and epistemology necessitates some modifications in KB which results in the principle of 'Proportionality of Being and Knowledge' (PBK): -/- PBK To every class of being there is a proportionate category of knowledge. -/- This principle, of course, does not entail the refutation of KB and thus is not kind of rejecting PBK but only a more complicated version of it. Based on PBK, we can still agree that knowledge is of being (KB) but the issue is that since none of the concepts of knowledge and being in the second Socrates are as simple as they were for the first Socrates, we need a more complicated principle for their relation here. Although from Meno 97a where the distinction of knowledge and true opinion is drawn out in the second group of the dialogues, we can expect a new relation, it is articulated in its most complete way in Republic and specifically in the allegory of Line. All the beings are divided there hierarchically to four classes, to each of them belongs a class of knowledge: imagination to images, belief to the sensible things (more correctly: the things of which they[in previous class] were images (ᾧ τοῦτο ἔοικεν)), thought to mathematical objects (?) and understanding to the Forms and the first principle. The degree of clarity that each of the classes of knowledge shares in (σαφηνείας ἡγησάμενος μετέχειν) is proportionate to the degree that its object shares in truth (ἀληθείας μετέχει). (511e2-4) -/- Conclusion From the six onto-epistemilogical principles of the first Socrates, four principles turn to their opposite in the middle period dialogues. While bipolar epistemology and ontology of the early dialogues give place to tripartite epistemology in the middle period dialogues and tripartite ontology in Republic, the split knowledge and being of the first Socrates are inclined to be substituted by bound knowledges and bound beings in the second Socrates and specifically in Republic. Not all our system of principles in this article is necessarily determinative. Either they are rightly formulated or not, our result would not be vulnerable if we accept that 1) making the distinction of knowledge and belief, 2) accepting the being of not being and 3) trying to bind both being and knowledge by the concept of the Good happens only in middle period dialogues, having been absent in the early ones. These are the favourite results all those somehow arbitrary and even oversimplified principles were to illustrate; that there is kind of a development in the epistemological as well as the ontological grounds of Plato’s philosophy. -/- Notes . (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...) show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

DEFINING OUR TERMS A “paradox" is an argumentation that appears to deduce a conclusion believed to be false from premises believed to be true. An “inconsistency proof for a theory" is an argumentation that actually deduces a negation of a theorem of the theory from premises that are all theorems of the theory. An “indirect proof of the negation of a hypothesis" is an argumentation that actually deduces a conclusion known to be false from the hypothesis alone or, more commonly, (...) from the hypothesis augmented by a set of premises known to be true. A “direct proof of a hypothesis" is an argumentation that actually deduces the hypothesis itself from premises known to be true. Since `appears', `believes' and `knows' all make elliptical reference to a participant, it is clear that `paradox', `indirect proof' and `direct proof' are all participant-relative. PARTICIPANT RELATIVITY In normal mathematical writing the participant is presumed to be “the community of mathematicians" or some more or less well-defined subcommunity and, therefore, omission of explicit reference to the participant is often warranted. However, in historical, critical, or philosophical writing focused on emerging branches of mathematics such omission often invites confusion. One and the same argumentation has been a paradox for one mathematician, an inconsistency proof for another, and an indirect proof to a third. One and the same argumentation-text can appear to one mathematician to express an indirect proof while appearing to another mathematician to express a direct proof. WHAT IS A PARADOX’S SOLUTION? Of the above four sorts of argumentation only the paradox invites “solution" or “resolution", and ordinarily this is to be accomplished either by discovering a logical fallacy in the “reasoning" of the argumentation or by discovering that the conclusion is not really false or by discovering that one of the premises is not really true. Resolution of a paradox by a participant amounts to reclassifying a formerly paradoxical argumentation either as a “fallacy", as a direct proof of its conclusion, as an indirect proof of the negation of one of its premises, as an inconsistency proof, or as something else depending on the participant's state of knowledge or belief. This illustrates why an argumentation which is a paradox to a given mathematician at a given time may well not be a paradox to the same mathematician at a later time. -/- The present article considers several set-theoretic argumentations that appeared in the period 1903-1908. The year 1903 saw the publication of B. Russell's Principles of mathematics, [Cambridge Univ. Press, Cambridge, 1903; Jbuch 34, 62]. The year 1908 saw the publication of Russell's article on type theory as well as Ernst Zermelo's two watershed articles on the axiom of choice and the foundations of set theory. The argumentations discussed concern “the largest cardinal", “the largest ordinal", the well-ordering principle, “the well-ordering of the continuum", denumerability of ordinals and denumerability of reals. The article shows that these argumentations were variously classified by various mathematicians and that the surrounding atmosphere was one of confusion and misunderstanding, partly as a result of failure to make or to heed distinctions similar to those made above. The article implies that historians have made the situation worse by not observing or not analysing the nature of the confusion. -/- RECOMMENDATION This well-written and well-documented article exemplifies the fact that clarification of history can be achieved through articulation of distinctions that had not been articulated (or were not being heeded) at the time. The article presupposes extensive knowledge of the history of mathematics, of mathematics itself (especially set theory) and of philosophy. It is therefore not to be recommended for casual reading. AFTERWORD: This review was written at the same time Corcoran was writing his signature “Argumentations and logic”[249] that covers much of the same ground in much more detail. https://www.academia.edu/14089432/Argumentations_and_Logic . (shrink)

A widely circulated list of spurious proof types may help to clarify our understanding of informal mathematical reasoning. An account in terms of argumentation schemes is proposed.

This contribution aims to explore the historical predecessors of the Five Percenter model of self-realization, as popularized by Hip Hop artists such as Supreme Team, Rakim Allah, Brand Nubian, Wu-Tang Clan, or Sunz of Man. As compared to frequent considerations of the phenomenon as a creative mythological background for a socio-political struggle, Five Percenter teachings shall be discussed as contemporary interpretations of historical models of self-realization in various philosophical, religious, and esoteric systems. By putting the coded system of the tenfold (...) Supreme Mathematics as one of its core teachings in context with the Pythagorean Tetractys, an arrangement of ten points in four lines, the commonalities between the sequence and concepts attributed to the respective numbers will be demonstrated. (shrink)

The paper continues the consideration of Hilbert mathematics to mathematics itself as an additional “dimension” allowing for the most difficult and fundamental problems to be attacked in a new general and universal way shareable between all of them. That dimension consists in the parameter of the “distance between finiteness and infinity”, particularly able to interpret standard mathematics as a particular case, the basis of which are arithmetic, set theory and propositional logic: that is as a special “flat” case of Hilbert (...) mathematics. The following four essential problems are considered for the idea to be elucidated: Fermat’s last theorem proved by Andrew Wiles; Poincaré’s conjecture proved by Grigori Perelman and the only resolved from the seven Millennium problems offered by the Clay Mathematics Institute (CMI); the four-color theorem proved “machine-likely” by enumerating all cases and the crucial software assistance; the Yang-Mills existence and mass gap problem also suggested by CMI and yet unresolved. They are intentionally chosen to belong to quite different mathematical areas (number theory, topology, mathematical physics) just to demonstrate the power of the approach able to unite and even unify them from the viewpoint of Hilbert mathematics. Also, specific ideas relevant to each of them are considered. Fermat’s last theorem is shown as a Gödel insoluble statement by means of Yablo’s paradox. Thus, Wiles’s proof as a corollary from the modularity theorem and thus needing both arithmetic and set theory involves necessarily an inverse Grothendieck universe. On the contrary, its proof in “Fermat arithmetic” introduced by “epoché to infinity” (following the pattern of Husserl’s original “epoché to reality”) can be suggested by Hilbert arithmetic relevant to Hilbert mathematics, the mediation of which can be removed in the final analysis as a “Wittgenstein ladder”. Poincaré’s conjecture can be reinterpreted physically by Minkowski space and thus reduced to the “nonstandard homeomorphism” of a bit of information mathematically. Perelman’s proof can be accordingly reinterpreted. However, it is valid in Gödel (or Gödelian) mathematics, but not in Hilbert mathematics in general, where the question of whether it holds remains open. The four-color theorem can be also deduced from the nonstandard homeomorphism at issue, but the available proof by enumerating a finite set of all possible cases is more general and relevant to Hilbert mathematics as well, therefore being an indirect argument in favor of the validity of Poincaré’s conjecture in Hilbert mathematics. The Yang-Mills existence and mass gap problem furthermore suggests the most general viewpoint to the relation of Hilbert and Gödel mathematics justifying the qubit Hilbert space as the dual counterpart of Hilbert arithmetic in a narrow sense, in turn being inferable from Hilbert arithmetic in a wide sense. The conjecture that many if not almost all great problems in contemporary mathematics rely on (or at least relate to) the Gödel incompleteness is suggested. It implies that Hilbert mathematics is the natural medium for their discussion or eventual solutions. (shrink)

Descartes holds that the tell-tale sign of a solid proof is that its entailments appear clearly and distinctly. Yet, since there is a limit to what a subject can consciously fathom at any given moment, a mnemonic shortcoming threatens to render complex geometrical reasoning impossible. Thus, what enables us to recall earlier proofs, according to Descartes, is God’s benevolence: He is too good to pull a deceptive switch on us. Accordingly, Descartes concludes that geometry and belief in God must (...) go hand in hand. However, I argue that, while theism adds a layer of psychological reassurance, the mind-independent reality of God would ensure the preservation of past demonstrations for atheists as well. (shrink)

We report on an exploratory study of the way eight mid-level undergraduate mathematics majors read and reflected on four student-generated arguments purported to be proofs of a single theorem. The results suggest that mid-level undergraduates tend to focus on surface features of such arguments and that their ability to determine whether arguments are proofs is very limited -- perhaps more so than either they or their instructors recognize. We begin by discussing arguments (purported proofs) regarded as texts and validations of (...) those arguments, i.e., reflections of individuals checking whether such arguments really are proofs of theorems. We relate the way the mathematics research community views proofs and their validations to ideas from reading comprehension and literary theory. We then give a detailed analysis of the four student-generated arguments and finally analyze the eight students' validations of them. (shrink)

The influence of religious beliefs to several leading mathematicians in early Soviet years, especially among members of the Moscow Mathematical Society, had drawn the attention of militant Soviet marxists, as well as Soviet authorities. The issue has also drawn significant attention from scholars in the post-Soviet period. According to the currently prevailing interpretation, reported purges against Moscow mathematicians due to their religious inclination are the focal point of the relevant history. However, I maintain that historical data arguably offer reasons (...) to cast reasonable doubts on this interpretation. In this paper, by reviewing the relevant literature, I raise some methodological and philosophical concerns, in an attempt to contribute to a better understanding of the issue. I maintain that an efficient line of reasoning is to discuss issues in the context of their making, taking into consideration the specific features of each era’s culture. Thus, by focusing on P.A. Nekrasov’s case, I attempt to point to an alternative interpretation, in which the different treatment of religious inclined mathematicians by Soviet authorities is explained in the context of the ideological confrontation between two contrasting worldviews, as part of the ongoing class war in the several phases of Soviet history. (shrink)

This paper examines the role of reason in Shepherd's account of acquiring knowledge of the external world via first principles. Reason is important, but does not have a foundational role. Certain principles enable us to draw the required inferences for acquiring knowledge of the external world. These principles are basic, foundational and, more importantly, self‐evident and thus justified in other ways than by demonstration. Justificatory demonstrations of these principles are neither required, nor possible. By drawing on textual and contextual evidence, (...) I will show that Shepherd should have said that we know the first principles of any science, in general, and that “everything which begins to exist must have a cause”, in particular, via intuition, not via reason. Reasoning about such principles can help their self‐evidence shine through in certain cases; their justification, and our being justified in believing them, does not come from this reasoning, however. (shrink)

Let mathematical justification be the kind of justification obtained when a mathematician provides a proof of a theorem. Are Gettier cases possible for this kind of justification? At first sight we might think not: The standard for mathematical justification is proof and, since proof is bound at the hip with truth, there is no possibility of having an epistemically lucky justification of a true mathematical proposition. In this paper, I argue that Gettier cases are possible (and indeed (...) actual) in mathematical reasoning. By analysing these cases, I suggest that the Gettier phenomenon indicates some upshots for actual mathematical practice. (shrink)

Building on the notational principles of C. S. Peirce’s graphical logic, Pietarinen has tried to develop a propositional logic unfolding in the medium of sound. Apart from its intrinsic interest, this project serves as a concrete test of logic’s range. However, I argue that Pietarinen’s inaugural proposal, while promising, has an important shortcoming, since it cannot portray double-negation without thereby portraying a contradiction.

Our visual experience seems to suggest that no continuous curve can cover every point of the unit square, yet in the late nineteenth century Giuseppe Peano proved that such a curve exists. Examples like this, particularly in analysis (in the sense of the infinitesimal calculus) received much attention in the nineteenth century. They helped instigate what Hans Hahn called a “crisis of intuition”, wherein visual reasoning in mathematics came to be thought to be epistemically problematic. Hahn described this “crisis” (...) as follows: Mathematicians had for a long time made use of supposedly geometric evidence as a means of proof in much too naive and much too uncritical a way, till the unclarities and mistakes that arose as a result forced a turnabout. Geometrical intuition was now declared to be inadmissible as a means of proof... (p. 67) Avoiding geometrical evidence, Hahn continued, mathematicians aware of this crisis pursued what he called “logicization”, “when the discipline requires nothing but purely logical fundamental concepts and propositions for its development.” On this view, an epistemically ideal mathematics would minimize, or avoid altogether, appeals to visual representations. This would be a radical reformation of past practice, necessary, according to its advocates, for avoiding “unclarities and mistakes” like the one exposed by Peano. (shrink)

Edward Feser defends the ‘Aristotelian proof’ for the existence of God, which reasons that the only adequate explanation of the existence of change is in terms of an unchangeable, purely actual being. His argument, however, relies on the falsity of the Existential Inertia Thesis, according to which concrete objects tend to persist in existence without requiring an existential sustaining cause. In this article, I first characterize the dialectical context of Feser’s Aristotelian proof, paying special attention to EIT and its rival (...) thesis—the Existential Expiration Thesis. Next, I provide a more precise characterization of EIT, after which I outline two metaphysical accounts of existential inertia. I then develop new lines of reasoning in favor of EIT that appeal to the theoretical virtues of explanatory power and simplicity. Finally, I address the predominant criticisms of EIT in the literature. (shrink)

This study focuses on undergraduate students' ability to unpack informally written mathematical statements into the language of predicate calculus. Data were collected between 1989 and 1993 from 61students in six small sections of a “bridge" course designed to introduce proofs and mathematical reasoning. We discuss this data from a perspective that extends the notion of concept image to that of statement image and introduces the notion of proof framework to indicate the top-level logical structure of a proof. (...) For simplified informal calculus statements, just 8.5% of unpacking attempts were successful; for actual statements from calculus texts, this dropped to 5%. We infer that these students would be unable to reliably relate informally stated theorems with the top-level logical structure of their proofs and hence could not be expected to construct proofs or evaluate their validity. (shrink)

Leibniz proposed the ‘Most Determined Path Principle’ in seventeenth century. According to it, ‘ease’ of travel is the end purpose of motion. Using this principle and his calculus method he demonstrated Snell’s Laws of reflection and refraction. This method shows that light follows extremal (local minimum or maximum) time path in going from one point to another, either directly along a straight line path or along a broken line path when it undergoes reflection or refraction at plane or spherical (concave (...) or convex) surfaces. The extremal time path avoided the criticism that Fermat’s least time path was subjected to, by Cartesians who cited examples of reflections at spherical surfaces where light took the path of longest time. Thereby it became the standard method of demonstration of Snell’s Laws. Ptolemy’s theorem is a fundamental theorem in geometry. A special case of it offers a method of finding the minimum sum of the two distances of a point from two given fixed points. We show in this paper that Leibniz’s calculus proof of Snell’s Laws violates Ptolemy’s theorem, whereby Leibniz’s proof becomes invalid. (shrink)

We demonstrate how real progress can be made in the debate surrounding the enhanced indispensability argument. Drawing on a counterfactual theory of explanation, well-motivated independently of the debate, we provide a novel analysis of ‘explanatory generality’ and how mathematics is involved in its procurement. On our analysis, mathematics’ sole explanatory contribution to the procurement of explanatory generality is to make counterfactual information about physical dependencies easier to grasp and reason with for creatures like us. This gives precise content to key (...) intuitions traded in the debate, regarding mathematics’ procurement of explanatory generality, and adjudicates unambiguously in favour of the nominalist, at least as far as explanatory generality is concerned. (shrink)

In this paper a class of languages which are formal enough for mathematical reasoning is introduced. Its languages are called mathematically agreeable. Languages containing a given MA language L, and being sublanguages of L augmented by a monadic predicate, are constructed. A mathematical theory of truth (shortly MTT) is formulated for some of those languages. MTT makes them fully interpreted MA languages which posses their own truth predicates. MTT is shown to conform well with the eight norms (...) formulated for theories of truth in the paper 'What Theories of Truth Should be Like (but Cannot be)', by Hannes Leitgeb. MTT is also free from infinite regress, providing a proper framework to study the regress problem. Main tools used in proofs are Zermelo-Fraenkel (ZF) set theory and classical logic. (shrink)

We provide a new interpretation of Zeno’s Paradox of Measure that begins by giving a substantive account, drawn from Aristotle’s text, of the fact that points lack magnitude. The main elements of this account are (1) the Axiom of Archimedes which states that there are no infinitesimal magnitudes, and (2) the principle that all assignments of magnitude, or lack thereof, must be grounded in the magnitude of line segments, the primary objects to which the notion of linear magnitude applies. Armed (...) with this account, we are ineluctably driven to introduce a highly constructive notion of (outer) measure based exclusively on the total magnitude of potentially infinite collections of line segments. The Paradox of Measure then consists in the proof that every finite or potentially infinite collection of points lacks magnitude with respect to this notion of measure. We observe that the Paradox of Measure, thus understood, troubled analysts into the 1880’s, despite their knowledge that the linear continuum is uncountable. The Paradox was ultimately resolved by Borel in his thesis of 1893, as a corollary to his celebrated result that every countable open cover of a closed line segment has a finite sub-cover, a result he later called the “First Fundamental Theorem of Measure Theory.” This achievement of Borel has not been sufficiently appreciated. We conclude with a metamathematical analysis of the resolution of the paradox made possible by recent results in reverse mathematics. (shrink)

Students do not necessarily use the definitions presented to them when determining examples or non-examples of given mathematical ideas. Instead, they utilize the concept image they carry with them as a result of experiences with such examples and nonexamples. Hence, teachers should try exploring students‟ images of various mathematical concepts in order to improve communication between students and teachers. This suggestion can be addressed through error analysis. This study therefore is a descriptive-qualitative type that looked into the errors (...) committed by senior high school students in dealing with mathematical functions, explored the underlying reasons for such errors, and provided recommendations on how students could learn to manage their errors and how teachers could realize how to manage students‟ errors. Initial findings showed that the students generally demonstrated mathematical, logical and strategic errors. Mathematical error was generally exhibited in their inability to use properties and operations properly. Logical error was exhibited in their false arguments, rearranging concepts, improper classifications, arguing cyclically, and using equivalent transforms. Strategic error was manifested in their not being able to distinguish patterns, lack of integral concept, and not being able to transform a word problem into symbols. Errors prevailed despite the students‟ positive view and confidence in mathematics not only because of poor image concepts but because of lack of exposure to certain important mathematical tasks. Further investigation on the other sources of these errors is therefore necessary. (shrink)

Reverse mathematics studies which subsystems of second order arithmetic are equivalent to key theorems of ordinary, non-set-theoretic mathematics. The main philosophical application of reverse mathematics proposed thus far is foundational analysis, which explores the limits of different foundations for mathematics in a formally precise manner. This paper gives a detailed account of the motivations and methodology of foundational analysis, which have heretofore been largely left implicit in the practice. It then shows how this account can be fruitfully applied in the (...) evaluation of major foundational approaches by a careful examination of two case studies: a partial realization of Hilbert’s program due to Simpson [1988], and predicativism in the extended form due to Feferman and Schütte. -/- Shore [2010, 2013] proposes that equivalences in reverse mathematics be proved in the same way as inequivalences, namely by considering only omega-models of the systems in question. Shore refers to this approach as computational reverse mathematics. This paper shows that despite some attractive features, computational reverse mathematics is inappropriate for foundational analysis, for two major reasons. Firstly, the computable entailment relation employed in computational reverse mathematics does not preserve justification for the foundational programs above. Secondly, computable entailment is a Pi-1-1 complete relation, and hence employing it commits one to theoretical resources which outstrip those available within any foundational approach that is proof-theoretically weaker than Pi-1-1-CA0. (shrink)

Mathematicians often speak of conjectures as being confirmed by evidence that falls short of proof. For their own conjectures, evidence justifies further work in looking for a proof. Those conjectures of mathematics that have long resisted proof, such as the Riemann hypothesis, have had to be considered in terms of the evidence for and against them. In recent decades, massive increases in computer power have permitted the gathering of huge amounts of numerical evidence, both for conjectures in pure mathematics and (...) for the behavior of complex applied mathematical models and statistical algorithms. Mathematics has therefore become (among other things) an experimental science (though that has not diminished the importance of proof in the traditional style). We examine how the evaluation of evidence for conjectures works in mathematical practice. We explain the (objective) Bayesian view of probability, which gives a theoretical framework for unifying evidence evaluation in science and law as well as in mathematics. Numerical evidence in mathematics is related to the problem of induction; the occurrence of straightforward inductive reasoning in the purely logical material of pure mathematics casts light on the nature of induction as well as of mathematical reasoning. (shrink)

The aim of this article is to investigate the roles of commutative diagrams (CDs) in a specific mathematical domain, and to unveil the reasons underlying their effectiveness as a mathematical notation; this will be done through a case study. It will be shown that CDs do not depict spatial relations, but represent mathematical structures. CDs will be interpreted as a hybrid notation that goes beyond the traditional bipartition of mathematical representations into diagrammatic and linguistic. It will (...) be argued that one of the reasons why CDs form a good notation is that they are highly mathematically tractable: experts can obtain valid results by ‘calculating’ with CDs. These calculations, take the form of ‘diagram chases’. In order to draw inferences, experts move algebraic elements around the diagrams. It will be argued that these diagrams are dynamic. It is thanks to their dynamicity that CDs can externalize the relevant reasoning and allow experts to draw conclusions directly by manipulating them. Lastly, it will be shown that CDs play essential roles in the context of proof as well as in other phases of the mathematical enterprise, such as discovery and conjecture formation. (shrink)

Kant's obscure essay entitled An Attempt to Introduce the Concept of Negative Quantities into Philosophy has received virtually no attention in the Kant literature. The essay has been in English translation for over twenty years, though not widely available. In his original 1983 translation, Gordon Treash argues that the Negative Quantities essay should be understood as part of an ongoing response to the philosophy of Christian Wolff. Like Hoffmann and Crusius before him, the Kant of 1763 is at odds with (...) the Leibnizian-Wolffian tradition of deductive metaphysics. He joins his predecessors in rejecting the assumption that the law of contradiction alone can provide proof of the principle of sufficient reason: -/- In his rejection of the possibility of deducing all philosophic truth from the law of contradiction, however, and in the clear recognition that this impossibility has immediate consequences for defense of the law of sufficient reason, Kant's work most definitely and positively constitutes a line of succession from Hoffmann and Crusius (Treash, 1983, p. 25). -/- The recognition that Kant's Negative Quantities essay is part of a response to the tradition of deductive metaphysics is, without a doubt, an important contribution to the Kant literature. However, there is still more to be said about this neglected essay. The full significance of the paper becomes known through its ties to a second, empiricist line of succession. Clues to this second line of succession can be found in Kant's prefatory remarks concerning Euler's 1748 Reflections on Space and Time and Crusius' 1749 Guidance in the Orderly and Careful Consideration of Natural Events. As I will show, these prefatory remarks suggest a reading of Kant's Negative Quantities paper that reaches beyond German deductive metaphysics to engage a debate regarding the application of mathematics in philosophy initiated by George Berkeley. (shrink)

Why study notations, diagrams, or more broadly the variety of nonverbal “representations” or “signs” that are used in mathematical practice? This chapter maps out recent work on the topic by distinguishing three main philosophical motivations for doing so. First, some work (like that on diagrammatic reasoning) studies signs to recover norms of informal or historical mathematical practices that would get lost if the particular signs that these practices rely on were translated away; work in this vein has (...) the potential to broaden our view of the specific normativity of mathematics beyond logical proof. Second, some work focuses on signs to highlight the open-ended and “nonrigorous” aspects of mathematical practice, and the role of these aspects in the historical development of mathematics. The third motivation is based on the following observation: the reason differences in signs matter in mathematics is that humans are finite agents, with cognitive and computational limitations. Accordingly, studying signs can be a way to study how human computational constraints shape the mathematics that we do, and to tackle the topic of mathematical understanding. (shrink)

Mathematical instrumentalism construes some parts of mathematics, typically the abstract ones, as an instrument for establishing statements in other parts of mathematics, typically the elementary ones. Gödel’s second incompleteness theorem seems to show that one cannot prove the consistency of all of mathematics from within elementary mathematics. It is therefore generally thought to defeat instrumentalisms that insist on a proof of the consistency of abstract mathematics from within the elementary portion. This article argues that though some versions of (...) class='Hi'>mathematical instrumentalism are defeated by Gödel’s theorem, not all are. By considering inductive reasons in mathematics, we show that some mathematical instrumentalisms survive the theorem. (shrink)

Why can testimony alone be enough for findings of liability? Why statistical evidence alone can’t? These questions underpin the “Proof Paradox” (Redmayne 2008, Enoch et al. 2012). Many epistemologists have attempted to explain this paradox from a purely epistemic perspective. I call it the “Epistemic Project”. In this paper, I take a step back from this recent trend. Stemming from considerations about the nature and role of standards of proof, I define three requirements that any successful account in line with (...) the Epistemic Project should meet. I then consider three recent epistemic accounts on which the standard is met when the evidence rules out modal risk (Pritchard 2018), normic risk (Ebert et al. 2020), or relevant alternatives (Gardiner 2019 2020). I argue that none of these accounts meets all the requirements. Finally, I offer reasons to be pessimistic about the prospects of having a successful epistemic explanation of the paradox. I suggest the discussion on the proof paradox would benefit from undergoing a ‘value-turn’. (shrink)