The Introduction to "Knowledge, Number and Reality. Encounters with the Work of Keith Hossack" provides an overview over Hossack's work and the contributions to the volume.

The focus of this paper are Dummett's meaning-theoretical arguments against classical logic based on consideration about the meaning of negation. Using Dummettian principles, I shall outline three such arguments, of increasing strength, and show that they are unsuccessful by giving responses to each argument on behalf of the classical logician. What is crucial is that in responding to these arguments a classicist need not challenge any of the basic assumptions of Dummett's outlook on the theory of meaning. In particular, I (...) shall grant Dummett his general bias towards verificationism, encapsulated in the slogan 'meaning is use'. The second general assumption I see no need to question is Dummett's particular breed of molecularism. Some of Dummett's assumptions will have to be given up, if classical logic is to be vindicated in his meaning-theoretical framework. A major result of this paper will be that the meaning of negation cannot be defined by rules of inference in the Dummettian framework. (shrink)

Dido Belle was the illegitimate daughter of Captain Lindsay, the aristocratic nephew of William Murray, Scottish by birth and Lord Chief Justice of England for many decades. The book tells the story of Dido's life in Lord Mansfield homes, from the time her father begged Lord and Lady Mansfield to be wards of the child Dido to the death at age 88 of Lord Mansfield, mainly cared for by Dido and to Dido's young death at age 43. It also raises (...) issues of financial queries, Wills, Probate, and the place of a woman in society in those days, not quite chattel but not equal to men. (shrink)

ABSTRACTEvaluative aesthetic discourse communicates that the speaker has had first-hand experience of what is talked about. If you call a book bewitching, it will be assumed that you have read the book. If you say that a building is beautiful, it will be assumed that you have had some visual experience with it. According to an influential view, this is because knowledge is a norm for assertion, and aesthetic knowledge requires first-hand experience. This paper criticizes this view and argues for (...) an alternative view, according to which aesthetic discourse expresses affective states of mind, analogously to how assertions express beliefs. It is because these affective states require first-hand experience that aesthetic discourse communicates that such acquaintance is at hand. The paper furthermore argues that the lack of an experience requirement for aesthetic belief ascriptions constitutes a problem for the kind of expressivist who claims that evaluative belief states are covert non-cognitive states. (shrink)

Within contemporary metaethics, it is widely held that there is a “presumption of realism” in moral thought and discourse. Anti-realist views, like error theory and expressivism, may have certain theoretical considerations speaking in their favor, but our pretheoretical stance with respect to morality clearly favors objectivist metaethical views. This article argues against this widely held view. It does so by drawing from recent discussions about so-called “subjective attitude verbs” in linguistics and philosophy of language. Unlike pretheoretically objective predicates (e.g., “is (...) made of wood”, “is 185 cm tall”), moral predicates embed felicitously under subjective attitude verbs like the English “find”. Moreover, it is argued that the widespread notion that moral discourse bears all the marks of fact-stating discourse is rooted in a blinkered focus on examples from English. Cross-linguistic considerations suggest that subjective attitude verbs are actually the default terms by which we ascribe moral views to people. Impressions to the contrary in English have to do with some unfortunate quirks of the term “think”. (shrink)

It is widely held within contemporary metaethics that there is a lack of linguistic support for evaluative expressivism. On the contrary, it seems that the predictions that expressivists make about evaluative discourse are not borne out. An instance of this is the so-called problem of missing Moorean infelicity. Expressivists maintain that evaluative statements express non-cognitive states of mind in a similar manner to how ordinary descriptive language expresses beliefs. Conjoining an ordinary assertion that p with the denial of being in (...) the corresponding belief state famously gives rise to Moorean infelicity:?? It’s raining but I don’t believe that it’s raining. If expressivists are right, then conjoining evaluative statements with the denial of being in the relevant non-cognitive state of mind should give rise to similar infelicity. However, as several theorists have pointed out, this does not seem to be the case. Statements like the following are not infelicitous: Murder is wrong but I don’t disapprove of it. In this paper, I argue that evaluative statements express the kind of states that are attributed by ‘find’-constructions in English and that these states are non-cognitive in nature. This addresses the problem of missing Moorean infelicity and, more generally, goes to show that there are linguistic facts which support expressivism about evaluative discourse. (shrink)

In bilateral logic formulas are signed by + and –, indicating the speech acts assertion and denial. I argue that making an assumption is also speech act. Speech acts cannot be embedded within other speech acts. Hence we cannot make sense of the notion of making an assumption in bilateral logic. Attempts to solve this problem are considered and rejected.

Hossack's 'The Metaphysics of Knowledge' develops a theory of facts, entities in which universals are combined with universals or particulars, as the foundation of his metaphysics. While Hossack argues at length that there must be negative facts, facts in which the universal 'negation' is combined with universals or particulars, his conclusion that there are also general facts, facts in which the universal 'generality' is combined with universals, is reached rather more swiftly. In this paper I present Hossack with three arguments (...) for his conclusion. They all draw, as does Hossack's theory of facts, on views Russell expressed in various writings. Two arguments are based on Russell's explanation of universals as aspects of resemblance; the third on Russell's observation that general propositions do not follow logically from exclusively particular premises. Comparison with other metaphysics of generality show them to be wanting and Russell's and Hossack's accounts superior. (shrink)

