This paper explores the distinction between active and passive powers. Interest in the distinction has recently been revived in some quarters of the philosophy of action as some have sought to elucidate the distinction between action and passion (the changes that happen to a substance) in terms of the former (Hyman, 2015; Mayr, 2011; Lowe 2013). If there is a distinction between active and passive powers, parallel to the distinction between action and passion, what is it? In this paper, I (...) distinguish two ways of drawing it. According to the first one, active and passive powers are distinguished by the ways in which their manifestations come about. According to the second, they are distinguished by their directedness, i.e. what they are powers to do. Both accounts are examined and the latter is defended against the former. I argue that active powers are powers to alter, modify, corrupt or change something. (shrink)

We discuss a well-known puzzle about the lexicalization of logical operators in natural language, in particular connectives and quantifiers. Of the many logically possible operators, only few appear in the lexicon of natural languages: the connectives in English, for example, are conjunction _and_, disjunction _or_, and negated disjunction _nor_; the lexical quantifiers are _all, some_ and _no_. The logically possible nand (negated conjunction) and Nall (negated universal) are not expressed by lexical entries in English, nor in any natural language. Moreover, (...) the lexicalized operators are all upward or downward monotone, an observation known as the Monotonicity Universal. We propose a logical explanation of lexical gaps and of the Monotonicity Universal, based on the dynamic behaviour of connectives and quantifiers. We define update potentials for logical operators as procedures to modify the context, under the assumption that an update by $\phi$ depends on the logical form of $\phi$ and on the speech act performed: assertion or rejection. We conjecture that the adequacy of update potentials determines the limits of lexicalizability for logical operators in natural language. Finally, we show that on this framework the Monotonicity Universal follows from the logical properties of the updates that correspond to each operator. (shrink)

Many classically valid meta-inferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide a proof system for supervaluationist logic which includes supervaluationistically acceptable versions of the classical meta-inferences. The proof system emerges naturally by thinking of truth as licensing assertion, falsity as licensing negative assertion and lack of truth-value as licensing rejection and weak assertion. Moreover, the proof system respects well-known criteria for the admissibility of inference rules. Thus, supervaluationists (...) can provide an account of good deductive reasoning. Our proof system moreover brings to light how one can revise the standard supervaluationist framework to make room for higher-order vagueness. We prove that the resulting logic is sound and complete with respect to the consequence relation that preserves truth in a model of the non-normal modal logic _NT_. Finally, we extend our approach to a first-order setting and show that supervaluationism can treat vagueness in the same way at every order. The failure of conditional proof and other meta-inferences is a crucial ingredient in this treatment and hence should be embraced, not lamented. (shrink)

Kant and Leibniz are interested in explaining how a number of individuals can come together and form a single unified composite substance. Leibniz does not have a convincing account of how this is possible. In his pre-critical writings and in his later metaphysics lectures, Kant is committed to the claim that the idea of a world is the idea of a real whole, and hence is the idea of a composite substance. This metaphysical idea is taken over into his ethical (...) writings and becomes the idea of a realm of ends. I explain why a realm of ends, should be thought of as both a unum per se and as a real whole. A realm of ends is a whole of individuals unified by laws they have given themselves, that is, it is a community of autonomous individuals. Only such a community can be thought of as a composite individual. Such a whole will be real rather than ideal because the source of the unity of the whole is intrinsic to the whole, for what gives unity to the realm are laws and the sources of the laws are the individual members of the whole. It will be a unum per se because both the laws and the individuals constituting the realm are incomplete without one another. If this reading is correct, this requires a fundamental reevaluation of Kant’s notion of autonomy. To be autonomous is not, primarily, to be understood in terms of ruling oneself, but instead must be thought of primarily in terms of being a generative source of laws for an ideal community. (shrink)

