Louis Charland has argued that the Cluster B personality disorders, including borderline personality disorder, are primarily moral rather than clinical conditions. Part of his argument stems from reflections on effective treatment of borderline personality disorder. In the argument from treatment, he claims that successful treatment of all Cluster B personality disorders requires a positive change in a patient’s moral character. Based on this claim, he concludes (1) that these disorders are, at root, deficits in moral character, and (2) that effective (...) treatment of these disorders requires a sort of moral education rather than clinical intervention. In this paper, I evaluate the argument from treatment through a critical analysis of two psychotherapeutic interventions that have shown recent effectiveness against borderline personality disorder. I suggest that both Dialectical Behaviour Therapy and Mentalization-Based Treatment indicate that borderline personality disorder is, at root, a deficit in non-moral cognitive and emotional capacities. I suggest that these non-moral deficits obscure the expression of an otherwise intact moral character. In light of this, I conclude that effective treatment of borderline personality disorder requires primarily clinical intervention rather than moral edification. (shrink)

We estimate that 208,000 deep brain stimulation (DBS) devices have been implanted to address neurological and neuropsychiatric disorders worldwide. DBS Think Tank presenters pooled data and determined that DBS expanded in its scope and has been applied to multiple brain disorders in an effort to modulate neural circuitry. The DBS Think Tank was founded in 2012 providing a space where clinicians, engineers, researchers from industry and academia discuss current and emerging DBS technologies and logistical and ethical issues facing the field. (...) The emphasis is on cutting edge research and collaboration aimed to advance the DBS field. The Eighth Annual DBS Think Tank was held virtually on September 1 and 2, 2020 (Zoom Video Communications) due to restrictions related to the COVID-19 pandemic. The meeting focused on advances in: (1) optogenetics as a tool for comprehending neurobiology of diseases and on optogenetically-inspired DBS, (2) cutting edge of emerging DBS technologies, (3) ethical issues affecting DBS research and access to care, (4) neuromodulatory approaches for depression, (5) advancing novel hardware, software and imaging methodologies, (6) use of neurophysiological signals in adaptive neurostimulation, and (7) use of more advanced technologies to improve DBS clinical outcomes. There were 178 attendees who participated in a DBS Think Tank survey, which revealed the expansion of DBS into several indications such as obesity, post-traumatic stress disorder, addiction and Alzheimer’s disease. This proceedings summarizes the advances discussed at the Eighth Annual DBS Think Tank. (shrink)