Ian Rumfitt has proposed systems of bilateral logic for primitive speech acts of assertion and denial, with the purpose of ‘exploring the possibility of specifying the classically intended senses for the connectives in terms of their deductive use’ : 810f). Rumfitt formalises two systems of bilateral logic and gives two arguments for their classical nature. I assess both arguments and conclude that only one system satisfies the meaning-theoretical requirements Rumfitt imposes in his arguments. I then formalise an intuitionist system of (...) bilateral logic which also meets those requirements. Thus Rumfitt cannot claim that only classical bilateral rules of inference succeed in imparting a coherent sense onto the connectives. My system can be extended to classical logic by adding the intuitionistically unacceptable half of a structural rule Rumfitt uses to codify the relation between assertion and denial. Thus there is a clear sense in which, in the bilateral framework, the difference between classicism and intuitionism is not one of the rules of inference governing negation, but rather one of the relation between assertion and denial. (shrink)

Rumfitt has given two arguments that in unilateralist verificationist theories of meaning, truth collapses into correct assertibility. In the present paper I give similar arguments that show that in unilateral falsificationist theories of meaning, falsehood collapses into correct deniability. According to bilateralism, meanings are determined by assertion and denial conditions, so the question arises whether it succumbs to similar arguments. I show that this is not the case. The final section considers the question whether a principle central to Rumfitt's first (...) argument, ‘It is assertible that if and only if it is assertible that it is assertible that ’, is one that bilateralists can reject, and concludes that they cannot. It follows that the logic of assertibility and deniability, according to a result by Williamson, is the little known modal logic K4 studied by Sobociński. The paper ends with a plaidoyer for bilateralists to adopt this logic. (shrink)

The outcomes of sports and competitive games excite intense emotions in many people, even when those same people acknowledge that those outcomes are of trifling importance. I call this incongruity between the judged importance of the outcome and the intense reactions it provokes the Puzzle of Sport. The puzzle can be usefully compared to another puzzle in aesthetics: the Paradox of Fiction, which asks how it is we become emotionally caught up with events and characters we know to be unreal. (...) In this article, I examine the prospects of understanding our engagement with competitive games on the model of our engagement with works of fiction, thus enabling analogous explanations for both puzzles. I show that there are significant problems with such an approach and offer an alternative, mobilizing ideas from David Velleman and Thomas Nagel, that appeals to the volatility of our motivational attitudes. (shrink)

Without directly addressing the Demarcation Problem for logic—the problem of distinguishing logical vocabulary from others—we focus on distinctive aspects of logical vocabulary in pursuit of a second goal in the philosophy of logic, namely, proposing criteria for the justification of logical rules. Our preferred approach has three components. Two of these are effectively Belnap’s, but with a twist. We agree with Belnap’s response to Prior’s challenge to inferentialist characterisations of the meanings of logical constants. Belnap argued that for a logical (...) constant to exist, its rules must be conservative over a previously given consequence relation and guarantee the uniqueness of the constant. The twist is that we require logical vocabulary to be provably conservative, not over a previously given formal consequence relation, but over a previously given meaningful vocabulary of a language. Uniqueness is also a feature defined in terms of provability: if two syntactically distinguished expressions are governed by the same rules, then formulas with them as main operators are interderivable. Belnap’s criteria are not only those for the existence of a logical constant, but more: they are what distinguishes logical vocabulary from all other expressions. It is the defining mark of a logical constant that it is provably conservative over the fragment of the language which excludes it and that its rules guarantee its uniqueness. The third component is the topic neutrality of logic. The provable conservativeness of logic over a previously given vocabulary of a language is motivated, in part, by appeal to molecularism in the theory of meaning. Molecularity is a feature endorsed by the theory of meaning as a whole, so it does not distinguish logical constants from other expressions. The same is true for conservativeness. We argue that molecularity, and hence conservativeness, are implicit presuppositions of speakers’ use of language: the addition of new vocabulary to a language is presupposed to be conservative. But this presupposition is one that we should be able reflectively to endorse (such as when attempting a rational reconstruction of the use of the vocabulary). Thus, where conservativeness is found to fail, this defect should be remedied and the use of the vocabulary corrected (as in classical negation) or excised altogether (as in pejoratives). We go on to characterise a notion of topic neutrality, which we argue applies to logical vocabulary. We then note that reflective endorsement of the conservativeness of a topic neutral vocabulary requires a proof that the vocabulary is conservative relative to any base vocabulary. Thus we require that logical vocabulary be demonstrably conservative. Allying this requirement, distinctive of logic, to a general consideration about the commitments of assertion yields a mode of justification for logical constants akin to some conceptions of Harmony, i.e., to the idea that the consequences of assertion of a logical complex need to be warranted by the grounds and ought to be the strongest consequences warranted by the grounds. Intuitionistic logic acquires a somewhat familiar justification but emanating from a new motivation. (shrink)