In this paper, I focus on the alleged distinction between speaker’s reference and semantic reference. I begin by discussing Saul Kripke’s notion of speaker’s reference and the theoretical roles it is supposed to play, arguing that they do not justify the claim that reference comes in two different sorts and highlighting that Kripke’s own definition makes the notion incompatible with the nowadays widely endorsed Gricean project, which aims at explaining semantic reference in terms of speaker’s reference. I then examine an (...) alternative account of speaker’s reference offered by Michael Devitt within his causal theory and express some doubts about its suitability for explaining proper name semantic reference. From all this, I conclude that there is at least some tension between Kripke’s chain of communication picture and the attempt to explain (Griceanly, so to say) semantic properties in terms of speakers’ mental states. (shrink)

In this paper I examine the genesis of Kant’s conception of a realm of ends, arguing that Kant first started to think of morality in terms of striving to be a member of a realm of ends, understood as an ideal community, in the early 1760s, and that he was influenced in this by his encounter with the Swedish mystic Emanuel Swedenborg. In 1766 Kant published Dreams of a Spirit Seer, a commentary on Swedenborg’s magnum opus, Heavenly Secrets. Most commentators (...) take Kant’s attitude towards Swedenborg to have been entirely negative, and argue that, at the most, Kant’s encounter with him had a purely negative impact on Kant’s development, inducing him to reject certain of his early metaphysical positions. I argue, in contrast, that Swedenborg had a positive influence on Kant’s development, particularly on his ethics, for Kant’s conception of a realm of ends is modeled on Swedenborg’s conception of heaven as a community of spirits governed by moral laws. (shrink)

In the second lecture of "Naming and Necessity," Saul Kripke presented a new and quite convincing picture of the reference of proper names. At the same time, however, he expressed some skepticism towards the possibility of developing it into a full-blown theory by offering “more exact conditions for reference to take place.” In this paper, after discussing the reasons for his skepticism, I hint at how I think Kripke’s picture could be developed and offer an outline of a theory of (...) reference based on it. One of the key notions my ‘theory’ makes use of is that of repetition, which I take from Kaplan’s “Words.”. (shrink)

The central idea behind this paper is the claim that Kant's moral idea of a realm of ends is modeled on the category of community examined in his theoretical works, and that understanding Kant's account of the category of community helps us understand certain features of the idea of a realm of ends, and in particular the fact that a member of a realm of ends must be an autonomous agent. For Kant the idea of a community is essentially the (...) idea of a multitude of individuals in interaction and in this paper I will attempt to show why Kant believes that only autonomous individuals can interact. (shrink)

We present an inferentialist account of the epistemic modal operator might. Our starting point is the bilateralist programme. A bilateralist explains the operator not in terms of the speech act of rejection ; we explain the operator might in terms of weak assertion, a speech act whose existence we argue for on the basis of linguistic evidence. We show that our account of might provides a solution to certain well-known puzzles about the semantics of modal vocabulary whilst retaining classical logic. (...) This demonstrates that an inferentialist approach to meaning can be successfully extended beyond the core logical constants. (shrink)

Public participation in scientific research has gained prominence in many scientific fields, but the theory of participatory research is still limited. In this paper, we suggest that the divergence of values and goals between academic researchers and public participants in research is key to analyzing the different forms this research takes. We examine two existing characterizations of participatory research: one in terms of public participants' role in the research, the other in terms of the virtues of the research. In our (...) view, each of these captures an important feature of participatory research but is, on its own, limited in what features it takes into account. We introduce an expanded conception of norms of collaboration that extends to both academic researchers and public participants. We suggest that satisfying these norms requires consideration of the two groups' possibly divergent values and goals, and that a broad characterization of participatory research that starts from participants' values and goals can motivate both public participants’ role in the research and the virtues of the research. The resulting framework clarifies the similarities and differences among participatory projects and can help guide the responsible design of such projects. (shrink)

An outstanding reference source to the key issues, problems, and debates in this exciting subject. Comprising 42 chapters it is essential reading for students and researchers within philosophy of action, philosophy of mind, metaphysics, philosophy of psychology and ethics.