among all those magnificent horned beasts at the head of which Monsieur le Préfet does us the honour of being seated, him standing at the prow of the splendid herd of the local bovine race, and taking the helm with a clear and watchful eye, while the sails, propelled by the magnificent native draught horse, carry along the straight course of prosperity the man of Champagne, who does not fear its twists and turns The Prisoner of the Buddha, Franquin, (...) class='Hi'>Greg, Jidehem. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Ideas 63.2 (2002) 303-321 [Access article in PDF] "The Peak on Which Abraham Stands": The Pregnant Moment of Søren Kierkegaard's Fear and Trembling Lasse Horne Kjaeldgaard When Søren Kierkegaard in the 1840s began his one-man crusade against the predominant philosophy of his time and place—the right Hegelianism that was en vogue among his contemporaries in Copenhagen—he chose his weapons with great circumspection. The (...) indirect form of communication, which he later advocated in more direct terms in his "Point of View," 1 was not only a maieutic means that helped the reader conceive of the latent and strictly private messages of the texts; it was also a strategy for Kierkegaard's undercover assaults on the Hegelian turn of the Geistesleben around him. By interweaving many of the Hegelian platitudes and self-confident pronouncements that circulated in the intellectual life of the day into the pseudonymous writings, Kierkegaard contested them with parody rather than argumentation. This is the local background against which these texts are structured and to which they are addressed in multiple and very subtle ways. That also goes for that of the pseudonymous writings which has become the best known but which may also be regarded as the most private and most secretive of them all, Fear and Trembling, published pseudonymously in 1843.Secrecy, silence, and unspeakable messages are abundantly thematized in Fear and Trembling, as one could expect from the name of the narrator, Johannes de Silentio. Silentio is a prominent member of the choir of pseudonymous figures Kierkegaard invented to communicate indirectly with his audience and in [End Page 303] the name of which he published his most celebrated works. The silence that Silentio speaks of is that of Abraham of the Old Testament, who was commanded by God to sacrifice his only son on Mount Moriah. Although Genesis 22 includes fragments of the dialogue between Abraham and Isaac on their way to the mountain, Silentio insists that Abraham remained silent on the essential issue: the command he acts upon. The unmediated message Abraham had received from God could not be conveyed, and he was therefore barred from communication and bereft of his community as he journeyed to the Mountain. Yet Silentio's discourse upon this silence in Fear and Trembling has given impetus to innumerable pages of commentary. The questions and answers he poses in his reflections upon Abraham's ordeal have called for critical attention and controversy since the time of its publication. His obsession with the biblical narrative certainly seems to have been passed on to many readers of Fear and Trembling, which, a recent commentator has remarked, "continues to haunt us like no other of [Kierkegaard's] writings." 2 So far, it would seem, then, that Kierkegaard was right when he predicted, in an undated journal entry, that "Fear and Trembling will be enough to immortalise my name." It has indeed been "read and translated into foreign languages," as he foresaw it would. 3Even so, what has passed unnoticed in its long history of reception is the significance of the titles that the manuscript text bore before it came to be called Fear and Trembling. On the title page the definitive appellation is placed together with two alternatives with less suggestion of pathos: "Movements and Postures" (Bevægelser og Stillinger) and "Between-each-other" (Mellemhver-andre). 4 Not much can be discerned from these unpeculiar phrases in isolation. However, tracing their history and significance through Kierkegaard's writings and beyond, will make it clear that Fear and Trembling was also dispatched to the narrow Hegelian community in Copenhagen for the purpose of questioning their literary and visual aesthetics and philosophy of history. Into the guerrilla warfare against them Fear and Trembling introduces a weapon of such sophistication that it has remained undetected so far: the power of the "pregnant moment." My aim here will be to demonstrate the way in which Fear and Trembling appropriates a principle of selection intended for the... (shrink)

This discussion revises and extends Jonny Anomaly's ‘public goods’ account of public health ethics in light of recent criticism from Richard Dees. Public goods are goods that are both non-rival and non-excludable. What is significant about such goods is that they are not always provided efficiently by the market. Indeed, the state can sometimes realize efficiency gains either by supplying such goods directly or by compelling private purchase. But public goods are not the only goods that the market may fail (...) to provide efficiently. This point to a way of broadening the public goods account of public health to accommodate Dees' counterexamples, without abandoning its distinctive appeal. On the market failures approach to public health ethics, the role of public health is to correct public health-related market failures of all kinds, so far as possible. The underlying moral commitment is to economic efficiency in the sense of Pareto: if we can re-allocate resources in the economy so as to raise the welfare of some without lowering the welfare of any other, we ought to do so. (shrink)

We motivate and develop a new theory of time and apply it to a few thought experiments in physics.

Many philosophers of science follow Hempel in embracing both substantive and methodological anti-psychologism regarding the study of explanation. The former thesis denies that explanations are constituted by psychological events, and the latter denies that psychological research can contribute much to the philosophical investigation of the nature of explanation. Substantive anti-psychologism is commonly defended by citing cases, such as hyper-complex descriptions or vast computer simulations, which are reputedly generally agreed to constitute explanations but which defy human comprehension and, as a result, (...) fail to engender any relevant psychological events. It is commonly held that the truth of the substantive thesis would lend support to the methodological thesis. However, the standard argument for the substantive thesis presumes that philosophers’ own judgments about the aforementioned cases issues from mastery of the lay or scientific norms regarding the use of ‘explanation.’ Here we challenge this presumption with a series of experiments indicating that both lay and scientific populations require of explanations that they actually render their targets intelligible. This research not only undermines a standard line of argument for substantive anti-psychologism, it demonstrates the utility of psychological research methods for answering meta-questions about the norms regarding the use of ‘explanation.’. (shrink)

