I defend a Deferred Ostension view of quotation, on which quotation-marks are the linguistic bearers of reference, functioning like a demonstrative; the quoted material merely plays the role of a demonstratum. On this view, the quoted material works like Nunberg’s indexes in his account of deferred ostensión in general. The referent is obtained through some contextually suggested relation; in the default case the relation will be … instantiates the linguistic type __, but there are other possibilities. In this way, the (...) deferred ostension view deals with a problem I pointed out for the identity proposal in my earlier work, that we do not merely refer with quotations to expression-types, but also to other entities related in some way to the relevant token we use: features exhibited by the token distinct from those constituting its linguistic type, features exhibited by other tokens of the same type but not by the one actually used (as when, by using a graphic token, we refer to its phonetic type), or even other related tokens (see the examples on p. 261 of García-Carpintero 1994). (shrink)

Ontological pluralism is the view that there are different ways to exist. It is a position with deep roots in the history of philosophy, and in which there has been a recent resurgence of interest. In contemporary presentations, it is stated in terms of fundamental languages: as the view that such languages contain more than one quantifier. For example, one ranging over abstract objects, and another over concrete ones. A natural worry, however, is that the languages proposed by the pluralist (...) are mere notational variants of those proposed by the monist, in which case the debate between the two positions would not seem to be substantive. Jason Turner has given an ingenious response to this worry, in terms of a principle that he calls ‘logical realism’. This paper offers a counter-response on behalf of the ‘notationalist’. I argue that, properly applied, the principle of logical realism is no threat to the claim that the languages in question are notational variants. Indeed, there seems to be every reason to think that they are. (shrink)

Abstract: The standard picture of rationality requires that the agent acts so as to realize her most preferred alternative in the light of her own desires and beliefs. However, there are circumstances where such an agent can predict that she will act against her preferences. The story of Ulysses and the Sirens is the paradigmatic example of such cases. In those circumstances the orthodoxy requires the agent to be ‘sophisticated’. That is to say, she should take into account her expected (...) future choices and prevent her future self to act in certain ways. She should ‘bind’ herself to a certain course of action. This is a form of causal commitment. It is generally recognized that this form of self-commitment is the only one that is available to a rational agent. Rational commitment, where the agent gives herself a reason to act in a certain way rather than making herself act in that way, is considered not feasible. In this paper, I question this verdict. I sketch the broad outlines of a model of rational commitment, which takes as its starting point Michael Bratman’s ‘planning theory’ of intention. There are two important objections against this theory (one by John Broome and one by the Dutch philosopher Govert den Hartogh.) Both criticisms claim that such a theory is a form of ‘bootstrapping’ reasons for action into existence. In the remainder of the paper, I will defend the theory against these objections. This way, I hope to establish that defending the feasibility of rational commitment is not an obvious mistake. (shrink)

Are there different sizes of infinity? That is, are there infinite sets of different sizes? This is one of the most natural questions that one can ask about the infinite. But it is of course generally taken to be settled by mathematical results, such as Cantor’s theorem, to the effect that there are infinite sets without bijections between them. These results settle the question, given an almost universally accepted principle relating size to the existence of functions. The principle is: for (...) any sets A and B, if A is the same size as B, then there is a bijection from A to B. The aim of the paper, however, is to argue that this question is in fact wide open: to argue that we are not in a position to know the answer, because we are not in one to know the principle. The aim, that is, is to argue that for all we know there is only one size of infinity. (shrink)

This paper argues that we should solve paradoxes for propositions (such as the Russell–Myhill paradox) in essentially the same way that we solve Russellian paradoxes for sets. That is, the standard, iterative approach to sets is extended to include properties, and then the resulting hierarchy of sets and properties is used to construct propositions. Propositions on this account are structured in the sense of mirroring the sentences that express them, and they would seem to serve the needs of philosophers of (...) language and metaphysicians who rely on such propositions. The resulting account has limitations, comparable to those faced by the iterative approach to sets, but it is argued to be in important ways preferable to others that have been proposed. (shrink)

Kripke [1975] gives a formal theory of truth based on Kleene's strong evaluation scheme. It is probably the most important and influential that has yet been given—at least since Tarski. However, it has been argued that this theory has a problem with generalized quantifiers such as All—that is, All ϕs are ψ—or Most. Specifically, it has been argued that such quantifiers preclude the existence of just the sort of language that Kripke aims to deliver—one that contains its own truth predicate. (...) In this paper I solve the problem by showing how Kleene's strong scheme, and Kripke's theory based on it, can in a natural way be extended to accommodate the full range of generalized quantifiers. (shrink)

