Online research in philosophy

The aim of this paper is to determine the plausibility of Robert Kirk’s strict implication thesis as an explication of physicalism and its relation to Jackson and Chalmer’s notion of application conditionals, to the notion of global supervenience and to a posteriori identities. It is argued that the strict implication thesis is subject to the same objection that affects the notion of global supervenience. Furthermore, reference to an idealised physics in the formulation of strict implication threatens to (...) make the thesis vacuous. Third, Kirk’s claim that the strict implication thesis does not entail reduction of the mental to the physical (excluding phenomenal properties) is untenable if a functional model of reduction is preferred over Nagel’s classical model. Finally, Kirk’s claim that the physical facts entail in an a priori way the fact that certain brain states feel somehow seems to be unfounded. (shrink)

We introduce a system PSI for a strict implication operator called Priorean strict implication. The semantics for PSI is based on partial Kripke models without accessibility relations. PSI is proved sound and complete with respect to that semantics, and Prior's system Q and related systems are shown to be fragments of PSI or of a mild extension of it.

Suppose P is the conjunction of all truths statable in the austere vocabulary of an ideal physics. Then phsicalists are likely to accept that any truths not included in P are different ways of talking about the reality specified by P. This ‘redescription thesis’ can be made clearer by means of the ‘strict implication thesis’, according to which inconsistency or incoherence are involved in denying the implication from P to interesting truths not included in it, such as truths (...) about phenomenal consciousness. Commitment to the strict implication thesis cannot be escaped by appeal to a posteriori necessary identities or entailments. A minimal physicalism formulated in terms of strict implication is preferable to one based on a priori entailment. (shrink)

This paper investigates, formulates and proves an indexical barrier theorem, according to which sets of non-indexical sentences do not entail (except under specified special circumstances) indexical sentences. It surveys the usual difficulties for this kind of project, as well some that are specific to the case of indexicals, and adapts the strategy of Restall and Russell’s “Barriers to Implication” to overcome these. At the end of the paper a reverse barrier theorem is also proved, according to which an indexical (...) sentence will not, except under specified circumstances, entail a non-indexical one. (shrink)

It is natural to ask under what conditions negating a conditional is equivalent to negating its consequent. Given a bivalent background logic, this is equivalent to asking about the conjunction of Conditional Excluded Middle (CEM, opposite conditionals are not both false) and Weak Boethius' Thesis (WBT, opposite conditionals are not both true). In the system CI.0 of consequential implication, which is intertranslatable with the modal logic KT, WBT is a theorem, so it is natural to ask which instances of (...) CEM are derivable. We also investigate the systems CIw and CI of consequential implication, corresponding to the modal logics K and KD respectively, with occasional remarks about stronger systems. While unrestricted CEM produces modal collapse in all these systems, CEM restricted to contingent formulas yields the Alt2 axiom (semantically, each world can see at most two worlds), which corresponds to the symmetry of consequential implication. It is proved that in all the main systems considered, a given instance of CEM is derivable if and only if the result of replacing consequential implication by the material biconditional in one or other of its disjuncts is provable. Several related results are also proved. The methods of the paper are those of propositional modal logic as applied to a special sort of conditional. (shrink)

We collect together some misgivings about the logic R of relevant inplication, and then give support to a weak entailment logic DJd. The misgivings centre on some recent negative results concerning R, the conceptual vacuousness of relevant implication, and the treatment of classical logic. We then rectify this situation by introducing an entailment logic based on meaning containment, rather than meaning connection, which has a better relationship with classical logic. Soundness and completeness results are proved for DJd with respect (...) to a content semantics, which embraces the concept of meaning containment. (shrink)

In this paper Grice’s requirements for assertability are imposed on the disjunction of Classical Logic. Defining material implication in terms of negation and disjunction supplemented by assertability conditions, results in the disappearance of the most important paradoxes of material implication. The resulting consequence relation displays a very strong resemblance to Schurz’s conclusion-relevant consequence relation.

