While Thomas Kuhn's theory of scientific revolutions does not specifically deal with validation, the validation of simulations can be related in various ways to Kuhn's theory: 1) Computer simulations are sometimes depicted as located between experiments and theoretical reasoning, thus potentially blurring the line between theory and empirical research. Does this require a new kind of research logic that is different from the classical paradigm which clearly distinguishes between theory and empirical observation? I argue that this is not (...) the case. 2) Another typical feature of computer simulations is their being ``motley'' (Winsberg 2003) with respect to the various premises that enter into simulations. A possible consequence is that in case of failure it can become difficult to tell which of the premises is to blame. Could this issue be understood as fostering Kuhn's mild relativism with respect to theory choice? I argue that there is no need to worry about relativism with respect to computer simulations, in particular. 3) The field of social simulations, in particular, still lacks a common understanding concerning the requirements of empirical validation of simulations. Does this mean that social simulations are still in a pre-scientific state in the sense of Kuhn? My conclusion is that despite ongoing efforts to promote quality standards in this field, lack of proper validation is still a problem of many published simulation studies and that, at least large parts of social simulations must be considered as pre-scientific. (shrink)

We report on an exploratory study of the way eight mid-level undergraduate mathematics majors read and reflected on four student-generated arguments purported to be proofs of a single theorem. The results suggest that mid-level undergraduates tend to focus on surface features of such arguments and that their ability to determine whether arguments are proofs is very limited -- perhaps more so than either they or their instructors recognize. We begin by discussing arguments (purported proofs) regarded as texts and validations of (...) those arguments, i.e., reflections of individuals checking whether such arguments really are proofs of theorems. We relate the way the mathematics research community views proofs and their validations to ideas from reading comprehension and literary theory. We then give a detailed analysis of the four student-generated arguments and finally analyze the eight students' validations of them. (shrink)

In Kant’s Critique of Pure Reason and the Method of Metaphysics (CUP 2023), I argue that the first Critique is not only a ‘propaedeutic’ to metaphysics, but actually already establishes parts of metaphysics. These parts belong to what Kant calls transcendental philosophy. Additionally, I also provide an account of Kant’s critique of dogmatism and Wolff as its main defender. In this paper, I take up Luigi Filieri’s and Davide Dalla Rosa’s invitation to further develop my characterization of transcendental philosophy (...) and I respond to Michael Walschots’s objections against my interpretation of Kant’s critique of Wolff’s dogmatism. (shrink)

We evaluated the reliability, validity, and differential item functioning (DIF) of a shorter version of the Defining Issues Test-1 (DIT-1), the behavioral DIT (bDIT), measuring the development of moral reasoning. 353 college students (81 males, 271 females, 1 not reported; age M = 18.64 years, SD = 1.20 years) who were taking introductory psychology classes at a public University in a suburb area in the Southern United States participated in the present study. First, we examined the reliability of the bDIT (...) using Cronbach’s α and its concurrent validity with the original DIT-1 using disattenuated correlation. Second, we compared the test duration between the two measures. Third, we tested the DIF of each question between males and females. Findings reported that first, the bDIT showed acceptable reliability and good concurrent validity. Second, the test duration could be significantly shortened by employing the bDIT. Third, DIF results indicated that the bDIT items did not favour any gender. Practical implications of the present study based on the reported findings are discussed. (shrink)

This paper discusses some key connexive principles construed as principles about reasons, that is, as principles that express logical properties of sentences of the form ‘_p_ is a reason for _q_’. Its main goal is to show how the theory of reasons outlined by Crupi and Iacona, which is based on their evidential account of conditionals, yields a formal treatment of such sentences that validates a restricted version of the principles discussed, overcoming some limitations that affect most extant accounts (...) of conditionals. (shrink)

This article examines the operation of “reasonable steps” as a statutory standard for analysis of the availability of the defence of belief in consent in sexual assault cases and concludes that application of section 273.2(b) of the Criminal Code, as presently worded, often undermines the legal validity and correctness of decisions about whether the accused acted with mens rea, a guilty, blameworthy state of mind. When the conduct of an accused who is alleged to have made a mistake about whether (...) a complainant communicated consent is assessed by the hybrid subjective-objective reasonableness standard prescribed by s. 273.2, many decision-makers rely on extra-legal criteria and assumptions grounded on their personal experience and opinion about what is reasonable. In the midst of debate over what the accused knew and what steps were “reasonable” given what the accused knew, the legal definition of consent in section 273.1 is easily over-looked and decision-makers focus on facts that are legally irrelevant and prejudice rational deliberation. -/- That is precisely what we see here; the result is often failure to enforce the law. The author proposes: -/- (a) that section 273.2 be amended to reflect the significant developments achieved in sexual consent jurisprudence since enactment of the provision in 1992; and -/- (b) that, in the interim, the judiciary act with resolve to make full and proper use of the statutory and common law tools that are presently available to determine whether the accused acted with mens rea in relation to the absence of sexual consent. (shrink)

In Squaring the Circle in Descartes’ Meditations, Stephen Wagner aims to show that Descartes’ project in the Meditations is best understood as a ‘strong validation of reason’ i.e., as proving in a non-circular way that human reason is a reliable, truth-conducive faculty. For such an enterprise to qualify as a ‘strong’ validation, Wagner contends, skeptical doubt must be given its strongest force. The most stringent doubt available in the Meditations is the deceiving God. To rule out (...) the possibility that an omnipotent God created humans so that their best functioning cognitive faculties provide misleading information about what the world is like, Descartes must prove that a non-deceiving God exists. Furthermore, only a non-circular proof will count as a ‘validation.’ Wagner spells out the requirements of non-circularity as involving a proof for God’s existence that is not deductive, does not simply achieve a clear and distinct perception of God’s existence, and proceeds on the basis of perceptions that remain true even when the reasons underlying them are not attended to any longer by the meditator. (shrink)

This essay examines one of the most obscure and controversial tenets of Kant’s critical philosophy, his claim in the Critique of Practical Reason that the moral law is immediately and unquestionably valid as an a priori fact of reason (Factum der Vernunft). This argument curiously inverts Kant’s earlier stance in the Groundwork of the Metaphysics of Morals, in which he justifies the reality of the categorical imperative through a much more cautious and qualified authentication of transcendental freedom. Against (...) constructivist readings which tend to downplay the justificatory burden of the Factum, I claim that Kant’s position is best understood as a transcendental argument. In other words, he argues from a given or assured conditioned, consciousness of binding moral obligation, to the sole condition of its possibility in transcendental freedom. In order to rebut the standard objections prompted by this line of interpretation, I emphasize the technical function of Kant’s Factum as both a deed (Tat) and product (Tatsache) of practical reason. (shrink)

What accounts for how we know that certain rules of reasoning, such as reasoning by Modus Ponens, are valid? If our knowledge of validity must be based on some reasoning, then we seem to be committed to the legitimacy of rule-circular arguments for validity. This paper raises a new difficulty for the rule-circular account of our knowledge of validity. The source of the problem is that, contrary to traditional wisdom, a universal generalization cannot be inferred just on the basis of (...) reasoning about an arbitrary object. I argue in favor of a more sophisticated constraint on reasoning by universal generalization, one which undermines a rule-circular account of our knowledge of validity. (shrink)

