We introduce a logic specifically designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent preferences. We establish a correspondence between formulae in the logic and properties of social choice functions, and show that the logic is expressively complete with respect to social choice functions, i.e., that every social choice function can be characterised as a formula of the logic. We prove that the logic is decidable, and give a (...) complete axiomatization. To demonstrate the value of the logic, we show in particular how it can be applied to the problem of determining whether a social choice function is strategy-proof. (shrink)

We introduce a logic specifically designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent preferences. We establish a correspondence between formulae in the logic and properties of social choice functions, and show that the logic is expressively complete with respect to social choice functions, i.e., that every social choice function can be characterised as a formula of the logic. We prove that the logic is decidable, and give a (...) complete axiomatization. To demonstrate the value of the logic, we show in particular how it can be applied to the problem of determining whether a social choice function is strategy-proof. (shrink)

Information about the powers and abilities of acting entities is used to coordinate their actions in societies, either physical or digital. Yet, the commonsensical meaning of an acting entity being deemed able to do something is still missing from the existing specification languages for the web or for multi-agent systems. We advance a general purpose abstract logical account of evidence-based ability. A basic model can be thought of as the ongoing trace of a multi-agent system. Every state records systemic confirmations (...) and disconfirmations of whether an acting entity is able to bring about something. Qualitative inductive reasoning is then used in order to infer what acting entities are deemed able to bring about in the multi-agent system. A temporalised modal language is used to talk about deemed ability, actual agency, and confirmation and disconfirmation of deemed ability. What constitutes a confirmation and a disconfirmation is left to the modeller as in general it depends on the application at hand. So to illustrate the methodology we propose two extended examples, one in practical philosophy, the other in system engineering. We first use a logic of agency and ability to obtain a version of Mele’s general practical abilities. Then, we look at the management of abilities in a supervised system. (shrink)

We propose two alternatives to Xu’s axiomatization of Chellas’s STIT. The first one simplifies its presentation, and also provides an alternative axiomatization of the deliberative STIT. The second one starts from the idea that the historic necessity operator can be defined as an abbreviation of operators of agency, and can thus be eliminated from the logic of Chellas’s STIT. The second axiomatization also allows us to establish that the problem of deciding the satisfiability of a STIT formula without temporal operators (...) is NP-complete in the single-agent case, and is NEXPTIME-complete in the multiagent case, both for the deliberative and Chellas’s STIT. (shrink)

We show that logic has more to offer to ontologists than standard first order and modal operators. We first describe some operators of linear logic which we believe are particularly suitable for ontological modeling, and suggest how to interpret them within an ontological framework. After showing how they can coexist with those of classical logic, we analyze three notions of artifact from the literature to conclude that these linear operators allow for reducing the ontological commitment needed for their formalization, and (...) even simplify their logical formulation. (shrink)

We investigate a series of logics that allow to reason about agents' actions, abilities, and their knowledge about actions and abilities. These logics include Pauly's Coalition Logic CL, Alternating-time Temporal Logic ATL, the logic of ‘seeing-to-it-that' (STIT), and epistemic extensions thereof. While complete axiomatizations of CL and ATL exist, only the fragment of the STIT language without temporal operators and without groups has been axiomatized by Xu (called Ldm). We start by recalling a simplification of the Ldm that has been (...) proposed in previous work, together with an alternative semantics in terms of standard Kripke models. We extend that semantics to groups via a principle of superadditivity, and give a sound and complete axiomatization that we call Ldm G. We then add a temporal ‘next' operator to Ldm G, and again give a sound and complete axiomatization. We show that Ldm G subsumes coalition logic CL. Finally, we extend these logics with standard S5 knowledge operators. This enables us to express that agents see to something under uncertainty about the present state or uncertainty about which action is being taken. We focus on the epistemic extension of X-Ldm G, noted E-X-Ldm G. In accordance with established terminology in the planning community, we call this extension of X-Ldm G the conformant X-Ldm G. The conformant X-Ldm G enables us to express that agents are able to perform a uniform strategy. We conclude that in that respect, our epistemic extension of X-Ldm G is better suited than epistemic extensions of ATL. (shrink)

