Motivated by H. Curry’s well-known objection and by a proposal of L. Henkin, this article introduces the positive tableaux, a form of tableau calculus without refutation based upon the idea of implicational triviality. The completeness of the method is proven, which establishes a new decision procedure for the (classical) positive propositional logic. We also introduce the concept of paratriviality in order to contribute to the question of paradoxes and limitations imposed by the behavior of classical implication.

This work studies some problems connected to the role of negation in logic, treating the positive fragments of propositional calculus in order to deal with two main questions: the proof of the completeness theorems in systems lacking negation, and the puzzle raised by positive paradoxes like the well-known argument of Haskel Curry. We study the constructive com- pleteness method proposed by Leon Henkin for classical fragments endowed with implication, and advance some reasons explaining what makes difficult to extend (...) this constructive method to non-classical fragments equipped with weaker implications (that avoid Curry's objection). This is the case, for example, of Jan Lukasiewicz's n-valued logics and Wilhelm Ackermann's logic of restricted implication. Besides such problems, both Henkin's method and the triviality phenomenon enable us to propose a new positive tableau proof system which uses only positive meta-linguistic resources, and to mo- tivate a new discussion concerning the role of negation in logic proposing the concept of paratriviality. In this way, some relations between positive reasoning and infinity, the possibilities to obtain a ¯first-order positive logic as well as the philosophical connection between truth and meaning are dis- cussed from a conceptual point of view. (shrink)

The depth-bounded approach seeks to provide realistic models of reasoners. Recognizing that most useful logics are idealizations in that they are either undecidable or likely to be intractable, the approach accounts for how they can be approximated in practice by resource-bounded agents. The approach has been applied to Classical Propositional Logic (CPL), yielding a hierarchy of tractable depth-bounded approximations to that logic, which in turn has been based on a KE/KI system. -/- This Thesis shows that the approach can be (...) naturally extended to useful nonclassical logics such as First-Degree Entailment (FDE), the Logic of Paradox (LP), Strong Kleene Logic (K3 ) and Intuitionistic Propositional Logic (IPL). To do this, we introduce a KE/KI-style system for each of those logics such that: is formulated via signed formulae, consist of linear operational rules and branching structural rule(s), can be used as a direct-proof and a refutation method, and is interesting independently of the approach in that it has an exponential speed-up on its tableau system counterpart. The latter given that we introduce a new class of examples which we prove to be hard for all tableau systems sharing the V/& rules with the classical one, but easy for their analogous KE-style systems. Then we focus on showing that each of our KE/KI-style systems naturally yields a hierarchy of tractable depth-bounded approximations to the respective logic, in terms of the maximum number of allowed nested applications of the branching rule(s). The rule(s) express(es) a generalized rule of bivalence, is (are) essentially cut rule(s) and govern(s) the manipulation of virtual information, which is information that an agent does not hold but she temporarily assumes as if she held it. Intuitively, the more virtual information needs to be invoked via the branching rule(s), the harder the inference is for the agent. So, the nested application the branching rule(s) provides a sensible measure of inferential depth. We also show that each hierarchy approximating FDE, LP, and K3 , admits of a 5-valued non-deterministic semantics; whereas, paving the way for a semantical characterization of the hierarchy approximating IPL, we provide a 3-valued non-deterministic semantics for the full logic that fixes the meaning of the connectives without appealing to “structural” conditions. -/- Moreover, we show a super-polynomial lower bound for the strongest possible version of clausal tableaux on the well-known class of “truly fat” expressions (which are easy for KE), settling a problem left open in the literature. Further, we investigate a hierarchy of tractable depth-bounded approximations to CPL based only on KE. Finally, we propose a refinement of the p-simulation relation which is adequate to establish positive results about the superiority of a system over another with respect to proof-search. (shrink)

In this paper I introduce the idea of a higher-order modal logic—not a modal logic for higher-order predicate logic, but rather a logic of higher-order modalities. “What is a higher-order modality?”, you might be wondering. Well, if a first-order modality is a way that some entity could have been—whether it is a mereological atom, or a mereological complex, or the universe as a whole—a higher-order modality is a way that a first-order modality could have been. First-order modality is modeled in (...) terms of a space of possible worlds—a set of worlds structured by an accessibility relation, i.e., a relation of relative possibility—each world representing a way that the entire universe could have been. A second-order modality would be modeled in terms of a space of spaces of (first-order) possible worlds, each space representing a way that (first-order) possible worlds could have been. And just as there is a unique actual world which represents the way that things actually are, there is a unique actual space which represents the way that first-order modality actually is. -/- One might wonder what the accessibility relation itself is like. Presumably, if it is logical or metaphysical modality that is being dealt with, it is reflexive; but is it also symmetric, or transitive? Especially in the case of metaphysical modality, the answer is not clear. And whichever of these properties it may or may not have, could that itself have been different? Could at least some rival modal logics represent different ways that first-order modality could have been? -/- To be clear, the idea behind my proposal is not just that some things which are possible or necessary might not have been so at the first order, as determined by the actual accessibility relation, but also that the actual accessibility relation, and hence the nature or structure of actual modality, could have been different at some higher order of modality. Even if the accessibility relation is actually both symmetric and transitive, perhaps it could (second-order) have been otherwise: There is a (second-order) possible space of worlds in which it is different, where it fails to be symmetric, or transitive. We must, therefore, introduce the notion of a higher-order accessibility relation, one that in this case relates spaces of first-order worlds. The question then arises as to whether that relation is symmetric, or transitive. We can then consider third-order modalities, spaces of spaces of spaces of possible worlds, where the second-order accessibility relation differs from how it actually is. I can see no reason why there should be a limit to this hierarchy of higher-order modalities, any more than I can see a reason why there should be a limit to the hierarchy of higher-order properties. There will thus be an infinity of orders, one for each positive integer, and each order will have an accessibility relation of its own. To keep things as clear as possible, a space of first-order points (i.e., of possible worlds) shall be called a galaxy, a space of second-order points, a universe, and a space of any higher order, a cosmos. However, to keep things as simple as possible, in what follows I will deal with but a single cosmos, and hence will not deal with modalities higher than the third order. -/- The accessibility relation is not the only thing that might be thought to vary between spaces of worlds: Perhaps the contents of the spaces can vary as well. While I presume that the contents of the worlds themselves remain constant—it makes doubtful sense to suppose that in one space some entity e exists in a world w and in another space e doesn’t exist in that same world w—we may suppose that different spaces differ as to which worlds they contain, just as different worlds may differ as to which objects they contain. Thus we might have a higher-order analogue of a variable-domain modal logic. There seem, then, to be three ways in which spaces can differ: First, as to the properties of the accessibility relation; second, as to which worlds the relation relates; and third, as to which worlds or spaces are parts of their domains. -/- The paper will be structured as follows. In Section 2 I provide some reasons why one might want to pursue this kind of project in the first place. In Section 3 I outline the syntax and semantics of my proposed logic. Section 4 covers semantic tableaux for this system; and after giving the rules for their construction, I construct a few of them myself to establish some logical consequences of the system and give the reader a feel for how it works. In Sections 5, 6 and 7 I explore some of its potential philosophical implications for areas besides logic, namely the philosophy of language; metaphysics, including the metaphysics of modality and the philosophy of time, and finally the philosophy of religion, before concluding the paper in Section 8. (shrink)

This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete sentences by a binary quantifier I. I forms a formula from two formulas. Ix[F, G] means ‘The F is G’. This approach has the advantage of incorporating scope distinctions directly into the notation. Cut elimination is proved for a system of classical positive free logic with I and it is shown to (...) be sound and complete for the semantics. The system has a number of novel features and is briefly compared to the usual approach of formalising ‘the F ’ by a term forming operator. It does not coincide with Hintikka’s and Lambert’s preferred theories, but the divergence is well-motivated and attractive. (shrink)

In this dissertation we present proof systems for several modal logics. These proof systems are based on analytic (or semantic) tableaux. -/- Modal logics are logics for reasoning about possibility, knowledge, beliefs, preferences, and other modalities. Their semantics are almost always based on Saul Kripke’s possible world semantics. In Kripke semantics, models are represented by relational structures or, equivalently, labeled graphs. Syntactic formulas that express statements about knowledge and other modalities are evaluated in terms of such models. -/- This (...) dissertation focuses on modal logics with dynamic operators for public announcements, belief revision, preference upgrades, and so on. These operators are defined in terms of mathematical operations on Kripke models. Thus, for example, a belief revision operator in the syntax would correspond to a belief revision operation on models. -/- The ‘dynamic’ semantics of dynamic modal logics are a clever way of extending languages without compromising on intuitiveness. We present ‘dynamic’ tableau proof systems for these dynamic semantics, with the express aim to make them conceptually simple, easy to use, modular, and extensible. This we do by reflecting the semantics as closely as possible in the components of our tableau system. For instance, dynamic operations on Kripke models have counterpart dynamic relations between tableaux. -/- Soundness, completeness, and decidability are three of the most important properties that a proof system may have. A proof system is sound if and only if any formula for which a proof exists, is true in every model. A proof system is complete if and only if for any formula that is true in all models, a proof exists. A proof system is decidable if and only if any formula can be proved to be a theorem or not a theorem in a finite number of steps. All proof systems in this dissertation are sound, complete, and decidable. -/- Part of our strategy to create modular tableau systems is to delay concerns over decidability until after soundness and completeness have been established. Decidability is attained through the operations of folding and through operations on ‘tableau cascades’, which are graphs of tableaux. -/- Finally, we provide a proof-of-concept implementation of our dynamic tableau system for public announcement logic in the Clojure programming language. (shrink)

Temporal epistemic logics are known, from results of Halpern and Vardi, to have a wide range of complexities of the satisfiability problem: from PSPACE, through non-elementary, to highly undecidable. These complexities depend on the choice of some key parameters specifying, inter alia, possible interactions between time and knowledge, such as synchrony and agents' abilities for learning and recall. In this work we develop practically implementable tableau-based decision procedures for deciding satisfiability in single-agent synchronous temporal-epistemic logics with interactions between time and (...) knowledge. We discuss some complications that occur, even in the single-agent case, when interactions between time and knowledge are assumed and show how the method of incremental tableaux can be adapted to work in EXPSPACE, respectively 2EXPTIME, for these logics, thereby also matching the upper bounds obtained for them by Halpern and Vardi. (shrink)

In this paper we give an analytic tableau calculus P L 1 6 for a functionally complete extension of Shramko and Wansing’s logic. The calculus is based on signed formulas and a single set of tableau rules is involved in axiomatising each of the four entailment relations ⊧ t, ⊧ f, ⊧ i, and ⊧ under consideration—the differences only residing in initial assignments of signs to formulas. Proving that two sets of formulas are in one of the first three entailment (...) relations will in general require developing four tableaux, while proving that they are in the ⊧ relation may require six. (shrink)

Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. Completeness of these tableaux, however, relies on the cut rule.

The author considers the model-theoretic character of proofs and disproofs by means of attempted counterexample constructions, distinguishes this proof format from formal derivations, then contrasts two approaches to semantic tableaux proposed by Beth and Lambert-van Fraassen. It is noted that Beth's original approach has not as yet been provided with a precisely formulated rule of closure for detecting tableau sequences terminating in contradiction. To remedy this deficiency, a technique is proposed to clarify tableau operations.

Dung’s argumentation frameworks are formalisms widely used to model interaction among arguments. Although their study has been profusely developed in the field of Artificial Intelligence, it is not common to see its treatment among those less connected to computer science within the logical-philosophical community. In this paper we propose to bring to that audience a proof-theory for argument justification based on tableaux, very similar to those the Logic students are familiar with. The tableaux enable to calculate whether an (...) argument or subset of arguments are accepted or rejected in accordance to Dung’s preferred and grounded extension-based semantics. Soundness and completeness results regarding those semantics are provided. (shrink)

Recent debates in psychopathy studies have articulated concerns about false-positives in assessment and research sampling. These are pressing concerns for research progress, since scientific quality depends on sample quality, that is, if we wish to study psychopathy we must be certain that the individuals we study are, in fact, psychopaths. Thus, if conventional assessment tools yield substantial false-positives, this would explain why central research is laden with discrepancies and nonreplicable findings. This paper draws on moral psychology in order to develop (...) tentative theory-driven exclusion criteria applicable in research sampling. Implementing standardized procedures to discriminate between research participants has the potential to yield more homogenous and discrete samples, a vital prerequisite for research progress in etiology, epidemiology, and treatment strategies. (shrink)

The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and (...) the exclusion of the opposite truth value describe the same situation.). (shrink)

