The paper explicates a new way to model the context-sensitivity of 'knows', namely a way that suggests a close connection between the content of 'knows' in a context C and what is pragmatically presupposed in C. After explicating my new approach in the first half of the paper and arguing that it is explanatorily superior to standard accounts of epistemic contextualism, the paper points, in its second half, to some interesting new features of the emerging account, such as its compatibility (...) with the intuitions of Moorean dogmatists. Finally, the paper shows that the account defended is not subject to the most prominent and familiar philosophical objections to epistemic contextualism discussed in the recent literature. (shrink)

The paper takes a closer look at the role of knowledge and evidence in legal theory. In particular, the paper examines a puzzle arising from the evidential standard Preponderance of the Evidence and its application in civil procedure. Legal scholars have argued since at least the 1940s that the rule of the Preponderance of the Evidence gives rise to a puzzle concerning the role of statistical evidence in judicial proceedings, sometimes referred to as the Problem of Bare Statistical Evidence. While (...) this puzzle has led to the development of a multitude of accounts and approaches in the legal literature, I argue here that the problem can be resolved fairly straightforwardly within a knowledge-first framework. (shrink)

Recent attempts to resolve the Paradox of the Gatecrasher rest on a now familiar distinction between individual and bare statistical evidence. This paper investigates two such approaches, the causal approach to individual evidence and a recently influential (and award-winning) modal account that explicates individual evidence in terms of Nozick's notion of sensitivity. This paper offers counterexamples to both approaches, explicates a problem concerning necessary truths for the sensitivity account, and argues that either view is implausibly committed to the impossibility of (...) no-fault wrongful convictions. The paper finally concludes that the distinction between individual and bare statistical evidence cannot be maintained in terms of causation or sensitivity. We have to look elsewhere for a solution of the Paradox of the Gatecrasher. (shrink)

In recent work on the semantics of ‘knowledge’-attributions, a variety of accounts have been proposed that aim to explain the data about speaker intuitions in familiar cases such as DeRose’s Bank Case or Cohen’s Airport Case by means of pragmatic mechanisms, notably Gricean implicatures. This paper argues that pragmatic explanations of the data regarding ‘knowledge’-attributions are unsuccessful and concludes that in explaining those data we have to resort to accounts that (a) take those data at their semantic face value (Epistemic (...) Contextualism, Subject-Sensitive Invariantism or Epistemic Relativism), or (b) reject them on psychological grounds (Moderate Insensitive Invariantism). To establish this conclusion, the paper relies solely upon widely accepted assumptions about pragmatic theory, broadly construed, and on the Stalnakerian insight that linguistic communication takes place against the backdrop of a set of mutually accepted propositions: a conversation’s common ground. (shrink)

This article addresses and resolves an epistemological puzzle that has attracted much attention in the recent literature—namely, the puzzle arising from Moorean anti-sceptical reasoning and the phenomenon of transmission failure. The paper argues that an appealing account of Moorean reasoning can be given by distinguishing carefully between two subtly different ways of thinking about justification and evidence. Once the respective distinctions are in place we have a simple and straightforward way to model both the Wrightean position of transmission failure and (...) the Moorean position of dogmatism. The approach developed in this article is, accordingly, ecumenical in that it allows us to embrace two positions that are widely considered to be incompatible. The paper further argues that the Moorean Puzzle can be resolved by noting the relevant distinctions and our insensitivity towards them: once we carefully tease apart the different senses of ‘justified’ and ‘evidence’ involved, the bewilderment caused by Moore’s anti-sceptical strategy subsides. (shrink)

Moderate Pragmatic Invariantism has been criticized in the literature for postulating implicatures that are not straightforwardly cancellable. Defenders of MPI have responded that the data are not as clear-cut as one might wish. This paper grants the defenders of MPI, for the sake of argument, that the implicatures in question are cancellable and then turns this admission against them. In particular, the paper offers Bank Case variants in which the conversational implicatures postulated by MPI are contextually suspended – and thus (...) cancelled. Since our intuitions do not vary between the original Bank Case and these novel types of cases, the explanation offered by MPI must be mistaken. Our varying truth-value intuitions in the Bank Cases cannot be accounted for by means of conversational implicatures. (shrink)

A number of prominent epistemologists claim that the principle of sensitivity “play[s] a starring role in the solution to some important epistemological problems”. I argue that traditional sensitivity accounts fail to explain even the most basic data that are usually considered to constitute their primary motivation. To establish this result I develop Gettier and lottery cases involving necessary truths. Since beliefs in necessary truths are sensitive by default, the resulting cases give rise to a serious explanatory problem for the defenders (...) of sensitivity accounts. It is furthermore argued that attempts to modally strengthen traditional sensitivity accounts to avoid the problem must appeal to a notion of safety—the primary competitor of sensitivity in the literature. The paper concludes that the explanatory virtues of sensitivity accounts are largely illusory. In the framework of modal epistemology, it is safety rather than sensitivity that does the heavy explanatory lifting with respect to Gettier cases, lottery examples, and other pertinent cases. (shrink)