The paper studies the relation between systems of modal logic and systems of consequential implication, a non-material form of implication satisfying Aristotle's Thesis (p does not imply not p ) and Weak Boethius' Thesis (if p implies q, then p does not imply not q ). Definitions are given of consequential implication in terms of modal operators and of modal operators in terms of consequential implication. The modal equivalent of Strong Boethius' Thesis (that p implies q (...) implies that p does not imply not q) is identified. (shrink)

of implication and generalization rules have a close relationship, for which there is a key idea for clarifying how they are connected: varying objects. Varying objects trace how generalization rules are used along a demonstration in an axiomatic calculus. Some ways for introducing implication and for generalization are presented here, taking into account some basic properties that calculi can have.

Implication barrier theses deny that one can derive sentences of one type from sentences of another. Hume’s Law is an implication barrier thesis; it denies that one can derive an ‘ought’ (a normative sentence) from an ‘is’ (a descriptive sentence). Though Hume’s Law is controversial, some barrier theses are philosophical platitudes; in his Lectures on Logical Atomism, Bertrand Russell claims: You can never arrive at a general proposition by inference particular propositions alone. You will always have to have (...) at least one general proposition in your premises. (Russell, 1918, p. 206) We will refer to this claim—that one cannot derive general sentences from particular sentences—as Russell’s Law.1 A third barrier thesis claims that one cannot derive sentences about the future from sentences about the past or present. Hume’s endorsement of this barrier thesis is well-known: all inferences from experience suppose, as their foundation, that the future will resemble the past . . . if there be any suspicion that the course of nature may change, and that the past may be no rule for the future, all experience becomes useless, and can give rise to no inference or conclusion. It is impossible, therefore, that any argument from experience can prove this resemblance of the past to the future; since all these arguments are founded on the supposition of that resemblance. (Hume, EHU 4.21/37) We will refer to this barrier thesis as Hume’s Second Law. A fourth barrier thesis says that one cannot derive a necessary sentence from one about the actual world and we will refer to this last thesis Kant’s Law. Such implication barrier theses present a problem. (shrink)

I was quite excited when I first read Restall and Russell’s (2010) paper. For two reasons. First, because the paper provides rigorous formulations and formal proofs of implication barrier theses, namely “theses [which] deny that one can derive sentences of one type from sentences of another”. Second (and primarily), because the paper proves a general theorem, the Barrier Construction Theorem, which unifies implication barrier theses concerning four topics: generality, necessity, time, and normativity. After thinking about the paper, I (...) am satisfied with its treatment of the first three topics, namely generality, necessity, and time. But I am not satisfied with its treatment of normativity, so my comments are exclusively on that topic. (shrink)

An implication is a proposition, a consequence is a relation between propositions, and an inference is act of passage from certain premise-judgements to another conclusion-judgement: a proposition is true, a consequence holds, whereas an inference is valid. The paper examines interrelations, differences, refinements and linguistic renderings of these notions, as well as their history. The truth of propositions, respectively the holding of consequences, are treated constructively in terms of verification-objects. The validity of an inference is elucidated in terms of (...) the existence of a chain of immediately evident steps linking premises and conclusion. (shrink)

of implication and generalization rules have a close relationship, for which there is a key idea for clarifying how they are connected: varying objects. Varying objects trace how generalization rules are used along a demonstration in an axiomatic calculus. Some ways for introducing implication and for generalization are presented here, taking into account some basic properties that calculi can have.

An appropriately unprejudiced logical investigation of causation as a type of implication relation is undertaken. The implication delineated is bounded syntactically. The developing argument then leads to a very natural process analysis, which demonstrably captures the established syntactical features. Next relevantly-based semantics for the resulting logical theory are adduced, and requisite adequacy results delivered. At the end of the tour, further improvements are pointed out, and the attractive terrain beyond present developments is glimpsed.