This chapter discusses the structure of our temporally extended agency. We do not have the power to act directly at a distance, so any of our temporally extended projects must be sustained over its temporal unfolding by momentary actions. We need both the capacity to organize these momentary steps in light of a synoptic overview of the extended activity as a whole and to sustain our motivation to continue to pursue the extended activity. Hence, the distinctive mode in which we (...) act over time is that of ’planning agency,’ which requires a form of temporal identification that goes beyond mere psychological continuity. I then discuss the differences in internal structure between merely continuous and integrated activities, and between telic and atelic ones. I provide a taxonomy of the different kinds of temporal goods and values and how these structures might bear on the risk of crisis of meaning in our temporal existence. I then touch briefly on the issue of how our mortality might make a difference to the structure of what we find valuable and how it relates to the temporal features of our agency. In the closing section, I discuss the effects of the moving temporal location of the agent (with her local executive powers) relative to her extended pursuits, including the asymmetries generated by the distinction between past and future stages of the activity and the moving horizon of what the agent can anticipate and (indirectly) control. (shrink)

We present epistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati and Schlöder 2019) and an operator for epistemic modality. We prove that epistemic multilateral logic is sound and complete with respect to the modal logic S5 modulo an appropriate translation. The logical framework developed provides the (...) basis for a novel, proof-theoretic approach to the study of epistemic modality. To demonstrate the fruitfulness of the approach, we show how the framework allows us to reconcile classical logic with the contradictoriness of so-called Yalcin sentences and to distinguish between various inference patterns on the basis of the epistemic properties they preserve. (shrink)

Many readers of Kant’s ethical writings take him to be primarily concerned with offering guidelines for action. At the least, they write about Kant as if this were the purpose of his ethical writings. For example, Christine Korsgaard, in her influential article Kant’s Analysis of Obligation: The Argument of Groundwork I, writes that, ‘‘the argument of Groundwork I is an attempt to give what I call a ‘motivational analysis’ of the concept of a right action, in order to discover what (...) that concept applies to, that is, which actions are right.’’ Similar comments are not hard to find in the secondary literature. This, however, is a fundamentally misguided way of reading Kant, since he repeatedly asserts that we do not need to do moral philosophy in order to discover which actions are right. We already know how to behave morally and do not need philosophers to tell us this. ‘‘Common human reason,’’ Kant argues, ‘‘knows very well how to distinguish in every case that comes up what is good and what is evil, what is in conformity to duty or contrary to duty.’’ Because people with pre-philosophical understanding know how to act morally, the purpose of moral philosophy cannot be to provide us with a set of rules for correct behavior. If we take Kant’s claims about common human reason seriously, then his aim in the Groundwork of the Metaphysics of Morals cannot be to discover which actions are right. (shrink)

Translation of Aristotle's Physics I-II into Portuguese, with commentaries. Tradução para o português dos livros I e II da Física de Aristóteles, com comentários.

Paul Guyer is well known for defending the claim that freedom, understood as the capacity to set ends, is Kant’s fundamental value. In contrast, I have developed a reading of Kant’s ethics that places autonomy and community at the heart of Kant’s ethics. At the heart of my account is a conception of autonomy understood as what I call the capacity for sovereignty. I argue that these two positions can be made compatible. To do this involves making a distinction between (...) the concepts of dignity and value and arguing that although autonomy, understood as the capacity for sovereignty, is the source of the dignity of humanity, this is compatible with the claim that the ultimate value for Kant is freedom understood as the capacity to set ends. To explain how this is possible I appeal to Wilfrid Sellars Kantian account of the moral point of view in Science and Metaphysics. (shrink)