We present the main logical theories of action. We distinguish theories identifying an action with its result from theories studying actions in terms of both their results and the means that result is obtained. The first family includes most prominently the logic of seeing-to-it-that and the logic of bringing-it-about-that. The second includes propositional dynamic logic and its variants. For all these logics we overview their extensions by other modalities such as modal operators of knowledge, belief, and obligation.

When people combine concepts these are often characterised as “hybrid”, “impossible”, or “humorous”. However, when simply considering them in terms of extensional logic, the novel concepts understood as a conjunctive concept will often lack meaning having an empty extension (consider “a tooth that is a chair”, “a pet flower”, etc.). Still, people use different strategies to produce new non-empty concepts: additive or integrative combination of features, alignment of features, instantiation, etc. All these strategies involve the ability to deal with conflicting (...) attributes and the creation of new (combinations of) properties. We here consider in particular the case where a Head concept has superior ‘asymmetric’ control over steering the resulting concept combination (or hybridisation) with a Modifier concept. Specifically, we propose a dialogical approach to concept combination and discuss an implementation based on axiom weakening, which models the cognitive and logical mechanics of this asymmetric form of hybridisation. (shrink)

We study a fragment of Intuitionistic Linear Logic combined with non-normal modal operators. Focusing on the minimal modal logic, we provide a Gentzen-style sequent calculus as well as a semantics in terms of Kripke resource models. We show that the proof theory is sound and complete with respect to the class of minimal Kripke resource models. We also show that the sequent calculus allows cut elimination. We put the logical framework to use by instantiating it as a logic of agency. (...) In particular, we apply it to reason about the resource-sensitive use of artefacts. (shrink)

Many aspects of how humans form and combine concepts are notoriously difficult to capture formally. In this paper, we focus on the representation of three particular such aspects, namely overexten- sion, underextension, and dominance. Inspired in part by the work of Hampton, we consider concepts as given through a prototype view, and by considering the interdependencies between the attributes that define a concept. To approach this formally, we employ a recently introduced family of operators that enrich Description Logic languages. These (...) operators aim to characterise complex concepts by collecting those instances that apply, in a finely controlled way, to ‘enough’ of the concept’s defin- ing attributes. Here, the meaning of ‘enough’ is technically realised by accumulating weights of satisfied attributes and comparing with a given threshold that needs to be met. (shrink)

We introduce a family of operators to combine Description Logic concepts. They aim to characterise complex concepts that apply to instances that satisfy \enough" of the concept descriptions given. For instance, an individual might not have any tusks, but still be considered an elephant. To formalise the meaning of "enough", the operators take a list of weighted concepts as arguments, and a certain threshold to be met. We commence a study of the formal properties of these operators, and study some (...) variations. The intended applications concern the representation of cognitive aspects of classi cation tasks: the interdependencies among the attributes that de ne a concept, the prototype of a concept, and the typicality of the instances. (shrink)

This paper demonstrates the central role of the Socratic elenchus in the Sophist. In the first part, I defend the position that the Stranger describes the Socratic elenchus in the sixth division of the Sophist. In the second part, I show that the Socratic elenchus is actually used when the Stranger scrutinizes the accounts of being put forward by his predecessors. In the final part, I explain the function of the Socratic elenchus in the argument of the dialogue. By contrast (...) with standard scholarly interpretations, this way of reading the text provides all the puzzles about being (241c4–251a4) with a definite function in the dialogue. It also reveals that Plato’s methodology includes a plurality of method and is more continuous than what is often believed. (shrink)

Nicolas Weill propose une lecture stimulante de ces textes qui constituent une des découvertes philosophiques les plus importantes de ces dernières années. La publication des "Cahiers" redonne une actualité brûlante à la question qui divise épigones et détracteurs du penseur allemand : comment continuer à philosopher avec Heidegger sans tenir compte d'une éventuelle contamination de cette philosophie par l'idéologie nazie? Par une analyse sans concession des "Cahiers", en se concentrant sur les Réflexions (tenues par Heidegger de 1931 à 1941) (...) mais tout en cherchant à en dégager les éléments proprement philosophiques, cet ouvrage invite à une approche équilibrée, quitte à "penser avec Heidegger, contre Heidegger", comme le suggérait Jürgen Habermas dès le début des années 1950. Il montre notamment comment l'auteur d'Etre et temps, en inventant une nouvelle forme de philosopher, a poursuivi et prolongé dans ces carnets la critique de la modernité telle qu'elle a été formulée par la "révolution conservatrice" allemande et par Oswald Spengler, le théoricien du déclin de l'Occident. (shrink)