In this essay, I have rejected the inductive interpretation of the paradigm of contextual implication (to say “p”; is to imply that one believes that ) and proposed in its stead an explicatory model according to which a speaker in making a statement contextually implies whatever one is entitled to infer on the basis of the presumption that his act of stating is normal. In developing this model, I show how contextual implication depends on three distinct matters: a (...) stating context, presumptions of normality, and rules for the correct use of expressions. (shrink)

. It is shown that the properties of so-called consequential implication allow to construct more than one aristotelian square relating implicative sentences of the consequential kind. As a result, if an aristotelian cube is an object consisting of two distinct aristotelian squares and four distinct “semiaristotelian” squares sharing corner edges, it is shown that there is a plurality of such cubes, which may also result from the composition of cubes of lower complexity.

I was quite excited when I first read Restall and Russell’s (2010) paper. For two reasons. First, because the paper provides rigorous formulations and formal proofs of implication barrier the- ses, namely “theses [which] deny that one can derive sentences of one type from sentences of another”. Second (and primarily), because the paper proves a general theorem, the Barrier Con- struction Theorem, which unifies implication barrier theses concerning four topics: generality, necessity, time, and normativity. After thinking about the (...) paper, I am satisfied with its treatment of the first three topics, namely generality, necessity, and time. But I am not satisfied with its treatment of normativity, so my comments are exclusively on that topic. (shrink)

Evidence is given that implication (and its special case, negation) carry the logical strength of a system of formal logic. This is done by proving normalization and cut elimination for a system based on combinatory logic or λ-calculus with logical constants for and, or, all, and exists, but with none for either implication or negation. The proof is strictly finitary, showing that this system is very weak. The results can be extended to a "classical" version of the system. (...) They can also be extended to a system with a restricted set of rules for implication: the result is a system of intuitionistic higher-order BCK logic with unrestricted comprehension and without restriction on the rules for disjunction elimination and existential elimination. The result does not extend to the classical version of the BCK logic. (shrink)

This paper spells out a dynamic proof format for the pure logic of relevant implication. (A proof is dynamic if a formula derived at some stage need not be derived at a later stage.) The paper illustrates three interesting points. (i) A set of properties that characterizes an inference relation on the (very natural) dynamic proof interpretation, need not characterize the same inference relation (or even any inference relation) on the usual set-theoretical interpretation. (ii) A proof format may display (...) an internal dynamics (defeasible conclusions) in the absence of an external dynamics (non-monotonicity). (iii) A monotonic logic may have a non-monotonic characterization. (shrink)

Some ordinary language philosophers, including Stanley Cavell, have attacked certain tendencies of traditional philosophers as follows. E.g., when we say that something looks red to us, we imply that we think it isn't really red. Thus we arc breaking a rule of language when we say that something looks red to us when we know it is red. And thus there is something logically wrong with the traditional attempt, to say that what justifies us in thinking that something is red (...) is its looking red to us. In this article it is maintained that the ?implication? invoked above is a contingent relation having to do with what makes a fact noteworthy, and that the existence of this implication does not show that there is anything logically wrong with the traditional positions being attacked. (shrink)

The phenomenon we now know as projection was first observed by Frege in his brief remarks about presupposition in “Sense and Reference.” Frege observes there that the assertion that Kepler died in misery gives rise to the implication that the name Kepler has a referent; but that so too does the assertion that Kepler did not die in misery. Here we have the source of the observation that if p is a presupposition of S, then p is implied by (...) (utterances of) S and by (utterances of) the negation of S. Since Frege, it has been observed that those implications which are shared by a sentence S and by its negation are also typically shared by a variety of other entailment-canceling embeddings of S: in questions, in the antecedents of conditionals, and under epistemic possibility modals. This observation has entered the canon in the form of the “family of sentences” test (Chierchia and McConnell-Ginet 2000). This test is 1 standardly used to demonstrate that some particular element of content projects. An application of the test is demonstrated below. (shrink)

