In the present paper, we prove the normalization theorem and the consistency of the first-order classical logic with disjunctive syllogism. First, we propose the natural deduction system SCD for classical propositional logic having rules for conjunction, implication, negation, and disjunction. The rules for disjunctive syllogism are regarded as the rules for disjunction. After we prove the normalization theorem and the consistency of SCD, we extend SCD to the system SPCD for the first-order classical logic with disjunctive syllogism. It can be (...) shown that SPCD is conservative extension to SCD. Then, the normalization theorem and the consistency of SPCD are given. (shrink)

What are economic exchanges? The received view has it that exchanges are mutual transfers of goods motivated by inverse valuations thereof. As a corollary, the standard approach treats exchanges of services as a subspecies of exchanges of goods. We raise two objections against this standard approach. First, it is incomplete, as it fails to take into account, among other things, the offers and acceptances that lie at the core of even the simplest cases of exchanges. Second, it ultimately fails (...) to generalize to exchanges of services, in which neither inverse preferences nor mutual transfers hold true. We propose an alternative definition of exchanges, which treats exchanges of goods as a special case of exchanges of services and which builds in offers and acceptances. According to this theory: (i) The valuations motivating exchanges are propositional and convergent rather than objectual and inverse; (ii) All exchanges of goods involve exchanges of services/actions, but not the reverse; (iii) Offers and acceptances, together with the contractual obligations and claims they bring about, lie at the heart of all cases of exchange. (shrink)

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

This paper formulates a bilateral account of harmony that is an alternative to one proposed by Francez. It builds on an account of harmony for unilateral logic proposed by Kürbis and the observation that reading the rules for the connectives of bilateral logic bottom up gives the grounds and consequences of formulas with the opposite speech act. I formulate a process I call 'inversion' which allows the determination of assertive elimination rules from assertive introduction rules, and rejective elimination rules (...) from rejective introduction rules, and conversely. It corresponds to Francez's notion of vertical harmony. I also formulate a process I call 'conversion', which allows the determination of rejective introduction rules from assertive elimination rules and conversely, and the determination of assertive introduction rules from rejective elimination rules and conversely. It corresponds to Francez's notion of horizontal harmony. The account has a number of features that distinguish it from Francez's. (shrink)

In the pure powers ontology (PPO), basic physical properties have wholly dispositional essences. PPO has clear advantages over categoricalist ontologies, which suffer from familiar epistemological and metaphysical problems. However, opponents argue that because it contains no qualitative properties, PPO lacks the resources to individuate powers, and generates a regress. The challenge for those who take such arguments seriously is to introduce qualitative properties without reintroducing the problems that PPO was meant to solve. In this paper, I distinguish the core claim (...) of PPO: (i) basic physical properties have dispositional essences, from a hitherto unnoticed assumption: (ii) the dispositional essences of basic physical properties exclusively involve type-causal relations to other basic physical properties. I reject (ii), making room for a structuralist ontology in which all basic physical properties are pure powers, individuated by their places in a causal structure that includes not only other powers, but also physically realized qualitative properties such as shapes, patterns and structures. Such qualities individuate pure powers in the way that non-mental input and output properties individuate realized mental properties in functionalist theories of mind, except that here it is basic physical powers that are individuated by relations to realized non-powers. I distinguish one Platonic and two Aristotelian version of this theory, and argue that the Aristotelian versions require that grounding is not always a relative fundamentality relation, because the powers ground the qualities that individuate them. By considering ontic structural realism, I argue that symmetric grounding is the best way to make sense of relational individuation in structuralist ontologies, and is therefore no additional commitment of the one proposed here. (shrink)

Mario Bunge remarks that technology is essentially connected with science and its method, otherwise it would be pure technique. But he also points out that it is not reduced to science because it incorporates other components. He was especially concerned with investigating the connection between technology and science. Based on their characterization, these other components are explored—the inverse approach. This perspective allows a more detailed epistemological characterization of the technologies.

William Lane Craig has argued that there cannot be actual infinities because inverse operations are not well-defined for infinities. I point out that, in fact, there are mathematical systems in which inverse operations for infinities are well-defined. In particular, the theory introduced in John Conway's *On Numbers and Games* yields a well-defined field that includes all of Cantor's transfinite numbers.

Martine Nida-Rümelin (1996) argues that color science indicates behaviorally undetectable spectrum inversion is possible and raises this possibility as an objection to functionalist accounts of visual states of color. I show that her argument does not rest solely on color science, but also on a philosophically controversial assumption, namely, that visual states of color supervene on physiological states. However, this assumption, on the part of philosophers or vision scientists, has the effect of simply ruling out certain versions of functionalism. (...) While Nida-Rümelin is quite right to search for empirical tests for claims about the nature of visual states, philosophical issues remain pivotal in determining the correctness of these claims. (shrink)

