Anti-exceptionalism about logic is the doctrine that logic does not require its own epistemology, for its methods are continuous with those of science. Although most recently urged by Williamson, the idea goes back at least to Lakatos, who wanted to adapt Popper's falsicationism and extend it not only to mathematics but to logic as well. But one needs to be careful here to distinguish the empirical from the a posteriori. Lakatos coined the term 'quasi-empirical' `for the counterinstances to putative mathematical (...) and logical theses. Mathematics and logic may both be a posteriori, but it does not follow that they are empirical. Indeed, as Williamson has demonstrated, what counts as empirical knowledge, and the role of experience in acquiring knowledge, are both unclear. Moreover, knowledge, even of necessary truths, is fallible. Nonetheless, logical consequence holds in virtue of the meaning of the logical terms, just as consequence in general holds in virtue of the meanings of the concepts involved; and so logic is both analytic and necessary. In this respect, it is exceptional. But its methodologyand its epistemology are the same as those of mathematics and science in being fallibilist, and counterexamples to seemingly analytic truths are as likely as those in any scientic endeavour. What is needed is a new account of the evidential basis of knowledge, one which is, perhaps surprisingly, found in Aristotle. (shrink)

Tracing the leading role of emotions in the evolution of the mind, a philosopher and a psychologist pair up to reveal how thought and culture owe less to our faculty for reason than to our capacity to feel. Many accounts of the human mind concentrate on the brain’s computational power. Yet, in evolutionary terms, rational cognition emerged only the day before yesterday. For nearly 200 million years before humans developed a capacity to reason, the emotional centers of the brain were (...) hard at work. If we want to properly understand the evolution of the mind, we must explore this more primal capability that we share with other animals: the power to feel. Emotions saturate every thought and perception with the weight of feelings. The Emotional Mind reveals that many of the distinctive behaviors and social structures of our species are best discerned through the lens of emotions. Even the roots of so much that makes us uniquely human—art, mythology, religion—can be traced to feelings of caring, longing, fear, loneliness, awe, rage, lust, playfulness, and more. From prehistoric cave art to the songs of Hank Williams, Stephen T. Asma and Rami Gabriel explore how the evolution of the emotional mind stimulated our species’ cultural expression in all its rich variety. Bringing together insights and data from philosophy, biology, anthropology, neuroscience, and psychology, The Emotional Mind offers a new paradigm for understanding what it is that makes us so unique. (shrink)

We characterize, more precisely than before, what Rawls calls the “analytical” method of drawing up a list of basic liberties. This method employs one or more general conditions that, under any just social order whatever, putative entitlements must meet for them to be among the basic liberties encompassed, within some just social order, by Rawls’s first principle of justice (i.e., the liberty principle). We argue that the general conditions that feature in Rawls’s own account of the analytical method, which employ (...) the notion of necessity, are too stringent. They ultimately fail to deliver as basic certain particular liberties that should be encompassed within any fully adequate scheme of liberties. To address this under-generation problem, we provide an amended general condition. This replaces Rawls’s necessity condition with a probabilistic condition and it appeals to the standard liberal prohibition on arbitrary coercion by the state. We defend our new approach both as apt to feature in applications of the analytical method and as adequately grounded in justice as fairness as Rawls articulates the theory’s fundamental ideas. (shrink)

[Stephen Yablo] The usual charge against Carnap's internal/external distinction is one of 'guilt by association with analytic/synthetic'. But it can be freed of this association, to become the distinction between statements made within make-believe games and those made outside them-or, rather, a special case of it with some claim to be called the metaphorical/literal distinction. Not even Quine considers figurative speech committal, so this turns the tables somewhat. To determine our ontological commitments, we have to ferret out all traces (...) of nonliterality in our assertions; if there is no sensible project of doing that, there is no sensible project of Quinean ontology. /// [Andre Gallois] I discuss Steve Yablo's defence of Carnap's distinction between internal and external questions. In the first section I set out what I take that distinction, as Carnap draws it, to be, and spell out a central motivation Carnap has for invoking it. In the second section I endorse, and augment, Yablo's response to Quine's arguments against Carnap. In the third section I say why Carnap's application of the distinction between internal and external questions runs into trouble. In the fourth section I spell out what I take to be Yablo's version of Carnap. In the last I say why that version is especially vulnerable to the objection raised in the second. (shrink)