This book is the first extensive treatment of Husserl's phenomenology of time-consciousness. Nicolas de Warren uses detailed analysis of texts by Husserl, some only recently published in German, to examine Husserl's treatment of time-consciousness and its significance for his conception of subjectivity. He traces the development of Husserl's thinking on the problem of time from Franz Brentano's descriptive psychology, and situates it in the framework of his transcendental project as a whole. Particular discussions include the significance of time-consciousness for (...) other phenomenological themes: perceptual experience, the imagination, remembrance, self-consciousness, embodiment, and the consciousness of others. The result is an illuminating exploration of how and why Husserl considered the question of time-consciousness to be the most difficult, yet also the most central, of all the challenges facing his unique philosophical enterprise"--Provided by publisher. (shrink)

What semantics should we attribute to nouns like "wisdom" and "generosity", which are derived from gradable adjectives? We show that, from a morphosyntactic standpoint, these nouns are mass nouns. This leads us to consider and answer the following questions. How are these nouns interpreted in their various uses? What formal representations may one associate with their interpretations? How do these depend on the semantics of the adjective? And where lies the semantic unity of nouns like wisdom and generosity with the (...) more familiar concrete mass nouns, like wine and furniture? (shrink)

In this paper we claim that pragmatist philosophical practice is incompatible with scientistic philosophy. The kind of pragmatism used for making this case follows the spirit and method of philosophical pragmatists such as William James, John Dewey, Richard Rorty, and a related pragmatic tradition, Confucian Philosophy. Pragmatism starts from immediate experience, and refuses to cleave off the reality and salience of what is found in such experience in the process of thinking. Pragmatism also concerns itself with social problems, broadly conceived. (...) In contrast to this focus on immediate experience, the influence of science in much philosophizing involves a kind of scientism through which the relevance, value, and even reality of experience is brought into question. It also concerns itself with a narrowly defined set of so-called philosophical problems. In this regard, pragmatist philosophical practice is fundamentally opposed to scientistic philosophical practice. We will start by modelling the kind of philosophical practice that stems from pragmatism, and the role of immediate experience in it. Subsequently, we will introduce two modes of philosophizing that diminish if not negate the role of experience. One is bald naturalist philosophizing, and the other is a priori scientific philosophizing. In the last section, we will show how main commitments of both of these traditions are incompatible with a pragmatist philosophy that remains committed to the original impulse of pragmatism. (shrink)

This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of linear logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic linear logic without the additive disjunction, to which we add a modality. We provide an interpretation of this language on a class of Kripke resource models (...) extended with a neighbourhood function: modal Kripke resource models. We propose a Hilbert-style axiomatisation and a Gentzen-style sequent calculus. We show that the proof theories are sound and complete with respect to the class of modal Kripke resource models. We show that the sequent calculus admits cut elimination and that proof-search is in PSPACE. We then show how to extend the results when non-commutative connectives are added to the language. Finally, we put the l.. (shrink)

Copyright ©2005–2010 All rights reserved. Jonathan Bennett [Brackets] enclose editorial explanations. Small ·dots· enclose material that has been added, but can be read as though it were part of the original text. Occasional •bullets, and also indenting of passages that are not quotations, are meant as aids to grasping the structure of a sentence or a thought. Every four-point ellipsis . . . . indicates the omission of a brief passage that seems to present more difficulty than it is worth. (...) Larger omissions are reported, between brackets, in normal-sized type. The numbering of the segments of each dialogue is Malebranche’s. (shrink)

