Proofs of God in Early Modern Europe offers a fascinating window into early modern efforts to prove God’s existence. Assembled here are twenty-two key texts, many translated into English for the first time, which illustrate the variety of arguments that philosophers of the seventeenth and eighteenth centuries offered for God. These selections feature traditional proofs—such as various ontological, cosmological, and design arguments—but also introduce more exotic proofs, such as the argument from eternal truths, the argument from (...) universal aseity, and the argument ex consensu gentium. Drawn from the work of eighteen philosophers, this book includes both canonical figures (such as Descartes, Spinoza, Newton, Leibniz, Locke, and Berkeley) and noncanonical thinkers (such as Norris, Fontenelle, Voltaire, Wolff, Du Châtelet, and Maupertuis). -/- Lloyd Strickland provides fresh translations of all selections not originally written in English and updates the spelling and grammar of those that were. Each selection is prefaced by a lengthy headnote, giving a biographical account of its author, an analysis of the main argument(s), and important details about the historical context. Strickland’s introductory essay provides further context, focusing on the various reasons that led so many thinkers of early modernity to develop proofs of God’s existence. -/- Proofs of God is perfect for both students and scholars of early modern philosophy and philosophy of religion. (shrink)

Robert Koons has recently defended what he claims is a successful argument for the existence of a necessary first cause, and which he develops by taking “a new look” at traditional arguments from contingency. I argue that Koons’ argument is less than successful; in particular, I claim that his attempt to “shift the burden of proof” to non-theists amounts to nothing more than an ill-disguised begging of one of the central questions upon which theists and non-theists disagree. I also argue (...) that his interesting attempt to bridge (part of) the familiar gap between the claim that there is a necessary first cause and the claim that God exists is beset with numerous difficulties. (shrink)

Richard Gale and Alexander Pruss contend that their ‘new cosmological argument’ is an improvement over familiar cosmological arguments because it relies upon a weaker version of the Principle of Sufficient Reason than that used in those more familiar arguments. However, I note that their ‘weaker’ version of the Principle of Sufficient Reason entails the ‘stronger’ version of that principle which is used in more familiar arguments, so that the alleged advantage of their proof turns out to be illusory. (...) Moreover, I contend that, even if their argument did rely on a weaker version of the Principle of Sufficient reason, nontheists would still be perfectly within their rights to refuse to accept the conclusion of the argument. (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)

Robert Koons claims that my previous critique of his “new” cosmological argument is vitiated by confusion about the nature of defeasible argumentation.In response, I claim that Koons misrepresents—and perhaps misunderstands—the nature of my objections to his “new” cosmological argument. The main claims which I defend are: (1) that the move from a non-defeasible to a defeasible causal principle makes absolutely no difference to the success of the cosmological argument in which it is contained; and (2) that, since (...) it is perfectly well understood that non-theists have many reasons for rejecting the defeasible causal principle, it is pointless to claim that the move to a defeasible principle brings about a shift in the “burden of proof”. (Since some people may have forgotten—or may choose to ignore—the fact that non-theists do have reasons for rejecting the defeasible causal principle, I also provide a discussion of a modest sample of these reasons.). (shrink)

Our examination of universal origins and fine-tuning will begin with a discussion of infl ationary scenarios grafted onto Big Bang cosmology and the proof that all infl ationary spacetimes are past-incomplete. After diverting into a lengthy critical examination of the “different physics” offered by quantum cosmologists at the past-boundary of the universe, we will proceed to dissect the inadequacies of infl ationary explanations and string-theoretic constructs in the context of three cosmological models that have received much attention: the Steinhardt-Turok (...) cyclic ekpyrotic model (which does not invoke inflation), the Gasperini-Veneziano pre-Big Bang infl ationary model, and the inflationary string landscape model advanced by Susskind, Polchinski, Bousso, and Linde. We will argue that none of these highly speculative string cosmologies removes the necessity of a beginning to the process of universe generation, and we will emphasize the implications of this fact. Then, since the inflationary “mechanism” only really addresses the fi ne-tuning of the initial conditions of the universe and not the conditions embodied in its finely tuned laws and constants, we will analyze the adequacy of the string multiverse in its three versions (cyclic ekpyrotic, pre-Big Bang, and landscape) for explaining the nomological structure and values of these precisely tuned life-compatible universal parameters. When all is said and done, it will be clear that transcendent intelligent agency is not just the only causally suffi cient and therefore metaphysically sound explanation for universal origins and fine-tuning, but it is also much more parsimonious, elegant, and resonant with meaning than all of the ad hoc machinations of multiverse cosmology. (shrink)

A review of Edward Feser's Five Proofs of the Existence of God.

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)