This is a revised version of a paper that was originally presented at the first Kant in Asia international conference (on the theme "The Unity of Human Personhood") in May of 2009. It was published as Chapter 64 in Cultivating Personhood: Kant and Asian Philosophy, ed. Stephen R. Palmquist (Berlin: Walter de Gruyter, 2010), pp.811-821. I argue that Kant and the Yijing both employ a form of architectonic reasoning, though their respective understandings of the logical structure of human reasoning (...) are incommensurable. A more thoroughly revised version of the paper was later published in the Journal of Chinese Philosophy and was followed by a series of several other articles arguing that there is a way of arranging the Yijing's 64 hexagrams such that their form is compatible with the form of Kant's table of categories. (shrink)

It is widely recognized that accurately identifying and classifying competitors is a challenge for many companies and entrepreneurs. Nonetheless, it is a paramount activity which provide valuable insights that affect a wide range of strategic decisions. One of the main challenges in competitor identification lies in the complex nature of the competitive relationships that arise in business envi- ronments. These have been extensively investigate over the years, which lead to a plethora of competition theories and frameworks. Still, the concept of (...) competition remains conceptually complex, as none of these approaches properly formalized their assumptions. In this paper, we address this issue by means of an ontological analysis on the notion of competition in general, and of business competition, in particular, leveraging theories from various fields, including Marketing, Strategic Management, Ecology, Psychology and Cognitive Sciences. Our analysis, the first of its kind in the literature, is grounded on the Unified Foundational Ontology (UFO) and allows us to formally characterize why competition arises, as well as to distinguish between three types of business competitive relationships, namely market-level, firm-level and potential competition. (shrink)

How we feel is as vital to our survival as how we think. This claim, based on the premise that emotions are largely adaptive, serves as the organizing theme of Why We Need Religion. This book is a novel pathway in a well-trodden field of religious studies and philosophy of religion. Stephen Asma argues that, like art, religion has direct access to our emotional lives in ways that science does not. Yes, science can give us emotional feelings of wonder (...) and the sublime--we can feel the sacred depths of nature--but there are many forms of human suffering and vulnerability that are beyond the reach of help from science. Different emotional stresses require different kinds of rescue. Unlike secular authors who praise religion's ethical and civilizing function, Asma argues that its core value lies in its emotionally therapeutic power. No theorist of religion has failed to notice the importance of emotions in spiritual and ritual life, but truly systematic research has only recently delivered concrete data on the neurology, psychology, and anthropology of the emotional systems. This very recent "affective turn" has begun to map out a powerful territory of embodied cognition. Why We Need Religion incorporates new data from these affective sciences into the philosophy of religion. It goes on to describe the way in which religion manages those systems--rage, play, lust, care, grief, and so on. Finally, it argues that religion is still the best cultural apparatus for doing this adaptive work. In short, the book is a Darwinian defense of religious emotions and the cultural systems that manage them. (shrink)

This article establishes grounds on which attributions of information and encoding in animal signals are warranted. As common interest increases between evolutionary agents, the theoretical approach best suited to describing their interaction shifts from evolutionary game theory to communication theory, which warrants informational language. The take-home positive message is that in cooperative settings, signals can appropriately be described as transmitting encoded information, regardless of the cognitive powers of signalers. The canonical example is the honeybee waggle dance, which is discussed extensively (...) in the second and third sections. The take-home negative message is that signals are not always a consequence of coadaptation. The communication theory approach is just one end of a continuum explored more thoroughly by evolutionary game theory. The fourth and fifth sections explore this wider framework, as well as overturning some widely held misconceptions about information theory. (shrink)

In November 2022, OpenAI released ChatGPT, an incredibly sophisticated chatbot. Its capability is astonishing: as well as conversing with human interlocutors, it can answer questions about history, explain almost anything you might think to ask it, and write poetry. This level of achievement has provoked interest in questions about whether a chatbot might have something similar to human intelligence or even consciousness. Given that the function of a chatbot is to process linguistic input and produce linguistic output, we consider the (...) question whether a sophisticated chatbot might have inner speech. That is: Might it talk to itself, internally? We explored this via a conversation with ‘Playground’, a chatbot which is very similar to ChatGPT but more flexible in certain respects. We asked it questions which, plausibly, can only be answered if one first produces some inner speech. Here, we present our findings and discuss their philosophical significance. (shrink)