Bilateralists hold that the meanings of the connectives are determined by rules of inference for their use in deductive reasoning with asserted and denied formulas. This paper presents two bilateral connectives comparable to Prior's tonk, for which, unlike for tonk, there are reduction steps for the removal of maximal formulas arising from introducing and eliminating formulas with those connectives as main operators. Adding either of them to bilateral classical logic results in an incoherent system. One way around this problem is (...) to count formulas as maximal that are the conclusion of reductio and major premise of an elimination rule and to require their removability from deductions. The main part of the paper consists in a proof of a normalisation theorem for bilateral logic. The closing sections address philosophical concerns whether the proof provides a satisfactory solution to the problem at hand and confronts bilateralists with the dilemma that a bilateral notion of stability sits uneasily with the core bilateral thesis. (shrink)

A well-known theory about under which circumstances a statement is true in a fiction is The Reality Principle, which originate in the work of David Lewis: (RP) Where p1... pn are the primary fictional truths of a fiction F , it is true in F that q iff the following holds: were p1 ... pn the case, q would have been the case (Walton 1990: 44). RP has been subjected to a number of counterexamples, up to a point where, in (...) the words of Stacie Friend “it is widely recognized that the Reality Principle […] cannot be a universal inference rule for implied story-truths” (Friend 2017: 33). This chapter argues that the strength of these counterexamples is widely overestimated, and that they do not, on closer scrutiny, constitute reasons for rejecting RP. (shrink)

This is a commentary on MM McCabe's "First Chop your logos... Socrates and the sophists on language, logic, and development". In her paper MM analyses Plato's Euthydemos, in which Plato tackles the problem of falsity in a way that takes into account the speaker and complements the Sophist's discussion of what is said. The dialogue looks as if it is merely a demonstration of the silly consequences of eristic combat. And so it is. But a main point of MM's paper (...) is that there is serious philosophy in the Euthydemos, too. MM argues that to counter the sophist brothers Euthydemos and Dionysodoros, Socrates points out that that there are different aspects to the verb 'to say' that run in parallel to the different aspects of the very 'to learn'. So just as there is continuity rather than ambiguity between 'to learn' and 'to understand', so there is continuity between the different aspects of saying. Thus Socrates puts forward a teleological account of both learning and meaning. Following up on some of MM's thoughts, I argue that the sophists subscribe, despite appearance, to a theory of meaning that respects serious and widely accepted philosophical theses on meaning. -/- Forthcoming in the Australasian Philosophical Review. The curator of the volume is Fiona Leigh, and the committee also has Hugh Benson and Tim Clarke. You can find MM's paper as well as the commentaries by Nicholas Denyer and Russell E. Jones and Ravi Sharma (and myself) by registering. (shrink)

This paper studies a formalisation of intuitionistic logic by Negri and von Plato which has general introduction and elimination rules. The philosophical importance of the system is expounded. Definitions of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system are formulated and corresponding reduction procedures for maximal formulas and permutative reduction procedures for maximal segments given. Alternatives to the main method used are also considered. It is shown that deductions in the system convert into normal form and that deductions (...) in normal form have the subformula property. (shrink)

This paper considers a formalisation of classical logic using general introduction rules and general elimination rules. It proposes a definition of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system, and gives reduction procedures for them. It is then shown that deductions in the system convert into normal form, i.e. deductions that contain neither maximal formulas nor maximal segments, and that deductions in normal form satisfy the subformula property. Tarski’s Rule is treated as a general introduction rule for implication. (...) The general introduction rule for negation has a similar form. Maximal formulas with implication or negation as main operator require reduction procedures of a more intricate kind not present in normalisation for intuitionist logic. (shrink)

In "Rethinking Sadomasochism," Patrick Hopkins challenges the "radical" feminist claim that sadomasochism is incompatible with feminism. He does so by appeal to the notion of "simulation." I argue that Hopkins's conclusions are generally right, but they cannot be inferred from his "simulation" argument. I replace Hopkins's "simulation" with Kendall Walton's more sophisticated theory of "make-believe." I use this theory to better argue that privately conducted sadomasochism is compatible with feminism.

This paper formulates a bilateral account of harmony that is an alternative to one proposed by Francez. It builds on an account of harmony for unilateral logic proposed by Kürbis and the observation that reading the rules for the connectives of bilateral logic bottom up gives the grounds and consequences of formulas with the opposite speech act. I formulate a process I call 'inversion' which allows the determination of assertive elimination rules from assertive introduction rules, and rejective elimination rules from (...) rejective introduction rules, and conversely. It corresponds to Francez's notion of vertical harmony. I also formulate a process I call 'conversion', which allows the determination of rejective introduction rules from assertive elimination rules and conversely, and the determination of assertive introduction rules from rejective elimination rules and conversely. It corresponds to Francez's notion of horizontal harmony. The account has a number of features that distinguish it from Francez's. (shrink)