In this paper I focus on the work of Sayyid Qutb and in particular his book Milestones, which is often regarded as the Communist Manifesto of Islamic fundamentalism. This paper has four main sections. First I outline Qutb’s political position and in particular examine his advocacy of offensive jihad. In section two I argue that there are a number of tendencies that make his position potentially more liberal that it is often taken to be. I here argue that there are (...) at least six reasons why Qutb’s position is not intrinsically as anti-liberal as it might at first appear. First, many western liberals, influenced by the social contract tradition, regard the legitimacy of their societies as based on popular sovereignty. Qutb, however, regards a society based on popular sovereignty, where law emerges from the will of man rather than the will of God, as a form of tyranny, so it would seem that he is in principle opposed to Western liberal societies. It is not clear, however, that we, or Islamic fundamentalist, need to regard Western liberal societies as based on popular sovereignty, for it is always possible to interpret Western political institutions through the lens of natural law theory, which was one of the main sources of the liberal tradition. In this section I will compare Qutb’s political philosophy with that of Aquinas to illustrate this point and suggest the possibility of secularists and puritan Islamists being able to form an overlapping consensus on the legitimacy of liberal Western societies. Secondly, there is an analogue to the social contract in Qutb’s own position as he believes that legitimate authority requires the free submission of the governed. Thirdly, Qutb is in principle a fallibilist about human reason; this fallibilism extends even to our capacity to interpret divine revelation. Fourthly, Islamic universalism requires that Muslims regard enemies they might be fighting as potential converts. Fifthly, Qutb, like most Sunni fundamentalists, is an implacable enemy of theocracy. And finally, Qutb is a gradualist. In the third section I argue that the real danger for liberal societies from believers in a position like Qutb’s is sociological rather than intrinsic to the ideology – specifically, that there is a danger that such groups may develop in a ‘Leninist’ direction. In the final section I argue that one of the main reasons for this danger is the lack of a consensus in the Islamic world about what it is to be a good, or even a true, Muslim, and that the slow emergence of some sort of consensus will require a vigorous public debate amongst Muslims. Western liberals should welcome such debate rather than fearing such, and should do all they can to ensure that civil society, both in Western societies and in predominantly Islamic societies, is open to such debate. (shrink)

A comparative analysis of the different notions of ‘ways of thinking’ introduced by philosophers. A guiding thread running through historical epistemology in an attempt to unify the researches of its authors. A comprehensive study of Ian Hacking’s ‘project of styles of reasoning’ and its implications for the relativism.

We often effortlessly take the perceptual perspective of others: we represent some aspect of the environment that others currently perceive. However, taking someone's perspective can interfere with one's perceptual processing: another person's gaze can spontaneously affect our ability to detect stimuli in a scene. But it is still unclear whether our cognitive evaluation of those judgements is also affected. In this study, we investigated whether social perspective-taking can influence participants' metacognitive judgements about their perceptual responses. Participants performed a contrast detection (...) task with a task-irrelevant avatar oriented either congruently or incongruently to the stimulus location. By “blindfolding” the avatar, we tested the influence of social perspective-taking versus domain-general directional orienting. Participants had higher accuracy and perceptual sensitivity with a congruent avatar regardless of the blindfold, suggesting a directional cueing effect. However, their metacognitive efficiency was modulated only by the congruency of a seeing avatar. These results suggest that perceptual metacognitive ability can be socially enhanced by sharing perception of the same objects with others. (shrink)

One type of argument to sceptical paradox proceeds by making a case that a certain kind of metaphysically “heavyweight or “cornerstone” proposition is beyond all possible evidence and hence may not be known or justifiably believed. Crispin Wright has argued that we can concede that our acceptance of these propositions is evidentially risky and still remain rationally entitled to those of our ordinary knowledge claims that are seemingly threatened by that concession. A problem for Wright’s proposal is the so-called Leaching (...) worry: if we are merely rationally entitled to accept the cornerstones without evidence, how can we achieve evidence-based knowledge of the multitude of quotidian propositions that we think we know, which require the cornerstones to be true? This paper presents a rigorous, novel explication of this worry within a Bayesian framework, and offers the Entitlement theorist two distinct responses. (shrink)

We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency elsewhere. Based (...) on these insights, we develop a version of B-type expressivism called *inferential expressivism*. This is a novel semantic framework that characterises meanings by inferential roles that define which *attitudes* one can *infer* from the use of terms. We apply this framework to normative vocabulary, thereby solving the Frege-Geach problem generally and comprehensively. Our account moreover includes a semantics for epistemic modals, thereby also explaining normative terms under epistemic modals. (shrink)

The Overgeneration Argument is a prominent objection against the model-theoretic account of logical consequence for second-order languages. In previous work we have offered a reconstruction of this argument which locates its source in the conflict between the neutrality of second-order logic and its alleged entanglement with mathematics. Some cases of this conflict concern small large cardinals. In this article, we show that in these cases the conflict can be resolved by moving from a set-theoretic implementation of the model-theoretic account to (...) one which uses higher-order resources. (shrink)