Over the last fifteen years, an ambitious explanatory framework has been proposed to unify explanations across biology and cognitive science. Active inference, whose most famous tenet is the free energy principle, has inspired excitement and confusion in equal measure. Here, we lay the ground for proper critical analysis of active inference, in three ways. First, we give simplified versions of its core mathematical models. Second, we outline the historical development of active inference and its relationship to other theoretical approaches. Third, (...) we describe three different kinds of claim -- labelled mathematical, empirical and general -- routinely made by proponents of the framework, and suggest dialectical links between them. Overall, we aim to increase philosophical understanding of active inference so that it may be more readily evaluated. -/- This the final submitted version of the Introduction to the Topical Collection "The Free Energy Principle: From Biology to Cognition", forthcoming in Biology & Philosophy. (shrink)

The Roman imperial Stoics were familiar with exile. This paper argues that the Stoics’ view of being a refugee differed sharply from their view of what is owed to refugees. A Stoic adopts the perspective of a cosmopolitēs, a “citizen of the world,” a rational being everywhere at home in the universe. Virtue can be cultivated and practiced in any locale, so being a refugee is an “indifferent” that poses no obstacle to happiness. Other people are our fellow cosmic citizens, (...) however, regardless of their language, race, ethnicity, customs, or country of origin. Our natural affinity and shared sociability with all people require us to help refugees and embrace them as welcome neighbors. Failure to do so violates our common reason, justice, and the gods’ cosmic law. (shrink)

Given the fundamental role that concepts play in theories of cognition, philosophers and cognitive scientists have a common interest in concepts. Nonetheless, there is a great deal of controversy regarding what kinds of things concepts are, how they are structured, and how they are acquired. This chapter offers a detailed high-level overview and critical evaluation of the main theories of concepts and their motivations. Taking into account the various challenges that each theory faces, the chapter also presents a novel approach (...) to concepts that is organized around two ideas. The first is a pluralistic view of differing types of conceptual structure. The second is a model that treats concepts as atomic representations that are linked to various types of conceptual structures. (shrink)

Since nothing about God is passive, and the perception of pain is inherently passive, then it seems that God does not know what it is like to experience pain. Nor would he be able to cause us to experience pain, for his experience would then be a sensation (which would require God to have senses, which he does not). My suggestion is that Berkeley avoids this situation by describing how God knows about pain “among other things” (i.e. as something whose (...) identity is intelligible in terms of the integrated network of things). This avoids having to assume that God has ideas (including pain) apart from his willing that there be perceivers who have specific ideas that are in harmony or not in harmony with one another. (shrink)

Sufferers of eating disorders often hold false beliefs about their own body size. Such beliefs appear to violate norms of rationality, being neither grounded by nor responsive to appropriate forms of evidence. I defend the rationality of these beliefs. I argue that they are in fact supported by appropriate evidence, emanating from proprioceptive misperception of bodily boundaries. This argument has far‐reaching implications for the explanation and treatment of eating disorders, as well as debates over the relationship between rationality and human (...) psychology. (shrink)

This paper argues that the new metaphysics of powers, also known as dispositional essentialism or causal structuralism, is an illusory metaphysics. I argue for this in the following way. I begin by distinguishing three fundamental ways of seeing how facts of physical modality — facts about physical necessitation and possibility, causation, disposition, and chance — are grounded in the world. The first way, call it the first degree, is that the actual world or all worlds, in their entirety, are the (...) source of physical modality. Humeanism is the best known such approach, but there are other less well-known approaches. The second way, the second degree, is that the source of physical modality lies in certain second-order facts, involving a relation between universals. Armstrong’s necessitarianism and other views are second-degree views. The third way, the third degree, holds that properties themselves are the source of physical modality. This is the powers view. I examine four ways of developing the third degree: relational constitution, graph-theoretic structuralism, dispositional roles, and powerful qualities. All these ways are either incoherent, or just disguised versions of the first-degree. The new metaphysics of powers is illusory. With the collapse of the third degree, the second degree, the necessitarian view of law, collapses as well. I end the paper with some reflections on the first degree, on the problem of explaining necessary connections between distinct existences, and on the dim prospects of holist ontology. (shrink)

In this paper, we argue for a particular informative and unified analysis of normative reasons. According to this analysis, a fact F is a reason to act in a certain way just in case it is evidence that one ought to act in that way. Similarly, F is a reason to believe a certain proposition just in case it is evidence for the truth of this proposition. Putting the relatively uncontroversial claim about reasons for belief to one side, we present (...) several arguments in favor of our analysis of reasons for action. We then turn to consider a series of objections to the analysis. We conclude that there are good reasons to accept the analysis and that the objections do not succeed. (shrink)