In this paper we introduce a theoretical framework and a logical application for analyzing the semantics and pragmatics of contrastive conjunctions in natural language. It is shown how expressions like although, nevertheless, yet and but are semantically definable as connectives using an operator for implication in natural language and how similar pragmatic principles affect the behaviour of both contrastive conjunctions and indicative conditionals. Following previous proposals, conditions on contrast in a conjunction are analyzed as presuppositions of the conjunction. Further (...) linguistic evidence leads to a distinction between restrictive and non-restrictive connectives of contrast, and consequently between direct and indirect contrast, which are given a precise definition. (shrink)

We investigate the semantics of the logical systems obtained by introducing the modalities and into the family of substructural implication logics (including relevant, linear and intuitionistic implication). Then, in the spirit of the LDS (Labelled Deductive Systems) methodology, we "import" this semantics into the classical proof system KE. This leads to the formulation of a uniform labelled refutation system for the new logics which is a natural extension of a system for substructural implication developed by the first (...) two authors in a previous paper. (shrink)

We introduce subsystems WLJ and SI of the intuitionistic propositional logic LJ, by weakening the intuitionistic implication. These systems are justifiable by purely constructive semantics. Then the intuitionistic implication with full strength is definable in the second order versions of these systems. We give a relationship between SI and a weak modal system WM. In Appendix the Kripke-type model theory for WM is given.

We present systems of Natural Deduction based on Strict Implication for the main normal modal logics between K and S5. In this work we consider Strict Implication as the main modal operator, and establish a natural correspondence between Strict Implication and strict subproofs.

In this work we develop goal-directed deduction methods for the implicational fragment of several modal logics. We give sound and complete procedures for strict implication of K, T, K4, S4, K5, K45, KB, KTB, S5, G and for some intuitionistic variants. In order to achieve a uniform and concise presentation, we first develop our methods in the framework of Labelled Deductive Systems [Gabbay 96]. The proof systems we present are strongly analytical and satisfy a basic property of cut admissibility. (...) We then show that for most of the systems under consideration the labelling mechanism can be avoided by choosing an appropriate way of structuring theories. One peculiar feature of our proof systems is the use of restart rules which allow to re-ask the original goal of a deduction. In case of K, K4, S4 and G, we can eliminate such a rule, without loosing completeness. In all the other cases, by dropping such a rule, we get an intuitionistic variant of each system. The present results are part of a larger project of a goal directed proof theory for non-classical logics; the purpose of this project is to show that most implicational logics stem from slight variations of a unique deduction method, and from different ways of structuring theories. Moreover, the proof systems we present follow the logic programming style of deduction and seem promising for proof search [Gabbay and Reyle 84, Miller et al. 91]. (shrink)

The fact that it is possible to define three different material conditionals in orthomodular lattices suggests that there exist three different orthomodular logics whose conditionals are material conditionals and whose models are orthomodular lattices. The purpose of this paper is to provide equationally definable implication algebras for each of these material conditionals.

The rule of implication, (+) If hypothesis H implies hypothesis I, then evidence sufficient to warrant the rejection of I, in turn warrants the rejection of H, is a very plausible principle of inductive inference. It is shown that significance tests violate this principle. Two ways to account for this violation are considered; neither account is fully satisfactory. First, a distinction might be made between the absolute degree of confirmation and the change in the degree of confirmation due to (...) a specific result. Measures of the change in the degree of confirmation need not obey the rule of implication. Unfortunately, it is difficult to interpret significance tests as a measure of the change in degree of confirmation of an hypothesis. Second, it might be observed that hypotheses are sought that are informative as well as faithful to observations. Amalgamating a measure of informativeness with a measure of faithfulness can result in violations of the rule of implication. Unfortunately, it is unclear why significance tests amalgamating measures of informativeness and faithfulness are desirable. (shrink)

