We study a system, μŁΠ, obtained by an expansion of ŁΠ logic with fixed points connectives. The first main result of the paper is that μŁΠ is standard complete, i.e., complete with regard to the unit interval of real numbers endowed with a suitable structure. We also prove that the class of algebras which forms algebraic semantics for this logic is generated, as a variety, by its linearly ordered members and that they are precisely the interval algebras of real closed (...) fields. This correspondence is extended to a categorical equivalence between the whole category of those algebras and another category naturally arising from real closed fields. Finally, we show that this logic enjoys implicative interpolation. (shrink)

We present a systematic study of join-extensions and join-completions of partially ordered algebras, which naturally leads to a refined and simplified treatment of fundamental results and constructions in the theory of ordered structures ranging from properties of the Dedekind–MacNeille completion to the proof of the finite embeddability property for a number of varieties of lattice-ordered algebras.

We offer a proof of the duality theorem for finitely presented MV-algebras and rational polyhedra, a folklore and yet fundamental result. Our approach develops first a general dual adjunction between MV-algebras and subspaces of Tychonoff cubes, endowed with the transformations that are definable in the language of MV-algebras. We then show that this dual adjunction restricts to a duality between semisimple MV-algebras and closed subspaces of Tychonoff cubes. The duality theorem for finitely presented objects is obtained by a further specialisation. (...) Our treatment is aimed at showing exactly which parts of the basic theory of MV-algebras are needed in order to establish these results, with an eye towards future generalisations. (shrink)

We prove that the unification type of Łukasiewicz logic and of its equivalent algebraic semantics, the variety of MV-algebras, is nullary. The proof rests upon Ghilardiʼs algebraic characterisation of unification types in terms of projective objects, recent progress by Cabrer and Mundici in the investigation of projective MV-algebras, the categorical duality between finitely presented MV-algebras and rational polyhedra, and, finally, a homotopy-theoretic argument that exploits lifts of continuous maps to the universal covering space of the circle. We discuss the background (...) to such diverse tools. In particular, we offer a detailed proof of the duality theorem for finitely presented MV-algebras and rational polyhedra—a fundamental result that, albeit known to specialists, seems to appear in print here for the first time. (shrink)

In this paper we study the notion of forcing for Łukasiewicz predicate logic (Ł∀, for short), along the lines of Robinson’s forcing in classical model theory. We deal with both finite and infinite forcing. As regard to the former we prove a Generic Model Theorem for Ł∀, while for the latter, we study the generic and existentially complete standard models of Ł∀.

We prove that the m -generated free MV-algebra is isomorphic to a quotient of the disjoint union of all the m -generated free MV-algebras. Such a quotient can be seen as the direct limit of a system consisting of all free MV-algebras and special maps between them as morphisms.

In this paper we study the notion of forcing for Łukasiewicz predicate logic (Ł∀, for short), along the lines of Robinson’s forcing in classical model theory. We deal with both finite and infinite forcing. As regard to the former we prove a Generic Model Theorem for Ł∀, while for the latter, we study the generic and existentially complete standard models of Ł∀.

We present a uniform version of Di Nola Theorem, this enables to embed all MV-algebras of a bounded cardinality in an algebra of functions with values in a single non-standard ultrapower of the real interval [0,1]. This result also implies the existence, for any cardinal α, of a single MV-algebra in which all infinite MV-algebras of cardinality at most α embed. Recasting the above construction with iterated ultrapowers, we show how to construct such an algebra of values in a definable (...) way, thus providing a sort of “canonical” set of values for the functional representation. (shrink)

1 Department of History and Philosophy of Science, University of Cambridge, Free School Lane, Cambridge, CB2 3RH, UK.

This is an introductory handbook for some of the main themes around the notion of predication in Aristotle. It does not aim at being exhaustive, but only sketches some important lines about the subject; it contains an introductory essay, besides the translation (into Portuguese) and commentary of basic texts (such as Posterior Analytics I-22, Categories 1-5, Interpretation 1-6 etc.).

