This report reviews what quantum physics and information theory have to tell us about the age-old question, How come existence? No escape is evident from four conclusions: (1) The world cannot be a giant machine, ruled by any preestablished continuum physical law. (2) There is no such thing at the microscopic level as space or time or spacetime continuum. (3) The familiar probability function or functional, and wave equation or functional wave equation, of standard quantum theory provide mere continuum idealizations (...) and by reason of this circumstance conceal the information-theoretic source from which they derive. (4) No element in the description of physics shows itself as closer to primordial than the elementary quantum phenomenon, that is, the elementary device-intermediated act of posing a yes-no physical question and eliciting an answer or, in brief, the elementary act of observer-participancy. Otherwise stated, every physical quantity, every it, derives its ultimate significance from bits, binary yes-or-no indications, a conclusion which we epitomize in the phrase, it from bit. (shrink)

Selon la relativité générale, la force gravitationnelle est une manifestation de la géométrie de l'espace-temps local. RG est une théorie métrique de la gravité. Il est basé sur les équations d'Einstein, qui décrivent la relation entre la géométrie d'une variété pseudo-riemannienne à quatre dimensions, représentant l'espace-temps et l'énergie-impulsion contenu dans cet espace-temps. La gravité correspond aux modifications des propriétés spatiales et temporelles, qui à leur tour modifient les chemins des objets. La courbure est causée par l'énergie-impulsion de la matière. Selon (...) John Archibald Wheeler, l'espace-temps indique à la matière comment se déplacer, et la matière indique à l'espace-temps comment se courber. DOI: 10.13140/RG.2.2.23756.26249. (shrink)

The Meaning Circuit Hypothesis (MCH) is a synthesis of ideas providing John Wheeler’s outline of ultimate physics, which he fine-tuned over several decades from the 1970s onward. It is a ‘working hypothesis’ in which ‘existence is a ‘meaning circuit”’ that portrays the world as a “system self-synthesized by quantum networking.” It was strongly advocated by him for roughly two decades and since then has had an increasingly strong impact on the approach of many investigators of quantum theory; in (...) particular, elements such as the quantum participator and ‘it from bit’ are now considered by others as candidate components of a foundation for quantum theory in which information is involved essentially. Therefore, it is worthy of review and critique. (shrink)

A partire dalla rappresentazione della ”grande U” (U da Universo) del fisico John A. Wheeler, che illustra come la ”partecipazione attiva dell’osservatore” sviluppi la realtà, viene introdotta una struttura a spirale UnussunU (dal latino Unus, cioè Uno), con l’intento di fornire una rappresentazione figurativa tridimensionale della realtà fisica e della nostra esperienza di vita (spiritualità). Gli elementi costitutivi del cosmo e della nostra esistenza si fondono in UnussunU in termini di osservazioni scientifiche e di una visione metaforica delle (...) esperienze soggettive. In una forma idealizzata, UnussunU include: il diagramma del flusso yin-yang degli elementi opposti per riflettere gli aspetti di ”simbolo” e ”significato” di un ”Uno” fondamentale che si manifesta come informazione quantistica, esperienze di Qualia (cioè, sentimenti ed emozioni percepiti individualmente) e la percezione dello spazio vuoto (cioè, il vuoto) come astrazione del libero arbitrio. Nel complesso, la struttura è originale in quanto abbraccia figurativamente alcuni degli aspetti chiave della coscienza: la consapevolezza dell’ambiente e degli stati interni (pensieri, emozioni ed esperienze soggettive), nel riconoscimento di sé come singola entità. Discutiamo sul valore di avere un oggetto visivo e tangibile come UnussunU. ( NOTE: This is the italian translation of the english version ”Science and the Self: A Figurative 3D Representation” available at PhilPapers: CANSAT-7 ). (shrink)

Total ontological unification of matter at all levels of reality as a whole, its “grasp” of its dialectical structure, space dimensionality and structure of the language of nature – “house of Being” [1], gives the opportunity to see the “place” and to understand the nature of information as a phenomenon of Ontological (structural) Memory (OntoMemory), the measure of being of the whole, “the soul of matter”, qualitative quantity of the absolute forms of existence of matter (absolute states). “Information” and “time” (...) are multivalent phenomena of Ontological Memory substantiating the essential unity of the world on the “horizontal” and “vertical”. Ontological constructing of dialectics of Logos self-motion, total unification of matter, “grasp” of the nature of information leads to the necessity of introducing a new unit of information showing the ideas of dialectical formation and generation of new structures and meanings, namely Delta-Logit (Δ-Logit), qualitative quantum-prototecton, fundamental organizing, absolute existential-extreme. The simplest mathematical symbol represents the dialectical microprocessor of the Nature. Ontological formula of John A. Wheeler «It from Bit» [2] is “grasped” as the first dialectic link in the chain of ontological formulas → “It from Δ-Logit” → “It from OntoMemory” → “It from Logos, Logos into It”. Ontological Memory - core, semantic attractor of the new conceptual structure of the world of the Information Age, which is based on Absolute generating structure («general framework structure»), the representant of onto-genetic code and algorithm of the Universe. (shrink)