Call ‘a substance’ a person who is at home in a relatively stable and unified sense-making framework: a social structure that to some degree specifies which categories are important for interpreting reality, which goals are worth pursing, which character traits are admirable, etc. Call ‘an accident’ a person who is not at home in one such framework. It is tempting to think that being a substance is preferable, but I present some considerations for thinking otherwise. Mexican philosophers Emilio Uranga and (...) Jorge Portilla, I argue, present notions of accidentality as decolonial tools. Uranga’s account enables Mexicans to have positive valuation of their being independently of the approving gaze of the colonizers and their standards of value. Portilla’s thought distinguishes between pernicious accidentality resulting from the disintegration of sense-making frameworks and authentic accidentality as a condition for freedom, self-creation, and ultimately for individual and communal liberation. (shrink)

Critical notice of Richard Gaskin's "The Unity of the Proposition" (OUP 2008).

I present a novel position vis-à-vis the views in the Latin American philosophy literature regarding whether subjects more aptly use "Hispanic" or "Latinx" to refer to Hispanic- or-Latinx people. To this end, I will argue (C) the term "Afro-Latinx" is more apt than "Hispanic" or "Latinx" in a significant number of cases. This conclusion is based on three premises. The first premise (P1) is that use of "Afro-Latinx" provides subjects with understanding of how certain events depend on anti-Black racism, US (...) society's racially unjust structure and US colonial policy. The second premise (P2) is that that neither the term "Hispanic" nor the term "Latinx" provide subjects with this understanding of how certain events depend on anti-Black racism, US society's racially unjust structure and US colonial policy. The third premise (P3) is that the term "Afro-Latinx" provides subjects with more understanding of these events than the terms, "Hispanic" and "Latinx.” I present three cases which feature the experiences of Afro-Dominican people. The 1992 murder of Dominican man Kiko García by New York Police officer O’Keefe is first case. The second case is the Washington Heights Uprising that ensued Kiko García’ murder. An instance where a nightclub bouncer in the Dominican Republic denies a Dominican women entry because of her hair texture composes the third case. (shrink)

The aim of the paper is to argue that all—or almost all—logical rules have exceptions. In particular, it is argued that this is a moral that we should draw from the semantic paradoxes. The idea that we should respond to the paradoxes by revising logic in some way is familiar. But previous proposals advocate the replacement of classical logic with some alternative logic. That is, some alternative system of rules, where it is taken for granted that these hold without exception. (...) The present proposal is quite different. According to this, there is no such alternative logic. Rather, classical logic retains the status of the ‘one true logic’, but this status must be reconceived so as to be compatible with (almost) all of its rules admitting of exceptions. This would seem to have significant repercussions for a range of widely held views about logic: e.g. that it is a priori, or that it is necessary. Indeed, if the arguments of the paper succeed, then such views must be given up. (shrink)

Metaphysically possible worlds have many uses. Epistemically possible worlds promise to be similarly useful, especially in connection with propositions and propositional attitudes. However, I argue that there is a serious threat to the natural accounts of epistemically possible worlds, from a version of Russell’s paradox. I contrast this threat with David Kaplan’s problem for metaphysical possible world semantics: Kaplan’s problem can be straightforwardly rebutted, the problems I raise cannot. I argue that although there may be coherent accounts of epistemically possible (...) worlds with fruitful applications, any such an account must fundamentally compromise the basic idea behind epistemic possibility. (shrink)

This paper discusses the proper taxonomy of the semantics-pragmatics divide. Debates about taxonomy are not always pointless. In interesting cases taxonomic proposals involve theoretical assumptions about the studied field, which might be judged correct or incorrect. Here I want to contrast an approach to the semantics-pragmatics dichotomy, motivated by a broadly Gricean perspective I take to be correct, with a contemporary version of an opposing “Wittgensteinian” view. I will focus mostly on a well-known example: the treatment of referential uses of (...) descriptions and descriptive uses of indexicals. The paper is structured as follows. I will start by characterizing in the first section the version of the Gricean approach I favor; in the second section, I will illustrate the differences between the two views by focussing on the example, and in the third section I will object to what I take to be the main Wittgensteinian consideration. (shrink)

