Traditional geometry concerns itself with planimetric and stereometric considerations, which are at the root of the division between plane and solid geometry. To raise the issue of the relation between these two areas brings with it a host of different problems that pertain to mathematical practice, epistemology, semantics, ontology, methodology, and logic. In addition, issues of psychology and pedagogy are also important here. To our knowledge there is no single contribution that studies in detail even one of the aforementioned areas.

Many mathematicians have cited depth as an important value in their research. However, there is no single widely accepted account of mathematical depth. This article is an attempt to bridge this gap. The strategy is to begin with a discussion of Szemerédi's theorem, which says that each subset of the natural numbers that is sufficiently dense contains an arithmetical progression of arbitrary length. This theorem has been judged deep by many mathematicians, and so makes for a good case on which (...) to focus in analyzing mathematical depth. After introducing the theorem, four accounts of mathematical depth will be considered. (shrink)

Why do mathematics often give several proofs of the same theorem? This is the question raised in this article, introducing the notion of an epistemic ideal and discussing two such ideals, the explanatoriness and purity of proof.

Une preuve est pure si, en gros, elle ne réfère dans son développement qu’à ce qui est « proche » de, ou « intrinsèque » à l’énoncé à prouver. L’infinité des nombres premiers, un théorème classique de l’arithmétique, est un cas d’étude particulièrement riche pour les recherches philosophiques sur la pureté. Deux preuves différentes de ce résultat sont ici considérées, à savoir la preuve euclidienne classique et une preuve « topologique » plus récente proposée par Furstenberg. D’un point de vue (...) naïf, il semblerait que la première soit pure et la seconde impure. Des objections à cette vue naïve sont ici considérées et réfutées. Concernant la preuve euclidienne, la question relève de la logique, notamment de la définissabilité arithmétique de l’addition en termes de successeur et de divisibilité telle que démontrée par Julia Robinson, tandis qu’en ce qui concerne la preuve topologique, la question relève de la sémantique, notamment pour tout ce qui touche au problème de savoir ce qui est « inclus » dans le contenu d’énoncés particuliers.A proof is pure, roughly, if it draws only on what is « close » or « intrinsic » to the statement being proved. The infinitude of prime numbers, a classical theorem of arithmetic, is a rich case study for philosophical investigation of purity. Two different proofs of this result are considered, namely the classical Euclidean proof and a more recent « topological » proof by Furstenberg. Naively the former would seem to be pure and the latter to be impure. Objections to these naive views are considered and met. In the case of the former the issue rests on logical matters, specifically the arithmetic definability of addition in terms of successor and divisibility shown by Julia Robinson, while in the case of the latter the issue rests on semantic matters, specifically with respect to what is « contained » in the content of particular statements. (shrink)