Total ontological unification of matter at all levels of reality as a whole, its “grasp” of its dialectical structure, space dimensionality and structure of the language of nature – “house of Being” [1], gives the opportunity to see the “place” and to understand the nature of information as a phenomenon of Ontological Memory, the measure of being of the whole, “the soul of matter”, qualitative quality of the absolute forms of existence of matter (absolute states). “Information” and “time” are multivalent (...) phenomena of Ontological Memory (OntoMemory) substantiating the essential unity of the world on the “horizontal” and “vertical”. Ontological constructing of dialectics of Logos self-motion, total unification of matter, “grasp” of the nature of information leads to the necessity of introducing a new unit of information showing the ideas of dialectical formation and generation of new structures and meanings, namely Delta-Logit (Δ-Logit), qualitative quantum-prototecton, fundamental organizing, absolute existential-extreme. The simplest mathematical symbol represents the dialectical microprocessor of the Nature. Ontological formula of John A. Wheeler «It from Bit» [2] is “grasped” as the first dialectic link in the chain of ontological formulas → “It from Δ-Logit” → “It from OntoMemory” → “It from Logos, Logos into It”. Ontological Memory - core, the attractor of the new conceptual structure of the world of the information age, which is based on Absolute generating structure, the representant of onto-genetic code of the Universe. (shrink)

In his famous “It from Bit” essay, John Wheeler contends that the stuff of the physical universe (“it”) arises from information (“bits” – encoded yes or no answers). Wheeler’s question and assumptions are re-examined from a post Aspect experiment perspective. Information is examined and discussed in terms of classical information and “quanglement” (nonlocal state sharing). An argument is made that the universe may arise from (or together with) quanglement but not via classical yes/no information coding.

El primer objetivo de este artículo es mostrar que explicaciones genuinamente geométricas/matemáticas e intrínsecamente diagramáticas de fenómenos físicos no solo son posibles en la práctica científica, sino que además comportan un potencial epistémico que sus contrapartes simbólico-verbales carecen. Como ejemplo representativo utilizaremos la metodología geométrica de John Wheeler (1963) para calcular cantidades físicas en una reacción nuclear. Como segundo objetivo pretendemos analizar, desde un marco inferencial, la garantía epistémica de este tipo de explicaciones en términos de dependencia sintáctica (...) y semántica del contenido lo inferido en las premisas, lo cual denominaremos criterio de validez inferencial (CVI). (shrink)

The ontology of Local Quantum Physics, Rudolf Haag’s framework for relativistic quantum theory, is reviewed and discussed. It is one of spatiotemporally localized events and unlocalized causal intermediaries, including the elementary particles, which come progressively into existence in accordance with a fundamental arrow of time. Haag’s conception of quantum theory is distinguished from others in which events are also central, especially those of Niels Bohr and John Wheeler, with which it has been compared.

Preface for Festschrift for Asher Peres's 70th Birthday, Foundations of Physics, issues 35(11), 35(12), and 36(1). -/- “All my friends!” These were nearly the first words I ever heard come from Asher Peres’s mouth. It was at a conference in Maryland in 1994 honoring the 83rd birthday of John Wheeler. The first morning of the meeting I spied Asher walk out of the lecture hall and into a long hallway where, in the distance, he saw a group of (...) old colleagues. His words came out so spontaneously and so lovingly it left a mark on me. I thought, “What a wonderful way to lead a life!—to have results that effect the world over, to travel the world reporting them, to see each conference as a family reunion.” Asher was a man of family—his blood family in Israel and his family of physicist colleagues throughout the world. He nurtured all of us, and we are what we are in large part because of him. (shrink)

