Short introduction to the V2 publication of "The War of Appearances: Transparency, Opacity, Radiance" (2016). An anthology with Matteo Pasquinelli, Luciana Parisi, Graham Harman, Tomas Saraceno, René ten Bos, Tim Morton, and many others.

Though the social world is real and objective, the way that social facts arise out of other facts is in an important way shaped by human thought, talk and behaviour. Building on recent work in social ontology, I describe a mechanism whereby this distinctive malleability of social facts, combined with the possibility of basic human error, makes it possible for a consistent physical reality to ground an inconsistent social reality. I explore various ways of resisting the prima facie case for (...) social inconsistency. I conclude, however, that the prima facie case survives scrutiny, and draw out some of the ramifications. (shrink)

Many philosophers believe that luck egalitarianism captures “desert-like” intuitions about justice. Some even think that luck egalitariansm distributes goods in accordance with desert. In this paper, we argue that this is wrong. Desertism conflicts with luck egalitarianism in three important contexts, and, in these contexts, desertism renders the proper moral judgment. First, compared to desertism, luck egalitarianism is sometimes too stingy: it fails to justly compensate people for their socially valuable contributions—when those contributions arose from “option luck”. Second, luck egalitarianism (...) is sometimes too restrictive: it fails to justly compensate people who make a social contribution when that contribution arose from “brute luck”. Third, luck egalitarianism is too limited in scope: it cannot diagnose economic injustice arising independently of comparative levels of justice. The lesson of this paper is that luck egalitarians should consider supplementing their theory with desert considerations. Or, even better, consider desertism as a superior alternative to their theory. (shrink)

The theory of collective agency and intentionality is a flourishing field of research, and our understanding of these phenomena has arguably increased greatly in recent years. Extant theories, however, are still ill-equipped to explain certain aspects of collective intentionality. In this article we draw attention to two such underappreciated aspects: the failure of the intentional states of collectives to supervene on the intentional states of their members, and the role of non-human factors in collective agency and intentionality. We propose a (...) theory of collective intentionality which builds on the ‘interpretationist’ tradition in metasemantics and the philosophy of mind as initiated by David Lewis and recently developed further by Robbie Williams. The collective-level analogue of interpretationism turns out to look different in some ways from the individual-level theory, but is well-suited to accommodating phenomena such as hybrid collective intentionality. Complemented with Kit Fine’s theory of variable embodiment, such a theory also provides a diachronic account of intentional collectives. (shrink)

This introductory chapter provides a general framework for thinking about the relationship between wealth and power. It begins by situating the topic in the history of political thought, modern social science, and recent political philosophy, before putting forward an analytical framework. This has three elements: first, the idea of liberalism's public/private divide: a division between a power-wielding state from which wealth should be absent, and a market economy from which power should be absent; second, the two ways the division can (...) be transgressed by the power of the wealthy: by the wealthy subverting the power of the state and by directly exercising power within the economy; and third, the four different approaches to responding to the transgression, either aiming to reassert the public/private divide or to move beyond it. (shrink)

Given any proposition, is it possible to have rationally acceptable attitudes towards it? Absent reasons to the contrary, one would probably think that this should be possible. In this paper I provide a reason to the contrary. There is a proposition such that, if one has any opinions about it at all, one will have a rationally unacceptable set of propositional attitudes—or if one doesn’t, one will end up being cognitively imperfect in some other manner. The proposition I am concerned (...) with is a self-referential propositional attitude ascription involving the propositional attitude of rejection. Given a basic assumption about what constitutes irrationality, and a few assumptions about the nature of cognitively ideal agents, a paradox results. This paradox is superficially like the Liar, but it is importantly different in that no alethic notions are involved at all. As such, it stands independent of the Liar and is not a ‘revenge’ version of it. After setting out the paradox I discuss possible responses. After considering several I argue that one is best off simply accepting that the paradox shows us something surprising and interesting about rationality: that some cognitive shortfall is unavoidable even for ideal agents. I argue that nothing disastrous follows from accepting this conclusion. (shrink)