A necessarily true sentence is 'brute' if it does not rigidly refer to anything and if it cannot be reduced to a logical truth. The question of whether there are brute necessities is an extremely natural one. Cian Dorr has recently argued for far-reaching metaphysical claims on the basis of the principle that there are no brute necessities: he initially argued that there are no non-symmetric relations, and later that there are no abstract objects at all. I argue that there (...) are nominalistically acceptable brute necessities, and that Dorr's arguments thus fail. My argument is an application of Gödel's first incompleteness theorem. (shrink)

I argue racial injustice undermines the reliability of news source reports in the information domain of racial injustice. I argue that this in turn undermines subjects’ doxastic justification in inferences they base on these news sources in the racial injustice information domain. I explain that racial injustice does this undermining through the effect of racial prejudice on news organizations’ members and the effect of society's racially unjust structure on non-dominant racial group-controlled news sources.

This chapter intervenes in recent debates in Kant scholarship about the possibility of a general logical alien. Such an alien is a thinker whose laws of thinking violate ours. She is third-personal as she is radically unlike us. Proponents of the constitutive reading of Kant’s conception of general logic accordingly suggest that Kant rules out the possibility of such an alien as unthinkable. I add to this an often-overlooked element in Kant’s thinking: there is reason to think that he grants—and (...) in fact presupposes—the possibility of a transcendental logical alien. Such an alien is a knower whose laws of experience purport to violate ours. She is first-personal as she is radically like us. In other words, she is us, insofar as we are alienated from ourselves and our experience. I go on to draw an analogy between her, a dogmatist, and another transcendental alien, an evil agent. Just as a dogmatist is alienated from her (our) experiential laws, an evil agent is alienated from her (our) moral law. These forms of theoretical and practical self-conceit require self-knowledge in the form of a critique of speculative or practical reason. In bringing this point out, I aim to shift from the question of whether logical laws constitute our thinking to the question of whether grasping our experiential and moral laws as our laws constitutes our reason. (shrink)

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

The concept of facticity denotes conditions of experience whose necessity is not logical yet whose contingency is not empirical. Although often associated with Heidegger, Fichte coins ‘facticity’ in his Berlin period to refer to the conclusion of Kant’s metaphysical deduction of the categories, which he argues leaves it a contingent matter that we have the conditions of experience that we do. Such rhapsodic or factical conditions, he argues, must follow necessarily, independent of empirical givenness, from the I through a process (...) of ‘genesis.’ I reconstruct Fichte’s argument by tracing the origin of his neologism, presenting his Jena critique of Kant’s rhapsodic appeal to the forms of judgment, and illustrating the Jena period’s continuity with the Berlin period’s genetic method, while noting a methodological shift whereby Fichte directs his critique against his own doctrine of intellectual intuition in order to eliminate its ‘factical terms.’. (shrink)

This paper argues that McDowell wrongly assumes that “terror”, Cavell’s reaction to the radical contingency of our shared modes of knowing or our “attunement”, expresses a skepticism that is antinomically bound to an equally unacceptable dogmatism because Cavell rather regards terror as a mood that reveals the “truth of skepticism”, namely, that there is no conclusive evidence for necessary attunement on pain of a category error, and that a precedent for McDowell’s misunderstanding is Hegel’s argument for necessary attunement in a (...) system of knowing, whose refutation Schelling holds it is the “merit of skepticism” to provide. (shrink)

Plausibly, mathematical claims are true, but the fundamental furniture of the world does not include mathematical objects. This can be made sense of by providing mathematical claims with paraphrases, which make clear how the truth of such claims does not require the fundamental existence of mathematical objects. This paper explores the consequences of this type of position for explanatory structure. There is an apparently straightforward relationship between this sort of structure, and the logical sort: i.e. logically complex claims are explained (...) by logically simpler ones. For example, disjunctions are explained by their (true) disjuncts, while generalizations are explained by their (true) instances. This would seem as plausible in the case of mathematics as elsewhere. Also, it would seem to be something that the anti-realist approaches at issue would want to preserve. It will be argued, however, that these approaches cannot do this: they lead not merely to violations of the familiar principles relating logical and explanatory structure, but even to reversals of these. That is, there are cases where generalizations explain their instances, or disjunctions their disjuncts. (shrink)

Leibniz claims that for every possible substance S there is an individual concept that includes predicates describing everything that will ever happen to S, if S existed. Many commentators have thought that this leads Leibniz to think that all properties are had essentially, and thus that it is not metaphysically possible for substances to be otherwise than the way their individual concept has them as being. I argue against this common way of reading Leibniz’s views on the metaphysics of modality. (...) I develop a model in which individual concepts are innocent; that is, individual concepts are divine ideas that permit God to know everything that will ever happen to all possible substances, if created, but these individual concepts neither require that all properties are had essentially nor require that it is metaphysically necessary for substances to be the way their individual concepts have them as being. (shrink)

