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)

Traditionally, the field of science and technology studies (STS) considered the scientific laboratory as the central site of knowledge production and technological development. While providing rich analyses of the social construction of scientific knowledge and the role of non-human actors, STS scholars have often neglected the university – the very context in which laboratories themselves are embedded – as a relevant object of research. In this paper, we argue for re-introducing the university as a relevant category and object of analysis (...) by using the notion of epistemic virtues to link epistemic culture – traditionally the focus of STS – and epistemic structure – traditionally the focus of higher education studies. Advancing this line of argumentation, we make three analytical moves. First, we explore academic freedom as a specific version of negative liberty that extends beyond disciplinary boundaries. We suggest that academics continuously negotiate academic freedom considering culturally and socially situated epistemic virtues such as objectivity and neutrality. Second, we introduce the notion of humility to revisit scientific knowledge production more generally and academic freedom in particular. Finally, we argue that practicing humility leads to enacting the university as an infrastructure of becoming otherwise, thereby enriching our understanding of universities as distinct and highly complex social spaces with a logic of their own. (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)

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 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)

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)

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)

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)

In this work we propose a labelled tableau method for Łukasiewicz infinite-valued logic Lω. The method is based on the Kripke semantics of this logic developed by Urquhart [25] and Scott [24]. On the one hand, our method falls under the general paradigm of labelled deduction [8] and it is rather close to the tableau systems for sub-structural logics proposed in [4]. On the other hand, it provides a CoNP decision procedure for Lω validity by reducing the check of branch (...) closure to linear programming. (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)

Las ideas filosóficas del ámbito de la actividad física suelen estar sustentadas en concepciones que trascienden la propia disciplina de estudio aludida, de modo que es importante estudiarlas en profundidad. Este ensayo tiene por objetivo comprender la interpretación de los términos movimiento humano y motricidad humana desde la mirada de tres corrientes filosóficas que han sido utilizadas por referentes de la actividad física, el deporte y la Educación Física. La primera corriente filosófica analizada es la de corte idealista, que entiende (...) el movimiento humano como un acto esencialmente mecánico y biológico. La segunda perspectiva filosófica es la materialista, que entiende el movimiento humano como una manifestación de la motricidad, la cual sería inmanente a la esencia del ser humano. Es decir, estaría dotada de intencionalidad. La tercera corriente sería una mirada ecléctica de las dos anteriores, asemejando el concepto de movimiento humano con el de las contemporáneas interpretaciones de motricidad. En otras palabras, el movimiento humano sería parte de la potencia y el acto. Se concluye que, según diferentes perspectivas filosóficas, es posible utilizar el concepto de movimiento y/o motricidad para trascender la mirada idealista o moderna del movimiento humano. (shrink)

In this work we propose a labelled tableau method for ukasiewicz infinite-valued logic L . The method is based on the Kripke semantics of this logic developed by Urquhart [25] and Scott [24]. On the one hand, our method falls under the general paradigm of labelled deduction [8] and it is rather close to the tableau systems for sub-structural logics proposed in [4]. On the other hand, it provides a CoNP decision procedure for L validity by reducing the check of (...) branch closure to linear programming. (shrink)

Imagine that your body has become attached, without your permission, to that of a sick violinist. The violinist is a human being. He will die if you detach him. Such detachment seems, nonetheless, to be morally permissible. Thomson argues that an unwantedly pregnant woman is in an analogous situation. Her argument is considered by many to have established the moral permissibility of abortion even under the assumption that the foetus is a human being. Another popular argument is that presented by (...) Singer and Unger to the effect that even those who are moderately prosperous are morally obliged to help the poor if they can do so at relatively small cost to themselves. The paper (published under the pseudonym 'Nicola Bourbaki') considers the question whether these two arguments can be simultaneously valid. (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)

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.

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)

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)

Fieldwork is a project in which, according to Rose (1997, p. 316), researcher, researched and research make each other, yet far more attention has been given to the making of the research and researcher than to the researched. Focusing on three aspects of the research process (the researcher's presence in the field, the research topic and the choice of methods), this paper uses examples from the author's own fieldwork to debate whether it is possible to shape fieldwork such that the (...) knowledges created and consumed in the field by the researched serve to destabilise dominant discourses of race, gender and age. (shrink)

Fieldwork is a project in which, according to Rose (1997, p. 316), researcher, researched and research make each other, yet far more attention has been given to the making of the research and researcher than to the researched. Focusing on three aspects of the research process (the researcher's presence in the field, the research topic and the choice of methods), this paper uses examples from the author's own fieldwork to debate whether it is possible to shape fieldwork such that the (...) knowledges created and consumed in the field by the researched serve to destabilise dominant discourses of race, gender and age. (shrink)

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)

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.”.

Research seeking a scientific foundation for the theory of art appreciation has raised controversies at the intersection of the social and cognitive sciences. Though equally relevant to a scientific inquiry into art appreciation, psychological and historical approaches to art developed independently and lack a common core of theoretical principles. Historicists argue that psychological and brain sciences ignore the fact that artworks are artifacts produced and appreciated in the context of unique historical situations and artistic intentions. After revealing flaws in the (...) psychological approach, we introduce a psycho-historical framework for the science of art appreciation. This framework demonstrates that a science of art appreciation must investigate how appreciators process causal and historical information to classify and explain their psychological responses to art. Expanding on research about the cognition of artifacts, we identify three modes of appreciation: basic exposure to an artwork, the artistic design stance, and artistic understanding. The artistic design stance, a requisite for artistic understanding, is an attitude whereby appreciators develop their sensitivity to art-historical contexts by means of inquiries into the making, authorship, and functions of artworks. We defend and illustrate the psycho-historical framework with an analysis of existing studies on art appreciation in empirical aesthetics. Finally, we argue that the fluency theory of aesthetic pleasure can be amended to meet the requirements of the framework. We conclude that scientists can tackle fundamental questions about the nature and appreciation of art within the psycho-historical framework. (shrink)

A situated agent is one which operates within an environment. In most cases, the environment in which the agent exists will be more complex than the agent itself. This means that an agent, human or artificial, which wishes to carry out non-trivial operations in its environment must use techniques which allow an unbounded world to be represented within a cognitively bounded agent. We present a brief description of some important theories within the fields of epistemology and metaphysics. We then discuss (...) ways in which philosophical problems of scepticism are related to the problems faced by knowledge representation. We suggest that some of the methods that philosophers have developed to address the problems of epistemology may be relevant to the problems of representing knowledge within artificial agents. (shrink)

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)

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.

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)

In recent years, the question of whether prospective parents might have a moral obligation to select against disability in their offspring has piqued the attention of many prominent philosophers and bioethicists, and a large literature has emerged surrounding this question. Rather than looking to the most common arguments given in support of a positive response to the abovementioned question, such as those focusing on the harms disability may impose on the child created, duties and role-specific obligations, and impersonal ‘harms’, a (...) less commonly made set of arguments is focused upon which looks to the harms that a decision not to select against disability may impose on others. Three different possible arguments supporting a limited duty of disability avoidance are thus identified and subsequently explored: harms to parents themselves, harms to existing family members, and harms to other existing members of society. (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)