Does the moral badness of pain depend on who feels it? A common, but generally only implicitly stated view, is that it does not. This view, ‘unitarianism’, maintains that the same interests of different beings should count equally in our moral calculus. Shelly Kagan’s project in How to Count Animals, more or less is to reject this common view, and develop an alternative to it: a hierarchical view of moral status, on which the badness of pain does depend on who (...) feels it. In this review essay, we critically examine Kagan’s argument for status hierarchy. In particular, we reject two of the central premises in his argument: that moral standing is ultimately grounded in agency and that unitarianism is overdemanding. We conclude that moral status may, despite Kagan’s compelling argument to the contrary, not be hierarchical. (shrink)

This thesis is about the metaphysics of logic. I argue against a view I refer to as ‘logical realism’. This is the view that the logical constants represent a particular kind of metaphysical structure, which I dub ‘logico-metaphysical structure’. I argue instead for a more metaphysically lightweight view of logic which I dub ‘logical expressivism’. -/- In the first part of this thesis (Chapters I and II) I argue against a number of arguments that Theodore Sider has given for logical (...) realism. In Chapter I, I present an argument of his to the effect that logico-metaphysical structure provides the only good explanation of the semantic determinacy of the logical constants. I argue that other explanations are possible. In Chapter II, I present another argument of his to the effect that logico-metaphysical structure is something that comes along with ontological realism: the view that there is a non-language-relative fact of the matter about what exists. I argue that the connection between logical and ontological realism is not as close as Sider makes it out to be. -/- In the second part of this thesis (Chapters III – V) I set out a positive view of the logical constants that can explain both why their meanings are semantically determinate, and why they form part of our vocabulary. On that view, the primary bearers of logical structure are propositional attitudes, and the logical constants are in our language as vehicles for the expression of logically complex propositional attitudes. In Chapter III, I set out an expressivist theory of propositional logic. In Chapter IV, I use this theory to explain how the logical connectives end up having determinate meanings. In Chapter V, I extend the expressivist theory to predicate logic. (shrink)

What determines whether an object is an artwork? In this paper I consider what I will call ‘social’ theories of art, according to which the arthood of objects depends in some way on the art-related social practices that we have. Though such a dependence claim is plausible in principle, social theories of art tend to unpack the determining link between artworks and social practices in terms of intentional relations between the objects in question and the people involved in the relevant (...) practices. This intentionalism has unappealing upshots. Drawing on two-dimensional approaches in social ontology, I show how social theories of art can be done differently, improving their prospects. (shrink)

An introduction to the special issue of the Erasmus Journal for Philosophy and Economics: "On the Very Idea of a Just Wage".

When some P implies some Q, this should have some impact on what attitudes we take to P and Q. In other words: logical consequence has a normative import. I use this idea, recently explored by a number of scholars, as a stepping stone to a bolder view: that relations of logical consequence can be identified with norms on our propositional attitudes, or at least that our talk of logical consequence can be explained in terms of such norms. I investigate (...) the prospects of such a cognitive norm account of logical consequence. I go over the challenges involved in finding a plausible bridge principle connecting logical consequence to cognitive norms, in particular a biconditional principle that gives us not only necessary but sufficient conditions for logical consequence in terms of norms on propositional attitudes. Then, on the assumption that an adequate norm can be found, I consider what the philosophical merits of such a cognitive norm account would be, and what theoretical commitments it would generate. (shrink)

Is political equality viable given the unequal private property holdings characteristic of a capitalist economy? This book places the wealth-politics nexus at the centre of scholarly analysis. Traditional theories of democracy and property have often ignored the ways in which the rich attempt to convert their wealth into political power, operating on the implicit assumption that politics is isolated from economic forces. This book brings the moral and political links between wealth and power into clear focus. The chapters are divided (...) into three thematic sections. Part I analyses wealth and politics from the perspective of various political traditions, such as liberalism, republicanism, anarchism, and Marxism. Part II addresses the economic sphere, and looks at the political influence of corporations, philanthropists and commons-based organizations. Finally, Part III turns to the political sphere and looks at the role of political parties and constitutions, and phenomena such as corruption and lobbying. Wealth and Power: Philosophical Perspectives will be of interest to scholars and advanced students working in political philosophy, political science, economics, and law. (shrink)