Can one expect religious minorities to be committed to a liberal democratic state? Can a democratic, Western, liberal state be open and safe for all – both ultra-orthodox and secular alike – and count on the allegiance of all? Does this require that religious minorities ‘hide’ their religious identity and conform to prevailing laws and customs and express their religious views and practices only in the privacy of their own homes? Or should minorities request that they receive public recognition? Ought (...) such minorities tolerate opposing views and practices on matters that are central to their faith, or should they request that these are not expressed in public? In this paper, I discuss and evaluate four possible responses to these questions. (shrink)

Fichte assigns ‘intellectual intuition’ a new meaning after Kant. But in 1799, his doctrine of intellectual intuition is publicly deemed indefensible by Kant and nihilistic by Jacobi. I propose to defend Fichte’s doctrine against these charges, leaving aside whether it captures what he calls the ‘spirit’ of transcendental idealism. I do so by articulating three problems that motivate Fichte’s redirection of intellectual intuition from being to acting: (1) the regress problem, which states that reflecting on empirical facts of consciousness leads (...) only to further facts and so cannot yield a first principle; (2) the rhapsody problem, which states that the categories form a haphazard set and so lack necessity unless they derive from a first principle; and (3) the nihilism problem, which states that a first principle cannot lie outside our cognition of it, lest it be the cause of our cognition and, being first, the cause of all our actions, reducing us to machines. Crucially, Fichte’s three motivating problems are in fact aspects of a single problem. Leaving any aspect unsolved spoils putative solutions to the other two. Consequently, Fichte requires a single unified solution to all three, which his doctrine of intellectual intuition provides. (shrink)

In this paper, I elicit a number of ways in which, according to the Sartre of The Transcendence of the Ego, we can miss the truth about our own self or, more simply, about ourselves. In order to do that, I consider what I call “statements about one's own self,” that is, statements of the form “I ...” where the predicate of the statement is meant to express things that are true of what is evidently given in reflection. I argue (...) that, although statements about one's own self can, according to Sartre, be true on final philosophical analysis, there are at least three senses in which statements about one's own self can or do miss the truth, even when they are (by hypothesis) true. How they miss the truth depends on the different level of philosophical analysis at which we take Sartre to be working. (shrink)

In a series of papers Ladyman and Presnell raise an interesting challenge of providing a pre-mathematical justification for homotopy type theory. In response, they propose what they claim to be an informal semantics for homotopy type theory where types and terms are regarded as mathematical concepts. The aim of this paper is to raise some issues which need to be resolved for the successful development of their types-as-concepts interpretation.

The aim of this paper is to present a constructive solution to Frege's puzzle (largely limited to the mathematical context) based on type theory. Two ways in which an equality statement may be said to have cognitive significance are distinguished. One concerns the mode of presentation of the equality, the other its mode of proof. Frege's distinction between sense and reference, which emphasizes the former aspect, cannot adequately explain the cognitive significance of equality statements unless a clear identity criterion for (...) senses is provided. It is argued that providing a solution based on proofs is more satisfactory from the standpoint of constructive semantics. (shrink)

This article argues that using Joseph Raz’s service conception of authority to reject philosophical anarchism can be affected by political anarchism. Whereas philosophical anarchism only denies the authority of the state, political anarchism claims that anarchism is a better alternative to the state. Raz’s theory holds that an institution has authority if it enables people to better conform with reason. I argue that there are cases where anarchism is an existing alternative to the state and better fulfils this condition. Consequently, (...) in these cases, anarchist groups and societies and not the state have legitimate authority. When anarchism is not an existing alternative to the state, the state will, under Raz’s theory, have some legitimate authority, but that authority will be limited because anarchism remains a better possible alternative to the state. To support the political anarchist claim I discuss the anarchist collectives during the Spanish civil war, which I argue are an example of anarchism as an existing alternative to the state that better fulfils Raz’s service conception and also provide suggestive evidence that anarchism is in general a better possible alternative. I also discuss the relationship between political anarchism and authority and I argue that despite some tension they are not irreconcilable. I conclude that the interesting anarchist challenge for political theorists is political not philosophical. (shrink)

