I sketch here an intuitive picture of repeatable artworks as created types, which are individuated in part by historical paths (re)production. Although attractive, this view has been rejected by a number of authors on the basis of general claims about abstract objects. On consideration, however, these general claims are overgeneralizations, which whilst true of some abstracta, are not true of all abstract objects, and in particular, are not true of created types. The intuitive picture of repeatable artworks as created types (...) is, then, left in place. (shrink)

Are a material object, such as a statue, and its constituting matter, the clay, parts of one another? One wouldn't have thought so, and yet a number of philosophers have argued that they are. I review the arguments for this surprising claim showing how they all fail. I then consider two arguments against the view concluding that there are both pre-theoretical and theoretical considerations for denying that the statue and the clay are mutual parts.

Are counterfactuals with true antecedents and consequents automatically true? That is, is Conjunction Conditionalization: if (X & Y), then (X > Y) valid? Stalnaker and Lewis think so, but many others disagree. We note here that the extant arguments for Conjunction Conditionalization are unpersuasive, before presenting a family of more compelling arguments. These arguments rely on some standard theorems of the logic of counterfactuals as well as a plausible and popular semantic claim about certain semifactuals. Denying Conjunction Conditionalization, then, requires (...) rejecting other aspects of the standard logic of counterfactuals, or else our intuitive picture of semifactuals. (shrink)

The standard semantics for counterfactuals ensures that any counterfactual with a true antecedent and true consequent is itself true. There have been many recent attempts to amend the standard semantics to avoid this result. I show that these proposals invalidate a number of further principles of the standard logic of counterfactuals. The case against the automatic truth of counterfactuals with true components does not extend to these further principles, however, so it is not clear that rejecting the latter should be (...) a consequence of rejecting the former. Instead I consider how one might defuse putative counterexamples to the truth of true-true counterfactuals. (shrink)

Is A & C sufficient for the truth of ‘if A were the case, C would be the case’? Jonathan Bennett thinks not, although the counterexample he gives is inconsistent with his own account of counterfactuals. In any case, I argue that anyone who accepts the case of Morgenbesser's coin, as Bennett does, should reject Bennett’s counterexample. Moreover, I show that the principle underlying his counterexample is unmotivated and indeed false. More generally, I argue that Morgenbesser’s coin commits us to (...) the sufficiency of A & C for the truth of the corresponding counterfactual. (shrink)

I present and discuss a counterexample to Kendall Walton's necessary condition for fictionality that arises from considering serial fictions. I argue that although Walton has not in fact provided a necessary condition for fictionality, a more complex version of Walton's condition is immune from the counterexample.

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

Moti Mizrahi (2013) presents some novel counterexamples to Hypothetical Syllogism (HS) for indicative conditionals. I show that they are not compelling as they neglect the complicated ways in which conditionals and modals interact. I then briefly outline why HS should nevertheless be rejected.

I reply to Ahmed’s rejection (2011) of my argument (Walters 2009) that all counterfactuals with true antecedents and consequents are themselves true.

Andrew McGonigal presents some interesting data concerning truth in serial fictions.1 Such data has been taken by McGonigal, Cameron and Caplan to motivate some form of contextualism or relativism. I argue, however, that many of these approaches are problematic, and that all are under-motivated as the data can be explained in a standard invariantist semantic framework given some independently plausible principles.

Michael Dummett argues, against Saul Kripke, that there could have been unicorns. He then claims that this possibility shows that the logic of metaphysical modality is not S5, and, in particular, that the B axiom is false. Dummett’s argument against B, however, is invalid. I show that although there are number of ways to repair Dummett’s argument against B, each requires a controversial metaphysical or semantic commitment, and that, regardless of this, the case against B is undermotivated. Dummett’s case is (...) still of interest, however, as if his assumptions are correct, S5 has to go, with the natural culprit being S4. (shrink)

What are the prospects for a linguistic approach to ontology? Given that it seems that there are true subject-predicate sentences containing empty names, traditional linguistic approaches to ontology appear to be flawed. I argue that in order to determine what there is, we need to determine which sentences ascribe properties (and relations) to objects, and that there does not appear to be any formal criterion for this. This view is then committed to giving an account of what predicates do in (...) sentences when they do not ascribe properties. I sketch an approach to the varieties of predication. (shrink)

