In this paper, I aim to defend Gadamer’s philosophical hermeneutics against what I call the radical hermeneutic critique, specifically the critique developed in Robert Bernasconi’s article “’You Don’t Know What I’m Talking About’: Alterity and the Hermeneutic Ideal” (1995). Key to this critique is the claim that Gadamer’s account does not rise to the ethical task of embracing the alterity of the Other, but instead reduces it to a projection of one’s self. The implication is therefore that Gadamer’s philosophical hermeneutics (...) has to be rejected on ethical grounds, as it does not appreciate but assimilates the alterity of the Other. In contrast to this radical hermeneutic critique, I argue that Gadamer’s philosophical hermeneutics can accommodate an Other that is not assimilated but appreciated, on the condition that the unique status of a dialogue with the Other as a person is no longer neglected, as Gadamer does, but instead truly distinguished from a dialogue with the Other as a text. (shrink)

Simbolismul religios a trezit mereu interesul cercetătorilor din domenii diferite de activitate, lumea întreagă reprezentând un mare simbol ce trebuie să fie descifrat. În dorința de a înțelege sensurile universului înconjurător, oamenii de știință au folosit descoperirile din domenii conexe pentru a-și formula propriile teorii. În acest sens, se pot realiza conexiuni pertinente între felurile în care istoricul religiilor Mircea Eliade și teologul ortodox Alexander Schmemann au definit simbolul și felul în care acesta este prezent în viața de zi (...) cu zi a oamenilor, redefinind astfel și strânsa legătură ce există între istoria religiilor și teologie ca discipline de studiu academic. (shrink)

Despre afinitățile elective dintre Mircea Eliade și diferiți oameni de cultură români și străini s-au scris multe pagini de-a lungul timpului. Cei interesați de opera savantului nu pot trece cu vederea legăturile spirituale și culturale cu Nae Ionescu, Mihail Sebastian, Emil Cioran, Constantin Noica, Goethe, C.G. Jung, Marcel Proust, Raffaele Pettazzoni etc. Și numărul acestora poate crește cu multe alte nume din țară și din străinătate, dovedind faptul că Mircea Eliade a fost și rămâne o personalitate care a marcat (...) istoria și cultura națională și universală și ale cărui idei încă fecundează spiritele preocupate de viața religioasă, de literatură sau de științele secolului în care trăim. Pornind de la aceste date, în cartea de față încercăm să creionăm felul în care ideile lui Eliade pot fi așezate alături de cele ale unor gânditori din arii diferite de cercetare, având în centru teme ce se regăsesc atât în lucrările savantului de origine română, cât și operele acestor personalități. În acest sens, ne-am oprit la câteva nume importante: Rudolf Otto, Sfântul Dionisie Areopagitul (alături de Meister Eckhart și Nicolaus Cusanus), Pr. Alexander Schmemann, Thomas J.J. Altizer, Sfântul Grigorie Palama (și isihasmul), I.P. Culianu, Marin Sorescu, Constantin Brâncuși, Nicolae Steinhardt, Pr. Dumitru Stăniloae. (shrink)