In this paper, I revisit Frege's theory of sense and reference in the constructive setting of the meaning explanations of type theory, extending and sharpening a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational identity criterion for senses and argue that it validates what I see as the most plausible interpretation of Frege's equipollence principle for both sentences and singular terms. Before doing so, I examine Frege's implementation of his (...) theory of sense and reference in the logical framework of Grundgesetze, his doctrine of truth values, and views on sameness of sense as equipollence of assertions. (shrink)

In this paper, I summarize Hume's moral theory as it is developed in the Treatise on Human Nature and pay particular attention to the question how evil is possible in Hume's theory.

Skepticism is one of the most enduring and profound of philosophical problems. With its roots in Plato and the Sceptics to Descartes, Hume, Kant and Wittgenstein, skepticism presents a challenge that every philosopher must reckon with. In this outstanding collection philosophers engage with skepticism in five clear sections: the philosophical history of skepticism in Greek, Cartesian and Kantian thought; the nature and limits of certainty; the possibility of knowledge and related problems such as perception and the debates between objective knowledge (...) and constructivism; the transcendental method as a response to skepticism and the challenge of naturalism; overcoming the skeptical challenge. (shrink)

This article offers a libertarian re-examination of Brazilian political history focusing mainly on the first few decades of the 19th century. The article finds two main tendencies lurking behind the various political parties and labels of the time: one, associated mainly with the Conservative Party, leaned dangerously away from the individual liberties advocated by classical liberalism and instead more toward authoritarian forms of government. The other, associated mainly with the Liberal Party, was more libertarian in nature. This article also concludes (...) that other examinations of these budding political parties fall short by overlooking a potentially authoritarian state underlying the Conservative project that dominated politics in Brazil at the time. (shrink)

In the Vocation of Man, Fichte makes the striking claim that life is eternal, rational, our true being, and the final cause of nature in general and of death in particular. How can we make sense of this claim? I argue that the public lectures that compose the Vocation are a popular expression of Fichte’s pre-existing commitment to what I call immortalism, the view that life is the unconditioned condition of intelligibility. Casting the I as an absolutely self-active or living (...) power enables his philosophical account of both the intelligibility of objects and of what it means to die. This explains his characterization of the Wissenschaftslehre as a system in which ‘all is act, movement, and life’. In Sect. 1, I explain the context of Jacobi’s use of ‘caput mortuum’ as a term for the thing in itself. In Sects. 2 and 3, I reconstruct two immortalist arguments from Fichte’s Jena period. The first is that the I’s self-activity rules out the existence of the thing in itself and thereby vanquishes ‘death’s head’. The second is that, insofar as the I charges us with the moral perfection of nature, it is the final cause of our entire life, including its end. This is to say that the I puts our every moment into question, even our last. In Sect. 4, I use these immortalist arguments to interpret the striking claim from the Vocation. (shrink)

Apresentamos aqui a tradução de uma pequena seleção das notas kantianas sobre ética. A maioria dos fragmento traduzidos é parte das chamadas Reflexões de Filosofia Moral publicadas no tomo XIX de Kants gesammelte Schriften, que se constituem, em sua maior parte, como as anotações de Kant (algumas em folhas soltas) na margem de um dos exemplares de referência para seus cursos de ética17, a Initia philosophiae practicae primae de Alexander Baumgarten, em sua edição de 1760. Acrescentamos à mesma seleção, no (...) entanto, algumas Reflexões presentes em outros volumes do Legado Manuscrito que, de alguma maneira, abordam os mesmos temas. As Reflexões foram dispostas em ordem numérica e separadas de acordo com seus respectivos assuntos. Considerando a diversidade dos temas comentados por Kant, de acordo com o manual, tais como obrigação, coerção, imputação, lei, justiça, punição etc, tentamos selecionar alguns tópicos que assumem uma função basilar dentro da teoria moral kantiana. Dessa forma, o primeiro grupo de Reflexões contém algumas notas que tratam com o problema da liberdade e da lei moral. O segundo é um compilado contendo comentários sobre o sentimento moral. O terceiro apresenta algumas reflexões esparsas sobre imputabilidade e o mal moral e o quarto grupo traz algumas notas comentadas sobre o problema do sumo bem, sendo, em alguns casos, apenas trechos de anotações maiores. As traduções foram realizadas diretamente a partir dos fragmentos originais, embora, em alguns casos, tenha sido feito o cotejamento com outras versões, dentre as quais cito a tradução para o espanhol, Reflexiones sobre Filosofia Moral, publicada por J. Herceg, a seleção de notas da Cambridge Edition intitulada Notes and Fragments e a tradução francesa de Luc Langlois, Réflexions Sur La Philosophie Morale. Com o objetivo de dar mais clareza aos apontamentos, facilitando a interpretação, optei por completar, em alguns casos, as sentenças de Kant nas quais certas palavras ficam subentendidas. Este complemento está apresentado entre colchetes. Para fins comparativos, todas as Reflexões traduzidas são acompanhadas por sua correspondente original nas notas de rodapé. Ciente de todas as dificuldades desse tipo de trabalho, desde já, deixo aberto à comunidade acadêmica o espaço para críticas, sugestões e correções. (shrink)