The most prominent arguments for scepticism in modern epistemology employ closure principles of some kind. To begin my discussion of such arguments, consider Simple Knowledge Closure (SKC): (SKC) (Kxt[p] ∧ (p → q)) → Kxt[q].1 Assuming its truth for the time being, the sceptic can use (SKC) to reason from the two assumptions that, firstly, we don’t know ¬sh and that, secondly, op entails ¬sh to the conclusion that we don’t know op, where ‘op’ and ‘sh’ are shorthand for ‘ordinary (...) proposition’ and ‘sceptical hypothesis’ respectively. (SKC), however, fails for familiar reasons: since knowledge entails belief (KB), we can derive the falsity (F) from (SKC) by hypothetical syllogism, and thus reduce (SKC) to absurdity: (KB) Kxt[p] → Bxt[p]. (F) (Kxt[p] ∧ (p → q)) → Bxt[q]. (shrink)

Jonathan Jenkins Ichikawa has presented a series of examples that are meant to spell trouble for Presuppositional Epistemic Contextualism. In this short article I aim to establish two things. First, I argue that even if Ichikawa’s examples were viable counterexamples to PEC, they would not threaten the key ideas underlying the account in my 2009 article ‘Knowledge and Presuppositions’. The philosophically interesting work that is done in that article remains unaffected by Ichikawa’s alleged counterexamples. In the second part of the (...) paper, I argue that the examples are not in fact successful counterexamples to PEC. The data emerging from Ichikawa’s examples can be accounted for within the framework of PEC. (shrink)

Epistemic contextualism (‘EC’), the view that the truth-values of knowledge attributions may vary with the context of ascription, has a variety of different linguistic implementations. On one of the implementations most popular in the early days of EC, the predicate ‘knows p’ functions semantically similarly to gradable adjectives such as ‘flat’, ‘tall’, or ‘empty’. In recent work Jason Stanley and John Hawthorne have presented powerful arguments against such implementations of EC. In this article I briefly systematize the contextualist analogy to (...) gradable adjectives, present Stanley’s argument against the analogy, and offer a contextualist response that abandons the analogy in favor of modeling the semantics of ‘knows p’ along the lines of quantifier expressions. I then present Hawthorne’s objection to the views presented, and finally conclude by outlining an argument to the effect that ‘knows p’ is an automatic indexical and as such to be expected to function differently from many other indexicals that the term has been compared to in the literature. I finally point out that no analogy should be expected to be perfect, and that no harm is done by postulating some unique behavior of ‘knows p’. (shrink)

In everyday conversations we often convey information that goes above and beyond what we strictly speaking say: exaggeration and irony are obvious examples. H.P. Grice introduced the technical notion of a conversational implicature in systematizing the phenomenon of meaning one thing by saying something else. In introducing the notion, Grice drew a line between what is said, which he understood as being closely related to the conventional meaning of the words uttered, and what is conversationally implicated, which can be inferred (...) from the fact that an utterance has been made in context. Since Grice’s seminal work, conversational implicatures have become one of the major research areas in pragmatics. This article introduces the notion of a conversational implicature, discusses some of the key issues that lie at the heart of the recent debate, and explicates tests that allow us to reliably distinguish between semantic entailments and conventional implicatures on the one hand and conversational implicatures on the other. (shrink)

The paper gives an a priori argument for the view that knowledge is unanalysable. To establish this conclusion I argue that warrant, i.e. the property, whatever precisely it is, which makes the difference between knowledge and mere true belief, entails both truth and belief and thus does not exist as a property distinct from knowledge: all and only knowledge can turn a true belief into knowledge. The paper concludes that the project of trying to find a condition distinct from knowledge (...) that is necessary and together with truth and belief sufficient for knowledge must be doomed to failure. (shrink)

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

Martin Smith has recently proposed, in this journal, a novel and intriguing approach to puzzles and paradoxes in evidence law arising from the evidential standard of the Preponderance of the Evidence. According to Smith, the relation of normic support provides us with an elegant solution to those puzzles. In this paper I develop a counterexample to Smith’s approach and argue that normic support can neither account for our reluctance to base affirmative verdicts on bare statistical evidence nor resolve the pertinent (...) paradoxes. Normic support is, as a consequence, not a successful epistemic anti-luck condition. (shrink)