The year 2009 has been a year of numerous commemorations of both scientific and non-scientific achievements that contributed to the advancement of human kind. Protestants celebrated the 500th anniversary of the birth of Calvin; literary critics celebrated the 200th anniversary of the poet Edgar Allan Poe; and the musical genius Felix Mendelssohn-Bartholdy was also born 200 years ago. 2009 further marked the bicentennial of the birth of Louis Braille, the inventor of Braille; and Abraham Lincoln, the 16th president of the (...) United States, who founded the National Academy of Sciences. Pierre Curie, famous for his work on radioactivity that he conducted together with his wife Marie Curie, was born 150 ago; as was John Dewey, a philosopher and psychologist who is recognized as one of the founding fathers of both pragmatism as well as functional psychology. UNESCO and the International Astronomical Union dubbed 2009 the International Year of Astronomy. By doing so, astronomers celebrated the 400th anniversary of Galileo Galilei’s telescopic observations as well as the publication of Johannes Kepler’s Astronomia nova wherein he formulated the first two laws of planetary motion. 2009 also marked the last of a 3-year-long celebration of Planet Earth, another UNESCO-governed initiative. However, for evolutionary biologists and philosophers of science, 2009 will be largely remembered for its worldwide commemorations of the 200th anniversary of the birth of Charles Darwin, and the 150th anniversary of the publication of his magnum opus On the origin of species by means of natural selection. Footnote1 In order to pay tribute to Darwin’s major contribution to the advancement of evolutionary science, the International Union of Biological Sciences and the International Union of History and Philosophy of Science have called the year 2009 the Darwin Year. Given that so many scientific discoveries were commemorated, COPUS, the Coalition on the Public Understanding on Science, called out 2009 as the Year of Science, in the hope to pay equal tribute to both the field of biology as well as astronomy. 2009 was indeed a year of biology. Somewhat overshadowed by the big Darwin celebrations, smaller-scaled events were held to commemorate the 200th anniversary of the publication of Lamarck’s Philosophie Zoologique; and the 150th anniversary of the death of Alexander von Humboldt, the father of biogeography. In 1910, Constantin Mereschkowsky wrote his article on symbiogenesis entitled ‘The Theory of Two Plasmas as the Basis of Symbiogenesis, a New Study for the Origins of Organisms’. The article was published in the German Biologisches Zentralblatt, the journal that would later evolve into the current Theory in Biosciences. Somewhat forgotten, but equally important for the field of symbiogenesis, was the 200th anniversary of the birth of Pierre-Joseph Van Beneden, a Belgian paleontologist and zoologist famous for distinguishing parasitism from commensalism. Finally, Henry Bergson, known for inventing the currently rejected notion of élan vital, was born 150 years ago. In order to memorialize the important role these biologists played in the advancement of our understanding of the evolutionary process, a 2-day international conference was organized entitled: Evolution today and tomorrow, Darwin evaluated by contemporary evolutionary and philosophical theories. The conference was organized by The Centre for Philosophy of Science of the University of Lisbon (Portugal), in collaboration with the Centre for Environmental Biology of the same university, and the Lisbon Centre for Applied Psychology. The articles presented here are a spin-off of this conference. The current volumes contain the peer-reviewed articles of a selection of the plenary and invited speakers, as well as those of scholars who were additionally invited to contribute to the volumes. (shrink)

Review the Istvan Kiraly V.'s book: Death and History.

The concern of deductive logic is generally viewed as the systematic recognition of logical principles, i.e., of logical truths. This paper presents and analyzes different instantiations of the three main interpretations of logical principles, viz. as ontological principles, as empirical hypotheses, and as true propositions in virtue of meanings. I argue in this paper that logical principles are true propositions in virtue of the meanings of the logical terms within a certain linguistic framework. Since these principles also regulate and control (...) the process of deduction in inquiry, i.e., they are prescriptive for the use of language and thought in inquiry, I argue that logic may, and should, be seen as an instrument or as a way of proceeding (modus procedendi) in inquiry. (shrink)

Intellectual property has become the apple of discord in today’s moral and political debates. Although it has been approached from many different perspectives, a final conclusion has not been reached. In this paper I will offer a new way of thinking about intellectual property rights (IPRs), from a left-libertarian perspective. My thesis is that IPRs are not (natural) original rights, aprioric rights, as it is usually argued. They are derived rights hence any claim for intellectual property is weaker than the (...) correlative duties attached to self-ownership and world-ownership rights, which are of crucial importance in any left-libertarian view. Moreover, IPRs lack priority in front of these two original rights and should be overridden by stronger claims of justice. Thus, as derived rights, IPRs should not benefit of strong enforcement like any original rights especially if it could be in the latters’ detriment. (shrink)

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

With AI permeating our lives, there is widespread concern regarding the proper framework needed to morally assess and regulate it. This has given rise to many attempts to devise ethical guidelines that infuse guidance for both AI development and deployment. Our main concern is that, instead of a genuine ethical interest for AI, we are witnessing moral diplomacies resulting in moral bureaucracies battling for moral supremacy and political domination. After providing a short overview of what we term ‘ethics washing’ in (...) the AI industry, we analyze the 2021 UNESCO Intergovernmental Meeting of Experts (Category II) tasked with drafting the Recommendation on the Ethics of Artificial Intelligence and show why the term ‘moral diplomacy’ is better suited to explain what is happening in the field of the ethics of AI. Our paper ends with some general considerations regarding the future of the ethics of AI. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

