Online research in philosophy

The purpose of this paper is to define a new logic $${\mathcal {SI}}$$ called semi-intuitionistic logic such that the semi-Heyting algebras introduced in [ 4 ] by Sankappanavar are the semantics for $${\mathcal {SI}}$$ . Besides, the intuitionistic logic will be an axiomatic extension of $${\mathcal {SI}}$$.

This is a general introduction to consequentialism.

A global ethic needs to be cosmopolitan in a sense which is explained; this excludes certain kinds of communitarian ethic. Contracttheories, Kantianism, basic-rights theories, Ross-type deontology and theories of virtue ethics are reviewed and found to encounter severe problems. Consequentialist theories, however, are found capable of coping with Williams’ objections, and practice-consequentialist theories capable of coping with right-making practices and with Lenman's unpredictability objection. Variants that exclude from consideration unintended consequences, the results of omissions, or impacts on possible people, or which prioritize average over total outcomes, fail to improve on the Total View, which is argued to overcome objections based on population numbers and on good procedures, but which needs to be biocentric in scope. Theories of this kind are capable of coping with global problems, while also favouring alliances between global citizens of diverse normative outlooks. Key Words: alienation • biocentric consequentialism • cosmopolitanism • global citizens • global ethic • global problems • overpopulation • practice-consequentialism • Total View • unpredictability.

To 'consequentialise' is to take a putatively non-consequentialist moral theory and show that it is actually just another form of consequentialism. Some have speculated that every moral theory can be consequentialised. If this were so, then consequentialism would be empty; it would have no substantive content. As I argue here, however, this is not so. Beginning with the core consequentialist commitment to 'maximising the good', I formulate a precise definition of consequentialism and demonstrate that, given this definition, several sorts of moral theory resist consequentialisation. My strategy is to decompose consequentialism into three conditions, which I call 'agent neutrality', 'no moral dilemmas', and 'dominance', and then to exhibit some moral theories which violate each of these.

Derek Parfit, Philip Pettit and Michael Smith defend a version of consequentialism that covers everything. I argue that this version of consequentialism is false. Consequentialism, I argue, can only cover things that belong to a combination of things that agents can bring about.

Semi-Post algebras have been introduced and investigated in [6]. This paper is devoted to semi-Post subalgebras and homomorphisms. Characterization of semi-Post subalgebras and homomorphisms, relationships between subalgebras and homomorphisms of semi-Post algebras and of generalized Post algebras are examined.

Consequentialism is often charged with being self-defeating, for if a person attempts to apply it, she may quite predictably produce worse outcomes than if she applied some other moral theory. Many consequentialists have replied that this criticism rests on a false assumption, confusing consequentialism’s criterion of the rightness of an act with its position on decision procedures. Consequentialism, on this view, does not dictate that we should be always calculating which of the available acts leads to the most good, but instead advises us to decide what to do in whichever manner it is that will lead to the best outcome. Whilst it is typically afforded only a small note in any text on consequentialism, this reply has deep implications for the practical application of consequentialism, perhaps entailing that a consequentialist should eschew calculation altogether.

In this paper, semi-Post algebras are introduced and investigated. The generalized Post algebras are subcases of semi-Post algebras. The so called primitive Post constants constitute an arbitrary partially ordered set, not necessarily connected as in the case of the generalized Post algebras examined in [3]. By this generalization, semi-Post products can be defined. It is also shown that the class of all semi-Post algebras is closed under these products and that every semi-Post algebra is a semi-Post product of some generalized Post algebras.

Over the last few decades, there has been an increasing interest in global consequentialism. Where act-consequentialism assesses acts in terms of their consequences, global consequentialism goes much further, assessing acts, rules, motives — and everything else — in terms of the relevant consequences. Compared to act-consequentialism it offers a number of advantages: it is more expressive, it is a simpler theory, and it captures some of the benefits of ruleconsequentialism without the corresponding drawbacks. In this paper, I explore the four different approaches to global consequentialism made by Parfit, Pettit and Smith, Kagan, and Feldman. I break these up into their constituent components, demonstrating the space of possible global consequentialist theories, and I present two new theories within this space.

Bart Streumer argues that a certain variety of consequentialism – he calls it ‘semi-global consequentialism’ – is false on account of its falsely implying the possibility of ‘blameless wrongdoing’. This article shows (i) that Streumer's argument is nothing new; (ii) that his presentation of the argument is misleading, since it suppresses a crucial premiss, commonly called ‘agglomeration’; and (iii) that, for all Streumer says, the proponent of semi-global consequentialism may easily resist his argument by rejecting agglomeration.