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)

These original essays reconceive the place of religion for critical thought following the recent ‘turn to religion’ in Continental philosophy, framing new issues for exploration, including questions of justice, anxiety, and evil; the sublime, and of the soul haunting genetics; how reason may be reshaped by new religious movements and by ritual and experience. Contributors: Pamela Sue Anderson, Gary Banham, Bettina Bergo, John Caputo, Clayton Crockett, Jonathan Ellsworth, Philip Goodchild, Matthew Halteman, Wayne Hudson, Grace Jantzen, Donna Jowett, Greg (...) Sadler, Graham Ward, and Edith Wyschogrod. (shrink)

Something has been going wrong on many college campuses in the last few years. Speakers are shouted down. Students and professors say they are walking on eggshells and are afraid to speak honestly. Rates of anxiety, depression, and suicide are rising--on campus as well as nationally. How did this happen? First Amendment expert Greg Lukianoff and social psychologist Jonathan Haidt show how the new problems on campus have their origins in three terrible ideas that have become increasingly woven into (...) American childhood and education: What doesn't kill you makes you weaker; always trust your feelings; and life is a battle between good people and evil people. These three Great Untruths contradict basic psychological principles about well-being and ancient wisdom from many cultures. Embracing these untruths--and the resulting culture of safetyism--interferes with young people's social, emotional, and intellectual development. It makes it harder for them to become autonomous adults who are able to navigate the bumpy road of life. Lukianoff and Haidt investigate the many social trends that have intersected to promote the spread of these untruths. They explore changes in childhood such as the rise of fearful parenting, the decline of unsupervised, child-directed play, and the new world of social media that has engulfed teenagers in the last decade. They examine changes on campus, including the corporatization of universities and the emergence of new ideas about identity and justice. They situate the conflicts on campus within the context of America's rapidly rising political polarization and dysfunction. This is a book for anyone who is confused by what is happening on college campuses today, or has children, or is concerned about the growing inability of Americans to live, work, and cooperate across party lines. (shrink)

Andrew Wayne discusses some recent attempts to account, within a Bayesian framework, for the "common methodological adage" that "diverse evidence better confirms a hypothesis than does the same amount of similar evidence". One of the approaches considered by Wayne is that suggested by Howson and Urbach and dubbed the "correlation approach" by Wayne. This approach is, indeed, incomplete, in that it neglects the role of the hypothesis under consideration in determining what diversity in a body of evidence (...) is relevant diversity. In this paper, it is shown how this gap can be filled, resulting in a more satisfactory account of the evidential role of diversity of evidence. In addition, it is argued that Wayne's criticism of the correlation approach does not indicate a serious flaw in the approach. (shrink)