The program MaGIC (Matrix Generator for Implication Connectives) is intended as a tool for logical research. It computes small algebras (normally with up to 14 elements) suitable for modelling certain non-classical logics. Along the way, it eliminates from the output any algebra isomorphic to one already generated, thus returning only one from each isomorphism class. Optionally, the user may specify a formula which is to be..

We introduce an implication-with-possible-exceptions and define validity of rules-with-possible-exceptions by means of the topological notion of a full subset. Our implication-with-possible-exceptions characterises the preferential consequence relation as axiomatized by Kraus, Lehmann and Magidor [Kraus, Lehmann, and Magidor, 1990]. The resulting inference relation is non-monotonic. On the other hand, modus ponens and the rule of monotony, as well as all other laws of classical propositional logic, are valid-up-to-possible exceptions. As a consequence, the rules of classical propositional logic do not (...) determine the meaning of deducibility and inference as implication-without-exceptions. (shrink)

Two common claims in environmental moral philosophy are that nature is worthy of respect and that we respect ourselves in respecting nature. In this paper, I articulate two modes of practical reasoning that help make sense of these claims. The first is analogical extension, which understands the respect due human life as the source of a like respect for nature. The second is analogical implication, which involves nature in human life to show us what we are like. These forms (...) of reasoning are relevant to environmental virtue ethics in that both help us conceptualize how respect for nature can be part of our sense of humanity, and not opposed to our sense of humanity. (shrink)