Bilateralists, who accept that there are two primitive speech acts, assertion and denial, can offer an attractive definition of consequence: Y follows from X if and only if it is incoherent to assert all formulas X and to deny all formulas Y. The present paper argues that this definition has consequences many will find problematic, amongst them that truth coincides with assertibility. Philosophers who reject these consequences should therefore reject this definition of consequence.

Molnar argues that the problem of truthmakers for negative truths arises because we tend to accept four metaphysical principles that entail that all negative truths have positive truthmakers. This conclusion, however, already follows from only three of Molnar´s metaphysical principles. One purpose of this note is to set the record straight. I provide an alternative reading of two of Molnar´s principles on which they are all needed to derive the desired conclusion. Furthermore, according to Molnar, the four principles may be (...) inconsistent. By themselves, however, they are not. The other purpose of this note is to propose some plausible further principles that, when added to the four metaphysical theses, entail a contradiction. (shrink)

Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which was presented in (...) (Kürbis 2019), INFι is first compared to a system of Tennant’s and an axiomatic treatment of a term forming ι operator within intuitionist negative free logic. Both systems are shown to be equivalent to the subsystem of INFι in which the G of ιx[F, G] is restricted to identity. INFι is then compared to an intuitionist version of a system of Lambert’s which in addition to the term forming operator has an operator for predicate abstraction for indicating scope distinctions. The two systems will be shown to be equivalent through a translation between their respective languages. Advantages of the present approach over the alternatives are indicated in the discussion. (shrink)

This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F, G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite descriptions recommended (...) here and the more usual approach that uses a term-forming operator ι, where ιxF means ‘the F’. (shrink)

This paper draws attention to a proof of the necessity of identity given by Arthur Prior. In its simplicity, it is comparable to a proof of Quine's, popularised by Kripke, but it is slightly different. Prior's Polish notation is transcribed into a more familiar idiom. Prior's proof is followed by a proof of the necessity of difference, possibly the first such proof in the literature, which is also repeated here and transcribed. The paper concludes with a brief discussion of Prior's (...) views on identity and difference over time. (shrink)

The problem of negative truth is the problem of how, if everything in the world is positive, we can speak truly about the world using negative propositions. A prominent solution is to explain negation in terms of a primitive notion of metaphysical incompatibility. I argue that if this account is correct, then minimal logic is the correct logic. The negation of a proposition A is characterised as the minimal incompatible of A composed of it and the logical constant ¬. A (...) rule based account of the meanings of logical constants that appeals to the notion of incompatibility in the introduction rule for negation ensures the existence and uniqueness of the negation of every proposition. But it endows the negation operator with no more formal properties than those it has in minimal logic. (shrink)

There is widespread agreement that while on a Dummettian theory of meaning the justified logic is intuitionist, as its constants are governed by harmonious rules of inference, the situation is reversed on Huw Price's bilateralist account, where meanings are specified in terms of primitive speech acts assertion and denial. In bilateral logics, the rules for classical negation are in harmony. However, as it is possible to construct an intuitionist bilateral logic with harmonious rules, there is no formal argument against intuitionism (...) from the bilateralist perspective. Price gives an informal argument for classical negation based on a pragmatic notion of belief, characterised in terms of the differences they make to speakers' actions. The main part of this paper puts Price's argument under close scrutiny by regimenting it and isolating principles Price is committed to. It is shown that Price should draw a distinction between A or ¬A making a difference. According to Price, if A makes a difference to us, we treat it as decidable. This material allows the intuitionist to block Price's argument. Abandoning classical logic also brings advantages, as within intuitionist logic there is a precise meaning to what it might mean to treat A as decidable: it is to assume A ∨ ¬A. (shrink)

Persons are widely believed to be rational, planning agents that are both author and main character of their life stories. A major goal is to keep these narratives coherent as they unfold, and part of a fulfilled life allegedly stems from this coherence. My aim is to challenge these convictions by considering two related claims about persons and their lives. Contrary to the widespread theoretical conviction in philosophy of mind and action, persons are fundamentally emotional and affective rather than rational (...) and deliberative beings. And so, on a practical level, persons need not constantly aspire to integrate their past, present, and future into a coherent whole in order to live fulfilled lives. Needless to say, I cannot hope to defend these claims and their relation in great detail with a few brief strokes. In addition to theoretical reflections, I discuss some practical implications and potential benefits that come with discarding the daunting task of continuously keeping track of one's life story. Drawing on insights from a contemplative Buddhist tale, I venture that the practice of letting go can break the spell, and give rise to an alleviating source of liberation from life's troubles.Export citation. (shrink)