Our topic is the notion of logical consequence: the link between premises and conclusions, the glue that holds together deductively valid argument. How can we understand this relation between premises and conclusions? It seems that any account begs questions. Painting with very broad brushtrokes, we can sketch the landscape of disagreement like this: “Realists” prefer an analysis of logical consequence in terms of the preservation of truth [29]. “Anti-realists” take this to be unhelpful and o:er alternative analyses. Some, like Dummett, (...) look to preservation of warrant to assert [9, 36]. Others, like Brandom [5], take inference as primitive, and analyse other notions in terms of it. There is plenty of disagreement on the “realist” side of the fence too. It is one thing to argue that logical consequence involves preservation of truth. It is another to explain how far truth must be preserved. Is the preservation essentially modal (in all circumstances [25]) or analytic (vouchsafed by.. (shrink)

Many people have claimed that integrity requires sticking to one's convictions come what may. Greg Scherkoske challenges this claim, arguing that it creates problems in distinguishing integrity from fanaticism, close-mindedness or mere inertia. Rather, integrity requires sticking to one's convictions to the extent that they are justifiable and likely to be correct. In contrast to traditional views of integrity, Scherkoske contends that it is an epistemic virtue intimately connected to what we know and have reason to believe, rather than (...) an essentially moral virtue connected to our values. He situates integrity in the context of shared cognitive and practical agency and shows that the relationship between integrity and impartial morality is not as antagonistic as many have thought - which has important implications for the 'integrity objection' to impartial moral theories. This original and provocative study will be of great interest to advanced students and scholars of ethics. (shrink)

It is argued that the English bare plural (an NP with plural head that lacks a determiner), in spite of its apparently diverse possibilities of interpretation, is optimally represented in the grammar as a unified phenomenon. The chief distinction to be dealt with is that between the generic use of the bare plural (as in Dogs bark) and its existential or indefinite plural use (as in He threw oranges at Alice). The difference between these uses is not to be accounted (...) for by an ambiguity in the NP itself, but rather by explicating how the context of the sentence acts on the bare plural to give rise to this distinction. A brief analysis is sketched in which bare plurals are treated in all instances as proper names of kinds of things. A subsidiary argument is that the null determiner is not to be regarded as the plural of the indefinite article a. (shrink)

Everyone knows what noise is. Or do they? Can we in fact say that one man's noise is another teenager's music? Is noise in fact only an auditory phenomenon or does it extend far beyond this realm? If our common definitions of noise are necessarily subjective and noise is not just unpleasant sound, then it merits a closer look (or listen). Greg Hainge sets out to define noise in this way, to find within it a series of operations common (...) across its multiple manifestations that allow us to apprehend it as something other than a highly subjective term that tells us very little. Examining a wide range of texts, including Sartre's novel Nausea and David Lynch's iconic films Eraserhead and Inland Empire, Hainge investigates some of the Twentieth Century's most infamous noisemongers to suggest that they're not that noisy after all; and it finds true noise in some surprising places. The result is a thrilling and illuminating study of sound and culture. (shrink)

Combining phenomenological insights from Brentano and Sartre, but also drawing on recent work on consciousness by analytic philosophers, this book defends the view that conscious states are reflexive, and necessarily so, i.e., that they have a built-in, implicit awareness of their own occurrence, such that the subject of a conscious state has an immediate, non-objectual acquaintance with it. As part of this investigation, the book also explores the relationship between reflexivity and the phenomenal, or what-it-is-like, dimension of conscious experience, defending (...) the innovative thesis that phenomenal character is constituted by the implicit self-awareness built into every conscious state. This account stands in marked contrast to most influential extant theories of phenomenal character, including qualia theories, according to which phenomenal character is a matter of having phenomenal sensations, and representationalism, according to which phenomenal character is constituted by representational content. (shrink)

This essay is a response by Carlo DaVia and Greg Lynch—authors of the recently published book The Event of Meaning in Gadamer’s Hermeneutics (Routledge 2024)—to two commentators, Robert Dostal and Csaba Olay, presented as part of a book symposium at the 2025 annual conference of the North American Society for Philosophical Hermeneutics.

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)

In this paper, I distinguish different kinds of pluralism about logical consequence. In particular, I distinguish the pluralism about logic arising from Carnap’s Principle of Tolerance from a pluralism which maintains that there are different, equally “good” logical consequence relations on the one language. I will argue that this second form of pluralism does more justice to the contemporary state of logical theory and practice than does Carnap’s more moderate pluralism.

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)

This paper gives an outline of three different approaches to the four-valued semantics for relevant logics (and other non-classical logics in their vicinity). The first approach borrows from the 'Australian Plan' semantics, which uses a unary operator '⋆' for the evaluation of negation. This approach can model anything that the two-valued account can, but at the cost of relying on insights from the Australian Plan. The second approach is natural, well motivated, independent of the Australian Plan, and it provides a (...) semantics for the contraction-free relevant logic C (or RW). Unfortunately, its approach seems to model little else. The third approach seems to capture a wide range of formal systems, but at the time of writing, lacks a completeness proof. (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)

