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)

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)

May lethal autonomous weapons systems—‘killer robots ’—be used in war? The majority of writers argue against their use, and those who have argued in favour have done so on a consequentialist basis. We defend the moral permissibility of killer robots, but on the basis of the non-aggregative structure of right assumed by Just War theory. This is necessary because the most important argument against killer robots, the responsibility trilemma proposed by Rob Sparrow, makes the same assumptions. We show that the (...) crucial moral question is not one of responsibility. Rather, it is whether the technology can satisfy the requirements of fairness in the re-distribution of risk. Not only is this possible in principle, but some killer robots will actually satisfy these requirements. An implication of our argument is that there is a public responsibility to regulate killer robots ’ design and manufacture. (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)

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)

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)

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)

This brief note corrects an error in one of the reduction steps in my paper 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks' published in the Journal of Applied Logics 8/2 (2021): 531-556.

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.

In this paper, I'll present a general way of "reading off" introduction/elimination rules from elimination/introduction rules, and define notions of harmony and stability on the basis of it.

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.

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.

This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings of (...) modal operators in terms of rules of inference. (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)

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)

Public opinion research has shown that voters accept many falsehoods about politics. This observation is widely considered troubling for democracy—and especially participatory ideals of democracy. I argue that this influential narrative is nevertheless flawed, because it misunderstands the nature of political understanding. Drawing on philosophical examinations of scientific modelling, I demonstrate that accepting falsehoods within one’s model of political reality is compatible with—and indeed can positively enhance—one’s understanding of that reality. Thus, the observation that voters accept many political falsehoods does (...) not necessarily establish that they lack political understanding. I then address three worries: that voters cannot generally engage in such political modelling; that political modelling obscures facts that are crucial to political understanding; and that successful political modelling would require knowing that one’s model contains falsehoods. My responses reveal how, going forward, we should measure political ignorance; and they highlight the standing importance of participatory democracy. (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)

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)

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)

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)

The proliferation of conspiracy theories poses a significant threat to democratic decision-making. To counter this threat, many political theorists advocate countering conspiracy theories with ‘more speech’ (or ‘counterspeech’). Yet conspiracy theories are notoriously resistant to counterspeech. This article aims to conceptualise and defend a novel form of counterspeech – narrative counterspeech – that is singularly well-placed to overcome this resistance. My argument proceeds in three steps. First, I argue that conspiracy theories pose a special problem for counterspeech for three interconnected (...) reasons relating to salience, emotion and internal coherence. Drawing on recent work in social epistemology, philosophy of emotion and cognitive science, I then demonstrate that narrative forms of counterspeech constitute an apt response to this diagnosis. Finally, I forestall two objections: the first questions the likely effectiveness of narrative counterspeech; the second insists that, even if it were effective, it would remain unacceptably manipulative. Neither objection, I contend, is ultimately compelling. (shrink)

This article is the text of a commentary on a talk delivered by Mark Textor entitled 'Brentano's Positing Theory of Existence' at King's College London in December 2015. It contains ideas on implementing Textor's Neo-Brentanian theory of existence in a natural deduction proof system for negative free logic.

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)

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

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)

This paper presents a way of formalising definite descriptions with a binary quantifier ι, where ιx[F, G] is read as ‘The F is G’. Introduction and elimination rules for ι in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ιx[F, G] are given, and it is shown that deductions in the system can be brought into normal form.

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)

Current challenges in medical practice, research, and administration demand physicians who are familiar with bioethics, health law, and health economics. Curriculum directors at American Association of Medical Colleges-affiliated medical schools were sent confidential surveys requesting the number of required hours of the above subjects and the years in which they were taught, as well as instructor names. The number of relevant publications since 1990 for each named instructor was assessed by a PubMed search.In sum, teaching in all three subjects combined (...) comprises less than two percent of the total hours in the American medical curriculum, and most instructors have not recently published articles in the fields they teach. This suggests that medical schools should reevaluate their curricula and instructors in bioethics, health law, and health economics. (shrink)