What kind of evidence will lead people to revise their moral beliefs? Moral beliefs are often strongly held convictions, and existing research has shown that morality is rooted in emotion and socialization rather than deliberative reasoning. In addition, more general issues—such as confirmation bias—further impede coherent belief revision. Here, we explored a unique means for inducing belief revision. In two experiments, participants considered a moral dilemma in which an overwhelming majority of people judged that it was inappropriate to take action (...) to maximize utility. Their judgments contradicted a utilitarian principle they otherwise strongly endorsed. Exposure to this scenario led participants to revise their belief in the utilitarian principle, and this revision persisted over several hours. This method provides a new avenue for inducing belief revision. (shrink)

In this paper I urge friends of truth-value gaps and truth-value gluts – proponents of paracomplete and paraconsistent logics – to consider theories not merely as sets of sentences, but as pairs of sets of sentences, or what I call ‘bitheories,’ which keep track not only of what holds according to the theory, but also what fails to hold according to the theory. I explain the connection between bitheories, sequents, and the speech acts of assertion and denial. I illustrate the (...) usefulness of bitheories by showing how they make available a technique for characterising different theories while abstracting away from logical vocabulary such as connectives or quanti- fiers, thereby making theoretical commitments independent of the choice of this or that particular non-classical logic. (shrink)

Paraconsistent logics are often semantically motivated by considering "impossible worlds." Lewis, in "Logic for equivocators," has shown how we can understand paraconsistent logics by attributing equivocation of meanings to inconsistent believers. In this paper I show that we can understand paraconsistent logics without attributing such equivocation. Impossible worlds are simply sets of possible worlds, and inconsistent believers (inconsistently) believe that things are like each of the worlds in the set. I show that this account gives a sound and complete semantics (...) for Priest's paraconsistent logic LP, which uses materials any modal logician has at hand. (shrink)

Consequence is at the heart of logic; an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence relation, (...) a position which has profound implications for many linguists as well as for philosophers. We should not search for one true logic, since there are many. (shrink)

An emerging trend in cognitive science is to explore central epistemological questions using psychological methods. Early work in this growing area of research has revealed that epistemologists’ theories of knowledge diverge in various ways from the ways in which ordinary people think of knowledge. Reflecting the practices of epistemology as a whole, the vast majority of these studies have focused on the concept of propositional knowledge, or knowledge-that. Many philosophers, however, have argued that knowing how to do something is importantly (...) different from knowing that something is the case. Hence, in this paper we turn our attention to people’s concept of knowledge-how. We present data from two experiments that employed a sentence recognition task as an implicit measure of conceptual activation. The data from this implicit measure suggest that, contrary to prominent intellectualist theories of know-how, according to which know-how is a species of propositional knowledge, people’s concept of know-how more closely aligns with anti-intellectualism, the view that knowing how to perform some task consists in having the appropriate skills or abilities. (shrink)

Moral psychologists have shown that people’s past moral experiences can affect their subsequent moral decisions. One prominent finding in this line of research is that when people make a judgment about the Trolley dilemma after considering the Footbridge dilemma, they are significantly less likely to decide it is acceptable to redirect a train to save five people. Additionally, this ordering effect is asymmetrical, as making a judgment about the Trolley dilemma has little to no effect on people’s judgments about the (...) Footbridge dilemma. We argue that this asymmetry is the result of a difference in how each dilemma affects people’s beliefs about the importance of saving lives. In two experiments, we show that considering the Footbridge dilemma disconfirms these beliefs, while considering the Trolley dilemma does not significantly affect them. Consistent with predictions of sequential learning models, our findings offer a clear and parsimonious account of the asymmetry in the ordering effect. (shrink)

People tend to be repulsed by the idea of cash markets in kidneys, but support the trading of kidneys through paired exchanges or chains. We reject anti-commodification accounts of this reaction and offer an egalitarian one. We argue that the morally significant difference between cash markets and kidney chains is that the former allow the wealthy greater access to kidneys, while the latter do not. The only problem with kidney chains is that they do not go far enough in addressing (...) equality concerns, and we show how the introduction of cash payments by the state could remedy this. (shrink)