Our technological lifeworld has become an info-computational media populated by data and algorithms, an artificial environment for life and shared experiences. In this chapter, I tried to sketch three new assumptions for bioethics – it is hardly possible to substantiate ethical guidelines or an idea of normativity in an aprioristic manner; moral status is a function of data entities, not something solely human; agency is plural and thus is shared or sometimes delegated – in order to chart a proposal for (...) a posthuman bioethics. Posthuman is perhaps not the best expression available, but it covers the idea of a shift from a world centered on self-contained and exclusively human agency to a more comprehensive and relational way of thinking. The “posthuman” label should be understood as a rebuttal of biocentrism and anthropocentrism by moving closer to conceptions we encounter in population ethics or in discourse about biosocial and technical systems. Posthuman bioethics is “environmentalist” without losing the humanistic stance. The question regarding how suitable an infocentric bioethics is in practice remains to be settled. The moral principles in bioethics could be reconceived as relying on these new assumptions, in a postindividualistic manner that accepts formal primacy of causal digital artifacts in affording actions in a world of ambient algorithmic intelligence. (shrink)

K. R. Popper distinguished between two main uses of logic, the demonstrational one, in mathematical proofs, and the derivational one, in the empirical sciences. These two uses are governed by the following methodological constraints: in mathematical proofs one ought to use minimal logical means (logical minimalism), while in the empirical sciences one ought to use the strongest available logic (logical maximalism). In this paper I discuss whether Popper’s critical rationalism is compatible with a revision of logic in the empirical sciences, (...) given the condition of logical maximalism. Apparently, if one ought to use the strongest logic in the empirical sciences, logic would remain immune to criticism and, thus, non-revisable. I will show that critical rationalism is theoretically compatible with a revision of logic in the empirical sciences. However, a question that remains to be clarified by the critical rationalists is what kind of evidence would lead them to revise the system of logic that underlies a physical theory, such as quantum mechanics? Popper’s falsificationist methodology will be compared with the recently advocated extension of the abductive methodology from the empirical sciences to logic by T. Williamson, since both of them arrive at the same conclusion concerning the status of classical logic. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence true in just those models. (...) I show that this assumption does not hold for the class of models of classical propositional logic. In particular, I show that the existence of non-normal models for negation undermines McGee’s argument. (shrink)

2020 is the year of the first pandemic lived through the Internet. More than half of the world population is now online and because of self-isolation, our moral and social lives unfold almost exclusively online. Two pressing questions arise in this context: how much can we rely on the Internet, as a set of technologies, and how much should we trust online platforms and applications? In order to answer these two questions, I develop an argument based on two fundamental assumptions: (...) the development stage of today’s Internet is a contingent and not a necessary one and technologies are never neutral. My argument is that today’s pandemic produced an acceleration of the change which started almost 30 years ago, one of online migration, datafication and algorithmization of day to day life, a change in which digital technologies take on the classic role of institutions, both formal and informal. My thesis is a descriptive one, although it has some normative implications: this take over is not just a translation, but a modification or mutation which demands a creative collective answer, although users don’t have direct power over it. When they play the role of institutions, these technologies are surrogates or simulacra. I offer the paradigmatic case of online education, an experiment we were forced into because of the pandemic, in order to show that the institutional matrix of education cannot be reproduced online, due to the limitations of the medium and of the applications, especially those concerning physical presence. In the end I will critically address the question of the role played by Artificial Intelligence in the pandemic, and then I will show that the open source ethics was more useful in approaching scientifically and technologically the problems generated by the epidemic. (shrink)

The future rests under the sign of technology. Given the prevalence of technological neutrality and inevitabilism, most conceptualizations of the future tend to ignore moral problems. In this paper we argue that every choice about future technologies is a moral choice and even the most technology-dominated scenarios of the future are, in fact, moral provocations we have to imagine solutions to. We begin by explaining the intricate connection between morality and the future. After a short excursion into the history of (...) Artificial Intelligence, we analyse two possible scenarios, which show that building the future with technology is, first and foremost, a moral endeavor. (shrink)