This chapter examines the spectrum inversion hypothesis as an argument against certain kinds of account of what it’s like to be conscious of color. The hypothesis aims to provide a counterexample to accounts of what it’s like to be conscious of color in non-qualitative terms, as well as to accounts of what it’s like to be conscious of color in terms of the representational content of conscious visual states (which, according to some philosophers, is in turn given an account (...) in non-qualitative terms). I explain the hypothesis’s reasoning in sections 1 and 2. I then take up background issues: since the counterexample provided by the hypothesis is typically given as a possibility rather than an actuality, I briefly discuss the kind of possibility involved in section 3, and the methodologies used to evaluate the plausibility of possibilities in section 4. In section 5, I describe some general considerations that are commonly used against the spectrum inversion hypothesis. I take up attempts to support the hypothesis with findings from color science in section 6. I end with comments skeptical of both the motivation for the spectrum inversion hypothesis and the methodology used to support it. (shrink)

Non‐reflectivist real self views claim that people are morally responsible for all and only those bits of conduct that express their true values and cares, regardless of whether they have endorsed them or not. A phenomenon that is widely cited in support of these views is inverse akrasia, that is, cases in which a person is praiseworthy for having done the right thing for the right reasons despite her considered judgment that what she did was wrong. In this paper I (...) show that non‐reflectivist real self views are problematic by focusing on the related but neglected phenomenon of inverse enkrasia, which occurs when an agent commits wrongdoing by following a mistaken evaluative judgment that, unbeknownst to her, runs contrary to her true values and cares. Intuitively, inverse enkratics are blameworthy for their actions although the latter don't express their real selves; therefore, non‐reflectivist real self views are false. I assess the implications of this result for the viability of the quality of will paradigm and conclude that the latter survives unscathed to the problems besetting real self views. The lesson is that defenders of the quality of will paradigm should stop talking about real selves altogether. (shrink)

In this paper, I shall evaluate a strategy recently used to try to demonstrate the impossibility of behaviorally undetectable spectrum inversion. After showing that the impossibility proof proves too much, I shall identify where it goes wrong. In turn, I shall explain why someone attracted to functionalist and representationalist assumptions might rightly remain agnostic about the possibility of inversion.

Issues about the nature and ontology of works of art play a central part in contemporary aesthetics. But such issues are complicated by the fact that there seem to be two fundamentally different kinds of artworks. First, a visual artwork such as a picture or drawing seems to be closely identified with a particular physical object, in that even an exact copy of it does not count as being genuinely the same work of art. Nelson Goodman describes such works as (...) being “autographic.” Second, other artworks such as musical or literary works seem to be copyable without any such limitations: for example, two identical copies of a novel could each equally be a genuine instance of that novel; such works are “allographic,” in Goodman’s terminology. Nevertheless, it seems clear enough that a deeper understanding of both kinds of artworks requires the pursuit of analogies or similarities between them, in spite of their differences. Any such analogies that may be found will provide critical tests for more general theories about the nature of artworks. I show how to resolve such analogies for the orientational concept of inversion. (shrink)

An inverse akratic act is one who believes X, all things considered, is the correct act, and yet performs ~X, where ~X is the correct act. A famous example of such a person is Huck Finn. He believes that he is wrong in helping Jim, and yet continues to do so. In this paper I investigate Huck’s nature to see why he performs such acts contrary to his beliefs. In doing so, I explore the nature of empathy and show how (...) powerful Huck’s empathic feelings are. Drawing from Martin L. Hoffman, I show the relationship between empathy and a principle of justice. This relationship leads to Huck acting virtuously, as Rosalind Hursthouse maintains. (shrink)

Mario Bunge souligne que la technologie est fondamentalement liée à la science et à sa méthode, autrement il s’agirait d’une technique pure. Mais il souligne également qu’elle ne se réduit pas à la science, car elle intègre d’autres éléments. Il est particulièrement préoccupé par l’étude du lien entre technologie et science. Sur la base de leur caractérisation, ces autres éléments sont explorés – l’approche inverse. Cette perspective permet une caractérisation épistémologique plus approfondie des technologies.

According to Kant, pure intuition is an indispensable ingredient of mathematical proofs. Kant‘s thesis has been considered as obsolete since the advent of modern relational logic at the end of 19th century. Against this logicist orthodoxy Cassirer’s “critical idealism” insisted that formal logic alone could not make sense of the conceptual co-evolution of mathematical and scientific concepts. For Cassirer, idealizations, or, more precisely, idealizing completions, played a fundamental role in the formation of the mathematical and empirical concepts. The aim of (...) this paper is to outline the basics of Cassirer’s idealizational account, and to point at some interesting similarities it has with Kant’s and Peirce’s philosophies of mathematics based on the key notions of pure intuition and theorematic reasoning, respectively. (shrink)