Neuroscience has studied deductive reasoning over the last 20 years under the assumption that deductive inferences are not only de jure but also de facto distinct from other forms of inference. The objective of this research is to verify if logically valid deductions leave any cerebral electrical trait that is distinct from the trait left by non-valid deductions. 23 subjects with an average age of 20.35 years were registered with MEG and placed into a two conditions paradigm (100 trials for (...) each condition) which each presented the exact same relational complexity (same variables and content) but had distinct logical complexity. Both conditions show the same electromagnetic components (P3, N4) in the early temporal window (250–525 ms) and P6 in the late temporal window (500–775 ms). The significant activity in both valid and invalid conditions is found in sensors from medial prefrontal regions, probably corresponding to the ACC or to the medial prefrontal cortex. The amplitude and intensity of valid deductions is significantly lower in both temporal windows (p = 0.0003). The reaction time was 54.37% slower in the valid condition. Validity leaves a minimal but measurable hypoactive electrical trait in brain processing. The minor electrical demand is attributable to the recursive and automatable character of valid deductions, suggesting a physical indicator of computational deductive properties. It is hypothesized that all valid deductions are recursive and hypoactive. (shrink)

PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...) all booksellers, including Barnes & Noble, Amazon, and brick-and-mortar bookstores under ISBN 978-0-578-88646-6. ●●●●● In light of the length of this book, readers who would like to have a more detailed description of the book's objectives and method may find it helpful to read the detailed and clearly written Wikipedia entry about this work: From the Wikipedia search page, use the search phrase "Critique of Impure Reason". At least at the time of this writing (11/29/2021), the Wikipedia entry is well-researched and accurate. ●●●●● In addition, a "Primer on Bartlett's CRITIQUE OF IMPURE REASON" has been made available by the author. It is available under its title through PhilPapers and other philosophy online archives. ●●●●● COMMENDATIONS OF THIS WORK, from the back cover of the published edition: ●●●●● “I admire its range of philosophical vision.” – Nicholas Rescher, Distinguished University Professor of Philosophy, University of Pittsburgh, author of more than 100 books. ●●●●● “Bartlett’s _Critique of Impure Reason_ is an impressive, bold, and ambitious work. Careful scholarship is balanced by original analyses that lead the reader to recognize the limits of meaning, knowledge, and conceptual possibility. The work addresses a host of traditional philosophical problems, among them the nature of space, time, causality, consciousness, the self, other minds, ontology, free will and determinism, and others. The book culminates in a fascinating and profound new understanding of relativity physics and quantum theory.” – Gerhard Preyer, Professor of Philosophy, Goethe-University, Frankfurt am Main, Germany, author of many books including _Concepts of Meaning_, _Beyond Semantics and Pragmatics_, _Intention and Practical Thought_, and _Contextualism in Philosophy_. ●●●●● “[This work’s] goal is of a unique and difficult species: Dr. Bartlett seeks to develop a formal logical calculus on the basis of transcendental philosophical arguments; in fact, he hopes that this calculus will be the formal expression of the transcendental foundation of knowledge.... I consider Dr. Bartlett’s work soundly conceived and executed with great skill.” – C. F. von Weizsäcker, philosopher and physicist, former Director, Max-Planck-Institute, Starnberg, Germany. ●●●●● “Bartlett has written an American “Prolegomena to All Future Metaphysics.” He aims rigorously to eliminate meaningless assertions, reach bedrock, and place philosophy on a firm foundation that will enable it, like science and mathematics, to produce lasting results that generations to come can build on. This is a great book, the fruit of a lifetime of research and reflection, and it deserves serious attention.” — Martin X. Moleski, former Professor, Canisius College, Buffalo, NY, studies of scientific method, the presuppositions of thought, and the self-referential nature of epistemology. ●●●●● “Bartlett has written a book on what might be called the underpinnings of philosophy. It has fascinating depth and breadth, and is all the more striking due to its unifying perspective based on the concepts of reference and self-reference.” – Don Perlis, Professor of Computer Science, University of Maryland, author of numerous publications on self-adjusting autonomous systems and philosophical issues concerning self-reference, mind, and consciousness. ●●●●● ●●●●● The _Critique of Impure Reason: Horizons of Possibility and Meaning_ comprises a major and important contribution to philosophy. Thanks to the generosity of its publisher, this massive 885-page volume has been published as a free open access eBook (3.75MB) as well as an open access printed edition. It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. The book includes a Foreword by the celebrated German philosopher and physicist Carl Friedrich von Weizsäcker. ●●●●● In Kant’s _Critique of Pure Reason_ we find an analysis of the preconditions of experience and of knowledge. In contrast, but yet in parallel, the new _Critique_ focuses upon the ways—unfortunately very widespread and often unselfconsciously habitual—in which many of the concepts that we employ _conflict_ with the very preconditions of meaning and of knowledge. ●●●●● This is a book about the boundaries of frameworks and about the unrecognized conceptual confusions in which we become entangled when we attempt to transgress beyond the limits of the possible and meaningful. We tend either not to recognize or not to accept that we all-too-often attempt to trespass beyond the boundaries of the frameworks that make knowledge possible and the world meaningful. ●●●●● The _Critique of Impure Reason_ proposes a bold, ground-breaking, and startling thesis: that a great many of the major philosophical problems of the past can be solved through the recognition of a viciously deceptive form of thinking to which philosophers as well as non-philosophers commonly fall victim. For the first time, the book advances and justifies the criticism that a substantial number of the questions that have occupied philosophers fall into the category of “impure reason,” violating the very conditions of their possible meaningfulness. ●●●●● The purpose of the study is twofold: first, to enable us to recognize the boundaries of what is referentially forbidden—the limits beyond which reference becomes meaningless—and second, to avoid falling victims to a certain broad class of conceptual confusions that lie at the heart of many major philosophical problems. As a consequence, the boundaries of _possible meaning_ are determined. ●●●●● Bartlett, the author or editor of more than 20 books, is responsible for identifying this widespread and delusion-inducing variety of error, _metalogical projection_. It is a previously unrecognized and insidious form of erroneous thinking that undermines its own possibility of meaning. It comes about as a result of the pervasive human compulsion to seek to transcend the limits of possible reference and meaning. ●●●●● Based on original research and rigorous analysis combined with extensive scholarship, the _Critique of Impure Reason_ develops a self-validating method that makes it possible to recognize, correct, and eliminate this major and pervasive form of fallacious thinking. In so doing, the book provides at last provable and constructive solutions to a wide range of major philosophical problems. ●●●●● CONTENTS AT A GLANCE ▪▪▪▪▪ Preface ▪▪▪▪▪ Foreword by Carl Friedrich von Weizsäcker ▪▪▪▪▪ Acknowledgments ▪▪▪▪▪ Avant-propos: A philosopher’s rallying call ▪▪▪▪▪ Introduction ▪▪▪▪▪ A note to the reader ▪▪▪▪▪ A note on conventions ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART I ▪▪▪▪▪ ▪▪▪▪▪ WHY PHILOSOPHY HAS MADE NO PROGRESS AND HOW IT CAN ▪▪▪▪▪ 1 Philosophical-psychological prelude ▪▪▪▪▪ 2 Putting belief in its place: Its psychology and a needed polemic ▪▪▪▪▪ 3 Turning away from the linguistic turn: From theory of reference to metalogic of reference ▪▪▪▪▪ 4 The stepladder to maximum theoretical generality ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART II ▪▪▪▪▪ THE METALOGIC OF REFERENCE ▪▪▪▪▪ A New Approach to Deductive, Transcendental Philosophy ▪▪▪▪▪ 5 Reference, identity, and identification ▪▪▪▪▪ 6 Self-referential argument and the metalogic of reference ▪▪▪▪▪ 7 Possibility theory ▪▪▪▪▪ 8 Presupposition logic, reference, and identification ▪▪▪▪▪ 9 Transcendental argumentation and the metalogic of reference ▪▪▪▪▪ 10 Framework relativity ▪▪▪▪▪ 11 The metalogic of meaning ▪▪▪▪▪ 12 The problem of putative meaning and the logic of meaninglessness ▪▪▪▪▪ 13 Projection ▪▪▪▪▪ 14 Horizons ▪▪▪▪▪ 15 De-projection ▪▪▪▪▪ 16 Self-validation ▪▪▪▪▪ 17 Rationality: Rules of admissibility ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART III ▪▪▪▪▪ PHILOSOPHICAL APPLICATIONS OF THE METALOGIC OF REFERENCE ▪▪▪▪▪ Major Problems and Questions of Philosophy and the Philosophy of Science ▪▪▪▪▪ 18 Ontology and the metalogic of reference ▪▪▪▪▪ 19 Discovery or invention in general problem-solving, mathematics, and physics ▪▪▪▪▪ 20 The conceptually unreachable: “The far side” ▪▪▪▪▪ 21 The projections of the external world, things-in-themselves, other minds, realism, and idealism ▪▪▪▪▪ 22 The projections of time, space, and space-time ▪▪▪▪▪ 23 The projections of causality, determinism, and free will ▪▪▪▪▪ 24 Projections of the self and of solipsism ▪▪▪▪▪ 25 Non-relational, agentless reference and referential fields ▪▪▪▪▪ 26 Relativity physics as seen through the lens of the metalogic of reference ▪▪▪▪▪ 27 Quantum theory as seen through the lens of the metalogic of reference ▪▪▪▪▪ 28 Epistemological lessons learned from and applicable to relativity physics and quantum theory ▪▪▪▪▪ ▪▪▪▪▪ PART IV ▪▪▪▪▪ HORIZONS ▪▪▪▪▪ 29 Beyond belief ▪▪▪▪▪ 30 _Critique of Impure Reason_: Its results in retrospect ▪▪▪▪▪ ▪▪▪▪▪ SUPPLEMENT ▪▪▪▪▪ The Formal Structure of the Metalogic of Reference ▪▪▪▪▪ APPENDIX I ▪▪▪▪▪ The Concept of Horizon in the Work of Other Philosophers ▪▪▪▪▪ APPENDIX II ▪▪▪▪▪ Epistemological Intelligence ▪▪▪▪▪ References ▪▪▪▪▪ Index ▪▪▪▪▪ About the author. (shrink)

