This article introduces and defends the “pathological complexity thesis” as a hypothesis about the evolutionary origins of minimal consciousness, or sentience, that connects the study of animal consciousness closely with work in behavioral ecology and evolutionary biology. I argue that consciousness is an adaptive solution to a design problem that led to the extinction of complex multicellular animal life following the Avalon explosion and that was subsequently solved during the Cambrian explosion. This is the economic trade-off problem of having to (...) deal with a complex body with high degrees of freedom, what I call “pathological complexity.” By modeling the explosion of this computational complexity using the resources of state-based behavioral and life history theory we will be able to provide an evolutionary bottom-up framework to make sense of subjective experience and its function in nature by paying close attention to the ecological lifestyles of different animals. (shrink)

There has been much criticism of the idea that Friston's free-energy principle can unite the life and mind sciences. Here, we argue that perhaps the greatest problem for the totalizing ambitions of its proponents is a failure to recognize the importance of evolutionary dynamics and to provide a convincing adaptive story relating free-energy minimization to organismal fitness.

This paper constitutes a radical departure from the existing philosophical literature on models, modeling-practices, and model-based science. I argue that the various entities and practices called 'models' and 'modeling-practices' are too diverse, too context-sensitive, and serve too many scientific purposes and roles, as to allow for a general philosophical analysis. From this recognition an alternative view emerges that I shall dub model anarchism.

This article canvases the main areas of controversy: the nature of Lockean signification and his position on propositions and particles.

On a currently popular reading of Locke, an idea represents its cause, or what God intended to be its cause. Against Martha Bolton and my former self (among others), I argue that Locke cannot hold such a view, since it sins against his epistemology and theory of abstraction. I argue that Locke is committed to a resemblance theory of representation, with the result that ideas of secondary qualities are not representations.

Like their contemporary counterparts, early modern philosophers find themselves in a predicament. On one hand, there are strong reasons to deny that sensations are representations. For there seems to be nothing in the world for them to represent. On the other hand, some sensory representations seem to be required for us to experience bodies. How else could one perceive the boundaries of a body, except by means of different shadings of color? I argue that Nicolas Malebranche offers an extreme -- (...) and ultimately unworkable -- attempt to solve this riddle. Most commentators claim that Malebranche defends an adverbial theory of sensation, according to which a sensation is merely a way in which an act of sensing happens. The adverbial reading is wrong, or so I argue. Once we arrive at a more accurate reading, we shall see that his position is much more strange than is currently thought. Nevertheless, Malebranche’s view is similar to the adverbial theory in one respect, albeit it at a very high level of generality. His view thus inherits two of the main problems that afflict adverbial theories. Although Malebranche fails to solve them, his ingenious attempts to do so are instructive. (shrink)

The conditions animals experience during the early developmental stages of their lives can have critical ongoing effects on their future health, welfare, and proper development. In this paper we draw on evolutionary theory to improve our understanding of the processes of developmental programming, particularly Predictive Adaptive Responses (PAR) that serve to match offspring phenotype with predicted future environmental conditions. When these predictions fail, a mismatch occurs between offspring phenotype and the environment, which can have long-lasting health and welfare effects. Examples (...) include metabolic diseases resulting from maternal nutrition and behavioral changes from maternal stress. An understanding of these processes and their evolutionary origins will help in identifying and providing appropriate developmental conditions to optimize offspring welfare. This serves as an example of the benefits of using evolutionary thinking within veterinary science and we suggest that in the same way that evolutionary medicine has helped our understanding of human health, the implementation of evolutionary veterinary science (EvoVetSci) could be a useful way forward for research in animal health and welfare. (shrink)

Alongside the rapid global advances in neuroscientific research, neuroethics has been one of the fastest growing sub-fields within bioethics. With this rapid expansion, bioethicists struggle to kee...

Are demands for equality motivated by envy? Nietzsche, Freud, Hayek, and Nozick all thought so. Call this the Envy Objection. For egalitarians, the Envy Objection is meant to sting. Many egalitarians have tried to evade the Envy Objection.. But should egalitarians be worried about envy? In this paper, I argue that egalitarians should stop worrying and learn to love envy. I argue that the persistent unwillingness to embrace the Envy Objection is rooted in a common misunderstanding of the nature of (...) the charge, what it reveals, and what can be said in response to it. I develop what Bernard Williams might call a vindicatory genealogy of envy, thereby allowing us to see that envy, rather than undermining egalitarian intuitions, can in fact play a distinct justificatory role (when it is fitting), which undermines the Envy Objection. (shrink)