This article’s conclusion is that the theories of Einstein are generally correct and will still be relevant in the next century (there will be modifications necessary for development of quantum gravity). Those Einsteinian theories are Special Relativity, General Relativity, and the title of a paper he published in 1919 which asked if gravitation plays a role in the composition of elementary particles of matter. This paper was the bridge between General Relativity and the Unified Field Theory he sought during the (...) last 25 years of his life. In an article published in the "Annals of Physics" in 1957, Charles Misner and John Wheeler claimed that Einstein's latest equations demonstrated the unified field theory. But Einstein himself felt he had not fully succeeded. The present article begins with Olbers’ paradox (why is the sky dark at night?) Then it briefly proceeds to the subjects of Newtonian gravity, quantum entanglement, gravitational waves, E=mc^2, dark energy, dark matter, cosmic expansion, redshift, blueshift, the cosmic microwave background, the 1st Law of Thermodynamics, and explanation of advanced waves travelling back in time. The section “vector-tensor-scalar geometry” touches on mass, quantum spin, the Higgs boson and Higgs field, stellar jets, the pervasiveness of photons and gravitons, and supersymmetry. Then come half a dozen paragraphs referring to formation of planets, black holes, and bosons of the weak and strong nuclear forces. They end with Descartes’ space-matter relation. Also added are paragraphs about simply-connected mathematics, non-orientability, consciousness, the Law of Falling Bodies, the multiverse, space-time travel developed from maths’ Brouwer Fixed Point Theorem and from an experiment in electrical engineering performed at Yale University, development from future space-time travel of human flight in the manner of fiction’s Superman and Supergirl, as well as downloaded band-gap implants in the brain that could deal with forms of matter. They could add or delete anything and everything we choose by emulating computers’ copy/paste function to add things; as well as their delete function, to remove things. To complete my seemingly unusual ideas, 6 sections are added – 1) “Advanced and Retarded Waves” is extended to include dinosaurs, ageing, and photography, 2) there’s a bit about space-time warping and “imaginary” computers, 3) several paragraphs about restoring health (even gaining immortality) by using gravity, 4) a section about superconductivity and the electric or magnetic fields of planets (this section mentions Mercury, Planet 9 and precession), 5) a section titled EXPLAINING OCEAN TIDES WHEN GENERAL RELATIVITY SAYS GRAVITY IS A PUSH CAUSED BY THE CURVATURE OF SPACE-TIME (this has subsections about M-Sigma, Geysers on Saturn’s Moon Enceladus, and A Brief History of Gravity), plus 5) the potential of COVID-19 to create the Golden Rule, world peace, eternal life, and a non-economic world that doesn’t use any form of money (no cash, credit cards, digital currency, etc.) The final section is called DISTANT-FUTURE SCIENCE INTERPRETED BY RELIGIONS AS SUPERNATURAL and introduces an idea for becoming immortal in these physical bodies. If the Theory of Everything sought by physicists applies to all space-time, then every person’s brain must be entangled with the 22nd century (and far beyond that time too). (shrink)

The purpose of this essay is to make the case for a heterodox reading of Leibniz’s The Monadology (published 1720) through the lens of Professor John Wheeler’s hypothesis of the one-electron universe (proposed in 1940). My conjecture is this: That there exists in the knowable universe only one monad; that this monad traverses time in both directions, eventually criss-crossing the entire past and future history of the universe; and that this singular monad interacts with itself countless times, thereby (...) filling the universe with simultaneous appearances of itself. In the course of this article I will consider the possibility that our solitary monad is synonymous with Leibniz’s God, or if the monad in question is rather a created substance that is alone with God, a notion that gains some traction thanks to Leibniz’s admiration for the solipsism of Saint Teresa of Avila. I will also consider whether the one-monad hypothesis is consistent with Leibniz’s own views on harmony, simplicity and perfection. (shrink)

Gravity remains the most elusive field. Its relationship with the electromagnetic field is poorly understood. Relativity and quantum mechanics describe the aforementioned fields, respectively. Bosons and fermions are often credited with responsibility for the interactions of force and matter. It is shown here that fermions factually determine the gravitational structure of the universe, while bosons are responsible for the three established and described forces. Underlying the relationships of the gravitational and electromagnetic fields is a symmetrical probability distribution of fermions and (...) bosons. Werner Heisenberg's assertion that the Schr\'f6dinger wave function and Heisenberg matrices do not describe one thing is confirmed. It is asserted that the conscious observation of Schr\'f6dinger's wave function never causes its collapse, but invariably produces the classical space described by the Heisenberg picture. As a result, the Heisenberg picture can be explained and substantiated only in terms of conscious observation of the Schr\'f6dinger wave function. Schr\'f6dinger\'92s picture is defined as information space, while Heisenberg\'92s picture is defined as classical space. B-theory postulates that although the Schr\'f6dinger picture and the Heisenberg picture are mathematically connected, the former is eternal while the latter is discrete, existing only as the sequence of discrete conscious moments. Inferences related to information-based congruence between physical and mental phenomena have long been discussed in the literature. Moreover, John Wheeler suggested that information is fundamental to the physics of the universe. However, there is a great deal of uncertainty about how the physical and the mental complement each other. Bishop Berkeley and Ernst Mach, to name two who have addressed the subject, simply reject the concept of the material world altogether. Professor Hardy defined physical reality as 'dubious and elusive'. It is proposed in this paper that physical reality, or physical instantiation in the classical space as described by Heisenberg picture is one thing with the consciousness. (shrink)