Moral assertions express attitudes, but it is unclear how. This paper examines proposals by David Copp, Stephen Barker, and myself that moral attitudes are expressed as implicature (Grice), and Copp's and Barker's claim that this supports expressivism about moral speech acts. I reject this claim on the ground that implicatures of attitude are more plausibly conversational than conventional. I argue that Copp's and my own relational theory of moral assertions is superior to the indexical theory offered by Barker and (...) Jamie Dreier, and that since the relational theory supports conversational implicatures of attitude, expressive conventions would be redundant. Furthermore, moral expressions of attitude behave like conversational and not conventional implicatures, and there are reasons for doubting that conventions of the suggested kind could exist. (shrink)

For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. This ontology has led to the development of an Ontology-Driven Conceptual Modeling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed in a number of academic, industrial and governmental settings to create conceptual models in a variety of different domains. (...) These experiences have pointed out to opportunities of improvement not only to the language itself but also to its underlying theory. In this paper, we take the first step in that direction by revising the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of the meta-types present in OntoUML (differentiating Kinds, Roles, Phases, Mixins, etc.) should be considered not as restricted to Substantial types but instead should be applied to model Endurant Types in general, including Relator types, Quality types and Mode types. We also contribute a formal characterization of this fragment of the theory, which is then used to advance a metamodel for OntoUML 2.0. Finally, we propose a computational support tool implementing this updated metamodel. (shrink)

This paper investigates whether different philosophers’ claims about “normativity” are about the same subject or (as recently argued by Derek Parfit) theorists who appear to disagree are really using the term with different meanings, in order to cast disambiguating light on the debates over at least the nature, existence, extension, and analyzability of normativity. While I suggest the term may be multiply ambiguous, I also find reasons for optimism about a common subject-matter for metanormative theory. This is supported partly by (...) sketching a special kind of hybrid view of normative judgment, perspectivism, that occupies a position between cognitivism and noncognitivism, naturalism and nonnaturalism, objectivism and subjectivism, making it more plausible that radically different metanormative theories could be about the same thing. I explore three main fissures: between (i) the “normativity” of language/thought versus that of facts and properties, (ii) abstract versus substantive senses, and (iii) formal versus robust senses. (shrink)

Christos Kyriacou has recently proposed charging moral error theorists with intellectual vice. He does this in response to an objection that Ingram makes against the 'moral fixed points view' developed by Cuneo and Shafer-Landau. This brief paper shows that Kyriacou's proposed vice-charge fails to vindicate the moral fixed points view. I argue that any attempt to make an epistemic vice-charge against error theorists will face major obstacles, and that it is highly unlikely that such a charge could receive the evidential (...) support that it would need in order to play the dialectical role that Kyriacou has in mind for it. I conclude that the moral fixed points view remains in serious trouble. (shrink)

Levy (2021 Levy, N. (2021). Bad beliefs: Why they happen to good people. Oxford University Press.[Crossref], [Google Scholar]) argues that bad beliefs predominately stem from automatic (albeit rational) updating in response to testimonial evidence. To counteract such beliefs, then, we should focus on ridding our epistemic environments of misleading testimony. This paper responds as follows. First, I argue that the suite of automatic processes related to bad beliefs extends well beyond the deference-based processes that Levy identifies. Second, I push back (...) against Levy’s claim that bad beliefs stem from wholly rational processes, suggesting that, in many cases, such processes are better characterized as arational. Finally, I note that Levy is too quick to dismiss the role that individuals can play in cleaning up their own epistemic environments, and I suggest one route through which this is possible. (shrink)

Bernard Williams's motivational reasons-internalism fails to capture our first-order reasons judgements, while Derek Parfit's nonnaturalistic reasons-externalism cannot explain the nature or normative authority of reasons. This paper offers an intermediary view, reformulating scepticism about external reasons as the claim not that they don't exist but rather that they don't matter. The end-relational theory of normative reasons is proposed, according to which a reason for an action is a fact that explains why the action would be good relative to some end, (...) where the relevant end for any ascription of reasons is determined by the speaker's conversational context. Because these ends need not be the agent's ends, Williams is wrong to reject the existence of external reasons. But contra Parfit, a reason for action is only important for an agent if it is motivationally internal to that agent. (shrink)