Eliminativism is a position most readily associated with the eliminative materialism of the Churchlands, denying that there are such things as propositional states. This position has created much controversy, despite the fact that intentionality has long been seen as perhaps the core problem for naturalistic philosophy. There is a more radical interpretation of eliminativism, however, denying not only mental states, such as beliefs and desires, but also intentionality (i.e., aboutness) on a global level. This position traces its contemporary origin back (...) to Quine, but has generally been assumed to undermine naturalism or, worse, to be incoherent by the majority of philosophers who maintain that there clearly are things or mental states that are about others. In a recent paper, Hutto and Satne (2015a) offer an update that tries to revive John Haugeland’s baseball analogy from his influential 1990 review paper The Intentionality All-Stars on the state of the game to argue that the failure of Neo-Cartesians, Neo- Behaviorists, and Neo-Pragmatists should urge us to make them work together to naturalize content and “win the game.” But Hutto and Satne misunderstand what the game is ultimately about. The goal of the Intentionality All-Stars is not to naturalize content against eliminativism but to defend a naturalist “thirdperson” view of the problem against first-person phenomenalists. For this goal, a naturalist defense of global content eliminativism would equally enable them to emerge victorious. Revisiting Haugeland, I will offer my own analysis of the current state of play to argue that global content eliminativism has not received sufficient attention and deserves a more prominent place in the debate than it currently occupies. (shrink)

The debate over Hypothetical Syllogism is locked in stalemate. Although putative natural language counterexamples to Hypothetical Syllogism abound, many philosophers defend Hypothetical Syllogism, arguing that the alleged counterexamples involve an illicit shift in context. The proper lesson to draw from the putative counterexamples, they argue, is that natural language conditionals are context-sensitive conditionals which obey Hypothetical Syllogism. In order to make progress on the issue, I consider and improve upon Morreau’s proof of the invalidity of Hypothetical Syllogism. The improved proof (...) relies upon the semantic claim that conditionals with antecedents irrelevant to the obtaining of an already true consequent are themselves true. Moreover, this semantic insight allows us to provide compelling counterexamples to Hypothetical Syllogism that are resistant to the usual contextualist response. (shrink)

Experimenters claim some nonhuman mammals have metacognition. If correct, the results indicate some animal minds are more complex than ordinarily presumed. However, some philosophers argue for a deflationary reading of metacognition experiments, suggesting that the results can be explained in first-order terms. We agree with the deflationary interpretation of the data but we argue that the metacognition research forces the need to recognize a heretofore underappreciated feature in the theory of animal minds, which we call Unity. The disparate mental states (...) of an animal must be unified if deflationary accounts of metacognition are to hold and untoward implications avoided. Furthermore, once Unity is acknowledged, the deflationary interpretation of the experiments reveals an elevated moral standing for the nonhumans in question. (shrink)

Are living organisms--as Descartes argued--just machines? Or is the nature of life such that it can never be fully explained by mechanistic models? In this thought-provoking and controversial book, eminent geophysicist Walter M. Elsasser argues that the behavior of living organisms cannot be reduced to physico-chemical causality. Suggesting that molecular biology today is at the same point as Newtonian physics on the eve of the quantum revolution, Elsasser lays the foundation for a theoretical biology that points the way toward (...) a natural philosophy of organic life. Explicitly repudiating "vitalism" (the notion that the laws of nature need to be modified when applied to living organisms), Elsasser argues instead that the structural complexity of even a single living cell is "transcomputational"--that is, beyond the power of any imaginable system to compute. Beginning from this insight, Elsasser leads the reader through a step-by-step process that ultimately arrives at the conclusion that living and non-living matter are separated by "a no-man's land of irrationality." Trained in Germany as a physicist, Elsasser first pondered the implications of quantum mechanics for biology as early as 1951. The more closely he studied the inherent complexity of life, the more skeptical he became of the reductionist view of organisms as tiny machines. "An organism," he concluded, "is a source of causal chains which cannot be traced beyond a terminal point because they are lost in the unfathomable complexity of the organism." Like the physicist who works within the bounds of an unfathomable universe, Elsasser argues, the biologist must seek answers within a system that is no less unfathomable. (shrink)

