One of the most dominant approaches to semantics for relevant (and many paraconsistent) logics is the Routley-Meyer semantics involving a ternary relation on points. To some (many?), this ternary relation has seemed like a technical trick devoid of an intuitively appealing philosophical story that connects it up with conditionality in general. In this paper, we respond to this worry by providing three different philosophical accounts of the ternary relation that correspond to three conceptions of conditionality. We close by briefly discussing (...) a general conception of conditionality that may unify the three given conceptions. (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)

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)

Winner of the Los Angeles Times Book Prize With a new preface by the author In his most powerful and important book, renowned psychiatrist Robert Jay Lifton presents a brilliant analysis of the crucial role that German doctors played in the Nazi genocide. Now updated with a new preface, The Nazi Doctors remains the definitive work on the Nazi medical atrocities, a chilling exposé of the banality of evil at its epitome, and a sobering reminder of the darkest side (...) of human nature. (shrink)

This paper offers an overview of "the species problem", arguing for a view of species as homeostatic property cluster kinds, positioning the resulting form of realism about species as an alternative to the claim that species are individuals and pluralistic views of species. It draws on taxonomic practice in the neurosciences, especially of neural crest cells and retinal ganglion cells, to motivate both the rejection of the species-as-individuals thesis and species pluralism.

Drawing on a passage from Ramsey's Truth and Probability, we formulate a simple, plausible constraint on evaluating the accuracy of credences: the Calibration Test. We show that any additive, continuous accuracy measure that passes the Calibration Test will be strictly proper. Strictly proper accuracy measures are known to support the touchstone results of accuracy-first epistemology, for example vindications of probabilism and conditionalization. We show that our use of Calibration is an improvement on previous such appeals by showing how it answers (...) or sidesteps problems that have been raised for previous work in this area. (shrink)

The thirty chapters work through various fundamental metaphysical issues, sometimes focusing more on scholastic thought, sometimes on the seventeenth century.

Are interpersonal comparisons of desire possible? Can we give an account of how facts about desires are grounded, that underpins such comparisons? This paper supposes the answer to the first question is yes, and provides an account of the nature of desire that explains how this is so. The account is a modification of the interpretationist metaphysics of representation that the author has recently been developing. The modification is to allow phenomenological affective valence into the “base facts” on which correct (...) interpretation is grounded. To use this extra resource within that theory to vindicate interpersonal comparisons, we will need to appeal rational connections between level of valence and level of desire, which this paper sets out and examines. (shrink)

Gentzen’s and Jaśkowski’s formulations of natural deduction are logically equivalent in the normal sense of those words. However, Gentzen’s formulation more straightforwardly lends itself both to a normalization theorem and to a theory of “meaning” for connectives . The present paper investigates cases where Jaskowski’s formulation seems better suited. These cases range from the phenomenology and epistemology of proof construction to the ways to incorporate novel logical connectives into the language. We close with a demonstration of this latter aspect by (...) considering a Sheffer function for intuitionistic logic. (shrink)

The paper offers an analysis of Protagoras’ fr. DK 80 B 1 and rejects the traditional reading of Protagoras as relativist. By considering the ipsissima verba that Protagoras makes use of in his passage, it is argued that alternative interpretations are possible, of which epistemological reism and psychological individualism are proposed. On a more general level, it is discussed to what extent Protagoras’ fragment contains descriptive rather than normative claim.

After a summary of earlier work it is shown that elementary or Kalmar arithmetic can be interpreted within the system of Russell's Principia Mathematica with the axiom of infinity but without the axiom of reducibility.

In the good old days, when general philosophy of science ruled the Earth, a simple division was often invoked to talk about philosophical issues specific to particular kinds of science: that between the natural sciences and the social sciences. Over the last 20 years, philosophical studies shaped around this dichotomy have given way to those organized by more fine-grained categories, corresponding to specific disciplines, as the literatures on the philosophy of physics, biology, economics and psychology--to take the most prominent four (...) examples--have blossomed. In general terms, work in each of these areas has become increasingly enmeshed with that in the corresponding science itself, increasingly naturalistic (in at least one sense of that term), and in my view, increasingly interesting. (shrink)

If the world itself is metaphysically indeterminate in a specified respect, what follows? In this paper, we develop a theory of metaphysical indeterminacy answering this question.