This work in metaphysics adheres to the critical demands of Immanuel Kant for what Kant would call a science of metaphysics, in that it consits strictly of a priori principles that, while from pure reason, can help make sense of our phenomenal world (Kant's criterion for objective validity). The work has an Appendix quoting Kant's most relevant remarks with regard to a science, and offers parallel quotes from David Hume's "Treatise of Human Nature". The work advances the explanation of a (...) causal process that accounts for the origination of the universals: space, time, mass (or substance), and mind (or consciousness), and it necessitates the existence of God as Absolute Being and Absolute Mind. Hegel's 'Science of Logic' is quoted wherein Hegel makes an analogous claim. The causal process is defined with both a definite beginning and a definite end and agreement can be found with the statement found in the book of Revelation, final chapter: "I am the Alpha and the Omega, the first and the last, the beginning and the end." The statement suggests a movement that is not in conflict with the science, and seems to reflect Hegel's own thoughts. The science does not conflict with, but it further finds agreement with the science of big bang cosmology, but it goes further in necessitating a 'singularity' at the beginning of time. The causal process defined has a Formative Phase and a Creative Phase, with the former preceding the big bang and the latter following after the big bang. (shrink)

This is a system of pure speculative reason in answer to the challenge issued by Immanuel Kant, in his "Critique of Pure Reason," with regard to metaphysics; the challenge being clearly mentioned in the Appendix to his "Prolegomena..." wherein he asks his Reviewer to take any one of his four sets of contradictory propositions, and offer an a priori judgment/proposition of his own that would overturn the antinomy, and thus, allow room for the possibility of raising metaphysics to the level (...) of a science, meaning a synthesis of judgments, from pure reason, self-evidently a priori, therefore, necessary; and that as a synthesis of pure understanding, would relate to and help us make sense of reality, that is, the world of our experience. (shrink)

The seventeenth century was an important period in the conceptual development of the notion of the infinite. In 1643, Evangelista Torricelli (1608-1647)—Galileo’s successor in the chair of mathematics in Florence—communicated his proof of a solid of infinite length but finite volume. Many of the leading metaphysicians of the time, notably Spinoza and Leibniz, came out in defense of actual infinity, rejecting the Aristotelian ban on it, which had been almost universally accepted for two millennia. Though it would be another two (...) centuries before the notion of the actually infinite was rehabilitated in mathematics by Dedekind and Cantor (Cauchy and Weierstrass still considered it mere paradox), their impenitent advocacy of the concept had significant reverberations in both philosophy and mathematics. In this essay, I will attempt to clarify one thread in the development of the notion of the infinite. In the first part, I study Spinoza’s discussion and endorsement, in the Letter on the Infinite (Ep. 12), of Hasdai Crescas’ (c. 1340-1410/11) crucial amendment to a traditional proof of the existence of God (“the cosmological proof” ), in which he insightfully points out that the proof does not require the Aristotelian ban on actual infinity. In the second and last part, I examine the claim, advanced by Crescas and Spinoza, that God has infinitely many attributes, and explore the reasoning that motivated both philosophers to make such a claim. Similarities between Spinoza and Crescas, which suggest the latter’s influence on the former, can be discerned in several other important issues, such as necessitarianism, the view that we are compelled to assert or reject a belief by its representational content, the enigmatic notion of amor Dei intellectualis, and the view of punishment as a natural consequent of sin. Here, I will restrict myself to the issue of the infinite, clearly a substantial topic in itself. (shrink)

The cosmological argument, while considered to be deductive by some of its propounders, is not considered fool-proof by others. However, given the fact that causality is intrinsic to our thinking, reasoning towards ultimate causality remains significant. Andrew Loke capitalizes on this in his recent book.

FROM THE HISTORY OF PHYSICS TO THE DISCOVERY OF THE FOUNDATIONS OF PHYSICS By Antonino Drago, formerly at Naples University “Federico II”, Italy – drago@unina,.it (Size : 391.800 bytes 75,400 words) The book summarizes a half a century author’s work on the foundations of physics. For the forst time is established a level of discourse on theoretical physics which at the same time is philosophical in nature (kinds of infinity, kinds of organization) and formal (kinds of mathematics, kinds of logic). (...) This double side of the two dichotomies assures a deep comprehension of theoretical physics by avoiding both a purely philosophical analysis and a purely formal analysis, each manifestly insufficient for representing all the aspects of theoretical physics. Among the many formulations of a physical theory, e.g. Mechanics, also Mach(1) recognized technical differences only, Instead my suggestion is to consider their differences as revealing the characteristic features of their foundations. No more radical differences may exist than those concerning both their kinds of Mathematics and their kinds of Logic. As a fact, after the 20th Century within each of these sciences there exist two antagonist foundations, within Mathematics either the classical one or the constructive one(2); within Mathematical Logic either the classical logic or the intuitionist one(3). Let us take Mechanics as an instance. Being the choices of the Newton’s formulation respectively the actual infinity of the differential equations relying on the infinitesimals and the classical logic, a formulation based on the alternative choices is Lazare Carnot’s,(4) whose mathematics is no more than algebraic-trigonometric and the logic is the intuitionist one, because this formulation makes use of doubly negated propositions, whose corresponding affirmative propositions are idealistic or false; i.e. in these cases the law of double negation fails, as in intuitionist logic occurs. By considering these two dichotomies as the foundations of the physical theories, each couple of choices upon them fashions one out four models of scientific theory, which are baptized through the authors of their most representative theories: Newtonian, Carnotian, Lagrangian, Descartesian. In correspondence four versions of the principle of inertia are recognized, as suggested by respectively: Descartes. Lazare Carnot, Enriques and Cavalieri.(5) All that suggests that the four models of scientific theory may be graphically represented as a compass orientating our minds amid the so numerous physical theories. By taking these dichotomies as interpretative categories, a new interpretative history of Physics including both classical and modern physics results according to a quadrilinear development. The birth of modern physics is characterized by the two theories - Einstein’s paper on special relativity and Einstein’s first paper on quanta - whose choices are the alternative ones to those of the previously dominant physical theory, Newtonian mechanics: in the latter paper Einstein i) declares the dichotomy on the kinds of mathematics (“Introduction”) and then he chooses the discrete mathematics; ii) by using doubly negated propositions he organizes his theory in an alternative way to the deductive-axiomatic one.(6) Moreover, a new history of Philosophy of knowledge results. Kant’s first two a priori transcendental categories represent the physical interpretation of the two choices out of the four pairs of choices on the two dichotomies, i.e. the choices of the dominant theory of mechanics, Newton’s. Hegel’s dialectic was a misleading attempt of anticipating the subsequent intuitionist logic. The book starts by a comparison of different formulations of thermodynamics in order to recognize the first dichotomy on the kind of organization. In chapter 2 the dichotomy on the kind of infinity is recognized through a comparison of Newrton’s mechanics and Lazare Carnot’s. A quickly history of the other classical physical theories is illustrated in chapter 3; it results a foundational conflict between the last two theories, and hence a conflict between their opposite couples of choices. The two main theories of modern physics, special realtivity and quantum mechanics confirm the foundational role played by the two dichotomies which gives reason for the radical change in the history of theoretical physics. Indeed, the opposition of the two main pairs of choices gives reason of the crisis in theoretical physics in the early 1900s. As a global result, the book represents the first interpretation of the entire history of Physics, both classical and modern; This fact proves that the four models of scientific theories can works as a compass (that of the front cover) suggesting a direction among the many physical theories. This new history of physics leads to re-visit both Koyré’s and Kuhn’s historiographies. Their interpretative categories are interpreted and explained through the two dichotomies so that it is possible to suggest à la Koyré categories based on the alternative choices theories to Newton’s as the suitable categories for interpreting the alternative theories to Newton’s mechanics. All that suggests a new interpretation of the crucial step in the history of Western philosophy of knowledge, i.e. the passage from Leibniz to Kant: Leibniz’s suggestion of the two labyrinths of human minds may be seen as a close anticipation of the two above dichotomies. Kant applied them in order to construct the well-known four cosmological proofs, which however he misinterpreted as leading to contradictions, instead to tow different methods of investigation corresponding to the two different kinds of logic.(7) Bibliography 1. Mach E. (1883), Die Mechanik, Leipzig: Brockhaus, Chap. IV, Sect. III. 2. Bishop E. (1967), Constructive Analysis, New York: Mc Graw-Hill. 3. Heyting A. (1962), Intuitionism. An Introduction, Amsterdam: North-Holland. 4. L. Carnot (1783), Essai on the Machines en général, Defay, Dijion (Enlish translation: Springer, Berlin, 2020). Drago A. (2004), “A new appraisal of old formulations of mechanics”, Am. J. Phys., 72(3), pp. 407-9. 5. Vella M.R. (2007), “Le quattro versioni del principio di inerzia”, in M. Leone et al. (eds.), L’eredità di Fermi, Majorana e altri Temi. Napoli: ESI, pp. 147-151. 6. Drago A. (2014), “The emergence of two options from Einstein°s first paper on Quanta”, in Pisano R., Capecchi D., Lukesova A. (eds.), Physics, Astronomy and Engineering. Critical Problems in the History of Science and Society, Scientia Socialis P., Siauliai, 2013, pp. 227-234. 7. This and all in the above points are illustrated by the book Drago A. (2017), Dalla Storia della Fisica ai Fondamenti della Scienza, Roma: Aracne. (shrink)

