We try to explain Tarski's conception of logical notions, as it emerges from alecture of his, delivered in 1966 and published posthumously in 1986 (Historyand Philosophy of Logic 7, 143–154), a conception based on the idea ofinvariance. The evaluation of Tarski's proposal leads us to consider an interesting(and neglected) reply to Skolem in which Tarski hints at his own point of view onthe foundations of set theory. Then, comparing the lecture of 1966 with Tarski'slast work and with an earlier paper (...) written with Lindenbaum, it is shown thatTarski's conception of logical notions, with its essentially type-theoretic character,did not undergo any significant modifications throughout his life. A remark onTarski's prudential attitude on the topic in the famous paper on the concept oflogical consequence (and elsewhere) concludes our paper. (shrink)

We try to explain Tarski's conception of logical notions, as it emerges from alecture of his, delivered in 1966 and published posthumously in 1986 (Historyand Philosophy of Logic7, 143–154), a conception based on the idea ofinvariance. The evaluation of Tarski's proposal leads us to consider an interesting(and neglected) reply to Skolem in which Tarski hints at his own point of view onthe foundations of set theory. Then, comparing the lecture of 1966 with Tarski'slast work and with an earlier paper written (...) with Lindenbaum, it is shown thatTarski's conception of logical notions, with its essentially type-theoretic character,did not undergo any significant modifications throughout his life. A remark onTarski's prudential attitude on the topic in the famous paper on the concept oflogical consequence (and elsewhere) concludes our paper. (shrink)

I discuss and try to evaluate the argument about constructible sets made by Putnam in ‘ ”Models and Reality”, and some of the counterarguments directed against it in the literature. I shall conclude that Putnam’s argument, while correct in substance, nevertheless has no direct bearing on the philosophical question of unintended models of set theory.

In this note we consider Gentzen's first ordinal notation, used in his first published proof of the consistency of Peano Arithmetic. It is a decimal notation, quite different from our current notations. We give a rule to translate this notation into our usual set-theoretic notation and we show some of its peculiarities. Then we indicate how to decode Gentzen's assignment of ordinal notations to derivations and give some examples. Finally, we go through his proof of their decrease after the application (...) of his reduction procedure, giving further examples. (shrink)

I discuss Skolem's own ideas on his ‘paradox’, some classical disputes between Skolemites and Antiskolemites, and the underlying notion of ‘informal mathematics’, from a point of view which I hope to be rather unusual. I argue that the Skolemite cannot maintain that from an absolute point of view everything is in fact denumerable; on the other hand, the Antiskolemite is left with the onus of explaining the notion of informal mathematical knowledge of the intended model of set theory. 1 conclude (...) that one must take seriously the embodiment of the uncountable into countable languages, as a symptom of some specific features which characterize mathematical languages with respect to other languages. (shrink)

I make an attempt at the description of the delicate role of the standard model of arithmetic for the syntax of formal systems. I try to assess whether the possible instability in the notion of finiteness deriving from the nonstandard interpretability of arithmetic affects the very notions of syntactic metatheory and of formal system. I maintain that the crucial point of the whole question lies in the evaluation of the phenomenon of formalization. The ideas of Skolem, Zermelo, Beth and Carnap (...) (among others) on the problem are discussed. ‘A tries to explain to B the meaning of negation. Finally A gives up, saying: “You don’t understand what I mean, and I am not going to explain any longer,” to which B replies: “Yes, I see what you mean, and I am glad you are willing to continue your explanations”’. G. Mannoury, reported by E. W. Beth (Beth, 1963, 489). (shrink)

This volume is a Festschrift in honour of Enrico Moriconi, to celebrate his 70th birthday and retirement. It consists of twelve original short essays by some of his friends, colleagues and former students, in the areas of general logic, proof theory, history of logic, philosophy of mathematics, epistemology and philosophy of language, mainly focused on some of his favourite research topics.

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.).

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.

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)

Translation of Aristotle's Metaphysics Lambda into Portuguese.

Translation of passages of Aristotle's De Anima into Portuguese. The passages are these: I.1, I.4 (the 'Rylean passage'); II.1-6; III.1-8. The translation is preliminary.

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)

This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representations of proofs). It demonstrates that identity of proof is a key both to clarify some —still not wholly understood— notions at the core of proof-theoretic semantics, such as harmony; and to broaden the range of the phenomena which can be analyzed using (...) the tools of this semantic paradigm, so as to include for instance paradoxes. The volume covers topics such as the philosophical significance of different criteria of identity of proofs, and adequacy conditions for an intensional account of the notion of harmony. The author also examines the Prawitz-Tennant analysis of paradoxes by investigating on the one hand the prospects of turning it into a theory of meaning for paradoxical languages, and on the other hand two distinct kinds of phenomena, first observed by Crabbe and Ekman, showing that the Tennant-Prawitz criterion for paradoxicality overgenerates. This volume is of interest to scholars in formal and philosophical logic. (shrink)

Translation of Aristotle’s Metaphysics IX and X (Theta & Iota) into Portuguese, with a few notes, experimental glossary and introduction. The translation, which was made at 2004, is preliminary and its publication was intended to provide a didactic tool for courses as well as a provisional resource in research seminars. It needs some revision. I am currently working (slowly...) on the revision of the translation and a new revised one will surely appear at some point.

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)

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)

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)

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)

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)

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)

This book explores the diverse understandings of the archaeological record in both historical and contemporary perspective, while also serving as a guide to reassessing current views. Gavin Lucas argues that archaeological theory has become both too fragmented and disconnected from the particular nature of archaeological evidence. The book examines three ways of understanding the archaeological record - as historical sources, through formation theory, and as material culture - then reveals ways to connect these three domains through a reconsideration of archaeological (...) entities and archaeological practice. Ultimately, Lucas calls for a rethinking of the nature of the archaeological record and the kind of history and narratives written from it. (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)

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)

The purpose of this paper is to explore the connection between change and the B-theory of time, sometimes also called the Scientific view of time, according to which reality is a four-dimensional spacetime manifold, where past, present and future things equally exist, and the present time and non-present times are metaphysically the same. I argue in favour of a novel response to the much-vexed question of whether there is change on the B-theory or not. In fact, B-theorists are often said (...) to hold a ‘static’ view of time. But this far from being innocent label: if the B-theory of time presents a model of temporal reality that is static, then there is no change on the B-theory. From this, one can reasonably think as follows: of course, there is change, so the B-theory must be false. What I plan to do in this paper is to argue that in some sense there is change on the B-theory, but in some other sense, there is no change on the B-theory. To do so, I present three instances of change: Existential Change, namely the view that things change with respect to their existence over time; Qualitative Change, the view that things change with respect to how they are over time; Propositional Change, namely the view that things (i.e. propositions) change with respect to truth value over time. I argue that while there is a reading of these three instances of change that is true on the B-theory, and so there is change on the B-theory in this sense, there is a B-theoretical reading of each of them that is not true on the B-theory, and therefore there is no change on the B-theory in this other sense. (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)

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)

The central idea behind this paper is the claim that Kant's moral idea of a realm of ends is modeled on the category of community examined in his theoretical works, and that understanding Kant's account of the category of community helps us understand certain features of the idea of a realm of ends, and in particular the fact that a member of a realm of ends must be an autonomous agent. For Kant the idea of a community is essentially the (...) idea of a multitude of individuals in interaction and in this paper I will attempt to show why Kant believes that only autonomous individuals can interact. (shrink)