Epistemic contextualism—the view that the content of the predicate ‘know’ can change with the context of utterance—has fallen into considerable disrepute recently. Many theorists have raised doubts as to whether ‘know’ is context-sensitive, typically basing their arguments on data suggesting that ‘know’ behaves semantically and syntactically in a way quite different from recognised indexicals such as ‘I’ and ‘here’ or ‘flat’ and ‘empty’. This paper takes a closer look at three pertinent objections of this kind, viz. at what I call (...) the Error-Theory Objection, the Gradability Objection and the Clarification-Technique Objection. The paper concludes that none of these objections can provide decisive evidence against contextualism. (shrink)

Safety principles in epistemology are often hailed as providing us with an explanation of why we fail to have knowledge in Gettier cases and lottery examples, while at the same time allowing for the fact that we know the negations of sceptical hypotheses. In a recent paper, Sinhababu and Williams have produced an example—the Backward Clock—that is meant to spell trouble for safety accounts of knowledge. I argue that the Backward Clock case is, in fact, unproblematic for the more sophisticated (...) formulations of safety in the literature. However, I then proceed to construct two novel examples that turn out problematic for those formulations—one that provides us with a lottery-style case of safe ignorance and one that is a straightforward case of unsafe knowledge. If these examples succeed, then safety as it is usually conceived in the current debate cannot account for ignorance in all Gettier and lottery-style cases, and neither is it a necessary condition for knowledge. I conclude from these troublesome examples that modal epistemologists ought to embrace a much more simple and non-reductive version of safety, according to which the notion of similarity between possible worlds that determines in which worlds the subject must believe truly is an epistemic notion that cannot be defined or reduced to notions independent of knowledge. The resulting view is shown to also lead to desirable results with respect to lottery cases, certain quantum phenomena, and a puzzling case involving a cautious brain-in-a-vat. (shrink)

Jason Stanley has argued recently that Epistemic Contextualism (EC) and Subject‐Sensitive Invariantism (SSI) are explanatorily on a par with regard to certain data arising from modal and temporal embeddings of ‘knowledge’‐ascriptions. This paper argues against Stanley that EC has a clear advantage over SSI in the discussed field and introduces a new type of linguistic datum strongly suggesting the falsity of SSI.

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)

Certain puzzling cases have been discussed in the literature recently which appear to support the thought that knowledge can be obtained by way of deduction from a falsehood; moreover, these cases put pressure, prima facie, on the thesis of counter closure for knowledge. We argue that the cases do not involve knowledge from falsehood; despite appearances, the false beliefs in the cases in question are causally, and therefore epistemologically, incidental, and knowledge is achieved despite falsehood. We also show that the (...) principle of counter closure, and the concomitant denial of knowledge from falsehood, is well motivated by considerations in epistemological theory--in particular, by the view that knowledge is first in the epistemological order of things. (shrink)

Epistemic contextualism is widely believed to be incompatible with the recently popular view that knowledge is the norm of assertion, practical reasoning, or belief. I argue in this article that the problems arising for contextualism from the mentioned normative views are only apparent and can be resolved by acknowledging the fairly widespread phenomenon of non-obvious context-sensitivity (recently embraced by even some of contextualism's most ardent former critics). Building on recent insights about non-obvious context-sensitivity, the article outlines an independently attractive contextualist (...) account of the mentioned epistemic norms and provides a solution to the puzzles they give rise to in a contextualist framework. (shrink)

In this chapter, I produce counterexamples to Presuppositional Epistemic Contextualism (PEC), a view about the semantics of ‘knowledge’-ascriptions that I have argued for elsewhere. According to PEC, the semantic content of the predicate ‘know’ at a context C is partly determined by the speakers’ pragmatic presuppositions at C. The problem for the view that I shall be concerned with here arises from the fact that pragmatic presuppositions are sometimes known to be true by the speakers who make them: hence the (...) Problem of Known Presuppositions. After discussing several unsuccessful ways to solve the problem, I propose the addition of a new Lewisian rule of proper ignoring to the semantics of PEC--namely, the Rule of Evidence-Based Ignoring. If the proposed account succeeds, the Problem of Known Presuppositions has a straightforward solution within the framework of PEC. (shrink)

The paper discusses approaches to Epistemic Contextualism that model the satisfaction of the predicate ‘know’ in a given context C in terms of the notion of belief/fact-matching throughout a contextually specified similarity sphere of worlds that is centred on actuality. The paper offers three counterexamples to approaches of this type and argues that they lead to insurmountable difficulties. I conclude that what contextualists (and Subject-Sensitive Invariantists) have traditionally called the ‘epistemic standards’ of a given context C cannot be explicated in (...) terms of a contextually specified similarity sphere that is centred on actuality. The mentioned accounts of epistemic relevance and thus the corresponding accounts of the context-sensitivity (or subject-sensitivity) of ‘knows’ are to be rejected. (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)

This paper investigates the linguistic basis for moral non-cognitivism, the view that sentences containing moral predicates do not have truth conditions. It offers a new argument against this view by pointing out that the view is incompatible with our best empirical theories about the grammatical encoding of illocutionary force potentials. Given that my arguments are based on very general assumptions about the relations between the grammar of natural languages and a sentence's illocutionary function, my arguments are broader in scope than (...) the familiar semantic objections to non-cognitivism relating to the so-called Frege-Geach problem: even if a solution to the Frege-Geach problem has been found, my arguments still stand. (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)

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)

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)

