I offer a concise critique of a recurring line of reasoning advanced by Joseph LaPorte and Samir Okasha that all modern species concepts render the view that biological organisms essentially belong to their species empirically untenable. The argument, I claim, trades on a crucial modal ambiguity that collapses the de re/de dicto distinction. Contra their claim that the continued adherence of such a view on behalf of contemporary metaphysicians stems from the latter’s ignorance of developments in modern biology, the modal (...) ambiguity reveals the need to retrain in modal metaphysics. (shrink)

In the middle of the last century, it was common to explain the notion of necessity in linguistic terms. A necessary truth, it was said, is a sentence whose truth is guaranteed by linguistic rules. Quine famously argued that, on this view, de re modal claims do not make sense. “Porcupettes are porcupines” is necessarily true, but it would be a mistake to say of a particular porcupette that it is necessarily a porcupine, or that it is possibly purple. Linguistic (...) theories of necessity fell out of favour with the publication of Kripke’s Naming and Necessity, and Quine’s arguments were put aside. In her recent book, Norms and Necessity, Amie Thomasson presents her modal normativism, which is an updated version of the mid-century theories just described. Quine’s arguments are thus relevant once again. We recapitulate Quine’s central argument, in the context of modal normativism. We then criticise Amie Thomasson’s discussion of de re modality. We finish by briefly presenting an alternative account of de re modal statements, which is compatible with modal normativism. (shrink)

La investigación clínica, entendida como la búsqueda de soluciones para los problemas que acechan a la salud es, por su objetivo, una de las actividades de mayor trascendencia para el ser humano. Esta obra colectiva, como su propio título indica, explora no solo lo mucho que de positivo (las luces) tiene la investigación clínica, cómo se realiza, qué problemas encuentra y qué soluciones se plantean, sino también algunos aspectos negativos (las sombras) que la comunidad científica ha sido, hasta la fecha, (...) incapaz de impedir que se produzcan. (shrink)

Fragmentalism allows incompatible facts to constitute reality in an absolute manner, provided that they fail to obtain together. In recent years, the view has been extensively discussed, with a focus on its formalisation in model-theoretic terms. This paper focuses on three formalisations: Lipman’s approach, the subvaluationist interpretation, and a novel view that has been so far overlooked. The aim of the paper is to explore the application of these formalisations to the alethic modal case. This logical exploration will allow us (...) to study (i) cases of metaphysical incompatibility between modal facts and (ii) cases of modal dialetheias. In turn, this will enrich our understanding of the role of impossibility in the fragmentalist framework. (shrink)

According to Amie Thomasson’s modal normativism, the function of modal discourse is to convey semantic rules. But what is a "semantic rule"? I raise three worries according to which there is no conception of a semantic rule that can serve the needs of a modal normativist. The first worry focuses on de re and a posteriori necessities. The second worry concerns Thomasson's inferential specification of the meaning of modal terms. The third worry asks about the normative status of semantic rules.

This paper aims to offer a critical review of the recent nonconceptualist reading of the Kantian notion of sensible intuition. I raise two main objections. First, nonconceptualist readers fail to distinguish connected but different anti-intellectualist claims in the contemporary philosophy of mind and language. Second, I will argue that nonconceptual readings fail because Kan- tian intuitions do not possess a representational content of their own that can be veridical or falsidical in a similar way to how the content of propositional (...) attitudes is true or false. In this paper, I will support my own reading that sensible intuition is better seen as what Evans and McDowell have called a de re sense, whose main characteristic is object dependence. In this sense, Kantian sensible intuitions can be seen as a sensible mode of donation of objects. In my reading, the Kantian opposition between intuitions and concepts is best seen as the opposition between the objectual de re perception of something and the propositional de dicto apperception that something is the case rather than the opposition between nonconceptual and conceptual contents. However, if Kantian sensible intuition is not a mental state with nonconceptual content, it is certainly in the general anti-intellectualist neighborhood. (shrink)