Although artificial intelligence has been given an unprecedented amount of attention in both the public and academic domains in the last few years, its convergence with other transformative technologies like cloud computing, robotics, and augmented/virtual reality is predicted to exacerbate its impacts on society. The adoption and integration of these technologies within industry and manufacturing spaces is a fundamental part of what is called Industry 4.0, or the Fourth Industrial Revolution. The impacts of this paradigm shift on the human operators (...) who continue to work alongside and symbiotically with these technologies in the industry bring with it novel ethical issues. Therefore, how to design these technologies for human values becomes the critical area of intervention. This paper takes up the case study of robotic AI-based assistance systems to explore the potential value implications that emerge due to current design practices and use. The design methodology known as Value Sensitive Design (VSD) is proposed as a sufficient starting point for designing these technologies for human values to address these issues. (shrink)

I applaud recent improvements upon previous guidelines for the assessment of pain in non-human species and the application of their framework towards decapod crustaceans. Rather than constituting a mere intermediate solution between the scientific difficulty of settling questions of animal consciousness and the need for a framework for the purposes of animal welfare legislation, I will argue that the longer lists of criteria for animal sentience should make us realize that animal sentience is a multi-dimensional phenomenon that must be studied (...) with a plethora of methods in order to assess its diversity across the tree of life. (shrink)

An indeterminate version of Henry Sidgwick’s “Dualism of Practical Reason” may offer a solution to Derek Parfit’s “Repugnant Conclusion”. Here we will outline the problem of Sidgwick’s Dualism and how to resolve it within the framework of practical reason and the problem of Parfit’s Repugnance and why it is irresoluble within the framework of pure utilitarianism. Then we will argue how Sidgwick’s Dualism, under certain formulations of indeterminacy, specifically under those Indeterminacy Views advanced by David Phillips (and others), implies a (...) resolution to the Repugnant Conclusion that is both intuitive and simple, resolving Sidgwick’s Dualism and Parfit’s Repugnance in one conceptual move. (shrink)

In recent years, bioethical discourse around the topic of ‘genetic enhancement’ has become increasingly politicized. We fear there is too much focus on the semantic question of whether we should call particular practices and emerging bio-technologies such as CRISPR ‘eugenics’, rather than the more important question of how we should view them from the perspective of ethics and policy. Here, we address the question of whether ‘eugenics’ can be defended and how proponents and critics of enhancement should engage with each (...) other. (shrink)

Abstract Both parties in the active philosophical debate concerning the conceptual character of perception trace their roots back to Kant's account of sensible intuition in the Critique of Pure Reason. This striking fact can be attributed to Kant's tendency both to assert and to deny the involvement of our conceptual capacities in sensible intuition. He appears to waver between these two positions in different passages, and can thus seem thoroughly confused on this issue. But this is not, in fact, the (...) case, for, as I will argue, the appearance of contradiction in his account stems from the failure of some commentators to pay sufficient attention to Kant's developmental approach to philosophy. Although he begins by asserting the independence of intuition, Kant proceeds from this nonconceptualist starting point to reveal a deeper connection between intuitions and concepts. On this reading, Kant's seemingly conflicting claims are actually the result of a careful and deliberate strategy for gradually convincing his readers of the conceptual nature of perception. (shrink)

In this commentary we advance Jagiello et al.'s proposal by zooming in on the possible evolutionary origins of the “bifocal stance” that may have enabled a major transition in human cultural evolution, arguing that the evolution of the bifocal stance was driven by an explosion in cultural complexity arising from cooperative foraging, which led to a feedback loop between the ritual and instrumental stances.

Need considerations play an important role in empirically informed theories of distributive justice. We propose a concept of need-based justice that is related to social participation and provide an ethical measurement of need-based justice. The β-ε-index satisfies the need-principle, monotonicity, sensitivity, transfer and several »technical« axioms. A numerical example is given.

—Commentary on Mikhalevich and Powell on invertebrate minds.— Whether or not arthropods are sentient, they can have moral standing. Appeals to sentience are not necessary and retard progress in human treatment of other species, including invertebrates. Other increasingly well-documented aspects of invertebrate minds are pertinent to their welfare. Even if arthropods are not sentient, they can be agents whose goals—and therefore interests—can be frustrated. This kind of agency is sufficient for moral status and requires that we consider their welfare.