In this article, we discuss how we used institutional ethnography (Institutional ethnography as practice, Rowman & Littlefield, Lanham, MD and 2006) to map out powerful ruling relations that organize nurses’ wound care work. In recent years, the growing number of people living with wounds that heal slowly or not at all has presented substantial challenges for those managing the demands on Canada's publicly insured health‐care system. In efforts to address this burden, Canadian health‐care administrators and policy‐makers rely on scientific evidence (...) about how wounds heal and what treatments are most effective. Advanced wound care exemplifies the growing authorization of particular forms of evidence that change the ways in which nurses come to know about and conduct their work. The focus of this paper's nursing inquiry is a critique of registered nurses’ wound work as it arises within the established uptake of scientific evidence. (shrink)

Has the time come to put to bed the concept of a harm threshold when discussing the ethics of reproductive decision making and the legal limits that should be placed upon it? In this commentary, we defend the claim that there exist good moral reasons, despite the conclusions of the non-identity problem, based on the interests of those we might create, to refrain from bringing to birth individuals whose lives are often described in the philosophical literature as ‘less than worth (...) living’. (shrink)

When attempting to determine which of our acts affect future generations and which affect the identities of those who make up such generations, accounts of personal identity that privilege psychological features and person affecting accounts of morality, whilst highly useful when discussing the rights and wrongs of acts relating to extant persons, seem to come up short. On such approaches it is often held that the intuition that future persons can be harmed by decisions made prior to their existence is (...) mistaken as identity is a most fragile thing with even the smallest differences in the conditions under which we procreate affecting not the interests of distinct future persons, but the identities of those who will come to exist in the future. Within this paper I reject this view, holding that a subscription to these two accounts need not result in the conclusion that virtually all acts relating to possible persons are permitted. Further, I argue that such accounts may in fact allow a great deal more scope for the determination of prenatal harms than accounts of personal identity that privilege physical features. Finally, by interpreting claims regarding causal identity such as Parfit’s Time Dependence Claim in terms of Counterpart Theory I suggest that a solution to the non-identity problem can be found in the acceptance of, as relevant in prenatal cases, three kinds of objective similarity relations: Biological, Environmental and Decisional counterpart relations. (shrink)

In recent years much research has been undertaken regarding the feasibility of the human uterine transplant as a treatment for absolute uterine factor infertility. Should it reach clinical application this procedure would allow such individuals what is often a much-desired opportunity to become not only social mothers, or genetic and social mothers but mothers in a social, genetic and gestational sense. Like many experimental transplantation procedures such as face, hand, corneal and larynx transplants, UTx as a therapeutic option falls firmly (...) into the camp of the quality of life transplant, undertaken with the aim, not to save a life, but to enrich one. However, unlike most of these novel procedures – where one would be unlikely to find a willing living donor or an ethics committee that would sanction such a donation – the organs to be transplanted in UTx are potentially available from both living and deceased donors. In this article, in the light of the recent nine-case research trial in Sweden which used uteri obtained from living donors, and the assertions on the part of a number of other research teams currently preparing trials that they will only be using deceased donors, I explore the question of whether, in the case of UTx, there exist compelling moral reasons to prefer the use of deceased donors despite the benefits that may be associated with the use of organs obtained from the living. (shrink)

Axiom weakening is a novel technique that allows for fine-grained repair of inconsistent ontologies. In a multi-agent setting, integrating ontologies corresponding to multiple agents may lead to inconsistencies. Such inconsistencies can be resolved after the integrated ontology has been built, or their generation can be prevented during ontology generation. We implement and compare these two approaches. First, we study how to repair an inconsistent ontology resulting from a voting-based aggregation of views of heterogeneous agents. Second, we prevent the generation of (...) inconsistencies by letting the agents engage in a turn-based rational protocol about the axioms to be added to the integrated ontology. We instantiate the two approaches using real-world ontologies and compare them by measuring the levels of satisfaction of the agents w.r.t. the ontology obtained by the two procedures. (shrink)