Hume's discussion of the idea of space in his Treatise on Human Nature is fundamental to an understanding of his treatment of such central issues as the existence of external objects, the unity of the self, the relation between certainty and belief, and abstract ideas. Marina Frasca-Spada's rich and original study examines this difficult part of Hume's philosophical writings and connects it to eighteenth-century works in natural philosophy, mathematics and literature. Focusing on Hume's discussions of the infinite divisibility of (...) extension, the origin of the idea of space, geometry, and the notion of a vacuum, she shows that the central questions of Hume's 'science of human nature' - what does the 'science of human nature' reveal about the mind and its operations? what is experience? - underlie all of these discussions. Her analysis points the way to a reassessment of the central current interpretative problems in Hume studies. (shrink)

This book examines phenomenal conservatism, one of the most influential and promising internalist conceptions of non-inferential justification debated in current epistemology and philosophy of mind. It also explores the significance of the findings of this examination for the general debate on epistemic justification. According to phenomenal conservatism, non-inferential justification rests on seemings or appearances, conceived of as experiences provided with propositional content. Phenomenal conservatism states that if it appears to S that P, in the absence of defeaters, S thereby has (...) some justification for believing that P. This view provides the basis for foundationalism and many ordinary epistemic practices. This book sheds new light on phenomenal conservatism by assessing objections to it and examining epistemological merits and advantages attributed to it. In a nutshell, phenomenal conservatism is actually compatible with Bayesian reasoning, and it is unaffected by bootstrapping problems and challenges that appeal to the cognitive penetrability of perception. Nevertheless, appearance-based justification proves unstable or elusive and its antisceptical bite is more limited than expected. These difficulties could be surmounted if phenomenal conservatism were integrated with a theory of inferential justification. The book appeals to scholars and postgraduates in the field of epistemology and philosophy of mind who are interested in the rational roles of appearances. (shrink)

In this paper we focus on transmission and failure of transmission of warrant. We identify three individually necessary and jointly sufficient conditions for transmission of warrant, and we show that their satisfaction grounds a number of interesting epistemic phenomena that have not been sufficiently appreciated in the literature. We then scrutinise Wright’s analysis of transmission failure and improve on extant readings of it. Nonetheless, we present a Bayesian counterexample that shows that Wright’s analysis is partially incoherent with our analysis of (...) warrant transmission and prima facie defective. We conclude exploring three alternative lines of reply: developing a more satisfactory account of transmission failure, which we outline; dismissing the Bayesian counterexample by rejecting some of its assumptions; reinterpreting Wright’s analysis to make it immune to the counterexample. (shrink)

I discuss a short string of five sentences in Metaphysics V.5, 1015b6-9 relating demonstration to necessity. My proposal is that Aristotle focuses his attention on the demonstration as a demonstration. Other interpretations reduce the necessity in question to the modality of the component sentences of the demonstrations (the conclusion and the premises). My view does not deny that the modality of the component sentences is important, but takes seriously the idea that a demonstration itself should be understood as necessary—as not (...) capable of being otherwise. A demonstration cannot be different from what it is in the sense that [i] its components cannot be different from what they are, [ii] its components must be related to each other exactly in the way they are related. Demonstrations aim at the fully appropriate explanation of a given explanandum—and each demonstration is individuated by the explanandum it takes. Thus, the basic idea is that, for the target explanandum that individuates a given demonstration, the premises delivering the fully appropriate explanation cannot be replaces with different ones. I show how this proposal, which explains Aristotle’s language in 1015b6-9 accurately, does not make demonstrations ‘melt down into conditional necessity’, first, because the modality of the component sentences is still importantly involved, second, because the explanatory relation expressed in a demonstration is a necessary fact in the real world, so that the demonstration itself is also necessary (in the way I have explained) inasmuch as it captures that fact. (shrink)

Mindreading (or folk psychology, Theory of Mind, mentalizing) is the capacity to represent and reason about others’ mental states. The Simulation Theory (ST) is one of the main approaches to mindreading. ST draws on the common-sense idea that we represent and reason about others’ mental states by putting ourselves in their shoes. More precisely, we typically arrive at representing others’ mental states by simulating their mental states in our own mind. This entry offers a detailed analysis of ST, considers theoretical (...) arguments and empirical data in favour of and against it, discusses its philosophical implications, and illustrates some alternatives to it. (shrink)

Translation of Aristotle's Metaphysics IV and VI, with notes. The translation is preliminary and intended as a provisional teaching tool to be also used in seminars and discussions with peers in order to reach a more elaborated version.

