Combining widely-accepted concepts of human behavior with elements from Rational Emotive Therapy, Positive Psychology, Emotional Intelligence, and most prominently Transactional Analysis, Rethinking Everything explores in immediately understandable terms why we act as we do, how we frequently undermine our relationships, why we often cripple our potential, and how we can take greater control of our lives.

The Taming of the True poses a broad challenge to realist views of meaning and truth that have been prominent in recent philosophy. Neil Tennant argues compellingly that every truth is knowable, and that an effective logical system can be based on this principle. He lays the foundations for global semantic anti-realism and extends its consequences from the philosophy of mathematics and logic to the theory of meaning, metaphysics, and epistemology.

The motivation for Core Logic is explained. Its system of proof is set out. It is then shown that, although the system has no Cut rule, its relation of deducibility obeys Cut with epistemic gain.

The rules for Core Logic are stated, and various important results about the system are summarized. We describe its relationship to other systems, such as Classical Logic, Intuitionistic Logic, Minimal Logic, and the Anderson–Belnap relevance logicR. A precise, positive explication is offered of what it is for the premises of a proof to connect relevantly with its conclusion. This characterization exploits the notion of positive and negative occurrences of atoms in sentences. It is shown that all Core proofs are relevant (...) in this precisely defined sense. We survey extant results about variable-sharing in rival systems of relevance logic, and find that the variable-sharing conditions established for them are weaker than the one established here for Core Logic (and for its classical extension). Proponents of other systems of relevance logic (such asRand its subsystems) are challenged to formulate a stronger variable-sharing condition, and to prove thatRor any of its subsystems satisfies it, but that Core Logic does not. We give reasons for pessimism about the prospects for meeting this challenge. (shrink)

An account of how a rational agent should revise beliefs in the light of new evidence.

I am not a deflationist. I believe that truth and falsity are substantial. The truth of a proposition consists in its having a constructive proof, or truthmaker. The falsity of a proposition consists in its having a constructive disproof, or falsitymaker. Such proofs and disproofs will need to be given modulo acceptable premisses. The choice of these premisses will depend on the discourse in question.

The author comments on the article “The Neurobiology of Addiction: Implications for Voluntary Control of Behavior,‘ by S. E. Hyman. Hyman’s article suggests that addicted individuals have impairments in cognitive control of behavior. The author agrees with Hyman’s view that addiction weakens the addict’s ability to align his actions with his judgments. The author states that neuroethics may focus on brains and highlight key aspects of behavior but we still risk missing explanatory elements. Accession Number: 24077912; Authors: Levy, Neil (...) 1,2; Email Address: nlevy@unimelb.edu.au; Affiliations: 1: University of Melbourne, Parkville 3010, Australia; 2: University of Oxford; Subject: ADDICTIONS; Subject: ALCOHOLISM; Subject: COGNITION; Subject: BEHAVIOR; Subject: JUDGMENT; Subject: HYMAN, S. E.; Subject: NEUROBIOLOGY; Number of Pages: 2p. (shrink)

The system of natural deduction that originated with Gentzen , and for which Prawitz proved a normalization theorem, is re-cast so that all elimination rules are in parallel form. This enables one to prove a very exigent normalization theorem. The normal forms that it provides have all disjunction-eliminations as low as possible, and have no major premisses for eliminations standing as conclusions of any rules. Normal natural deductions are isomorphic to cut-free, weakening-free sequent proofs. This form of normalization theorem renders (...) unnecessary Gentzen's resort to sequent calculi in order to establish the desired metalogical properties of his logical system.Ultimate normal forms are well-adapted to the needs of the computational logician, affording valuable constraints on proof-search. They also provide an analysis of deductive relevance. There is a deep isomorphism between natural deductions and sequent proofs in the relevantized system. (shrink)

This study takes a careful inferentialist look at Graham Priest’s Logic of Paradox. I conclude that it is sorely in need of a proof-system that could furnish formal proofs that would regiment faithfully the “naïve logical” reasoning that could be undertaken by a rational thinker within LP.

Investigates the relationship between philosophy and fiction in the 16th century, especially in French vernacular writing. The texts under consideration treat one or more branches of learning, including metaphysics and alchemy but also contain an element of fiction.

ABSTRACT: In this paper, I revisit arguments for and against various theses concerning higher-order knowledge in order to fully gauge their impact on the principles of positive and negative introspection. I argue that the expression “knowing that one knows” has at least two salient understandings: the more common one, labelled “transparentist”, validates the principle of positive introspection, while the other which is less common, labelled “agrippean”, supports some of the arguments against this principle.

Today''s headlines suggest that economic criteria alone is the basis for business decision-making. This paper argues that while profitability is a legitimate end of business, it must be moderated by ethical considerations. But can business be both successfuland ethical? Practical examples highlight individuals who chose profitability over ethical responsibility and those who chose and continue to choose both. The authors propose that there is an ethical person profile. Corporate managers can resolve the profits vs ethics dilemma by modeling ethical behavior.

ABSTRACT The well-known AGM-theory-contraction and theory-revision, due to Alchourrón, Gärdenfors and Makinson, relies heavily on the so-called postulate of recovery. This postulate is supposed to capture the requirement of “minimum mutilation”; but it does not. Recovery can be satisfied even when there is more mutilation than is necessary. Recovery also ensures that very often too little is given up in a contraction, in this paper I bring out clearly the deficiencies of the AGM-theory in these two regards, showing how it (...) is doubly off-beam. I show that some of the most serious inadequacies of the AGM-theory derive from early claims in some of its founding contributions, claims that have not been seriously questioned within the tradition since. The upshot of these investigations is that recovery cannot, and should not, be recovered. Theory contraction is hysteretic. Whether the AGM-theory can now recover is a good question. (shrink)