Stewart Cohen’s New Evil Demon argument raises familiar and widely discussed concerns for reliabilist accounts of epistemic justification. A now standard response to this argument, initiated by Alvin Goldman and Ernest Sosa, involves distinguishing different notions of justification. Juan Comesaña has recently and prominently claimed that his Indexical Reliabilism (IR) offers a novel solution in this tradition. We argue, however, that Comesaña’s proposal suffers serious difficulties from the perspective of the philosophy of language. More specifically, we show that the two (...) readings of sentences involving the word ‘justified’ which are required for Comesaña’s solution to the problem are not recoverable within the two-dimensional framework of Robert Stalnaker to which he appeals. We then consider, and reject, an attempt to overcome this difficulty by appeal to a complication of the theory involving counterfactuals, and conclude the paper by sketching our own preferred solution to Cohen’s New Evil Demon. (shrink)

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)

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)

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)

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)

Epistemic contextualism (EC) is primarily a semantic view, viz. the view that ‘knowledge’-ascriptions can change their contents with the conversational context. To be more precise, EC is the view that the predicate ‘know’ has an unstable Kaplan character, i.e. a character that does not map all contexts on the same content. According to EC, ‘know’ is thus an indexical expression. Notwithstanding this purely linguistic characterisation of EC, contextualists have traditionally argued that their views have considerable philosophical impact, this being due (...) to the alleged fact that their linguistic views about ‘know’ provide the resources for a resolution of sceptical puzzles. In this paper I will address an objection to EC claiming that, as a linguistic view about the term ‘know’, EC cannot be of any epistemological significance. (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)

The Argument from Principles, the primary motivation for impurism or pragmatic encroachment theories in epistemology, is often presented as an argument for everyone—an argument that proceeds from harmless premises about the nature of rationally permissible action to the surprising conclusion that one’s knowledge is partly determined by one’s practical situation. This paper argues that the Argument from Principles is far from neutral, as it presupposes the falsity of one of impurism’s main competitors: epistemic contextualism. As a consequence, hybrid positions combining (...) impurism and contextualism—positions that impurists have sometimes hinted at in the literature—are, while logically consistent, ill-motivated. Once the impurist embraces contextualism, the Argument from Principles can no longer get off the ground. The paper concludes that those who make use of the Argument from Principles are committed to an invariantist impurism and their case in support of impurism can only ever be as strong as their case against contextualism. Given recent contextualist work on the semantics of ‘knowledge’-attributions, this is likely to turn out problematic for the impurists. (shrink)

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)

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)

This paper argues for a novel interpretation of Hume's account of motivation, according to which beliefs can (alone) motivate action though not by standing as reasons which normatively favour it. It si then suggested that a number of contemporary debates about concerning the nature of reasons for action could benefit from such an approach.

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)

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)

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.

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)

A review of the volume that brings together K.R. Popper's writings on deductive logic and its foundations. I emphasize Popper's inferentialist position in his earlier articles and Carnap's influence on many of his logical ideas (an interesting letter from Carnap to Popper is also summarised in the review).

A system of logic usually comprises a language for which a model-theory and a proof-theory are defined. The model-theory defines the semantic notion of model-theoretic logical consequence (⊨), while the proof-theory defines the proof- theoretic notion of logical consequence (or logical derivability, ⊢). If the system in question is sound and complete, then the two notions of logical consequence are extensionally equivalent. The concept of full formalization is a more restrictive one and requires in addition the preservation of the standard (...) meanings of the logical terms in all the admissible interpretations of the logical calculus, as it is proof-theoretically defined. Although classical first-order logic is sound and complete, its standard formalizations fall short to be full formalizations since they allow non-intended interpretations. This fact poses a challenge for the logical inferentialism program, whose main tenet is that the meanings of the logical terms are uniquely determined by the formal axioms or rules of inference that govern their use in a logical calculus, i.e., logical inferentialism requires a categorical calculus. This paper is the first part of a more elaborated study which will analyze the categoricity problem from its beginning until the most recent approaches. I will first start by describing the problem of a full formalization in the general framework in which Carnap (1934/1937, 1943) formulated it for classical logic. Then, in sections IV and V, I shall discuss the way in which the mathematicians B.A. Bernstein (1932) and E.V. Huntington (1933) have previously formulated and analyzed it in algebraic terms for propositional logic and, finally, I shall discuss some critical reactions Nagel (1943), Hempel (1943), Fitch (1944), and Church (1944) formulated to these approaches. (shrink)