In the biomedical context, policy makers face a large amount of potentially discordant evidence from different sources. This prompts the question of how this evidence should be aggregated in the interests of best-informed policy recommendations. The starting point of our discussion is Hunter and Williams’ recent work on an automated aggregation method for medical evidence. Our negative claim is that it is far from clear what the relevant criteria for evaluating an evidence aggregator of this sort are. What is the (...) appropriate balance between explicitly coded algorithms and implicit reasoning involved, for instance, in the packaging of input evidence? In short: What is the optimal degree of ‘automation’? On the positive side: We propose the ability to perform an adequate robustness analysis as the focal criterion, primarily because it directs efforts to what is most important, namely, the structure of the algorithm and the appropriate extent of automation. Moreover, where there are resource constraints on the aggregation process, one must also consider what balance between volume of evidence and accuracy in the treatment of individual evidence best facilitates inference. There is no prerogative to aggregate the total evidence available if this would in fact reduce overall accuracy. (shrink)

For the majority of scholars concerned with the ethics of living organ donation, inflicting moderate harms on competent volunteers in order to save the lives or increase the life chances of others is held to be justifiable provided certain conditions are met. These conditions tend to include one, or more commonly, some combination of the following: The living donor provides valid consent to donation. Living donation produces an overall positive balance of harm–benefit for donors and recipients which cannot be obtained (...) in a less harmful manner. Donation is not liable to cause significant and long-term morbidity to, or the death of, the donor. This paper critically examines the suggestion that these criteria are not sufficient to offer a general account of justified living organ donation in the context of competent volunteers and that key to justified living organ donation is that donors receive sufficient benefits from their donation that these outweigh the harms they suffer. However, although this view—termed here ‘The Donor Benefit Standard’—directs welcome attention to the many and complex motives which may underlie living organ donation, this paper ultimately concludes that given the threats this position poses to individual autonomy and the lives of those in need of organ transplants ‘The Donor Benefit Standard’ should ultimately be rejected. (shrink)

What does it mean to be a morally good person? It can be tempting to think that it is simply a matter of performing certain actions and avoiding others. And yet there is much more to moral character than our outward actions. We expect a good person to not only behave in certain ways but also to experience the world in certain ways within.

This paper offers a framework for consciousness of internal reality. Recent PET experiments are reviewed, showing partial overlap of cortical activation during self-produced actions and actions observed from other people. This overlap suggests that representations for actions may be shared by several individuals, a situation which creates a potential problem for correctly attributing an action to its agent. The neural conditions for correct agency judgments are thus assigned a key role in self/other distinction and self-consciousness. A series of behavioral experiments (...) that demonstrate, in normal subjects, the poor monitoring of action-related signals and the difficulty in recognizing self-produced actions are described. In patients presenting delusions, this difficulty dramatically increases and actions become systematically misattributed. These results point to schizophrenia and related disorders as a paradigmatic alteration of a ''Who?'' system for self-consciousness. (shrink)

Some things have positive value and some things have negative value. The things with positive value are good and the things with negative value are bad. There are also things in-between that are neither good nor bad, which are neutral. All in all, then, there are three monadic value predicates: “good,” “bad,” and “neutral.”.

In the 20th century, the boundaries of psychosis emerged as an area in which psychiatric judgement faced numerous and profound uncertainties. Between obvious neuroses and personality and reactive disorders on the one hand, and unquestionable psychoses on the other, psychiatrists faced a world of suspected cases of schizophrenia, doubtful personality disorder diagnoses or probable cases of psychosis constituting a garden of equivocal clinical presentations in which both individual psychiatrists and the discipline as a whole were confronted with the limits of (...) their knowledge. This article examines how psychiatrists from two German university clinics managed the multiple uncertainties involved in diagnosing cases of early psychosis between 1950 and 1980. Based on the analysis of a sample of records, we propose a pragmatic interpretation of the ways in which these uncertainties were recorded by psychiatrists. How were uncertainties and doubts expressed in the records and managed by clinicians? What means were used to dispel doubt? What were the consequences for patients of these diagnostic uncertainties? The article defines an uncertainty diagnosis as a diagnosis expressed with reservations by its author and recorded as such in a medical file. Depending on the nature of the uncertainty, the types of evidence used by the professionals and how this evidence was dealt with, we have identified three types of uncertainty diagnoses: suspicion, plausibility and probability diagnoses. The article then reflects on the role of the patients themselves in shaping these uncertain situations. (shrink)