In the transcendental deduction, the central argument of the Critique of Pure Reason, Kant seeks to secure the objective validity of our basic categories of thought. He distinguishes objective and subjective sides of this argument. The latter side, the subjective deduction, is normally understood as an investigation of our cognitive faculties. It is identified with Kant’s account of a threefold synthesis involved in our cognition of objects of experience, and it is said to precede and ground Kant’s proof of the (...) validity of the categories in the objective deduction. I challenge this standard reading of the subjective deduction, arguing, first, that there is little textual evidence for it, and, second, that it encourages a problematic conception of how the deduction works. In its place, I present a new reading of the subjective deduction. Rather than being a broad investigation of our cognitive faculties, it should be seen as addressing a specific worry that arises in the course of the objective deduction. The latter establishes the need for a necessary connection between our capacities for thinking and being given objects, but Kant acknowledges that his readers might struggle to comprehend how these seemingly independent capacities are coordinated. Even worse, they might well believe that in asserting this necessary connection, Kant’s position amounts to an implausible subjective idealism. The subjective deduction ismeant to allay these concerns by showing that they rest on a misunderstanding of the relation between these faculties. This new reading of the subjective deduction offers a better fit with Kant’s text. It also has broader implications, for it reveals the more philosophically plausible account of our relation to the world as thinkers that Kant is defending – an account that is largely obscured by the standard reading of the subjective deduction. (shrink)

Diminishing Marginal Utility is widely accepted as a law of human action, and therefor has become one of the primary premises of ethics, economics, and politics. In popular parlance, “diminishing returns” has entered into the cliches of common sense; in philosophical argument, it has achieved the status of an axiomatic assumption; and indeed, in terms of personal experience or folk psychology, it seems to largely hold true for goods in general over a range of consumption. However, a theory of diminishing (...) marginal utility rests on some assumptions that we ignore at our peril. The a priori and a posteriori proofs of diminishing marginal utility, as developed by the Austrian economists like Ludwig von Mises and Hermann Heinrich Gossen, should be reassessed and critiqued from their fundamental principles to illuminate the theory’s pitfalls. Once these premises and their conclusions are not taken for granted, a more comprehensive and conscientious theory of value can be proposed: Complex or Inflecting Marginal Utility. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify (...) paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC, a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence. (shrink)

In attempts to compare different distributions with regards to need, so-called “measures of need-based distributive justice” have emerged in recent years. Each of the proposed measures relies on a single dimension of need that is taken into account. This is shown to be problematic since humans experience different kinds of need that appear to be incommensurable. A strategy to deal with this problem is introduced by using multidimensional measures.

The Principle of Ariadne, formulated in 1988 ago by Walter Carnielli and Carlos Di Prisco and later published in 1993, is an infinitary principle that is independent of the Axiom of Choice in ZF, although it can be consistently added to the remaining ZF axioms. The present paper surveys, and motivates, the foundational importance of the Principle of Ariadne and proposes the Ariadne Game, showing that the Principle of Ariadne, corresponds precisely to a winning strategy for the Ariadne Game. (...) Some relations to other alternative. set-theoretical principles are also briefly discussed. (shrink)

How language works — its functions, mechanisms, and limitations — matters to the early moderns as much as it does to contemporary philosophers. Many of the moderns make reflection on language central to their philosophical projects, both as a tool for explaining human cognition and as a weapon to be used against competing views. Even in philosophers for whom language is less central, we can find important connections between their views on language and their other philosophical commitments.

Are workers dominated? A recent suite of neo-republican and relational egalitarian philosophers think they are. Suppose they are right; that is, suppose that some workers are governed by an unjust and arbitrary power existing in labour relations, which persists even in the presence of the actual ability to exit. My question is this: does that give us reason to impose restrictions on firms? According to the so-called Efficiency Objection there are relevant trade-offs that need to be considered between the efficiency (...) of firms and the freedom of workers, and upon considering these trade-offs, we should reject workplace democracy. In this paper, I present a dilemma for the Efficiency Objection. I argue that either the Efficiency Objection is justified on moral grounds or non-moral grounds; if the Efficiency Objection is justified on moral grounds, then it fails because efficiency cannot be valued for its own sake (it is only instrumentally good); if the Efficiency Objection is justified on non-moral grounds, then it fails because of the respect that we owe to persons as persons; therefore, the Efficiency Objection fails. (shrink)

Two kinds of people might find this useful: first, those interested in the modern debate over ideas and representation who don’t happen to read French, or who do, but would like to have in one place the relevant excerpts, to see whether looking at the originals is worth their time. Second are teachers of modern philosophy. The back-and-forth among these figures makes for a refreshing change from the massive, often self-contained works that characterize much of the rest of such a (...) course. For example, one could easily work in chapter 3 (the high point of the debate, from my point of view) between Descartes and Berkeley. (shrink)