An examination of the idea of eschatology and teleology from the Nigerian socio-cultural perspective, through the lenses of St Thomas Aquinas' _Quinque Viae_. While admitting the current realities and fears of Nigeria and Nigerians, it proposes the adoption of applicable contextual imagery of what it means to be culturally venerable and yet realistically disposed to the changing trends in the modern world.

This is an excerpt of Aquinas' proof of the existence of God. In proving God's existence, Aquinas lays out a cosmological argument of which also sets that tone for his seminal work in epistemology.

I hold that the considerations adduced in kalam cosmological arguments do not embody reasons for reflective atheists and agnostics to embrace the conclusion of those arguments, viz. that the universe had a cause of its existence. I do not claim to be able to show that reflective theists could not reasonably believe that those arguments are sound; indeed, I am prepared to concede that it is epistemically possible that the arguments procede validly from true premises. However, I am prepared (...) to make the same concession about the following argument: Either 2+2=5 or God exists; 2+2?5; therefore God exists . But nobody could think that this argument deserves to be called a proof of its conclusion (even if it is sound). Of course, this latter argument is obviously circular: (almost) no one who was not antecedently persuaded of the truth of the conclusion would (have reason to) believe the first premise. But this fact does not entail that admittedly non circular arguments, such as the kalam cosmological arguments, cannot fail to be equally dialectically ineffective. And, indeed, that is the view which I wish to defend: there is not the slightest reason to think that kalam cosmological arguments should be dialectically effective against reasonable and reflective opponents. (shrink)