This interview, conducted over the span of several months, tracks the respective journeys of Constantin V. Boundas and Daniel W. Smith with the philosophy of Gilles Deleuze. Rather than “becoming Deleuzian,” which is neither desirable nor possible, these exchanges reflect an array of encounters with Deleuze. These include the initial discoveries of Deleuze’s writings by Boundas and Smith, in-person meetings between Boundas and Deleuze, and the wide-ranging and influential philosophical work on Deleuze’s concepts produced by both Boundas and Smith. (...) At stake in this discussion are key contributions by Deleuze to continental philosophy, including the distinction between the virtual and the actual and the very nature of a “concept.” Also at stake is the formative or pedagogical impact of a philosopher, like Deleuze, on those who find and fully engage with his texts, concepts, and project. Cette interview, menée sur plusieurs mois, suit les parcours respectifs de Constantin V. Boundas et Daniel W. Smith avec la philosophie de Gilles Deleuze. Au lieu de « devenir Deleuzien, » ce qui n’est ni souhaitable ni possible, ces échanges reflètent un éventail de rencontres avec Deleuze. Il s’agit notamment des premières découvertes des écrits de Deleuze par Boundas et Smith, des rencontres en personne entre Boundas et Deleuze, et du travail philosophique vaste et in????luent sur les concepts de Deleuze produit par Boundas et Smith. L’enjeu ici étant les contributions clés de Deleuze à la philosophie continentale, y compris la distinction entre le virtuel et l’actuel, et la nature même d’un « concept. » Mais il y a aussi l’impact formateur ou pédagogique d’un philosophe, comme Deleuze, sur ceux qui trouvent et s’engagent pleinement dans ses textes, ses concepts et ses projets. (shrink)

Can there be grounding without necessitation? Can a fact obtain wholly in virtue of metaphysically more fundamental facts, even though there are possible worlds at which the latter facts obtain but not the former? It is an orthodoxy in recent literature about the nature of grounding, and in first-order philosophical disputes about what grounds what, that the answer is no. I will argue that the correct answer is yes. I present two novel arguments against grounding necessitarianism, and show that grounding (...) contingentism is fully compatible with the various explanatory roles that grounding is widely thought to play. (shrink)

Discussion of the relevance of grounding to substantiveness, theory-choice, and “location problems” in metaphysics.

We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.

Anscombe claims that whenever a subject is doing something intentionally, this subject knows that they are doing it. This essay defends Anscombe's claim from an influential set of counterexamples, due to Davidson. It argues that Davidson's counterexamples are tacit appeals to an argument, on which knowledge can't be essential to doing something intentionally, because some things that can be done intentionally require knowledge of future successes, and because such knowledge can't ever be guaranteed when someone is doing something intentionally. The (...) essay argues that there are apparently sensible grounds for denying each of these two premises. (shrink)

This article argues that economic crises are incompatible with the realisation of non-domination in capitalist societies. The ineradicable risk that an economic crisis will occur undermines the robust security of the conditions of non-domination for all citizens, not only those who are harmed by a crisis. I begin by demonstrating that the unemployment caused by economic crises violates the egalitarian dimensions of freedom as non-domination. The lack of employment constitutes an exclusion from the social bases of self-respect, and from a (...) practice of mutual social contribution crucial to the intersubjective affirmation of one’s status. While this argument shows that republicans must be concerned about economic crises, I suggest a more powerful argument can be grounded in the republican requirement that freedom must be robust. The systemic risk of economic crisis constitutes a threat to the conditions of free citizenship that cannot be nullified using policy mechanisms. As a result, republicans appear to be faced with the choice of revising their commitments or rejecting the possibility that republican freedom can be robustly secured in capitalist societies. (shrink)

Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, each philosophical approach to these (...) truths should account for this evidence, i.e., that first-order logical truths are a priori, necessary, and analytic, and it is my contention that the semantic account is a better candidate. (shrink)

Epistemic invariantism, or invariantism for short, is the position that the proposition expressed by knowledge sentences does not vary with the epistemic standard of the context in which these sentences can be used. At least one of the major challenges for invariantism is to explain our intuitions about scenarios such as the so-called bank cases. These cases elicit intuitions to the effect that the truth-value of knowledge sentences varies with the epistemic standard of the context in which these sentences can (...) be used. In this paper, I will defend invariantism against this challenge by advocating the following, somewhat deflationary account of the bank case intuitions: Readers of the bank cases assign different truth-values to the knowledge claims in the bank cases because they interpret these scenarios such that the epistemic position of the subject in question differs between the high and the low standards case. To substantiate this account, I will argue, first, that the bank cases are underspecified even with respect to features that should uncontroversially be relevant for the epistemic position of the subject in question. Second, I will argue that readers of the bank cases will fill in these features differently in the low and the high standards case. In particular, I will argue that there is a variety of reasons to think that the fact that an error-possibility is mentioned in the high standards case will lead readers to assume that this error-possibility is supposed to be likely in the high standards case. (shrink)