Lexical innovations (e.g., zero-derivations coined on the fly by a speaker) seem to bear semantic content. Yet, such expressions cannot bear semantic content as a function of the conventions of meaning in force in the language, since they are not part of its lexicon. This is in tension with the commonplace view that the semantic content of lexical expressions is constituted by linguistic conventions. The conventionalist has two immediate ways out of the tension. The first is to preserve the conventionalist (...) assumption and deny that lexical innovations bear semantic content. The second is to dynamicize the conventionalist assumption, that is, argue that presentations of unattested expressions trigger an augmentation of the standing semantic resources of the language and instantiate content as a result of this underlying update. Building on a comparison with the production of novel onomatopoeic words, iconic pseudowords and pro-speech gestures, the paper argues that the issue is best addressed by suspending the conventionalist assumption, and describes the metasemantic implications of the claim. (shrink)

Between the end of the nineteenth century and the first twenty years of the twentieth century, stimulated by the impetuous development of logical studies and taking inspiration from Leibniz's idea of a characteristica universalis, the three founding fathers of the analytic tradition in philosophy, i.e., Frege, Russell, and Wittgenstein, started to talk of a logically perfect language, as opposed to natural languages, all feeling that the latter were inadequate to their (different) philosophical purposes. In the second half of the twentieth (...) century, however, the very idea of a logically perfect language ceased for various reasons to seem attractive to analytic philosophers. Thus, it might appear that this idea could be classified together with the many other bizarre ideas that from time to time surface in the history of philosophy-an idea that perhaps had a beneficial impact on the development of twentieth century logic, but which can now be put to rest. In this brief note, I contend that this conclusion may be too hasty. Indeed, if a well-known empirical hypothesis advanced in 1975 by Jerry Fodor turns out to be true, then there is a logically perfect language, after all. More precisely, I argue that, if it exists, Fodor's language of thought possesses the main characteristics a logically perfect language is required to have. (shrink)

Around 1970, both Keith Donnellan and Saul Kripke produced powerful arguments against description theories of proper names. They also offered sketches of positive accounts of proper name reference, highlighting the crucial role played by historical facts that might be unknown to the speaker. Building on these sketches, in the following years Michael Devitt elaborated his well-known causal theory of proper names. As I have argued elsewhere, however, contrary to what is commonly assumed, Donnellan’s and Kripke’s sketches point in two rather (...) different directions, by appealing to historical or causal facts of different sorts. In this paper, I shall discuss and criticize Devitt’s causal theory, which confuses things, I shall argue, by mixing, so to speak, Donnellan’s and Kripke’s sketches. (shrink)

The analytical notions of ‘thought style’, ‘paradigm’, ‘episteme’ and ‘style of reasoning’ are some of the most popular frameworks in the history and philosophy of science. Although their proponents, Ludwik Fleck, Thomas Kuhn, Michel Foucault, and Ian Hacking, are all part of the same philosophical tradition that closely connects history and philosophy, the extent to which they share similar assumptions and objectives is still under debate. In the first part of the paper, I shall argue that, despite the fact that (...) these four thinkers disagree on certain assumptions, their frameworks have the same explanatory goal – to understand how objectivity is possible. I shall present this goal as a necessary element of a common project -- that of historicising Kant's a priori. In the second part of the paper, I shall make an instrumental use of the insights of these four thinkers to form a new model for studying objectivity. I shall also propose a layered diagram that allows the differences between the frameworks to be mapped, while acknowledging their similarities. This diagram will show that the frameworks of style of reasoning and episteme illuminate conditions of possibility that lie at a deeper level than those considered by thought styles and paradigm. (shrink)

After briefly introducing the topic of reference, which has a long tradition but did not become a major issue until the last century, when language started to occupy center-stage in philosophy, and after mentioning some of the open problems that the semantic revolution promoted by Saul Kripke and others in the late 1960s and early 1970s left us, which are dealt with in the volume, I offer a preview of the papers collected in the latter, explaining how the volume is (...) organized and how the papers relate to one another. (shrink)