The assumption that coercion is largely responsible for our legal systems’ efficacy is a common one. I argue that this assumption is false. But I do so indirectly, by objecting to a thesis I call “(Compliance)”, which holds that most citizens comply with most legal mandates most of the time at least partly in virtue of being motivated by legal systems’ threats of sanctions and other unwelcome consequences. The relationship between (Compliance) and the efficacy of legal systems is explained in (...) section 1. There I also show that (Compliance) must be rejected for it relies on unsubstantiated empirical assumptions. In section 2, I claim that an alternative, and more refined, formulation of (Compliance) also lacks adequate support. I conclude with a few general remarks about the centrality of coercion in our thought and talk about legal systems. (shrink)

This chapter has two main sections. In the first section I briefly sketch Immanuel Kant’s moral theory as laid out in his Groundwork of the Metaphysics of Morals (1785). I explain Kant’s claim that morality must be grounded on what he calls a categorical imperative and examine his three formulations of this categorical imperative. In the second section I explain the distinction between “deontological” and “teleological” ethical theories. Kantian ethics is often presented as the paradigm example of a deontological ethical (...) theory, but I question whether Kant’s ethics should be understood as purely deontological. (shrink)

Transmission of justification across inference is a valuable and indeed ubiquitous epistemic phenomenon in everyday life and science. It is thanks to the phenomenon of epistemic transmission that inferential reasoning is a means for substantiating predictions of future events and, more generally, for expanding the sphere of our justified beliefs or reinforcing the justification of beliefs that we already entertain. However, transmission of justification is not without exceptions. As a few epistemologists have come to realise, more or less trivial forms (...) of circularity can prevent justification from transmitting from p to q even if one has justification for p and one is aware of the inferential link from p to q. In interesting cases this happens because one can acquire justification for p only if one has independent justification for q. In this case the justification for q cannot depend on the justification for p and the inferential link from p to q, as genuine transmission would require. The phenomenon of transmission failure seems to shed light on philosophical puzzles, such as Moore's proof of a material world and McKinsey's paradox, and it plays a central role in various philosophical debates. For this reason it is being granted continued and increasing attention. (shrink)

In this paper, I present an interpretation of Wittgenstein's remarks on the experience of wonder at the existence of the world. According to this interpretation, Wittgenstein's feeling of wonder stems from perceiving the existence of the world as an absolute miracle, that is, as a fact that is in principle beyond explanation. Based on this analysis, I will suggest that Wittgenstein's experience is akin to what has been described by other authors such as Coleridge, Pessoa, Heidegger, Scheler, Sartre, and Hadot, (...) among many others. Through a comparison between Wittgenstein and Coleridge on the experience of existence, I shall highlight some core features of this experience, chief among them the use of the notion of nothingness in clarifying what is understood in the experience, the role of intuition, and the presence of a specific pathos. As a whole, this paper aims to provide a contribution to the project of a phenomenology of the experience of existence and intends to create a bridge for a dialogue between Wittgenstein and the phenomenological tradition on the enigma of existence. (shrink)

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

I discuss Aristotle's treatment of essence and definition in Metaphysics VII.4. I argue that it is coherent and perfectly in accord with its broader context. His discussion in VII.4 offers, on the one hand, minimal criteria for what counts as definition and essence for whatever kind of object, but also, on the other hand, stronger criteria for a primary sort of definition and essence—and thereby it serves the interest of book VII in pointing to the explanatory power of the essence (...) of composite substances. (shrink)

Impressions of Hume collects brand-new essays from leading scholars in different philosophical, historiographical, and literary traditions within which Hume is a canonical figure. To some his writings are vehicles for intuitions, problems, and arguments which are at the center of contemporary philosophical reflection; others locate Hume's views against the background of concerns and debates of his own time. Hume's texts may be read as highly sophisticated literary-cum-philosophical creations, or as moments in the construction of the ideology of modernity; these are (...) "open" texts which present their reader with a bounty of different materials and inspirations. (shrink)