Numerous ancient sources attest that Artemisia of Halicarnassus, a fifth-century BCE tyrant whose polis came under Persian rule in 524 BCE, figures prominently in Xerxes’ naval campaign against Greece. At least since Pompeius Trogus’ first-century BCE Philippic History, interpretations of Artemisia have juxtaposed her “virile courage” (uirilem audaciam) with Xerxes’ “womanish fear” (muliebrem timorem) primarily as a means of belittling the effeminate non-Greeks. My paper argues that although Herodotus is aware of such interpretations of Artemisia, he depicts her primarily as (...) an excellent counsel, a woman who is not only brave in battle, but who is a wonder primarily because of her intellectual excellences in deliberative rhetoric and “geo-political” strategy in the Greco-Persian world. (shrink)

We consider an ethical dilemma in global health: is it ethically acceptable to provide some patients cheaper treatments that are less effective or more toxic than the treatments other patients receive? We argue that it is ethical to consider local resource constraints when deciding what interventions to provide. The provision of cheaper, less effective health care is frequently the most effective way of promoting health and realizing the ethical values of utility, equality, and priority to the worst off.

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

This paper proves normalisation theorems for intuitionist and classical negative free logic, without and with the $\invertediota$ operator for definite descriptions. Rules specific to free logic give rise to new kinds of maximal formulas additional to those familiar from standard intuitionist and classical logic. When $\invertediota$ is added it must be ensured that reduction procedures involving replacements of parameters by terms do not introduce new maximal formulas of higher degree than the ones removed. The problem is solved by a rule (...) that permits restricting these terms in the rules for $\forall$, $\exists$ and $\invertediota$ to parameters or constants. A restricted subformula property for deductions in systems without $\invertediota$ is considered. It is improved upon by an alternative formalisation of free logic building on an idea of Ja\'skowski's. In the classical system the rules for $\invertediota$ require treatment known from normalisation for classical logic with $\lor$ or $\exists$. The philosophical significance of the results is also indicated. (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 work argues that engaging Africa's cultural and epistemic resources as social imaginaries, and not as metaphysical or ontological “essences,” could help practitioners of African philosophy overcome the cluster of shortcomings and undesirable features associated with “ethnophilosophy.” A number of points are outlined to buttress this claim. First, the framework of social imaginaries does not operate with the false assumption that Africa's cultural forms and epistemic resources are static and immutable. Second, this framework does not lend itself to sweeping generalizations (...) about Africa or large swathes of it. Third, the framework of social imaginaries remedies ethnophilosophy's problem of collectivism. Fourth, unlike ethnophilosophy, it does not romanticize and canonize a supposedly “idyllic” African past, which militates against a realistic and forward‐looking philosophizing. Finally, with the framework of social imaginaries, Africa's indigenous cultural and epistemic resources become amenable to being engaged with critical philosophical rigor. This not only enhances their potential for cross‐cultural philosophical conversation but also enhances their usefulness for addressing current sociopolitical issues affecting Africa. The discussion in this paper somewhat touches upon the question of method in African philosophy, using the ethnophilosophy problem to navigate the vast gamut of issues involved. (shrink)

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)

In two occasions a Bibliography of Structuralism has been published in Erkenntnis (1989, 1994). Since then a lot of water has flowed under the bridge and the structuralist program has shown a continuous development. The aim of the present bibliography is to celebrate the 25th anniversary of the publication of An Architectonic for Science –structuralism’s main reference work– and of its recent translation into Spanish by updating the previous bibliographies with titles which have appeared since 1994 as well as before (...) that year but which are not included in them. As in the former deliveries, this bibliography only covers books and articles that are concerned directly with the structuralist approach in the philosophy of science. We would like to thank the many colleagues who have helped us in collecting all the information. Notwithstanding we apologize in advance for the possible entries that we missed to include in this third Bibliography of Structuralism. (shrink)

In this commentary, I critique three aspects of Emily Walsh's proposal to reduce the moral and legal weight of advance directives: (1) the ambiguity of its initial thesis, (2) its views about the ethics and legality of clinical practice, and (3) its interpretation and application of Ronald Dworkin’s account of advance directives and L.A. Paul's view on transformative experience. I also consider what Walsh’s proposal would mean for people facing the prospect of dementia. I conclude that our reasons to honor (...) many advance directives survive the move to a transformative experience framework. (shrink)