This paper discusses the two primary groups of jurisprudential theories, Utilitarianism and Deontology, and attempts to show that there is a phenomenon that occurs when the results are opposite to what was expected. When this happens, the Utilitarian position prior to the results would become a Deontological position after the results, and vice versa i.e. the Deontological position prior to the results would become a Utilitarian position after the results, provided that the results are opposite to what was expected. This (...) is The Direct Inverse Effect. This has been approached not from an entirely critical position, but from a position that attempts to encourage the reader to move away from confining oneself to either of these groupings. Since positions can only be held retrospectively, one should move away from holding these positions when deciding on how to act. Both of these theories have merit, and both can and should be used where applicable. This has been demonstrated by the use of opinions of philosophers and hypothetical scenarios. This shows that aligning to any jurisprudential grouping prior to the results is of no significance, and instead each decision should be made on a case by case basis utilising both Utilitarianism and Deontology. (shrink)

Martine Nida-Rümelin (1996) argues that color science indicates behaviorally undetectable spectrum inversion is possible and raises this possibility as an objection to functionalist accounts of visual states of color. I show that her argument does not rest solely on color science, but also on a philosophically controversial assumption, namely, that visual states of color supervene on physiological states. However, this assumption, on the part of philosophers or vision scientists, has the effect of simply ruling out certain versions of functionalism. (...) While Nida-Rümelin is quite right to search for empirical tests for claims about the nature of visual states, philosophical issues remain pivotal in determining the correctness of these claims. (shrink)

This paper examines three specific issues raised by The Ethical Project. First, I discuss the varieties of altruism and spell out the differences between the definitions proposed by Kitcher and the ways altruism is usually conceived in biology, philosophy, psychology, and economics literature. Second, with the example of Kitcher’s account, I take a critical look at evolutionary stories of the emergence of human ethical practices. Third, I point to the revolutionary implications of the Darwinian methodology when it is thoughtfully applied (...) to ethics. (shrink)

Misrepresentations can be innocuous or even useful, but Kant’s corollary to the formula of universal law appears to involve a pernicious one: “act as if the maxim of your action were to become by your will a universal law of nature”. Humans obviously cannot make their maxims into laws of nature, and it seems preposterous to claim that we are morally required to pretend that we can. Given that Kant was careful to eradicate pernicious misrepresentations from theoretical metaphysics, the (...) imperative to act as if I have this supernatural power has typically been treated as an embarrassment meriting apology. The wording of the corollary may be vindicated, however, by recognizing that “as if” (als ob) is a technical term both in the Critique of Pure Reason and here. It signals a modal shift from the assertoric to the problematic mode of cognition, one that is necessitated by the attempt to incorporate the natural effects of a free will into a universal moral imperative that is philosophically practical. In this paper I sketch how the modal shift makes sense of the corollary as a subjectively necessary, philosophically practical idealization of the extension of human freedom into nature, one that accurately represents a necessary parameter of moral conduct: moral ambition. (shrink)

This paper examines the work of Immanuel Kant in the light of a new theory on the nature of truth, knowledge and falsehood (the Inversion Theory of Truth). Kant’s idea that knowledge could be absolutely certain, and that its truth must correspond with reality, is discredited by a dissection of the Correspondence Theory of Truth. This examination of the nature of truth, as well as knowledge and falsehood, is conducted with reference to Sir Karl Popper’s writings on regulative ideas, (...) the criterion of demarcation and the principle of falsifiability. It is argued that if truth is to be regarded as certain, it should be used to describe objects and events in the objective (noumenal) state, and that subjective knowledge must contain (and is improved by) falsehood. Perceptions and knowledge are obtained by the biological and evolutionary process of Active Subjectivism. Ideas we have knowledge of can be metaphysical or scientific, according to Popper’s Criterion of Demarcation. Kant’s “Copernican revolution” claim that our intellect imposes absolutely true laws on nature could not allow for the possibility that ideas might be constructed from fallible perceptions, and hence that all knowledge is uncertain. Instead, he developed a Critique of Practical Reason in which religion, though not provable through logical reasoning, could be proved by our innate moral sense, giving us a Categorical Imperative that could lead to perverse results. By rejecting the absolute certainty of a priori knowledge, and admitting a degree of essential falsehood, we arrive at a more reasonable grounding for moral behavior. (shrink)

Understanding academic gender gaps is difficult because gender-imbalanced fields differ across many features, limiting researchers’ ability to systematically study candidate causes. In the present preregistered research, we isolate two potential explanations—brilliance beliefs and fixed versus growth intelligence mindsets—by comparing two fields that have inverse gender gaps and historic and topical overlap: philosophy and psychology. Many more men than women study philosophy and vice versa in psychology, with disparities emerging during undergraduate studies. No prior work has examined the contributions of both (...) self-perceptions of brilliance and fixed versus growth mindsets on choice of major among undergraduate students. We assessed field-specific brilliance beliefs, brilliance beliefs about self, and mindsets, cross-sectionally in 467 undergraduates enrolled in philosophy and psychology classes at universities in the United States and Canada via both in-person and online questionnaires. We found support for the brilliance beliefs about the self, but not mindset, explanation. Brilliance beliefs about oneself predicted women’s but not men’s choice of major. Women who believed they were less brilliant were more likely to study psychology (perceived to require low brilliance) over philosophy (perceived to require high brilliance). Findings further indicated that fixed versus growth mindsets did not differ by gender and were not associated with major. Together, these results suggest that internalized essentialist beliefs about the gendered nature of brilliance are uniquely important to understanding why men and women pursue training in different academic fields. (shrink)