In this paper I develop an account of petitio principii (the fallacy sometimes also called ‘vicious circularity’, or ‘begging the question’) which has two crucial features: it employs the notion of doxastic justification, and it takes circularity to be relative to an evidential state. According to my account, an argument will be circular relative to an evidential state if and only if having doxastic justification for the conclusion is necessary, for a subject in that evidential state, to have doxastic justification (...) for the premisses. I compare the account to some existing ones, and claim some advantages. I then rebut an objection which threatens to undermine the importance of one of those advantages. This account seems to shed new light on the old problem of characterizing petitio principii. It avoids the two obvious problems which any account of this phenomenon must face: being too narrow, for example by leaving out all arguments in which the conclusion does not appear among the premisses, and being too wide, making all valid arguments circular. (shrink)

The terms ‘verification’ and ‘validation’ are widely used in science, both in the natural and the social sciences. They are extensively used in simulation, often associated with the need to evaluate models in different stages of the simulation development process. Frequently, terminological ambiguities arise when researchers conflate, along the simulation development process, the technical meanings of both terms with other meanings found in the philosophy of science and the social sciences. This article considers the problem of verification and (...) class='Hi'>validation in social science simulation along five perspectives: The reasons to address terminological issues in simulation; the meaning of the terms in the philosophical sense of the problem of “truth”; the observation that some debates about these terms in simulation are inadvertently more terminological than epistemological; the meaning of the terms in the technical context of the simulation development process; and finally, a comprehensive outline of the relation between terminology used in simulation, different types of models used in the development process and different epistemological perspectives. (shrink)

I explore, from a proof-theoretic perspective, the hierarchy of classical and paraconsistent logics introduced by Barrio, Pailos and Szmuc in (Journal o f Philosophical Logic,49, 93-120, 2021). First, I provide sequent rules and axioms for all the logics in the hierarchy, for all inferential levels, and establish soundness and completeness results. Second, I show how to extend those systems with a corresponding hierarchy of validity predicates, each one of which is meant to capture “validity” at a different inferential level. Then, (...) I point out two potential philosophical implications of these results. (i) Since the logics in the hierarchy differ from one another on the rules, I argue that each such logic maintains its own distinct identity (contrary to arguments like the one given by Dicher and Paoli in 2019). (ii) Each validity predicate need not capture “validity” at more than one metainferential level. Hence, there are reasons to deny the thesis (put forward in Barrio, E., Rosenblatt, L. & Tajer, D. (Synthese, 2016)) that the validity predicate introduced in by Beall and Murzi in (Journal o f Philosophy,110(3), 143–165, 2013) has to express facts not only about what follows from what, but also about the metarules, etc. (shrink)

We offer a model of moral reform and regeneration that involves a wrong-doer making two movements: on the one hand, he identifies with himself as the one who did the act, while he also intentionally moves away from that self (or set of desires and intentions) and moves toward a transformed identity. We see this model at work in the formal practice of contrition and reform in Christian and Buddhist rites. This paper is part of a broader project we are (...) undertaking on the philosophy of forgiveness. (shrink)