This paper is a short introduction to Carnap’s writings on semantics with an emphasis on the transition from the syntactic period to the semantic one. I claim that one of Carnap’s main aims was to investigate the possibility of the symmetry between the syntactic and the semantic methods of approaching philosophical problems, both in logic and in the philosophy of science. This ideal of methodological symmetry could be described as an attempt to obtain categorical logical systems, i.e., systems that allow (...) only the intended semantical interpretation. (shrink)

Achieving space domain awareness requires the identification, characterization, and tracking of space objects. Storing and leveraging associated space object data for purposes such as hostile threat assessment, object identification, and collision prediction and avoidance present further challenges. Space objects are characterized according to a variety of parameters including their identifiers, design specifications, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, processes, operational statuses, and associated persons, organizations, or nations. The Space Object Ontology provides a consensus-based realist framework (...) for formulating such characterizations in a computable fashion. Space object data are aligned with classes and relations in the Space Object Ontology and stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space domain awareness and the needs of spacecraft operators. This paper presents the core of the Space Object Ontology, discusses its advantages over other approaches to space object classification, and demonstrates its ability to combine diverse sets of data from multiple sources within an expandable framework. Finally, we show how the ontology provides benefits for enhancing and maintaining longterm space domain awareness. (shrink)

Research on the most effective Linux iptables rules to mitigate Distributed Denial of Service (DDoS) attacks.

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...) enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

The categoricity problem for a system of logic reveals an asymmetry between the model-theoretic and the proof-theoretic resources of that logic. In particular, it reveals prima facie that the proof-theoretic instruments are insufficient for matching the envisaged model-theory, when the latter is already available. Among the proposed solutions for solving this problem, some make use of new proof-theoretic instruments, some others introduce new model-theoretic constrains on the proof-systems, while others try to use instruments from both sides. On the proof-theoretical side, (...) two main approaches for solving the categoricity problem for propositional classical logic consist in the enforcement of the formal systems of this logic by introducing rules of inference of a new kind. A multiple-conclusions logic allows rules of inference with more than one conclusion, while a bilateralist system contains rules of inference formulated in terms of assertion and rejection. Both these approaches reveal interesting formal features of logical reasoning. This paper analyses some of the advantages and limitations of these two approaches as solutions for a full formalization of logic, i.e., for a categorical formalization. (shrink)

A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.

In this paper, we argue that a distinction ought to be drawn between two ways in which a given world might be logically impossible. First, a world w might be impossible because the laws that hold at w are different from those that hold at some other world (say the actual world). Second, a world w might be impossible because the laws of logic that hold in some world (say the actual world) are violated at w. We develop a novel (...) way of modelling logical possibility that makes room for both kinds of logical impossibility. Doing so has interesting implications for the relationship between logical possibility and other kinds of possibility (for example, metaphysical possibility) and implications for the necessity or contingency of the laws of logic. (shrink)

As Thomas Uebel has recently argued, some early logical positivists saw American pragmatism as a kindred form of scientific philosophy. They associated pragmatism with William James, whom they rightly saw as allied with Ernst Mach. But what apparently blocked sympathetic positivists from pursuing commonalities with American pragmatism was the concern that James advocated some form of psychologism, a view they thought could not do justice to the a priori. This paper argues that positivists were wrong to read James as offering (...) a psychologistic account of the a priori. They had encountered James by reading Pragmatism as translated by the unabashedly psychologistic Wilhelm Jerusalem. But in more technical works, James had actually developed a form of conventionalism that anticipated the so-called “relativized” a priori positivists themselves would independently develop. While positivists arrived at conventionalism largely through reflection on the exact sciences, though, James’s account of the a priori grew from his reflections on the biological evolution of cognition, particularly in the context of his Darwin-inspired critique of Herbert Spencer. (shrink)