Self-reflexive videogames are videogames designed to materialize critical and/or satirical perspectives on the ways in which videogames themselves are designed, played, sold, manipulated, experienced, and understood as social objects. This essay focuses on the use of virtual worlds as mediators, and in particular on the use of videogames to guide and encourage reflections on technical, interactive, and thematic conventions in videogame design and development. Structurally, it is composed of two interconnected parts: -/- 1) In the first part of this essay, (...) I will discuss NECESSARY EVIL (Gualeni et al., 2013), an experimental videogame that I designed as a self-reflexive virtual artifact. With the objective of clarifying the philosophical aspirations of self-reflexive videogames – and in order to understand how those aspirations can be practically pursued – I will dissect and examine the design decisions that contributed to the qualities of NECESSARY EVIL as an example of “playable philosophy”. -/- 2) Taking off from the perspectives on self-reflexive videogames offered in the first part of the essay, the second half will focus on virtual worlds as viable mediators of philosophical thought more in general. In this section, I will argue that, both through the practice of game design and through the interactive experiences of virtual worlds, twenty-first century philosophers have the possibility to challenge the often-unquestioned understanding of written discourse as the only context in which philosophical thought can emerge and be developed. (shrink)

The scope of Platonism is extended by introducing the concept of a “Platonic computer” which is incorporated in metacomputics. The theoretical framework of metacomputics postulates that a Platonic computer exists in the realm of Forms and is made by, of, with, and from metaconsciousness. Metaconsciousness is defined as the “power to conceive, to perceive, and to be self-aware” and is the formless, con-tentless infinite potentiality. Metacomputics models how metaconsciousness generates the perceived actualities including abstract entities and physical and nonphysical realities. (...) It is postulated that this is achieved via digital computation using the Platonic computer. The introduction of a Platonic computer into the realm of Forms thus bridges the “inverse explanatory gap” and therefore solves the “inverse hard problem of consciousness” in the philosophy of mind. (shrink)

In this perspective paper, I tried to explain that what will be the possible prospect of multiple functions in one and another through the chain rule of differentiation? The chain rule is a formula to compute the derivative of the functional composition of two or more functions. The chain rule provides us a technique for finding the derivative of composite functions, with the number of functions that make up the composition determining how many differentiation steps are necessary. The chain rule (...) in that what changes I noted, how it can be modified to reduce the differentiation process of multiple functions in one and another and implementing that process in the inverse of multiple functions in one and another, further proceedings them through the chain rule of differentiation with all prospects. Here I claim that the differentiation’s chain rule is not changed but the sequences of finding the derivative of multiple functions are changed. (shrink)

The Foucauldian conception of power as ‘productive’ has left us so far with a residual conception of freedom. The article examines a number of historical cases in which ‘relationships of freedom’ have potentially come into existence within Western culture, from ‘revolution’ and ‘political truth-telling’ to ‘cynicism’ and ‘civility’. But the argument is not just about demonstrating that there have in fact been many historical inversions of ‘the conduct of conduct’. It is about theorizing how freedom can be ‘productive’ or give (...) rise to cultural norms if any such inversion can only come into being as an event in itself. (shrink)

This study focuses on the essential difference between Kant’s and Husserl’s transcendental Idealism. In fact, Husserl describes in the «Cartesian Meditations» his own ontological thesis as a «transcendental idealism», in which all sorts of entities have to be constituted by an activity of the transcendental subjectivity, so that we have to regard pure consciousness as the ontological origin of all entities in the world. But this study is interested in the two opposite signications of the Kantian copernican inversion. On (...) the one hand, the Copernican inversion has the same sense as the phenomenological reduction, which implies that Husserl can’t agree with Kant’s presupposition of absolute things in themselves; on the second hand, it involves a relativistic and anthropologistic orientation, so that the aprioristic structures of given objects are founded on the universal structures of finite subjectivity, on pure forms and faculties of human consciousness. At the opposite, Husserl enounces a methodological prescription for any phenomenological elucidation: it is not allowed to presuppose in phenomenology any given faculty or given nature of transcendental subjectivity. This prescription has important consequences on which this study focuses. First the ontological difference between intuitus originarius and intuitus derivatus, in nite and nite type of intuition, doesn’t have any validity: the difference between factual and rational truths only depends on the essence of the truth itself, and doesn’t have its foundation on the ontological difference between creative and receptive sort of intuition. Secondly, this first thesis admits an immediate application on the level of subjective constitution of objects: the modality in which an object appears to the subjectivity doesn’t depend on the universal structure of finite subject, but is exclusively founded on the essence of the object itself, so that it is impossible to consider the aprioristic constitutive structure as a merely subjective structure. Thirdly, in this transcendental phenomenology everything has to be constituted by subjectivity: the aprioristic character of the pure forms of sensibility is not founded on the structure of finite subjectivity, but rather on the essential connection between sensual material and form; so that it is not allowed to presuppose any facticity of time and space; the pure forms of sensibility have to be constituted by a special type of synthesis that we have to elucidate in opposition to other types of higher levels. The profound signication of Husserl’s anticopernican inversion is that the field of transcendental phenomenology consists of the essential form of an eidos ego, which is «more objective than any objectivity», as Levinas said; and that transcendental phenomenology is completely dominated by the principium reddendae rationis. (shrink)