The relation between body and mind is one of the oldest riddles that has puzzled mankind. That material and mental events may interact is accepted even by the law: our mental capacity to concentrate on the task can be seriously reduced by drugs. Physical and chemical processes may act upon the mind; and when we are writing a difficult letter, our mind acts upon our body and, through a chain of physical events, upon the mind of the recipient of the (...) letter. This is what the authors of this book call the 'interaction of mental and physical events'. We know very little about this interaction; and according to recent philosophical fashions this is explained by the alleged fact that we have brains but no thoughts. The authors of this book stress that they cannot solve the body mind problem; but they hope that they have been able to shed new light on it. Eccles especially with his theory that the brain is a detector and amplifier; a theory that has given rise to important new developments, including new and exciting experiments; and Popper with his highly controversial theory of 'World 3'. They show that certain fashionable solutions which have been offered fail to understand the seriousness of the problems of the emergence of life, or consciousness and of the creativity of our minds. In Part I, Popper discusses the philosophical issue between dualist or even pluralist interaction on the one side, and materialism and parallelism on the other. There is also a historical review of these issues. In Part II, Eccles examines the mind from the neurological standpoint: the structure of the brain and its functional performance under normal as well as abnormal circumstances. The result is a radical and intriguing hypothesis on the interaction between mental events and detailed neurological occurrences in the cerebral cortex. Part III, based on twelve recorded conversations, reflects the exciting exchange between the authors as they attempt to come to terms with their opinions. (shrink)

Most traditional epistemologists see trust and knowledge as deeply antithetical: we cannot know by trusting in the opinions of others; knowledge must be based on evidence, not mere trust. I argue that this is badly mistaken. Modern knowers cannot be independent and self-reliant. In most disciplines, those who do not trust cannot know. Trust is thus often more epistemically basic than empirical evidence or logical argument, for the evidence and the argument are available only through trust. Finally, since the reliability (...) of testimonial evidence depends on the trustworthiness of the testifier, this implies that knowledge often rests on a foundation of ethics. The rationality of many of our beliefs depends not only on our own character, but on the character of others. (shrink)

The paper begins by reviewing two problems for fallibilism: the lottery problem, or the problem of explaining why fallible evidence, though otherwise excellent, is not enough to know that one will lose the lottery, and Gettier problems. It is then argued that both problems can be resolved if we note an important illocutionary force of knowledge attributions: namely, that when we attribute knowledge to someone we mean to give the person credit for getting things right. Alternatively, to say that a (...) person knows is to say that she got things right due to her own abilities, efforts and actions, rather than due to dumb luck, or blind chance, or something else. (shrink)

From a moral point of view we think of ourselves as capable of responsible actions. From a scientific point of view we think of ourselves as animals whose behaviour, however highly evolved, conforms to natural scientific laws. Natural Agency argues that these different perspectives can be reconciled, despite the scepticism of many philosophers who have argued that 'free will' is impossible under 'scientific determinism'. This scepticism is best overcome, according to the author, by defending a causal theory of action, that (...) is by establishing that actions are constituted by behavourial events with the appropriate kind of mental causal history. He sets out a rich and subtle argument for such a theory and defends it against its critics. Thus the book demonstrates the importance of philosophical work in action theory for the central metaphysical task of understanding our place in nature. (shrink)

In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...) by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system. (shrink)

Researchers have debated whether knowledge or certainty is a better candidate for the norm of assertion. Should you make an assertion only if you know it's true? Or should you make an assertion only if you're certain it's true? If either knowledge or certainty is a better candidate, then this will likely have detectable behavioral consequences. I report an experiment that tests for relevant behavioral consequences. The results support the view that assertability is more closely linked to knowledge than to (...) certainty. In multiple scenarios, people were much more willing to allow assertability and certainty to come apart than to allow assertability and knowledge to come apart. (shrink)

For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

I report two experiments studying the relationship among explicit judgments about what people see, know, and should assert. When an object of interest was surrounded by visibly similar items, it diminished people’s willingness to judge that an agent sees, knows, and should tell others that it is present. This supports the claim, made by many philosophers, that inhabiting a misleading environment intuitively decreases our willingness to attribute perception and knowledge. However, contrary to stronger claims made by some philosophers, inhabiting a (...) misleading environment does not lead to the opposite pattern whereby people deny perception and knowledge. Causal modeling suggests a specific psychological model of how explicit judgments about perception, knowledge, and assertability are made: knowledge attributions cause perception attributions, which in turn cause assertability attributions. These findings advance understanding of how these three important judgments are made, provide new evidence that knowledge is the norm of assertion, and highlight some important subtleties in folk epistemology. (shrink)

Visualizing and mental imagery are thought to be cognitive states by all sides of the imagery debate. Yet the phenomenology of those states has distinctly visual ingredients. This has potential consequences for the hypothesis that vision is cognitively impenetrable, the ability of visual processes to ground perceptual warrant and justification, and the distinction between cognitive and perceptual phenomenology. I explore those consequences by describing two forms of visual ambiguity that involve visualizing: the ability to visually experience a picture surface as (...) flat after it has caused volumetric nonconceptual contents, and the ability to use a surface initially perceived as flat to visualize three-dimensional scenes. In both cases, the visual processes which extract viewer-centered volumetric shapes have to rely solely on monocular depth cues in the absence of parallax and stereopsis. Those processes can be cognitively penetrated by acts of visualizing, including ones that draw on conceptual information about kinds. However, the penetrability of the visual processes does not weaken their ability to provide perceptual warrant and justification for beliefs. The reason is that picture perceptions—whether they are stimulus -driven or based on acts of visualizing—are different to object perceptions both phenomenologically and in terms of their functional roles as states. Thus, although the penetrability of the visual processes does mean that subjects can have visual experiences with contradictory contents, perceptual belief is adopted at most towards one set of contents, and questions of warrant and justification are raised only for those contents. A rule-proving exception is provided by trompe-l’oeils. (shrink)