The continuing interest in the book of S. Hawking "A Brief History of Time" makes a philosophical evaluation of the content highly desirable. As will be shown, the genre of this work can be identified as a speciality in philosophy, namely the proof of the existence of God. In this study an attempt is given to unveil the philosophical concepts and steps that lead to the final conclusions, without discussing in detail the remarkable review of modern physical theories. In order (...) to clarify these concepts, the classical Aristotelian-Thomistic proof of the existence of God is presented and compared with Hawking's approach. For his argumentation he uses a concept of causality, which in contrast to the classical philosophy neglects completely an ontological dependence and is reduced to only temporal aspects. On the basis of this temporal causality and modern physical theories and speculations, Hawking arrives at his conclusions about a very restricted role of a possible creator. It is shown, that neither from the philosophical nor the scientific view his conclusions about the existence of God are strictly convincing, a position Hawking himself seems to be aware of. (shrink)

Commentators have noticed the striking similarities between the skep­tical arguments of al-Ghazālī’s Deliverance from Error and Descartes’ Discourse on Method and Meditations on First Philosophy. However, commentators agree that their solutions to skepticism are radically different. Al-Ghazālī does not use rational proofs to defeat skepticism; rather, he relies on a supernatural light [nūr] sent by God to rescue him from skepticism. Descartes, on the other hand, relies on the natural light of reason [lumen naturale] to prove the existence of (...) God, mind, and body. In this paper, I argue that Descartes’ solution is closer to al-Ghazālī’s than commentators have allowed. A close reading of the cosmological argument of the Third Meditation reveals that there is also a type of divine intervention em­ployed in the Meditations, which helps Descartes defeat skepticism. This reading may buttress the case made by some that al-Ghazālī influenced Descartes; but more importantly, it requires us to rethink key features of Descartes’ epistemology. (shrink)

Analysis is given of the Omega Point cosmology, an extensively peer-reviewed proof (i.e., mathematical theorem) published in leading physics journals by professor of physics and mathematics Frank J. Tipler, which demonstrates that in order for the known laws of physics to be mutually consistent, the universe must diverge to infinite computational power as it collapses into a final cosmological singularity, termed the Omega Point. The theorem is an intrinsic component of the Feynman-DeWitt-Weinberg quantum gravity/Standard Model Theory of Everything (TOE) (...) describing and unifying all the forces in physics, of which itself is also required by the known physical laws. With infinite computational resources, the dead can be resurrected--never to die again--via perfect computer emulation of the multiverse from its start at the Big Bang. Miracles are also physically allowed via electroweak quantum tunneling controlled by the Omega Point cosmological singularity. The Omega Point is a different aspect of the Big Bang cosmological singularity--the first cause--and the Omega Point has all the haecceities claimed for God in the traditional religions. -/- From this analysis, conclusions are drawn regarding the social, ethical, economic and political implications of the Omega Point cosmology. (shrink)

ABSTRACT (ENG) One of the concerns of Greek philosophy centred on the question of how a manifold and ordered universe arose out of the primitive state of things. From the mythical accounts dating around the seventh century B.C. to the cosmologies of the Classical period in Ancient Greece, many theories have been proposed in order to answer to this question. How these theories differ in positing a “something” that pre-existed the ordered cosmos has been widely discussed. However, scholars have rarely (...) made explicit how they differ in style of thought. In the span of four centuries the first deductive arguments of the Eleatic philosophers culminated in the emergence of logical proof and a form of explanation of natural phenomena, which consisted of searching for the simplest and fewest premises and deducting implications. In this paper it will be discussed how, at distinct stages of its development, the deductive thinking informed the solutions proposed to solve the chaos-order problem, that of how an ordered universe has been possible. -/- ABSTRACT (ITA) Una delle più importanti questioni della filosofia greca è stata quella di comprendere come sia stato possibile un universo ordinato a partire da uno stato primordiale. Dalle teogonie del VII secolo a.C. fino alle cosmologie dei filosofi dell’età classica, sono state proposte diverse teorie per dare risposta a questa domanda. Come esse differiscano nel postulare l’esistenza di un “qualcosa” di primordiale che preesisteva all’ordine del cosmo è stato molto discusso. Pochi studiosi, però, le hanno esaminate sullo sfondo della lenta evoluzione del pensiero deduttivo, culminata nella dimostrazione in geometria e in una forma di spiegazione dei fenomeni che consisteva nel cercare semplici premesse e inferire conclusioni. In questo articolo si mostrerà come il lento affermarsi della spiegazione razionale prima, dell’argomento deduttivo e della dimostrazione in geometria poi, abbiano dato forma alle diverse risposte al problema caos-ordine, e in particolare alla domanda su come sia sorto un universo ordinato. (shrink)

This is a summary presentation of TAU, a theory proposed to explain relativity and unify physics. It is a radical change, because it proposes six dimensions of space, instead of the usual three (normal physics) or nine (string theory). It starts with an alternative foundation for Special Relativity, and leads to a unified theory of physics. It is a realist theory because it is realist about space and time. The TAU concept is briefly introduced here, and its results explained in (...) three main areas, particles, gravity and cosmology. In these areas it makes strong predictions and has several tests. This presentation is based around these applications and the key questions of completing a full particle model, and completing tests of gravity and tests of cosmology. These will decide its fate as an empirical theory. The aim here is to give an overview, in reasonable detail for generalists to see how the model works, but with a minimum of theoretical derivations, so we do not get too bogged down in equations. There are a lot of illustrations instead. Please note this is only a survey of the theory, and a more detailed introduction with proofs follows in Chapters 2-6, where it is developed in stages. In the first half here, we go quickly over the main concepts, in the second half, we give some equations for cosmology and gravity solutions in more detail, because they are more novel. (shrink)