Wittgenstein's paradoxical theses that unproved propositions are meaningless, proofs form new concepts and rules, and contradictions are of limited concern, led to a variety of interpretations, most of them centered on rule-following skepticism. We argue, with the help of C. S. Peirce's distinction between corollarial and theorematic proofs, that his intuitions are better explained by resistance to what we call conceptual omniscience, treating meaning as fixed content specified in advance. We interpret the distinction in the context of modern epistemic logic (...) and semantic information theory, and show how removing conceptual omniscience helps resolve Wittgenstein's paradoxes and explain the puzzle of deduction, its ability to generate new knowledge and meaning. (shrink)

Shepard has supposed that the mind is stocked with innate knowledge of the world and that this knowledge figures prominently in the way we see the world. According to him, this internal knowledge is the legacy of a process of internalization; a process of natural selection over the evolutionary history of the species. Shepard has developed his proposal most fully in his analysis of the relation between kinematic geometry and the shape of the motion path in apparent motion displays. We (...) argue that Shepard has made a case for applying the principles of kinematic geometry to the perception of motion, but that he has not made the case for injecting these principles into the mind of the percipient. We offer a more modest interpretation of his important findings: that kinematic geometry may be a model of apparent motion. Inasmuch as our recommended interpretation does not lodge geometry in the mind of the percipient, the motivation of positing internalization, a process that moves kinematic geometry into the mind, is obviated. In our conclusion, we suggest that cognitive psychologists, in their embrace of internal mental universals and internalization may have been seduced by the siren call of metaphor. Key Words: apparent motion; imagery; internalization; inverse projection problem; kinematic geometry; measurement; metaphors of mind. (shrink)

Argues that Tacitus’ shaped his account of Seneca and the characterization of Nero within his social environment according to features characteristic of Seneca’s conception of friendship. Surprisingly, Tacitus assigns to Nero an active power: The emperor drives a ubiquitous inversion of the social values promoted by his mentor. Patterns of Seneca’s social thought are adduced to characterize not only the portrayed emperor but also the political institution itself.

This article discusses the theological implications of Adorno’s writings on Beckett by specifically examining their constellative motifs of death, reconciliation and redemption. It addresses not only their content but also their form, suggesting a mutually stimulating relationship between the two as based both on a negative-dialectical approach and an inverse-theological trajectory. Focusing on Adorno’s discussion of Beckett’s oeuvre as a “metaphysical entity,” I argue that Adorno’s reading of Beckett is peculiar because it is inextricably tied to his own critical-theological venture. (...) The essay claims that Adorno’s reflections on Beckett contour, at their most basic level, meditations on theology in the age of its impossibility. (shrink)

In the light of the principle of mediocrity, naturalism is in fact transcendent exceptionalism - as opposed to transcendent mediocrity. As such, it has the burden of proof - and the "inverse criterion" defeats many of such alleged proofs.