According to the objection from positive duties, Kant's Formula of Universal Law is flawed because it cannot be used to derive any affirmative moral requirements. This paper offers a response to that objection and proposes a novel way to derive positive duties from Kant's formula. The Formula of Universal Law yields positive duties to adopt our own perfection and others’ happiness as ends because we could not rationally fail to will those ends as universal ends.

Default positions, predetermined starting points that aid in complex decision-making, are common in clinical medicine. In this article, we identify and critically examine common default positions in clinical ethics practice. Whether default positions ought to be held is an important normative question, but here we are primarily interested in the descriptive, rather than normative, properties of default positions. We argue that default positions in clinical ethics function to protect and promote important values in medicine—respect for persons, utility, and justice. Further, (...) default positions in clinical ethics may also guard against harm. Where default positions exist, there are epistemic burdens to overturn them. The person wishing to reject the default position, rather than the person endorsing it, bears this burden. The person who bears the burden of meeting the epistemic requirements must provide evidence proportional to the degree of harm the default position protects against. Default positions that protect against significant harm impose significant epistemic requirements to overturn. This asymmetry not only makes medical decision-making more economical but also serves to promote and protect certain values. The identification and analysis of common and recognizable default positions can help to identify other default positions and the conditions under which their associated epistemic requirements are met. The article concludes with considerations of potential problems with the use of default positions in clinical ethics. (shrink)