I argue that embodied understanding and conceptual-representational understanding interact through schematic structure. I demonstrate that common conceptions of these two kinds of understanding, such as developed by Wheeler (2005, 2008) and Dreyfus (2007a, b, 2013), entail a separation between them that gives rise to significant problems. Notably, it becomes unclear how they could interact; a problem that has been pointed out by Dreyfus (2007a, b, 2013) and McDowell (2007) in particular. I propose a Kantian strategy to close the gap between (...) them. I argue that embodied and conceptual-representational understanding are governed by schemata. Since they are governed by schemata, they can interact through a structure that they have in common. Finally, I spell out two different ways to conceive of the schematic interaction between them—a close, grounding relationship and a looser relationship that allows for a minimal interaction, but preserves the autonomy of both forms of understanding. (shrink)

Conventional wisdom has it that truth is always evaluated using our actual linguistic conventions, even when considering counterfactual scenarios in which different conventions are adopted. This principle has been invoked in a number of philosophical arguments, including Kripke’s defense of the necessity of identity and Lewy’s objection to modal conventionalism. But it is false. It fails in the presence of what Einheuser (2006) calls c-monsters, or convention-shifting expressions (on analogy with Kaplan’s monsters, or context-shifting expressions). We show that c-monsters naturally (...) arise in contexts, such as metalinguistic negotiations, where speakers entertain alternative conventions. We develop an expressivist theory—inspired by Barker (2002) and MacFarlane (2016) on vague predications and Einheuser (2006) on counterconventionals—to model these shifts in convention. Using this framework, we reassess the philosophical arguments that invoked the conventional wisdom. (shrink)

Kant’s accounts of the Highest Good and the moral argument for God and immortality are central features of his philosophy. But both involve lingering puzzles. In this entry, we first explore what the Highest Good is for Kant and the role it plays in a complete account of ethical life. We then focus on whether the Highest Good involves individuals only, or whether it also connects with Kant’s doctrines about the moral progress of the species. In conclusion, we look into (...) three ways of articulating the moral argument for God and immorality that take our commitment to the Highest Good as their point of departure. (shrink)

A number of bioethicists have been critical of the power of the family to “veto” a patient’s decision to posthumously donate her organs within opt-in systems of organ procurement. One major objection directed at the family veto is that when families veto the decision of their deceased family member, they do something wrong by violating or failing to respect the autonomy of that deceased family member. The goal of this paper is to make progress on answering this objection. I do (...) this in two stages. First, I argue that the most plausible interpretation of what happens when a person registers as an organ donor in an opt-in system is that she gives her consent to the state to posthumously remove her organs for transplantation purposes. Call this the Authorization Account. Second, given the Authorization Account, I argue by analogy that when families veto an individual’s decision to donate and the individual’s organs are not in the end removed, neither the doctors nor the family violate the individual’s autonomy in any morally objectionable sense. Call this the Nonremoval Thesis. I argue that since the Nonremoval Thesis is true, we do not violate or fail to respect the autonomy of registered donors when we fail to remove their organs because their family has objected. (shrink)

The Internet has been identified in human enhancement scholarship as a powerful cognitive enhancement technology. It offers instant access to almost any type of information, along with the ability to share that information with others. The aim of this paper is to critically assess the enhancement potential of the Internet. We argue that unconditional access to information does not lead to cognitive enhancement. The Internet is not a simple, uniform technology, either in its composition, or in its use. We will (...) look into why the Internet as an informational resource currently fails to enhance cognition. We analyze some of the phenomena that emerge from vast, continual fluxes of information–information overload, misinformation and persuasive design—and show how they could negatively impact users’ cognition. Methods for mitigating these negative impacts are then advanced: individual empowerment, better collaborative systems for sorting and categorizing information, and the use of artificial intelligence assistants that could guide users through the informational space of today’s Internet. (shrink)

We develop and defend a new approach to counterlogicals. Non-vacuous counterlogicals, we argue, fall within a broader class of counterfactuals known as counterconventionals. Existing semantics for counterconventionals, 459–482 ) and, 1–27 ) allow counterfactuals to shift the interpretation of predicates and relations. We extend these theories to counterlogicals by allowing counterfactuals to shift the interpretation of logical vocabulary. This yields an elegant semantics for counterlogicals that avoids problems with the usual impossible worlds semantics. We conclude by showing how this approach (...) can be extended to counterpossibles more generally. (shrink)