A specific soul of the times appears to require a survey of brain research as a study of the psyche and conduct as most settled definition. Two significant developments have emerged freely, one in the core of the American Mental Affiliation itself with Division 5 as of late renamed Quantitative and Subjective Techniques, remembering the General public for Subjective Request for Brain research and the Diary of Subjective Brain research and the other in the European custom with The Yokohama Proclamation (...) for a Brain research as the Study of Person. Both expect an open pluralistic move in the direction of the Mind as "perplexing, abstract, significant, and strange" "no act of request is precluded deduced; numerous objectives of request are delivered conceivable and different pathways might guarantee an arranged authenticity Following this contention, certain implied transcendentalism comprising of a dualistic cosmology with criticism from the regular logical strategy would be at the premise of the persevering dualism in brain research. It is perceived that the distinguishing proof of brain research as an inherent science was likely due more to its esteem than to its own intricacy as suggested by its review. The time has come to reconceive brain research as a human science (social, conduct), without a "complex". To do as such, an ontological inquiry ought to be raised concerning the spot of brain research in a pluralistic metaphysics, not dualistic or monistic. (shrink)

We argue the thesis that if (1) a physical process is mathematically representable by a Cauchy sequence; and (2) we accept that there can be no infinite processes, i.e., nothing corresponding to infinite sequences, in natural phenomena; then (a) in the absence of an extraneous, evidence-based, proof of `closure' which determines the behaviour of the physical process in the limit as corresponding to a `Cauchy' limit; (b) the physical process must tend to a discontinuity (singularity) which has not been reflected (...) in the Cauchy sequence that seeks to describe the behaviour of the physical process. We support our thesis by mathematical models of the putative behaviours of (i) a virus cluster; (ii) an elastic string; and (iii) a Universe that recycles from Big Bang to Ultimate Implosion, in which parity and local time reversal violation, and the existence of `dark energy' in a multiverse, need not violate Einstein's equations and quantum theory. We suggest that the barriers to modelling such processes in a mathematical language that seeks unambiguous communication are illusory; they merely reflect an attempt to ask of the language chosen for such representation more than it is designed to deliver. (shrink)

Dark Matter was not matter at all. It was a theoretical brainteaser that finally philosophy had to unscramble. Scientists of today do not like this idea but philosophy is capable to deal with theoretical conundrums like dark matter. First chapter which is like a combat between mathematical counterintuitive physics and human commonsense, explains that human commonsense equipped with proper philosophical approach is capable to deal with the problem of dark matter. -/- After making a case for philosophical method, this book (...) then challenges the fundamental convictions of the established Cosmology and explains that even many visible galaxies are located at (light travel) distance of many hundred billion light years. There is no dark matter in any of the so-called 'proofs' of the existence of dark matter and MOND is also an engineered and artificial solution. -/- This book has solved Galactic Rotation problem using Newton's theory and have shown that available theory was capable to explain the flat rotation curves of galaxies without necessitating the existence of dark matter. Thus theory itself is not challenged, blamed or modified. However understanding of scientists of their so-called counterintuitive theories is blamed. For example, to deal with the Galactic Rotation problem, the relevant part of Newton's Principia Mathematica was Proposition LXXIII, Theorem XXXIII. Whereas to deal with this problem, scientists had wrongfully applied Proposition LXXI, Theorem XXXI. Obviously, inaccurate application of available theory resulted in a fake problem and dark matter only served as a ghost solution to that bogus problem. -/- Not only the Galactic Rotation, other so-called indicators of Dark Matter like Cluster Dynamics, Gravitational Lensing, Bullet Cluster, Dark Matter Ring, Fluctuations in CMB Temperature and Structures Formation etc. also have been explained without requiring the need for Dark Matter. -/- Overall this book has presented a strong case of the failure of counterintuitive regime of established Cosmology and Physics. (shrink)

1st to date [partial yet irrefutable] proof of this creed well-foundedness.

The contemporary versions of the ontological argument that originated from Charles Hartshorne are formalized proofs based on unique modal theories. The simplest well-known theory of this kind arises from the b system of modal logic by adding two extra-logical axioms: “If the perfect being exists, then it necessarily exists‘ and “It is possible that the perfect being exists‘. In the paper a similar argument is presented, however none of the systems of modal logic is relevant to it. Its only (...) premises are the axiom and, instead of, the new axiom : “If the perfect being doesn’t exist, it necessarily doesn’t‘. The main goal of the work is to prove that is no more controversial than and -- in consequence -- the whole strength of the modal ontological argument lies in the set of its extra-logical premises. In order to do that, three arguments are formulated: ontological, “cosmological‘ and metalogical. (shrink)

When we look at the Qur'an, we see that wrong information is constantly given about the world and the universe. The Qur'an's description of the world, the solar system and the universe is primitive and absurd when compared with today's knowledge. Therefore, this issue is one of the most important proofs that the Qur'an does not come from God.

