A proof of Fermat’s last theorem is demonstrated. It is very brief, simple, elementary, and absolutely arithmetical. The necessary premises for the proof are only: the three definitive properties of the relation of equality (identity, symmetry, and transitivity), modus tollens, axiom of induction, the proof of Fermat’s last theorem in the case of n = 3 as well as the premises necessary for the formulation of the theorem itself. It involves a modification of Fermat’s approach of infinite (...) descent. The infinite descent is linked to induction starting from n = 3 by modus tollens. An inductive series of modus tollens is constructed. The proof of the series by induction is equivalent to Fermat’s last theorem. As far as Fermat had been proved the theorem for n = 4, one can suggest that the proof for n ≥ 4 was accessible to him. An idea for an elementary arithmetical proof of Fermat’s last theorem (FLT) by induction is suggested. It would be accessible to Fermat unlike Wiles’s proof (1995). (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)

Faith has many aspects. One of them is whether absolute logical proof for God’s existence is a prerequisite for the proper establishment and individual acceptance of a religious system. The treatment of this question, examined here in the Jewish context of Rabbi Prof. Eliezer Berkovits, has been strongly influenced in the modern era by the radical foundationalism and radical skepticism of Descartes, who rooted in the Western mind the notion that religion and religious issues are “all or nothing” questions. (...) Cartesianism, which surprisingly became the basis of modern secularism, was criticized by the classical American pragmatists. Peirce, James and Dewey all rejected the attempt to achieve infallible absolute knowledge, as well as the presumptuousness of establishing such a knowledge by means of casting Cartesian hyperbolic doubt. They advocated an alternative approach which was more holistic and humane. This paper lays out Descartes’s approach and the pragmatists’ critique. Despite the place that pragmatic considerations hold in Jewish tradition, some thinkers reject the relevance of these ideas. Yet Berkovits’s thought suggest a different path. He rejected Descartes’ radical skepticism and his radical foundationalism, in favor of a moderate foundationalism, which allows for a belief in God alongside constructive doubts. Similar to Peirce’s conception of the fixation of belief, Berkovits views local doubts (distinct from the hyperbolic doubt) as necessary for thought. Berkovits’s understanding of the biblical human-divine encounter, following Rosenzweig, Buber, and Heschel, is conceptualized here as “encounter theology”. Berkovits criticizes the propositionalist attempts to prove God’s existence logically, as well as the presumptuousness of basing religious belief on the teleological world-order. However, Berkovits’s conception of the ‘caring God’ is not provable, and thus defined as a pragmatic ‘postulate’. The article concludes by considering Berkovits’s “encounter theology”. In contrast to the approach described by Haym Soloveitchik, of halakhic stringency and lack of subjective experience of God’s face, Berkovits’s approach is dialogic through and through. (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)

Abstract: In this paper, the definition of triple Aboodh transform of fractional order α, where α ϵ [0, 1], is introduced for functions which are fractional differentiable. We also present several properties of this transform. Furthermore, some main theorems and their proofs are discussed.

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)

This article argues, against contemporary experimentalist criticism, that conceptual analysis has epistemic value, with a structure that encourages the development of interesting hypotheses which are of the right form to be valuable in diverse areas of philosophy. The article shows, by analysis of the Gettier programme, that conceptual analysis shares the proofs and refutations form Lakatos identified in mathematics. Upon discovery of a counterexample, this structure aids the search for a replacement hypothesis. The search is guided by heuristics. The heuristics (...) of conceptual analysis are similar to those in other interesting areas of scholarship, and so hypotheses generated by it are of the right form to be applicable to diverse areas. The article shows that the explanationist criterion in epistemology was developed and applied in this way. The epistemic value of conceptual analysis is oblique because it contributes not towards the main purpose of conceptual analysis but towards the reliable development of epistemically valuable hypotheses in philosophy and scholarship. (shrink)