Kit Fine famously objected against the idea that essence can be successfully analyzed in terms of de re necessity. In response, I want to explore a novel, interesting, but controversial modal account of essence in terms of intrinsicality and grounding. In the first section, I will single out two theoretical requirements that any essentialist theory should meet—the essentialist desideratum and the essentialist challenge—in order to clarify Fine’s objections. In the second section, I will assess Denby’s improved modal account, which appeals (...) to the notion of intrinsicality, and argue that it is untenable. In the third section, I will explain how, when combined with a modal-existential criterion, a hyperintensional account of intrinsicality—in the same vein as Bader (J Philos 110(10): 525–563, 2013) and Rosen (in: Hale and Hoffman (eds) Modality: Metaphysics, logic, and epistemology, Oxford, OUP, 2010)—can help successfully address Fine’s counterexamples. In the fourth section, I will evaluate how this novel analysis of essence stands with respect to sortal, origin, and natural kinds essentialism and discuss potential objections and difficulties. (shrink)

According to the simple modal account of essence, an object has a property essentially just in case it has it in every world in which it exists. As many have observed, the simple modal account is implausible for a number of reasons. This has led to various proposals for strengthening the account, for example, by adding a restriction to the intrinsic or sparse properties. I argue, however, that these amendments to the simple modal account themselves fail. Drawing on lessons from (...) these failures, I propose a new version of a modal account, inspired by Ruth Barcan Marcus's defense of the coherence of quantified modal logic, according to which an object has a property essentially just in case (i) it has it in every world in which it exists, (ii) the property is discriminating (or non-trivial), and (iii) the property is qualitative. The resulting account of essence does not face any of the standard objections other accounts face, and I defend it from other potential objections. (shrink)

This study asserts that W.V.O. Quine’s eliminative philosophical gaze into mereological composition affects inevitably his interpretations of composition theories of ontology. To investigate Quine’s property monism from the account of modal eliminativism, I applied to his solution for the paradoxes of de re modalities’ . Because of its vital role to figure out how dispositions are encountered by Quine, it was significantly noted that the realm of de re modalities doesn’t include contingent and impossible inferences about things. Therefore, for him, (...) all the intrinsic forces and elements of entities such as powers and causal or teleological dispositions for ontology demand to be seen necessarily as bound variables from a monist perspective. Although his denial of analyticity and the elimination of dispositional field of ontology, S. Mumford criticizes the monist perspective of Quine’s paradoxical approach to superveniences. Because superveniences create problems while determining type-type identities from a monist mereological perspective. It is observed that Quine faces with a reduction again in terms of his dispositional monism despite his critiques to repulse vagueness from the ontology in his well-known article Two Dogmas of Empiricism. -/- . (shrink)

Divers presents a set of de re modal truths which, he claims, are inconvenient for Lewisean modal realism. We argue that there is no inconvenience for Lewis.

Divers (2014) presents a set of de re modal truths which, he claims, are inconvenient for Lewisean modal realism. We argue that there is no inconvenience for Lewis.

This is an introduction to the topic of modality in philosophy. Theories of modality seek to explain possibility and necessity in the various ways they come up in our ordinary understanding of the world and in our systematic theorising. Topics covered include distinguishing types of necessity and possibility; possible worlds and their use; de re possibility and necessity; and how we discover modal truths.

The subject of the first section is Carnapian modal logic. One of the things I will do there is to prove that certain description principles, viz. the ''self-predication principles'', i.e. the principles according to which a descriptive term satisfies its own descriptive condition, are theorems and that others are not. The second section will be devoted to Carnapian modal arithmetic. I will prove that, if the arithmetical theory contains the standard weak principle of induction, modal truth collapses to truth. Then (...) I will propose a different formulation of Carnapian modal arithmetic and establish that it is free of collapse. Noteworthy is that one can retain the standard strong principle of induction. I will occupy myself in the third section with Carnapian epistemic logic and arithmetic. Here too it is claimed that the standard weak principle of induction is invalid and that the alternative principle is valid. In the fourth and last section I will get back to the self-predication principles and I will point to some of the consequences if one adds them to Carnapian Epistemic arithmetic. The interaction of self-predication principles and the strong principle of induction results in a collapse of de re knowability. (shrink)

Data involving epistemic modals suggest that some classically valid argument forms, such as _reductio_, are invalid in natural language reasoning as they lead to modal collapses. We adduce further data showing that the classical argument forms governing the existential quantifier are similarly defective, as they lead to a _de re–de dicto_ collapse. We observe a similar problem for disjunction. But if the classical argument forms for negation, disjunction and existential quantification are invalid, what are the correct forms that govern the (...) use of these items? Our diagnosis is that epistemic modals interfere with hypothetical reasoning. We present a modal first-order logic and model theory that characterizes hypothetical reasoning with epistemic modals in a principled manner. One upshot is a sound and complete natural deduction system for reasoning with epistemic modals in first-order logic. (shrink)

