We study the matrices, reduced matrices and algebras associated to the systems SAT of structural annotated logics. In previous papers, these systems were proven algebraizable in the finitary case and the class of matrices analyzed here was proven to be a matrix semantics for them.We prove that the equivalent algebraic semantics associated with the systems SAT are proper quasivarieties, we describe the reduced matrices, the subdirectly irreducible algebras and we give a general decomposition theorem. As a consequence we obtain a (...) decision procedure for these logics. (shrink)

In this paper we make an algebraic study of the variety of MV*-algebras introduced by C. C. Chang as an algebraic counterpart for a logic with positive and negative truth values.We build the algebraic theory of MV*-algebras within its own limits using a concept of ideal and of prime ideal that are very naturally related to the corresponding concepts in l-groups. The main results are a subdirect representation theorem, a completeness theorem, a study of simple and semisimple algebras, and a (...) characterization of the ideal of infinitesimals as an l-group. In the last section we develop a detailed proof a the one-dimensional theorem of McNaughton, that is, the free MV*-algebra in one generator is the algebra of McNaughton functions over [−1,1]. In contrast with the rest of the paper, this last result is based on work done for MV-algebras. (shrink)

Excerpt from Induction and Deduction: A Historical Critical Sketch of Successive Philosophical Conceptions Respecting the Relations Between Inductive and Deductive Thought and Other Essays It is a painful and pathetic task for an intimate friend of Constance Naden to be called upon to write a memoir, however brief, of her short life, instead of looking forward to years of happy and elevating intercourse, sharing in works of benevolent usefulness, and gladly watching her rise to the distinction which her intellectual gifts (...) entitled her circle of friends to anticipate. The sorrow for her loss must be lifelong. As Mrs. Browning says, "the inevitable strikes us dead," but the expression of it is unavailing. All that remains for the most devoted of her friends is to keep her memory green, by striving to let the world know what it has lost, both in promise and in fulfilment. Miss Naden's earlier life was uneventful, and almost all the details for this portion of it have been drawn from accounts published in the Birmingham papers, at the time of her death, by those associated with her school and college career. Constance Caroline Woodhill Naden was born on the 24th January, 1858, at her father's house in Edgbaston, where he still resides, and is the President of the Birmingham Architectural Association. Her mother died on the 5th February, a few days after the birth of her child. Shortly afterwards the motherless infant was domesticated with her mother's parents, Mr. and Mrs. Woodhill, of Pakenham House, Edgbaston, and here Constance lived a retired, peaceful life, adored by her grandparents, till they died, Mr. Woodhill in 1881, and his widow in 1887. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

BIBLIOGRAPHY OF RODERICK M. CHISHOLM 1941 (a) 'Sextus Empiricus and Modern Empiricism', Philosophy of Science VIII, 371-384. 1942 (a) 'The Problem of the Speckled Hen', Mind u, 368-373. 1943 (a) Review of 'Lewin's Topological and Vector ...

Opstellen eerder verschenen in het Nederlands Tijdschrift voor rechtsfilosofie en rechtstheorie en in andere periodieken.

In Lewin et al. 359–386) the authors proved that certain systems of annotated logics are algebraizable in the sense of Block and Rigozzi 396). Later in Lewin et al. the study of the associated quasi-varieties of annotated algebras is initiated. In this paper we continue the study of the these classes of algebras, in particular, we report some recent results about the free annotated algebras.

There are important similarities between moral thought and talk and thought and talk about gender: disagreements about gender, like disagreements about morality, seem to be intractable and to outstrip descriptive agreement; and it seems coherent to reject any definition of what it is to be a woman in terms of particular social, biological, or other descriptive features, just as it seems coherent to reject any definition of what it is to be good or right in terms of any set of (...) descriptive properties. These similarities give us reason to investigate the idea that, like moral thought and talk, gender thought and talk is inherently normative. This paper proposes a normative account of gender thought and talk in terms of fitting treatment. On this fitting treatment account, to judge that A is gender G is just to judge that it is fitting to treat A as a G. This account is a descriptive or hermeneutical account of our gender thought and talk rather than an ameliorative account of our gender concepts or a metaphysical account of gender properties in social metaphysics. This paper argues that other descriptive accounts of gender thought and talk face problems that the fitting treatment account overcomes. (shrink)