The argument from illusion attempts to establish the bold claim that we are never perceptually aware of ordinary material objects. The argument has rightly received a great deal critical of scrutiny. But here we develop a criticism that, to our knowledge, has not hitherto been explored. We consider the canonical form of the argument as it is captured in contemporary expositions. There are two stages to our criticism. First, we show that the argument is invalid. Second, we identify premises that (...) can be used to make the argument valid. But we argue that the obvious fixes are problematic. If our arguments are successful, we show that the argument from illusion is even more difficult to defend than is commonly acknowledged. (shrink)

I defend Braun's gappy proposition view from two objections.

A review of 'The aesthetics and ethics of copying'. Hick, Darren Hudson and Reinhold Schmücker, eds.

Is a human more conscious than an octopus? In the science of consciousness, it’s oftentimes assumed that some creatures (or mental states) are more conscious than others. But in recent years, a number of philosophers have argued that the notion of degrees of consciousness is conceptually confused. This paper (1) argues that the most prominent objections to degrees of consciousness are unsustainable, (2) examines the semantics of ‘more conscious than’ expressions, (3) develops an analysis of what it is for a (...) degreed property to count as degrees of consciousness, and (4) applies the analysis to various theories of consciousness. I argue that whether consciousness comes in degrees ultimately depends on which theory of consciousness turns out to be correct. But I also argue that most theories of consciousness entail that consciousness comes in degrees. (shrink)

This paper examines the idea of "objective phenomenology," or a way of understanding the phenomenal character of conscious experiences that doesn’t require one to have had the kinds of experiences under consideration. My central thesis is that structural facts about experience—facts that characterize purely how conscious experiences are structured—are objective phenomenal facts. I begin by precisifying the idea of objective phenomenology and diagnosing what makes any given phenomenal fact subjective. Then I defend the view that structural facts about experience are (...) objective. I also argue that structural facts about experience, despite being objective, nevertheless still give rise to an explanatory gap. (shrink)

The normativity of so-called “coherence” or “structural” requirements of rationality has been hotly debated in recent years. However, relatively little has been said about the nature of structural rationality, or what makes a set of attitudes structurally irrational, if structural rationality is not ultimately a matter of responding correctly to reasons. This paper develops a novel account of incoherence (or structural irrationality), critically examining Alex Worsnip’s recent account. It first argues that Worsnip’s account both over-generates and under-generates incoherent patterns of (...) attitudes, and then proposes an alternative that both avoids these problems and captures a crucial insight behind Worsnip’s account. According to this account, a set of attitudes is incoherent just in case having all of the attitudes in that set is incompatible with reacting to a question in a way that one is, in virtue of having the attitudes, committed to. (shrink)

A famous mathematical theorem says that the sum of an infinite series of numbers can depend on the order in which those numbers occur. Suppose we interpret the numbers in such a series as representing instances of some physical quantity, such as the weights of a collection of items. The mathematics seems to lead to the result that the weight of a collection of items can depend on the order in which those items are weighed. But that is very hard (...) to believe. A puzzle then arises: How do we interpret the metaphysical significance of this mathematical theorem? I first argue that prior solutions to the puzzle lead to implausible consequences. Then I develop my own solution, where the basic idea is that the weight of a collection of items is equal to the limit of the weights of its finite subcollections contained within ever-expanding regions of space. I show how my solution is intuitively plausible and philosophically motivated, how it reveals an underexplored line of metaphysical inquiry about quantities and locations, and how it elucidates some classic puzzles concerning supertasks. (shrink)

“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, epistemology, philosophy and history of (...) science, while bringing together scholars in the fields of philosophy, logic, mathematics, computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE’s strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired by, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods. The title of the event commemorates one of the three main areas of CLE, what has been called the “Brazilian school of paraconsistency”, combining such a pluralist view about logic and reasoning. (shrink)

A response to a declaration in 'Le Monde', 'Luttons efficacement contre les théories du complot' by Gérald Bronner, Véronique Campion-Vincent, Sylvain Delouvée, Sebastian Dieguez, Karen Douglas, Nicolas Gauvrit, Anthony Lantian, and Pascal Wagner-Egger, published on June the 6th, 2016.