A Mathematical Review by John Corcoran, SUNY/Buffalo -/- Macbeth, Danielle Diagrammatic reasoning in Frege's Begriffsschrift. Synthese 186 (2012), no. 1, 289–314. ABSTRACT This review begins with two quotations from the paper: its abstract and the first paragraph of the conclusion. The point of the quotations is to make clear by the “give-them-enough-rope” strategy how murky, incompetent, and badly written the paper is. I know I am asking a lot, but I have to ask you to read the quoted passages—aloud if (...) possible. Don’t miss the silly attempt to recycle Kant’s quip “Concepts without intuitions are empty; intuitions without concepts are blind”. What the paper was aiming at includes the absurdity: “Proofs without definitions are empty; definitions without proofs are, if not blind, then dumb.” But the author even bollixed this. The editor didn’t even notice. The copy-editor missed it. And the author’s proof-reading did not catch it. In order not to torment you I will quote the sentence as it appears: “In a slogan: proofs without definitions are empty, merely the aimless manipulation of signs according to rules; and definitions without proofs are, if no blind, then dumb.”[sic] The rest of my review discusses the paper’s astounding misattribution to contemporary logicians of the information-theoretic approach. This approach was cruelly trashed by Quine in his 1970 Philosophy of Logic, and thereafter ignored by every text I know of. The paper under review attributes generally to modern philosophers and logicians views that were never espoused by any of the prominent logicians—such as Hilbert, Gödel, Tarski, Church, and Quine—apparently in an attempt to distance them from Frege: the focus of the article. On page 310 we find the following paragraph. “In our logics it is assumed that inference potential is given by truth-conditions. Hence, we think, deduction can be nothing more than a matter of making explicit information that is already contained in one’s premises. If the deduction is valid then the information contained in the conclusion must be contained already in the premises; if that information is not contained already in the premises […], then the argument cannot be valid.” Although the paper is meticulous in citing supporting literature for less questionable points, no references are given for this. In fact, the view that deduction is the making explicit of information that is only implicit in premises has not been espoused by any standard symbolic logic books. It has only recently been articulated by a small number of philosophical logicians from a younger generation, for example, in the prize-winning essay by J. Sagüillo, Methodological practice and complementary concepts of logical consequence: Tarski’s model-theoretic consequence and Corcoran’s information-theoretic consequence, History and Philosophy of Logic, 30 (2009), pp. 21–48. The paper omits definitions of key terms including ‘ampliative’, ‘explicatory’, ‘inference potential’, ‘truth-condition’, and ‘information’. The definition of prime number on page 292 is as follows: “To say that a number is prime is to say that it is not divisible without remainder by another number”. This would make one be the only prime number. The paper being reviewed had the benefit of two anonymous referees who contributed “very helpful comments on an earlier draft”. Could these anonymous referees have read the paper? -/- J. Corcoran, U of Buffalo, SUNY -/- PS By the way, if anyone has a paper that has been turned down by other journals, any journal that would publish something like this might be worth trying. (shrink)

Summary Background Self-binding directives instruct clinicians to overrule treatment refusal during future severe episodes of illness. These directives are promoted as having potential to increase autonomy for individuals with severe episodic mental illness. Although lived experience is central to their creation, service users’ views on self-binding directives have not been investigated substantially. This study aimed to explore whether reasons for endorsement, ambivalence, or rejection given by service users with bipolar disorder can address concerns regarding self-binding directives, decision-making capacity, and human (...) rights. Methods This study used qualitative data from an internet-based survey distributed to the mailing list of the UK charity Bipolar UK, which contained multiple closed and open questions on advance decision-making in bipolar disorder. Quantitative analysis of a closed question about self-binding directives had already demonstrated endorsement amongst a very high proportion of participants with bipolar disorder who completed the survey. We conducted thematic analysis of responses from those participants who answered a subsequent open question about reasons for their view. Research was co-produced within a multi-disciplinary team, with clinical, legal, and ethical expertise, and lived experience of bipolar disorder. Ideas and methodologies associated with all these areas of expertise were used in the analysis of these reasons and to gain insight into the thoughts of individuals with bipolar disorder about self-binding directives and associated issues. Findings Between Oct 23 and Dec 5, 2017, 932 individuals with a self-reported clinical diagnosis of bipolar disorder completed the internet survey, with 565 (154 men; 400 women; 11 transgender or other) providing free text answers to the open question. A large majority of respondents endorsed self-binding directives, nearly all describing a determinate shift to types of distorted thinking and decision-making when unwell as their key justification. Responses indicating ambivalence were dominated by logistical concerns about the drafting and implementation of self-binding directives, while those who rejected self-binding directives also cited logistical concerns, validity of their thinking when unwell, and potential contravention of human rights. Interpretation This study is, to our knowledge, the first large study of reasons why mental health service users might endorse or reject the use of self-binding directives. The findings provide empirical support for introducing self-binding directives into mental health advance decision-making practice and policy and may help to address enduring ethical concerns surrounding possible implementation of the directive while a person retains decision-making capacity. The opinions expressed here in responses given by multiple service users with bipolar disorder challenge a prominent view within international disability rights debates that involuntary treatment and recognition of impaired mental capacity constitute inherent human rights violations. Funding The Wellcome Trust . (shrink)

The Defining Issues Test (DIT) has been widely used in psychological experiments to assess one’s developmental level of moral reasoning in terms of postconventional reasoning. However, there have been concerns regarding whether the tool is biased across people with different genders and political and religious views. To address the limitations, in the present study, I tested the validity of the brief version of the test, that is, the behavioral DIT, in terms of the measurement invariance and differential item functioning (DIF). (...) I could not find any significant non-invariance at the test level or any item demonstrating practically significant DIF at the item level. The findings indicate that neither the test nor any of its items showed a significant bias toward any particular group. As a result, the collected validity evidence supports the use of test scores across different groups, enabling researchers who intend to examine participants’ moral reasoning development across heterogeneous groups to draw conclusions based on the scores. (shrink)

Any theory of truth must find a way around Curry’s paradox, and there are well-known ways to do so. This paper concerns an apparently analogous paradox, about validity rather than truth, which JC Beall and Julien Murzi call the v-Curry. They argue that there are reasons to want a common solution to it and the standard Curry paradox, and that this rules out the solutions to the latter offered by most “naive truth theorists.” To this end they recommend a radical (...) solution to both paradoxes, involving a substructural logic, in particular, one without structural contraction. In this paper I argue that substructuralism is unnecessary. Diagnosing the “v-Curry” is complicated because of a multiplicity of readings of the principles it relies on. But these principles are not analogous to the principles of naive truth, and taken together, there is no reading of them that should have much appeal to anyone who has absorbed the morals of both the ordinary Curry paradox and the second incompleteness theorem. (shrink)

Consent governs innumerable everyday social interactions, including sex, medical exams, the use of property, and economic transactions. Yet little is known about how ordinary people reason about the validity of consent. Across the domains of sex, medicine, and police entry, Study 1 showed that when agents lack autonomous decision-making capacities, participants are less likely to view their consent as valid; however, failing to exercise this capacity and deciding in a nonautonomous way did not reduce consent judgments. Study 2 found (...) that specific and concrete incapacities reduced judgments of valid consent, but failing to exercise these specific capacities did not, even when the consenter makes an irrational and inauthentic decision. Finally, Study 3 showed that the effect of autonomy on judgments of valid consent carries important downstream consequences for moral reasoning about the rights and obligations of third parties, even when the consented-to action is morally wrong. Overall, these findings suggest that laypeople embrace a normative, domain-general concept of valid consent that depends consistently on the possession of autonomous capacities, but not on the exercise of these capacities. Autonomous decisions and autonomous capacities thus play divergent roles in moral reasoning about consent interactions: while the former appears relevant for assessing the wrongfulness of consented-to acts, the latter plays a role in whether consent is regarded as authoritative and therefore as transforming moral rights. (shrink)