Since Saul Kripke’s and Hilary Putnam’s groundbreaking work in the Seventies, the idea has emerged that natural kind terms are semantically special among common nouns. Stephen P. Schwartz, for example, has argued that an artifactual kind term like “pencil” functions very differently from a natural kind term like “tiger.” This, however, blatantly violates a principle that I call Semantic Uniformity. In this paper, I defend the principle. In particular, I outline a picture of how natural kind terms function based on (...) Kripke’s and Putnam’s considerations, and I use it to rebut Schwartz’s arguments, showing that if it works for natural kind terms, it can work for artifactual kind terms too, or at least that Schwartz did not provide good enough reasons to the contrary. (shrink)

Deflationists about truth hold that the function of the truth predicate is to enable us to make certain assertions we could not otherwise make. Pragmatists claim that the utility of negation lies in its role in registering incompatibility. The pragmatist insight about negation has been successfully incorporated into bilateral theories of content, which take the meaning of negation to be inferentially explained in terms of the speech act of rejection. We implement the deflationist insight in a bilateral theory by taking (...) the meaning of the truth predicate to be explained by its inferential relation to assertion. We combine this account of the meaning of the truth predicate with a new diagnosis of the Liar Paradox: its derivation requires the truth rules to preserve evidence, but these rules only preserve commitment. The result is a novel inferential deflationist theory of truth, which solves the Liar Paradox in a principled manner. We end by showing that our theory and simple extensions thereof have the resources to axiomatize the internal logic of several supervaluational hierarchies, including Cantini’s. This solves open problems of Halbach (2011) and Horsten (2011). (shrink)

Thomas Reid argues that both perception and memory involve a conception of an object and usually cause a corresponding belief. According to defenders of the constitutive interpretation, such as Rebecca Copenhaver, the belief is constitutive of acts of perception and memory. I instead argue for a causal interpretation: although in normal circumstances perceiving and remembering cause a corresponding belief, the belief is not constitutive of perception or memory. Copenhaver's strongest argument for the constitutive interpretation is that perception essentially represents objects (...) as present, while memory essentially represents objects as past; since such tense markers can only occur within the beliefs, the beliefs must be an essential aspect of perception and memory. I argue, in contrast, that temporal markers are contained in our conceptions of objects, so beliefs do not play an essential role in distinguishing between perception and memory. Such a reading presupposes a “thick” interpretation of what Reid means by a conception, according to which a Reidian conception is a mode of presentation of the object apprehended. (shrink)

This paper offers an overview of the ways agents might extend over time and the characteristic structure of extended human agency. Agency can extend in two distinct but combinable modes: the ontological, which gives rise to simple continuous agents; and the conceptual, which gives rise to agents who conceive of and care about distal times, and have minimal planning abilities. Our extended form of agency combines both. But we are still limited by the temporal locality in the operation of our (...) psychological and executive powers. To account for this locality, I introduce the notion of 'temporal selves,' as the loci of immediacy in the agent's determination of their psychology, conduct, and practical standpoint. I argue that the passage of time generates, by itself, the threat of temporal alienation from distant temporal selves. A genuinely extended agency requires temporal identification: the sharing, by separate temporal selves, of a temporally extended and integrated practical standpoint. This temporal identification cannot be produced simply by temporal identity as continuity. What is required is temporal identity in the mode of unity and integration. This identity does not precede temporal identification but is co-constituted with it. I offer a preliminary account of the structure of the units of integration for agents who aspire to persist in the mode of unity and integration. I close with a cautionary note: the complex structure of integration, although familiar in everyday life, is often missed by standard philosophical accounts, which tend to focus on simple models of extended agency. (shrink)