David Lewis—famously—never tasted vegemite. Did he have any knowledge of what it's like to taste vegemite? Most say 'no'; I say 'yes'. I argue that knowledge of what it’s like varies along a spectrum from more exact to more approximate, and that phenomenal concepts vary along a spectrum in how precisely they characterize what it’s like to undergo their target experiences. This degreed picture contrasts with the standard all-or-nothing picture, where phenomenal concepts and phenomenal knowledge lack any such degreed structure. (...) I motivate the degreed picture by appeal to (1) limits in epistemic abilities such as recognition, imagination, and inference, and (2) the semantics of ‘knows what it’s like’ expressions. I argue that approximate phenomenal knowledge cannot be explained merely via determinable or vague phenomenal concepts. I develop a framework for systematizing approximate knowledge of phenomenal character. And I explain how my view challenges some standard assumptions about the acquisition conditions, requirements for mastery, and referential mechanisms of phenomenal concepts. (shrink)

Totalitarianism is perhaps unanimously regarded as one of the greatest political evils of the last century and has been the grounds for much of Anglo-American political theory since. Confucianism, meanwhile, has been gaining credibility in the past decades among sympathizers of democratic theory in spite of criticisms of it being anti-democratic or authoritarian. I consider how certain key concepts in the classical Confucian texts of the Mencius and the Xunzi might or might not be appropriated for ‘legitimising’ totalitarian regimes. Under (...) an Arendtian approach to understanding totalitarianism, it is precisely an unproblematised relation to a normative History and Nature that underlies the potential compatibility or incompatibility. I argue against a longstanding prejudice that if any form of Confucianism would be totalitarian, it would have to be Xunzian. Against this, I hope to show that if any form of Confucianism would be totalitarian, it might well be a naturalistic Mencian Confucianism instead of a constructivist Xunzian one. (shrink)

This paper develops a theory of analog representation. We first argue that the mark of the analog is to be found in the nature of a representational system’s interpretation function, rather than in its vehicles or contents alone. We then develop the rulebound structure theory of analog representation, according to which analog systems are those that use interpretive rules to map syntactic structural features onto semantic structural features. The theory involves three degree-theoretic measures that capture three independent ways in which (...) a system can be more or less analog. We explain how our theory improves upon prior accounts of analog representation, provides plausible diagnoses for novel challenge cases, extends to hybrid systems that are partially analog and partially symbolic, and accounts for some of the advantages and disadvantages of representing analogically versus symbolically. (shrink)

Social philosophers often invoke the concept of false consciousness in their analyses, referring to a set of evidence-resistant, ignorant attitudes held by otherwise sound epistemic agents, systematically occurring in virtue of, and motivating them to perpetuate, structural oppression. But there is a worry that appealing to the notion in questions of responsibility for the harm suffered by members of oppressed groups is victim-blaming. Individuals under false consciousness allegedly systematically fail the relevant rationality and epistemic conditions due to structural distortions of (...) reasoning or knowledge practices, undermining their status as responsible moral agents. But attending to the constitutive mechanisms and heterogeneity of false consciousness allows us to see how having it does not eo ipso render someone an inappropriate target of blame. I focus here on the 1889 anti-suffragist manifesto “An Appeal Against Female Suffrage,” arguing that its signatories, despite false consciousness, satisfy both conditions for ordinary blameworthiness. I consider three prominent signatories, observing that the irrationality characterisation is unsustainable beyond group-level diagnoses, and that their capacity to respond appropriately to reasons was not compromised. Following recent work on epistemic injustice, I also argue that culpable mechanisms constituted their false consciousness, rendering them blameworthy for the Appeal. (shrink)

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)

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.

Conscious experiences are characterized by mental qualities, such as those involved in seeing red, feeling pain, or smelling cinnamon. The standard framework for modeling mental qualities represents them via points in geometrical spaces, where distances between points inversely correspond to degrees of phenomenal similarity. This paper argues that the standard framework is structurally inadequate and develops a new framework that is more powerful and flexible. The core problem for the standard framework is that it cannot capture precision structure: for example, (...) consider the phenomenal contrast between seeing an object as crimson in foveal vision versus merely as red in peripheral vision. The solution I favor is to model mental qualities using regions, rather than points. I explain how this seemingly simple formal innovation not only provides a natural way of modeling precision, but also yields a variety of further theoretical fruits: it enables us to formulate novel hypotheses about the space and structures of mental qualities, formally differentiate two dimensions of phenomenal similarity, generate a quantitative model of the phenomenal sorites, and define a measure of discriminatory grain. A noteworthy consequence is that the structure of the mental qualities of conscious experiences is fundamentally different from the structure of the perceptible qualities of external objects. (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)

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)

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)

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)