Supervenience in metaethics is the notion that there can be no moral dif-ference between two acts, persons or events without some non-moral difference underlying it. If St. Francis is a good man, there could not be a man exactly like St. Francis in non-evaluative respects that is not good. The phenomenon was first systematically discussed by R. M. Hare (1952), who argued that realists about evaluative properties struggle to account for it. As is well established, Hare, and following him, Simon (...) Blackburn, mistakenly took the relevant phenomenon to be weak rather than strong supervenience, and the explanations they offered for it are accordingly outdated. In this paper, I present a non-factualist account of strong su-pervenience of the evaluative and argue that it fares better than compet-ing realist views in explaining the conceptual nature of the phenomenon, as well as in offering an account of the supervenience of the evaluative in general, rather than more narrowly the moral. While Hare and Blackburn were wrong about the specifics, they were right in that non-factualists can offer a plausible account of the supervenience of the evaluative, that in certain respects is superior to competing realist explanations. (shrink)

Thought experiments that concoct bizarre possible world modalities are standard fare in debates on personal identity. Appealing to intuitions raised by such evocations is often taken to settle differences between conflicting theoretical views that, albeit, have practical implications for ethical controversies of personal identity in health care. Employing thought experiments that way is inadequate, I argue, since personhood is intrinsically linked to constraining facts about the actual world. I defend a moderate modal skepticism according to which intuiting across conceptually incongruent (...) worlds constitutes ‘invalid intuitioninferences’—i.e., carrying over intuitions gathered from facts about possible worlds that are at odds with facts about the actual world, for the purpose of making claims about real-life persons and their identity, leads to conceptual incongruences. Such a methodological fallout precludes accurate, informative judgments about personal identity in the actual world, calling into question the adequacy of thought experimental considerations for potential real world applications in medical ethics. (shrink)

The fundamental assumption of Dummett’s and Prawitz’ proof-theoretic justification of deduction is that ‘if we have a valid argument for a complex statement, we can construct a valid argument for it which finishes with an application of one of the introduction rules governing its principal operator’. I argue that the assumption is flawed in this general version, but should be restricted, not to apply to arguments in general, but only to proofs. I also argue that Dummett’s and Prawitz’ project of (...) providing a logical basis for metaphysics only relies on the restricted assumption. (shrink)

This short paper has two loosely connected parts. In the first part, I discuss the difference between classical and intuitionist logic in relation to different the role of hypotheses play in each logic. Harmony is normally understood as a relation between two ways of manipulating formulas in systems of natural deduction: their introduction and elimination. I argue, however, that there is at least a third way of manipulating formulas, namely the discharge of assumption, and that the difference between classical and (...) intuitionist logic can be characterised as a difference of the conditions under which discharge is allowed. Harmony, as ordinarily understood, has nothing to say about discharge. This raises the question whether the notion of harmony can be suitably extended. This requires there to be a suitable fourth way of manipulating formulas that discharge can stand in harmony to. The question is whether there is such a notion: what might it be that stands to discharge of formulas as introduction stands to elimination? One that immediately comes to mind is the making of assumptions. I leave it as an open question for further research whether the notion of harmony can be fruitfully extended in the way suggested here. In the second part, I discuss bilateralism, which proposes a wholesale revision of what it is that is assumed and manipulated by rules of inference in deductions: rules apply to speech acts – assertions and denials – rather than propositions. I point out two problems for bilateralism. First, bilaterlists cannot, contrary to what they claim to be able to do, draw a distinction between the truth and assertibility of a proposition. Secondly, it is not clear what it means to assume an expression such as '+ A' that is supposed to stand for an assertion. Worse than that, it is plausible that making an assumption is a particular speech act, as argued by Dummett (Frege: Philosophy of Language, p.309ff). Bilaterlists accept that speech acts cannot be embedded in other speech acts. But then it is meaningless to assume + A or − A. (shrink)

Consider the opening sentence of Tolkien’s The Hobbit: In a hole in the ground there lived a hobbit. By writing this sentence, Tolkien is making a fictional statement. There are two influential views of the nature of such statements. On the pretense view, fictional discourse amounts to pretend assertions. Since the author is not really asserting, but merely pretending, a statement such as Tolkien’s is devoid of illocutionary force altogether. By contrast, on the alternative make-believe view, fictional discourse prescribes that (...) the reader make-believe the content of the statement. In this paper, we argue that neither of these views is satisfactory. They both fail to distinguish the linguistic act of creating the fiction, for instance Tolkien writing the sentence above, from the linguistic act of reciting it, such as reading The Hobbit out loud for your children. As an alternative to these views, we propose that the essential feature of the author’s speech act is its productive character, that it makes some state of affairs obtain in the fiction. Tolkien’s statement, we argue, has the illocutionary force of a declaration. (shrink)

This paper presents rules in sequent calculus for a binary quantifier I to formalise definite descriptions: Ix[F, G] means ‘The F is G’. The rules are suitable to be added to a system of positive free logic. The paper extends the proof of a cut elimination theorem for this system by Indrzejczak by proving the cases for the rules of I. There are also brief comparisons of the present approach to the more common one that formalises definite descriptions with a (...) term forming operator. In the final section rules for I for negative free and classical logic are also mentioned. (shrink)