Originally published in 1942, this book examines Plato's later dialogues, particularly Timaeus, in terms of their dependence on pre-Socratic philosophy and other aspects of ancient thought and life. Skemp assesses Plato's views on reality and how it could be more than his idealized Forms. This book will be of value to anyone with an interest in the Socratic and Platonic philosophies and the circumstances of their development.

This study is in two parts. In the first part, various important principles of classical extensional mereology are derived on the basis of a nice axiomatization involving ‘part of’ and fusion. All results are proved here with full Fregean rigor. They are chosen because they are needed for the second part. In the second part, this natural-deduction framework is used in order to regiment David Lewis’s justification of his Division Thesis, which features prominently in his combination of mereology with class (...) theory. The Division Thesis plays a crucial role in Lewis’s informal argument for his Second Thesis in his book Parts of Classes. In order to present Lewis’s argument in rigorous detail, an elegant new principle is offered for the theory that combines class theory and mereology. The new principle is called the Canonical Decomposition Thesis. It secures Lewis’s Division Thesis on the strong construal required in order for his argument to go through. The exercise illustrates how careful one has to be when setting up the details of an adequate foundational theory of parts and classes. The main aim behind this investigation is to determine whether an anti-realist, inferentialist theorist of meaning has the resources to exhibit Lewis’s argument for his Second Thesis—which is central to his marriage of class theory with mereology—as a purely conceptual one. The formal analysis shows that Lewis’s argument, despite its striking appearance to the contrary, can be given in the constructive, relevant logic IR. This is the logic that the author has argued, elsewhere, to be the correct logic from an anti-realist point of view. The anti-realist is therefore in a position to regard Lewis’s argument as purely conceptual. (shrink)

Storrs McCall appeals to a particular true but improvable sentence of formal arithmetic to argue, by appeal to its irrefutability, that human minds transcend Turing machines. Metamathematical oversights in McCall's discussion of the Godel phenomena, however, render invalid his philosophical argument for this transcendentalist conclusion.

Brian Skyrms has studied the evolutionary dynamics of a simple bargaining game. Fair-dealing is the strategy 'demand 1/2', competing with the more modest strategy 'demand 1/3' and the greedier strategy 'demand 2/3'. Individuals leave offspring in proportion to their accumulated payoffs. The rules for payoffs from encounters penalize low- and high-demanders. The result is a significant basin of attraction for fair-dealing as an evolutionarily stable strategy. From these considerations Skyrms concludes that a disposition to fair-dealing could have evolved. A very (...) different picture emerges, however, when one considers genetic bases for the dispositions involved. A simple two-allele sexual model produces very different stable equilibria in the distribution of behavioral phenotypes. The equilibria for Skyrms's purely phenotypic selection process will not in general be attainable once one enters some simple genetic considerations. (shrink)

1. This paper is an informal exposition of a model-theoretic semantics for knowledge and belief set out in full detail else where. Considerations of space and simplicity prevent any recapitulation of tracts of formal definitions. My aim is simply to inform the reader of the alleged existence of one “new direction” in semantics, and to direct him to the original source for its detailed development. I shall explain certain self-imposed limitations on the scope and adequacy conditions of this treatment. Then, (...) in subsequent discussion of the semantical problems which I claim to have treated, I shall try to impart the flavour of the technical methods involved. (shrink)

The paper clarifies the relative merits and proper roles of standards of review in the determination of proxy consent for those unable to make decisions concerning their own medical treatment. The "substituted judgment" standard asks which treatment the incompetent person would choose if competent, while the "best interests" test asks which treatment would benefit the patient. The tests are discussed in relation to the moral principles of autonomy and beneficence which provide their justification. I distinguish six types of cases involving (...) incompetent patients and argue that which standard is appropriate depends on the type of case involved. A "rational choice" standard, which asks "What would the incompetent patient choose if his or her choice were rational?", is proposed as a way of determining best interests. Keywords: proxy consent, nontreatment of incompetent persons, substituted judgment CiteULike Connotea Del.icio.us What's this? (shrink)

Clinical ethics consultants are inevitably called to participate in and bear witness to emotionally challenging cases. With the move toward the professionalization of ethics consultants, the responsibility to respond to and address difficult ethical dilemmas is likely to fall to a small set of people or a single clinical ethicist. Combined with time constraints, the urgent nature of these cases, and the moral distress of clinicians and staff encountered during consultation, like other healthcare professionals such as physicians and nurses, clinical (...) ethics consultants could risk burnout. If it is true that clinical ethicists are at risk for burnout, an important strategy to avoid burnout is to develop sound self-care practices. This article reviews the goals and skills of ethics consultation and the role-specific reasons that clinical ethicists may be at risk for burnout, and argues that clinical ethicists may need to engage in self-care practices. Strategies to address burnout are reviewed and opportunities for future research are identified. (shrink)

Peter G¨ ardenfors proved a theorem purporting to show that it is impossible to adjoin to the AGM -postulates for belief-revision a principle of monotonicity for revisions. The principle of monotonicity in question is implied by the Ramsey test for conditionals. So G¨.