As touch remains commonly defined by the closeness it physically implies and it rhetorically evokes, the mere notion of distant touch and of distal haptic perception seems peculiar. But Aristotle’s perspective, which I wish to take as a point of departure, is firm: we perceive the objects of touch, the hot and the cold, the hard and the soft, the curved and the sharp, through other things: δι' ἑτέρων. In this article, I would like to explore this ἕτερος by showing (...) how the otherness of perception always implies an intermediary, a middle point (μέσος), i.e. an other not so other, an other that is able to translate the much more distant otherness of the perceived object. To explore these forgotten layers of alterity that fall into what we commonly conceive of as the impalpable emptiness of distance, I propose to study the idea of distant touch from the perspective of phenomenological aesthetics. In order to do so, I will first examine some aspects of the Husserlian account of perception and will then focus on the phenomenology of distant touch in Alejandra Costamagna’s novel El Sistema del Tacto [The System of Touch] (2018). (shrink)

Throughout his career, Schelling assigns knowledge of the absolute first principle of philosophy to intellectual intuition. Schelling's doctrine of intellectual intuition raises two important questions for interpreters. First, given that his doctrine undergoes several changes before and after his identity philosophy, to what extent can he be said to “hold onto” the same “sense” of it by the 1830s, as he claims? Second, given that his doctrine of intellectual intuition restricts absolute idealism to what he calls a “science of reason”, (...) which he says cannot prove the absolute’s existence, what other doctrine does he require in order to prove this? I will answer these questions by tracing the shifts in Schelling’s doctrine of intellectual intuition from the 1790s to the 1830s and drawing out its evolving methodological role within his science of intelligibility. (shrink)

I argue that Bartolomé de las Casas and Juan Ginés de Sepúlveda differed in their conclusions regarding the status of Indigenous persons at least partly because las Casas had significant, yet incomplete, understanding of Indigenous persons, culture and societies and Sepúlveda had mere knowledge of them. To this end, I show that the epistemic state of understanding explains why Las Casas properly concluded that Indigenous persons deserve the same moral status afforded to Europeans. And I show how las Casas’ understanding (...) of Indigenous persons, culture and societies related to what he got wrong about Indigenous persons. (shrink)

The work of Emmanuel Levinas has been both abundantly recognized and criticized in moral philosophy. This Janus-faced attitude is also present in ecological theories, which find fertile ground in Levinas’ thought without being able to explain its apparent anthropocentrism. Opposing hermeneutical paths tend to focus either on otherness as an absolute alterity, implying a potentially unlimited responsibility for all alterities, or on otherness as a re-foundation of humanism, leading to the conclusion that responsibility is unlimited only among humans. Here I (...) seek to disentangle Levinas from these two extreme interpretations, first by reviewing ecological readings of his philosophy, in both the Francophone and Anglophone spheres, and second by analyzing specific Levinasian terms that might be particularly helpful for a non-anthropocentric or deep ecology. The main results of this investigation are a distinction between the ethics of responsibility and the ethics of vulnerability, an explanation of Levinasian compulsory or methodological humanism, and a schematic model of sensibility as enjoyment/vulnerability capable of supporting deep ecology without the traditional notions of free will, rights, or values. (shrink)

It is often claimed that the theory of function levels proposed by Frege in Grundgesetze der Arithmetik anticipates the hierarchy of types that underlies Church’s simple theory of types. This claim roughly states that Frege presupposes a type of functions in the sense of simple type theory in the expository language of Grundgesetze. However, this view makes it hard to accommodate function names of two arguments and view functions as incomplete entities. I propose and defend an alternative interpretation of first-level (...) function names in Grundgesetze into simple type-theoretic open terms rather than into closed terms of a function type. This interpretation offers a still unhistorical but more faithful type-theoretic approximation of Frege’s theory of levels and can be naturally extended to accommodate second-level functions. It is made possible by two key observations that Frege’s Roman markers behave essentially like open terms and that Frege lacks a clear criterion for distinguishing between Roman markers and function names. (shrink)