The two-dimensional modal logic of Davies and Humberstone [3] is an important aid to our understanding the relationship between actuality, necessity and a priori knowability. I show how a cut-free hypersequent calculus for 2D modal logic not only captures the logic precisely, but may be used to address issues in the epistemology and metaphysics of our modal concepts. I will explain how the use of our concepts motivates the inference rules of the sequent calculus, and then show that the completeness (...) of the calculus for Davies–Humberstone models explains why those concepts have the structure described by those models. The result is yet another application of the completeness theorem. (shrink)

In his classic 1936 essay "On the Concept of Logical Consequence", Alfred Tarski used the notion of satisfaction to give a semantic characterization of the logical properties. Tarski is generally credited with introducing the model-theoretic characterization of the logical properties familiar to us today. However, in his book, The Concept of Logical Consequence, Etchemendy argues that Tarski's account is inadequate for quite a number of reasons, and is actually incompatible with the standard model-theoretic account. Many of his criticisms are meant (...) to apply to the model-theoretic account as well. In this paper, I discuss the following four critical charges that Etchemendy makes against Tarski and his account of the logical properties: (1) (a) Tarski's account of logical consequence diverges from the standard model-theoretic account at points where the latter account gets it right. (b) Tarski's account cannot be brought into line with the model-theoretic account, because the two are fundamentally incompatible. (2) There are simple counterexamples (enumerated by Etchemendy) which show that Tarski's account is wrong. (3) Tarski committed a modal fallacy when arguing that his account captures our pre-theoretical concept of logical consequence, and so obscured an essential weakness of the account. (4) Tarski's account depends on there being a distinction between the "logical terms" and the "non-logical terms" of a language, but (according to Etchemendy) there are very simple (even first-order) languages for which no such distinction can be made. Etchemendy's critique raises historical and philosophical questions about important foundational work. However, Etchemendy is mistaken about each of these central criticisms. In the course of justifying that claim, I give a sustained explication and defense of Tarski's account. Moreover, since I will argue that Tarski's account and the model theoretic account really do come to the same thing, my subsequent defense of Tarski's account against Etchemendy's other attacks doubles as a defense against criticisms that would apply equally to the familiar model-theoretic account of the logical properties. (shrink)

We propose a Bayesian framework for the attribution of knowledge, and apply this framework to generate novel predictions about knowledge attribution for different types of “Gettier cases”, in which an agent is led to a justified true belief yet has made erroneous assumptions. We tested these predictions using a paradigm based on semantic integration. We coded the frequencies with which participants falsely recalled the word “thought” as “knew” (or a near synonym), yielding an implicit measure of conceptual activation. Our experiments (...) confirmed the predictions of our Bayesian account of knowledge attribution across three experiments. We found that Gettier cases due to counterfeit objects were not treated as knowledge (Experiment 1), but those due to intentionally-replaced evidence were (Experiment 2). Our findings are not well explained by an alternative account focused only on luck, because accidentally-replaced evidence activated the knowledge concept more strongly than did similar false belief cases (Experiment 3). We observed a consistent pattern of results across a number of different vignettes that varied the quality and type of evidence available to agents, the relative stakes involved, and surface details of content. Accordingly, the present findings establish basic phenomena surrounding people’s knowledge attributions in Gettier cases, and provide explanations of these phenomena within a Bayesian framework. (shrink)

This essay is structured around the bifurcation between proofs and models: The first section discusses Proof Theory of relevant and substructural logics, and the second covers the Model Theory of these logics. This order is a natural one for a history of relevant and substructural logics, because much of the initial work — especially in the Anderson–Belnap tradition of relevant logics — started by developing proof theory. The model theory of relevant logic came some time later. As we will see, (...) Dunn’s algebraic models [76, 77] Urquhart’s operational semantics [267, 268] and Routley and Meyer’s relational semantics [239, 240, 241] arrived decades after the initial burst of activity from Alan Anderson and Nuel Belnap. The same goes for work on the Lambek calculus: although inspired by a very particular application in linguistic typing, it was developed first proof-theoretically, and only later did model theory come to the fore. Girard’s linear logic is a different story: it was discovered though considerations of the categorical models of coherence.. (shrink)