R. K. Meyer once gave precise form to the question of whether relevant implication can be defined in any modal system, and his answer was `no'. In the present paper, we extend S4, first with propositional quantifiers, to the system S4π+; and then with definite propositional descriptions, to the system S4π+ lp . We show that relevant implication can in some sense be defined in the modal system S4π+ lp , although it cannot be defined in S4π+.

The aim of this paper is to determine the plausibility of Robert Kirk's strict implication thesis as an explication of physicalism and its relation to Jackson and Chalmer's notion of application conditionals, to the notion of global supervenience and to a posteriori identities. It is argued that the strict implication thesis is subject to the same objection that affects the notion of global supervenience. Furthermore, reference to an idealised physics in the formulation of strict implication threatens to (...) make the thesis vacuous. Third, Kirk's claim that the strict implication thesis does not entail reduction of the mental to the physical (excluding phenomenal properties) is untenable if a functional model of reduction is preferred over Nagel's classical model. Finally, Kirk's claim that the physical facts entail in an a priori way the fact that certain brain states feel somehow seems to be unfounded. (shrink)

In this paper we introduce a theoretical framework and a logical application for analyzing the semantics and pragmatics of contrastive conjunctions in natural language. It is shown how expressions like "although", "nevertheless", "yet" and "but" are semantically definable as connectives using an operator for implication in natural language, and how similar pragmatic principles affect the behaviour of both contrastive conjunctions and indicative conditionals. Following previous proposals, conditions on contrast in a conjunction are analyzed as presuppositions of the conjunction. Further (...) linguistic evidence leads to a distinction between restrictive and non-restrictive connectives of contrast, and consequently between direct and indirect contrast, which are given a precise definition. (shrink)

In this paper we study some questions concerning Łukasiewicz implication algebras. In particular, we show that every subquasivariety of Łukasiewicz implication algebras is, in fact, a variety. We also derive some characterizations of congruence permutable algebras. The starting point for these results is a representation of finite Łukasiewicz implication algebras as upwardly-closed subsets in direct products of MV-chains.

The most difficult problem that Leniewski came across in constructing his system of the foundations of mathematics was the problem of defining definitions, as he used to put it. He solved it to his satisfaction only when he had completed the formalization of his protothetic and ontology. By formalization of a deductive system one ought to understand in this context the statement, as precise and unambiguous as possible, of the conditions an expression has to satisfy if it is added to (...) the system as a new thesis. Now, some protothetical theses, and some ontological ones, included in the respective systems, happen to be definitions. In the present essay I employ Leniewski's method of terminological explanations for the purpose of formalizing ukasiewicz's system of implicational calculus of propositions, which system, without having recourse to quantification, I first extended some time ago into a functionally complete system. This I achieved by allowing for a rule of implicational definitions, which enabled me to define any propositionforming functor for any finite number of propositional arguments. (shrink)

C I Lewis showed up Down Under in 2005, in e-mails initiated by Allen Hazen of Melbourne. Their topic was the system Hazen called FL (a Funny Logic), axiomatized in passing in Lewis 1921. I show that FL is the system MEN of material equivalence with negation. But negation plays no special role in MEN. Symbolizing equivalence with → and defining ∼A inferentially as A→f, the theorems of MEN are just those of the underlying theory ME of pure material equivalence. (...) This accords with the treatment of negation in the Abelian l-group logic A of Meyer and Slaney (Abelian logic. Abstract, Journal of Symbolic Logic 46, 425–426, 1981), which also defines ∼A inferentially with no special conditions on f. The paper then concentrates on the pure implicational part AI of A, the simple logic of Abelian groups. The integers Z were known to be characteristic for AI, with every non-theorem B refutable mod some Zn for finite n. Noted here is that AI is pre-tabular, having the Scroggs property that every proper extension SI of AI, closed under substitution and detachment, has some finite Zn as its characteristic matrix. In particular FL is the extension for which n = 2 (Lewis, The structure of logic and its relation to other systems. The Journal of Philosophy 18, 505–516, 1921; Meyer and Slaney, Abelian logic. Abstract. Journal of Symbolic Logic 46, 425–426, 1981; This is an abstract of the much longer paper finally published in 1989 in G. G. Priest, R. Routley and J. Norman, eds., Paraconsistent logic: essays on the inconsistent, Philosophica Verlag, Munich, pp. 245–288, 1989). (shrink)

Abstract Pavel Florensky solves Lewis Carroll’s ‘Barbershop’ paradox to support his reasoning in a previous chapter. Our discussion includes a) the problem (which we also refer to as the p paradox), b) Carroll’s solution, c) Bertrand Russell’s solution, d) Florensky’s solution and then e) a material example proffered by Florensky. Both Russell and Florensky disagree with Carroll’s solution, yet, (ostensibly) unbeknownst to themselves they offer the same solution, which is ‘p implies not-q’. Given Florensky’s material example, the solution seems to (...) tell us something about the logic of belief. We ask whether Florensky’s example has reverse implications for Russell’s solution. Content Type Journal Article Pages 1-10 DOI 10.1007/s11406-011-9333-6 Authors Michael Rhodes, Philosophy and Religious Studies (NPD), Chicago, IL, USA Journal Philosophia Online ISSN 1574-9274 Print ISSN 0048-3893. (shrink)

I present a fragment from thehistory of the Russian reception of HerbertSpencer''s sociology. The discussion concernstwo diametrically opposed but exceptionallyimportant figures in the history of Russianthought, Nikolai Mikhajlovskij (1842–1904) andKonstantin Leont''ev (1831–1891). As one of thechief ideologues of the Populist movementMikhajlovskij turned Spencer''s ideas into anegative frame of reference for his own`romantic socialist utopia''. In turn, Leont''evformulated his extremely conservative politicalviews on the basis of Spencer''s organicistsociology. Though at the opposite ends of thespectrum both standpoints succeeded inexhibiting the political implications (...) of thepositivist and naturalist style of thinking. (shrink)

We formulate the following hypothesis: Life's origin may have occurred during the lower Archaean at a time when the environmental temperature was higher than it is at present. Preliminary consequences of this hypothesis are studied from the point of view of molecular evolution. We restrict our attention to implications regarding the genetic code. We conclude that alternative assignment of termination codons may be understood in terms of: (a) the elevated temperatures to which the progenote may initially have been exposed; and (...) (b) the subsequent response of its genome to the opportunity provided by the eventual loss of hyperthermal genetic expression during a thermal transition (TT) period, which was triggered off by the evolution of the dynamic Earth. (shrink)