Die Welt ist voller Leid. Gott ist entweder unfähig, es zu verhindern – dann ist Er nicht allmächtig –, oder Er will es nicht verhindern – dann ist Er nicht vollkommen gut. Seit Generationen wird dies als das schlagendste Argument gegen den Glauben angesehen, daß ein allmächtiges und allgütiges Wesen existiert. Natürlich haben Theisten sich die größte Mühe gegeben, eine angemessene Erwiderung vorzubringen. ... Selbst wenn nur ein einziges Individuum unnötigerweise für einen kurzen Moment eine leichte Unannehmlichkeit zu ertragen hätte, (...) wäre das Problem logisch ebenso real – obwohl es nicht so schmerzhaft wäre oder möglicherweise sogar unbemerkt bliebe. (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)

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)

Euclid’s Elements inspired a number of foundationalist accounts of mathematics, which dominated the epistemology of the discipline for many centuries in the West. Yet surprisingly little has been written by recent philosophers about this conception of mathematical knowledge. The great exception is Imre Lakatos, whose characterisation of the Euclidean Programme in the philosophy of mathematics counts as one of his central contributions. In this essay, we examine Lakatos’s account of the Euclidean Programme with a critical eye, and suggest an alternative (...) picture which builds on his work, but differs in a number of important respects. (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)

Do famous athletes have special obligations to act virtuously? A number of philosophers have investigated this question by examining whether famous athletes are subject to special role model obligations (Wellman 2003; Feezel 2005; Spurgin 2012). In this paper we will take a different approach and give a positive response to this question by arguing for the position that sport and gaming celebrities are ‘ambassadors of the game’: moral agents whose vocations as rule-followers have unique implications for their non-lusory lives. According (...) to this idea, the actions of a game’s players and other stakeholders—especially the actions of its stars—directly affect the value of the game itself, a fact which generates additional moral reasons to behave in a virtuous manner. We will begin by explaining the three main positions one may take with respect to the question: moral exceptionalism, moral generalism, and moral exemplarism. We will argue that no convincing case for moral exemplarism has thus far been made, which gives us reason to look for new ways to defend this position. We then provide our own ‘ambassadors of the game’ account and argue that it gives us good reason to think that sport and game celebrities are subject to special obligations to act virtuously. (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 revival of the philosophy of mathematics in the 60s following its post-1931 slump left us with two conflicting positions on arithmetic’s ontological relationship to set theory. W.V. Quine’s view, presented in 'Word and Object' (1960), was that numbers are sets. The opposing view was advanced in another milestone of twentieth-century philosophy of mathematics, Paul Benacerraf’s 'What Numbers Could Not Be' (1965): one of the things numbers could not be, it explained, was sets; the other thing numbers could not be, (...) even more dramatically, was objects. Curiously, although Benacerraf’s article appeared in the heyday of Quine’s influence, it declined to engage the Quinean position squarely, even seemed to think it was not its business to do so. Despite that, in my experience, most philosophers believe that Benacerraf’s article put paid to the reductionist view that numbers are sets (though perhaps not the view that numbers are objects). My chapter will attempt to overturn this orthodoxy. (shrink)

K. R. Popper distinguished between two main uses of logic, the demonstrational one, in mathematical proofs, and the derivational one, in the empirical sciences. These two uses are governed by the following methodological constraints: in mathematical proofs one ought to use minimal logical means (logical minimalism), while in the empirical sciences one ought to use the strongest available logic (logical maximalism). In this paper I discuss whether Popper’s critical rationalism is compatible with a revision of logic in the empirical sciences, (...) given the condition of logical maximalism. Apparently, if one ought to use the strongest logic in the empirical sciences, logic would remain immune to criticism and, thus, non-revisable. I will show that critical rationalism is theoretically compatible with a revision of logic in the empirical sciences. However, a question that remains to be clarified by the critical rationalists is what kind of evidence would lead them to revise the system of logic that underlies a physical theory, such as quantum mechanics? Popper’s falsificationist methodology will be compared with the recently advocated extension of the abductive methodology from the empirical sciences to logic by T. Williamson, since both of them arrive at the same conclusion concerning the status of classical logic. (shrink)