[Accepted for publication in Lakatos's Undone Work: The Practical Turn and the Division of Philosophy of Mathematics and Philosophy of Science, special issue of Kriterion: Journal of Philosophy. Edited by S. Nagler, H. Pilin, and D. Sarikaya.] Lakatos’s analysis of progress and degeneration in the Methodology of Scientific Research Programmes is well-known. Less known, however, are his thoughts on degeneration in Proofs and Refutations. I propose and motivate two new criteria for degeneration based on the discussion in Proofs and Refutations (...) – superfluity and authoritarianism. I show how these criteria augment the account in Methodology of Scientific Research Programmes, providing a generalized Lakatosian account of progress and degeneration. I then apply this generalized account to a key transition point in the history of entropy – the transition to an information-theoretic interpretation of entropy – by assessing Jaynes’s 1957 paper on information theory and statistical mechanics. (shrink)

This paper sets mathematics among the sciences, despite not being empirical, because it studies relations of various sorts, like the sciences. Each empirical science studies the relations among objects, which relations determining which science. The mathematical science studies relations as such, regardless of what those relations may be or be among, how relations themselves are related. This places it at the extreme among the sciences with no objects of its own (A Subject with no Object, by J.P. Burgess and G. (...) Rosen). Examples are discussed. The historical development of written mathematics from algorithms on clay tablets to theorems with proofs is said to show that application of algorithms to specific problems and theorems to scientific objects is like allegorical interpretation. Mathematics fits into the modern scientific context because the sciences, beginning with Galileo, have been constructed in imitation of mathematics. Viewing mathematics this way does not solve any ontological problems, but it does show how mathematics avoids them. Epistemological problems, insuperable for object realism, are simplified. For example, we have access to relations among any objects that we can consider objectively, first physical objects and then mathematical objects of greater and greater abstraction. (shrink)

Aunque el derecho probatorio y el derecho procesal se han dedicado desde siempre al estudio de los problemas relacionados con las pruebas y el establecimiento de los hechos en los procesos judiciales, el énfasis ha estado siempre en el aspecto formal, doctrinal y procedimental en detrimento de los fundamentos filosóficos y teóricos. Durante los últimos años ha habido un intento sostenido de explorar estos fundamentos combinando no sólo las herramientas tradicionales proporcionadas por la lógica, la gramática y la retórica, sino (...) también los avances hechos en ciencias como la estadística y la probabilidad, la medicina y la psicología forenses, la psicología de la percepción, la epistemología y la filosofía de la ciencia. El presente libro reúne las contribuciones de destacados juristas y filósofos latinoamericanos a esta nueva perspectiva interdisciplinaria, conocida como epistemología jurídica. El libro está dividido en tres grandes temas: la primera parte explora los problemas epistemológicos del conocimiento de los hechos en los procesos judiciales; la segunda se enfoca en el problema de los estándares de prueba; y la sección final discute el testimonio de los expertos. En su conjunto el libro ofrece un panorama tanto de los problemas centrales de la epistemología jurídica, como del estado del arte de la disciplina. (shrink)

Coronavirus is a viral irresistible sickness brought about by SARS- COV2. Its clinical signs and side effects are on an expansive range going from asymptomatic to serious confusions like multi-organ disappointment, thromboembolism, and extreme pneumonia with respiratory disappointment. More awful results and higher death rates have been accounted for in the old, individuals with co-morbidities, and malnourished people. Sustenance is central to acceptable wellbeing and safe capacity. It frames an essential segment of therapy modalities for different intense and persistent infections, (...) particularly where a causative therapy isn't yet perceived. Despite the fact that reviews tending to the part of explicit supplements in COVID-19 are still at a beginning phase, accessible proof recommends that addressing the necessities of a variety of large scale and miniature supplements (energy, proteins, fats, nutrients A, D, E, C, B nutrients, iron, selenium, zinc, and so forth) Additionally, supplements are Immune System Might Promote Recovery for Mild COVID-19 Patients Impact of Coronavirus on Education in India Review 466 determinants of the sythesis of the gut microbiota that thusly impacts the attributes of safe reactions in the body. (shrink)

Cantor’s proof that the powerset of the set of all natural numbers is uncountable yields a version of Richard’s paradox when restricted to the full definable universe, that is, to the universe containing all objects that can be defined not just in one formal language but by means of the full expressive power of natural language: this universe seems to be countable on one account and uncountable on another. We argue that the claim that definitional contexts impose restrictions on (...) the scope of quantifiers reveals a natural way out. (shrink)

Paley’s ‘proof’ of the existence of God, or some supposed version of it, is well known. In this paper I offer the real thing and two objections to it. One objection is my own, and the other is provided by Darwin.

Gaisi Takeuti (1926–2017) is one of the most distinguished logicians in proof theory after Hilbert and Gentzen. He extensively extended Hilbert's program in the sense that he formulated Gentzen's sequent calculus, conjectured that cut-elimination holds for it (Takeuti's conjecture), and obtained several stunning results in the 1950–60s towards the solution of his conjecture. Though he has been known chiefly as a great mathematician, he wrote many papers in English and Japanese where he expressed his philosophical thoughts. In particular, he (...) used several keywords such as "active intuition" and "self-reflection" from Nishida's philosophy. In this paper, we aim to describe a general outline of our project to investigate Takeuti's philosophy of mathematics. In particular, after reviewing Takeuti's proof-theoretic results briefly, we describe some key elements in Takeuti's texts. By explaining these texts, we point out the connection between Takeuti's proof theory and Nishida's philosophy and explain the future goals of our project. (shrink)

According to Jim Pryor’s dogmatism, if you have an experience as if P, you acquire immediate prima facie justification for believing P. Pryor contends that dogmatism validates Moore’s infamous proof of a material world. Against Pryor, I argue that if dogmatism is true, Moore’s proof turns out to be non-transmissive of justification according to one of the senses of non-transmissivity defined by Crispin Wright. This type of non-transmissivity doesn’t deprive dogmatism of its apparent antisceptical bite.

In "The Nature and Meaning of Numbers," Dedekind produces an original, quite remarkable proof for the holy grail in the foundations of elementary arithmetic, that there are an infinite number of things. It goes like this. [p, 64 in the Dover edition.] Consider the set S of things which can be objects of my thought. Define the function phi(s), which maps an element s of S to the thought that s can be an object of my thought. Then phi (...) is evidently one-to-one, and the image of phi is contained in S. Indeed, it is properly contained in S, because I myself can be an object of my thoughts and so belong to S, but I myself am not a mere thought. Thus S is infinite. (shrink)

This paper draws attention to a proof of the necessity of identity given by Arthur Prior. In its simplicity, it is comparable to a proof of Quine's, popularised by Kripke, but it is slightly different. Prior's Polish notation is transcribed into a more familiar idiom. Prior's proof is followed by a proof of the necessity of difference, possibly the first such proof in the literature, which is also repeated here and transcribed. The paper concludes with (...) a brief discussion of Prior's views on identity and difference over time. (shrink)

In the opening chapter of the Monologion, Anselm offers an intriguing proof for the existence of a Platonic form of goodness. This proof is extremely interesting, both in itself and for its place in the broader argument for God’s existence that Anselm develops in the Monologion as a whole. Even so, it has yet to receive the scholarly attention that it deserves. My aim in this article is to begin correcting this state of affairs by examining Anslem’s (...) class='Hi'>proof in some detail. In particular, I aim to clarify the proof’s structure, motivate and explain its central premises, and begin the larger project of evaluating its overall success as an argument for Platonism about goodness. (shrink)

The current standard interpretation of Moore’s proof assumes Moore offers a solution to Kant’s famously posed problem of an external world, which Moore quotes at the start of his 1939 lecture “Proof of an External World.” As a solution to Kant’s problem, Moore’s proof fails utterly. Similarly, a second received interpretation imputes an aim of refuting metaphysical idealism that Moore’s proof does not at all achieve. This study departs from the received interpretations to credit Moore’s stated (...) aim for the proof Moore performed in his 1939 lecture that is to impose a counter-example to an explicitly stated presupposition of Kant’s famously posed problem of an external world. The outcome would therefore subvert Kant’s problem. There is not, however, any rival external world problem that Moore commends in place of Kant’s problem. (shrink)

The current standard interpretation of Moore’s proof assumes he offers a solution to Kant’s famously posed problem of an external world, which Moore quotes at the start of his 1939 lecture “Proof of an External World.” As a solution to Kant’s problem, Moore’s proof would fail utterly. A second received interpretation imputes an aim of refuting metaphysical idealism that Moore’s proof does not at all achieve. This study departs from received interpretations to credit the aim Moore (...) announced for the proof Moore performed in his 1939 lecture. Moore’s aim was to impose a counter-example to a stated presupposition of Kant’s problem of an external world. Moore’s lecture nevertheless neither endorses a replacement for Kant’s problem nor acknowledges that an immediate implication of achieving his announced aim would subvert Kant’s famously posed problem of an external world. (shrink)

We develop a reading of Moore’s “Proof of an External World” that emphasizes the connections between this paper and Moore’s earlier concerns and strategies. Our reading has the benefit of explaining why the claims that Moore advances in “Proof of an External World” would have been of interest to him, and avoids attributing to him arguments that are either trivial or wildly unsuccessful. Part of the evidence for our view comes from unpublished drafts which, we believe, contain important (...) clues concerning Moore’s aims and intent. While our approach to PEW may be classified alongside other broadly "metaphysical" readings, we believe that a proper recognition of the continuity in Moore’s philosophical concerns and strategies across his philosophical career shows that the customary distinction between "epistemological" and "metaphysical" interpretative approaches to PEW is at best superficial. (shrink)

Dummett’s justification procedures are revisited. They are used as background for the discussion of some conceptual and technical issues in proof-theoretic semantics, especially the role played by assumptions in proof-theoretic definitions of validity.

Commentators almost universally agree that Locke denies the possibility of thinking matter in Book IV Chapter 10 of the Essay. Further, they argue that Locke must do this in order for his proof of God’s existence in the chapter to be successful. This paper disputes these claims and develops an interpretation according to which Locke allows for the possibility that a system of matter could think (even prior to any act of superaddition on God’s part). In addition, the paper (...) argues that this does not destroy Locke’s argument in the chapter, instead it helps to illuminate the nature of it. The paper proceeds in two main stages. First, Locke denies that matter can produce thought. A distinction between two senses of “production” shows that this claim is compatible with the existence of thinking matter. Second, Locke denies that God could be a system of randomly moving particles. Most commentators take this to mean that such a system could not think. But Locke is better interpreted as denying that such a system could have the wisdom and knowledge of God. (shrink)

Euclid's classic proof about the infinitude of prime numbers has been a standard model of reasoning in student textbooks and books of elementary number theory. It has withstood scrutiny for over 2000 years but we shall prove that despite the deceptive appearance of its analytical reasoning it is tautological in nature. We shall argue that the proof is more of an observation about the general property of a prime numbers than an expository style of natural deduction of the (...) proof of their infinitude. (shrink)

This paper explains a way of understanding Kant's proof of God's existence in the Critique of Practical Reason that has hitherto gone unnoticed and argues that this interpretation possesses several advantages over its rivals. By first looking at examples where Kant indicates the role that faith plays in moral life and then reconstructing the proof of the second Critique with this in view, I argue that, for Kant, we must adopt a certain conception of the highest good, and (...) so also must choose to believe in the kind of God that can make it possible, because this is essentially a way of actively striving for virtue. One advantage of this interpretation, I argue, is that it is able to make sense of the strong link Kant draws between morality and religion. (shrink)

Avicenna's proof for the existence of God (the Necessary Existent) in the Metaphysics of the Salvation relies on the claim that every possible existent shares a common cause. I argue that Avicenna has good reason to hold this claim given that he thinks that (1) every essentially ordered causal series originates in a first, common cause and that (2) every possible existent belongs to an essentially ordered series. Showing Avicenna's commitment to 1 and 2 allows me to respond to (...) Herbert Davidson's and Richard Swinburne's claim that Avicenna's proof for the Necessary Existent is incomplete and fallacious -/- . (shrink)

This chapter discusses Kant's 1763 "possibility proof" for the existence of God. I first provide a reconstruction of the proof in its two stages, and then revisit my earlier argument according to which the being the proof delivers threatens to be a Spinozistic-panentheistic God—a being whose properties include the entire spatio-temporal universe—rather than the traditional, ontologically distinct God of biblical monotheism. I go on to evaluate some recent alternative readings that have sought to avoid this result by (...) arguing that the relevant facts about real modality can be ultimately grounded in God’s powers or thoughts – or that Kant just leaves the grounding relations mysterious. I argue that the textual and philosophical costs of each of these alternative readings are formidable. The chapter concludes with a discussion of the fate of the proof in the critical period. Some commentators think that it disappears altogether, or that it is downgraded such that it produces a mere regulative idea of God as the most real being. I suggest that the proof survives but that the mode of assent it licenses towards its conclusion changes from knowledge to a certain kind of Belief (Glaube). (shrink)

The author argues that Plato’s “proof” that happiness follows justice has a fatal flaw – because the philosopher king in Plato’s Republic is itself a counter example.

Nearly a decade has past since Grove gave a semantics for the AGM postulates. The semantics, called sphere semantics, provided a new perspective of the area of study, and has been widely used in the context of theory or belief change. However, the soundness proof that Grove gives in his paper contains an error. In this note, we will point this out and give two ways of repairing it.

The aim of this text is to offer an explanation of Gödel's Theorem according to the schemes and notations of the original article. There are many good didactic explanations of the theorem that reveal its central points and implications, but these are difficult to recognize when reading the original work, due to the complexity of its formulation and the author's economical style in explaining the steps of his argument. An exposition of the central concepts will be made, as well as (...) a detailed explanation of the main points of the algebraic development of the proof, which will allow the non-specialist reader to find the well-known paradox from them. (shrink)

Gödel's incompleteness theorems establish the stunning result that mathematics cannot be fully formalized and, further, that any formal system containing a modicum of number or set theory cannot establish its own consistency. Wilfried Sieg and Clinton Field, in their paper Automated Search for Gödel's Proofs, presented automated proofs of Gödel's theorems at an abstract axiomatic level; they used an appropriate expansion of the strategic considerations that guide the search of the automated theorem prover AProS. The representability conditions that allow the (...) syntactic notions of the metalanguage to be represented inside the object language were taken as axioms in the automated proofs. The concrete task I am taking on in this project is to extend the search by formally verifying these conditions. Using a formal metatheory defined in the language of binary trees, the syntactic objects of the metatheory lend themselves naturally to a direct encoding in Zermelo's theory of sets. The metatheoretic notions can then be inductively defined and shown to be representable in the object-theory using appropriate inductive arguments. Formal verification of the representability conditions is the first step towards an automated proof thereof which, in turn, brings the automated verification of Gödel's theorems one step closer to completion. (shrink)

Mill’s Principle of Utility: Origins, Proof, and Implications (Leiden: Brill, 2022) is a scholarly monograph on John Stuart Mill’s utilitarianism with a particular emphasis on his proof of the principle of utility. Originally published as Mill’s Principle of Utility: A Defense of John Stuart Mill’s Notorious Proof (Amsterdam: Editions Rodopi, 1994), the present volume is a revised and enlarged edition with additional material, tighter arguments, crisper discussions, and updated references. The initiative is still principally an analysis, interpretation, (...) and defense of the controversial proof, which has yet to attract a scholarly consensus on how it works and whether it succeeds. Well over a century and a half after Mill’s contribution, the subject matter continues to figure prominently in classroom discussions, where the principle and its proof are presented and debated in connection with the critical baggage of logical problems and conceptual confusions wrongly attributed to Mill from the beginning. The overarching aim of the book, now supplemented by a comprehensive historical background and salient philosophical implications, remains the vindication of Mill’s reasoning in pursuit of what he promises as a proof of the principle of utility. (shrink)

Kant's A-Edition objective deduction is naturally (and has traditionally been) divided into two arguments: an " argument from above" and one that proceeds " von unten auf." This would suggest a picture of Kant's procedure in the objective deduction as first descending and ascending the same ladder, the better, perhaps, to test its durability or to thoroughly convince the reader of its soundness. There are obvious obstacles to such a reading, however; and in this chapter I will argue that the (...) arguments from above and below constitute different, albeit importantly inter-related, proofs. Rather than drawing on the differences in their premises, however, I will highlight what I take to be the different concerns addressed and, correspondingly, the distinct conclusions reached by each. In particular, I will show that both arguments can be understood to address distinct specters, with the argument from above addressing an internal concern generated by Kant’s own transcendental idealism, and the argument from below seeking to dispel a more traditional, broadly Humean challenge to the understanding’s role in experience. These distinct concerns also imply that these arguments yield distinct conclusions, though I will show that they are in fact complementary. (shrink)

Gaisi Takeuti extended Gentzen's work to higher-order case in 1950's–1960's and proved the consistency of impredicative subsystems of analysis. He has been chiefly known as a successor of Hilbert's school, but we pointed out in the previous paper that Takeuti's aimed to investigate the relationships between "minds" by carrying out his proof-theoretic project rather than proving the "reliability" of such impredicative subsystems of analysis. Moreover, as briefly explained there, his philosophical ideas can be traced back to Nishida's philosophy in (...) Kyoto's school. For the proving the consistency of such systems, it is crucial to prove the well-foundedness of ordinals called "ordinal diagrams" developed for it. Takeuti presented such arguments several times in order to show that they are admitted in his stand point. As a starting point of investigating his finitist stand point, we formulate the system of ordinal notations up to ε0 and reconstruct the well-foundedness arguments of them. (shrink)

Kant’s “moral proof” for the existence of God has been the subject of much criticism, even among his most sympathetic commentators. According to the critics, the primary problem is that the notion of the “highest good,” on which the moral proof depends, introduces an element of contingency and heteronomy into Kant’s otherwise strict, autonomy-based moral thinking. In this paper, I shall argue that Kant’s moral proof is not only more defensible than commentators have typically acknowledged, but also (...) has some very interesting implications (e.g. the moral proof is “circular” and thus implicitly self-validating). My account shall proceed in five stages: 1. Preliminary Discussion of the Moral Proof 2. the Argument of the Moral Proof 3. Critics of the Moral Proof 4. Defense of the Moral Proof 5. Implications of the Moral Proof: Circularity and Self-referentiality.” . (shrink)

In a previous paper, an elementary and thoroughly arithmetical proof of Fermat’s last theorem by induction has been demonstrated if the case for “n = 3” is granted as proved only arithmetically (which is a fact a long time ago), furthermore in a way accessible to Fermat himself though without being absolutely and precisely correct. The present paper elucidates the contemporary mathematical background, from which an inductive proof of FLT can be inferred since its proof for the (...) case for “n = 3” has been known for a long time. It needs “Hilbert mathematics”, which is inherently complete unlike the usual “Gödel mathematics”, and based on “Hilbert arithmetic” to generalize Peano arithmetic in a way to unify it with the qubit Hilbert space of quantum information. An “epoché to infinity” (similar to Husserl’s “epoché to reality”) is necessary to map Hilbert arithmetic into Peano arithmetic in order to be relevant to Fermat’s age. Furthermore, the two linked semigroups originating from addition and multiplication and from the Peano axioms in the final analysis can be postulated algebraically as independent of each other in a “Hamilton” modification of arithmetic supposedly equivalent to Peano arithmetic. The inductive proof of FLT can be deduced absolutely precisely in that Hamilton arithmetic and the pransfered as a corollary in the standard Peano arithmetic furthermore in a way accessible in Fermat’s epoch and thus, to himself in principle. A future, second part of the paper is outlined, getting directed to an eventual proof of the case “n=3” based on the qubit Hilbert space and the Kochen-Specker theorem inferable from it. (shrink)

In his Beweisgrund (1762), Kant presents a sketch of "the only possible basis" for a proof of God's existence. In this essay, I attempt to present that proof as a valid and sound argument for the existence of God.

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)

The paper is a continuation of another paper published as Part I. Now, the case of “n=3” is inferred as a corollary from the Kochen and Specker theorem (1967): the eventual solutions of Fermat’s equation for “n=3” would correspond to an admissible disjunctive division of qubit into two absolutely independent parts therefore versus the contextuality of any qubit, implied by the Kochen – Specker theorem. Incommensurability (implied by the absence of hidden variables) is considered as dual to quantum contextuality. The (...) relevant mathematical structure is Hilbert arithmetic in a wide sense, in the framework of which Hilbert arithmetic in a narrow sense and the qubit Hilbert space are dual to each other. A few cases involving set theory are possible: (1) only within the case “n=3” and implicitly, within any next level of “n” in Fermat’s equation; (2) the identification of the case “n=3” and the general case utilizing the axiom of choice rather than the axiom of induction. If the former is the case, the application of set theory and arithmetic can remain disjunctively divided: set theory, “locally”, within any level; and arithmetic, “globally”, to all levels. If the latter is the case, the proof is thoroughly within set theory. Thus, the relevance of Yablo’s paradox to the statement of Fermat’s last theorem is avoided in both cases. The idea of “arithmetic mechanics” is sketched: it might deduce the basic physical dimensions of mechanics (mass, time, distance) from the axioms of arithmetic after a relevant generalization, Furthermore, a future Part III of the paper is suggested: FLT by mediation of Hilbert arithmetic in a wide sense can be considered as another expression of Gleason’s theorem in quantum mechanics: the exclusions about (n = 1, 2) in both theorems as well as the validity for all the rest values of “n” can be unified after the theory of quantum information. The availability (respectively, non-availability) of solutions of Fermat’s equation can be proved as equivalent to the non-availability (respectively, availability) of a single probabilistic measure as to Gleason’s theorem. (shrink)

This is a defense of John Stuart Mill’s proof of the principle of utility in the fourth chapter of his Utilitarianism. The proof is notorious as a fallacious attempt by a prominent philosopher, who ought not to have made the elementary mistakes he is supposed to have made. This book shows that he did not. The aim is not to glorify utilitarianism, in a full sweep, as the best normative ethical theory, or even to vindicate, on a more (...) specific level, Mill’s universalistic ethical hedonism as the best form of utilitarianism. The book is concerned only with Mill’s utilitarianism, and primarily with his proof of the principle of utility. The purpose is to show that Mill proceeds intelligibly and systematically in pursuing a well-defined project in the fourth chapter of Utilitarianism, and that he successfully defends what he sets out to establish in his proof of the principle of utility. (shrink)

John von Neumann's proof that quantum mechanics is logically incompatible with hidden varibales has been the object of extensive study both by physicists and by historians. The latter have concentrated mainly on the way the proof was interpreted, accepted and rejected between 1932, when it was published, and 1966, when J.S. Bell published the first explicit identification of the mistake it involved. What is proposed in this paper is an investigation into the origins of the proof rather (...) than the aftermath. In the first section, a brief overview of the his personal life and his proof is given to set the scene. There follows a discussion on the merits of using here the historical method employed elsewhere by Andrew Warwick. It will be argued that a study of the origins of von Neumann's proof shows how there is an interaction between the following factors: the broad issues within a specific culture, the learning process of the theoretical physicist concerned, and the conceptual techniques available. In our case, the ‘conceptual technology’ employed by von Neumann is identified as the method of axiomatisation. (shrink)

This paper argues that we should reject G. E. Moore’s anti-skeptical argument as it is presented in “Proof of an External World.” However, the reason I offer is different from traditional objections. A proper understanding of Moore’s “proof” requires paying attention to an important distinction between two forms of skepticism. I call these Ontological Skepticism and Epistemic Skepticism. The former is skepticism about the ontological status of fundamental reality, while the latter is skepticism about our empirical knowledge. Philosophers (...) often assume that Moore’s response to “external world skepticism” deals exclusively with the former, not the latter. But this is a mistake. I shall argue that Moore’s anti-skeptical argument targets an ontological form of skepticism. Thus, the conclusion is an ontological claim about fundamental reality, while the premises are epistemic claims. If this is correct, then the conclusion outstrips the scope of its premises and proves too much. (shrink)

The problem of resurrection, one of the most important issues in the philosophy and theology. Some of Muslim philosophers and the vast majority of theologians always discussed about this topic. Some of Muslim philosophers accepted this problem and prove it, but, in quality of occurrence of them, they have differ believe from each other. However, some of Muslim theologians except those who believe in transmogrification, they consider the resurrection to be one of the principle of religion, beside monotheism and prophecy. (...) Moreover, they proved the principle of resurrection through reasons, and explanations them elaborates through the Holy Quran and Prophetic saying (Traditions- Hadith). Avicenna and Suhrawardi have been proving resurrection. Of course, for prove of this problem, they adopted of different manner from Muslim Theologians. Both of philosophers according to codify of ordinary psychological system, have proved and explanation this issue. Thus, for understand of Avicenna and Suhrawardi’s eschatology. First of all, we must understand of their psychological system. Furthermore, in this paper, we will discuss about survival of the soul according to immaterial soul and perfecting of soul as two premises for prove of resurrection. (shrink)

The Born’s rule to interpret the square of wave function as the probability to get a specific value in measurement has been accepted as a postulate in foundations of quantum mechanics. Although there have been so many attempts at deriving this rule theoretically using different approaches such as frequency operator approach, many-world theory, Bayesian probability and envariance, literature shows that arguments in each of these methods are circular. In view of absence of a convincing theoretical proof, recently some researchers (...) have carried out experiments to validate the rule up-to maximum possible accuracy using multi-order interference (Sinha et al, Science, 329, 418 [2010]). But, a convincing analytical proof of Born’s rule will make us understand the basic process responsible for exact square dependency of probability on wave function. In this paper, by generalizing the method of calculating probability in common experience into quantum mechanics, we prove the Born’s rule for statistical interpretation of wave function. (shrink)

After introductory reminder of and comments on Gödel’s ontological proof, we discuss the collapse of modalities, which is provable in Gödel’s ontological system GO. We argue that Gödel’s texts confirm modal collapse as intended consequence of his ontological system. Further, we aim to show that modal collapse properly fits into Gödel’s philosophical views, especially into his ontology of separation and union of force and fact, as well as into his cosmological theory of the nonobjectivity of the lapse of time. (...) As a result, modal collapse should not be conceived in Gödel so much as a deficit, but rather as a kind of the rise of modalities to the “perfect” being. We further show that, in accordance with Gödel’s ontology, the concepts of modality and time should be derived in terms of the “fundamental philosophical concept” of cause. To give an example of how a formalization of such causative Gödelian ontology and ontological proof might look, we propose the transformation of GO into a kind of causally re-interpreted justification logic. (shrink)

In his "Ontological proof", Kurt Gödel introduces the notion of a second-order value property, the positive property P. The second axiom of the proof states that for any property φ: If φ is positive, its negation is not positive, and vice versa. I put forward that this concept of positiveness leads into a paradox when we apply it to the following self-reflexive sentences: (A) The truth value of A is not positive; (B) The truth value of B is (...) positive. Given axiom 2, sentences A and B paradoxically cannot be both true or both false, and it is also impossible that one of the sentences is true whereas the other is false. (shrink)

Georg Cantor's absolute infinity, the paradoxical Burali-Forti class Ω of all ordinals, is a monstrous non-entity for which being called a "class" is an undeserved dignity. This must be the ultimate vexation for mathematical philosophers who hold on to some residual sense of realism in set theory. By careful use of Ω, we can rescue Georg Cantor's 1899 "proof" sketch of the Well-Ordering Theorem––being generous, considering his declining health. We take the contrapositive of Cantor's suggestion and add Zermelo's choice (...) function. This results in a concise and uncomplicated proof of the Well-Ordering Theorem. (shrink)

This article attempts to elucidate the phenomenon of time and its relationship to consciousness. It defends the idea that time exists both as a psychological or illusory experience, and as an ontological property of spacetime that actually exists independently of human experience.