I provide a case-by-case definition of essential truths based on the notions of metaphysical necessity and ontological dependence. Relying on suggestions in the literature, I adopt a definition of the latter notion in terms of the notion of ground. The resulting account is adequate in the sense that it is not subject to Kit Fine’s famous counterexamples to the purely modal account of essence. In addition, it provides us with a novel conception of truths pertaining to the essence of objects, (...) which might help to dispel doubts on the legitimacy of the notion of essence itself. (shrink)

This essay considers Kant’s theory of modality in light of a debate in contemporary modal metaphysics and modal logic concerning the Barcan formulas. The comparison provides a new and fruitful perspective on Kant’s complex and sometimes confusing claims about possibility and necessity. Two central Kantian principles provide the starting point for the comparison: that the possible must be grounded in the actual and that existence is not a real predicate. Both are shown to be intimately connected to the Barcan (...) formulas, and Kant’s views on what he distinguishes as three different kinds of modality are then considered in light of this connection. (shrink)

An intuitive objection to modal realism is that merely possible worlds and their inhabitants seem to be irrelevant to an analysis of modality. Kripke originally phrased the objection in terms of being concerned about one’s modal properties without being concerned about the properties one’s other-worldly counterparts have. The author assesses this objection in a variety of forms, and then provides his own formulation that does not beg the question against the modal realist. Finally, the author considers two potential answers (...) to the objection so understood and concludes that only one of them has a chance of succeeding. (shrink)

The notion of the human embryo is not immutable. Various scientific and technological breakthroughs in reproductive biology have compelled us to revisit the definition of the human embryo during the past 2 decades. Somatic cell nuclear transfer, oocyte haploidisation and, more recently, human stem cell-derived embryo models have challenged this scientific term, which has both ethical and legal repercussions. Here, we offer a legal perspective to identify a universally accepted definition of ‘embryo’ which could help to ease and unify the (...) regulation of such entities in different countries. (shrink)

This paper investigates the form a modal realist analysis of possibility and necessity should take. It concludes that according to the best version of modal realism, the notion of a world plays no role in the analysis of modal claims. All contingent claims contain some de re element; the effect of modal operators on these elements is described by a counterpart theory which takes the same form whether the de re reference is to a world or to something else. This (...) fully general counterpart theory can validate orthodox modal logic, including the logic of 'actually'. (shrink)

Standard truthmaker theory has generally assumed a realist account of de re modality and essences. But there are reasons to be skeptical about such a view, and for considering antirealist alternatives. Can truthmaker theory survive in the face of such skepticism? I argue that it can, but that only certain antirealist perspectives on de re modality are acceptable for truthmaker theory. In particular, either a quasi-realist or conventionalist account of de re modality is needed to provide the (...) best account of essential and accidental features that can be put to work in truthmaker theory. An important consequence of this approach is that it offers an account of truthmaking that is consistent with a nominalist perspective on properties, and yet fully respects the ontological ambitions driving truthmaker theory. (shrink)

There is a lot that we don’t know. That means that there are a lot of possibilities that are, epistemically speaking, open. For instance, we don’t know whether it rained in Seattle yesterday. So, for us at least, there is an epistemic possibility where it rained in Seattle yesterday, and one where it did not. It’s tempting to give a very simple analysis of epistemic possibility: • A possibility is an epistemic possibility if we do not know that it does (...) not obtain. But this is problematic for a few reasons. One issue, one that we’ll come back to, concerns the first two words. The analysis appears to quantify over possibilities. But what are they? As we said, that will become a large issue pretty soon, so let’s set it aside for now. A more immediate problem is that it isn’t clear what it is to have de re attitudes towards possibilities, such that we know a particular possibility does or doesn’t obtain. Let’s try rephrasing our analysis so that it avoids this complication. (shrink)

Propositional dynamic logic is complete but not compact. As a consequence, strong completeness requires an infinitary proof system. In this paper, we present a short proof for strong completeness of $$\mathsf{PDL}$$ relative to an infinitary proof system containing the rule from [α; β n ]φ for all $$n \in {\mathbb{N}}$$, conclude $$[\alpha;\beta^*] \varphi$$. The proof uses a universal canonical model, and it is generalized to other modal logics with infinitary proof rules, such as epistemic knowledge with common knowledge. Also, we (...) show that the universal canonical model of $$\mathsf{PDL}$$ lacks the property of modal harmony, the analogue of the Truth lemma for modal operators. (shrink)