Der fünfte Band der Reihe trägt den Titel Ethik und Politik aus interkultureller Sicht. Neben einer begrifflichen, methodischen und inhaltlichen Klärung, was aus interkultureller Sicht bedeutet, werden in den verschiedenen Beiträgen ethische und politische Ansätze im heutigen Weltkontext der Philosophie erörtert. Interkulturell orientiertes philosophisches Denken weist alle Zentrismen zurück, ohne jedoch die jeweilige kulturelle Sedimentiertheit in Frage zu stellen. Folgerichtig wird so auch ein jeder Monismus abgelehnt. Das heutige Angesprochensein der Kulturen verlangt von uns, von den beiden Fiktionen einer totalen (...) Identität und völligen Differenz unter den ethischen und politischen Modellen Abschied zu nehmen. Die These von der Überlappung zielt auf das Wahrnehmen von grundsätzlichen Ähnlichkeiten und erhellenden Differenzen in den Ansätzen. Wer einen Pluralismus bejaht, muß auch bereit sein, im Geiste der Toleranz die unterschiedlichen Ansätze zur Ethik und Politik ernst zu nehmen. Wer den Konsens zu sehr betont, liebäugelt mit irgendeinem Identitätsmodell, vernachlässigt den Kompromiß. Tatsache ist jedoch, daß gerade Kompromisse zur Konfliktlösung beitragen. So sind die Beiträge dieses Bandes dem Ziel gewidmet, sowohl eine theoretische Begründung als auch eine praktische Bewältigung der interkulturellen Verständigung in Ethik und Politik zu leisten. (shrink)

Epistemic decision theorists aim to justify Bayesian norms by arguing that these norms further the goal of epistemic accuracy—having beliefs that are as close as possible to the truth. The standard defense of Probabilism appeals to accuracy dominance: for every belief state that violates the probability calculus, there is some probabilistic belief state that is more accurate, come what may. The standard defense of Conditionalization, on the other hand, appeals to expected accuracy: before the evidence is in, one should expect (...) to do better by conditionalizing than by following any other rule. We present a new argument for Conditionalization that appeals to accuracy‐dominance, rather than expected accuracy. Our argument suggests that Conditionalization is a rule of coherence: plans that conflict with Conditionalization don't just prescribe bad responses to the evidence; they also give rise to inconsistent attitudes. (shrink)

A popular argument is that peer disagreement about controversial moral topics undermines justified moral belief in a way that peer disagreement about non-moral topics does not undermine justified non-moral belief. Call this argument the argument for moral skepticism from peer disagreement. Jason Decker and Daniel Groll have recently made a companions in guilt response to this argument. Decker and Groll argue that if peer disagreement undermines justified moral belief, then peer disagreement undermines much non-moral justified belief; if the argument for (...) moral skepticism from peer disagreement succeeds, then a kind of non-moral skepticism holds too. And we should not hold that the status of such non-moral beliefs are undermined by peer disagreement. In this paper, I shows that Decker and Groll’s companions in guilt argument fails. I then draw out the implications of my argument for the epistemology of disagreement and the epistemology of moral disagreement more generally. For instance, I then argue that peer disagreement about morality does not undermine all justified moral belief but that peer disagreement about morality does preclude most moral beliefs from being justified and constituting knowledge in a way that peer disagreement about non-moral topics does not preclude most non-moral beliefs from being justified and constituting knowledge. (shrink)

In this article, we consider two independently appealing theories—the Growing-Block view and Humean Supervenience—and argue that at least one is false. The Growing-Block view is a theory about the nature of time. It says that past and present things exist, while future things do not, and the passage of time consists in new things coming into existence. Humean Supervenience is a theory about the nature of entities like laws, nomological possibility, counterfactuals, dispositions, causation, and chance. It says that none of (...) these entities are fundamental, since if they were, this would entail the existence of irreducible necessary connections between matters of fact. Instead, these entities supervene on a fundamental, non-nomological ‘Humean mosaic’ of property instances at spacetime points. We will further explain and motivate the Growing-Block view and Humean Supervenience in Sects. 2 and 3, but first, we turn to our master argument. (shrink)

I am interested in extending modal calculi by adding propositional quantifiers, given by the rules for quantifier introduction: provided that p does not occur free in A.