The beginning of Plato's Philebus contains a puzzling argument: Socrates says that pleasures are different, and that this somehow supports the contention that not all pleasures are good (contrary to what the hedonist interlocutor, Protarchus, maintains). His argument has a bad reputation in the literature, and more to the point it is confusing. This paper sheds light on Socrates' argument by making use of principles from contemporary metaphysics. I argue that Socrates thinks of pleasure as exhibiting the structure that metaphysicians (...) today associate with determinables and determinates. Specifically, he thinks that what makes each pleasure a pleasure is a unique profile, which simultaneously differentiates it from other pleasures. As a result, the kind, 'pleasure', is really a relational principle of coherence between the different kinds of pleasure. I argue that, based on this metaphysical picture, we can see why Socrates thinks that it is possible that some pleasures are bad, contrary to hedonism. Beyond making sense of the dialectic in the Philebus, my paper advances a growing literature on the interesting metaphysical views developed in this section of Plato's dialogue. (shrink)

Since the time of Aristotle's students, interpreters have considered Prior Analytics to be a treatise about deductive reasoning, more generally, about methods of determining the validity and invalidity of premise-conclusion arguments. People studied Prior Analytics in order to learn more about deductive reasoning and to improve their own reasoning skills. These interpreters understood Aristotle to be focusing on two epistemic processes: first, the process of establishing knowledge that a conclusion follows necessarily from a set of premises (that is, on the (...) epistemic process of extracting information implicit in explicitly given information) and, second, the process of establishing knowledge that a conclusion does not follow. Despite the overwhelming tendency to interpret the syllogistic as formal epistemology, it was not until the early 1970s that it occurred to anyone to think that Aristotle may have developed a theory of deductive reasoning with a well worked-out system of deductions comparable in rigor and precision with systems such as propositional logic or equational logic familiar from mathematical logic. When modern logicians in the 1920s and 1930s first turned their attention to the problem of understanding Aristotle's contribution to logic in modern terms, they were guided both by the Frege-Russell conception of logic as formal ontology and at the same time by a desire to protect Aristotle from possible charges of psychologism. They thought they saw Aristotle applying the informal axiomatic method to formal ontology, not as making the first steps into formal epistemology. They did not notice Aristotle's description of deductive reasoning. Ironically, the formal axiomatic method (in which one explicitly presents not merely the substantive axioms but also the deductive processes used to derive theorems from the axioms) is incipient in Aristotle's presentation. Partly in opposition to the axiomatic, ontically-oriented approach to Aristotle's logic and partly as a result of attempting to increase the degree of fit between interpretation and text, logicians in the 1970s working independently came to remarkably similar conclusions to the effect that Aristotle indeed had produced the first system of formal deductions. They concluded that Aristotle had analyzed the process of deduction and that his achievement included a semantically complete system of natural deductions including both direct and indirect deductions. Where the interpretations of the 1920s and 1930s attribute to Aristotle a system of propositions organized deductively, the interpretations of the 1970s attribute to Aristotle a system of deductions, or extended deductive discourses, organized epistemically. The logicians of the 1920s and 1930s take Aristotle to be deducing laws of logic from axiomatic origins; the logicians of the 1970s take Aristotle to be describing the process of deduction and in particular to be describing deductions themselves, both those deductions that are proofs based on axiomatic premises and those deductions that, though deductively cogent, do not establish the truth of the conclusion but only that the conclusion is implied by the premise-set. Thus, two very different and opposed interpretations had emerged, interestingly both products of modern logicians equipped with the theoretical apparatus of mathematical logic. The issue at stake between these two interpretations is the historical question of Aristotle's place in the history of logic and of his orientation in philosophy of logic. This paper affirms Aristotle's place as the founder of logic taken as formal epistemology, including the study of deductive reasoning. A by-product of this study of Aristotle's accomplishments in logic is a clarification of a distinction implicit in discourses among logicians--that between logic as formal ontology and logic as formal epistemology. (shrink)

Stephen Law developed a challenge to theism, known as the evil-god challenge (Law (2010) ). The evil-god challenge to theism is to explain why the theist’s responses to the problem of evil are any better than the diabolist’s – who believes in a supremely evil god – rejoinders to the problem of good, when all the theist’s ploys (theodicy, sceptical theism, etc.) can be parodied by the diabolist. In the first part of this article, I extend the evil-god challenge by (...) showing that additional theist replies to the problem of evil (more theodicies, the privation view of evil, and others) also may be appropriated, with just as much plausibility, in support of the diabolist position. In the second part of the article, I defend the evil-god challenge against several objections. (shrink)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...) Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