Google Search is arguably one of the primary epistemic tools in use today, with the lion’s share of the search-engine market globally. Scholarship on countering the current scourge of misinformation often recommends “digital lit- eracy” where internet users, especially those who get their information from so- cial media, are encouraged to fact-check such information using reputable sources. Given our current internet-based epistemic landscape, and Google’s dominance of the internet, it is very likely that such acts of epistemic hygiene will take (...) place via Google Search. The question arises whether Google Search is fit for purpose, given the apparent misalignment the general epistemic goal of promoting true beliefs and the greater online commercial ecosystem in which it is embedded. I argue that Google Search is epistemically problematic as it stands, mainly due to the opacity related to the parameters it uses for personalising search results. I further argue that in as far as an ordinary internet user is legitimately ignorant of Google’s workings, uses it in an “ordinary manner”, and is generally unable to avoid using it in the current information environment, they are not ep- istemically blameworthy for any false beliefs that they acquire via it. I conclude that too much emphasis is currently placed on individual epistemic practices and not enough on our information environment and epistemic tools when it comes to countering misinformation. (shrink)

Empiricist modal epistemologies can be attractive, but are often limited in the range of modal knowledge they manage to secure. In this paper, I argue that one such account – similarity-based modal empiricism – can be extended to also cover justification of many scientifically interesting possibility claims. Drawing on recent work on modelling in the philosophy of science, I suggest that scientific modelling is usefully seen as the creation and investigation of relevantly similar epistemic counterparts of real target systems. On (...) the basis of experiential knowledge of what is actually the case with the models, one can draw justified conclusions about what is de re possible for the target systems. (shrink)

ABSTRACT Quine insisted that the satisfaction of an open modalised formula by an object depends on how that object is described. Kripke's ‘objectual’ interpretation of quantified modal logic, whereby variables are rigid, is commonly thought to avoid these Quinean worries. Yet there remain residual Quinean worries for epistemic modality. Theorists have recently been toying with assignment-shifting treatments of epistemic contexts. On such views an epistemic operator ends up binding all the variables in its scope. One might worry that this (...) yields the undesirable result that any attempt to ‘quantify in’ to an epistemic environment is blocked. If quantifying into the relevant constructions is vacuous, then such views would seem hopelessly misguided and empirically inadequate. But a famous alternative to Kripke's semantics, namely Lewis' counterpart semantics, also faces this worry since it also treats the boxes and diamonds as assignment-shifting devices. As I'll demonstrate, the mere fact that a variable is bound is no obstacle to binding it. This provides a helpful lesson for those modelling de re epistemic contexts with assignment sensitivity, and perhaps leads the way toward the proper treatment of binding in both metaphysical and epistemic contexts: Kripke for metaphysical modality, Lewis for epistemic modality. (shrink)

At the heart of the Stoic theory of modality is a strict commitment to bivalence, even for future contingents. A commitment to both future truth and contingency has often been thought paradoxical. This paper argues that the Stoic retreat from necessity is successful. it maintains that the Stoics recognized three distinct senses of necessity and possibility: logical, metaphysical and providential. Logical necessity consists of truths that are knowable a priori. Metaphysical necessity consists of truths that are knowable a posteriori, (...) a world order according to certain metaphysical principles and natures that god crafts within the constraints of matter. Finally, what is providentially necessary is what occurs according to the chain of fate, but only once it is in process or past. -/- The method of the paper is a close reading of Diogenes Laertius 7.75, adducing broad textual evidence along the way, to show that the Stoic theory of modality embraces Philonian possibility, both that which is capable of being true as a matter of logical consistency, and that which is possible according to the bare fitness of the entity. What differentiates the Stoics from Philo is their additional commitment to possibility as opportunity, resisting the collapse of determinism into necessity. (shrink)