This thesis-on macro-ontology, physics, logic, and metalogical principles presents the findings, results, theorems, and metatheory that correct long-standing defects and deficiencies of current standard model (SM) physics and cosmology. It eliminates artificial SM anomalies, paradoxes, logical fallacies, absurdities, and conflicts with reality (and the findings of plasma physics, astronomy, ontology, epistemics, etc.). New theorems and metatheorems eliminate the illogic maintaining distortions of post-Einsteinian physics, its wildly speculative conjectures, and shibboleths (its unrealistic assumptions commonly accepted as facts). In critiques of misperceptions, (...) misconceptions and misinterpretations of observations and data, this work exposes the common failure to recognize the severe deficiencies of theory, science, ontology, and metamathematics. New results prove that chronic failure to differentiate realities from theorems, hypotheses, conjectures, opinions, and beliefs prevents progress to better physics and STEM education. Therefore, this work also enables resolution of the long-standing logical incongruency of physics, psychology, cognitive science, and philosophy, especially ontology. So, the facts and proofs presented here can enable a new era of discovery, creativity, and technological progress. (shrink)

This thesis-on macro-ontology, physics, logic, and metalogical principles presents the findings, results, theorems, and metatheory that correct long-standing defects and deficiencies of current standard model (SM) physics and cosmology. It eliminates artificial SM anomalies, paradoxes, logical fallacies, absurdities, and conflicts with reality (and the findings of plasma physics, astronomy, ontology, epistemics, etc.). New theorems and metatheorems eliminate the illogic maintaining distortions of post-Einsteinian physics, its wildly speculative conjectures, and shibboleths (its unrealistic assumptions commonly accepted as facts). In critiques of misperceptions, (...) misconceptions and misinterpretations of observations and data, this work exposes the common failure to recognize the severe deficiencies of theory, science, ontology, and metamathematics. New results prove that chronic failure to differentiate realities from theorems, hypotheses, conjectures, opinions, and beliefs prevents progress to better physics and STEM education. Therefore, this work also enables resolution of the long-standing logical incongruency of physics, psychology, cognitive science, and philosophy, especially ontology. So, the facts and proofs presented here can enable a new era of discovery, creativity, and technological progress. (shrink)

This thesis-on macro-ontology, physics, logic, and metalogical principles presents the findings, results, theorems, and metatheory that correct long-standing defects and deficiencies of current standard model (SM) physics and cosmology. It eliminates artificial SM anomalies, paradoxes, logical fallacies, absurdities, and conflicts with reality (and the findings of plasma physics, astronomy, ontology, epistemics, etc.). New theorems and metatheorems eliminate the illogic maintaining distortions of post-Einsteinian physics, its wildly speculative conjectures, and shibboleths (its unrealistic assumptions commonly accepted as facts). In critiques of misperceptions, (...) misconceptions and misinterpretations of observations and data, this work exposes the common failure to recognize the severe deficiencies of theory, science, ontology, and metamathematics. New results prove that chronic failure to differentiate realities from theorems, hypotheses, conjectures, opinions, and beliefs prevents progress to better physics and STEM education. Therefore, this work also enables resolution of the long-standing logical incongruency of physics, psychology, cognitive science, and philosophy, especially ontology. So, the facts and proofs presented here can enable a new era of discovery, creativity, and technological progress. (shrink)

Scientific inquiry takes onward course from the point where previous scientists had reached. But philosophical analysis initiates from scratch. Philosophy questions everything and chooses starting point for itself after having ruled out all the unsubstantiated and doubtful elements of the topic under study. Secondly, known realities must make sense. If a theory is officially 'counterintuitive', then either it is mere fiction or at the most; a distorted form of truth. This book's analysis is based on the philosophical principle that knowledge (...) is empirical and does not arise magically in absence of observational grounds. With philosophical approach, it was doubtful to accept that Georges Lemaître already knew Hubble's law in year 1927 that was yet to be found by Edwin Hubble in year 1929. Therefore this book started with denial of the claim that Lemaître already knew this law. But analysis of section I.III forced author to look the matter from original source and it came to surface that Lemaître knew this law in year 1927. But contrary to mainstream claim, Lemaître had not derived that law from general relativity (GR) equations rather had deduced from a method given by Hubble himself. Whereas whole case of the Big Bang Theory rests on misleading claim that Lemaître had derived this law solely from GR equations. The basis of this claim happened to be a manipulated translation (1931) of Lemaître's original 1927 article. People regard Big Bang Theory as truth because authoritative sources deceived them by presenting a manipulated translation in year 1931. This book is a philosophical analysis of original papers of Alexander Friedmann (1922), Georges Lemaître (1927), Edwin Hubble (1929) and Albert Einstein (1917) thus covers actual roots and origins of the Big Bang Model. In this book, only the core elements of the Big Bang Model i.e. 'Expansion of Universe' and 'CMBR' are covered. It has been sufficiently shown that 'expansion' is an illusion whereas CMBR is a proof that we live in a non-expanding infinite universe. If these two core elements of the standard Big Bang Model are precisely refuted then there is nothing crucial left with the standard model. For readers of this book at least, Big Bang Theory shall become a story of past mistakes. Author is not an authoritative source on science topics therefore readers must download all the above mentioned original papers and check all the points outlined in this book from relevant original papers. Unlike reading from an authoritative source that makes readers relaxed and careless but enables authorities to deceive them in worst way possible, this book requires readers to remain alert on all the points discussed in the book and verify everything from original sources whose links are given at the end of this description and also provided in footnotes section of the book. This book is not a judgment of the topic rather it is like a case presented by an advocate while readers are the judges. Readers are required to apply their own critical judgment to conclude the matter by themselves. After carefully reading this book, readers will also start taking 'authoritative sources' with due care and it will become difficult for the 'authorities' to deceive them again. (shrink)