Recently, brain imaging has provided controversial evidence of persisting awareness in some people whose brains are so severely injured that consciousness is minimal or absent, but in whom prolongation of life depends on the provision of continuing medical care. The clinicians understanding of the persistent vegetative state is briefly outlined and the evidence provided by brain imaging of awareness in this condition is reviewed. Information regarding consciousness in progressive acquired dementias are considered in the context of management of these conditions. (...) This leads to the conclusion that quality of consciousness was more important than its presence or absence in managing people with impaired consciousness. (shrink)

We respond to Stephen T. Davis’ criticism of our earlier essay, “Assessing the Resurrection Hypothesis.” We argue that the Standard Model of physics is relevant and decisive in establishing the implausibility and low explanatory power of the Resurrection hypothesis. We also argue that the laws of physics have entailments regarding God and the supernatural and, against Alvin Plantinga, that these same laws lack the proviso “no agent supernaturally interferes.” Finally, we offer Bayesian arguments for the Legend hypothesis and against the (...) Resurrection hypothesis. (shrink)

Consequence is at the heart of logic; an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence relation, (...) a position which has profound implications for many linguists as well as for philosophers. We should not search for one true logic, since there are many. (shrink)

Implication barrier theses deny that one can derive sentences of one type from sentences of another. Hume’s Law is an implication barrier thesis; it denies that one can derive an ‘ought’ (a normative sentence) from an ‘is’ (a descriptive sentence). Though Hume’s Law is controversial, some barrier theses are philosophical platitudes; in his Lectures on Logical Atomism, Bertrand Russell claims: You can never arrive at a general proposition by inference particular propositions alone. You will always have to have at least (...) one general proposition in your premises. (Russell, 1918, p. 206) We will refer to this claim—that one cannot derive general sentences from particular sentences—as Russell’s Law.1 A third barrier thesis claims that one cannot derive sentences about the future from sentences about the past or present. Hume’s endorsement of this barrier thesis is well-known: all inferences from experience suppose, as their foundation, that the future will resemble the past . . . if there be any suspicion that the course of nature may change, and that the past may be no rule for the future, all experience becomes useless, and can give rise to no inference or conclusion. It is impossible, therefore, that any argument from experience can prove this resemblance of the past to the future; since all these arguments are founded on the supposition of that resemblance. (Hume, EHU 4.21/37) We will refer to this barrier thesis as Hume’s Second Law. A fourth barrier thesis says that one cannot derive a necessary sentence from one about the actual world and we will refer to this last thesis Kant’s Law. Such implication barrier theses present a problem. (shrink)

Once the Kripke semantics for normal modal logics were introduced, a whole family of modal logics other than the Lewis systems S1 to S5 were discovered. These logics were obtained by changing the semantics in natural ways. The same can be said of the Kripke-style semantics for relevant logics: a whole range of logics other than the standard systems R, E and T were unearthed once a semantics was given (cf. Priest and Sylvan [6], Restall [7], and Routley et al. (...) [8]). In a similar way, weakening the structural rules of the Gentzen formulation of classical logic gives rise to other ‘substructural’ logics such as linear logic (as in Girard [4]). This process of ‘strategic weakening’ is becoming popular today, with the discovery of applications of these logics to areas such as linguistics and the theory of computation (cf. van Benthem [1]). Until now no-one has (to my knowledge) examined what the process of weakening does to the Kripke-style semantics of intuitionistic logic. This paper remedies the deficiency, introducing the family of subintuitionistic logics. These systems have some appealing features. Unlike other substructural logics such as linear logic (which lack distribution of extensional disjunction over conjunction) they have a very natural Kripke-style worlds semantics. Also, the difficulties with regard to modelling quantification in these systems may be able to shed some light on the difficulties in naturally modelling quantification in relevant logics, as it must be admitted that the semantics currently available for quantified relevant logics are rather baroque (cf. Fine [3]). But most importantly, delving in the undergrowth of logics such as intuitionistic logic gives us a ‘feel’ for how such systems are put together, and what job is being done by each aspect of the modelling conditions in.. (shrink)