In the following paper I will examine the possibility for a rational foundation of morals, rational in the sense that to ground a moral statement on reason amounts to being able to convince an unmotivated agent to conform to a moral rule - that is to say, to “rationally motivate” him (as Habermas would have said) to act in ways for which he or she had no previous reason to act. We will scrutinize the “internalist’s” objection (in Williams’ (...) definition) to such a claim and confront it with a, however, obvious fact: our need to convince or, at least, to influence agents to act according to moral judgements that entail strong validity claims. Therefore we need to find a better ground for our moral norms than that provided by a narrow concept of practical reason, which ultimately offers the basis for the internalist’s intuitions. Classical philosophers believed that to have a “right” sense meant also to think accordingly, that there was no intelligence without a social or moral side and that a person who lacked moral sense was not, at the same time, very intelligent. This contradicts some deep Humean intuitions, and in any case requires a more complex concept of practical reason than the one we normally encounter in internalist moral philosophers. In the following pages, I would like to reflect on this kind of social reason, or intelligence, or moral rationality, in an attempt to couple, in a coherent vision of moral sense within the framework of practical reason, intuitions that appear in Kant and Adam Smith with empirical research about what the lack of moral sense could mean. (shrink)

Descartes has been accused of reasoning in a circle since the publication of the Meditations. The Circle is easy to point out: it seems that Descartes employs clear and distinct perceptions to demonstrate God’s existence and benevolence, and the latter, in turn, validates the use of clear and distinct perceptions. But is Descartes really guilty of fallacious argument, or can we break the arc somehow?

Thomas Hofweber takes the semantic paradoxes to motivate a radical reconceptualization of logical validity, rejecting the idea that an inference rule is valid just in case every instance thereof is necessarily truth-preserving. Rather than this “strict validity”, we should identify validity with “generic validity”, where a rule is generically valid just in case its instances are truth preserving, and where this last sentence is a generic, like “Bears are dangerous”. While sympathetic to Hofweber’s view that strict validity should be replaced (...) by something allowing for exceptions, I argue that this should instead be truth-conduciveness, a matter of a large majority of instances being truth-preserving. The fact that inference rules have uncountably many instances, I argue, can be handled by defining truth-conduciveness as relative to finite sets of instances. Moreover, I argue that Hofweber’s position, while seemingly radical, may be less so under closer scrutiny. For the mere claim that classical rules and unrestricted truth rules are generically valid (or truth-conducive) is not in itself controversial. Also, if there is an answer to the question of which of these are also strictly valid, then the claim that generic validity is the central notion in logic is at most an interest-relative matter, since there is then also a fact of the matter as to which inference rules are (not) strictly valid. If no solution operating with strict validity to the paradoxes can be had, however, then the claim that validity should be identified with a weaker notion is better motivated. I argue that it is reasonable, in view of past failures, to conjecture that no ordinary solution will score high enough relative to standard (uncontroversial) desiderata to merit justified belief. Hence, it is unknowable which solution is correct. I further argue that this is best explained by its being metaphysically indeterminate which solution is correct. If this conjecture is true, then we ought instead to think of validity as allowing exceptions, and then take the “true logic” to be one that takes both the classical rules and the truth rules to be valid, i.e., truth-conducive. This logic scores very high on the desiderata on logics, and is therefore preferable to any logic operating with strict validity. (shrink)

This paper explores an idea of Stoic descent that is largely neglected nowadays, the idea that an argument is valid when the conditional formed by the conjunction of its premises as antecedent and its conclusion as consequent is true. As it will be argued, once some basic features of our naıve understanding of validity are properly spelled out, and a suitable account of conditionals is adopted, the equivalence between valid arguments and true conditionals makes perfect sense. The account of validity (...) outlined here, which displays one coherent way to articulate the Stoic intuition, accords with standard formal treatments of deductive validity and encompasses an independently grounded characterization of inductive validity. (shrink)

It is widely held that counterfactuals, unlike attitude ascriptions, preserve the referential transparency of their constituents, i.e., that counterfactuals validate the substitution of identicals when their constituents do. The only putative counterexamples in the literature come from counterpossibles, i.e., counterfactuals with impossible antecedents. Advocates of counterpossibilism, i.e., the view that counterpossibles are not all vacuous, argue that counterpossibles can generate referential opacity. But in order to explain why most substitution inferences into counterfactuals seem valid, counterpossibilists also often maintain that counterfactuals (...) with possible antecedents are transparency‐preserving. I argue that if counterpossibles can generate opacity, then so can ordinary counterfactuals with possible antecedents. Utilizing an analogy between counterfactuals and attitude ascriptions, I provide a counterpossibilist‐friendly explanation for the apparent validity of substitution inferences into counterfactuals. I conclude by suggesting that the debate over counterpossibles is closely tied to questions concerning the extent to which counterfactuals are more like attitude ascriptions and epistemic operators than previously recognized. (shrink)

When we say that we interpret customary international law, what is this thing that we actually interpret? Depending on how we answer this question, our view on interpretative methodology will change. It seems that the most promising approach is to say that interpretation of customary international law is an interpretation of certain legal practices. However, here we also encounter some problems. The dominant doctrine of customary international law requiring state practice and opinio juris assumes that only by adding a psychological (...) element to a regularity of behaviour can we speak of customary international law. That is, opinio juris performs a function of generating both legality and normativity of practices. -/- The article challenges this view by drawing on jurisprudential ideas that define practices as inherently normative. State practices are normative regardless of opinio juris, otherwise they are not practices at all. This view allows to differentiate between two instances of interpretation of customary international law. One is focused on clarification of the normative content of state practices, another is focusing on identification of these practices as legal ones. -/- Interpretation as clarification involves assessing structures of practical reasoning inherent in given practices. Drawing on Joseph Raz's theory of normativity, the article suggests that interpretation of customary rules implies establishing connections between first- and second-order reasons that form the practice and give it meaning. This entails that interpretation of customary international law focuses on dynamics of reasons, their inclusion and exclusion within an existing normative framework. That is, evolutive interpretation of customary international law is not only possible, it is inevitable. -/- Interpretation as identification does not focus on the normative content of practices, but rather involves showing that existing second-order reasons meet a threshold of legal validity. This threshold may take shape of opinio juris, but may as well be treated functionally, when legality of a practice is linked to its relevance in a broader set of legal practices. (shrink)

Beall and Murzi :143–165, 2013) introduce an object-linguistic predicate for naïve validity, governed by intuitive principles that are inconsistent with the classical structural rules. As a consequence, they suggest that revisionary approaches to semantic paradox must be substructural. In response to Beall and Murzi, Field :1–19, 2017) has argued that naïve validity principles do not admit of a coherent reading and that, for this reason, a non-classical solution to the semantic paradoxes need not be substructural. The aim of this (...) paper is to respond to Field’s objections and to point to a coherent notion of validity which underwrites a coherent reading of Beall and Murzi’s principles: grounded validity. The notion, first introduced by Nicolai and Rossi, is a generalisation of Kripke’s notion of grounded truth, and yields an irreflexive logic. While we do not advocate the adoption of a substructural logic, we take the notion of naïve validity to be a legitimate semantic notion that points to genuine expressive limitations of fully structural revisionary approaches. (shrink)