The author's motivation for constructing the calculi of this paper\nis so that time and tense can be "discussed together in the same\nlanguage" (p. 282). Two types of enriched propositional caluli for\ntense logic are considered, both containing ordinary propositional\nvariables for which any proposition may be substituted. One type\nalso contains "clock-propositional" variables, a,b,c, etc., for\nwhich only clock-propositional variables may be substituted and that\ncorrespond to instants or moments in the semantics. The other type\nalso contains "history-propositional" variables, u,v,w, etc., for\nwhich only history-propositional variables may (...) be substituted and\nthat correspond to maximally linearly ordered subsets of instants.\nThis second type is for tense logics in which time is not linear\nand where at any moment there may exist alternative future courses\nof events. Quantifiers are included in both types but only for clock-\nand history-propositional variables. However, these quantifiers are\ngiven an essentially substitutional interpretation. In addition,\nbesides each clock-propositional variable being true at exactly one\ninstant, the semantics requires that for each instant there be at\nleast one clock-propositional variable true at that instant, which\nin effect amounts to having each instant of the model "denoted" in\nthe formalism by some clock-propositional variable. Thus it is not\nsurprising that quantification over clock-propositional variables\nturns out to have a "well behaved first-order semantics" (p. 284).\n{One axiom relating history- with clock-propositions seems to need\nrevision: CKTauTbuAUabUba. Since the clock-propositional variables\nmight be true at the same instant the consequent should include an\nalternative, namely, LCab.} Besides the standard truth-functional\nand tense operators G,H,F,P, the author includes L for "it is\nalways the case that". The model-theoretic earlier-than relation\nordering instants and the semantic truth-at (an instant) relation\nare formalized by Uab and Taα (for a wff α) which\nare defined respectively as LCbPa (whenever the clock-proposition\nb is the case the clock-proposition a was the case) and LCaα\n(α is the case whenever the clock-proposition a is the case).\nBecause the future tense operators are definable in terms of U\nand T and the latter are definable in terms of L and P, the\ndual of H, the author notes that his completeness proofs can be\nrestricted to L and H as primitive and with the future tense\noperators used for other interpretations, especially Prior, A.'s\nindeterminist "it will be the case that", where time is not linear.\nThe author concludes with some rather technical observations showing\nthat "in ordinary tense logics the instants are nonstandard elements\nof the models. This provides", according to the author, "a semantic\npressure to build the instants into tense logic, so that they will\nappear as standard elements in the models" (p. 283). (shrink)

We show that five important elements of the ‘nomological package’— laws, counterfactuals, chances, dispositions, and counterfactuals—needn’t be a problem for the Growing-Block view. We begin with the framework given in Briggs and Forbes (in The real truth about the unreal future. Oxford studies in metaphysics. Oxford University Press, Oxford, 2012 ), and, taking laws as primitive, we show that the Growing-Block view has the resources to provide an account of possibility, and a natural semantics for non-backtracking causal counterfactuals. We show (...) how objective chances might ground a more fine-grained concept of feasibility, and furnished a places in the structure where causation and dispositions might fit. The Growing-Block view, thus understood, provides the resources to explain the close link between modality and tense, so that it predicts modal change as time passes. This account lets us capture not only what the future might hold for us, and also what might have been. (shrink)

Sociological and philosophical analysis of the role of will power upon the moral development of individuals.

This book is an attack on the widespread assumption that the mind has parts and that it is the interaction between these parts which accounts for the irrational behaviour displayed un self- deception and weakness of will.

Part of the Studies in Crime and Public Policy series, this book, written by one of the top philosophers of punishment, examines the main trends in penal theorizing over the past three decades. Duff asks what can justify criminal punishment, and then explores the legitimacy of actual practices by examining what would count as adequate justification for them. Duff argues that a "communicative conception of punishment," which he presents as a third way between consequentialist and retributive theories, offers the most (...) fruitful way of understanding punishment's meaning and justification. Duff addresses such questions as how much sentences should be constrained by proportionality requirements; what modalities of punishment best communicate their intended meaning; and what decisionmaking procedures he envisions. This book will appeal to criminologists, philosophers, and others interested in theories of punishment. (shrink)

Marcia Baron has offered an illuminating and fruitful discussion of extra-legal excuses. What is particularly useful, and particularly important, is her focus on our excusatory practices—on the ways and contexts in which we make, offer, accept, bestow and reject excuses: if we are to reach an adequate understanding of excuses, their implications and their grounds, we must attend to the roles that they can play in our human activities and relationships—and to the complexities and particularities of those roles. However, I (...) want to focus my comments less on the details of Baron’s discussions of excuses in extra-legal contexts than on the implications of her discussion for our understanding of excuses in the criminal law. What light (if any, a sceptic might add) can such analyses of our extra-legal concepts and practices throw on legal concepts and doctrines? (shrink)

In [1, §4], my ‘proof’ that GH1 has the finite model property is incorrect; there are considerable obscurities towards the end of §1, particularly on p. 33; and I should have exhibited the finite models for GH1. In §1 of this paper I expand the analysis of the sub-directly irreducible models for GH1 which I give in §1 of [1]. In §2 I give a correct proof that GH1 has the finite model property. In §3 I exhibit these finite models (...) as models on certain ordered sets. (shrink)