Potentiality, Entanglement and Passion-at-a-Distance is a book for theoretical physicists and philosophers of modern physics. It treats a puzzling and provocative aspect of recent quantum physics: the apparent interaction of certain physical events that cannot share any causal connection. These are said to be `entangled' in some way, but an explanation remains elusive. Abner Shimony - to whom the book is dedicated - and others suggest the need to revive the category of what may be seen as a metaphysical potentiality. (...) Abner has described these events without actions to link them as `passion at a distance': not active, but passive. The discussions gathered here are written by a truly remarkable cast of scientists and philosophers and shed new light on the most profound puzzles of our times. (shrink)

A private, for-profit company has recently opened a pair of plasma donation centres in Canada, at which donors can be compensated up to $50 for their plasma. This has sparked a nation-wide debate around the ethics of paying plasma donors. Our aim in this paper is to shift the terms of the current debate away from the question of whether plasma donors should be paid and toward the question of who should be paying them. We consider arguments against paying plasma (...) donors grounded in concerns about exploitation, commodification, and the introduction of a profit motive. We find them all to be normatively inconclusive, but also overbroad in light of Canada’s persistent reliance on plasma from paid donors in the United States. While we believe that there are good reasons to oppose allowing a private company to profit from Canada’s blood supply, these concerns can be addressed if payment is dispensed instead by a public, not-for-profit agency. In short, we reject profiting from plasma while we endorse paying for plasma; we therefore conclude in favour of a new Canadian regime of public sector plasma collection and compensation. (shrink)

According to the “knowability thesis,” every truth is knowable. Fitch’s paradox refutes the knowability thesis by showing that if we are not omniscient, then not only are some truths not known, but there are some truths that are not knowable. In this paper, I propose a weakening of the knowability thesis (which I call the “conjunctive knowability thesis”) to the e:ect that for every truth p there is a collection of truths such that (i) each of them is knowable and (...) (ii) their conjunction is equivalent to p. I show that the conjunctive knowability thesis avoids triviality arguments against it, and that it fares very di:erently depending on another thesis connecting knowledge and possibility. If there are two propositions, inconsistent with one another, but both knowable, then the conjunctive knowability thesis is trivially true. On the other hand, if knowability entails truth, the conjunctive knowability thesis is coherent, but only if the logic of possibility is weak. (shrink)

Strong reasoning skills are an important aspect to cultivate in life, as they directly impact decision making on a daily basis. By examining the different ways the world views logic and order, new methods and techniques can be employed to help expand on this skill further in the future. -/- Philosophical Perceptions on Logic and Order is a pivotal scholarly resource that discusses the evolution of logical reasoning and future applications for these types of processes. Highlighting relevant topics including logic (...) patterns, deductive logic, and inductive logic, this publication is an ideal reference source for academicians, students, and researchers that would like to expand their understanding of how society currently employs the use of logical reasoning techniques. (shrink)

Theorists of the welfare state increasingly recognize that social insurance programs are not well-justified by distributive egalitarianism—meaning concern for equality considered as a pattern in the distribution of some good. However, recent work by several relational egalitarian theorists suggests that these programs may be justified on relational egalitarian grounds. Relational egalitarians hold that the proper object of egalitarian concern is the way that citizens relate to one another. In this paper, I review the problems facing a distributive egalitarian justification for (...) social insurance before considering and rejecting three relational egalitarian justifications. I close by offering a justification for these programs grounded in efficiency, not equality. (shrink)