In this paper, I aim to explore the intricate interplay between slavery and the concept of evil, ultimately seeking a deeper understanding of their relationship. While critically evaluating these notions, I posit that solely relying on a historical analysis of contingent acts of evil, as proposed by Steven Mintz in his work "The Problem of Evil: Slavery, Freedom, and the Ambiguities of American Reform," falls short of providing a comprehensive moral perspective on the evil-slavery connection. To enhance the scope of (...) this thesis, I advocate for including philosophical and theological perspectives—those that Mintz attempts to exclude. Such a multifaceted approach is essential because every contingency is inherently linked to some form of necessity. By acknowledging this link, we can gain more insight into contingent acts of evil, such as slavery. Thus, a holistic understanding of the relationship between evil and slavery necessitates historical analysis and philosophical and theological explanations regarding the underlying necessities that give rise to evil. (shrink)

In this paper we present an overview, with historical and critical remarks, of two articles by S. Jaúkowski ([20, 21] 1948 and [22, 23] 1949), which contain the oldest known formulation of a paracon- sistent logic. Jaúkowski has built the logic – he termed discussive (D2) – by defining two new connectives and by introducing a modal translation map from D2 systems into Lewis’ modal logic S5. Discussive systems, for their formal details and their orig- inal philosophical justification, have attracted (...) discrete attention among experts. Indeed, in what follows, after having introduced Jaúkowski’s methodology of building D2 and his main philosophical motivations for providing such a system, we will explore some of the main contributions to the development of D2. (shrink)

In this dissertation we present proof systems for several modal logics. These proof systems are based on analytic (or semantic) tableaux. -/- Modal logics are logics for reasoning about possibility, knowledge, beliefs, preferences, and other modalities. Their semantics are almost always based on Saul Kripke’s possible world semantics. In Kripke semantics, models are represented by relational structures or, equivalently, labeled graphs. Syntactic formulas that express statements about knowledge and other modalities are evaluated in terms of such models. -/- This dissertation (...) focuses on modal logics with dynamic operators for public announcements, belief revision, preference upgrades, and so on. These operators are defined in terms of mathematical operations on Kripke models. Thus, for example, a belief revision operator in the syntax would correspond to a belief revision operation on models. -/- The ‘dynamic’ semantics of dynamic modal logics are a clever way of extending languages without compromising on intuitiveness. We present ‘dynamic’ tableau proof systems for these dynamic semantics, with the express aim to make them conceptually simple, easy to use, modular, and extensible. This we do by reflecting the semantics as closely as possible in the components of our tableau system. For instance, dynamic operations on Kripke models have counterpart dynamic relations between tableaux. -/- Soundness, completeness, and decidability are three of the most important properties that a proof system may have. A proof system is sound if and only if any formula for which a proof exists, is true in every model. A proof system is complete if and only if for any formula that is true in all models, a proof exists. A proof system is decidable if and only if any formula can be proved to be a theorem or not a theorem in a finite number of steps. All proof systems in this dissertation are sound, complete, and decidable. -/- Part of our strategy to create modular tableau systems is to delay concerns over decidability until after soundness and completeness have been established. Decidability is attained through the operations of folding and through operations on ‘tableau cascades’, which are graphs of tableaux. -/- Finally, we provide a proof-of-concept implementation of our dynamic tableau system for public announcement logic in the Clojure programming language. (shrink)

Hume was a cognitive scientist of religion avant la lettre. His Natural History of Religion (1757 [2007]) locates the origins of religion in human nature. This paper explores similarities between some of his ideas and the cognitive science of religion, the multidisciplinary study of the psychological origins of religious beliefs. It also considers Hume’s distinction between two questions about religion: its foundation in reason (the domain of natural theology and philosophy of religion) and its origin in human nature (the domain (...) of cognitive science of religion). (shrink)

Departing from basic concepts in abstract logics, this paper introduces two concepts: conjunctive and disjunctive limits. These notions are used to formalize levels of modal operators.

This essay seeks to see if one side or the other in the hunting debate gets more purchase if we first ask what gives the state the moral right to promote sport hunting when the practice is in deep decline. We look at the dominant economic and political reasons for state support, none of which settle the moral matter. We then look at various state appeals to moral justification (ethical hunting, the right to hunt, the value of heritage, etc.) and (...) determine that they beg the same prior questions that hunters beg--questions about the new scientific understanding of animal cognition and about the ideal individual and society in the 21st C. Neither side in the philosophical debate is helped by state promotion of hunting, given that anti-hunters also often dispense with the deeper questions and the relevant science. Conclusion: the debate should be based on the new scientific understanding of animals' capacities and on current ideals of the individual and society. State policy should reflect that. -/- thehe state should see that it is on slippery ground when it devises programs to gratify hunters and to encourage the innocent, the reluctant, and the lapsed to take up the practice. (shrink)