This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the only primitive logical (...) connectives and necessity as the only primitive modal operator. The full source code is available online and has been typechecked with Lean 3.4.2. (shrink)

On the classical understanding, an agent is fully excused for an action if and only if performing this action was a case of faultless wrongdoing. A major motivation for this view is the apparent existence of paradigmatic types of excusing considerations, affecting fault but not wrongness. I show that three such considerations, ignorance, duress and compulsion, can be shown to have direct bearing on the permissibility of actions. The appeal to distinctly identifiable excusing considerations thus does not stand up to (...) closer scrutiny, undermining the classical view and giving us reason to seek alternative ways of drawing the justification/excuse distinction. (shrink)

Discuto en este trabajo el adecuado tratamiento de un interesante problema semántico, largamente tratado por David Kaplan (1973). El problema fue propuesto originalmente por Richard Cartwright. Después de exponerlo, presento y comento cuatro soluciones. Las soluciones proceden del trabajo de Kaplan; me he tomado no obstante algunas licencias en su presentación. Paso después a proponer una nueva solución al problema de Cartwright, en consonancia con puntos de vista, hasta cierto punto contradictorios con los de Kaplan, que he venido defendiendo en (...) trabajos previos sobre la semántica de indéxicos y nombres propios. El objetivo principal que el trabajo persigue es ofrecer una confirmación indirecta para tales puntos de vista, en tanto que sobre la base teórica que nos proporcionan podemos ofrecer una solución a la paradoja de Cartwright más satisfactoria que las otras hasta ahora propuestas. (shrink)

Kant’s critique/doctrine distinction tracks the difference between a canon for the understanding’s proper use and an organon for its dialectical misuse. The latter reflects the dogmatic use of reason to attain a doctrine of knowledge with no antecedent critique. In the 1790s, Fichte collapses Kant’s distinction and redefines dogmatism. He argues that deriving a canon is essentially dialectical and thus yields an organon: critical idealism is properly a doctrine of science or Wissenschaftslehre. Criticism is furthermore said to refute dogmatism, by (...) which Fichte means Spinozism. Schelling repudiates Fichte’s position in his Philosophical Letters by reviving Kant’s distinction. First, ‘critique’ for Schelling names a canon that is valid for all systems—including Spinozism—and thus favours none—not even the Wissenschaftslehre. Second, Schelling coins ‘dogmaticism’ to refer to what Kant calls ‘dogmatism’: reason’s uncritical claim to doctrine. Hence, he says all systems—even Fichte’s—are susceptible to the ‘enthusiasm’ of mistaking themselves for doctrines or ‘objects of knowledge’, instead of subjectively valid ‘objects of freedom’. I reconstruct Schelling’s argument for reviving Kant’s distinction, while noting two consequences for German idealism. First, if criticism favours no system, a system’s origin cannot be an act of knowledge, e.g., intellectual intuition, but only an act of endorsement. Second, if dogmaticism entails enthusiasm, a system’s goal cannot be absolute knowledge, but only infinite striving. Hence, by retrieving Schelling’s notion of dogmaticism, we can both gain a better understanding of the Letters and register the impact of a core Kantian distinction on the German idealist project. (shrink)

As the range of potential uses for Artificial Intelligence, in particular machine learning, has increased, so has awareness of the associated ethical issues. This increased awareness has led to the realisation that existing legislation and regulation provides insufficient protection to individuals, groups, society, and the environment from AI harms. In response to this realisation, there has been a proliferation of principle-based ethics codes, guidelines and frameworks. However, it has become increasingly clear that a significant gap exists between the theory of (...) AI ethics principles and the practical design of AI systems. In previous work, we analysed whether it is possible to close this gap between the ‘what’ and the ‘how’ of AI ethics through the use of tools and methods designed to help AI developers, engineers, and designers translate principles into practice. We concluded that this method of closure is currently ineffective as almost all existing translational tools and methods are either too flexible or too strict. This raised the question: if, even with technical guidance, AI ethics is challenging to embed in the process of algorithmic design, is the entire pro-ethical design endeavour rendered futile? And, if no, then how can AI ethics be made useful for AI practitioners? This is the question we seek to address here by exploring why principles and technical translational tools are still needed even if they are limited, and how these limitations can be potentially overcome by providing theoretical grounding of a concept that has been termed ‘Ethics as a Service.’. (shrink)