When people want to identify the causes of an event, assign credit or blame, or learn from their mistakes, they often reflect on how things could have gone differently. In this kind of reasoning, one considers a counterfactual world in which some events are different from their real-world counterparts and considers what else would have changed. Researchers have recently proposed several probabilistic models that aim to capture how people do (or should) reason about counterfactuals. We present a new model and (...) show that it accounts better for human inferences than several alternative models. Our model builds on the work of Pearl (2000), and extends his approach in a way that accommodates backtracking inferences and that acknowledges the difference between counterfactual interventions and counterfactual observations. We present six new experiments and analyze data from four experiments carried out by Rips (2010), and the results suggest that the new model provides an accurate account of both mean human judgments and the judgments of individuals. (shrink)

This paper discusses some issues concerning the definition of moral virtue in Nicomachean Ethics 1106b 36- 1107a 2. It is reasonable to expect from a definition the complete enumeration of the relevant features of its definiendum, but the definition of moral virtue seems to fail in doing this task. One might be tempted to infer that this definition is intended by Aristotle as a mere preliminary account that should be replaced by a more precise one. The context of the argument (...) Aristotle develops in Book II of his NE give us some help. I argue that the definition of moral virtue, once considered in the light of its context, is far from being an incomplete and provisional account: it rather introduces coherently the same notion of moral virtue that Aristotle employs in other texts (as in Nicomachean Ethics VI 13). My main proposal is that the way in which "hexis" is understood in the context of previous chapters allows Aristotle to encode in it the notion of an ability to do the right things regularly. Thus, moral virtue is a "hexis prohairetike etc.", but the ability to do the right things regularly is already encoded in the occurrence of "hexis" in the definiens account of moral virtue, as if Aristotle meant "hexis [praktike] prohairetike". (shrink)

Phenomenal conservatism (PC) is the internalist view that non-inferential justification rests on appearances. PC’s advocates have recently argued that seemings are also required to explain inferential justification. The most general and developed view to this effect is Huemer (2016)’s theory of inferential seemings (ToIS). Moretti (2018) has shown that PC is affected by the problem of reflective awareness, which makes PC open to sceptical challenges. In this paper I argue that ToIS is afflicted by a version of the same problem (...) and it is thus hostage to inferential scepticism. I also suggest a possible response on behalf of ToIS’s advocates. (shrink)

L’epistemologia (detta anche filosofia della conoscenza o gnoseologia) è la disciplina filosofica che studia come gli esseri umani si rapportano da un punto di vista cognitivo alla realtà che li circonda. Le questioni fondamentali che la interessano sono principalmente di natura normativa. Riguardano il modo in cui dovremmo regolare le nostre credenze alla luce dell’informazione in nostro possesso, e la natura della conoscenza umana ed i suoi limiti. Questo capitolo è organizzato in modo corrispondente. La prima sezione tratta della nozione (...) di giustificazione epistemica, la seconda quella di conoscenza, e la terza introduce il problema filosofico dello scetticismo. (shrink)

I discuss three kinds of relationship between ends and means (or "things that promote ends") in the Aristotelian ethical theory, in order to clarify how moral virtues and phronesis are related both in adopting ends and in determining means for virtuous actions. Phronesis seems to be mainly charged with determining means for an end given by the moral virtues, but it must involve some conception of ends too. Phronesis cannot be parasitic on moral virtue concerning the conception of ends, for (...) otherwise it will lack intrinsic moral value. I argue that the intrinsic moral value of phronesis can be better understood through a certain kind of relation between means and ends that has not received much attention. (shrink)

Now classified as mid-way between epistemology and metaphysics, that part of 18th-century ‘science of human nature’ concerned with the investigation of human perceptions and passions was in fact closely allied both to moral and natural philosophy and to medicine. This chapter the roles in the formation of belief that writers in this tradition and authors of novels attributed to the readers' senses and imagination, and to their social intercourse. In particular, it focusses on the relative educational and moral value attributed (...) to history, romance, and novels, and the readers' sympathetic responses to historical and fictional writings as they were represented and discussed in Charlotte Lennox' The Female Quixote, and in David Hume's Treatise of Human Nature. (shrink)

This paper intends to address social robotics from the Actor-network theory (ANT) perspective. Starting from the critique of Seibt’s approach and the distinction between anthropomorphing and sociomorphing, the paper proposes a new methodological approach based on ANT and negotiation concepts. This approach allows us to: a) assume a more symmetrical ontology in which robots are considered as social agents, like humans; b) consider all the interactional elements as of equal importance; and c) overcome the dualistic limit that is often imposed (...) on social robotics studies, i.e., the tendency to consider only the one-to-one relationship, one man-one robot, inside the laboratory. Anthropomorphing and sociomorphing are the results of a negotiation process that cannot be reduced to a series of degrees of simulation, but must be understood as a complex interactional process between many agents and material mediations. (shrink)