Short introduction to the V2 publication of "The War of Appearances: Transparency, Opacity, Radiance" (2016). An anthology with Matteo Pasquinelli, Luciana Parisi, Graham Harman, Tomas Saraceno, René ten Bos, Tim Morton, McKenzie Wark, Wim Delvoye, Diana Scherer, Paolo Cirio, Paul Frissen, and Willem Schinkel.

Bad jokes are not simply non-humorous texts. They are texts that are humorous for someone––their author at least––but not for their audience. Bad jokes thus involve a contextual––pragmatic––dimension that is neglected in the semantic theories of humor. In this paper, we propose an approach to humor based on the Aristotelian notion of surprising enthymemes. Jokes are analyzed as kinds of arguments, whose tacit dimension can be retrieved and justified by considering the “logic” on which it is based. However, jokes are (...) based on specific pragmatic conditions: they are regarded as arguments grounded on a generalization that is at the same time uncommon, retrievable, and acceptable or plausible for the audience. This perspective integrates the “local logic” of jokes within a broader rhetorical theory that ultimately rests on the communicative notion of common ground. (shrink)

Brouwer’s intuitionism was a far-reaching attempt to reform the foundations of mathematics. While the mathematical community was reluctant to accept Brouwer’s work, its response to later-developed brands of intuitionism, such as those presented by Hermann Weyl and Arend Heyting, was different. The paper accounts for this difference by analyzing the intuitionistic versions of Brouwer, Weyl, and Heyting in light of a two-tiered model of the body and image of mathematical knowledge. Such a perspective provides a richer account (...) of each story and points to a possible connection between the community’s reaction and the changes each mathematician had proposed. (shrink)

“What is appreciation?” is a basic question in the philosophy of art, and the analogy between appreciating a work of art and getting a joke can help us answer it. We first propose a subjective account of aesthetic appreciation (I). Then we consider jokes (II). The difference between getting a joke and not, or what it is to get it right, can often be objectively articulated. Such explanations cannot substitute for the joke itself, and indeed may undermine (...) the very power of the joke to evoke an appropriate response. Sometimes the discourse of art critics can have a similar effect. We therefore explore the analogy between getting jokes and appreciating works of art (III), and find it unexpectedly strong. Finally (IV), we consider Wittgensteinian grounds for thinking as we do, considering the language game of joke-telling, the relevance of seeing aspects, and giving reasons. (shrink)

The present essay argues that Bergson’s account of the comic can only be fully appreciated when read in conjunction with his later metaphysical exposition of the élan vital in Creative Evolution and then by the account of fabulation that Bergson only elaborates fully three decades later in The Two Sources of Morality and Religion. The more substantive account of the élan vital ultimately shows that, in Laughter, Bergson misses his own point: laughter does not simply serve as a means for (...) correcting human behavior but is rather the élan vital’s vital summons, the demand of life itself, that human beings challenge their obligations, question their societal forms, and thereby create new and, for Bergson, more ideal forms of life and community. (shrink)

A widely circulated list of spurious proof types may help to clarify our understanding of informal mathematical reasoning. An account in terms of argumentation schemes is proposed.

In his “Noesis and Logos in the Eleatic Trilogy, with a Focus on the Visitor’s Jokes at Statesman 266a-d,” Mitchell Miller explores the interplay of intuition and discourse in the Statesman. He prepares by considering the orienting provocations provided by Socrates’ refutations of the proposed definition of knowledge — namely, “true judgment and a logos” — in the closing pages of the Theaetetus, by the Eleatic Visitor’s obscure schematization at Sophist 253d-e of the kinds of eidetic field discerned by dialectic, (...) and by his discussion at Statesman 277a-278e of the use of paradigms. Miller then seeks to show how the Visitor’s odd medley of geometrical and Homeric jokes at Statesman 266a-d aims, in the language of the Seventh Letter, to “spark” an intuition of the nature of statesmanship, an intuition whose “self-nourishing” motivates the subsequent rejection of the initial definition of the statesman as shepherd of the human herd, the turn to the paradigm of the weaver, and the rejection of bifurcatory division in favor of the non-bifurcatory account of the kinds of art that function as the “limbs” of a well-formed city. (shrink)