In this paper, I argue that the “positive argument” for Constructive Empiricism (CE), according to which CE “makes better sense of science, and of scientific activity, than realism does” (van Fraassen 1980, 73), is an Inference to the Best Explanation (IBE). But constructive empiricists are critical of IBE, and thus they have to be critical of their own “positive argument” for CE. If my argument is sound, then constructive empiricists are in the awkward position of having to reject (...) their own “positive argument” for CE by their own lights. (shrink)

My goal in this paper is to show that it is not the case that positive duties can be derived from Kant’s so-called universalizability tests. I begin by explaining in detail what I mean by this and distinguishing it from a few things that I am not doing in this paper. After that, I confront the idea of a maxim contradictory, a concept that is advanced by many com- mentators in the attempt to derive positive duties from the (...) universalizability tests. I ex- plain what a maxim contradictory is and how the concept is used to derive positive duties. Then I argue that the notion of a maxim contradictory presupposes an objectionable form of maxim realism. I move from there to the idea of a maxim contrary and the deliberative field. These two ideas are used in tandem by commentators who do not appeal to maxim contradictories. I explain how these concepts are used to derive positive duties and then I argue that there is a systematic error in the derivations that enables one to see that they cannot work. (shrink)

Evaluative claims and assumptions are ubiquitous in positive psychology. Some will deny this. But such disavowals are belied by the literature. Some will consider the presence of evaluative claims a problem and hope to root them out. But this is a mistake. If positive psychology is to live up to its raison d’être – to be the scientific study of the psychological components of human flourishing or well-being – it must make evaluative claims. Well-being consists in those things (...) that are good for us, that make life go well. Thus, one cannot investigate this topic without making claims about what is good for people and what they have reason to do. It’s time, therefore, to embrace the fact that positive psychology is value-laden. Doing so would benefit the field by allowing for more rigorous theorizing, and – perhaps counterintuitively – increasing the field’s objectivity. (shrink)