This paper uses analytic philosophy to prevent merely verbal disputes about the concept of fiction within discussions on fictiones iuris. It provides a survey of potentially fruitful connections between legal fictions and fictionalism. More specifically, I will argue that by enriching current accounts of legal fictions in legal theory with insights from (1) the philosophy of language on fictional speech and from (2) contemporary metaphysics on philosophical fictionalism, it seems natural to explore the position that talk involving fictiones iuris is (...) structurally an exemplification of elliptical speech. Such fictionalism about legal fictions illuminates why prominent condemnations of fictions in law – e.g. as blatant falsehoods, shady fraudulences, or legal defects – are theoretical myths, since they fail to distinguish between analytically distinct (ontological, epistemic, alethic, semantic, and evaluative) levels. Moreover, a fictionalist account might even sharpen our sense of which legal fictions are more “innocent” than others. I will begin by introducing philosophical fictionalism (II), before the fictiones iuris will be characterized as an operation in legal reasoning by consulting the Leibnizian reconstruction of Roman Law’s epistemology (III). Sections IV and V seek to provide further clarifications on the ‘fictional’ / ‘fictitious’ distinction as well as the heterogeneity of fictionalist research questions. Section VI then contains a little guided tour through the different analyses of the concept of fiction(s) within fictionalism. Subsequently, I will show how insights from those discussions contribute to demystify some of the most prominent allegations raised against legal fictions (VII). Fictionalism about legal fictions, Section VIII tentatively suggests, might not only harmonize with both classic and recent treatments of legal fictions, but help to also highlight their epistemic values. In slogan form: fictiones iuris are instruments to preserve legal truths worth having. (shrink)

A counteridentical is a counterfactual with an identity statement in the antecedent. While counteridenticals generally seem non-trivial, most semantic theories for counterfactuals, when combined with the necessity of identity and distinctness, attribute vacuous truth conditions to such counterfactuals. In light of this, one could try to save the orthodox theories either by appealing to pragmatics or by denying that the antecedents of alleged counteridenticals really contain identity claims. Or one could reject the orthodox theory of counterfactuals in favor of a (...) hyperintensional semantics that accommodates non-trivial counterpossibles. In this paper, I argue that none of these approaches can account for all the peculiar features of counteridenticals. Instead, I propose a modified version of Lewis’s counterpart theory, which rejects the necessity of identity, and show that it can explain all the peculiar features of counteridenticals in a satisfactory way. I conclude by defending the plausibility of contingent identity from objections. (shrink)

Hermeneutical injustice is being unjustly prevented from making sense of one’s experiences, identity, or circumstances and/or communicating about them. The literature focusses almost exclusively on whether people have access to adequate conceptual resources. In this paper, we discuss a different kind of hermeneutical struggle caused by stigma. We argue that in some cases of hermeneutic injustice people have access to hermeneutical resources apt to understand their identity but reject employing these due to the stigma attached to the identity. We begin (...) with a reinterpretation of one of the cases discussed in the literature, Edmund White’s novel A Boy’s Own Story. We argue that in this case hermeneutic resources are available but are rejected due to the stigma attached to homosexuality. We then present two analogous kinds of cases: alcohol addiction and being the victim of intimate partner violence. Here, too, hermeneutic injustice occurs because of stigma attached to an identity rather than unavailability of resources. We close by suggesting that these cases may, additionally, involve the wrong of Tightlacing: by meddling with their self-conception, stigma can manipulate individuals into a view of themselves that licenses inappropriate demands on them and makes them complicit in an erasure of their identities. (shrink)

Many authors have noted that there are types of English modal sentences cannot be formalized in the language of basic first-order modal logic. Some widely discussed examples include “There could have been things other than there actually are” and “Everyone who is actually rich could have been poor.” In response to this lack of expressive power, many authors have discussed extensions of first-order modal logic with two-dimensional operators. But claims about the relative expressive power of these extensions are often justified (...) only by example rather than by rigorous proof. In this paper, we provide proofs of many of these claims and present a more complete picture of the expressive landscape for such languages. (shrink)