What is the role of the principle of sufficient reason in Baruch Spinoza’s ontological proof for God’s existence? Is this role identical within Spinoza’s early work on method, the Treatise on the Emendation of the Intellect, and his magnum opus, the Ethics? This paper argues affirmatively that the methodology employed within the Ethics is consonant with that method found within the Treatise, and this claim is substantiated through an engagement with the influential works of Don Garrett and Aaron Garrett. It (...) is also demonstrated through an original reconstruction of the Treatise itself. In this reconstruction, basic premises are identified which can validly prove Spinoza’s intended conclusion of substance monism. It is finally determined that what the Treatise and the Ethics share, specifically, is a methodology which begins with non-nominal definitions that denote the real, sufficient causes of their respective objects. However, at certain junctures, this methodology is expressed with greater consistency within the Treatise as opposed to within the Ethics. Evidence for this will be provided from the primary texts themselves and from the subsequent analyses of Don Garrett and Aaron Garret as well. (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)

Should we use the same standard of proof to adjudicate guilt for murder and petty theft? Why not tailor the standard of proof to the crime? These relatively neglected questions cut to the heart of central issues in the philosophy of law. This paper scrutinises whether we ought to use the same standard for all criminal cases, in contrast with a flexible approach that uses different standards for different crimes. I reject consequentialist arguments for a radically flexible standard of proof, (...) instead defending a modestly flexible approach on non-consequentialist grounds. The system I defend is one on which we should impose a higher standard of proof for crimes that attract more severe punishments. This proposal, although apparently revisionary, accords with a plausible theory concerning the epistemology of legal judgments and the role they play in society. (shrink)

I argue that some important elements of the current cosmological model are 'conventionalist’ in the sense defined by Karl Popper. These elements include dark matter and dark energy; both are auxiliary hypotheses that were invoked in response to observations that falsified the standard model as it existed at the time.

This paper provides a taxonomy of cosmological arguments and givesgeneral reasons for thinking that arguments that belong to a given category do not succeed.

In this paper, I propose that applying the methods of data science to “the problem of whether mathematical explanations occur within mathematics itself” (Mancosu 2018) might be a fruitful way to shed new light on the problem. By carefully selecting indicator words for explanation and justification, and then systematically searching for these indicators in databases of scholarly works in mathematics, we can get an idea of how mathematicians use these terms in mathematical practice and with what frequency. The results of (...) this empirical study suggest that mathematical explanations do occur in research articles published in mathematics journals, as indicated by the occurrence of explanation indicators. When compared with the use of justification indicators, however, the data suggest that justifications occur much more frequently than explanations in scholarly mathematical practice. The results also suggest that justificatory proofs occur much more frequently than explanatory proofs, thus suggesting that proof may be playing a larger justificatory role than an explanatory role in scholarly mathematical practice. (shrink)

The main objective of this work was to produce a scientifically reasonable definition of God. The rationale was to generate a definition for filling a small part of the spiritual vacuum of the 21st century and thus initiate a new understanding of the Intelligence that permeates the cosmos with mystery, love, order, direction and morals. This resulted in the following definition: “God may be a-humanly incomprehensible-eternal cosmic existence, intimately related to the endlessness of space, to the nature of the deepest (...) common substance of matter and energy, to this common substance’s unceasing motion responsible for time, and to the basic laws of their allness, letting love transform this allness to an ordered Multiverse with a Soul: the—scientifically approachable—Soul of Multiverse inspired to guard these laws and equip their order with direction and morals while imbuing the cosmos with the potential of lives evolving, at the right spatial and temporal distances, to embrace the sense of the divine, thus justifying the existence of God.” The likely neural circuitry for sensing God in the human brain was identified as a network for spiritual data flow across the conscious and subconscious layers of the association cortical cognitive system exchanging data with the prefrontal cortical Self-Ken and modulated by inputs from the emotional and motivational systems of the brain. To study this mental process, the design of a God-Experience Monitor was also developed: a comfortably wearable combination of EEG and audiovisual-recorders tailored to at least partially capture the individual experiences of God anytime and at the very “genius loci” of such experiences. (shrink)

I discuss the relevance of the current predicament in cosmology to the debate over scientific realism. I argue that the existence of two, empirically successful but ontologically inconsistent cosmological theories presents difficulties for the realist position.

Which rules for aggregating judgments on logically connected propositions are manipulable and which not? In this paper, we introduce a preference-free concept of non-manipulability and contrast it with a preference-theoretic concept of strategy-proofness. We characterize all non-manipulable and all strategy-proof judgment aggregation rules and prove an impossibility theorem similar to the Gibbard--Satterthwaite theorem. We also discuss weaker forms of non-manipulability and strategy-proofness. Comparing two frequently discussed aggregation rules, we show that “conclusion-based voting” is less vulnerable to manipulation than “premise-based voting”, (...) which is strategy-proof only for “reason-oriented” individuals. Surprisingly, for “outcome-oriented” individuals, the two rules are strategically equivalent, generating identical judgments in equilibrium. Our results introduce game-theoretic considerations into judgment aggregation and have implications for debates on deliberative democracy. (shrink)