Introduction The Defining Issues Test (DIT) aimed to measure one’s moral judgment development in terms of moral reasoning. The Neo-Kohlbergian approach, which is an elaboration of Kohlbergian theory, focuses on the continuous development of postconventional moral reasoning, which constitutes the theoretical basis of the DIT. However, very few studies have directly tested the internal structure of the DIT, which would indicate its construct validity. Objectives Using the DIT-2, a later revision of the DIT, we examined whether a bi-factor model or (...) 3-factor CFA model showed a better model fit. The Neo-Kohlbergian theory of moral judgment development, which constitutes the theoretical basis for the DIT-2, proposes that moral judgment development occurs continuously and that it can be better explained with a soft-stage model. Given these assertions, we assumed that the bi-factor model, which considers the Schema-General Moral Judgment (SGMJ), might be more consistent with Neo-Kohlbergian theory. Methods We analyzed a large dataset collected from undergraduate students. We performed confirmatory factor analysis (CFA) via weighted least squares. A 3-factor CFA based on the DIT-2 manual and a bi-factor model were compared for model fit. The three factors in the 3-factor CFA were labeled as moral development schemas in Neo-Kohlbergian theory (i.e., personal interests, maintaining norms, and postconventional schemas). The bi-factor model included the SGMJ in addition to the three factors. Results In general, the bi-factor model showed a better model fit compared with the 3-factor CFA model although both models reported acceptable model fit indices. Conclusion We found that the DIT-2 scale is a valid measure of the internal structure of moral reasoning development using both CFA and bi-factor models. In addition, we conclude that the soft-stage model, posited by the Neo-Kohlbergian approach to moral judgment development, can be better supported with the bi-factor model that was tested in the present study. (shrink)

Abstract Introduction Logically valid deductive arguments are clear examples of abstract recursive computational proce‐ dures on propositions or on probabilities. However, it is not known if the cortical time‐consuming inferential pro‐ cesses in which logical arguments are eventually realized in the brain are in fact physically different from other kinds of inferential processes. Methods In order to determine whether an electrical EEG discernible pattern of logical deduction exists or not, a new experimental paradigm is proposed contrasting logically valid and invalid (...) inferences with exactly the same content (same premises and same relational variables) and distinct logical complexity (propositional truth‐functional operators). Electroencephalographic signals from 19 subjects (24.2 ± 3.3 years) were acquired in a two‐condition para‐ digm (100 trials for each condition). After the initial general analysis, a trial‐by‐trial approach in beta‐2 band allowed to uncover not only evoked but also phase asynchronous activity between trials. Results showed that (i) deductive inferences with the same content evoked the same response pattern in logically valid and invalid conditions, (ii) mean response time in logically valid inferences is 61.54% higher, (iii) logically valid inferences are subjected to an early (400 ms) and a late reprocessing (600 ms) verified by two distinct beta‐2 activa‐ tions (p‐value < 0,01, Wilcoxon signed rank test). Conclusion We found evidence of a subtle but measurable electrical trait of logical validity. Results put forward the hypothesis that some logically valid deductions are recursive or computational cortical events. Keywords Beta‐2 band, Evoked potentials, Induced potentials, Deductive inference, Logical validity, Cortical bases of logical reasoning. (shrink)

I argue that the scope of rational framing effects may be broader than Bermúdez assumes. Even in many “canonical experiments,” the explanation of the judgment reversals or shifts may refer to reasons, including moral ones. Referring to the Asian disease paradigm (ADP), I describe how non-consequentialist reasons related to fairness and the distinction between doing and allowing may help explain and justify the typical pattern of choices in the cases like ADP.

Philosophy is a reflective activity. So perhaps it is unsurprising that many philosophers have claimed that reflection plays an important role in shaping and even improving our philosophical thinking. This hypothesis seems plausible given that training in philosophy has correlated with better performance on tests of reflection and reflective reasoning has correlated with demonstrably better judgments in a variety of domains. This article reviews the hypothesized roles of reflection in philosophical thinking as well as the empirical evidence for these roles. (...) This reveals that although there are fairly reliable links between reflection and philosophical judgment among both laypeople and philosophers, the role of reflection in philosophical thinking may nonetheless depend in part on other factors, some of which have yet to be determined. So progress in research on reflection in philosophy may require further innovation in experimental methods and psychometric validation of philosophical measures. (shrink)

Like all reasoning, practical reasoning is a process that takes a person from some of her existing mental states to a new mental state. Theoretical reasoning concludes in a belief; practical reasoning in an intention. This paper concentrates on instrumental reasoning, a species of practical reasoning in general. It argues that instrumental reasoning is correct if the content of the reasoning is a valid derivation, just as theoretical reasoning is correct if its content is a valid derivation. It also argues (...) that neither theoretical nor practical reasoning gives a reason for its conclusion. If a piece of reasoning is correct, it concludes in a state - a belief or an intention - that is rationally required by the states it is derived from, but rationally requiring a conclusion is not the same as giving a reason for it. (shrink)

The aim of this article is to investigate the roles of commutative diagrams (CDs) in a specific mathematical domain, and to unveil the reasons underlying their effectiveness as a mathematical notation; this will be done through a case study. It will be shown that CDs do not depict spatial relations, but represent mathematical structures. CDs will be interpreted as a hybrid notation that goes beyond the traditional bipartition of mathematical representations into diagrammatic and linguistic. It will be argued that one (...) of the reasons why CDs form a good notation is that they are highly mathematically tractable: experts can obtain valid results by ‘calculating’ with CDs. These calculations, take the form of ‘diagram chases’. In order to draw inferences, experts move algebraic elements around the diagrams. It will be argued that these diagrams are dynamic. It is thanks to their dynamicity that CDs can externalize the relevant reasoning and allow experts to draw conclusions directly by manipulating them. Lastly, it will be shown that CDs play essential roles in the context of proof as well as in other phases of the mathematical enterprise, such as discovery and conjecture formation. (shrink)

Leibniz often refers to the Principle of Sufficient Reason (PSR) as something like a first principle. In some texts, however, he attempts to give positive arguments in its favor. I examine two such arguments, and find them wanting. The first argument has two defects. First, it is question-begging; and second, when the question-begging step is excised, the principle one can in fact derive is highly counter-intuitive. The second argument is valid, but has the defect of only reaching a nearly (...) trivial conclusion. (shrink)

Judgments about the validity of at least some elementary inferential patterns(say modus ponens) are a priori if anything is. Yet a number of empirical conditions mustin each case be satisfied in order for a particular inference to instantiate this or that inferentialpattern. We may on occasion be entitled to presuppose that such conditions aresatisfied (and the entitlement may even be a priori), yet only experience could tell us thatsuch was indeed the case. Current discussion about a perceived incompatibility betweencontent externalism (...) and first-person authority exemplifies how damaging the neglect ofsuch empirical presuppositions of correct reasoning can be. An externalistic view of mentalcontent is ostensibly incompatible with the assumption that a rational subject should beable to avoid inconsistency no matter what the state of her empirical knowledge may be.That fact, however, needs not be taken (as it often is) as a reductio of externalism: alternatively,we may reject that assumption, adding to the agenda of a philosophical investigationof rationality an examination of the vicissitudes of logical luck. I offer an illustrationand defense of that alternative. (shrink)