This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete sentences by a binary quantifier I. I forms a formula from two formulas. Ix[F, G] means ‘The F is G’. This approach has the advantage of incorporating scope distinctions directly into the notation. Cut elimination is proved for a system of classical positive free logic with I and it is shown to be (...) sound and complete for the semantics. The system has a number of novel features and is briefly compared to the usual approach of formalising ‘the F ’ by a term forming operator. It does not coincide with Hintikka’s and Lambert’s preferred theories, but the divergence is well-motivated and attractive. (shrink)

Within the interdisciplinary field of new materialism Karen Barad’s theory of agential realism deconstructs our current euro-western metaphysical perception of the world and our existence within it, to then re-build an understanding based on relatively new findings within quantum physics. In this thesis I try to recreate Barad’s theory to see what ethical consequences might come from it. Together with practical examples within the discourse of today’s social world and our global connectedness I hope to create a better understanding of (...) the impact of our actions and being on our culture and what we call the natural world. Removing the unique agency given to human culture and language to instead, with the help of post-humanistic ideas, add agency as a universal enactment rather than an attribute, we should start to see ourselves as active and real parts of the world-building that is our home. One main question that I see arise in the end is: what does responsibility entail when we all are one and the same? (shrink)

This paper considers whether incompatibilism, the view that negation is to be explained in terms of a primitive notion of incompatibility, and Fregeanism, the view that arithmetical truths are analytic according to Frege’s definition of that term in §3 of Foundations of Arithmetic, can both be upheld simultaneously. Both views are attractive on their own right, in particular for a certain empiricist mind-set. They promise to account for two philosophical puzzling phenomena: the problem of negative truth and the problem of (...) epistemic access to numbers. For an incompatibilist, proofs of numerical non-identities must appeal to primitive incompatibilities. I argue that no analytic primitive incompatibilities are forthcoming. Hence incompatibilists cannot be Fregeans. (shrink)

Throughout these last few decades, phenomenology and modern physics have slowly started to approach each other in order to bridge the gap between subjective and objective. In this thesis I aim to show an approach done with the help of Karen Barad's agential realism; a quantum interpretation enabling us to better understand and analyse our complex world, as well as our perception of it. Taking inspiration from new materialism, phenomenology, and physics, I see a need to properly leave discrete dualism (...) behind, in order to be able to describe cultural and material structures as continuous manifolds. Instead of endlessly searching for their binary and changeless parts. (shrink)

This paper aims to address the lack of critique of the linear model in geoengineering governance discourse, and to illustrate different considerations for a geoengineering governance framework that is not based on a linear model of technology innovation. Finally, we set to explore a particular approach to geoengineering governance based on Peter-Paul Verbeek’s notion of ‘technology accompaniment’.

In 2009, a law was passed in the Danish parliament, according to which judges cannot wear religious symbols in courts of law. First, I trace the development of this legislation from resistance to Muslim religious practices on the nationalist right to ideas in mainstream Danish politics about secularism and state neutrality – a process I refer to as ‘liberalization’. Second, I consider the plausibility of such liberal justifications for restrictions on religious symbols in the public sphere and, in particular, for (...) the ban on the wearing of religious symbols by judges. I argue that such justifications are flawed and so are not plausible corollaries of anti-Islamic justifications originating on the nationalist right. (shrink)

© British Society of Aesthetics 2017. Published by Oxford University Press on behalf of the British Society of Aesthetics. All rights reserved. For Permissions, please email: [email protected] Other Shoes is a companion to Kendall Walton’s other essay collection, Marvellous Images, published seven years earlier. But careful study reveals considerable coherence; Walton reprises the same motifs throughout, though with different combinations and inflections, the book’s reverse chronology revealing how some of these ideas developed. Moreover, every paper exhibits the same accessible, sometimes (...) homespun, ‘care beans’, ‘gosh’ ) style typical of Walton: unburdened by needless technicality, yet deft. This style’s downside is perhaps that insufficiently careful readers may misread him. A quarter-century of Charles and faithful sidekick The Slime not so much evading critical fire as watching it spray harmlessly across the pages of philosophy journals is testament to this.Some of the papers, especially the... (shrink)

It has been argued that moral assertions involve the possession, on the part of the speaker, of appropriate non-cognitive attitudes. Thus, uttering ‘murder is wrong’ invites an inference that the speaker disapproves of murder. In this paper, we present the result of 4 empirical studies concerning this phenomenon. We assess the acceptability of constructions in which that inference is explicitly canceled, such as ‘murder is wrong but I don’t disapprove of it’; and we compare them to similar constructions involving ‘think’ (...) instead of ‘disapprove’—that is, Moore paradoxes (‘murder is wrong but I don’t think that it is wrong’). Our results indicate that the former type of constructions are largely infelicitous, although not as infelicitous as their Moorean counterparts. (shrink)

We describe a new approach to understanding the functioning of the nervous system, unifying previous ideas of Josephson and Hauser, Baas, and Brooks. Its basis consists in analysing the total developmental process into basic components of development, whose corresponding mechanisms (skill constructors) are organised together into a coherent total system.