It is shown that the implicational fragment of Anderson and Belnap's R, i.e. Church's weak implicational calculus, is not uniquely characterized by MP (modus ponens), US (uniform substitution), and WDT (Church's weak deduction theorem). It is also shown that no unique logic is characterized by these, but that the addition of further rules results in the implicational fragment of R. A similar result for E is mentioned.

This paper explores the theory and illustrates the managerial implications of complete and incomplete markets for corporate strategy and corporate socialresponsibility. Market imperfections including externalities, asymmetric information or compromised competition motivate corporate social responsibility. At the same time, traditional approaches to corporate strategy based on industry analysis may imply exploiting or sustaining market imperfections. Assuming markets are complete complicates finding a theoretical basis for happily uniting CSR and above average profits. Assuming markets are incomplete undermines traditional industry analysis or resource-based (...) approaches to corporate strategy because incomplete markets hinder accurate calculation of the net present value of different resource commitments. Cases illustrate how theories of firm performance based on incomplete markets provide a new managerial framework to guide strategy and improve social welfare. (shrink)

'In principle, one can predict everything in the universe solely from physical laws. Thus, the long standing 'first cause' problem intrinsic in cosmology has finally been dispelled.' Fang and Wu, (1986):3).

This paper is concerned with Sir Peter Strawson’s critical discussion of Paul Grice’s defence of the material implication analysis of conditionals. It argues that although Strawson’s own ‘consequentialist’ suggestion concerning the meaning of conditionals cannot be correct, a related and radically contextualist account is able to both account for the phenomena that motivated Strawson’s consequentialism, and to undermine the material implication analysis by providing a simpler account of the processes that we go through when interpreting conditionals.

The formulation and proof of Hume’s Law and several related inference barrier theses.

Richard Hare described the "ethical fanatic" as an agent who appeared to be able to rationally universalize morally horrendous values by "fanatically" accepting the consequences of those values even if their universalization harmed the original agent. This challenges the project of basing ethics on universalization tests, as advocated by Hare, Immanuel Kant, and others. Hare later argued that fanatics are irrational by appealing to a "principle of prudence," but this violates his meta-principle of not basing fundamental ethical principles upon intuitions (...) which are not themselves shown to be required by reason. This failure is corrected by using the concept of "pragmatic implication" to show that any agent's reliance upon any ethical principle commits her to a higher-ordered principle which justifies commitment to the original principle. This threatens an infinite regress, which can only be closed by a unique meta-principle. It is shown that all possible alternatives to this principle fail to actually end the regress, and all strategies of ignoring the regress also entail practical inconsistency. Hence, ethical universalization tests are not empty; they support unique ethical principles whose content does not depend upon the particular values of actual agents. (shrink)

Perhaps the most impressive environmental ethic developed to date in any detail is Robin Attfield's biocentric consequentialism. Indeed, on first study, it appears sufficiently impressive that, before presenting any alternative theoretical approach, one would first need to establish why one should not simply embrace Attfield's. After outlining a seemingly decisive flaw in his theory, and then criticizing his response to it, this article adumbrates a very different theoretical basis for an environmental ethic: namely, a value-pluralist one. In so doing, it (...) seeks to give due weight to anthropocentric, zoocentric, biocentric and ecocentric considerations, and argues that the various values involved require trading off. This can be accomplished by employing multidimensional indifference curves. Moreover, after considering a three-dimensional indifference plane superimposed upon a three-dimensional possibility frontier, it becomes apparent that a moral-pluralist environmental ethic is, contrary to widespread assumptions, capable, in principle at least, of providing determinate answers to moral questions. (shrink)

conditions. A 3-space is 'the universe at one time', i.e., a three dimensional spacelike slice of a four dimensional spacetime. The universe's initial conditions are its physical boundary conditions, the curvature of spacetime and the amount and distribution of matter belonging to the..