Fichte argues that the conclusion of Kant’s transcendental deduction of the categories is correct yet lacks a crucial premise, given Kant’s admission that the metaphysical deduction locates an arbitrary origin for the categories. Fichte provides the missing premise by employing a new method: a genetic deduction of the categories from a first principle. Since Fichte claims to articulate the same view as Kant in a different, it is crucial to grasp genetic deduction in relation to the sorts of deduction that (...) Kant offers. I propose to interpret genetic deduction as the simultaneous fulfillment of two tasks: answering the question quid facti by deriving the categories from the I and answering the question quid juris by establishing our entitlement to the categories as conditions of experience. While the second task represents Fichte’s agreement with Kant’s transcendental deduction, the first reflects his correction of Kant’s metaphysical deduction. (shrink)

I critically discuss some aspects of Mark Sainsbury's Reference without Referents, from an otherwise sympathetic viewpoint. My objections focus on the adequacy of the truth-conditional framework that Sainsbury presupposes. I argue that, as semantic theories, truth-conditional accounts are both too ambitious, and too austere to be fully explanatory, and that both problems have consequences for an account of reference. The latter problem has to do with the difficulties to capture in a truth-conditional framework the descriptive contribution of indexicals and, in (...) my view, proper names. The former has to do with the non-semantic contribution of context to the determination of truth-conditions in general and reference in particular. /// En este artículo discuto críticamente algunos aspectos del libro de Mark Sainsbury Reference without Referents, desde una perspectiva por lo demás próxima. Mis objeciones se centran en la adecuación del marco que Sainsbury presupone: la semántica de condiciones de verdad. Argumento que tales propuestas son, en tanto que teorías semánticas, a la vez demasiado ambiciosas y demasiado austeras para ser genuinamente explicativas, y que ambos problemas tienen consecuencias en lo que respecta a la explicación de la referencia. El segundo problema tiene que ver con las dificultades para representar la contribución descriptiva de los deícticos y, en mi opinión, de los nombres propios también en el marco de condiciones de verdad. El primero tiene que ver con la contribución no semántica del contexto a la determinación de las condiciones de verdad en general y la referencia en particular. (shrink)

It is commonly assumed that blameworthiness is epistemically constrained. If one lacks sufficient epistemic access to the fact that some action harms another, then one cannot be blamed for harming. Acceptance of an epistemic condition for blameworthiness can give rise to a worry, however: could agents ever successfully evade blameworthiness by deliberately stunting their epistemic position? I discuss a particularly worrisome version of such epistemic shirking, in which agents pre-emptively seek to avoid access to potentially morally relevant facts. As Roy (...) Sorensen and Jan Willem Wieland have argued, we seem to be faced with a potentially troubling regress when trying to explain what goes wrong in such situations. I argue that the solution to this so-called Shirker Problem is not to be found in complicated and demanding anti-shirking-principles with universal scope and potentially self-reflexive content. Instead, careful consideration of the necessary motivational make-up of genuine shirkers reveals their ignorance to lack the necessary depth to be exculpatory. Since shirkers by definition react to the possibility of the revelation of morally relevant facts with acts of epistemic self-limitation, they necessarily prove guilty of a form of culpable moral recklessness. Epistemic shirking thus does not pose a worrisome problem for ethical theory. (shrink)

Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated as a way to treat different pathological sentences differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps and as a way to treat the semantic pathology suffered by at least (...) some of these sentences as infectious. This leads us to consider four distinct four-valued logics: one where truth-value gaps are infectious, but gluts are not; one where truth-value gluts are infectious, but gaps are not; and two logics where both gluts and gaps are infectious, in some sense. Additionally, we focus on the proof theory of these systems, by offering a discussion of two related topics. On the one hand, we prove some limitations regarding the possibility of providing standard Gentzen sequent calculi for these systems, by dualizing and extending some recent results for infectious logics. On the other hand, we provide sound and complete four-sided sequent calculi, arguing that the most important technical and philosophical features taken into account to usually prefer standard calculi are, indeed, enjoyed by the four-sided systems. (shrink)

In a recent paper, Peacocke (2001) continues an ongoing debate with McDowell and others, providing renewed arguments for the view that perceptual experiences and some other mental states have a particular kind of content, nonconceptual content. In this article I want to object to one of the arguments he provides. This is not because I side with McDowell in the ongoing debate about nonconceptual content; on the contrary, given the way I understand it, my views are closer to Peacocke’s, and (...) have been strongly influenced by him. It is just that I am not persuaded by the particular argument I will be questioning here. (shrink)