When this article was first planned, writing was going to be exclusively about two things - the origin of life and human evolution. But it turned out to be out of the question for the author to restrict himself to these biological and anthropological topics. A proper understanding of them required answering questions like “What is the nature of the universe – the home of life – and how did it originate?”, “How can time travel be removed from fantasy and (...) science fiction, to be made scientific and practical?”, and “How can the proposed young age of genus Homo be made to actually be reasonable – when simply stating it would be solid ground for instant rejection and dismissal?” The result is that the article also talks about subjects like Artificial Intelligence, General Relativity, and cosmology. -/- From where did life originate? God? Evolution? Panspermia? If the tendency of humans and scientists to regard undiscovered science as pseudoscience can be overcome, Einstein gave another alternative to consider when he introduced General Relativity. Time isn’t linear – progressing in a straight line from past to present to future. That assumption ignores Relativity which states that space AND TIME are curved. Where did life and the genetic code come from? Can the answer build AI? -/- The first question can be answered by the section of this article titled SETI, Evolution, and Time which says life (possibly multicellular and intelligent) and the genetic code came from humans acquiring knowledge of these things over the centuries, then applying that knowledge – via terraforming, accumulation of raw materials like amino acids and nucleic acids, genetic engineering - to a time in the past when life didn’t exist. From that origin, life evolved through innumerable mutations and adaptations, with humans once again acquiring knowledge of it in cyclic (nonlinear) time. -/- The second question is answered by saying artificial intelligence (AI) as the product of life is only half of the equation. The other half refers to Relativity’s curved space-time and violation of the notion that time always travels from past to future. We have always lived in an artificially intelligent, non-probabilistic universe where everything in time and space is connected into one thing by quantum entanglement – making the brain and genes products of binary-digit activity or artificial intelligence (life is not merely dependent on biology’s “lock and key” mechanisms but also possesses AI). -/- The earliest documented representative of the genus Homo is Homo habilis, which evolved around 2.8 million years ago. Scientists used to believe there was a straight line from H. habilis to us, Homo sapiens. This article will use the “advanced” waves loved by Physics Nobel laureate Richard Feynman, view the history of science through the lens of Conic Sections applied to Relativity’s curved space-time, and incorporate the necessity of so-called imaginary time * – popularized by Prof. Stephen Hawking. While the evolutionary proposals are more in agreement with this early straight line than with modern theories, Albert Einstein’s General Relativity is used to transform the straight line into a curved line, ultimately concluding that Homo habilis (H. habilis) originated only (and unbelievably, as far as today’s science and technology is concerned) ~250,000 years ago. Other branches and dead ends of Homo – e.g. Neanderthals – are the result of mutations and adaptations, with the resultant modifications to anatomy and physiology. The surprisingly young age of H. habilis allows nearly 200,000 years for habilis, or one of its descendants, to reach Australia … if this country’s indigenous Aboriginal population did, as claimed, reach this “island continent” 60,000 years ago. -/- * The ultraviolet catastrophe, also called the Rayleigh–Jeans catastrophe, is a failure of classical physics to predict observed phenomena: it can be shown that a blackbody - a hypothetical perfect absorber and radiator of energy - would release an infinite amount of energy, contradicting the principles of conservation of energy and indicating that a new model for the behaviour of blackbodies was needed. At the start of the 20th century, physicist Max Planck derived the correct solution by making some strange (for the time) assumptions. In particular, Planck assumed that electromagnetic radiation can only be emitted or absorbed in discrete packets, called quanta. Albert Einstein postulated that Planck's quanta were real physical particles (what we now call photons), not just a mathematical fiction. From there, Einstein developed his explanation of the photoelectric effect (when quanta or photons of light shine on certain metals, electrons are released and can form an electric current). So it appears entirely possible that another supposed mathematical trickery (imaginary time and the y-axis of Wick rotation) will find practical application in the future. -/- The article includes mathematical references to cosmology (spoiler alert – you’ll read about things like Vector-Tensor-Scalar Geometry, topology, the “eternal present”, Einstein’s Unified Field, the inverse-square law, and there being no Big Bang and no multiverse - but there will also be no equations). -/- The other subheadings in this essay are – -/- NONLINEAR TIME AND ELECTRICAL ENGINEERING (about a 2009 electrical engineering experiment at America’s Yale University, and cosmic wormholes) -/- BITS AND TOPOLOGY (base-2 maths aka Binary digiTS, Mobius strips, and figure-8 Klein bottles) -/- WICK ROTATION, CAUSALITY, AND UNITING TIME (do past, present and future co-exist in an “eternal present”?) -/- DIGITAL BRAIN, DIGITAL UNIVERSE (if the brain and the universe are ultimately composed of binary digits, we'll someday be able to do the same things with the brain and universe that we now do with computers) -/- PROPOSAL: HUMAN AND ANIMAL INSTINCTS ARE THE RESULT OF THE UNIVERSE BEING UNIFIED BY BINARY DIGITS (AND TOPOLOGY) (If everything in the universe is ultimately composed of electronic BITS, then the universe must possess Artificial Intelligence - some prefer the term Cosmic Consciousness) -/- INFORMATION THEORY CONQUERS A RED GIANT (preserving Earth by keeping the Sun near today’s level of activity forever). (shrink)

This paper will attempt to offer a defence of to the Multiverse (MV) hypotheses, in the context of the theistic Fine Tuning Argument (FTA). It will be argued that theistic proponents of the FTA who argue that the MV hypothesis commits the Inverse Gambler’s Fallacy (IGF) are, themselves, guilty of moving the goalposts when it comes to assessing the validity of the MV hypothesis. The Cosmic Slot Machine analogy will be used to demonstrate how the This Universe Objection (TUO), first (...) outlined by White (2000) and further clarified by Draper et al (2007), fails to adequately account for the anthropic principle (or selection effect). (shrink)