In 1977, R. B. Angell presented a logic for <span class='Hi'>analytic</span> containment, a notion of relevant implication stronger than Anderson and Belnap's entailment. In this paper I provide for the first time the logic of first degree <span class='Hi'>analytic</span> containment, as presented in [2] and [3], with a semantical characterization—leaving higher degree systems for future investigations. The semantical framework I introduce for this purpose involves a special sort of truth-predicates, which apply to pairs of collections of formulas instead of (...) individual formulas, and which behave in some respects like Gentzen's sequents. This semantics captures very general properties of the truth-functional connectives, and for that reason it may be used to model a vast range of logics. I briefly illustrate the point with classical consequence and Anderson and Belnap's tautological entailments. (shrink)

Recent years have seen dramatic changes in the attitudes and expectations brought to bear on companies. Over ten years of research at MORI has shown the increasing prominence of corporate responsibility for a wide range of stakeholders, from consumers and employees to legislators and investors.

Professor Koslow advances a new account of the basic concepts of logic. A central feature of the theory is that it does not require the elements of logic to be based on a formal language. Rather, it uses a general notion of implication as a way of organizing the formal results of various systems of logic in a simple, but insightful way. The study has four parts. In the first two parts the various sources of the general concept of (...) an implication structure and its forms are illustrated and explained. Part 3 defines the various logical operations and systematically explores their properties. A generalized account of extensionality and dual implication is given, and the extensionality of each of the operators, as well as the relation of negation and its dual are given substantial treatment because of the novel results they yield. Part 4 considers modal operators and studies their interaction with logical operators. By obtaining the usual results without the usual assumptions this new approach allows one to give a very simple account of modal logic minus the excess baggage of possible world semantics. (shrink)

Confucianism defined benevolence with “feelings” and “love.” “Feelings” in Confucianism can be mainly divided into three categories: feelings in general (seven kinds of feelings), love for one’s relatives, and compassion (Four Commencements). The seven kinds of feeling in which people respond to things can be summarized as “likes and dislikes.” The mind responds to things through feelings; based on the mind of benevolence and righteousness or feelings of compassion, the expression of feelings can conform to the principle of (...) the mean and reach the integration of self and others, and of self and external things. The “relations between the seven kinds of feelings and the Four Commencements,” however, was not developed into a theoretical idea in Confucianism. After Confucius, the relationship between the universality of natural sympathies and the gradation of love for relatives gradually became an important subject in Confucian ideas of benevolence and love. By “refuting Yang Zhu and Mozi,” Mencius systematically expounded on this issue. Love had two ends: self-love and natural sympathies, between which existed the love for relatives. These two ends were not the two extremes of Yang’s self-interest and Mozi’s universal love. Love for relatives not only implied a gradation, but also contained universality and transcendence that came from self-love. Love for relatives, natural sympathies and self-love had a kind of tension and connectivity between two dynamic ends. The Confucian idea of benevolence and love hence demonstrated differences and interconnectivity. An accurate understanding of such “feelings” and “love” is important for us to grasp Confucian thoughts on benevolence and its realization. (shrink)

This study surveys one element of the government standards of conduct, named "Misuse of Position for Personal Gain", assesses the results, and compares various acquisition strategies to identify high risk procurement where individual misuse of position for personal gain may be more pervasive. It also provides a valuable historical summary of government standards of conduct. The study concludes with an assessment of enforcement mechanisms, or lack thereof, to ensure that government procurement is conducted in a manner which gains public trust (...) and confidence. (shrink)

The target article's finding of stable and general individual differences in solving of problems in heuristics-and-biases experiments is fundamentally subversive to the Meliorist research program's attention-getting claim that human thought is “systematically irrational.” Since some people get these problems right, studies of heuristics and biases may reduce to repeated demonstrations that difficult questions are hard to solve.

Review article of Christopher Kutz, Complicity: Ethics and Law for a Collective Age (Cambridge: Cambridge University Press, 2000).