Joint attention customarily refers to the coordinated focus of attention between two or more individuals on a common object or event, where it is mutually “open” to all attenders that they are so engaged. We identify two broad approaches to analyse joint attention, one in terms of cognitive notions like common knowledge and common awareness, and one according to which joint attention is fundamentally a primitive phenomenon of sensory experience. John Campbell’s relational theory is a prominent representative of the latter (...) approach, and the main focus of this paper. We argue that Campbell’s theory is problematic for a variety of reasons, through which runs a common thread: most of the problems that the theory is faced with arise from the relational view of perception that he endorses, and, more generally, they suggest that perceptual experience is not sufficient for an analysis of joint attention. (shrink)

Since 1976 Hilary Putnam has on many occasions proposed an argument, founded on some model-theoretic results, to the effect that any philosophical programme whose purpose is to naturalize semantics would fail to account for an important feature of every natural language, the determinacy of reference. Here, after having presented the argument, I will suggest that it does not work, because it simply assumes what it should prove, that is that we cannot extend the metatheory: Putnam appears to think that all (...) we may determinately say about the relations between words and entities in the world is what the model theory tells us, but he has never offered justifications for that. At the end of the article, I will discuss the apparently reliable intuition that seems to me to be at the root of the argument, that is that, given a formal theory, there is an infinite number of ways of connecting it to, or of projecting it onto, the world. I will suggest that we should resist this intuition, because it rests on a very doubtful notion of world, which assumes that for any class of objects there is a corresponding property. (shrink)

As systems based on opaque Artificial Intelligence (AI) continue to flourish in diverse real-world applications, understanding these black box models has become paramount. In response, Explainable AI (XAI) has emerged as a field of research with practical and ethical benefits across various domains. This paper not only highlights the advancements in XAI and its application in real-world scenarios but also addresses the ongoing challenges within XAI, emphasizing the need for broader perspectives and collaborative efforts. We bring together experts from diverse (...) fields to identify open problems, striving to synchronize research agendas and accelerate XAI in practical applications. By fostering collaborative discussion and interdisciplinary cooperation, we aim to propel XAI forward, contributing to its continued success. Our goal is to put forward a comprehensive proposal for advancing XAI. To achieve this goal, we present a manifesto of 27 open problems categorized into nine categories. These challenges encapsulate the complexities and nuances of XAI and offer a road map for future research. For each problem, we provide promising research directions in the hope of harnessing the collective intelligence of interested stakeholders. (shrink)

I discuss the role of translatability in philosophical justification. I begin by discussing and defending Thomas Reid’s account of the role that facts about comparative linguistics can play in philosophical justification. Reid believes that common sense offers a reliable but defeasible form of justification. We cannot know by introspection, however, which of our judgments belong to common sense. Judgments of common sense are universal, and so he argues that the strongest evidence that a judgment is a part of common sense (...) is that it is to be found in all languages. For Reid, then, evidence that a certain distinction is to be found in all languages is evidence that the distinction is part of common sense rather than being a common local prejudice. From such a perspective, empirical work in comparative linguistics can play a defeasible justificatory role in philosophical arguments. I contrast Reid’s position with the more radical position of defenders of the Natural Semantic Metalanguage approach, such as Anna Wierzbicka, who argues that only judgments that are translatable into all natural languages are justifiable. I show how such a position is rooted in an implausible view, although one common among cognitive scientists and linguistics, about the nature of concepts, which does not allow for novel concepts. (shrink)

There are at least five ‘core’ notions of community found in Kant's works: 1. The scientific notion of interaction. This concept is introduced in the Third Analogy and developed in the Metaphysical Foundations of Natural Science. 2. A metaphysical idea. The idea of a world of individuals (monads) in interaction. This idea was developed in Kant’s precritical period and can be found in his metaphysics lectures. 3. A moral ideal. The idea of a realm of ends. 4. A political ideal. (...) The idea of a juridical community (or community of communities) governed by juridical laws. 5. A theological ideal. What Kant calls ‘the kingdom of heaven’, and which can be thought of as a community of holy beings, or angels. In this paper I focus on the relationship between the first, second and fourth of these notions. My argument is that Kant’s notion of a juridical community governed by juridical laws is modelled on the metaphysical idea of the world. This metaphysical idea of a world is, in turn, modelled on the category of community introduced in the first Critique and developed in his logic lectures. (shrink)