Nicola Lacey presents a new approach to the question of the moral justification of punishment by the State. She focuses on the theory of punishments in context of other political questions, such as the nature of political obligation and the function and scope of criminal law. Arguing that no convincing set of justifying reasons has so far been produced, she puts forward a theory of punishments which places the values of the community at its centre.

In order to describe the logic of morality, "contractualist" philosophers have studied how individuals behave when they choose to follow their moral intuitions. These individuals, contractualists note, often act as if they have bargained and thus reached an agreement with others about how to distribute the benefits and burdens of mutual cooperation. Using this observation, such philosophers argue that the purpose of morality is to maximize the benefits of human interaction. The resulting "contract" analogy is both insightful and puzzling. On (...) one hand, it captures the pattern of moral intuitions, thus answering questions about human cooperation: why do humans cooperate? Why should the distribution of benefits be proportionate to each person's contribution? Why should the punishment be proportionate to the crime? Why should the rights be proportionate to the duties? On the other hand, the analogy provides a mere as-if explanation for human cooperation, saying that cooperation is "as if" people have passed a contract-but since they didn't, why should it be so? To evolutionary thinkers, the puzzle of the missing contract is immediately reminiscent of the puzzle of the missing "designer" of life-forms, a puzzle that Darwin's theory of natural selection essentially resolved. Evolutionary and contractualist theory originally intersected at the work of philosophers John Rawls and David Gauthier, who argued that moral judgments are based on a sense of fairness that has been naturally selected. In this book, Nicolas Baumard further explores the theory that morality was originally an adaptation to the biological market of cooperation, an arena in which individuals competed to be selected for cooperative interactions. In this environment, Baumard suggests, the best strategy was to treat others with impartiality and to share the costs and benefits of cooperation in a fair way, so that those who offered less than others were left out of cooperation while those who offered more were exploited by their partners. It is with this evolutionary approach that Baumard ultimately accounts for the specific structure of human morality. (shrink)

