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)

If people believe that some property is true of all members of a class such as sofas, then they should also believe that the same property is true of all members of a conjunctively defined subset of that class such as uncomfortable handmade sofas. A series of experiments demonstrated a failure to observe this constraint, leading to what is termed the inverse conjunction fallacy. Not only did people often express a belief in the more general statement but not in the (...) more specific, but also when they accepted both beliefs, they were inclined to give greater confidence to the more general. It is argued that this effect underlies a number of other demonstrations of fallacious reasoning, particularly in category-based induction. Alternative accounts of the phenomenon are evaluated, and it is concluded that the effect is best interpreted in terms of intensional reasoning [Tversky, A., & Kahneman, D.. Extensional versus intuitive reasoning: the conjunction fallacy in probability judgment. Psychological Review, 90, 293-315.]. (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)

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.

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.

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)

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)

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.

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)

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)

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)

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.

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 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)

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)

Object x being a member of itself or not and x being a member of R or not constitute two vastly different concepts. This paper attempts to locate the reflection of such an utter difference within the formal structure of the axiom of extensionality. -/- .

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 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)

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)

Cases of akratic behavior are generally seen as paradigmatic depictions of the knowledge-action gap (Darnell et al 2019): we know what we should do, we judge that we should do it, yet we often fail to act according to our knowledge. In recent decades attention has been given to a particular instance of akratic behavior, which is that of “inverse akrasia”, where the agent possesses faulty moral knowledge but fails to act accordingly, thus ending up doing the right thing. In (...) particular, two literary examples are considered as exemplifying this kind of akratic situation: Huckleberry Finn (Arpaly & Schroeder 1999, Arpaly 2000, Hursthouse 1999, Kleist 2009, Holton manuscript) and Neoptolemus as understood by Aristotle (NE; Arpaly & Schroeder 1999). In this paper I will argue that those of Neoptolemus and Huck Finn are not cases of inverse akrasia (Holton manuscript) but are much better explained as instances of what Williams (1993) called “moral incapacity”. In particular, the reason why they fail to act according to their original judgments is due to a lack of motivation to act accordingly, which is grounded in their moral self-identities (Blasi 1984; Vigani 2016). The paper will unfold as follows: I will, first, argue that neither Neoptolemus nor Huck Finn show akratic behavior; thus, they cannot be legitimately labeled as “inverse akratics” (par 1.); then, I will argue that they act the way they do notwithstanding their faulty judgments because they are effectively motivated to do so. Such motivation originates in their moral self-identities and is experienced through the threat of self-betrayal (par 2); finally, I will argue that when an agent is motivated to act in a way that is integral with her moral self-identity, acting otherwise is experienced as something one cannot ultimately do; that is, as a moral incapacity (par 3). This “cannot” is neither a metaphor for an “I shouldn’t”, nor an instance of what has been recently labeled a “moral impossibility” (Caprioglio Panizza 2020, 2021), since it does not arise from the normative force of deontic judgments, and it is neither physically nor psychologically impossible for the agent to act otherwise. (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)

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)

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)

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)

In this theoretical article, I propose free will to be compatible, not with determinism, but with chance. This paper provides a neurological model of how free will emerges from oscillating neuronal activity, in modules. These, representing ideas, oscillate subconsciously, competing for conscious attention; choice between them is partly random. The modules seek to maintain, homeostatically, a sense of context and consistency; and a conscious desire for a sense of character and personality. I propose that they learn from experience, using feedback (...) to rebalance, so that decisions conform to our desired will. This applies to "snap" decisions, but also to our moral core. Particular experiences influence our future moral judgments such that we accept responsibility for our generally but not entirely predictable decisions. The model explains will power, pathologies (i.e., addiction, “ego-depletion”) and links free will to creativity and humor. The Modular with Feedback theory of free will grants us freedom through a plastic control the uncertainty of which isn’t understood, but which is sufficient to preclude determinism. Key Words: free will, modular, feedback, inverse compatibilism, plastic control -/- . (shrink)