Need considerations play an important role in empirically informed theories of distributive justice. We propose a concept of need-based justice that is related to social participation and provide an ethical measurement of need-based justice. The β-ε-index satisfies the need-principle, monotonicity, sensitivity, transfer and several »technical« axioms. A numerical example is given.

In this text, I consider two examples in the history of emancipation and manumission of enslaved, Black populations in the Caribbean and South America in order to theorize a colonial mode of conceiving of freedom at play in the first half of the nineteenth century. This mode is marked by the figure of the promise, enacting a notion of freedom as a constantly deferred, external compensation. Indeed, instead of an immediate decision deeming the practice of enslavement and trade of (...) human beings unacceptable, and an effective liberation of the enslaved Black populations in these different emancipation proclamations, the various histories of manumission in Latin America and the Caribbean show a long series of political and legal attempts to reduce and limit the extent of the slave trade that deferred the process of liberation for decades. Moreover, in many of these territories the practice did not end with the official proclamation of emancipation but was continued by illegal practices and mutations into legal forms of exploitation and oppression that are still operative today. After outlining this first trajectory, reconstructing the promise of manumission in the historical examples of Martinique (as read by Édouard Glissant) and La Gran Colombia and the Republic of Nueva Granada (contemporary Panamá, Colombia, Venezuela, and Ecuador), I analyze a second mode of investigation in examples of individual and collective strategies of liberation coming from the enslaved themselves, as reconstructed by contemporary feminist scholars in South America. These strategies appropriate liberation not as a promise, but as a negotiation and calculation that begins with the enslaved’s resistance to their oppressive conditions and that ultimately depends on the external concession by juridical authorities. In the third section of the chapter, I read these practices not as marronage, as they are sometimes approached, but as a different mode of turning back to these glimpses of freedom that more effectively challenge the narrative of emancipation and, with it, the promise of manumission in our present. -/- . (shrink)

Slavery harmed the slaves but not their descendants since slavery brought about their existence. The descendants gain the slaves’ claims via inheritance. However, collecting the inheritance-based claim runs into a number of difficulties. First, every descendant usually has no more than a portion of the slave’s claim because the claim is often divided over generations. Second, there are epistemic difficulties involving the ownership of the claim since it is unlikely that a descendant of a slave several generations removed (...) would have retained the claim of inheritance given the loss of wealth and disinheritance that often characterizes families. There are also problems in determining the amount of inheritance. This is in part because of the problems of calculating in the effects of offsets, especially crime-related offsets, which are owed by a significant portion of the descendants. Even if this inheritance claim can be established with sufficient confidence certain entities may not be asked to pay it. The federal government does not owe compensation since as a historical matter it permitted but did not cause enslavement. The beneficiaries of slavery do not owe compensation since merely receiving the benefit of an unjust activity does not by itself generate a debt of compensation. When combined these problems constitute an overwhelming case against reparations. (shrink)

The Black antislavery theorist Quobna Ottobah Cugoano (c.1757–c.1791) is increasingly recognized as a noteworthy figure in the history of philosophy. Born in present-day Ghana, Cugoano was enslaved at the age of 13 and shipped to Grenada, before being taken onwards to England, where the 1772 Somerset court ruling in effect freed him. His Thoughts and Sentiments on the Evil of Slavery [1787/1791] broke new ground by demanding the immediate end of the slave-trade and of slavery itself, without any compensation (...) to slaveholders. Notwithstanding this, Cugoano endorsed the legitimacy of penal enslavement on principled grounds – like many other abolitionists writing in late eighteenth-century Britain. “Every free community might keep slaves, or criminal prisoners in bondage” – and even sell them. Amidst the growing literature exploring Cugoano’s abolitionism, his paradoxical justification of penal slavery has bewildered commentators. Far from an offhand inconsistency, I argue that this justification is deeply embedded within his moral and legal philosophy; constraining his antislavery arguments while simultaneously serving retaliatory aims. His two-pronged principle of just punishment – the lex talionis (‘eye for an eye, bondage for bondage’) as tempered by mercy – sometimes demands penally enslaving colonial slaveholders and slave-traders in turn. Throughout, I compare Cugoano’s justification of penal enslavement with those of other early modern philosophers, especially Locke and Kant. This helps me position Cugoano within the history of philosophy, thus making his views more accessible to a wider philosophical audience. It also indicates just how deeply theories of punishment shaped philosophical thinking about penal bondage in the period. (shrink)

Antibiotic resistance is one of the most pressing public health problems humanity faces. Research into new classes of antibiotics and new kinds of treatments – including risky experimental treatments such as phage therapy and vaccines – is an important part of improving our ability to treat infectious diseases. In order to aid this research, we will argue that we should permit researchers to pay people any amount of money to compensate for the risks of participating in clinical trials, including ‘challenge (...) studies’ that involve deliberately infecting patients. We think that standard worries about paying for participation in risky research are reducible to concerns that can be addressed with the right screening mechanisms. (shrink)