PREFACEProf. Göran Sundholm of Leiden University inspired the group of Logic at Lille and Valparaíso to start a fundamental review of the dialogical conception of logic by linking it to constructive type logic. One of Sundholm's insights was that inference can be seen as involving an implicit interlocutor. This led to several investigations aimed at exploring the consequences of joining winning strategies to the proof-theoretical conception of meaning. The leading idea is, roughly, that while introduction rules lay down the conditions (...) under which a winning strategy for the Proponent may be built, the elimination rules lay down those elements of the Opponent's assertions that the Proponent has the right to use for building winning strategy. It is the pragmatic and ethical features of obligations and rights that naturally lead to the dialogical interpretation of natural deduction.During the Visiting Professorship of Prof. Sundholm at Lille in (2012) the group of Lille started delving into the ways of implementing Per Martin-Löf's Constructive Type Theory with the dialogical perspective. In particular, Aarne Ranta's (1988) paper, the first publication on the subject, was read and discussed during Sundholm’s seminar. The discussions strongly suggested that the game-theoretical conception of quantifiers as deploying interdependent moves provide a natural link between CTT and dialogical logic. This idea triggered several publications by the group of Lille in collaboration with Nicolas Clerbout and Juan Redmond at the University of Valparaíso, including the publication of the book (2015) by Clerbout / Rahman that provides a systematic development of this way of linking CTT and the dialogical conception of logic. However the Clerbout / Rahman book was written from the CTT perspective on dialogical logic, rather than the other way round. The present book should provide the perspective from the other side of the dialogue between the Dialogical Framework and Constructive Type Theory. The main idea of our present study is that Sundholm's (1997) notion of epistemic assumption is closely linked to the Copy-Cat Rule or Socratic Rule that distinguishes the dialogical framework from other game-theoretical approaches. One way to read the present book is as a further development of Sundholm’s extension of Austin's (1946, p. 171) remark on acts of assertion to inference. Indeed, Sundholm (2013, p. 17) gave the following forceful formulation: When I say therefore, I give others my authority for asserting the conclusion, given theirs for asserting the premisses.Per Martin-Löf, in recent lectures, have utilized the dialogical perspective on epistemic assumptions to get out of a certain circle that threatens the explanation of the notions of inference and demonstration. A demonstration may be explained as a chain of (immediate) inferences starting from no premisses. That an inference J1... Jn—————Jis valid means that the conclusion J can be made evident on the assumption that J1, …, Jn are known. The notion of epistemic assumption thus enters in the explanation of valid inference. We cannot, however, in this explanation understand 'known' in the sense of demonstrated, for then we are explaining the notion of inference in terms of demonstration, whereas demonstration has been explained in terms of inference. Martin-Löf suggests that we here understand 'known' in the sense of asserted, so that epistemic assumptions are judgements others have made, judgements for which others have taken the responsibility; that the inference is valid then means that, given that others have taken responsbility for the premisses, I can take responsibility for the conclusion:The circularity problem is this: if you define a demonstration to be a chain of immediate inferences, then you are defining demonstration in terms of inference. Now we are considering an immediate inference and we are trying to give a proper explanation of that; but, if that begins by saying: Assume that J1, …, Jn have been demonstrated – then you are clearly in trouble, because you are about to explain demonstration in terms of the notion of immediate inference, hence when you are giving an account of the notion of immediate inference, the notion of demonstration is not yet at your disposal. So, to say: Assume that J1, …, Jn have already been demonstrated, makes you accusable of trying to explain things in a circle. The solution to this circularity problem, it seems to me now, comes naturally out of this dialogical analysis. […]The solution is that the premisses here should not be assumed to be known in the qualified sense, that is, to be demonstrated, but we should simply assume that they have been asserted, which is to say that others have taken responsibility for them, and then the question for me is whether I can take responsibility for the conclusion. So, the assumption is merely that they have been asserted, not that they have been demonstrated. That seems to me to be the appropriate definition of epistemic assumption in Sundholm's sense. One of the main tenets of the present study is that the further move of relating the Socratic Rule rule with judgemental equality provides both a simpler and more direct way to implement the constructive type theoretical approach within the dialogical framework. Such a reconsideration of the Socratic Rule, roughly speaking, amounts to the following. 1.A move from P that brings-forward a play-object in order to defend an elementary proposition A can be challenged by O. 2.The answer to such a challenge, involves P bringing forward a definitional equality that expresses the fact that the play-object chosen by P copies the one O has chosen while positing A. For short, the equality expresses at the object-languaje level that the defence of P relies on the authority given to O to be able to produce the play-objects she brings forward. More generally, according to this view, a definitional equality established by P and brought forward while defending the proposition A, expresses the equality between a play-object (introduced by O) and the instruction for building a play-object deployed by O while affirming A. So it can be read as a computation rule that indicates how to compute O's instructions. Let us recall that from the strategic point of view, O's moves correspond to elimination rules of demonstrations. Thus, the dialogical rules that prescribe how to introduce a definitional equality – correspond – at the strategic level – to the definitional equality rules for CTT as applied to the selector-functions involved in the elimination rules. So, what we are doing here is extending the dialogical interpretation of Sundholm's epistemic assumption to the rules that set up the definitional equality of a type.The present work is structured in the following way:•In the Introduction we state the main tenets that guide our book•Chapter II contains a brief overview of Constructive Type Theory penned by Ansten Klev with exercises and their solutions. •Chapter III offers a novel presentation of the dialogical conception of logic. In fact, the first two sections of the chapter provide an overview of standard dialogical logic – including solved exercises, slightly adapted to the content of the present volume. The rest of the sections develop a new dialogical approach to Constructive Type Theory. •Chapters IV and V contain the main body of our study, namely the relation between the Socratic Rule, epistemic assumptions, and equality. The chapter provides the reader with thoroughly worked out examples with comments. •After the Final Remarks the book containsa.An appendix containing a an overview of all the rules for the new formulation of dialogical approach to constructive type theory developed in the book; b.a brief outline of Per Martin-Löf's informal presentation of the demonstration of the axiom of choice.c.two examples of a tree-shaped graph of an extensive strategy. Acknowledgments: Many thanks to Mark van Atten (Paris1), Giuliano Bacigalupo (Zürich), Charles Zacharie Bowao (Univ. Ma Ngouabi de Brazzaville, Congo), Christian Berner (Lille3), Michel Crubellier (Lille3), Pierre Cardascia (Lille3), Oumar Dia (Dakar), Marcel Nguimbi ((Univ. Marien Ngouabi de Brazzaville, Congo), Adjoua Bernadette Dango (Lille3 / Alassane Ouattara de Bouaké, Côte d'Ivoire), Steephen Rossy Eckoubili (Lille3), Johan Georg Granström (Zürich), Gerhard Heinzmann (Nancy2), Muhammad Iqbal (Lille3), Matthieu Fontaine (Lille3), Radmila Jovanovic (Belgrad), Hanna Karpenko (Lille3), Laurent Keiff (Lille3), Sébastien Magnier (Saint Dennis, Réunion), Clément Lion (Lille3), Gildas Nzokou (Libreville), Fachrur Rozie (Lille3), Helge Rückert (Mannheim), Mohammad Shafiei (Paris1), and Hassan Tahiri (Lisbon), for rich interchanges, suggestions on the main claims of the present study and proof-reading of specific sections of the text. Special thanks to Gildas Nzokou (Libreville), Steephen Rossy Eckoubili (Lille3) and Clément Lion (Lille3), with whom a Pre-Graduate Textbook in French on dialogical logic and CTT is in the process of being worked out – during the visiting-professorship in 2016 of the former. Eckoubili is the author of the sections on exercises for dialogical logic, Nzokou cared of those involving the development of CTT-demonstrations out of winning-strategies. Special thanks also to Ansten Klev (Prague) for helping with technical details and conceptual issues on CTT, particularly so as author of the chapter introducing CTT. (shrink)