A mythopoetic paradigm or perspective sees the world primarily as a dramatic story of competing personal intentions, rather than a system of objective impersonal laws. Asma argued that our contemporary imaginative cognition is evolutionarily conserved-it has structural and functional similarities to premodern Homo sapiens’s cognition. This article will outline the essential features of mythopoetic cognition or adaptive imagination, delineate the adaptive sociocultural advantages of mythopoetic cognition, explain the phylogenetic and ontogenetic mechanisms that give rise to human mythopoetic mind, show how (...) mythopoetic cognition challeng­es contemporary trends in cognitive science and philosophy, and recognize and outline empirical approaches for a new cognitive science of the imagination. (shrink)

Bird argues that Armstrong’s necessitarian conception of physical modality and laws of nature generates a vicious regress with respect to necessitation. We show that precisely the same regress afflicts Bird’s dispositional-monist theory, and indeed, related views, such as that of Mumford & Anjum. We argue that dispositional monism is basically Armstrongian necessitarianism modified to allow for a thesis about property identity.

This paper focuses on the fact that AI is predominantly portrayed as white—in colour, ethnicity, or both. We first illustrate the prevalent Whiteness of real and imagined intelligent machines in four categories: humanoid robots, chatbots and virtual assistants, stock images of AI, and portrayals of AI in film and television. We then offer three interpretations of the Whiteness of AI, drawing on critical race theory, particularly the idea of the White racial frame. First, we examine the extent to which this (...) Whiteness might simply reflect the predominantly White milieus from which these artefacts arise. Second, we argue that to imagine machines that are intelligent, professional, or powerful is to imagine White machines because the White racial frame ascribes these attributes predominantly to White people. Third, we argue that AI racialised as White allows for a full erasure of people of colour from the White utopian imaginary. Finally, we examine potential consequences of the racialisation of AI, arguing it could exacerbate bias and misdirect concern. (shrink)

Guided by neuroscience, animal behavior, evolution, philosophy, and psychology, Asma burrows deep into the human psyche to look right at the enigmatic but powerful engine that is our improvisational creativity—the source, he argues, of our remarkable imaginational capacity. How is it, he asks, that a story can evoke a whole world inside of us? How are we able to rehearse a skill, a speech, or even an entire scenario simply by thinking about it? How does creativity go beyond experience and (...) help us make something completely new? And how does our moral imagination help us sculpt a better society? As he shows, we live in a world that is only partly happening in reality. Huge swaths of our cognitive experiences are made up by “what-ifs,” “almosts,” and “maybes,” an imagined terrain that churns out one of the most overlooked but necessary resources for our flourishing: possibilities. Considering everything from how imagination works in our physical bodies to the ways we make images, from the mechanics of language and our ability to tell stories to the creative composition of self-consciousness, Asma expands our personal and day-to-day forms of imagination into a grand scale: as one of the decisive evolutionary forces that has guided human development from the Paleolithic era to today. The result is an inspiring look at the rich relationships among improvisation, imagination, and culture, and a privileged glimpse into the unique nature of our evolved minds. (shrink)

Kant is often regarded as one of the founding fathers of modern liberal democracy. His political theory reaches its climax in the ground-breaking work, Perpetual Peace (1795), which sets out the basic framework for a world federation of states united by a system of international law. What is less well known is that two years earlier, in his Religion within the Bounds of Bare Reason (1793/1794), Kant had postulated a very different, explicitly religious path to the politics of peace: he (...) presents the idea of an “ethical community” as a necessary requirement for humanity to become “satisfactory to God”. While many recent scholars have noted the importance of Kant’s concept of the ethical community, few recognize the force of his argument that such a community is possible only if it takes the form of a church; as a result, the precise status of his proposal remains unclear and under-appreciated. He argues in Division One, Section IV, of Religion’s Third Piece that the idea of this community can become a reality only through a “church” that is characterized by four rational requirements: unity, integrity, freedom, and the changeability of all church rules except these four unchangeable marks. Prior to Section IV, Division One portrays this ethical community as having a political form, yet an essentially nonpolitical matter. He compares it with Jewish theocracy, but observes that the latter failed to be an ethical commonwealth because it was explicitly political. Whereas traditional theocracy replaces the political state of nature (which conforms to the law, “might makes right”) with an ethical state of nature (which conforms to the law that I call, “should makes good”), or attempts to synthesize them, non-coercive theocracy transcends this distinction through a new perspective: it unites humanity in a common vision of a divine legislator whose only law is inward, binding church members together like families, through the law of love. Whereas the legal rights supported by democracy and a system of international law can go a long way to prepare for world peace, Kant’s conviction is that it will be ultimately impossible without support from healthy religion. (shrink)