The purpose of this paper is to consider the ethical, political, and epistemological dimensions of upward mobility, through higher education, from a personal perspective. I explore some of the contradictions exposed in my experience pursuing aphilosophy Ph.D., in light of scholarship highlighting challenges for low socio-economic status (SES) undergraduate students. I evaluate the proposal from the philosopher Jennifer M. Morton (2019) that low-SES students need ‘clear-eyed ethical narratives’ to navigate higher education. I argue that, in order to develop these narratives, (...) low-SES graduate students must self-conceive in a way that incorporates ‘oppositional consciousness’. (shrink)

Thirteen meanings of 'implication' are described and compared. Among them are relations that have been called: logical implication, material implication,deductive implication, formal implication, enthymemic implication, and factual implication. In a given context, implication is the homogeneous two-place relation expressed by the relation verb 'implies'. For heuristic and expository reasons this article skirts many crucial issues including use-mention, the nature of the entities that imply and are implied, and the processes by which knowledge of these relations are achieved. This paper is (...) better thought of as an early stage of a dialogue than as a definitive treatise. (shrink)

ABSTRACT Drawing inspiration from Fred Dretske, L. S. Carrier, John A. Barker, and Robert Nozick, we develop a tracking analysis of knowing according to which a true belief constitutes knowledge if and only if it is based on reasons that are sensitive to the fact that makes it true, that is, reasons that wouldn’t obtain if the belief weren’t true. We show that our sensitivity analysis handles numerous Gettier-type cases and lottery problems, blocks pathways leading to skepticism, and validates (...) the epistemic closure thesis that correct inferences from known premises yield knowledge of the conclusions. We discuss the plausible views of Ted Warfield and Branden Fitelson regarding cases of knowledge acquired via inference from false premises, and we show how our sensitivity analysis can account for such cases. We present arguments designed to discredit putative counterexamples to sensitivity analyses recently proffered by Tristan Haze, John Williams and Neil Sinhababu, which involve true statements made by untrustworthy informants and strange clocks that sometimes display the correct time while running backwards. Finally, we show that in virtue of employing the paradox-free subjunctive conditionals codified by Relevance Logic theorists instead of the paradox-laden subjunctive conditionals codified by Robert Stalnaker and David Lewis. (shrink)

In Plato’s Statesman, the Eleatic Stranger applies a specialized method of inquiry—the “method of collection and division”, or “method of division”—in order to discover the nature of statecraft. This paper articulates some consequences of the fact that the method is both a tool for identifying natural kinds—that is, a tool for carving the world by its joints (Phaedrus 265b-d)—and social kinds—that is, the kinds depending on human beings for their existence and explanation. A central goal of the paper is to (...) illuminate the extent to which this use of the method of division allows us to identify Plato as an early historical forerunner of racialism, which is an ideology according to which humanity divides into races differentiated by heritable physiological, cultural, and intellectual traits, as a way of vindicating oppressive and exploitative social, political, and economic systems. -/- I defend an interpretation of the Stranger’s claim, much discussed in the literature, that the division of humankind into Greek and barbarian is unnatural (Politicus 262c-263a). I argue that, in the Stranger’s view, this division reflects subjective illusion and prejudice, rather than the fundamental, and teleological, structure of human social organization, which concerns how human beings rationally cooperate to self-produce as a species. Nonetheless, the Stranger’s alternative theory of the natural structure of human society, I suggest, is proto-racial in another way. Through a brief consideration of the Stranger’s affirmative and complex division of kinds in the city, I argue that he re-introduces naturalistic foundations for unjust human hierarchies through his alternative theory of natural kinds and human social teleology. (shrink)

Can the best arguments for a privation theory of evil be parodied, with equal plausibility, as arguments for a privation theory of good? The privation theory of evil claims that evil has no positive existence, and it is but a privation of good. The privation theory of good claims the opposite. I approach this topic as one element in the so-called evil-God Challenge. Stephen Law has argued that the epistemic support for belief in an omniscient, omnipotent, and morally perfect God (...) (theism) is on a par with the epistemic support for belief in an omniscient, omnipotent, but completely evil-God (maltheism). In fact, he concludes, the arguments for an evil God are symmetrical with, and isomorphic to, those for a good God. The privation theory of evil has often been used to defend theism against the argument from evil. Thus, part of the evil-God Challenge is to evaluate arguments for the privation theory of evil for their vulnerability to maltheist parody. I consider a broad range of arguments for the privation theory of evil, and I argue that most of them are vulnerable to parodic neutralization. Furthermore, I argue that although the thesis of the convertibility of being and goodness is often held to entail the privation theory of evil, or to be entailed by it (or to be equivalent to it), it is independent of the privation theory. I do find that David Oderberg’s recent argument for the privation theory of evil resists any easy maltheist parody, but I argue that it has a defect. I sketch an argument according to which his good-as-fulfillment account is compatible with a perfectly evil god. My tentative conclusion is that the privation theory of evil enjoys little more plausibility than does the privation theory of good. (shrink)