Moral and legal philosophy are too entangled: moral philosophy is prone to model interpersonal moral relationships on a juridical image, and legal philosophy often proceeds as if the criminal law is an institutional reflection of juridically imagined interpersonal moral relationships. This article challenges this alignment and in so doing argues that the function of the criminal law lies not fundamentally in moral blame, but in regulation of harmful conduct. The upshot is that, in contrast to interpersonal relationships, the criminal law (...) cannot lose its standing to blame through institutional analogues of hypocrisy, complicity, and meddling. Rather, certain forms of structural and severe historical and contemporary injustice point to the question of the overall legitimacy of state authority. (shrink)

What makes someone responsible for a crime and therefore liable to punishment under the criminal law? Modern lawyers will quickly and easily point to the criminal law's requirement of concurrent actus reus and mens rea, doctrines of the criminal law which ensure that someone will only be found criminally responsible if they have committed criminal conduct while possessing capacities of understanding, awareness, and self-control at the time of offense. Any notion of criminal responsibility based on the character of the offender, (...) meaning an implication of criminality based on reputation or the assumed disposition of the person, would seem to today's criminal lawyer a relic of the 18th Century. In this volume, Nicola Lacey demonstrates that the practice of character-based patterns of attribution was not laid to rest in 18th Century criminal law, but is alive and well in contemporary English criminal responsibility-attribution. Building upon the analysis of criminal responsibility in her previous book, Women, Crime, and Character, Lacey investigates the changing nature of criminal responsibility in English law from the mid-18th Century to the early 21st Century. Through a combined philosophical, historical, and socio-legal approach, this volume evidences how the theory behind criminal responsibility has shifted over time. The character and outcome responsibility which dominated criminal law in the 18th Century diminished in ideological importance in the following two centuries, when the idea of responsibility as founded in capacity was gradually established as the core of criminal law. Lacey traces the historical trajectory of responsibility into the 21st Century, arguing that ideas of character responsibility and the discourse of responsibility as founded in risk are enjoying a renaissance in the modern criminal law. These ideas of criminal responsibility are explored through an examination of the institutions through which they are produced, interpreted and executed; the interests which have shaped both doctrines and institutions; and the substantive social functions which criminal law and punishment have been expected to perform at different points in history. (shrink)