Lewis (1968) claims that his language of Counterpart Theory (CT) interprets modal discourse and he adverts to a translation scheme from the language of Quantifed Modal Logic (QML) to CT. However, everybody now agrees that his original translation scheme does not always work, since it does not always preserve the ‘intuitive’ meaning of the translated QML-formulas. Lewis discusses this problem with regard to the Necessitist Thesis, and I will extend his discourse to the analysis of the Converse Barcan Formula. Everyone (...) also agrees that there are CT-formulas that can express the QMLcontent that gets lost through the translation. The problem is how we arrive to them. In this paper, I propose new translation rules from QML to CT, based on a suggestion by Kaplan. However, I will claim that we cannot have ‘the’ translation scheme from QML to CT. The reason being that de re modal language is ambiguous. Accordingly, there are diferent sorts of QML, depending on how we resolve such ambiguity. Therefore, depending on what sort of QML we intend to translate into CT, we need to use the corresponding translation scheme. This suggests that all the translation problems might just disappear if we do what Lewis did not: begin with a fully worked out QML that tells us how to understand de re modal discourse. (shrink)

(1996). What the prophet and the philosopher told their nations: A multi‐modal systems view of norms and civilisation. World Futures: Vol. 47, Unity and Diversity in Contemporary Systems Tinking: Systematic Pictures at an Exhibition, pp. 53-67.

The aim of this paper is to critically review several interpretations of Kantian sensible intuition. The first interpretation is the recent construal of Kantian sensible intuition as a mental analogue of a direct referential term. The second is the old, widespread assumption that Kantian intuitions do not refer to mind-independent entities, such as bodies and their physical properties, unless they are brought under categories. The third is the assumption that, by referring to mind-independent entities, sensible intuitions represent objectively in the (...) sense that they represent in a relative, perspective-independent manner. The fourth is the construal of Kantian sensible intuitions as non-conceptual content. In this paper, I support the alternative view that Kantian sensible representation is to be seen as iconic de re presentation of objects without representational content. (shrink)

Philosophy of religion is often regarded as a philosophical discipline in which irrelevant influences, such as upbringing and education, play a pernicious role. This paper presents results of a qualitative survey among academic philosophers of religion to examine the role of such factors in their work. In light of these findings, I address two questions: an empirical one (whether philosophers of religion are influenced by irrelevant factors in forming their philosophical attitudes) and an epistemological one (whether the influence of irrelevant (...) factors on our philosophical views should worry us). My answer to the first question is a definite yes, my answer to the second, a tentative yes. (shrink)

Process philosophies tend to emphasise the value of continuous creation as the core of their discourse. For Bergson, Whitehead, Deleuze, and others the real is ultimately a creative becoming. Critics have argued that there is an irreducible element of (almost religious) belief in this re-evaluation of immanent creation. While I don’t think belief is necessarily a sign of philosophical and existential weakness, in this paper I will examine the possibility for the concept of universal creation to be a political and (...) ethical axiom, the result of a global social contract rather than of a new spirituality. I argue here that a coherent way to fight against potentially totalitarian absolutes is to replace them with a virtual absolute that cannot territorialise without deterritorialising at the same time: the Creal principle. (shrink)

The traditional conception of risk is probabilistic, according to which the degree of risk of an event is determined by the probability of its occurence. Recently this view was challenged by Duncan Pritchard (2015, 2016), who suggested a modal theory of risk, centered in the idea that the riskiness of events depends on the modal distance between the actual world and worlds where the event obtains. What is attractive about this theory, according to Pritchard, is that it explains our judgement (...) about cases in which two equally probable events seem to have different degrees of risk. The modal theory of risk, however, has its own shortcomings: according to Bricker (2018), there are cases in which risk judgements are not tracking modal distance; there is also the problem of determining the risk of events that occur in the actual world, since the theory seems to imply that they are maximally risky because the actual world is maximally similar to itself (EBERT; SMITH; DURBACH, 2020). The modal conception of risk is also at odds with the most natural forms of reasoning over the morality of risk imposition. I begin exploring the two conceptions of risk, emphasizing their strenghts and weaknesses. I then argue that the probabilistic conception can be defended from objections, and a pluralistic theory of risk, although less unified, deserves to be considered. -/- . (shrink)