Ever since Hegel famously objected to Kant’s universalization formulations of the Categorical Imperative on the grounds that they are nothing but an empty formalism, there has been continual debate about whether he was right. In this paper I argue that Hegel got things at least half-right: I argue that even if negative duties (duties to omit actions or not to adopt maxims) can be derived from the universalization formulations, positive duties (duties to commit actions or to adopt maxims) cannot. (...) The paper is divided into three main sections. In the first, I set out the procedures generally accepted among Kantians for deriving positive duties from the universalization formulations. In the second, I set out the arguments from section 1 in more detail and explain why they do not work. In the third, I examine a strategy that might be used to supplement the arguments from section 2 and I argue that it also does not work. (shrink)

Negative facts get a bad press. One reason for this is that it is not clear what negative facts are. We provide a theory of negative facts on which they are no stranger than positive atomic facts. We show that none of the usual arguments hold water against this account. Negative facts exist in the usual sense of existence and conform to an acceptable Eleatic principle. Furthermore, there are good reasons to want them around, including their roles in causation, (...) chance-making and truth-making, and in constituting holes and edges. (shrink)

Philosophy is an important relation with education as it gives theoretical ground for its development. Principles and values of life learnt through education and experience gives birth to philosophy. Philosophy lays the foundation of leading one’s life based on principles. Education is the source of learning and philosophy it’s applications in human life. While discussing about the real nature of philosophy in present time, we should have a single criteria as if it to be acceptable to all reasonable people of (...) the world. In defining Positive Philosophy it may be said, The Positive Philosophy is an attempt to achieve an intellectual detachment from all philosophical systems, and not to solve specific philosophical problems, but to become sensitively aware of what it is we do when we philosophize. It is an attitude as well as a methodology for both academician and common person. It make education process positive so that it can make something useful for societal growth and in working process it also make the person sensitive about the societal problems and make them ready to be a part of social change. I am not negating something, here “positive” word is not an antonym but it is an adjective. Where there are merely religious, metaphysical and passive ideologies in our education system, we are not able to have a good and creative education. Positive Philosophy is working on that issues which have some worth for human. It is a process to do something creative. We are using innovative method. An innovator could be rebellion because he breaks the established method, norms and redefines the layer of thought. Innovation not simply implies questioning, reshaping, restricting but also developing through transformation. A teacher can play an important role in promoting this discussion because a teacher has the capacity to influence students with their thoughts and personality and engages them to creative activities. Innovativeness needs to be included in the curriculum. Once one becomes habitual to this attitude he/she will be ready to do some positive or creative. In this paper it is an attempt being made to apply positive philosophy though innovative method in our present education system. -/- . (shrink)

Positive polarity items (PPIs) are generally thought to have the boring property that they cannot scope below negation. The starting point of the paper is the observation that their distribution is significantly more complex; specifically, someone/something-type PPIs share properties with negative polarity items (NPIs). First, these PPIs are disallowed in the same environments that license yet type NPIs; second, adding any NPI-licenser rescues the illegitimate constellation. This leads to the conclusion that these PPIs have the combined properties of yet-type (...) and ever-type NPIs: what appears to be a prohibition is nothing but “halfway licensing”. The paper goes on to propose a unification of the analyses of rescuable PPIs, NPIs, and negative concord, and questions the grounding of polarity sensitivity in the scalar or the referential semantics of the items involved. (shrink)

The focus of this article is the question whether the notion of being in a position to know is closed under modus ponens. The question is answered negatively.