This paper offers a defence of metaphysical naturalism, in the context of the Fine Tuning argument. Theistic objections to the Multiverse (MV) hypothesis are considered, specifically the claim that the MV hypothesis commits the Inverse Gambler’s Fallacy (IGF) and, as per the This Universe Objection (TUO), that it violates the Requirement of Total Evidence. It is argued that the IGF claim moved the goalposts when it comes to assessing the validity of the MV hypothesis. The Cosmic Slot Machine analogy will (...) be used to demonstrate how the This Universe Objection (TUO), fails to adequately account for the anthropic principle (or selection effect) and how the MV hyptothesis does satisfy the Requirement for Total Evidence. -/- With respect to the Naturalistic Single Universe (NSU), the implications of the ex-nihilonihil- fit principle, for evaluating the epistemic probability of a Life Permitting Universe (LPU)under the NSU hypothesis, are considered. It is argued that the ex nihilo nihil fit principle entails that an LPU is not improbable under the NSU hypothesis. (shrink)

The Fine-Tuning Argument (FTA) is an argument put forward by proponents of theism, in which they attempt to make a case from Bayesian inference, that the [apparently] fine tuned constants of our universe is more likely given a theistic hypothesis, than a naturalistic one. Some naturalists argue that this is not the case given the Multiverse (MV) hypothesis (that our universe is one of a plurality in a broader multiverse). The MV hypothesis is rejected by theists who argue it commits (...) what Ian Hacking (1987) referred to as “the Inverse Gambler’s Fallacy”. In this paper I will attempt to demonstrate [what I perceive as] the errors in logic made by theists first in positing that a life-permitting universe (LPU) is improbable under the naturalistic-single-universe (NSU) hypothesis, and subsequently the errors in arguing that the MV hypothesis commits what Ian Hacking (1987) referred to as “the Inverse Gambler’s Fallacy”. First, I will attempt to demonstrate why an LPU is not improbable under the NSU. Second, I will attempt to demonstrate that if we ascribe a probability value to our LPU, we can directly infer either an MV or the existence of “Deeper Laws” (Barnes, 2020) from that probability value. (shrink)

The chapter deals with misconceptions in perception theory that are based on the idea of slicing the nature of perception along the joints of physics and on corresponding ill-conceived ʹpurposesʹ and ʹgoalsʹ of the perceptual system. It argues that the conceptual structure underlying the percept cannot be inferentially attained from the sensory input. The output of the perceptual system, namely meaningful categories, is evidently vastly underdetermined by the sensory input, namely physico-geometric energy patterns. Thus, the core task of perception theory (...) is to understand the internal conceptual structure with which our perceptual system is endowed. The conceptual structure underlying the semantic distinctions that characterise the output of the perceptual system can, by conceptual necessity, only be expressed by a logical language that is strictly more powerful than the logical language by which sensory notions can be expressed. Consequently, the internal structure underlying perceptual meaning – including core notions such as ‘Gestalt’ or ‘perceptual object’ – cannot be derived, by whatever kind of general inductive machinery, from the sensory input, or, more generally, from experience. (shrink)

The topic of a priori knowledge is approached through the theory of evidence. A shortcoming in traditional formulations of moderate rationalism and moderate empiricism is that they fail to explain why rational intuition and phenomenal experience count as basic sources of evidence. This explanatory gap is filled by modal reliabilism -- the theory that there is a qualified modal tie between basic sources of evidence and the truth. This tie to the truth is then explained by the theory of concept (...) possession: this tie is a consequence of what, by definition, it is to possess (i.e., to understand) one’s concepts. A corollary of the overall account is that the a priori disciplines (logic, mathematics, philosophy) can be largely autonomous from the empirical sciences. (shrink)

The Sure-Thing Principle famously appears in Savage’s axiomatization of Subjective Expected Utility. Yet Savage introduces it only as an informal, overarching dominance condition motivating his separability postulate P2 and his state-independence postulate P3. Once these axioms are introduced, by and large, he does not discuss the principle any more. In this note, we pick up the analysis of the Sure-Thing Principle where Savage left it. In particular, we show that each of P2 and P3 is equivalent to a dominance condition; (...) that they strengthen in different directions a common, basic dominance axiom; and that they can be explicitly combined in a unified dominance condition that is a candidate formal statement for the Sure-Thing Principle. Based on elementary proofs, our results shed light on some of the most fundamental properties of rational choice under uncertainty. In particular they imply, as corollaries, potential simplifications for Savage’s and the Anscombe- Aumann axiomatizations of Subjective Expected Utility. Most surprisingly perhaps, they reveal that in Savage’s axiomatization, P3 can be weakened to a natural strengthening of so-called Obvious Dominance. (shrink)

The creative aspect of language use provides a set of phenomena that a science of language must explain. It is the “central fact to which any signi- ficant linguistic theory must address itself” and thus “a theory of language that neglects this ‘creative’ aspect is of only marginal interest” (Chomsky 1964: 7–8). Therefore, the form and explanatory depth of linguistic science is restricted in accordance with this aspect of language. In this paper, the implications of the creative aspect of language (...) use for a scientific theory of language will be discussed, noting the possible further implications for a science of the mind. It will be argued that a corollary of the creative aspect of language use is that a science of language can study the mechanisms that make language use possible, but that such a science cannot explain how these mechanisms enter into human action in the form of language use. (shrink)