In two very influential papers from 2008, Tamar Gendler introduced the concept of “alief” to describe the mental state one is in when acting in ways contrary to their consciously professed beliefs. For example, if asked to eat what they know is fudge, but shaped into the form of dog feces, they will hesitate, and behave in a manner that would be consistent with the belief that the fudge is really poop. They alieve that it is disgusting, while they believe (...) it is not. This paper investigates laughter from self-proclaimed egalitarian, tolerant folk, in response to oppressive jokes that might fit the alief-model. If I merely alieve the content of a joke at which I laugh, will that constitute morally exculpating reasons for such laughter? And what else might it imply? This paper will provide insights at the intersections of humor studies, ethics, epistemology, phenomenology, and the philosophy of mind, all while being moderately and appropriately amusing. (shrink)

We live in a world that witnesses an ongoing war between an entitled audience and, for the purposes of this paper, comedians who are too afraid to be vocal in their acts. There is no better time to try and understand the journey of humor- how it has fared in history and how people have reacted to it over time. This paper focuses on the philosophical implications of a joke by trying to break down the concept of humor to (...) its fundamentals. (shrink)

Mobsters and others engaged in risky forms of social coordination and coercion often communicate by saying something that is overtly innocuous but transmits another message ‘off record’. In both ordinary conversation and political discourse, insinuation and other forms of indirection, like joking, offer significant protection from liability. However, they do not confer blanket immunity: speakers can be held to account for an ‘off record’ message, if the only reasonable interpreta- tions of their utterance involve a commitment to it. Legal liability (...) for speech in the service of criminal behavior displays a similar profile of significant protection from indirection along with potential liability for reasonable interpretations. Specifically, in both ordinary and legal contexts, liability depends on how a reasonable speaker would expect a reasonable hearer to interpret their utterance in the context of utter- ance, rather than on the actual speaker’s claimed communicative intentions. (shrink)

Metaphorical statements surprise us as literal falsehoods, but the interpretation reveals a special motive for the figurative use of the language. Donald Davidson objects to nonliteral meaning: “to suppose a metaphor can be effective only by conveying a coded message is like thinking a joke or a dream makes some statement which a clever interpreter can restate in plain prose.” Taking this remark as my starting point I analyze interpretative strategies for metaphors, jokes, riddles and counterfactual conditionals – all (...) of them involve an initial incongruity and most of them require a certain blending of two different domains. I suggest that the ability to interpret metaphors is based on our ability to apprehend a special cognitive content associated with metaphors. (shrink)

Mathematical objects are divided into (1) those which are autonomous, i.e., not dependent for their existence upon mathematicians’ conscious acts, and (2) intentional objects, which are so dependent. Platonist philosophy of mathematics argues that all objects belong to group (1), Brouwer’s intuitionism argues that all belong to group (2). Here we attempt to develop a dualist ontology of mathematics (implicit in the work of, e.g., Hilbert), exploiting the theories of Meinong, Husserl and Ingarden on the relations between autonomous and (...) intentional objects. In particular we develop a phenomenology of mathematical works, which has the stratified intentional structure discovered by Ingarden in his study of the literary work. (shrink)

In this paper, we look at applying the techniques from analyzing superintuitionistic logics to extensions of the cointuitionistic Priest-da Costa logic daC (introduced by Graham Priest as “da Costa logic”). The relationship between the superintuitionistic axioms- definable in daC- and extensions of Priest-da Costa logic (sdc-logics) is analyzed and applied to exploring the gap between the maximal si-logic SmL and classical logic in the class of sdc-logics. A sequence of strengthenings of Priest-da Costa logic is examined and employed to pinpoint (...) the maximal non-classical extension of both daC and Heyting-Brouwer logic HB . Finally, the relationship between daC and Logics of Formal Inconsistency is examined. (shrink)