We present an account of the evolutionary development of the experiences of empathy that marked the beginning of morality and art. We argue that aesthetic and moral capacities provided an important foundation for later epistemic developments. The distinction between phenomenal consciousness and attention is discussed, and a role for phenomenology in cognitive archeology is justified-critical sources of evidence used in our analysis are based on the archeological record. We claim that what made our species unique was a form of meditative (...) and empathic thinking that made large-scale human cooperation possible through pre-linguistic, empathic communication. A critical aspect of this proposal is that the transformation that led to the dawn of our species was not initially driven by semantic or epistemic factors, although clearly, these factors increased the gap between us and other species dramatically later on. Our proposal suggests that recent philosophy of mind and psychology might have "epistemicized" phenomenal consciousness too much by construing it in terms of semantic content rather than by describing it in terms of empathic and meditative thinking. Instead of the prevailing approach, we favor the type of subjectivity that is fundamentally "other-involving" as essential, because on our account, a necessary condition for subjectivity is the empathic understanding of other individuals' psychology, not through inference or judgment, but through immediate conscious engagement. (shrink)

In this paper we introduce a new natural deduction system for the logic of lattices, and a number of extensions of lattice logic with different negation connectives. We provide the class of natural deduction proofs with both a standard inductive definition and a global graph-theoretical criterion for correctness, and we show how normalisation in this system corresponds to cut elimination in the sequent calculus for lattice logic. This natural deduction system is inspired both by Shoesmith and Smiley's multiple conclusion systems (...) for classical logic and Girard's proofnets for linear logic. (shrink)

The paradoxes of self reference have to be dealt with by anyone seeking to give a satisfactory account of the logic of truth, of properties, and even of sets of numbers. Unfortunately, there is no widespread agreement as to how to deal with these paradoxes. Some approaches block the paradoxical inferences by rejecting as invalid a move that classical logic counts as valid. In the recent literature, this deviant logic analysis of the paradoxes has been called into question.This disagreement motivates (...) a re-examination of the philosophy of formal logic and the status of logical truths and rules. In this paper I do some of this work, and I show that this gives us the means to defend the deviant approaches against such criticisms. As a result I hope to show that these analyses of the paradoxes are worthy of more serious consideration than they have so far received. (shrink)

This paper concerns a key point of decision in Donald Davidson's early work in philosophy of language — a fateful decision that set him and the discourse in the area on the path of truth-theoretic semantics. The decision of moment is the one Davidson makes when, in the face of a certain barrier, he gives up on the idea of constructing an explicit meaning theory that would parallel Tarski's recursive way with truth theory. For Davidson there was little choice: he (...) tells us he does not see how to deal with the difficulty except in the radical way he proposes. But there is a way to give such a meaning theory — a meaning theory proper which, using classical logic only, meets a meaning-theoretic analogue of Convention T, satisfies Davidson’s three key desiderata for a theory of meaning, reflects linguistic competence, and avoids quantifying over meanings. The meaning theory sketched here uses Tarskian strategies, as Davidson proposed, but differs from Davidson's approach in not going by way of a truth theory for the target language. (shrink)

In this note I respond to Hartley Slater's argument 12 to the e ect that there is no such thing as paraconsistent logic. Slater's argument trades on the notion of contradictoriness in the attempt to show that the negation of paraconsistent logics is merely a subcontrary forming operator and not one which forms contradictories. I will show that Slater's argument fails, for two distinct reasons. Firstly, the argument does not consider the position of non-dialethic paraconsistency which rejects the possible truth (...) of any contradictions. Against this position Slater's argument has no bite at all. Secondly, while the argument does show that for dialethic paraconsistency according to which contradictions can be true, certain other contradictions must be true, I show that this need not deter the dialethic paraconsistentist from their position. (shrink)

Proponents of “truth-value glut” responses to the paradoxes of self-reference, such as Priest [6, 7] argue that “truth-value gap” analyses of the paradoxes fall foul of the strengthened liar paradox: “this sentence is not true.” If we pay attention to the role of assertion and denial and the behaviour of negation in both “gap” and “glut” analyses, we see that the situation with these approaches has a pleasing symmetry: gap approaches take some denials to fail to be expressible by negation, (...) and glut approaches take some negations to not express denials. But in the light of this symmetry, considerations against a gap view point to parallel considerations against a glut view. Those who find some reason to prefer one view over another (and this is almost everyone) must find some reason to break this symmetry. (shrink)