summary of work in relevant in the Anderson– tradition.]; Mares Troestra, Anne, 1992, Lectures on , CSLI Publications [A quick, easy-to.

In: Ruse, M., editor. Philosophy of Biology. Prometheus Books. Amherst, NY. Pp. 385-392.

This paper continues the work of Priest and Sylvan in Simplified Semantics for Basic Relevant Logics, a paper on the simplified semantics of relevant logics, such as B⁺ and B. We show that the simplified semantics can also be used for a large number of extensions of the positive base logic B⁺, and then add the dualising '*' operator to model negation. This semantics is then used to give conservative extension results for Boolean negation.

A logic is said to be contraction free if the rule from A→(A→B) to A→B is not truth preserving. It is well known that a logic has to be contraction free for it to support a non-trivial naïve theory of sets or of truth. What is not so well known is that if there is another contracting implication expressible in the language, the logic still cannot support such a naïve theory. A logic is said to be robustly contraction free if (...) there is no such operator expressible in its language. We show that a large class of finitely valued logics are each not robustly contraction free, and demonstrate that some other contraction free logics fail to be robustly contraction free. Finally, the sublogics of Łω (with the standard connectives) are shown to be robustly contraction free. (shrink)

Whether or not the particular view of generic sentences articulated above is correct, it is quite clear that the study of generic terms and the truth-conditions of generic sentences touches on the representation of other parts of the grammar, as well as on how the world around us is reflected in language. I would hope that the problems mentioned above will highlight the relevance of semantic analysis to other apparently distinct questions, and focus attention on the relevance of linguistic problems (...) to other already established areas of inquiry. (shrink)

In barely the space of one generation, Athens was transformed from a conventional city-state into something completely new--a region-state on a scale previously unthinkable. This book sets out to answer a seemingly simple question: How and when did the Athenian state attain the anomalous size that gave it such influence in Greek politics and culture in the classical period? Many scholars argue that Athens's incorporation of Attica was a gradual development, largely completed some two hundred years before the classical era. (...) Anderson, however, suggests that it is not until the late sixth century that we see the first systematic attempts by the Athenian polis to integrate all of Attica. Anderson first takes issue with the prevailing view of Cleisthenes' landmark political reforms of 508-7 b.c., arguing that they were animated by a more comprehensive vision of regional political community in Attica. The Athenians' strengthened the state by establishing institutional mechanisms that would allow inhabitants of the Attic periphery to participate as never before in the life of the center. The creation of a suitable physical setting for the new order was accompanied by religious, military, and symbolic innovations. Regional participation in Athenian affairs was stimulated by encouraging the Attic populace to imagine themselves, for the first time ever, as members of a single, like-minded, self-governing political community. Greg Anderson is Assistant Professor of Classics and History, University of Illinois at Chicago. (shrink)

Many logics in the relevant family can be given a proof theory in the style of Belnap's display logic. However, as originally given, the proof theory is essentially more expressive than the logics they seek to model. In this paper, we consider a modified proof theory which more closely models relevant logics. In addition, we use this proof theory to show decidability for a large range of substructural logics.

The stock market crash of 1987 had a profound effect on corporate Australia and the Australian community in general. The fall-out revealed that some of our most respected business figures had not been as ethical, or even as lawful, as we would have hoped. This impropriety produced in Australia an awakening to business ethics. Whilst many companies endeavoured to introduce ethical practices into their corporations, they perceived ethics as a way of minimising damage to the corporation and in some cases (...) as a means of competitive advantage. What was lost was the reason that one should embark on business ethics; and that is to make the society and corporate Australia a more ethical place in which to exist.This paper proposes a model based on 2 factors: commitment and partnerships, as a means of enabling corporate Australia to refocus attention on the main purpose of being inherently ethical in all that we do. This ethical model requires a commitment to partnerships with all stakeholders both internal and external in an attempt to enhance the level of ethical business practices that are contemplated and pursued within corporate Australia. Whilst the research agenda and the information collected is Australian-based, it is hoped that the ideas contained within this paper will have a wider appeal to corporations in similar cultural settings. (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)

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)

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)

Mark Balaguer's Platonism and Anti-Platonism in Mathematics presents an intriguing new brand of platonism, which he calls plenitudinous platonism, or more colourfully, full-blooded platonism. In this paper, I argue that Balaguer's attempts to characterise full-blooded platonism fail. They are either too strong, with untoward consequences we all reject, or too weak, not providing a distinctive brand of platonism strong enough to do the work Balaguer requires of it.

introduction Rhetoric/Memory/Place Carole Blair, Greg Dickinson, and Brian L. Ott The story is told of the poet Simonides of Ceos who, after chanting a poem...