ABSTRACT It has become standard to conceive of metalinguistic disagreement as motivated by a form of negotiation, aimed at reaching consensus because of the practical consequences of using a word with one content rather than another. This paper presents an alternative motive for expressing and pursuing metalinguistic disagreement. In using words with given criteria, we betray our location amongst social categories or groups. Because of this, metalinguistic disagreement can be used as a stage upon which to perform a social identity. (...) The ways in which metalinguistic disagreements motivated in this way diverge in character from metalinguistic negotiations are described, as are several consequences of the existence of metalinguistic disagreements motivated in this way. (shrink)

Recent discussions of emergence in physics have focussed on the use of limiting relations, and often particularly on singular or asymptotic limits. We discuss a putative example of emergence that does not fit into this narrative: the case of phonons. These quasi-particles have some claim to be emergent, not least because the way in which they relate to the underlying crystal is almost precisely analogous to the way in which quantum particles relate to the underlying quantum field theory. But there (...) is no need to take a limit when moving from a crystal lattice based description to the phonon description. Not only does this demonstrate that we can have emergence without limits, but also provides a way of understanding cases that do involve limits. (shrink)

Elselijn Kingma argues that, in cases of mammalian placental pregnancy, the foster (roughly, the post-implantation embryo/foetus) is part of the gravida (the pregnant organism). But she does not consider the possibility of proper overlap. I show that this generates a number of serious problems for her argument and trace the oversight to a quite general issue within the literature on biological individuality. Doing so provides an opportunity to pull apart and clarify the relations between some importantly distinct questions concerning organismality (...) and organismic parthood, and to identify the implications that this has for those who want to draw on this literature when making metaphysical or mereological arguments. (shrink)

Rational agents face choices, even when taking seriously the possibility of determinism. Rational agents also follow the advice of Causal Decision Theory (CDT). Although many take these claims to be well-motivated, there is growing pressure to reject one of them, as CDT seems to go badly wrong in some deterministic cases. We argue that deterministic cases do not undermine a counterfactual model of rational deliberation, which is characteristic of CDT. Rather, they force us to distinguish between counterfactuals that are relevant (...) and ones that are irrelevant for the purposes of deliberation. We incorporate this distinction into decision theory to develop ‘Selective Causal Decision Theory’, which delivers the correct recommendations in deterministic cases while respecting the key motivations behind CDT. (shrink)

Whether or not quantum physics can account for molecular structure is a matter of considerable controversy. Three of the problems raised in this regard are the problems of molecular structure. We argue that these problems are just special cases of the measurement problem of quantum mechanics: insofar as the measurement problem is solved, the problems of molecular structure are resolved as well. In addition, we explore one consequence of our argument: that claims about the reduction or emergence of molecular structure (...) cannot be settled independently of the choice of a particular resolution to the measurement problem. Specifically, we consider how three standard putative solutions to the measurement problem inform our under- standing of a molecule in isolation, as well as of chemistry’s relation to quantum physics. (shrink)

This is an introduction to the volume "Explanation Beyond Causation: Philosophical Perspectives on Non-Causal Explanations", edited by A. Reutlinger and J. Saatsi (OUP, forthcoming in 2017). -/- Explanations are very important to us in many contexts: in science, mathematics, philosophy, and also in everyday and juridical contexts. But what is an explanation? In the philosophical study of explanation, there is long-standing, influential tradition that links explanation intimately to causation: we often explain by providing accurate information about the causes of the (...) phenomenon to be explained. Such causal accounts have been the received view of the nature of explanation, particularly in philosophy of science, since the 1980s. However, philosophers have recently begun to break with this causal tradition by shifting their focus to kinds of explanation that do not turn on causal information. The increasing recognition of the importance of such non-causal explanations in the sciences and elsewhere raises pressing questions for philosophers of explanation. What is the nature of non-causal explanations - and which theory best captures it? How do non-causal explanations relate to causal ones? How are non-causal explanations in the sciences related to those in mathematics and metaphysics? This volume of new essays explores answers to these and other questions at the heart of contemporary philosophy of explanation. The essays address these questions from a variety of perspectives, including general accounts of non-causal and causal explanations, as well as a wide range of detailed case studies of non-causal explanations from the sciences, mathematics and metaphysics. (shrink)