Fear is a preventer, sometimes robustly so. When fear robustly prevents, it changes or diminishes what an agent is able to do. Various popular conceptions of fear focus on its negative role: fear sometimes prevents us from acting as we should, as in certain cases of akrasia. But by the same token, fear sometimes prevents us from acting as we shouldn’t, as in certain other cases of inverse akrasia. We end with a plea on behalf of fear, both in light (...) of its preventing role and its broader connection to other ways we express concern, in particular, to hope. (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)

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.

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)

This note (it is not a full-fledged academic paper) introduces a novel approach to classic thought experiments in consciousness studies through the incorporation of non-referential terms—symbols that present experiences directly rather than referring to them. By analyzing the Hard Problem, Knowledge Argument, Philosophical Zombies, and Spectrum Inversion thought experiments using both referential terms (like "blackness") and non-referential terms (like █), the paper reveals that many apparent philosophical puzzles arise from conflating referential descriptions with direct presentational experiences. The analysis shows (...) that attempting to formulate these thought experiments using non-referential terms often requires instantiating the very experiences in question, creating self-referential paradoxes that solve or dissolve the original problems. (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)

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)

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)

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)

Este artículo realiza un trabajo exploratorio sobre algunos aspectos filosóficos presentes en la obra Minima Moralia de Th. W. Adorno. Se pretende rescatar los principales elementos relacionados a su crítica del valor como realidad totalizadora, dando cuenta de las consecuencias concretas manifestadas en la vida social y de las posibilidades asequibles para superar tal estado. Se parte de la hipótesis de que Minima Moralia constituye un elemento central de la crítica del valor en la versión de Adorno. En primer lugar, (...) se presenta el contexto de publicación del escrito adorniano. A continuación, se investiga el papel de la experiencia en el pensamiento crítico del pensador. Después se precisa la importancia de la teoría de la apariencia e inversión real en la comprensión de este universo social, para cerrar el escrito con un análisis de las posibilidades objetivas de trascender lo dado y el papel de la felicidad en la Teoría crítica. (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 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)

Due to the shortage of organs, it has been proposed that the ban on organ sales is lifted and a market-based procurement system introduced. This paper assesses four prominent proposals for how such a market could be arranged: unregulated current market, regulated current market, payment-for-consent futures market, and the family-reward futures market. These are assessed in terms of how applicable prominent concerns with organ sales are for each model. The concerns evaluated are that organ markets will crowd out altruistic donation, (...) that consent to sell organs is invalid, that sellers will be harmed, and that commodification of organs will affect human relationships in a negative way. The paper concludes that the family-reward futures market fares best in this comparison but also that it provides the weakest incentive to potential buyers. There is an inverse relationship between how applicable prominent critiques are to organ market models and the increase in available organs they can be expected to provide. (shrink)

This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. The logic is characterized by a class of relational structures defined according to ideas of epistemic two-dimensional semantics, and can therefore be seen as formalizing the relations between necessity, actuality and apriority according to epistemic two-dimensional semantics. We can ask whether this logic is correct, in the sense that its theorems are all and only the informally valid formulas. This paper gives outlines of two (...) arguments that jointly show that this is the case. The first is intended to show that the logic is informally sound, in the sense that all of its theorems are informally valid. The second is intended to show that it is informally complete, in the sense that all informal validities are among its theorems. In order to give these arguments, a number of independently interesting results concerning the logic are proven. In particular, the soundness and completeness of two proof systems with respect to the semantics is proven (Theorems 2.11 and 2.15), as well as a normal form theorem (Theorem 3.2), an elimination theorem for the actuality operator (Corollary 3.6), and the decidability of the logic (Corollary 3.7). It turns out that the logic invalidates a plausible principle concerning the interaction of apriority and necessity; consequently, a variant semantics is briefly explored on which this principle is valid. The paper concludes by assessing the implications of these results for epistemic two-dimensional semantics. (shrink)