Errett Bishop's work in constructive mathematics is overwhelmingly regarded as a turning point for mathematics based on intuitionistic logic. It brought new life to this form of mathematics and prompted the development of new areas of research that witness today's depth and breadth of constructive mathematics. Surprisingly, notwithstanding the extensive mathematical progress since the publication in 1967 of Errett Bishop's Foundations of Constructive Analysis, there has been no corresponding advances in the philosophy of constructive mathematics Bishop style. The aim of (...) this paper is to foster the philosophical debate about this form of mathematics. I begin by considering key elements of philosophical remarks by Bishop, especially focusing on Bishop's assessment of Brouwer. I then compare these remarks with ``traditional'' philosophical arguments for intuitionistic logic and argue that the latter are in tension with Bishop's views. ``Traditional'' arguments for intuitionistic logic turn out to be also in conflict with significant recent developments in constructive mathematics. This rises pressing questions for the philosopher of mathematics, especially with regard to the possibility of offering alternative philosophical arguments for constructive mathematics. I conclude with the suggestion to look anew at Bishop's own remarks for inspiration. (shrink)

We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what (...) may be labelled a finitary, evidence-based, `agnostic' perspective and argue that Brouwerian atheism is merely a restricted perspective within the finitary agnostic perspective, whilst Hilbertian theism contradicts the finitary agnostic perspective. -/- We then consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary, evidence-based, definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways. -/- We show that the two definitions correspond to two distinctly different---not necessarily evidence-based but complementary---assignments of satisfaction and truth to the compound formulas of PA over N. -/- We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both the complementary interpretations; and conclude some unsuspected constructive consequences of such complementarity for the foundations of mathematics, logic, philosophy, and the physical sciences. -/- . (shrink)

Jokes are sometimes morally objectionable, and sometimes they are not. What’s the relationship between a joke’s being morally objectionable and its being funny? Philosophers’ answers to this question run the gamut. In this paper I present a new argument for the view that the negative moral value of a joke can affect its comedic value both positively and negatively.

The joke among scientists is that ‘philosopher’ is the last stage of one’s scien- tific career, to be arrived at when one can no longer get grants funded or graduate stu- dents to advise. Despite the fact that some of the greatest minds in evolutionary biology (from Darwin to Ernst Mayr) were very much interested in the philosophical aspects of what they were doing, the bad joke persists in the halls of academia.

Many times, what we say proves to be wrong. It might turn out that what we took to be a comforting remark was, in fact, making things worse. Or that a joke was inappropriate. Or that yelling out loud was rude. More importantly for this paper, there are plenty of cases in which what we said turns out to be false: we spoke without paying attention, we were misinformed or tricked, or we made a reasoning mistake. -/- A particular (...) instance of this latter phenomenon is when someone changes their perspective and doesn't find their previous assertions true anymore. For example, imagine that you used to like licorice as a child, and that you went around saying things like "Licorice is tasty." But, growing up, you find licorice too strong and quite boring; your tastes have changed. While the taste of licorice itself has not changed, you are not going around anymore uttering "Licorice is tasty." In fact, in certain cases, you might even think that what you said in your childhood was wrong - at least in light of your present preferences. -/- Sometimes we "take back" the assertions we made when we realize they are no longer true. Such speech acts of taking back can be performed in various ways: more formally, as effected in a court of law or when an official speaks to the press, or more informally in our day-by-day interactions. These acts of taking back are known as retraction. Retraction is usually achieved by employing certain linguistic markers ('I was wrong', 'I was mistaken', 'I retract', "Scratch that' etc.) that signal that the retractor takes their previous speech act to be faulty in a certain way. -/- This phenomenon has formed the basis for a popular argument used by relativists about a variety of natural language expressions (predicates of taste, epistemic modals, moral and aesthetic claims etc.) in support of their view. Recently, several considerations (mostly from contextualists about the same expressions), both from the armchair and based on empirical studies, have been offered to undercut the support retraction was thought to provide for relativism. In this paper, I consider and re-evaluate that support in light of both types of considerations, showing that neither of them decisively undermines it. However, to survive the contextualist counterattack, the relativist needs to pay a price: that is, she will be forced to make some concessions or rethink certain claims. I show what I think those concessions should be and what needs to be rethought (and how). The upshot is that, while the support retraction offers relativism is not as strong as initially believed, appeal to retraction remains a legitimate move in the debate. In section 1, I introduce the views in the debate and clarify the phenomenon of retraction and its dialectical role. Armchair data are investigated in section 2, proper experimental studies in section 3, while section 4 summarizes and concludes. (shrink)

The major point in [1] chapter 2 is the following claim: “Any formalized system for the Theory of Computation based on Classical Logic and Turing Model of Computation leads us to a contradiction.” So, in the case we wish to save Classical Logic we should change our Computational Model. As we see in chapter two, the mentioned contradiction is about and around the concept of time, as it is in the contradiction of modified version of paradox. It is natural to (...) try fabricating the paradox not by time but in some other linear ordering or the concept of space. Interestingly, the attempts to have similar contradiction by the other concepts like space and linear ordering, is failed. It is remarkable that, the paradox is considered either Epistemological or Logical traditionally, but by new considerations the new version of paradox should be considered as either Logical or Physical paradox. Hence, in order to change our Computational Model, it is natural to change the concept of time, but how? We start from some models that are different from the classical one but they are intuitively plausible. The idea of model is somewhat introduced by Brouwer and Husserl [3]. This model doesn’t refute the paradox, since the paradox and the associated contradiction would be repeated in this new model. The model is introduced in [2]. Here we give some more explanations. (shrink)

I argue against the interpretation of propositions as intentions and proof-objects as fulfillments proposed by Heyting and defended by Tieszen and van Atten. The idea is already a frequent target of criticisms regarding the incompatibility of Brouwer’s and Husserl’s positions, mainly by Rosado Haddock and Hill. I raise a stronger objection in this paper. My claim is that even if we grant that the incompatibility can be properly dealt with, as van Atten believes it can, two fundamental issues indicate (...) that the interpretation is unsustainable regardless: (1) it is hard to determine, without appealing to propositional intentions on pain of circularity, what intention a proof-object should be understood as a fulfillment of; (2) due to a difficult fulfillment dilemma, it is unclear, at best, what the object of an intention corresponding to a proposition is. (shrink)

One of the open problems in the philosophy of information is whether there is an information logic (IL), different from epistemic (EL) and doxastic logic (DL), which formalises the relation “a is informed that p” (Iap) satisfactorily. In this paper, the problem is solved by arguing that the axiom schemata of the normal modal logic (NML) KTB (also known as B or Br or Brouwer’s system) are well suited to formalise the relation of “being informed”. After having shown that (...) IL can be constructed as an informational reading of KTB, four consequences of a KTB-based IL are explored: information overload; the veridicality thesis (Iap → p); the relation between IL and EL; and the Kp → Bp principle or entailment property, according to which knowledge implies belief. Although these issues are discussed later in the article, they are the motivations behind the development of IL. (shrink)

The verb to legitimate is often used in political discourse in a way that is prima facie perplexing. To wit, it is often said that an actor legitimates a practice which is officially prohibited in the relevant context – for example, that a worker telling sexist jokes legitimates sex discrimination in the workplace. In order to clarify the meaning of statements like this, and show how they can sometimes be true and informative, we need an explanation of how something that (...) is officially illegitimate can have a kind of ersatz legitimacy conferred on it, and how this can occur even when the actor ‘doing the legitimating’ lacks formal authority. I examine one putative explanation centred around the phenomenon of normalization, and I highlight some advantages that this account has in comparison to an alternative explanation, one that makes reference to the phenomenon of licensed authority. (shrink)

Scholastic philosophers can be quite funny. What’s more, they have good reason to be: Aristotle himself lists ready wit (eutrapelia) among the virtues, as a mean between excessive humor and its defect. Here, I assess Scholastic discussions of humor in theory, before turning to examples of it in practice. The last and finest of these is a joke, hitherto unacknowledged, which Aquinas makes in his famous Five Ways. Along the way, we’ll see (i) that the history of philosophy is (...) not so hostile to humor as is commonly supposed; and (ii) that the competing theories of humor like the Incongruity Theory and the Release Theory are not altogether incompatible. We’ll also see at least one example of an apparent attempt by modern translators to excise humor from a medieval text. Our considerations will open a window into what oral discussion and debate at medieval universities was actually like, and how we should understand the relationship between the texts we have now and the exchanges that actually occurred then. (shrink)

MethodologyA new hypothesis on the basic features characterizing the Foundations of Mathematics is suggested.Application of the methodBy means of it, the several proposals, launched around the year 1900, for discovering the FoM are characterized. It is well known that the historical evolution of these proposals was marked by some notorious failures and conflicts. Particular attention is given to Cantor's programme and its improvements. Its merits and insufficiencies are characterized in the light of the new conception of the FoM. After the (...) failures of Frege's and Cantor's programmes owing to the discoveries of an antinomy and internal contradictions, respectively, the two remaining, more radical programmes, i.e. Hilbert's and Brouwer's, generated a great debate; the explanation given here is their mutual incommensurability, defined by means of the differences in their foundational features.ResultsThe ignorance of this phenomenon explains the inconclusiveness of a century-long debate between the advocates of these two proposals. Which however have been so greatly improved as to closely approach or even recognize some basic features of the FoM.Discussion on the resultsYet, no proposal has recognized the alternative basic feature to Hilbert's main one, the deductive organization of a theory, although already half a century before the births of all the programmes this alternative was substantially instantiated by Lobachevsky's theory on parallel lines. Some conclusive considerations of a historical and philosophical nature are offered. In particular, the conclusive birth of a pluralism in the FoM is stressed. (shrink)

The published works of scientists often conceal the cognitive processes that led to their results. Scholars of mathematical practice must therefore seek out less obvious sources. This article analyzes a widely circulated mathematical joke, comprising a list of spurious proof types. An account is proposed in terms of argumentation schemes: stereotypical patterns of reasoning, which may be accompanied by critical questions itemizing possible lines of defeat. It is argued that humor is associated with risky forms of inference, which are (...) essential to creative mathematics. The components of the joke are explicated by argumentation schemes devised for application to topic-neutral reasoning. These in turn are classified under seven headings: retroduction, citation, intuition, meta-argument, closure, generalization, and definition. Finally, the wider significance of this account for the cognitive science of mathematics is discussed. (shrink)

Could having a sense of humor be a virtue? In this paper, we argue for an affirmative answer to this question. Like other virtues, a sense of humor enhances and inhibits the expression of various emotions, especially amusement, contempt, trust, and hope. Someone possesses a virtuous sense of humor to the extent that they are well-disposed to appropriately enhance or inhibit these emotions in themselves and others through both embodied reactions (e.g., smiling, laughter, eyerolls) and language (e.g., telling jokes, understanding (...) others’ jokes, etc.). Regarding the aims or purposes of a sense of humor, we argue that a sense of humor aids both its bearer and other people who are socially connected to the bearer with coping, connection, capability, and criticism. If this is on the right track, then the value of a sense of humor is pluralistic: a sense of humor doesn’t do just one thing, but several things simultaneously. We then explore four contexts in which a sense of humor is especially needed, namely hardship, social relationships, social and political cooperation, and existential reflection. (shrink)

In the Netherlands and Belgium, it is lawful for voluntary euthanasia to be offered on the grounds of psychiatric suffering. A recent case that has sparked much debate is that of Aurelia Brouwers, who was helped to die in the Netherlands on account of her suffering from borderline personality disorder. It is sometimes claimed that whether or not a mentally ill person’s wish to die is valid hinges on whether or not that wish is a symptom of the person’s mental (...) disorder. This article addresses the philosophical problems raised by this claim, with a specific focus on the diagnosis of borderline personality disorder. After considering descriptivist and causal conceptualizations of mental disorder, I argue that the current approach to borderline personality disorder in psychiatry precludes the possibility of dissociating the wish to die from the disorder. I then examine the implications of this analysis for the question of whether or not the request for voluntary euthanasia in the case of borderline personality disorder can be considered valid. Ultimately, I conclude that the inability to dissociate the wish to die from the disorder does not invalidate the wish in the case of borderline personality disorder. (shrink)

This afterword to Species and Beyond provides some reflections on species, with special attention to what I think the most significant developments have been in the thinking of biologists and philosophers working on species over the past 25 years, as well as some bad jokes.

The world provides us with an ocean of opportunities for fitting emotion. But we are beings with limited emotional resources, so missed opportunities are common. This chapter argues that these failures to take up fitting emotions are very frequently unfitting in their own right—so frequently, in fact, that most of us lead lives replete with unfitting absences of emotion. It begins by showing that, whenever an emotion can be unfitting in virtue of being too weak, the absence of that emotion (...) can also be unfitting, and for just the same reason. But emotional responses to a host of everyday objects—a funny joke, a nasty insult, and so on—can be unfittingly weak. This means that failures to respond emotionally to an enormous host of everyday objects are similarly unfitting. (shrink)

This essay explores the interrelationship between tragedy and comedy, with specific focus given to the potential that comedy can provide in transforming the most tragic of situations. In building this claim, the very dynamics and distinctions that divide the tragic from the comic are considered in view of the self-negation that the comic posits. That is, while tragedy requires a certain acceptance of the finite, from which destiny and circumstance come to certify the hero’s tragic predicament, in comedy, what succeeds (...) is that which functions through an act of self-negation. This, it is argued, offers a subversive redefining of tragedy, one that proves constitutive of a comic fatalism that does not mourn one’s tragic predicament or fated end, but, instead, fully identifies with our comic predicament. Going beyond the pitfalls of political nicety and moral condemnation, which seek easy gratification or cynical distance, the conclusion examines the conceptual artist, Vanessa Place, and her performance of rape jokes. (shrink)

ABSTRACT The logic of humor has been acknowledged as an essential dimension of every joke. However, what is the logic of jokes, exactly? The modern theories of humor maintain that jokes are characterized by their own logic, dubbed “pseudo,” “playful,” or “local,” which has been the object of frequent criticisms. This article intends to address the limitations of the current perspectives on the logic of jokes by proposing a rhetorical approach to humorous texts. Building on the traditional development of (...) Aristotle’s almost neglected view of jokes as surprising enthymemes, the former are analyzed as rhetorical arguments. Like enthymemes, jokes are characterized by natural inferences that can be represented as topics, and quasi-formalized in argumentation theory as argumentation schemes. Like rhetorical arguments, jokes express a reason in support of different types of conclusions and proceed from distinct kinds of reasoning and semantic relations. (shrink)

Are the leading members of different fields comparable in their achievements? Is the A-grade painter (or A* if that is your top grade) somehow equivalent to the A-grade boxer, say? I would like to think so, but there is a problematic piece of data for me, though there is a philosophical question of why it is problematic: I find some brief remarks from a certain painter as funny as the jokes of leading comedians. In the appendix, I cast doubt on (...) my characterization of Salvador Dali’s humour as not trading on English language ambiguity. (shrink)

In a recent paper by Tranchini (Topoi, 2019), an introduction rule for the paradoxical proposition ρ∗ that can be simultaneously proven and disproven is discussed. This rule is formalized in Martin-Löf’s constructive type theory (CTT) and supplemented with an inferential explanation in the style of Brouwer-Heyting-Kolmogorov semantics. I will, however, argue that the provided formalization is problematic because what is paradoxical about ρ∗ from the viewpoint of CTT is not its provability, but whether it is a proposition at all.