To explain why we should be structurally rational – or mentally coherent – is notoriously difficult. Some philosophers argue that the normativity of structural rationality can be explained in terms of substantive rationality, which is a matter of correct response to reason. I argue that the psychological phenomena – positive illusions – are counterexamples to the substantivist approach. Substantivists dismiss the relevance of positive illusions because they accept evidentialism that reason for belief must be evidence. I argue that (...) their evidentialist stance would imply that we are caught in unsolvable dilemmas arising from positive illusions. (shrink)

The present article critiques standard attempts to make philosophy appear relevant to the scientific study of well-being, drawing examples in particular from works that argue for fundamental differences between different forms of wellbeing (by Besser-Jones, Kristjánsson, and Kraut, for example), and claims concerning the supposedly inherent normativity of wellbeing research (e.g., Prinzing, Alexandrova, and Nussbaum). Specifically, it is argued that philosophers in at least some relevant cases fail to apply what is often claimed to be among their core competences: conceptual (...) rigor—not only in dealing with the psychological construct of flow, but also in relation to apparently philosophical concepts such as normativity, objectivity, or eudaimonia. Furthermore, the uncritical use of so-called thought experiments in philosophy is shown to be inappropriate for the scientific study of wellbeing. As an alternative to such philosophy-as-usual, proper attention to other philosophical traditions is argued to be promising. In particular, the philosophy of ZhuangZi (a contemporary of Aristotle and one of the most important figures in Chinese intellectual history) appears to concord well with today’s psychological knowledge, and to contain valuable ideas for the future development of positive psychology. (shrink)

Affirmative action continues to divide. My aim in this paper is to present participants in the debate with a new distinction, namely one between negative and positive affirmative action. Whereas positive affirmative action has to do with certain goods, such as a place at a prestigious university or a job at a prestigious company, negative affirmative action has to do with certain bads, such as a firing or a sentence. I then argue that some of the most prominent (...) arguments in favor of affirmative action speak at least as much in favor of negative as positive affirmative action. At the same time, at least one of the most prominent arguments put forward against affirmative action speak less against negative affirmative action. Thus, the paper should redraw the battle lines in the affirmative action debate. (shrink)

In this paper I am going to raise a problem for recent attempts to derive positive duties from Kant’s universalizability tests. In particular, I argue that these recent attempts are subject to reductio and that the most obvious way of patching them renders them impracticable. I begin by explaining the motivation for these attempts. Then I describe how they work and begin my attack. I conclude by considering some patches.

Schopenhauer repeatedly claims that all pleasure is negative, and this view seems to play key roles throughout his work. Nonetheless, many scholars have argued that Schopenhauer actually acknowledges certain positive pleasures. Two major arguments have been offered for this reading, one focused on the link between Schopenhauer's view of pleasure and Plato's, and one focused on Schopenhauer's distinction between two components of aesthetic pleasure. I argue that neither way of motivating the positive pleasure reading succeeds. Both overlook a (...) key aspect of Schopenhauer's account: namely, his suggestion that there are two distinct kinds of negative pleasure, pleasures of satisfaction and pleasures of distraction. When Schopenhauer claims that all pleasure is negative, he means it. (shrink)

Are positive duties to help others in need mere informal duties of virtue or can they also be enforceable duties of justice? In this paper I defend the claim that some positive duties (which I call basic positive duties) can be duties of justice against one of the most important prin- cipled objections to it. This is the libertarian challenge, according to which only negative duties to avoid harming others can be duties of justice, whereas positive (...) duties (basic or nonbasic) must be seen, at best, as informal moral requirements or recommendations. I focus on the contractarian version of the libertarian challenge as recently presented by Jan Narveson. I claim that Narveson’s contractarian construal of libertarianism is not only intuitively weak, but is also subject to decisive internal problems. I argue, in particular, that it does not pro- vide a clear rationale for distinguishing between informal duties of virtue and enforceable duties of justice, that it can neither successfully justify libertarianism’s protection of negative rights nor its denial of positive ones, and that it fails to undermine the claim that basic positive duties are duties of global justice. -/- . (shrink)

This chapter examines what protest is from the point of view of pragmatics, and how it relates to propaganda—specifically what Jason Stanley calls ‘positive propaganda.’ It analyzes the phrase “Black Lives Matter,” taking it to be a political speech act that offers a unique route to understanding of the pragmatics of protest. From this, it considers the moral-epistemological function of protest, and develops an account of the authority that protest, as a speech act, both calls upon and makes explicit. (...) It then argues that, rather than simply its effects, it is protest’s distinct pragmatic features—that is, its entitlement conditions, and the uptake it aim at—that best capture its important moral, political, and epistemic elements. It therefore rejects the idea that protests are paradigmatic examples of ‘positive propaganda,’ because the propaganda model cannot capture protests’ function of foregrounding the socially located moral authority of the protestor. (shrink)