In this invited book chapter I argue that, although the influence of Kant's transcendental idealism on the theories he puts forward in his book, Religion within the Bounds of Bare Reason (1793/1794) may not be apparent at first sight, careful attention to their structure reveals a deep influence. Indeed, understanding Kant's arguments in this book as an application of his transcendental idealism is crucial to a proper understanding of their structure and force.

The free energy principle is notoriously difficult to understand. In this paper, we relate the principle to a framework that philosophers of biology are familiar with: Ruth Millikan’s teleosemantics. We argue that: systems that minimise free energy are systems with a proper function; and Karl Friston’s notion of implicit modelling can be understood in terms of Millikan’s notion of mapping relations. Our analysis reveals some surprising formal similarities between the two frameworks, and suggests interesting lines of future research. We hope (...) this will aid further philosophical evaluation of the free energy principle. (shrink)

This book is a compilation of the answers given by 100 of the top Kant-scholars around the world to three questions: (1) In your opinion, which of Kant’s ideas have universal and enduring value? (2) What, in your opinion, was Kant’s main mistake? and (3) Do we understand Kant better than 100 years ago? The original (mostly English or German) versions of the replies can be read on the web page called "International Kant Interview".

Hutto and Myin claim that teleosemantics cannot account for mental content. In their view, teleosemantics accounts for a poorer kind of relation between cognitive states and the world but lacks the theoretical tools to account for a richer kind. We show that their objection imposes two criteria on theories of content: a truth-evaluable criterion and an intensionality criterion. For the objection to go through, teleosemantics must be subject to both these criteria and must fail to satisfy them. We argue that (...) teleosemantics meets the truth-evaluable criterion and is not required to meet the intensionality criterion. We conclude that Hutto and Myin’s objection fails. (shrink)

I explore the extent to which the epistemic state of understanding is transparent to the one who understands. Against several contemporary epistemologists, I argue that it is not transparent in the way that many have claimed, drawing on results from developmental psychology, animal cognition, and other fields.

This chapter is based on a presentation I gave at a conference on General Education. It provides an overview of a course I teach on (Jungian) dream interpretation, focusing especially on the assessment criteria that make it possible to grade students' interpretations of their own dreams in a highly objective manner.

Could interacting mindreaders be in a position to know things which they would be unable to know if they were manifestly passive observers? This paper argues that they could. Mindreading is sometimes reciprocal: the mindreader’s target reciprocates by taking the mindreader as a target for mindreading. The paper explains how such reciprocity can significantly narrow the range of possible interpretations of behaviour where mindreaders are, or appear to be, in a position to interact. A consequence is that revisions and extensions (...) are needed to standard theories of the evidential basis of mindreading. The view also has consequences for understanding how abilities to interact combined with comparatively simple forms of mindreading may explain the emergence, in evolution or development, of sophisticated forms of social cognition. (shrink)

Neo-Fregean logicists claim that Hume’s Principle (HP) may be taken as an implicit definition of cardinal number, true simply by fiat. A long-standing problem for neo-Fregean logicism is that HP is not deductively conservative over pure axiomatic second-order logic. This seems to preclude HP from being true by fiat. In this paper, we study Richard Kimberly Heck’s Two-Sorted Frege Arithmetic (2FA), a variation on HP which has been thought to be deductively conservative over second-order logic. We show that it isn’t. (...) In fact, 2FA is not conservative over n-th order logic, for all $n \geq 2$. It follows that in the usual one-sorted setting, HP is not deductively Field-conservative over second- or higher-order logic. (shrink)

The common saying, “it is better to give than to receive”, is so widespread that its truth is often merely assumed. But can this ethical maxim withstand a careful philosophical analysis? The relevant concepts (“giving”, “receiving”, and “better”)can be interpreted in too many ways to discuss thoroughly in a single essay. Instead, this essay classifies the various ways of interpreting the distinction between giving and receiving, then explores in depth one of the options, based on a pivotal distinction between active (...) and passive types of both giving and receiving. I defend the controversial claim that there is at least one important sense (arguably the most important, for ethical purposes) in which it is not better to give than receive, but that in this sense precisely the opposite holds true. Indeed, the survival of the human race may depend on our willingness to receive. (shrink)