My goal in this paper is, to tentatively sketch and try defend some observations regarding the ontological dignity of object references, as they may be used from within in a formalized language. -/- Hence I try to explore, what properties objects are presupposed to have, in order to enter the universe of discourse of an interpreted formalized language. -/- First I review Frege′s analysis of the logical structure of truth value definite sentences of scientific colloquial language, to draw suggestions from (...) his saturated vs. unsaturated sentence components paradigm. -/- Next try investigate, in how far reference to non pure math objects might allow for a role as argument of a truth value function. Object kinds to be considered are: common sense objects, technical objects, humanities object kinds (social, psychical, ...), objects of art, ... , be they abstract, concrete, or in this respect mixed objects. -/- Then have a comment on the just referenced label abstract objects. -/- Next try to get an idea wrt the ontological significance of the fact, that pure math objects and functions in some important classical cases can be uniquely defined by means of categorical theories. Here, in the course of my argument, I have a little corollary wrt the standard model of first order Peano arithmetic, reducing the epistemological significance of the existence of the non standard models. -/- Next, wrt a special concept of a formalized empirical theory, I care for whether the impure math objects and mixed objects described here, and complying best with truth value function mapping, are also reliable candidates for the ontological commitment of such theories: and discuss an alternative, which reduces the ontological significance of the universe of discourse of the theories intended models. -/- In the end I sum up what is - from my point of view - the status quo, according to my respective findings. (shrink)

Many take the possibility of hallucinations to imply that a relationalist account, according to which perceptual experiences are constituted by direct relations to ordinary mind-independent objects, is false. The common reaction among relationalists is to adopt a disjunctivist view that denies that hallucinations have the same nature as perceptual experiences. This paper proposes a non-disjunctivist response to the argument from hallucination by arguing that the alleged empirical and a priori evidence in support of the possibility of hallucinations is inconclusive. A (...) corollary upshot of the article is that whether hallucinations are possible or not is still an open empirical question. (shrink)

A traditional picture is that cases of deontic constraints--- cases where an act is wrong (or one that there is most reason to not do) even though performing that act will prevent more acts of the same morally (or practically) relevant type from being performed---form a kind of fault line in ethical theory separating (agent-neutral) consequentialist theories from other ethical theories. But certain results in the recent literature, such as those due to Graham Oddie and Peter Milne in "Act and (...) Value", do not sit well this traditional wisdom. My aim in this paper is to argue that both the traditional wisdom and Oddie and Milne are mistaken. I begin by looking more closely at the traditional wisdom and why it fails (§1). Then I develop my account of this fault line in ethical theory and its importance (§2). Finally I show that a diagnosis of where Oddie and Milne go wrong follows as a corollary of this new account (§3). An important upshot will be that discussions of cases of deontic constraints would do best to focus on the account of the nature and importance of the cases identified in this paper rather than continuing to work with the mistaken traditional picture. (shrink)

We argue that a conflict between two conceptions of “quantity of matter” employed in a corollary to proposition 6 of Book III of the Principia illustrates a deeper conflict between Newton’s view of the nature of extended bodies and the concept of mass appropriate for the theoretical framework of the Principia. We trace Newton’s failure to recognize the conflict to the fact that he allowed for the justification of natural philosophical claims by two types of a posteriori, empiricist methodologies. (...) Newton's thoughts on these methodologies demonstrate that his natural philosophy continued to develop after the publication of the first edition of Principia and that De Grav should be understood as an early, and not necessarily representative, text. (shrink)

Intermediary metabolism molecules are orchestrated into logical pathways stemming from history (L-amino acids, D-sugars) and dynamic constraints (hydrolysis of pyrophosphate or amide groups is the driving force of anabolism). Beside essential metabolites, numerous variants derive from programmed or accidental changes. Broken down, variants enter standard pathways, producing further variants. Macromolecule modification alters enzyme reactions specificity. Metabolism conform thermodynamic laws, precluding strict accuracy. Hence, for each regular pathway, a wealth of variants inputs and produces metabolites that are similar to but not (...) the exact replicas of core metabolites. As corollary, a shadow, paralogous metabolism, is associated to standard metabolism. We focus on a logic of paralogous metabolism based on diversion of the core metabolic mimics into pathways where they are modified to minimize their input in the core pathways where they create havoc. We propose that a significant proportion of paralogues of well-characterized enzymes have evolved as the natural way to cope with paralogous metabolites. A second type of denouement uses a process where protecting/deprotecting unwanted metabolites - conceptually similar to the procedure used in the laboratory of an organic chemist - is used to enter a completely new catabolic pathway. (shrink)