In this paper I explore Michael Loux’s important distinction between “tropes” and “tropers”. First, I argue that the distinction throws into relief an ambiguity and discrepancy in the literature, revealing two fundamentally different versions of trope theory. Second, I argue that the distinction brings into focus unique challenges facing each of the resulting trope theories, thus calling into question an alleged advantage of trope theory—that by uniquely occupying the middle ground between its rivals, trope theory is able to recover and (...) preserve the insights of these views. Ultimately, the distinction suggests that trope theory is a divided house. (shrink)

The logic of paradox, LP, is a first-order, three-valued logic that has been advocated by Graham Priest as an appropriate way to represent the possibility of acceptable contradictory statements. Second-order LP is that logic augmented with quantification over predicates. As with classical second-order logic, there are different ways to give the semantic interpretation of sentences of the logic. The different ways give rise to different logical advantages and disadvantages, and we canvass several of these, concluding that it will be extremely (...) difficult to appeal to second-order LP for the purposes that its proponents advocate, until some deep, intricate, and hitherto unarticulated metaphysical advances are made. (shrink)

The general concept of a trope – that of a non-shareable character-grounder – admits of a distinction between modifier tropes and module tropes. Roughly, a module trope is self-exemplifying whereas a modifier trope is not. This distinction has wide-ranging implications. Modifier tropes are uniquely eligible to be powers and fundamental determinables, whereas module tropes are uniquely eligible to play a direct role in perception and causation. Moreover, each type of trope theory faces unique challenges concerning character- grounding. Modifier trope theory (...) faces challenges concerning the inscrutability of predication and the incompatibility with bundle theory, whereas module trope theory faces challenges concerning character overdetermination and a collapse into austere nominalism. These differences indicate that the modifier/module distinction divides the advantages of general trope theory and thus presents the trope theorist with a pivotal choice. (shrink)

My aim is to propose affectivity as a criterion for personal identity. My proposal is to be taken in its weak version: affectivity as _only one_ of the criteria for personal identity. I start by arguing for affectivity being a better candidate as a criterion for personal identity than thinking. Next, I focus on synchronic vs. diachronic and on ontic vs. epistemic distinctions (my proposal will concern diachronic ontic personal identity) and consider the realm of affectivity in its temporal dimension. (...) In my argument, I rely on the genuineness of affectivity and I exploit chiefly long- or everlasting feelings (or emotions) and those which involve the feeling subject more rather than less. I conclude by stating that genuine long-lasting feelings (or emotions) are constitutive of diachronic ontic personal identity. (shrink)

Se resume en esta obra el vasto y complejo sistema teórico-jurídico de Hans Kelsen, el jurista más grande de nuestro siglo. La doctrina de Kelsen y en particular su Teoría Pura del Derecho han conocido muchas vicisitudes y ataques debidos más a prejuicios políticos y racistas que a una verdadera confrontación con sus tesis. El autor enfatiza en el hecho de que la doctrina jurídica de Kelsen no es una teoría terminada y archivada sino en permanente desarrollo, una teoría a (...) cuya ulterior construcción están convocados todos los juristas. (shrink)

Not the least admirable of the late David Lewis’s attributes was his disdain for technical terminology and jargon. His writings are a model demonstrating that, with skill and care, it is possible to discuss even the most mathematical aspects of logic and semantics in clear English prose, and with only a minimum of symbolism. The main text of Parts of Classes [1, hereafter: PoC], a 120-page essay on the foundations of set theory, follows Aristotle in using letters as variables, and (...) has a few dashes and ellipses where it mentions schemata, but is otherwise free of logical notation. The essential advantages of what Church called “the logistic method” do not depend on its typographical accidents!) It is only natural that writers following him have taken one of his expressive words and turned it into a technical term: he allowed ‘atomless gunk’ as a possible complication in the mereological analysis of things, and ‘gunk’ is now a technical term in mereology. Gunk is stuff every part of which contains further parts, stuff which can be divided endlessly without ever arriving at an indivisible atom. (shrink)

A common compatibilist view says that we are free and morally responsible in virtue of the ability to respond aptly to reasons. Many hold a version of this view despite disagreement about whether free will requires the ability to do otherwise. The canonical version of this view is reductive. It reduces the pertinent ability to a set of modal properties that are more obviously compatible with determinism, like dispositions. I argue that this and any reductive view of abilities faces a (...) significant challenge: it cannot adequately explain the freedom-grounding element of this ability. The problem has the form of a dilemma. This leaves reasons-responsive compatibilists with two options: abandon theories of free will grounded in abilities or abandon reductive theories of abilities. (shrink)