Psychopaths have emotional and rational impairments that can be expressed in persistent criminal behaviour. UK and US law has not traditionally excused disordered individuals for their crimes citing these impairments as a cause for their criminal behaviour. Until now, the discussion of whether psychopaths are morally responsible for their behaviour has usually taken place in the realm of philosophy. However, in recent years, this debate has been informed by scientific and psychiatric advancements, fundamentally so with the development of Robert Hare's (...) diagnostic tool, the Psychopathy Checklist. Responsibility and Psychopathy explores the moral responsibility of psychopaths. It engages with problems at the interface between law, psychiatry, and philosophy, and is divided into three parts offering relevant interdisciplinary background information to address this main problem. The first part discusses the public policy and legal responses to psychopathy. It offers an introduction to the central practical issue of how public policy should respond to psychopathy, providing insights for those arguing about the responsibility of psychopaths. The second part introduces recent scientific advancements in the classification, description, explanation, and treatment of psychopathy. The third part of the volume includes chapters covering the most significant dimensions of philosophical debate on the moral and criminal responsibility of psychopaths. (shrink)

This paper contributes to the debate on the question of whether a systematic connection obtains between one’s commitment to realism or antirealism and one’s attitude towards the possibility of radical theoretical novelty, namely, theory change affecting our best, most successful theories (see, e.g., Stanford in Synthese 196:3915–3932, 2019; Dellsén in Stud Hist Philos Sci 76:30–38, 2019). We argue that it is not allegiance to realism or antirealism as such that primarily dictates one’s response to the possibility of radical theoretical novelty: (...) what matters the most is, rather, the proposed alternative’s promise to realize one’s favored cognitive aim(s). Our argument tells not only against Stanford’s account of how adherence to realism or antirealism orients how one responds to possible radical theoretical novelty, but also against what we call the “natural pairing thesis.” According to such a thesis, which has kept resurfacing in the history of the philosophy of science, one-to-one pairings obtain between realism/antirealism, on the one hand, and theoretical conservatism/openness to radical theoretical novelty, on the other hand. As our argument suggests, however, when faced with the possibility of radical theoretical novelty, realists can respond either in a conservative way or by being open to theory change, not unlike antirealists. (shrink)

This paper explores the perversion of reality in the context of advanced technologies, such as AI, VR, and AR, through the lens of Jean Baudrillard’s theory of hyperreality and the precession of simulacra. By examining the transformative effects of these technologies on our perception of reality, with a particular focus on the usage of digital avatars, the paper highlights the blurred distinction between the real and the simulated, where the copy becomes more ‘real’ than the original. Drawing on Baudrillard’s concept (...) of hyperreality, the paper delves into the perversion of reality as individuals seek refuge in virtual pleasure paradises and embrace artificial pleasures through their digital avatars, disconnecting from genuine human experiences. The convergence of AI, VR, and AR technologies amplifies this hyperreal condition, where digital avatars mimic or surpass the depth of human relationships, challenging our understanding of what is real. In line with Baudrillard’s theory, the paper explores the objectification and commodification of reality within digital spaces, specifically examining the digital avatars’ role in the erosion of genuine human connections. It explores the implications of these avatars in terms of consent, exploitation, and loss of authenticity, echoing Baudrillard’s concerns about the distortion of reality in contemporary society. Recognizing the implications of these technologies, the paper calls for a critical reflection on their transformative power. It emphasizes the need for a nuanced understanding of the hyperreal condition and ethical responsibility in engaging with AI, VR, and AR, particularly in relation to the usage of digital avatars. By resisting the seductive allure of digital escapism and preserving genuine human connections, we can navigate the perversion of reality and cultivate empathy, compassion, and meaningful interactions that transcend the simulated experiences offered by technology. (shrink)

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

This chapter contains section titled: Hume's Legacy Sense Impressions, Passions and Ideas The Idea of Cause and Effect Probability and the Inference from Past to Future (Moderate) Skepticism Moral Feelings Human Nature and Religious Beliefs.