In Plato’s Philebus, Socrates’ second account of ‘false’ pleasure (41d-42c) outlines a form of illusion: pleasures that appear greater than they are. I argue that these pleasures are perceptual misrepresentations. I then show that they are the grounds for a methodological critique of hedonism. Socrates identifies hedonism as a judgment about the value of pleasure based on a perceptual misrepresentation of size, witnessed paradigmatically in the ‘greatest pleasures’.

This study concerns logical systems considered as theories. By searching for the problems which the traditionally given systems may reasonably be intended to solve, we clarify the rationales for the adequacy criteria commonly applied to logical systems. From this point of view there appear to be three basic types of logical systems: those concerned with logical truth; those concerned with logical truth and with logical consequence; and those concerned with deduction per se as well as with logical truth and logical (...) consequence. Adequacy criteria for systems of the first two types include: effectiveness, soundness, completeness, Post completeness, "strong soundness" and strong completeness. Consideration of a logical system as a theory of deduction leads us to attempt to formulate two adequacy criteria for systems of proofs. The first deals with the concept of rigor or "gaplessness" in proofs. The second is a completeness condition for a system of proofs. An historical note at the end of the paper suggests a remarkable parallel between the above hierarchy of systems and the actual historical development of this area of logic. (shrink)

Anne Conway rejects the view that creatures are essentially members of any natural kind more specific than the kind 'creature'. That is, she rejects essentialism about species membership. This chapter provides an analysis of one of Anne Conway's arguments against such essentialism, which (as I argue) is drawn from metaethical rather than metaphysical premises. In her view, if a creature's species or kind were inscribed in its essence, that essence would constitute a limit on the creature's potential to participate in (...) the divine good. It is this consideration that ultimately leads her to reject essentialism about species membership. The chapter concludes with an examination of some of the metaethical consequences of Conway's view as well as a lesson it can teach us about ideal adviser accounts of the good. (shrink)

This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...) universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes. (shrink)

I report three experiments relevant to evaluating Krista Lawlor's theory of assurance, respond to her criticism of the knowledge account of assertion, and propose an alternative theory of assurance.

Worrall argued that structural realism provides a ‘synthesis’ of the main pro-realist argument – the ‘No Miracles Argument’, and the main anti-realist argument – the ‘Pessimistic Induction’. More recently, however, it has been claimed that each of these arguments is an instance of the same probabilistic fallacy – sometimes called the ‘base-rate fallacy’. If correct, this clearly seems to undermine structural realism and Magnus and Callender have indeed claimed that both arguments are fallacious and ‘without [them] we lose the rationale (...) for … structural realism ’. I here argue that what have been shown to be fallacious are simply misguided formalisations of ‘the’ arguments and that when they are properly construed they continue to provide powerful motivation for favouring structural realism. (shrink)

From early in his philosophical career, Spinoza took a central part of his project to involve identifying the nature and scope of human power. For, he argues, "The better the mind understands its own powers, the more easily it can direct itself and propose rules to itself" (TIE[40]). Thus, the practical goals of living well, and of building a stable, well- functioning social order, are both intimately connected to the metaphysics of power. This entry provides an overview of Spinoza’s account (...) of power, both in his metaphysics and in his politics. (shrink)

This essay takes logic and ethics in broad senses: logic as the science of evidence; ethics as the science justice. One of its main conclusions is that neither science can be fruitfully pursued without the virtues fostered by the other: logic is pointless without fairness and compassion; ethics is pointless without rigor and objectivity. The logician urging us to be dispassionate is in resonance and harmony with the ethicist urging us to be compassionate.

"Singular thing" (res singulares) is one of the terms Spinoza uses to denote finite particulars. The term figures prominently in most of his philosophical works. However, its precise meaning evolves from its earliest appearance in the TIE to its final appearance in the Ethics. In the Ethics, the definition of the term (i) stipulates that singular things are finite and (ii) specifies the conditions under which many things compose one singular thing. However, in Spinoza’s earlier writings, the term is not (...) restricted to finite and mutable things, nor is it associated with the composition of one (singular) thing from many distinct things. This short entry traces those shifts in meaning. (shrink)

Many of Spinoza’s arguments, ranging from his metaphysics to his political philosophy, draw on claims about the relationship between part (pars) and whole (totus). This entry surveys Spinoza’s views about the metaphysics of parts and wholes, as well as the various ways that mereological concepts figure in different elements of his system.