In this dissertation, we shall investigate whether Tennant's criterion for paradoxicality(TCP) can be a correct criterion for genuine paradoxes and whether the requirement of a normal derivation(RND) can be a proof-theoretic solution to the paradoxes. Tennant’s criterion has two types of counterexamples. The one is a case which raises the problem of overgeneration that TCP makes a paradoxical derivation non-paradoxical. The other is one which generates the problem of undergeneration that TCP renders a non-paradoxical derivation paradoxical. Chapter 2 deals with (...) the problem of undergeneration and Chapter 3 concerns the problem of overgeneration. Chapter 2 discusses that Tenant’s diagnosis of the counterexample which applies CR−rule and causes the undergeneration problem is not correct and presents a solution to the problem of undergeneration. Chapter 3 argues that Tennant’s diagnosis of the counterexample raising the overgeneration problem is wrong and provides a solution to the problem. Finally, Chapter 4 addresses what should be explicated in order for RND to be a proof-theoretic solution to the paradoxes. (shrink)

This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings of (...) modal operators in terms of rules of inference. (shrink)

Smith argues that, unlike other forms of evidence, naked statistical evidence fails to satisfy normic support. This is his solution to the puzzles of statistical evidence in legal proof. This paper focuses on Smith’s claim that DNA evidence in cold-hit cases does not satisfy normic support. I argue that if this claim is correct, virtually no other form of evidence used at trial can satisfy normic support. This is troublesome. I discuss a few ways in which Smith can respond.

The standard of proof in criminal trials in many liberal democracies is proof beyond a reasonable doubt, the BARD standard. It is customary to describe it, when putting a number on it, as requiring that the fact finder be at least 90% certain, after considering the evidence, that the defendant is guilty. Strikingly, no good reason has yet been offered in defense of using that standard. A number of non-consequentialist justifications that aim to support an even higher standard have been (...) offered; all are morally unsound. Meanwhile, consequentialist arguments plausibly support a substantially lower standard — in some cases so low as to undermine the idea that punishment is what is at stake. In this paper, I offer a new retributive justification that supports excluding the instrumental benefits of punishment from the balance that sets the standard. The resulting balance supports a standard arguably in the ballpark of the customary understanding of BARD: a standard requiring that the fact finder have a high, though not maximally high, degree of confidence that the defendant is guilty. (shrink)

The book discusses the structure, content, and evaluation of cosmological arguments. The introductory chapter investigates features essential to cosmological arguments. Traditionally, cosmological arguments are distinguished by their appeal to change, causation, contingency or objective becoming in the world. But none of these is in fact essential to the formulation of cosmological arguments. Chapters 1-3 present a critical discussion of traditional Thomistic, Kalam, and Leibnizian cosmological arguments, noting various advantages and disadvantages of these approaches. Chapter 4 (...) offers an entirely new approach to the cosmological argument - the approach of theistic modal realism. The proper explananda of cosmological arguments on this approach is not change, causation, contingency or objective becoming in the world. The proper explananda is the totality of metaphysical reality - all actualia and all possibilia. The result is the most compelling and least objectionable version of the cosmological argument. (shrink)

Prawitz conjectured that proof-theoretic validity offers a semantics for intuitionistic logic. This conjecture has recently been proven false by Piecha and Schroeder-Heister. This article resolves one of the questions left open by this recent result by showing the extensional alignment of proof-theoretic validity and general inquisitive logic. General inquisitive logic is a generalisation of inquisitive semantics, a uniform semantics for questions and assertions. The paper further defines a notion of quasi-proof-theoretic validity by restricting proof-theoretic validity to allow double negation elimination (...) for atomic formulas and proves the extensional alignment of quasi-proof-theoretic validity and inquisitive logic. (shrink)

The impossibility results in judgement aggregation show a clash between fair aggregation procedures and rational collective outcomes. In this paper, we are interested in analysing the notion of rational outcome by proposing a proof-theoretical understanding of collective rationality. In particular, we use the analysis of proofs and inferences provided by linear logic in order to define a fine-grained notion of group reasoning that allows for studying collective rationality with respect to a number of logics. We analyse the well-known paradoxes (...) in judgement aggregation and we pinpoint the reasoning steps that trigger the inconsistencies. Moreover, we extend the map of possibility and impossibility results in judgement aggregation by discussing the case of substructural logics. In particular, we show that there exist fragments of linear logic for which general possibility results can be obtained. (shrink)

The current cosmological models are built based on general relativity. The solutions of the specific equations, Friedmann-Lemaître-Robertson-Walker, allow to model the evolution of the universe starting from the Big Bang. Some of the parameters of the universe have been established by observations. Based on these, and other observational data, the models can be tested. Predictions include the initial abundance of chemical elements formed in a period of nucleosynthesis during the Big Bang period, the subsequent structure of the universe, cosmic (...) background radiation, and so on. DOI: 10.13140/RG.2.2.23725.64485. (shrink)

It is shown how the schema of equivalence can be used to obtain short proofs of tautologies A , where the depth of proofs is linear in the number of variables in A .