In this paper I begin by extending two results of Solovay; the first characterizes the possible Turing degrees of models of True Arithmetic (TA), the complete first-order theory of the standard model of PA, while the second characterizes the possible Turing degrees of arbitrary completions of P. I extend these two results to characterize the possible Turing degrees of m-diagrams of models of TA and of arbitrary complete extensions of PA. I next give a construction showing that the conditions Solovay (...) identified for his characterization of degrees of models of arbitrary completions of PA cannot be dropped (I showed that these conditions cannot be simplified in the paper. (shrink)

Roughly, a proof of a theorem, is “pure” if it draws only on what is “close” or “intrinsic” to that theorem. Mathematicians employ a variety of terms to identify pure proofs, saying that a pure proof is one that avoids what is “extrinsic,” “extraneous,” “distant,” “remote,” “alien,” or “foreign” to the problem or theorem under investigation. In the background of these attributions is the view that there is a distance measure (or a variety of such measures) between mathematical statements and (...) proofs. Mathematicians have paid little attention to specifying such distance measures precisely because in practice certain methods of proof have seemed self- evidently impure by design: think for instance of analytic geometry and analytic number theory. By contrast, mathematicians have paid considerable attention to whether such impurities are a good thing or to be avoided, and some have claimed that they are valuable because generally impure proofs are simpler than pure proofs. This article is an investigation of this claim, formulated more precisely by proof- theoretic means. After assembling evidence from proof theory that may be thought to support this claim, we will argue that on the contrary this evidence does not support the claim. (shrink)

This article will consider imagination in mathematics from a historical point of view, noting the key moments in its conception during the ancient, modern and contemporary eras.

Over the years many mathematicians have voiced a preference for proofs that stay “close” to the statements being proved, avoiding “foreign”, “extraneous”, or “remote” considerations. Such proofs have come to be known as “pure”. Purity issues have arisen repeatedly in the practice of arithmetic; a famous instance is the question of complex-analytic considerations in the proof of the prime number theorem. This article surveys several such issues, and discusses ways in which logical considerations shed light on these issues.

Gaisi Takeuti (1926–2017) is one of the most distinguished logicians in proof theory after Hilbert and Gentzen. He extensively extended Hilbert's program in the sense that he formulated Gentzen's sequent calculus, conjectured that cut-elimination holds for it (Takeuti's conjecture), and obtained several stunning results in the 1950–60s towards the solution of his conjecture. Though he has been known chiefly as a great mathematician, he wrote many papers in English and Japanese where he expressed his philosophical thoughts. In particular, he used (...) several keywords such as "active intuition" and "self-reflection" from Nishida's philosophy. In this paper, we aim to describe a general outline of our project to investigate Takeuti's philosophy of mathematics. In particular, after reviewing Takeuti's proof-theoretic results briefly, we describe some key elements in Takeuti's texts. By explaining these texts, we point out the connection between Takeuti's proof theory and Nishida's philosophy and explain the future goals of our project. (shrink)

Gaisi Takeuti extended Gentzen's work to higher-order case in 1950's–1960's and proved the consistency of impredicative subsystems of analysis. He has been chiefly known as a successor of Hilbert's school, but we pointed out in the previous paper that Takeuti's aimed to investigate the relationships between "minds" by carrying out his proof-theoretic project rather than proving the "reliability" of such impredicative subsystems of analysis. Moreover, as briefly explained there, his philosophical ideas can be traced back to Nishida's philosophy in Kyoto's (...) school. For the proving the consistency of such systems, it is crucial to prove the well-foundedness of ordinals called "ordinal diagrams" developed for it. Takeuti presented such arguments several times in order to show that they are admitted in his stand point. As a starting point of investigating his finitist stand point, we formulate the system of ordinal notations up to ε0 and reconstruct the well-foundedness arguments of them. (shrink)

Review of Dowek, Gilles, Computation, Proof, Machine, Cambridge University Press, Cambridge, 2015. Translation of Les Métamorphoses du calcul, Le Pommier, Paris, 2007. Translation from the French by Pierre Guillot and Marion Roman.

When mathematicians think of the philosophy of mathematics, they probably think of endless debates about what numbers are and whether they exist. Since plenty of mathematical progress continues to be made without taking a stance on either of these questions, mathematicians feel confident they can work without much regard for philosophical reflections. In his sharp–toned, sprawling book, David Corfield acknowledges the irrelevance of much contemporary philosophy of mathematics to current mathematical practice, and proposes reforming the subject accordingly.

Our visual experience seems to suggest that no continuous curve can cover every point of the unit square, yet in the late nineteenth century Giuseppe Peano proved that such a curve exists. Examples like this, particularly in analysis (in the sense of the infinitesimal calculus) received much attention in the nineteenth century. They helped instigate what Hans Hahn called a “crisis of intuition”, wherein visual reasoning in mathematics came to be thought to be epistemically problematic. Hahn described this “crisis” as (...) follows: Mathematicians had for a long time made use of supposedly geometric evidence as a means of proof in much too naive and much too uncritical a way, till the unclarities and mistakes that arose as a result forced a turnabout. Geometrical intuition was now declared to be inadmissible as a means of proof... (p. 67) Avoiding geometrical evidence, Hahn continued, mathematicians aware of this crisis pursued what he called “logicization”, “when the discipline requires nothing but purely logical fundamental concepts and propositions for its development.” On this view, an epistemically ideal mathematics would minimize, or avoid altogether, appeals to visual representations. This would be a radical reformation of past practice, necessary, according to its advocates, for avoiding “unclarities and mistakes” like the one exposed by Peano. (shrink)

This collection of essays explores what makes modern mathematics ‘modern’, where ‘modern mathematics’ is understood as the mathematics done in the West from roughly 1800 to 1970. This is not the trivial matter of exploring what makes recent mathematics recent. The term ‘modern’ (or ‘modernism’) is used widely in the humanities to describe the era since about 1900, exemplified by Picasso or Kandinsky in the visual arts, Rilke or Pound in poetry, or Le Corbusier or Loos in architecture (a building (...) by the latter graces the cover of this book’s dust jacket). (shrink)

We review Solomon Feferman's 1998 essay collection In The Light of Logic (Oxford University Press).

Interview with the author of "why We are in Need of Tails." Iguana Books, Toronto, Canada.

Escribir hoy en día un libro sobre hermenéutica, que tal hermenéutica se refiera a la desarrollada por G. Gadamer en su conocido Verdad y método y que se pretenda añadir algo nuevo a lo mucho escrito sobre el tema parecería, a primera vista, empresa irrealizable. Que ambas pretensiones inspiren la sólida monografía de María G. Navarro —titulada Interpretar y argumentar— constituye empresa audaz y arriesgada, plena de coraje innovador, que provoca admiración, curiosidad e interés. Contra lo que pudiera parecer a (...) primera vista, el libro contiene un alto componente de originalidad y creatividad, debido a la estratagema metodoló-gica de que se sirve la autora. A saber, una hermenéutica in obliquo, estrategia consistente en interpretar a la hermenéutica gadameriana a través del prisma de la lógica de la argumentación. (shrink)

The present paper presents experimental evidence confirming that contextually mismatching scalar implicatures can be generated even when quantifiers range over empty domains. In the literature, this possibility has been interpreted as providing further evidence for a grammatical approach to scalar implicatures. The main result presented here is that scalar sentences with empty domains are judged as more infelicitous when associated with a mismatching implicature than variants with the same empty domains but associated with a non-mismatching implicature. We interpret this result (...) as suggesting that the infelicity judgment associated with the first kind of sentence stems from the cumulative effect of the mismatching implicature and the contextual domain emptiness. Compared to previous literature on blind implicatures, our results indicate that the body of knowledge involved in relevance assignments is restricted to ignoring existential determination while still considering the properties attributed to nonexistent entities. They also show that, while not blocking implicature generation, contextual domain emptiness plays a role in speakers’ evaluation of scalar sentences, reflecting the unconscious nature of scalar implicature generation. (shrink)

Readers are awaiting a new encounter with stories united under the common title Why We Are in Need of Tales. Let me remind you that these deep philosophical books were written by Maria daVenza Tillmanns, a professional philosopher dedicated to the study of philosophizing with children, who has gained valuable experience in this field. Maria’s books are inspired by her work with her students at El Toyon Elementary School in National City (California), with whom Maria held philosophy (...) with children classes for three years before COVID-19. With parental permission, the children provided their drawings, which are used as illustrations for the books. I read Why We Are in Need of Tales, Part III with great pleasure. The focus of this book is on making decisions, sometimes very hard decisions. In Part II, the focus is on dreams — hopes and wishes we have for life. This book looks at how we may best decide how to make those hopes and wishes come true. And the answer Huk and Tuk suggest is deceptively easy: by making decisions “with your eyes wide open.” (5, p. ix). The author of this excellent book managed to describe how to make decisions with your eyes wide open through the playful dialogue between Huk and Tuk. The books are written in dialogue so the reader immediately plunges into the context of a lively conversation. Dialogue not only sharpens attention, but also invites the reader to participate in the conversation. In this way, the reader becomes a listener at the same time. (shrink)

Human nature has always been a foundational issue for philosophy. What does it mean to have a human nature? Is the concept the relic of a bygone age? What is the use of such a concept? What are the epistemic and ontological commitments people make when they use the concept? In What’s Left of Human Nature? Maria Kronfeldner offers a philosophical account of human nature that defends the concept against contemporary criticism. In particular, she takes on challenges related to (...) social misuse of the concept that dehumanizes those regarded as lacking human nature (the dehumanization challenge); the conflict between Darwinian thinking and essentialist concepts of human nature (the Darwinian challenge); and the consensus that evolution, heredity, and ontogenetic development results from nurture and nature. After answering each of these challenges, Kronfeldner presents a revisionist account of human nature that minimizes dehumanization and does not fall back on outdated biological ideas. Her account is post-essentialist because it eliminates the concept of an essence of being human; pluralist in that it argues that there are different things in the world that correspond to three different post-essentialist concepts of human nature; and interactive because it understands nature and nurture as interacting at the developmental, epigenetic, and evolutionary levels. On the basis of this, she introduces a dialectical concept of an ever-changing and “looping” human nature. Finally, noting the essentially contested character of the concept and the ambiguity and redundancy of the terminology, she wonders if we should simply eliminate the term “human nature” altogether. (shrink)

In 1969 Harry Frankfurt published his hugely influential paper 'Alternate Possibilities and Moral Responsibility' in which he claimed to present a counterexample to the so-called 'Principle of Alternate Possibilities' ('a person is morally responsible for what he has done only if he could have done otherwise'). The success of Frankfurt-style cases as counterexamples to the Principle has been much debated since. I present an objection to these cases that, in questioning their conceptual cogency, undercuts many of those debates. Such cases (...) all require a counterfactual mechanism that could cause an agent to perform an action that he cannot avoid performing. I argue that, given our concept of what it is for someone to act, this requirement is inconsistent. Frankfurt-style alleged counterexamples are cases where an agent is morally responsible for an action he performs even though, the claim goes, he could not have avoided performing that action. However, it has recently been argued, e.g. by John Fischer, that a counterexample to the Principle could be a 'Fischer-style case', i.e. a case where the agent can either perform the action or do nothing else. I argue that, although Fischer-style cases do not share the conceptual flaw common to all Frankfurt-style cases, they also fail as counterexamples to the Principle. The paper finishes with a brief discussion of the significance of the Principle of Alternate Possibilities. (shrink)

In this Chapter, Maria Kronfeldner discusses whether psychological essentialism is a necessary part of dehumanization. This involves different elements of essentialism, and a narrow and a broad way of conceptualizing psychological essentialism, the first akin to natural kind thinking, the second based on entitativity. She first presents authors that have connected essentialism with dehumanization. She then introduces the error theory of psychological essentialism regarding the category of the human, and distinguishes different elements of psychological essentialism. On that basis, Kronfeldner (...) connects historical, socio-psychological, and philosophical insights in order to show that although essentialism can act as a catalyst for dehumanization, it is not necessary for it. Examples relate to dehumanization in the context of colonialism and evolutionary thinking, to the history of dehumanizing women from Aristotle to 19th-century craniology, and to contemporary self-dehumanization and ‘lesser mind’ attribution. (shrink)

Important empirically informed proposals of virtue cultivation invoke techniques of goal pursuit. This paper argues that these techniques are effective in changing behavior due to the attention narrowing they bring about, and further show that such attention narrowing can threaten the appropriate exercise of phronetic-related capacities. When these phronetic-related capacities are threatened, two derivative problems arise: (1) One can end up acting in morally inappropriate ways, and (2) Even in cases where one performs the morally appropriate action, one nonetheless can (...) fail to notice and appreciate features of moral value. In light of these concerns, such techniques of goal pursuit – at least, by themselves – serve the most good for those who are merely trying to avoid vice, rather than cultivate virtue. And so, I suggest that such accounts of virtue cultivation are incomplete. I then go on to argue that these undesirable effects of attention narrowing brought about by these goal pursuit techniques may be ameliorated by also engaging in certain indirect modifications of cognition, particularly those which broaden attention. The suggestion, then, is that attention narrowing techniques of goal pursuit, along with attention broadening modifications, might best facilitate virtue cultivation when employed together. While the particulars of how we might best go about this are currently unclear, this paper ends by looking at empirical research on Open Monitoring Meditation as providing a hopeful option that might be further investigated. (shrink)

In English, discourse reference to time involves grammatical tenses interpreted as temporal anaphors. Recently, it has been argued that conditionals involve modal discourse anaphora expressed by a parallel grammatical system of anaphoric modals. Based on evidence from Kalaallisut, this paper argues that temporal and modal anaphora can be just as precise in a language that does not have either grammatical category. Instead, temporal anaphora directly targets eventualities of verbs, without mediating tenses, while modal anaphora involves anaphoric moods and/or attitudinal verbs.

Reasons can play a variety of roles in a variety of contexts. For instance, reasons can motivate and guide us in our actions (and omissions), in the sense that we often act in the light of reasons. And reasons can be grounds for beliefs, desires and emotions and can be used to evaluate, and sometimes to justify, all these. In addition, reasons are used in explanations: both in explanations of human actions, beliefs, desires, emotions, etc., and in explanations of a (...) wide range of phenomena involving all sorts of animate and inanimate substances. This diversity has encouraged the thought that the term 'reason' is ambiguous or has different senses in different contexts. Moreover, this view often goes hand in hand with the claim that reasons of these different kinds belong to different ontological categories: to facts (or something similar) in the case of normative/justifying reasons, and to mental states in the case of motivating/explanatory reasons. In this paper I shall explore some of the main roles that reasons play and, on that basis, I shall offer a classification of kinds of reasons. As will become clear, my classification of reasons is at odds with much of the literature in several respects: first, because of my views about how we should understand the claim that reasons are classified into different kinds; second, because of the kinds into which I think reasons should be classified; and, finally, because of the consequences I think this view has for the ontology of reasons. (shrink)

The Eskimo language Kalaallisut (alias West Greenlandic) has traditionally been described as having a rich tense system, with three future tenses (Kleinschmidt 1851, Bergsland 1955, Fortescue 1984) and possibly four past tenses (Fortescue 1984). Recently however, Shaer (2003) has challenged these traditional claims, arguing that Kalaallisut is in fact tenseless.

Partee (1973) noted anaphoric parallels between English tenses and pronouns. Since then these parallels have been analyzed in terms of type-neutral principles of discourse anaphora. Recently, Stone (1997) extended the anaphoric parallel to English modals. In this paper I extend the story to languages of other types. This evidence also shows that centering parallels are even more detailed than previously recognized. Based on this evidence, I propose a semantic representation language (Logic of Change with Centered Worlds), in which the observed (...) parallels can be formally analyzed. (shrink)

Ignorance is often a perfectly good excuse. There are interesting debates about whether non-culpable factual ignorance and mistake subvert obligation, but little disagreement about whether non-culpable factual ignorance and mistake exculpate. What about agents who have all the relevant facts in view but fail to meet their obligations because they do not have the right moral beliefs? If their ignorance of their obligations derives from mistaken moral beliefs or from ignorance of the moral significance of the facts they have in (...) view, should they be excused for failing to meet their moral obligations? It is not obvious that they should. In this paper we argue that the best non-skeptical accounts of moral responsibility acknowledge that factual ignorance and mistake will diminish moral responsibility in a way that moral ignorance and mistake will not. That is because factual ignorance is often non-culpable so long as it meets certain merely procedural epistemic standards but the same is not true of moral ignorance. Our argument is that the assumption that it is gets the standards of culpability for moral ignorance wrong, and that the mistake is encouraged by the thought that culpability in general requires an instance of known wrongdoing: that acting wrongly requires de dicto unresponsiveness to one’s obligations at some stage. We deny this and conclude that, therefore, ignorance and mistaken belief are indeed often perfectly good excuses – but far less often than some philosophers claim. (shrink)

This paper introduces a framework for direct surface composition by online update. The surface string is interpreted as is, with each morpheme in turn updating the input state of information and attention. A formal representation language, Logic of Centering, is defined and some crosslinguistic constraints on lexical meanings and compositional operations are formulated.

This paper focuses on negative exemplarity-related emotions (NEREs) and on their educational implications. In this paper, we will first argue for the nonexpendability of negative emotions broadly conceived (section 2) by defending their instrumental and intrinsic role in a good and flourishing life. In section 3, we will make the claim more specific by focusing on the narrower domain of NEREs and argue for their moral and educational significance by evaluating whether they fit the arguments provided in the previous section. (...) In section 4, we will propose three educational strategies to foster NEREs’ positive moral role. In conclusion, we will point out that an exemplarist approach to character education would greatly benefit from a more fine-grained account of the emotions involved in the educational process and from a broader perspective on which of these emotions should be taken as valuable for educational purposes. (shrink)

Rooth & Partee (1982) and Rooth (1985) have shown that the English-specific rule-by-rule system of PTQ can be factored out into function application plus two transformations for resolving type mismatch (type lifting and variable binding). Building on these insights, this article proposes a universal system for type-driven translation, by adding two more innovations: local type determination for gaps (generalizing Montague 1973) and a set of semantic filters (extending Cooper 1983). This system, dubbed Cross-Linguistic Semantics (XLS), is shown to account for (...) various phenomena — including scope relations in English and Greenlandic Eskimo, internally headed relative clauses in Lakhota, serial verbs in Yoruba and VP ellipsis in English. (shrink)

In this paper I propose a way of characterizing human agency in terms of the concept of a two‐way power. I outline this conception of agency, defend it against some objections, and briefly indicate how it relates to free agency and to moral praise‐ and blameworthiness.

This paper advances the view that the history of philosophy is both a kind of history and a kind of philosophy. Through a discussion of some examples from epistemology, metaphysics, and the historiography of philosophy, it explores the benefit to philosophy of a deep and broad engagement with its history. It comes to the conclusion that doing history of philosophy is a way to think outside the box of the current philosophical orthodoxies. Somewhat paradoxically, far from imprisoning its students in (...) outdated and crystallized views, the history of philosophy trains the mind to think differently and alternatively about the fundamental problems of philosophy. It keeps us alert to the fact that latest is not always best, and that a genuinely new perspective often means embracing and developing an old insight. The upshot is that the study of the history of philosophy has an innovative and subversive potential, and that philosophy has a great deal to gain from a long, broad, and deep conversation with its history. (shrink)

Data involving epistemic modals suggest that some classically valid argument forms, such as _reductio_, are invalid in natural language reasoning as they lead to modal collapses. We adduce further data showing that the classical argument forms governing the existential quantifier are similarly defective, as they lead to a _de re–de dicto_ collapse. We observe a similar problem for disjunction. But if the classical argument forms for negation, disjunction and existential quantification are invalid, what are the correct forms that govern the (...) use of these items? Our diagnosis is that epistemic modals interfere with hypothetical reasoning. We present a modal first-order logic and model theory that characterizes hypothetical reasoning with epistemic modals in a principled manner. One upshot is a sound and complete natural deduction system for reasoning with epistemic modals in first-order logic. (shrink)

It has long been recognized that temporal anaphora in French and English depends on the aspectual distinction between events and states. For example, temporal location as well as temporal update depends on the aspectual type. This paper presents a general theory of aspect-based temporal anaphora, which extends from languages with grammatical tenses (like French and English) to tenseless languages (e.g. Kalaallisut). This theory also extends to additional aspect-dependent phenomena and to non-atomic aspectual types, processes and habits, which license anaphora to (...) proper atomic parts (cf. nominal pluralities and kinds). (shrink)

Over the last four decades arguments for and against the claim that creative hypothesis formation is based on Darwinian ‘blind’ variation have been put forward. This paper offers a new and systematic route through this long-lasting debate. It distinguishes between undirected, random, and unjustified variation, to prevent widespread confusions regarding the meaning of undirected variation. These misunderstandings concern Lamarckism, equiprobability, developmental constraints, and creative hypothesis formation. The paper then introduces and develops the standard critique that creative hypothesis formation is guided (...) rather than blind, integrating developments from contemporary research on creativity. On that basis, I discuss three compatibility arguments that have been used to answer the critique. These arguments do not deny guided variation but insist that an important analogy exists nonetheless. These compatibility arguments all fail, even though they do so for different reasons: trivialisation, conceptual confusion, and lack of evidence respectively. Revisiting the debate in this manner not only allows us to see where exactly a ‘Darwinian’ account of creative hypothesis formation goes wrong, but also to see that the debate is not about factual issues, but about the interpretation of these factual issues in Darwinian terms. (shrink)

This paper explores the question of Leibniz’s contribution to the rise of modern ‘science’. To be sure, it is now generally agreed that the modern category of ‘science’ did not exist in the early modern period. At the same time, this period witnessed a very important stage in the process from which modern science eventually emerged. My discussion will be aimed at uncovering the new enterprise, and the new distinctions which were taking shape in the early modern period under the (...) banner of the old Aristotelian terminology. I will argue that Leibniz begins to theorize a distinction between physics and metaphysics that tracks our distinction between the autonomous enterprise of science in its modern meaning, and the enterprise of philosophy. I will try to show that, for Leibniz, physics proper is the study of natural phenomena in mathematical and mechanical terms without recourse for its explanations to metaphysical notions. This autonomy, however, does not imply for Leibniz that physics can say on its own all that there is to be said about the natural world. Quite the opposite. Leibniz inherits from the Aristotelian tradition the view that physics needs metaphysical roots or a metaphysical grounding. For Leibniz, what is ultimately real is reached by metaphysics, not by physics. This is, in my view, Leibniz’s chief insight: the new mathematical physics is an autonomous enterprise which offers its own kind of explanations but does not exhaust what can (and should) be said about the natural world. (shrink)

Even when they are defined with precision, one can often read and hear judgments about the vagueness of heuristics in debates about heuristic reasoning. This opinion is not just frequent but also quite reasonable. In fact, during the 1990s, there was a certain controversy concerning this topic that confronted two of the leading groups in the field of heuristic reasoning research, each of whom held very different perspectives. In the present text, we will focus on two of the papers published (...) in Psychological Review, wherein the arguments of each of these groups were presented:. (shrink)

It is generally agreed that for blame to be appropriate the wrongdoer must be blameworthy. However, blameworthiness is not sufficient for appropriate blame. It has been argued that for blame to be appropriate the blamer must have standing to blame. Philosophers writing on the topic have distinguished several considerations that might defeat someone’s standing to blame. This paper examines the underexplored consideration of how personal relationships can influence who has the standing to express blame. We seem to assume that if (...) we do not stand in the right relation to the wrongdoer, it is not our business to blame them. I identify three challenges to this view. First, we do not know what is wrong with meddling (whether it is morally or prudentially wrong). Second, there are cases where we have no close relation to the wrongdoer, but where we seem to have standing nonetheless – murder and other serious moral offences are examples of this. Third, we don’t seem to have a clear conception of what ‘standing’ means, and this makes it hard to see how discussion on standing can help us determine the propriety of blame. This paper defends the notion of standing as a propriety condition on blame in cases of meddling. I argue that personal relationships influence who has the standing to blame through constitution of relationship-specific norms; and that the role these norms play in developing and regulating our relationships can explain why meddlesome blame is morally wrong. (shrink)

Maria Kronfeldner’s Preface and Introduction to the Routledge Handbook of Dehumanization maps the landscape of dehumanization studies. She starts with a brief portrayal of the history of the field. The systematically minded sections that follow guide the reader through the resulting rugged landscape represented in the Handbook’s contributions. Different realizations, levels, forms, and ontological contrasts of dehumanization are distinguished, followed by remarks on the variety of targets of dehumanization. A discussion on valence and emotional aspects is added. Causes, functions, (...) and consequences of dehumanization, and the prospects for reducing or undoing it, are introduced. The systematic overview closes with a discussion of some important theoretical complexities that arise in studying dehumanization. After these systematic sections, the scholarly work on dehumanization gets situated in the broader intellectual landscape of debates about the ‘human’ in the humanities and social sciences. The Introduction ends with some notes on scope, limitations, and intended readership of the Handbook. (shrink)

Creativity has often been declared, especially by philosophers, as the last frontier of science. The assumption is that it will defy explanation forever. I will defend two claims in order to oppose this assumption and to demystify creativity: (1) the perspective that creativity cannot be explained wrongly identifies creativity with what I shall call metaphysical freedom; (2) the Darwinian approach to creativity, a prominent naturalistic account of creativity, fails to give an explanation of creativity, because it confuses conceptual issues with (...) explanation. I will close with some remarks on the status and differences in some explanations available in contemporary cognitive science. (shrink)

Several studies have shown that people are more likely to attribute intentionality and blame to agents who perform actions that have harmful consequences. This kind of bias has problematic implications for jury decisions because it predicts that judgment in juries will malfunction if an action has a blameworthy effect. Most of these studies include in their design a vignette in which it is clear that agents have foreknowledge of the effects of their actions. This kind of design fails to replicate (...) trial situations where, in most cases, it is impossible to know with certainty whether agents have foreknowledge of the effects of their actions. In the present study, we adopt an alternative design that includes vignettes in which there is no direct evidence of foreknowledge to investigate the relationship between intentionality and blame in actions that have harmful and helpful effects. We find that people are still more likely to attribute intentionality to actions that produce harmful effects than actions that produce good effects. However, we find that people tend to attribute more blame when they have direct evidence of foreknowledge than when presented with an alternative design that does not include foreknowledge. Results indicate the relevant role that evidence of foreknowledge plays in experimental designs that study blame attribution. (shrink)

The current “exemplarist turn” within virtue ethics is increasingly shedding light on the importance of exemplars both as enabling one to identify the virtues and for the importance they bear for orienting one’s conduct, as well as for educating the novice. However, even if categorizations of exemplars have already been proposed, there seems to be a lack of discussion on the kind of imitation different exemplars are supposed to elicit. In order to offer a preliminary answer to this question, in (...) this paper I present three paths to flourishing via imitation of exemplary individuals: The Platonic, the Stoic, and the Aristotelian. Then, I sketch an attempt to reconcile these models. In conclusion, I suggest that, when it comes to education, this reconciliation becomes necessary. Along these lines, I recommend that a multi-step educational program is elaborated. (shrink)

O presente artigo objetiva fornecer uma apresentação crítica, compreensiva e inédita na língua portuguesa do Processamento Preditivo (PP) – um esquema teórico para a compreensão da cognição que propõe uma inversão de nosso entendimento padrão da ação, percepção, sensação e sua relação. Aqui, nosso objetivo primário será introduzir os principais conceitos e ideias do PP, tratando-o como um modelo moderadamente corporificado de cognição e analisando suas credenciais como uma proposta teórica unificadora. Para tanto, partiremos de uma contextualização histórica de algumas (...) correntes de pensamento que teriam fomentado seu desenvolvimento inicial, passando por uma descrição não-matemática do Princípio da Energia Livre, que fundamenta e subentende a atuação de suas especificidades para, então, esclarecermos o papel que, segundo o PP, a inferência bayesiana, a minimização dos erros de predição e a chamada Inferência Ativa possuiriam na manutenção homeostática de nossos cérebros e corpos preditivos. Por fim, forneceremos uma síntese de algumas consequências daquilo que o PP poderia trazer à compreensão contemporânea do cérebro e comportamento humanos, concluindo que, embora sua descrição da cognição como um processo preditivo único e contínuo prometa eventualmente unificar paradigmas explicativos e níveis de análise distintos, por ora, talvez seja melhor concebê-lo de forma mais modesta, como uma ferramenta ou heurística para nos auxiliar a repensar vários dos tópicos centrais ao estudo científico e filosófico da mente. (shrink)

Natural languages exhibit a great variety of grammatical paradigms. For instance, in English verbs are grammatically marked for tense, whereas in the tenseless Eskimo-Aleut language Kalaallisut they are marked for illocutionary mood. Although time is a universal dimension of the human experience and speaking is part of that experience, some languages encode reference to time without any grammatical tense morphology, or reference to speech acts without any illocutionary mood morphology. Nevertheless, different grammatical systems are semantically parallel in certain respects. Specifically, (...) I propose that English tenses form a temporal centering system, which monitors and updates topic times, whereas Kalaallisut moods form a modal centering system, which monitors and updates modal discourse referents. To formalize these centering parallels I define a dynamic logic that represents not only changing information but also changing focus of attention in discourse (Update with Centering, formalizing Grosz et al 1995). Different languages can be translated into this typed logic by directly compositional universal rules of Combinatory Categorial Grammar (CCG) The resulting centering theory of tense and illocutionary mood draws semantic parallels across different grammatical systems. The centering generalizations span the extremes of the typological spectrum, so they are likely to be universal. In addition, the theory accounts for the translation equivalence of tense and illocutionary mood in a given utterance context. Following Stalnaker (1978) I assume that the very act of speaking up has a ‘commonplace effect’ on the context. It focuses attention on the speech act and thereby introduces default modal and temporal topics. These universal defaults complement language-specific grammars, e.g. English tenses and Kalaallisut moods. In a given utterance context the universal discourse-initial defaults plus language-specific grammatical marking may add up to the same truth conditions.. (shrink)

This paper investigates civility from an Aristotelian perspective and has two objectives. The first is to offer a novel account of this virtue based on Aristotle’s remarks about civic friendship. The proposed account distinguishes two main components of civility—civic benevolence and civil deliberation—and shows how Aristotle’s insights can speak to the needs of our communities today. The notion of civil deliberation is then unpacked into three main dimensions: motivational, inquiry-related, and ethical. The second objective is to illustrate how the post-truth (...) condition—in particular, the spread of misinformation typical of the digital environments we inhabit—obstructs our capacity to cultivate the virtue of civility by impairing every component of civil deliberation. The paper hopes to direct virtue theorists’ attention to the need to foster civic virtues as a means of counteracting the negative aspects of the post-truth age. (shrink)

Crosslinguistically, causative constructions conform to the following generalization: If the causal relation is syntactically concealed, then it is semantically direct. Concealed causatives span a wide syntactic spectrum, ranging from resultative complements in English to causative subjects in Miskitu. A unified type-driven theory is proposed which attributes the understood causal relation—and other elements of constructional meaning—to type lifting operations predictably licensed by type mismatch at LF. The proposal has far-reaching theoretical implications not only for the theory of compositionality and causation, but (...) also for the underlying theory of events, space, and time, in natural language discourse. (shrink)