It is common parlance among philosophers who inquire into the nature of consciousness to speak of there being something it is like for the subject of a mental state to be in it. The popularity of the ‘what-it-is-like’ phrase stems, in part, from the assumption that it enables us to distinguish, in an intuitive and illuminating way, between conscious and unconscious mental states: conscious mental states, unlike unconscious mental states, are such that there is something it is like for their (...) subjects to be in them. The ‘what-it-is-like’ phrase, however, has not gone unopposed; some very clever philosophers have vigorously disputed it. Peter Hacker, for example, has argued that the phrase should be abandoned because it is ungrammatical, and Paul Snowdon has argued that it should be abandoned because the propositions expressed by its usage are either trivial or false. This paper mounts a case for the claim that neither of these conclusions is warranted. Against Hacker, it is argued that the arguments he produces for the ungrammaticality of the phrase are unpersuasive, and against Snowdon it is argued that he fails to consider a plausible and independently motivated interpretation of the phrase, and that, on this interpretation, the propositions expressed by its usage are non-trivially true. (shrink)

Abstract 1 This paper makes a preliminary case for a central and radical claim. I begin with Bernard Williams? seldom-faced argument that integrity cannot be a moral virtue because it lacks two key ingredients of moral virtues, namely a characteristic thought and motivation. Whereas, for example, generosity involves the thought that another could use assistance, and the motivation to actually give assistance, integrity lacks these two things essential to morally excellent responses. I show that several maneuvers aimed at avoiding Williams? (...) challenge fail and that others are likely to remain unpersuasive. The paper concludes by offering an argument to the best explanation: Williams? important insight is best explained by the supposition that integrity is an epistemic virtue, and an epistemic virtue of a practical sort. (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)

Propositional logic -- Propositions and arguments -- Connectives and argument forms -- Truth tables -- Trees -- Vagueness and bivalence -- Conditionality -- Natural deduction -- Predicate logic -- Predicates, names, and quantifiers -- Models for predicate logic -- Trees for predicate logic -- Identity and functions -- Definite descriptions -- Some things do not exist -- What is a predicate? -- What is logic?

Some empirical findings seem to show that people value health benefits differently depending on the age of the beneficiary. Health economists and philosophers have offered justifications for these preferences on grounds of both efficiency and equity. In this paper, I examine the most prominent examples of both sorts of justification: the defence of age-weighting in the WHO's global burden of disease studies and the fair innings argument. I argue that neither sort of justification has been worked out in satisfactory form: (...) age should not be taken into account in the framework of the burden of disease measure, and on the most promising formulations of the fair innings argument, it turns out to be merely an indicator of some other factor. I conclude by describing the role of age in theories of justice of healthcare resource allocation. (shrink)

Molinism is an attempt to do equal justice to divine foreknowledge and human freedom. For Molinists, human freedom fits in this universe for the future is open or unsettled. However, God’s middle knowledge — God’s contingent knowledge of what agents would freely do in this or that circumstance — underwrites God’s omniscience in the midst of this openness. In this paper I rehearse Nuel Belnap and Mitchell Green’s argument in “Indeterminism and the Thin Red Line ” against the reality of (...) a distinguished single future in the context of branching time [2], and show that it applies applies equally against Molinism + branching time. In the process, we show how contemporary work in the logic of temporal notions in the context of branching time can illuminate discussions in the metaphysics of freedom and divine knowledge. (shrink)

Karl Popper defines an ad hoc hypothesis as one that is introduced to immunize a theory from some (or all) refutation but which cannot be tested independently. He has also attempted to explicate ad hocness in terms of certain other allegedly undesirable properties of hypotheses or of the explanations they would provide, but his account is confused and mistaken. The first such property is circularity, which is undesirable; the second such property is reduction in empirical content, which need not be. (...) In the former case, I argue that non-circularity is in any event preferable to non-ad hocness as a necessary condition for a satisfactory explanation or an explanans, as the case may be, and I try to sort out various persistent errors surrounding this comparison. In the latter case, I suggest that Popper is barking up the wrong tree, that important scientific progress sometimes does consist in just such reductions in empirical content as he proscribes. This provides a further reason for not taking ad hoc hypotheses as Popper conceives them to pose the danger for science he believes they do. (shrink)

Cost effectiveness analysis is a tool for evaluating the aggregate benefits of medical treatments, health care services, and public health programs. Its opponents often claim that its use leads to unfair discrimination against people with disabilities. My aim in this paper is to clarify the conditions under which this might be so. I present some ways in which the use of cost effectiveness analysis can lead to discrimination and suggest why these forms of discrimination may be unfair. I also discuss (...) some proposals for avoiding discrimination without rejecting cost effectiveness analysis altogether. I argue that none of these proposals is ultimately convincing. I describe a different approach to the problem and conclude by answering the question in the title. (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)

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)