Contrary to what he expected, Primo Levi didn’t experience his life after being released from Auschwitz as cheerful and light-hearted. He – like many other survivors – was haunted by an obscure and solid anguish. It took some effort for him to discern the object or source of this anguish. He finally identified it as springing from a sense of shame or guilt in front of the drowned, that is, of those who were exterminated in the Lager. He could not (...) determine, however, whether his shame or guilt was at all rational. In this paper l examine Levi’s shame in light of what I regard as the dominant conception of practical deliberation, according to which principles and emotional detachment are central to our ability to deliberate appropriately. This conception underlies the role that John Rawls ascribes to the original position in the determination of the fundamental principles of justice. Deliberation in the original position is supposed to abstract away from any particular moral situations that one may actually have faced, since these are purely circumstantial elements to be discarded as both irrelevant and misleading for a proper deliberation on the principles of justice. In this paper, I intend both to make a case against the conception of practical deliberation on which Rawls’ original position relies and to vindicate the rationality of Levi’s shame, once some well-entrenched assumptions are brought to light and challenged. (shrink)

This paper is the introduction to a collection I guest-edited called Positive Duties to Wild Animals. The collection contains single-authored contributions from Catia Faria, Josh Milburn, Eze Paez, and Jeff Sebo; and co-authored contributions from Mara-Daria Cojocaru and Alasdair Cochrane, and Oscar Horta and Dayrón Terán. It was published as a special issue of Ethics, Policy and Environment.

CRUICKSHANK J. Nursing Inquiry 2012; 19: 71–82 Positioning positivism, critical realism and social constructionism in the health sciences: a philosophical orientationThis article starts by considering the differences within the positivist tradition and then it moves on to compare two of the most prominent schools of postpositivism, namely critical realism and social constructionism. Critical realists hold, with positivism, that knowledge should be positively applied, but reject the positivist method for doing this, arguing that causal explanations have to be based not on (...) empirical regularities but on references to unobservable structures. Social constructionists take a different approach to postpositivism and endorse a relativist rejection of truth and hold that the task of research is to foster a scepticism that undermines any positive truth claim made. It is argued that social constructionism is a contradictory position. (shrink)

The article argues that the famous debate on natural and positive law between Lon Fuller and HLA Hart rests on a dispute about whether or not that something is a law provides on its own a prima facie reason for doing something.

This essay develops a new conceptual framework of science and engineering ethics education based on virtue ethics and positive psychology. Virtue ethicists and positive psychologists have argued that current rule-based moral philosophy, psychology, and education cannot effectively promote students’ moral motivation for actual moral behavior and may even lead to negative outcomes, such as moral schizophrenia. They have suggested that their own theoretical framework of virtue ethics and positive psychology can contribute to the effective promotion of motivation (...) for self-improvement by connecting the notion of morality and eudaimonic happiness. Thus this essay attempts to apply virtue ethics and positive psychology to science and engineering ethics education and to develop a new conceptual framework for more effective education. In addition to the conceptual-level work, this essay suggests two possible educational methods: moral modeling and involvement in actual moral activity in science and engineering ethics classes, based on the conceptual framework. (shrink)

The well-known Principle of Plenitude has it that everything that exists in some possible world exists in the actual world. I argue for an amended version of this principle: If there’s a possible world in which something lacks some positive property, then there’s an object in the actual world that lacks that property. That is, all positive universally held properties in the actual world are necessarily universally held. This rules out that for some positive property, everything in (...) the actual world merely happens to have it. After having presented and defended the argument, I show that it has a wide range of corollaries, such as that there are mereologically simple and composite things, physical and non-physical things, caused and uncaused things, and contingent and necessarily existing things. The argument has three premises. The first premise is the thesis that there are no things that do not exist. The second premise is a Fregean theory of linguistic meaning. According to the third premise, two meanings coincide if and only if their reference sets coincide. The notion of a reference set is defined in the paper. (shrink)

In this position paper, we have used Alan Cooper’s persona technique to illustrate the utility of audio- and video-based AAL technologies. Therefore, two primary examples of potential audio- and video-based AAL users, Anna and Irakli, serve as reference points for describing salient ethical, legal and social challenges related to use of AAL. These challenges are presented on three levels: individual, societal, and regulatory. For each challenge, a set of policy recommendations is suggested.

It is a popular thought that emotions play an important epistemic role. Thus, a considerable number of philosophers find it compelling to suppose that emotions apprehend the value of objects and events in our surroundings. I refer to this view as the Epistemic View of emotion. In this paper, my concern is with a rivaling picture of emotion, which has so far received much less attention. On this account, emotions do not constitute a form of epistemic access to specific axiological (...) aspects of their objects. Instead it proposes that they are ways of taking a stand or position on the world. I refer to this as the Position-Taking View of emotion. Whilst some authors seem sympathetic to this view, this it has so far not been systematically motivated and elaborated. In this paper, I fill this gap and propose a more adequate account of our emotional engagement with the world than the predominant epistemic paradigm. I start by highlighting the specific way in which emotions are directed at something, which I contrast with the intentionality of perception and other forms of apprehension. I then go on to offer a specific account of the valence of emotion and show how this account and the directedness of emotions makes them intelligible as a way of taking a position on something. (shrink)