We thank the commentators for their interesting and helpful feedback on our previously published target article (Svoboda and Irvine, 2014). One of our objectives in that article was to identify areas of uncertainty that would need to be addressed in crafting a just SRM compensation system. The commentators have indicated some possible ways of reducing such uncertainty. Although we cannot respond to all their points due to limitations of space, we wish to address here the more pressing criticisms the (...) commentators have offered. (shrink)

It could be argued that tort law is failing, and arguably an example of this failure is the recent public liability and insurance (‘PL&I’) crisis. A number of solutions have been proposed, but ultimately the chosen solution should address whatever we take to be the cause of this failure. On one account, the PL&I crisis is a result of an unwarranted expansion of the scope of tort law. Proponents of this position sometimes argue that the duty of care owed by (...) defendants to plaintiffs has expanded beyond reasonable levels, such that parties who were not really responsible for another’s misfortune are successfully sued, while those who really were to blame get away without taking any responsibility. However people should take responsibility for their actions, and the only likely consequence of allowing them to shirk it is that they and others will be less likely to exercise due care in the future, since the deterrents of liability and of no compensation for accidentally self-imposed losses will not be there. Others also argue that this expansion is not warranted because it is inappropriately fueled by ‘deep pocket’ considerations rather than by considerations of fault. They argue that the presence of liability insurance sways the judiciary to award damages against defendants since they know that insurers, and not the defendant personally, will pay for it in the end anyway. But although it may seem that no real person has to bear these burdens when they are imposed onto insurers, in reality all of society bears them collectively when insurers are forced to hike their premiums to cover these increasing damages payments. In any case, it seems unfair to force insurers to cover these costs simply because they can afford to do so. If such an expansion is indeed the cause of the PL&I crisis, then a contraction of the scope of tort liability, and a pious return to the fault principle, might remedy the situation. However it could also be argued that inadequate deterrence is the cause of this crisis. On this account the problem would lie not with the tort system’s continued unwarranted expansion, but in the fact that defendants really have been too careless. If prospective injurers were appropriately deterred from engaging in unnecessarily risky activities, then fewer accidents would ever occur in the first place, and this would reduce the need for litigation at its very source. If we take this to be the cause of tort law’s failure then our solution should aim to improve deterrence. Glen Robinson has argued that improved deterrence could be achieved if plaintiffs were allowed to sue defendants for wrongful exposure to ongoing risks of future harm, even in the absence of currently materialized losses. He argues that at least in toxic injury type cases the tortious creation of risk [should be seen as] an appropriate basis of liability, with damages being assessed according to the value of the risk, as an alternative to forcing risk victims to abide the outcome of the event and seek damages only if and when harm materializes. In a sense, Robinson wishes to treat newly-acquired wrongful risks as de-facto wrongful losses, and these are what would be compensated in liability for risk creation (‘LFRC’) cases. Robinson argues that if the extent of damages were fixed to the extent of risk exposure, all detected unreasonable risk creators would be forced to bear the costs of their activities, rather than only those who could be found responsible for another’s injuries ‘on the balance of probabilities’. The incidence of accidents should decrease as a result of improved deterrence, reduce the ‘suing fest’, and so resolve the PL&I crisis. So whilst the first solution involves contracting the scope of tort liability, Robinson’s solution involves an expansion of its scope. However Robinson acknowledges that LFRC seems prima facie incompatible with current tort principles which in the least require the presence of plaintiff losses, defendant fault, and causation to be established before making defendants liable for plaintiffs’ compensation. Since losses would be absent in LFRC cases by definition, the first evidentiary requirement would always be frustrated, and in its absence proof of defendant fault and causation would also seem scant. If such an expansion of tort liability were not supported by current tort principles then it would be no better than proposals to switch accident law across to no-fault, since both solutions would require comprehensive legal reform. However Robinson argues that the above three evidentiary requirements could be met in LFRC cases to the same extent that they are met in other currently accepted cases, and hence that his solution would therefore be preferable to no-fault solutions as it would only require incremental but not comprehensive legal reform. Although I believe that actual losses should be present before allowing plaintiffs to seek compensation, I will not present a positive argument for this conclusion. My aim in this paper is not to debate the relative merits of Robinson’s solution as compared to no-fault solutions, nor to determine which account of the cause of the PL&I crisis is closer to the truth, but rather to find out whether Robinson’s solution would indeed require less radical legal reform than, for example, proposed no-fault solutions. I will argue that Robinson fails to show that current tort principles would support his proposed solution, and hence that his solution is at best on an even footing with no-fault solutions since both would require comprehensive legal reform. (shrink)

It is sometimes morally permissible not to help others even when doing so is overall better for you. For example, you are not morally required to take a career in medicine over a career in music, even if the former is both better for others and better for you. I argue that the permissibility of not helping in a range of cases of “compensated altruism” is explained by the existence of autonomy-based considerations. I sketch a view according to which you (...) can have autonomy-based permissions to choose between alternatives when these alternatives differ in terms of the valuable features they instantiate. Along the way, I argue that considerations of moral autonomy do not support rejecting the plausible view that we each constantly face reasons with morally requiring strength to help (distant) strangers. (shrink)