This paper is about four inferences patterns governing conditionals: Transitivity, Simplification, Contraposition, and Antecedent Strengthening. Transitivity, Simplification, and Contraposition are intuitively compelling. Although Antecedent Strengthening may seem less attractive at first, close attention to the full range of data reveals that it too has considerable appeal. An adequate theory of conditionals should account for these facts. The strict theory does so by validating them. But the variably strict theory invalidates them. So the variably strict theorist faces a question: why do (...) we find these inferences so compelling? In this paper, I suggest an answer on her behalf: that they are reasonable inferences in the sense introduced by Stalnaker (1975). -/- . (shrink)

Reasoning from negative evidence takes place where an expected outcome is tested for, and when it is not found, a conclusion is drawn based on the significance of the failure to find it. By using Gricean maxims and implicatures, we show how a set of alternatives, which we call a paradigm, provides the deep inferential structure on which reasoning from lack of evidence is based. We show that the strength of reasoning from negative evidence depends on how the arguer defines (...) his conclusion and what he considers to be in the paradigm of negated alternatives. If we negate only two of the several possible alternatives, even if they are the most probable, the conclusion will be weak. However, if we deny all possible alternatives, the reasoning will be strong, and even in some cases deductively valid. (shrink)

According to a prevalent view among philosophers formal logic is the philosopher’s main tool to assess the validity of arguments, i.e. the philosopher’s ars iudicandi. By drawing on a famous dispute between Russell and Strawson over the validity of a certain kind of argument – of arguments whose premises feature definite descriptions – this paper casts doubt on the accuracy of the ars iudicandi conception. Rather than settling the question whether the contentious arguments are valid or not, Russell and Strawson, (...) upon discussing the proper logical analysis of definite descriptions, merely contrast converse informal validity assessments rendered explicit by nonequivalent logical for-malizations. (shrink)

It is a platitude that when we reason, we often take things for granted, sometimes even justifiably so. The chemist might reason from the fact that a substance turns litmus paper red to that substance being an acid. In so doing, they take for granted, reasonably enough, that this test for acidity is valid. We ordinarily reason from things looking a certain way to their being that way. We take for granted, reasonably enough, that things are as (...) they look Although it is a platitude that we often take things for granted when we reason—whether justifiably or not—one might think that we do not have to. In fact, it is a natural expectation that were we not pressed by time, lack of energy or focus, we could always in principle make explicit in the form of premises every single presupposition we make in the course of our reasoning. In other words, it is natural to expect it to be true that presuppositionless reasoning is possible. In this essay, I argue that it is false: presuppositionless reasoning is impossible. Indeed, I think this is one of the lessons of a long-standing paradox about inference and reasoning known as Lewis Carroll’s (1985) regress of the premises. Many philosophers agree that Carroll’s regress teaches us something foundational about reasoning. I part ways about what it is that it teaches us. What it teaches us is that the structure of reasoning is constitutively presuppositional. (shrink)

The notion of validity for modal languages could be defined in two slightly different ways. The first is the original definition given by S. Kripke, for which a formula φ of a modal language L is valid if and only if it is true in every actual world of every interpretation of L. The second is the definition that has become standard in most textbook presentations of modal logic, for which a formula φ of L is valid if and only (...) if it is true in every world in every interpretation of L. For simple modal languages, “Kripkean validity” and “Textbook validity” are extensionally equivalent. According to E. Zalta, however, Textbook validity is an “incorrect” definition of validity, because: (i) it is not in full compliance with Tarski’s notion of truth; (ii) in expressively richer languages, enriched by the actuality operator, some obviously true formulas count as valid only if the Kripkean notion is used. The purpose of this paper is to show that (i) and (ii) are not good reasons to favor Kripkean valid- ity over Textbook validity. On the one hand, I will claim that the difference between the two should rather be seen as the result of two different conceptions on how a modal logic should be built from a non-modal basis; on the other, I will show the advantages, for the question at issue, of seeing the actuality operator as belonging to the family of two-dimensional operators. (shrink)

The Habermas–Foucault debate, despite the excellent commentary it has generated, has the standing of an ‘unfinished project’ precisely because it occasions the interrogation of the fundamental categories of modernity, and because the lingering sense of anxiety, which continues to remain after arguments and counter-arguments, demands new interpretations. Here, I advance the claim that what gives Habermas’s criticisms of Foucault’s histories and theoretical formulations their bite is the categorial distinction he maintains between facts and rights, and by extension, between causes and (...) reasons. The Kantian distinction between de jure validity and de facto effectivity underwrites the categorial distinction between both ‘norms/facts’ and ‘reasons/causes’ conceptual pairs, which distinction, in turn, is reinforced by a picture of the natural world as matter in motion and human agency as self-determination. I want to claim that Foucault’s work enacts a critique of Habermas not by evading the problem of justification but by undermining the very distinctions Habermas needs to maintain the universal and necessary status of communicative rationality. Drawing on Jonathan Lear’s discussion of reasons and causes in relation to the unconscious, I claim that psychoanalytic discourse helps us make intelligible a type of reflection—such as one finds in Foucault’s historiography—that is at once “critical and empirical.” Moreover, the realization that the distinction between causes and reasons may not be categorial and exhaustive shows how Habermas’s insistence on the contrary leads to one particular kind of misrecognition of our practices. (shrink)

According to an attractive and widely held view, all practical reasons are explained in terms of the (instrumental or final) value of the action supported by the reason. I argue that this theory is incompatible with plausible assumptions about the practical reasons that correspond to certain moral rights, including the right to a promised action and the right to an exclusive use of one’s property. The argument is an explanatory rather than extensional one: while the actions supported by the (...) relevant reasons (e.g. keeping a valid promise or respecting property) can be argued to have a certain kind of value, I argue that this value presupposes a moral right, and therefore cannot explain the reason. Reflection on such cases suggest the conclusion that reasons that are subject to normative powers are generally not value-based. This also has important implications for the dialectic between ‘value-first’ and ‘reasons-first’ approaches to normativity. (shrink)

What justifies practices of “standing”? Numerous everyday practices exhibit the normativity of standing: forbidding certain interventions and permitting ignoring them. The normativity of standing is grounded in facts about the person intervening and not on the validity of her intervention. When valid, directives are reasons to do as directed. When interventions take the form of directives, standing practices may permit excluding those directives from one’s practical deliberations, regardless of their validity or normative weight. Standing practices are, therefore, puzzling – forbidding (...) giving reasons and, if given, permitting disregarding such reasons. What justifies standing practices are the values that they protect, including privacy, autonomy, independence, valuable relationships, and equal respect. These values count in favor of standing’s duty against certain interventions and, when these duties of non-intervention are breached, the values underpinning those duties count in favor of standing’s permission to discount or exclude those interventions from one’s practical deliberations – the normative weight of those interventions notwithstanding. (shrink)