Against the background of revolutionary digital technologies, mobile learning and the crisis of conventional paradigms in mass societies, the present study shows how innovative and multidisciplinary research capable of both observing and interpreting reality as well as consolidating a pedagogical model open to intercultural dialogue with faith and ethics will allow different cultures to re-appropriate the scientific, pedagogic, ethical and linguistic methodologies necessary for the formation of the ‘human being’. The post-modern condition of the ‘liquid society’, where only transient values (...) are given, with the consequence of uncertainty and dissatisfaction, is the right time to return to the true moral values, i.e. those described by the classical philosophy and the Christian religion that fully realize the human being. This inspiration enables Pedagogy to overcome the uncertainties that afflict subjects in education; overcome the absence of languages and shared ethics; overcome the paroxysmal defense of freedom of thought and action; respond to the lack of model teachers who can have a positive influence on their students; discourage marked and more widespread individualism. (shrink)

Kit Fine has proposed a new solution to what he calls ‘a familiar puzzle’ concerning modality and existence. The puzzle concerns the argument from the alleged truths ‘It is necessary that Socrates is a man’ and ‘It is possible that Socrates does not exist’ to the apparent falsehood ‘It is possible that Socrates is a man and does not exist’. We discuss in detail Fine’s setting up of the ‘puzzle’ and his rejection, with which we concur, of two mooted (...) solutions to it. (One of these uses standard, Kripkean, notions, and the other rests on work done by Arthur Prior.) We set out, and reject, the philosophy of modality underlying Fine’s new solution, and we defend an alternative response to the alleged puzzle. Our solution follows the work of David Wiggins in distinguishing between the sentential operator ‘It is necessary that’ and the predicate modifier ‘necessarily’. We briefly provide this distinction with a possible- world semantics on which it is neither a necessary truth, in some sense, that Socrates exists nor true, in some sense, that Socrates necessarily exists. (shrink)

In this paper, I present a new interpretation of Kant’s notion of consciousness of oneself as a Subject on behalf of a polemic with a recent reading suggested by Longuenesse. My central aim is to provide a systematic interpretation of Kant’s metaphysics of consciousness in general. I present and defend new interpretations for four capital Kant’s notions. First, I present a reading of Kant’s sensible intuition as a de re form of mental representation without conceptual content and any structure. It (...) makes the subject aware only in the limited sense of demonstratively representing what appears to him. In the sequence, I present a reading of empirical consciousness as the result of a first-order representation. The important introduction of §16 of the first Critique is construed here as expressing what is known today as the access consciousness. Lastly, I propose a new reading for the transcendental Apperception as an intransitive form of consciousness. (shrink)

Starting from the sensuous perception of what is seen, an attempt is made at re-casting a Husserlian theory of constitution of the object of intuition, as one leaves the natural attitude through a transcendental method, by positing several theses so as to avoid the aporias of philosophical binary oppositions such as rationalism and empiri-cism, realism and idealism, logicism and psychologism, subjectivism and objectivism, transcendentalism and ontologism, metaphysics and positivism. Throughout fifty-five theses on constitution, the Husserlian proposal of continuously reforming philosophizing (...) by transcendental reduction is revisited, leaving the latter incomplete as new conversions are required by noetic-noematic correlations between world and consciousness. (shrink)

Numerous studies of the beliefs of people with anorexia nervosa (AN) suggest that a subset of such individuals may experience delusions. We first describe what makes a belief delusional and conclude that such characteristics can be appropriately applied to some beliefs of people with AN. Next, we outline how delusional beliefs may relate to the broader psychopathological process in AN, including: (1) they may be epiphenomenal; (2) they may be an initial partial cause of AN; (3) they may be caused (...) by aspects of AN; or (4) they may be sustaining causes, possibly involved in reciprocal causal relations with aspects of AN. We argue that there is good reason to believe that delusional beliefs of people with AN are not merely epiphenomenal, but rather that they’re causally connected to AN. Because of this, empirical studies can be designed to test for the presence of causal relations. We describe how these studies should be designed. The results of such studies have important implications for understanding the experience of individuals with AN and for the treatment of AN. We outline these implications. (shrink)