Background: The complexity of diagnostic presentations of an inpatient psychiatry population requires an integrative approach to health and well-being. In this sense, the primary need of this research aims at developing clinical strategies and healthier coping skills for anger, anxiety, and depression; promoting self-esteem, healthier sleep, and anxiety reduction; as well as enhancing mood and emotional–behavioral regulation via exercise and nutrition education. Objectives: The primary objective is to promote exercise, fitness, and physical health in inpatient psychiatry patients. The secondary objective (...) includes therapeutic management of depressive symptoms and patient-centered approach to mania, angry outbursts, and generalized disruptive behavior. The tertiary objective is promoting research in the psychophysiological effectors of exercise and nutrition education in combination with psychotherapy. Method: Monitoring self-reported changes in mood and general well-being via administration of surveys and questionnaires pre- and postexercise sessions. Results: The research yielded positive outcomes in all areas investigated, suggesting the positive effects of exercise and mind–body strategies in the context of psychotherapy in inpatient psychiatry. Conclusion: Physical exercise may be a helpful way to reduce mental health disorders in the context of inpatient psychiatry by targeting anxiety, depression, anger, psychomotor agitation, and muscle tension and addressing stressors and triggers and to develop a more balanced and integrated sense of self. (shrink)

In 2019, several US states passed “heartbeat” bills. Should such bills go into effect, they would outlaw abortion once an embryonic heartbeat can be detected, thereby severely limiting an individual’s access to abortion. Many states allow health care professionals to refuse to provide an abortion for reasons of conscience. Yet heartbeat bills do not include a positive conscience clause that would allow health care professionals to provide an abortion for reasons of conscience. I argue that this asymmetry is unjustified. (...) The same criteria that justify protecting conscientious refusals to provide abortion also justify protecting positive conscientious appeals regarding abortion. Thus, if the law provides legal exemptions for health care professionals who, as a matter of conscience, refuse to provide abortions where it is legal, it should also provide exemptions for health care professionals who, as a matter of conscience, feel obligated to provide abortions where it is illegal. (shrink)

According to the standard reading of Kant's formula of universal law (FUL), positive duties can be derived from FUL. In this article, I argue that the standard reading does not work. In the first section, I articulate FUL and what I mean by a positive duty. In the second section, I set out an intuitive version of the standard reading of FUL and argue that it does not work. In the third section, I set out a more rigorous (...) version of the standard reading of FUL and argue that even this more rigorous version does not work. (shrink)

I argue that Husserl’s concept of position-taking, Stellungnahme, is adequate to understand the idea of second nature as an issue of philosophical anthropology. I claim that the methodological focus must be the living subject that acts and lives among others, and that the notion of second nature must respond to precisely this fundamental active character of subjectivity. The appropriate concept should satisfy two additional desiderata. First, it should be able to develop alongside the biological, psychological, and social individual development. Second, (...) it should be able to underlie the vast diversity of human beings within and across communities. As possible candidates, I contrast position-taking with two types of habit-like concepts: instinct and habitus, on the one hand, and customary habits, on the other. I argue that position-taking represents the active aspect of the subject while the habit-like concepts are passive. A subject’s position-takings and ensuing comportments are tied together by motivations, which evince a certain consistency, and for this reason are expression of the subject’s identity. I conclude by nuancing the relation between Stellungnahme and passivity. Passivity is deemed necessary to action but subservient to it; position-taking is thought to be prior to passivity. (shrink)

The literature on faith has largely focused on the relationship between faith and belief, specifically the question: does faith entail belief? At the same time, it’s also widely held that faith involves a desire or pro-attitude, but more attention has been paid to the specifics of faith’s doxastic component than to faith’s affective component. This paper focuses on the relationship between faith and desire. I’ll argue that faith is weakly positive: while faith may not always involve a flat-out desire, (...) faith necessarily involves a positive desire-like attitude. (shrink)

If asked whether stereotypes about people have the potential to help overcome injustice, I suspect that many think there is a clear-cut answer to this question, and that answer is “no.” Many stereotypes do have harmful effects, from the blatantly dehumanizing to the more subtly disruptive. Reasonably then, a common attitude toward stereotypes is that they are at best shallow, superficial assumptions, and at worst degrading and hurtful vehicles of oppression. I argue that on a broad account of stereotypes, this (...) is not is not an inherent feature of them nor a foregone conclusion about them. At least some positive stereotypes have the potential to help resist certain forms of epistemic injustice--though they likely can only play a limited or temporary role in this regard. The takeaway is that we should approach moral and epistemic analyses of stereotypes by thinking about them as (crude) cognitive tools, and as such, focus on what these tools are being used for, and what their actual impact is. (shrink)