RÉSUMÉ : Dans son récent recueil d’articles Language, Truth and History, Donald Davidson semble pencher en faveur d’une philosophie du langage mettant l’accent sur la notion de l’intention communicative du sujet parlant; en quoi il se rapproche du point de vue de Paul Grice. Si cela est juste, la pensée de Davidson se serait dégagée de l’approche sémantique formelle qu’il soutenait dans ses Inquiries into Truth and Interpretation. Dans cet article, je soutiens que, bien qu’il y ait beaucoup de similitudes (...) entre ces deux penseurs, Davidson n’a pas abandonné ses précédentes vues sur le langage. (shrink)

FEEL FREE TO CITE - IGNORE IN-PDF REQUEST The eight year gap between the publication of Volume I (1976) of The History of Sexuality and Volumes II and III (1984) has provoked a fair amount of debate within scholarly circles. Does it represent a fundamental rethinking of the analysis of power and knowledge begun in Volume I, or is something else at stake? And what does the shift in emphasis regarding power and resistance after these eight years ultimately entail? James (...) Miller’s influential, if often flawed, biography of Foucault has provided one of the leading interpretations of this gap in Foucault’s publishing career. On Miller’s account, the turn towards governmentality and technologies of the self represents something of a tacit admission of failure on Foucault’s part regarding his Volume I rendering of power and resistance.1 Now, it seems to me that there is something right about this reading – we can map a shift in Foucault’s consideration of power and resistance in this period, culminating in the 1982 essay, “The Subject and Power,” which it seems to me can be read as a perverse re-writing of the themes of Volume I. However, the idea that this eight year period represents a ‘hard break,’ or an introduction of an incommensurability between resistance as tactical reversal (Volume I) and resistance as.. (shrink)

This paper defends an interpretation of Plato, Soph. 259c7–d7, which describes a distinction between genuine and pretender forms of ‘examination’ or ‘refutation’ (ἔλεγχος). The passage speaks to a need, throughout the dialogue, to differentiate the truly philosophical method from the merely eristic method. But its contribution has been obscured by the appearance of a textual problem at 259c7–8. As a result, scholars have largely not recognized that the Eleatic Stranger recommends accepting contrary predication as a condition of genuine refutation. After (...) reviewing various proposals to change the text, the paper defends this reading. Finally, the paper turns to the methodological significance of accepting contrary predication. The dialogue depicts contrary predication as an instance of a class of statements that compel the soul's disbelief. Soph. 259c7–d7 suggests that these kinds of statements are a crossroad: one can either reject them and turn to eristic discourse or accept them and practise genuine refutation. The paper reflects on what this indicates about Plato's meditations on contradiction and philosophy. (shrink)

This paper raises obvious questions undermining any residual confidence in Mates work and revealing our embarrassing ignorance of true nature of Stoic deduction. It was inspired by the challenging exploratory work of JOSIAH GOULD.

Both of Spinoza’s major political works make frequent use of the concept of right (jus). However, his understanding of right–both natural right and political right–is not moralistic. That is, to have (a) right is not an intrinsic moral status, such that others have a moral obligation either to provide some benefit or to avoid interference with the rightsholder. For Spinoza, if someone lacks the actual power to take some action or secure some benefit, they also lack the right to take (...) that action or obtain that benefit. The same point applies to political authorities: when a political authority lacks the power to enact some law, it is simply false that they have the right to enact that law. Spinoza holds that in our political thinking, we must confront the actual distribution of power in the world, not "a Fantasy, possible only in a Utopia, or in the golden age of the Poets" (TP1.1). This entry examines three components of Spinoza’s view of right: his doctrine of natural right; his account of how people transfer their natural right to a central authority to form a civil order; and his notion of being sui juris, in command of one’s own right. (shrink)

In Metaphysics Λ.6-7 Aristotle argues that an unmoved substance causes the outermost sphere to rotate. His argument has puzzled and divided commentators from ancient Greece to the present. I offer a novel defense of Aristotle's argument by highlighting the logic of classification that Aristotle deploys. The core of Aristotle's argument is the identification of the unmoved substance on the 'table of opposites' as simple and purely actual. With this identification in place, Aristotle argues that the outermost sphere activates its capacity (...) to relocate its body by rotating because this is how it can be a simple and actual substance. But unlike traditional attempts to rehabilitate Aristotle's argument, I argue that the sphere does not rotate in order to imitate the Prime Mover. Rather, the sphere rotates because that is good for it to do, and the Prime Mover is a metaphysically necessary source of simple and actual substantial being, which the sphere acts for the sake of. (shrink)

Beauty is truth, truth beauty.If this epigraph only rarely escapes English class, something like it has fascinated philosophers for a long time. Iris Murdoch remembers that "Kant said that beauty was an analogon of good, Plato said it was the nearest clue."2 I want to go further and posit that our means of perception of the aesthetic and the ethical share an organic connection, an understanding of which will help elucidate moral perception, a critical component of moral education.Or moral education (...) as it should be. But what currently counts as such is, directly or almost directly, simple instruction. I ask why this does not work. I ask why Jane Austen said, "We all love to instruct, though we can teach only what is... (shrink)