It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...) practices presuppose, respectively, a criterion of validity and a criterion of invalidity each of which has been extended and refined by modern logicians: deductions are studied in formal syntax (proof theory) and coun¬termodels are studied in formal semantics (model theory). The purpose of this paper is to compare these two criteria to the corresponding criteria employed in Boole’s first logical work, The Mathematical Analysis of Logic (1847). In particular, this paper presents a detailed study of the relevant metalogical passages and an analysis of Boole’s symbolic derivations. It is well known, of course, that Boole’s logical analysis of compound terms (involving ‘not’, ‘and’, ‘or’, ‘except’, etc.) contributed to the enlargement of the class of propositions and arguments formally treatable in logic. The present study shows, in addition, that Boole made significant contributions to the study of deduc¬tive reasoning. He identified the role of logical axioms (as opposed to inference rules) in formal deductions, he conceived of the idea of an axiomatic deductive sys¬tem (which yields logical truths by itself and which yields consequences when ap¬plied to arbitrary premises). Nevertheless, surprisingly, Boole’s attempt to imple¬ment his idea of an axiomatic deductive system involved striking omissions: Boole does not use his own formal deductions to establish validity. Boole does give symbolic derivations, several of which are vitiated by “Boole’s Solutions Fallacy”: the fallacy of supposing that a solution to an equation is necessarily a logical consequence of the equation. This fallacy seems to have led Boole to confuse equational calculi (i.e., methods for gen-erating solutions) with deduction procedures (i.e., methods for generating consequences). The methodological confusion is closely related to the fact, shown in detail below, that Boole had adopted an unsound criterion of validity. It is also shown that Boole totally ignored the countermodel criterion of invalid¬ity. Careful examination of the text does not reveal with certainty a test for invalidity which was adopted by Boole. However, we have isolated a test that he seems to use in this way and we show that this test is ineffectual in the sense that it does not serve to identify invalid arguments. We go beyond the simple goal stated above. Besides comparing Boole’s earliest criteria of validity and invalidity with those traditionally (and still generally) employed, this paper also investigates the framework and details of THE MATHEMATICAL ANALYSIS OF LOGIC. (shrink)

Standpoint logic is a recently proposed formalism in the context of knowledge integration, which advocates a multi-perspective approach permitting reasoning with a selection of diverse and possibly conflicting standpoints rather than forcing their unification. In this paper, we introduce nested sequent calculi for propositional standpoint logics---proof systems that manipulate trees whose nodes are multisets of formulae---and show how to automate standpoint reasoning by means of non-deterministic proof-search algorithms. To obtain worst-case complexity-optimal proof-search, we introduce a novel technique in the context (...) of nested sequents, referred to as "coloring," which consists of taking a formula as input, guessing a certain coloring of its subformulae, and then running proof-search in a nested sequent calculus on the colored input. Our technique lets us decide the validity of standpoint formulae in CoNP since proof-search only produces a partial proof relative to each permitted coloring of the input. We show how all partial proofs can be fused together to construct a complete proof when the input is valid, and how certain partial proofs can be transformed into a counter-model when the input is invalid. These "certificates" (i.e. proofs and counter-models) serve as explanations of the (in)validity of the input. (shrink)

The observation that a crisis of confidence regarding Psychiatry exists is a notion shared even among psychiatrists themselves. Psychiatry has a checkered history and its alliance with the pharmaceutical industry, aka Big-Pharma, continues to reinforce a need for healthy skepticism. Why? Mainly, an over-reliance on the questionable expertise and authority afforded psychiatry as the specialists of mental health. I contend that the authority of psychiatry is misplaced and too often harmful. Since the criteria required to justify and satisfy psychiatric expertise (...) is not fully established as can be substantiated by compelling reasons to rethink its authority as a reliable profession in its current form. Psychiatric expertise is not particularly scientific and this is especially dangerous in a sector that prescribes mind-altering drugs. There are a number of identified criteria that would otherwise substantiate psychiatric expertise and whilst partially existent, are nonetheless deficient. These major yet deficient aspects of psychiatric practice concern diagnostic problems – reliability and verification of diagnoses and accurate testable validity of diagnoses - mainly due to an absence of identifiable underlying biomarkers ordinarily related to disease or biological conditions. Psychiatrists often fail to distinguish between reactive-depression (reaction to external event or circumstance) and endogenous-depression (biological) resulting, in part, from incorrectly distinguishing between conditions constitutive of ‘trait’ (endogenous) and of those of ‘state’ (e.g. reactive depression; adverse effects from medication, etc.). (shrink)

The aim of this study is to proof the argument – i.e. ‘there are significant linkages amongst tolerance, hybrid identities and migration.’ These linkages can be comprehended by means of conceptualising extensions of hybrid identities in aggregate trans/inter-migration processes. It can be put forward that arising hybrid identities are embedded in a blurring structure of thoughts, beliefs, states of affairs, facts, belongings and so forth. From multiculturalism and cosmopolitanism viewpoints, it is argued that tolerance and migration ought to be analysed (...) in frame of sociology of law, human rights, international migration law, and of course the European Union law. So far, normative arguments and soft law approaches are very much well integrated with social aspects of migration, tolerance, identity and culture. In this context, the study examines to what extent cultural and human components are protected by law in multiple levels from an interdisciplinary perspective. In this framework, it is crucial to raise the research enquiries: What are possible criteria for the limits of tolerance? To what extent tolerance is related to human rights and morality? What ought to be the limit of tolerance towards hybrid identities in multicultural and cosmopolitan societies? In a consistent manner, the criteria and standards developed by some leading scholars were reconstructed and discussed throughout this paper. These criteria and standards are both moral (part of a universal system of morality) and legal (international, supranational, or national – i.e. constitutional). In order to apply such standards their validity was discussed (i.e. the respective normative power has the norms at the various levels). In the case of morals, their difference to particular ethnic systems was established (i.e. criteria by which the two can be distinguished). Then the research argument was elaborated on whether and how the legal standards comply with the moral standards, how national standards comply with supranational or international standards. Likewise, the study highlights the crucial contributions of “World Society and World System Paradigms” that are associated with social space, global civil society, cosmopolitanism, ethnic diversity, cultural hybridity, human rights activism and public sphere. Recent debates in Refugee Studies (e.g. Syrian Refugee Crisis, Dual and Multiple Citizenship Issues and so forth) highlight the fact that the European Union needs to consider new aspects of tolerance for hybrid identities and tolerate cultural rights of hybrid identities, create cohesion in communities and establish intercultural dialogue amongst home-states and host-states. Sanguinely, the efforts of hybrid identities are strengthening the relations between home-host states and these ought to attract some considerable attention. The authors of this study hope that their endeavours may contribute somewhat towards that. (shrink)

Though the divide between reason-based and causal-explanatory approaches in psychiatry and psychopathology is old and deeply rooted, current trends involving multi-factorial explanatory models and evidence-based approaches to interpersonal psychotherapy, show that it has already been implicitly bridged. These trends require a philosophical reconsideration of how reasons can be causes. This paper contributes to that trajectory by arguing that Donald Davidson’s classic paradigm of 1963 is still a valid option.