This article introduces the concept of epistemic positioning to theorize the relationship between identity-based epistemic judgements and the reproduction of social inequalities, including those of gender and ethnicity/race, in the academia. Acts of epistemic positioning entail the evaluation of knowledge claims based on the speaker’s stated or inferred identity. These judgements serve to limit the scope of the knowledge claim, making it more likely speakers will be denied recognition or credit. The four types of epistemic positioning – bounding (reducing a (...) knowledge claim to elements of personal identity), domaining (reducing a knowledge claim to discipline or field associated with identity), non-attribution (using the claim without recognizing the author) and appropriation (presenting the claim as one’s own) – are mutually reinforcing. Given the growing importance of visibility and recognition in the context of increasing competition and insecurity in academic employment, these practices play a role in the ability of underrepresented groups to remain in the academic profession. (shrink)

In this paper I present an overview of the doctrine known as Positive Aesthetics regarding aesthetic judgements about nature. According to this view, all pristine nature is always beautiful and, generally, although not necessarily, human intervention tends to introduce ugliness in nature. One of the strong practical motivations behind this claim is an attempt to ground our reasons to preserve natural environments in aesthetic reasons. Positive Aesthetics has been defended within contrary approaches to nature appreciation such as the (...) cognitivists and the anti-cognitivist. Recently, the possibility of real ugliness in nature has been defended; at the same time, it is argued that the presence of ugly items in nature does not lead necessarily to the idea that they are not aesthetically valuable. Hence, natural ugliness can be a reason to preserve nature. In this sense, the denial of the Positive Aesthetics claim is shown to be compatible with the appeal to aesthetic negative qualities as a source of reasons for preserving natural environments. (shrink)

Introduction: During the COVID-19 pandemic, adolescents have increasingly suffered from online problem behaviors and mental disorders. But little research has paid attention to the protective factors among adolescents. Therefore, the present study attempted to investigate the role of positive youth development (PYD) attributes in adolescents’ depression, internet gaming disorder (IGD) and cyberbullying/victimization (CBV). -/- Methods: A total of 995 Chinese adolescents (Mage = 15.97 years, SD = 0.77, 325 boys) from two public high schools in Hubei province were recruited (...) to participate in the three-wave longitudinal study over the span of 1 year during the pandemic (Time 1: November, 2020; Time 2: May, 2021; Time 3: November, 2021). -/- Results: T1 PYD attributes negatively predicted T2 depression and T3 online problematic behaviors. T2 depression positively predicted IGD at T3. T3 IGD significantly predicted greater involvement in T3 CBV, and vice versa. Moreover, depression and one online problem behavior mediated the relationships between PYD attributes and the other online problem behavior, separately and sequentially. (shrink)

We give a new and elementary construction of primitive positive decomposition of higher arity relations into binary relations on finite domains. Such decompositions come up in applications to constraint satisfaction problems, clone theory and relational databases. The construction exploits functional completeness of 2-input functions in many-valued logic by interpreting relations as graphs of partially defined multivalued ‘functions’. The ‘functions’ are then composed from ordinary functions in the usual sense. The construction is computationally effective and relies on well-developed methods of (...) functional decomposition, but reduces relations only to ternary relations. An additional construction then decomposes ternary into binary relations, also effectively, by converting certain disjunctions into existential quantifications. The result gives a uniform proof of Peirce’s reduction thesis on finite domains, and shows that the graph of any Sheffer function composes all relations there. (shrink)

A long-standing tension in semantic theory concerns the reconciliation of positive gradable adjective (GA) ascriptions and comparative GA ascriptions. Vagueness-based ap- proaches derive the comparative from the positive, and face non-trivial challenges with incommensurability and non-GA comparatives. Classic degree-based approaches effectively derive the positive from the comparative, out of sync with the direction of evidence from morphology, and create some difficulties in accounting for GA scale-mates with differing thresholds (e.g., cold ∼ warm ∼ hot). We propose a (...) new reconciliation that capitalizes on recent proposals analyzing GAs as predicates of states. On our account, GAs lexically involve both a threshold property and a background state structure. Positive occurrences of GAs make use of the threshold property, while comparative occurrences make use of degrees representing elements of the background structure. Our approach preserves the virtues of classic degree-based approaches while offering a natural account of scale-mates, and without appeal to covert morphemes like POS or related devices. As we show, it is possible to inject our solution back into the classic degree-based approach, but we find reasons to prefer our states-based account. (shrink)

Philip Goff has recently argued that due to the ‘subject-summing problem’, panpsychism cannot explain consciousness. The subject-summing problem is a problem which is analogous to the physicalist's explanatory gap; it is a gap between the micro-experiential facts and the macro-experiential facts. Goff also suggests that there could be a solution by way of a ‘phenomenal bonding relation’, but believes that this solution is not up to scratch because we cannot form a positive not-merely-role-playing concept of this relation. In this (...) paper, I argue that the phenomenal bonding solution is up to scratch. I argue that the panpsychist, by carefully inspecting their phenomenology and scrutinising their concepts, can form a positive concept of the phenomenal bonding relation. By doing this they can start to get around their explanatory gap. (shrink)