Drugs used to provide improvement of cognitive functioning have been shown to be effective in healthy individuals. It is sometimes assumed that the use of these drugs constitutes cheating in an academic context. We examine whether this assumption is ethically sound. Beyond providing the most up-to-date discussion of modafinil use in an academic context, this contribution includes an overview of the safety of modafinil use in greater depth than previous studies addressing the issue of cheating. Secondly, we emphasize two crucial, (...) but hitherto nearly overlooked, nuances to the issues: the potential for modafinil to decrease inequality and disadvantage in academic settings, and the fact that how modafinil is used dramatically impacts its effects on health, coercion, fairness, authenticity and effort. Finally, we explicitly defend the position that there are no qualitatively morally relevant differences between modafinil use and other enhancement modalities; any such differences are in degree,... (shrink)

Concerns about emerging and re-emerging infectious diseases have given a new lease of life to quarantinist measures: a series of time-honoured techniques for controlling the spread of infectious diseases through breaking the chain of human contagion. Since such measures typically infringe individual rights or privacy their use is subject to legal regulations and gives rise to ethical and political worries and suspicions. Yet in some circumstances they can be very effective. After considering some case studies that show how epidemics are (...) unique, fluid and affected by a multitude of contingent factors, it is argued that the legal and ethical guidelines may not always be the best approach to discipline the use of quarantinist measures. An alternative model based on ex-post political accountability for reasonableness is proposed. This model restores the centrality of political decision and expert judgement in situations characterized by high risk, uncertainty and contingency. It is argued that such alternative model affords quicker and more flexible responses to serious outbreaks of infections, while providing adequate protection against abuses. (shrink)

A tese central deste trabalho consiste em reconstruir em bases filosóficas as linhas gerais da teoria aristotélica da verdade mostrando, a partir da análise do Livro IV da Metafísica, que esta teoria está fundada naquilo que é chamado nesta investigação de princípio transcendental de verdade, o qual é constituído pela bi- implicação modal dos princípios de não-contradição, do terceiro excluído e de identidade.

The knower paradox states that the statement ‘We know that this statement is false’ leads to inconsistency. This article presents a fresh look at this paradox and some well-known solutions from the literature. Paul Égré discusses three possible solutions that modal provability logic provides for the paradox by surveying and comparing three different provability interpretations of modality, originally described by Skyrms, Anderson, and Solovay. In this article, some background is explained to clarify Égré’s solutions, all three of which hinge (...) on intricacies of provability logic and its arithmetical interpretations. To check whether Égré’s solutions are satisfactory, we use the criteria for solutions to paradoxes defined by Susan Haack and we propose some refinements of them. This article aims to describe to what extent the knower paradox can be solved using provability logic and to what extent the solutions proposed in the literature satisfy Haack’s criteria. Finally, the article offers some reflections on the relation between knowledge, proof, and provability, as inspired by the knower paradox and its solutions. (shrink)

Chapter 1 constitutes an introduction to Gentzen calculi from two perspectives, logical and philosophical. It introduces the notion of generalisations of Gentzen sequent calculus and the discussion on properties that characterize good inferential systems. Among the variety of Gentzen-style sequent calculi, I divide them in two groups: syntactic and semantic generalisations. In the context of such a discussion, the inferentialist philosophy of the meaning of logical constants is introduced, and some potential objections – mainly concerning the choice of working with (...) semantic generalizations – are addressed. Finally, I’ll introduce the case studies that I’ll be dealing with in part II. Chapter 2 is concerned with the origins and development of Jaśkowski’s discussive logic. The main idea of this chapter is to systematize the various stages of the development of discussive logic related researches from two different angles, i.e., its connections to modal logics and its proof theory, by highlighting virtues and vices. Chapter 3 focuses on the Gentzen-style proof theory of discussive logic, by providing a characterization of it in terms of labelled sequent calculi. Chapter 4 deals with the Gentzen-style proof theory of relevant logics, again by employing the methodology of labelled sequent calculi. This time, instead of working with a single logic, I’ll deal with a whole family of them. More precisely, I’ll study in terms of proof systems those relevant logics that can be characterised, at the semantic level, by reduced Routley-Meyer models, i.e., relational structures with a ternary relation between states and a unique base element. Chapter 5 investigates the proof theory of a modal expansion of intuitionistic propositional logic obtained by adding an ‘actuality’ operator to the connectives. This logic was introduced also using Gentzen sequents. Unfortunately, the original proof system is not cut-free. This chapter shows how to solve this problem by moving to hypersequents. Chapter 6 concludes the investigations and discusses the future of the research presented throughout the dissertation. (shrink)