This entry offers a critical overview of the contemporary literature on understanding, especially in epistemology and the philosophy of science.

This paper aims to establish several interconnected points. First, a particular interpretation of the mathematical definition of information, known as the causal interpretation, is supported largely by misunderstandings of the engineering context from which it was taken. A better interpretation, which makes the definition and quantification of information relative to the function of its user, is outlined. The first half of the paper is given over to introducing communication theory and its competing interpretations. The second half explores three consequences of (...) the main thesis. First, a popular claim that the quantification of information in a signal is irrelevant for the meaning of that signal is exposed as fallacious. Second, a popular distinction between causal and semantic information is shown to be misleading, and I argue it should be replaced with a related distinction between natural and intentional signs. Finally, I argue that recent empirical work from microbiology and cognitive science drawing on resources of mathematical communication theory is best interpreted by the functional account. Overall, a functional approach is shown to be both theoretically and empirically well-supported. (shrink)

Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and for building sound (...) taxonomic structures involving them. For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. At the core of this enterprise, there has been a theory of types specially designed to address these issues. This theory is ontologically well- founded, psychologically informed, and formally characterized. These results have led to the development of a Conceptual Modelling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed on conceptual model design in a variety of domains including academic, industrial, and governmental settings. These experiences exposed improvement opportunities for both the OntoUML language and its underlying theory, UFO. In this paper, we revise the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of OntoUML’s meta-types (e.g. kind, role, phase, mixin) should be considered not as restricted to substantial types but instead should be applied to model endurant types in general, including relator types, quality types, and mode types. We also contribute with a formal characterization of this fragment of the theory, which is then used to advance a new metamodel for OntoUML (termed OntoUML 2). To demonstrate that the benefits of this approach are extended beyond OntoUML, the proposed formal theory is then employed to support the definition of UFO-based lightweight Semantic Web ontologies with ontological constraint checking in OWL. Additionally, we report on empirical evidence from the literature, mainly from cognitive psychology but also from linguistics, supporting some of the key claims made by this theory. Finally, we propose a computational support for this updated metamodel. (shrink)

Analyses of moral value judgements must meet a practicality requirement: moral speech acts characteristically express pro- or con-attitudes, indicate that speakers are motivated in certain ways, and exert influence on others' motivations. Nondescriptivists including Simon Blackburn and Allan Gibbard claim that no descriptivist analysis can satisfy this requirement. I argue first that while the practicality requirement is defeasible, it indeed demands a connection between value judgement and motivation that resembles a semantic or conceptual rather than merely contingent psychological link. I (...) then show how a form of descriptivism, the interest-relational theory, satisfies the requirement as a pragmatic and conversational feature of value judgement – thereby also accommodating its defeasibility. The word ``good'' is always indexed to some set of motivations: when this index is unarticulated in many contexts the speaker conversationally implicates possession of those motivations. (shrink)

Among contemporary epistemologists and scholars of ancient philosophy, one often hears that transmitting propositional knowledge by testimony is usually easy and straightforward, but transmitting understanding and know-how by testimony is usually difficult or simply impossible. Further provocative conclusions are then sometimes drawn from these claims: for instance, that know-how and understanding are not types of propositional knowledge. In contrast, I argue that transmitting propositional knowledge is sometimes easy and sometimes hard, just as transmitting know how and understanding is sometimes easy (...) and sometimes hard. No general lessons can be drawn about the relationships among propositional knowledge, know how, and understanding by considering the case of testimony alone. (shrink)

According to content-relativist theories of moral language, different speakers use the same moral sentences to say different things. Content-relativism faces a well-known problem of lost disagreement. Recently, numerous content-relativists (including the author) have proposed to solve this problem by appeal to various kinds of non-content-based, or broadly pragmatic, disagreement. This presents content-relativists with a new problem—of found agreement. Which (if any) of these newly identified kinds of conflict is correctly identified as the lost moral disagreement we were looking for? This (...) paper offers a critical comparison of different content-relativist proposals. It divides them into two broad categories, quasi-expressivist theories (QED) and metalinguistic theories (MLD). Objections to each are considered, and QED is tentatively found to be superior. (shrink)