To investigate the impact of framing on rule-breaking behavior in social dilemmas, we incorporated a rule in a one-shot resource game with two framing-treatments: One frame was a give-some dilemma (i.e., a variant of a public goods game) and the other frame a take-some dilemma (i.e., a variant of a commons dilemma game). In each frame, all participants were part of one single collective sharing a common good. Each participant was initially equipped with one of five different endowments of points (...) from which they must give/could take amounts to/from the common good. The exact amounts of contributions/withdrawals were regulated by the rule. Participants decided whether to cooperate and comply with the rule or to break the rule to their own advantage and at the expense of the collective (i.e., giving lower/taking higher amounts). Results of an online-experiment with 202 participants showed a significantly higher proportion of individuals breaking the rule in the take-some frame than in the give-some frame. In addition, endowment size influenced the proportion of rule-breaking behavior in the take-some frame. However, the average amounts of points not given/taken too much were not different between the frames. (shrink)

Imagine a world where everyone is healthy, intelligent, long living and happy. Intuitively this seems wonderful, albeit unrealistic. However, recent scientific developments in genetic engineering, namely CRISPR/Cas bring the question into public discourse, how the genetic enhancement of humans should be evaluated morally.

The concept of the Utility Monster offers an influential critique of Utilitarian theories, forcing us to consider different theoretical fixes to escape monstrous implications (Nozick, 1999, pp. 26-53; Kennard, 2015, p. 322). However, many different breeds, a whole bestiary, of Utility Monsters are identifiable, and each breed reveals something slightly different about what we find monstrous. When dissected in depth, we observe that some breeds are probably acceptable, whereas other breeds are indeed monstrous, though perhaps not for the reasons Nozick (...) thought. By breaking these taxonomies down, thus revealing strengths and weaknesses of these different breeds, we may see more clearly how the vicious versions can be dispensed with under reasonable assumptions. (shrink)

Like many others, I see Crump et al. (2022) as a milestone for improving upon previous guidelines and for extending their framework to decapod crustaceans. Their proposal would benefit from a firm evolutionary foundation by adding the comparative measurement of life-history complexity as a ninth criterion for attributing sentience to nonhuman animals.

Dorothy Edgington’s work has been at the centre of a range of ongoing debates in philosophical logic, philosophy of mind and language, metaphysics, and epistemology. This work has focused, although by no means exclusively, on the overlapping areas of conditionals, probability, and paradox. In what follows, I briefly sketch some themes from these three areas relevant to Dorothy’s work, highlighting how some of Dorothy’s work and some of the contributions of this volume fit in to these debates.

The focus of this paper is showing that meditation is becoming aware of awareness itself...and this awareness is a field phenomena.

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...) ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

This paper focuses on the natural unfolding of the kundalini energy which is the expansion of the energy of awareness within the body.

This paper focuses on the understanding that Dzogchen experience is a Theophanic Manifestation.

This paper focuses on the unfolding of personal awareness as primordial awareness.

This is a phenomenological study of the natural unfolding of awareness into non duality.

This paper focuses on the psychoanalytic phenomenology of male female elements in relationship with the person.

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...) bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

As the inner light of awareness increases and permeates our body, we experience our embodiment as spaceousness and light and energy.

The foucus of this paper is on the unfolding of luminousity within the field of awareness.

One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...) for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given for (...) both BLE and LET J . The meanings of the connectives of BLE and LET J , from the point of view of preservation of evidence, is explained with the aid of an inferential semantics. A formalization of the notion of evidence for BLE as proposed by M. Fitting is also reviewed here. As a novel result, the paper shows that LET J is semantically characterized through the so-called Fidel structures. Some opportunities for further research are also discussed. (shrink)

In his article “If Loud Aliens Explain Human Earliness, Quiet Aliens are also Rare”, Robin Hanson proposes the Grabby Alien Hypothesis, which proposes that extraterrestrial civilizations (ETIs) exist outside of our observable universe and are gradually expanding to fill the universe. The existence of such grabby aliens in our future expanding to fill all available niches puts a cosmic deadline on independently originating sources of life. This cosmic cutoff offers an explanation for why human observers seem to be relatively early (...) in spacetime, why the red dwarf stars seem to be inadequate for independently originating life, and why the Fermi Paradox remains unsolved. However, we should worry about Hanson’s proposal, since the Grabby Alien Hypothesis has its own paradoxical implication, namely that most observers in most reference classes should be grabby aliens themselves (Bostrom, 2002). Thus, oddly, finding ourselves not to be grabby alien observers, it seems Hanson is beholden to explain why we are not. Some possibilities for grabby alien observer alternatives can be offered, though none are particularly explanatorily appealing. In what follows, we will 1) attempt to restate in simple terms Hanson’s assumptions, and then 2) reassemble Hanson’s arguments, showing they lead to a paradox, and 3) consider which assumptions should be rejected and at what cost. (shrink)