Some philosophers think that life is worth living not merely because of the goods and the bads within it, but also because life itself is good. I explain how this idea can be formalized by associating each version of such of a view with a function from length of life to the value generated by life itself. Then I argue that every version of the view that life itself is good faces some version of the following dilemma: either (1) good (...) human lives are worse than very long lives wholly devoid of pleasure, desire-satisfaction, knowledge, or any other goods, or (2) very short lives containing nothing but suffering are worth living. Since neither result is plausible, we ought to reject the view that life itself is good. On the view I favor, any given life may be worth living because of the goods that it contains, but life itself is neutral. (shrink)

Epistemic injustices are wrongs that agents can suffer in their capacity as knowers. In this article, I offer a conceptualisation of a phenomenon I call anticipatory epistemic injustice, which I claim is a distinct and particularly pernicious type of epistemic injustice worthy of independent analysis. I take anticipatory epistemic injustice to consist in the wrongs that agents can suffer as a result of anticipated challenges in their process of taking up testimony-sharing opportunities. I distinguish my account from paradigmatic cases of (...) epistemic injustice, such as Miranda Fricker’s concepts of testimonial injustice and hermeneutical injustice; additionally, I differentiate my view from Kristie Dotson’s account of testimonial smothering. I argue, ultimately, that anticipatory epistemic injustice is a useful addition to our current taxonomy of epistemic injustices, as it has promising explanatory potential for a range of non-standard cases of epistemic injustice. (shrink)

Many philosophers accept both of the following claims: (1) consciousness matters morally, and (2) species membership doesn’t matter morally. In other words, many reject speciesism but accept what we might call 'sentientism'. But do the reasons against speciesism yield analogous reasons against sentientism, just as the reasons against racism and sexism are thought to yield analogous reasons against speciesism? This paper argues that speciesism is disanalogous to sentientism (as well as racism and sexism). I make a case for the following (...) asymmetry: (a) some non-humans clearly have interests, but (b) no non-conscious entities clearly have interests. This asymmetry, I argue, renders sentientism resistant to the standard argument against speciesism. (shrink)

In this chapter, I consider contemporary consequentialist theories of punishment. Consequentialist theories of punishment look to the consequences of punishment to justify the institution of punishment. Two types of theories fall into this category—teleology and aggregationism. I argue that teleology is implausible as it is based on a problematic assumption about the fundamental value of criminal punishment, and that aggregationism provides a more reasonable alternative. Aggregationism holds that punishment is morally justified because it is an institution that helps society to (...) aggregate important moral values. Several theories fall into this category, including general deterrence theories, specific deterrence theories, and preventionism. I critically evaluate these theories and argue that only one specific deterrence theory, namely, my rights-protection theory, provides the most reasonable consequentialist account of punishment. (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.

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)

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

In the future, full ectogestation – in which artificial placenta technology would be used to carry out the entirety of gestation – could be an alternative to human pregnancy. This article analyzes some underexplored objections to ectogestation which relate to the possibility for new and continuing forms of social oppression. In particular, we examine whether ectogestation could be linked to an unwarranted de-valuing of certain aspects of female reproductive embodiment, or exacerbate objectionable kinds of scrutiny over the reproductive choices of (...) gestating persons. Without discounting the potential benefits of full ectogestation, we conclude that the socially oppressive potential of ectogestation, on top of other concerns, warrants further critical ethical reflection. (shrink)

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)

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)

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)

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)

I discuss whether "sentience" (i.e., phenomenal consciousness) comes in degrees.

In his theory of determination, Charles Peirce considered two processes of determination, the semiotic process and epistemology. The semiotic process is an extensional process from object to interpretant that consists of an infinite chain of references that can be spatially reversible. The epistemological process of determination is temporal and irreversible, where the idea grows into the individual mind, as the universe is unfolded by the agency of mind.

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)

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)