I present an argument that for any computer-simulated civilization we design, the mathematical knowledge recorded by that civilization has one of two limitations. It is untrustworthy, or it is weaker than our own mathematical knowledge. This is paradoxical because it seems that nothing prevents us from building in all sorts of advantages for the inhabitants of said simulation.

Storrs McCall continues the tradition of Lucas and Penrose in an attempt to refute mechanism by appealing to Gödel’s incompleteness theorem. That is, McCall argues that Gödel’s theorem “reveals a sharp dividing line between human and machine thinking”. According to McCall, “[h]uman beings are familiar with the distinction between truth and theoremhood, but Turing machines cannot look beyond their own output”. However, although McCall’s argumentation is slightly more sophisticated than the earlier Gödelian anti-mechanist arguments, in the end it fails badly, (...) as it is at odds with the logical facts. (shrink)

We construct a machine that knows its own code, at the price of not knowing its own factivity.

I discuss the argument Aristotle ascribes to Parmenides at Physics 186a23-32. I discuss (i) the reasons why Aristotle considers it as eristic and inconclusive and (i) the solution (lusis) Aristotle proposes against it.

I show that Mizrahi’s argument against Phenomenal Conservatism is fallacious.

This paper explores some aspects of Aristotle’s notion of subject for predications. I examine the argument Aristotle develops in Posterior Analytics I.22, 83a1-14. I argue that the notion advanced by Aristotle in that argument is different from the one found in his Categories, although they are far from being incompatible with each other. I also add some philological considerations to justify the Portuguese translation of “hypokeimenon” as “algo subjacente” (“underlying thing”) instead of “sujeito” (“subject”).

This book discusses Aristotle’s notions of essence and substance as they are developed in Metaphysics ZH. I examine Aristotle's argument at length and defends an unorthodox interpretation according to which his motivation is to provide an answer against a conflation between criteria for existential priority (delivering substances as primary beings) and criteria for explanatory priority (delivering essences as primary principles).

This paper is my first effort to revaluate the disagreement between two central texts for Aristotle's the conception of ousia: Categories and Metaphysics VII. Scholars have taken chapter Zeta-3 as a payment of the debt with the Categories, so that the hylomorphic analysis of the composite substance would require a revision of the subject-criterion, now improved by the addition of the “a this” and “separate” criterion. This paper, however, downgrades the importance of the Categories for understanding Aristotle's Metaphysics Z. The (...) two texts are dealing with different arguments and are not incompatible with one another. I myself consider this paper somehow obsolete, for I have returned to the same subject more than once: in my 2003 paper on Z-3 and, most importantly, on my Book 'As Noções Aristotélicas de Substância e Essência' (2008). (shrink)

Frank Jackson’s knowledge argument (KA) aims to prove, by means of a thought experiment concerning the hypothetical scientist Mary, that conscious experiences have non-physical properties, called qualia. Mary has complete scientific knowledge of colours and colour vision without having had any colour experience. The central intuition in the KA is that, by seeing colours, Mary will learn what it is like to have colour experiences. Therefore, her scientific knowledge is incomplete, and conscious experiences have qualia. In this paper I (...) consider an objection to the KA raised by Daniel Dennett. He maintains that the KA is vitiated by Jackson’s account of Mary’s scientific knowledge. While endorsing this criticism, I will defend the plausibility and relevance of the type of strategy involved in the KA by offering an account of Mary’s scientific knowledge. This account involves formulating a reasonable and not immediately false version of the physicalist thesis with regard to colour experiences. Whether this version of the KA is successful against this type of physicalism is not investigated here. (shrink)

This PhD thesis is a careful discussion of Aristotle's Metaphysics VII (Zeta) almost line by line (or at least argument by argument). It might be interesting to know that a revised and shortened version of it was published as a book in Portuguese, "As Noções Aristotélicas de Substância e Essência", Campinas: Editora da Unicamp, 2008. Actually, I believe the original version of the PhD thesis has been superseded by the book.

I discuss an important feature of the notion of cause in Post. An. 1. 13, 78b13–28, which has been either neglected or misunderstood. Some have treated it as if Aristotle were introducing a false principle about explanation; others have understood the point in terms of coextensiveness of cause and effect. However, none offers a full exegesis of Aristotle's tangled argument or accounts for all of the text's peculiarities. My aim is to disentangle Aristotle's steps to show that he is (...) arguing in favour of a logical requirement for a middle term's being the appropriate cause of its explanandum. Coextensiveness between the middle term and the attribute it explains is advanced as a sine qua non condition of a middle term's being an appropriate or primary cause. This condition is not restricted either to negative causes or to middle terms in second‐figure syllogisms, but ranges over all primary causes qua primary. (shrink)

I discuss the methodological passage in the begin- ning of Ethica Eudemia I.6 (1216b26-35), which has received attention in connection with Aristotle’s notion of dialectic and his methodology in Ethics. My central focus is not to discuss whether Aristotle is prescribing and using what has been called the method of endoxa. I will focus on how this passage coheres with the remaining parts of the same chapter, which also are advancing methodological remarks. My claim is that the meth- od of (...) Ethica Eudemia I.6 is in agreement with many features of Aristotle’s theory of explanation as presented in the Posterior Analytics: Aristotle’s main concern is a warning against misuses of explanatory arguments. (shrink)

Frank Jackson’s knowledge argument and different conceivability arguments, advanced by Saul Kripke, David Chalmers and Joseph Levine, conclude that consciousness involves non-physical properties or properties that cannot be reductively accounted for in physical terms. Some physicalists have replied to these objections by means of different versions of the phenomenal concept strategy. David Chalmers has responded with the master argument, a reasoning that, if successful, would undermine any reasonable version of the phenomenal concept strategy. In this paper, I argue (...) that the master argument does not advance the debate between the supporters of the anti-physicalist arguments and those of the phenomenal concept strategy. (shrink)

This paper attempts to clarify the nature and the importance of a third kind of sophistic argument that is not always found in the classification of those arguments in the secondary literature. An argument of the third kind not only is a valid one, but is also constituted of true propositions. What makes it a sophistic argument is the fact that it produces a false semblance of scientific explanation: its explanation seems to be appropriate to the explanandum (...) without being so. Evidence from this kind of argument comes from Sophistic Refutations 11, and Brison’s attempt to square the circle should be counted as one of its instances. (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 (...) class='Hi'>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)

One type of argument to sceptical paradox proceeds by making a case that a certain kind of metaphysically “heavyweight or “cornerstone” proposition is beyond all possible evidence and hence may not be known or justifiably believed. Crispin Wright has argued that we can concede that our acceptance of these propositions is evidentially risky and still remain rationally entitled to those of our ordinary knowledge claims that are seemingly threatened by that concession. A problem for Wright’s proposal is the so-called (...) Leaching worry: if we are merely rationally entitled to accept the cornerstones without evidence, how can we achieve evidence-based knowledge of the multitude of quotidian propositions that we think we know, which require the cornerstones to be true? This paper presents a rigorous, novel explication of this worry within a Bayesian framework, and offers the Entitlement theorist two distinct responses. (shrink)

I argue that Topics VI does not contain any serious theory about definitions, but only a collection of advices for formulating definitions in a dialectical context, namely, definitions aiming to catch what the opponent means. Topics VI is full of inconsistencies that can be explained away by this approach: the inconsistencies reflect "acceptable opinions about definitions" that distinct groups of interlocutors accept. I also argue that the "topoi" need not be pieces of serious theory Aristotle is commited to. The "topoi" (...) must also be considered as "endoxa", namely, as accepted opinions about how it is legitimate to draw an inference. (shrink)

Crispin Wright’s entitlement theory holds that we have non-evidential justification for accepting propositions of a general type––which Wright calls “cornerstones”––that enables us to acquire justification for believing other propositions––those that we take to be true on the grounds of ordinary evidence. Entitlement theory is meant by Wright to deliver a forceful response to the sceptic who argues that we cannot justify ordinary beliefs. I initially focus on strategic entitlement, which is one of the types of entitlement that Wright has described (...) in more detail. I suggest that it is dubious that we are strategically entitled to accept cornerstones. After this, I focus on entitlement in general. I contend that, in important cases, non-evidential justification for accepting cornerstones cannot secure evidential justification for believing ordinary propositions. My argument rests on a probabilistic regimentation of the so-called “leaching problem”. (shrink)

This paper examines some difficulties in Aristotle’s argument in Metaphysics VII 3 and proposes a point of view in which there is no serious conflict between ousia taken as hypokeimenon and ousia taken as eidos.

A prominent objection against the logicality of second-order logic is the so-called Overgeneration Argument. However, it is far from clear how this argument is to be understood. In the first part of the article, we examine the argument and locate its main source, namely, the alleged entanglement of second-order logic and mathematics. We then identify various reasons why the entanglement may be thought to be problematic. In the second part of the article, we take a metatheoretic perspective (...) on the matter. We prove a number of results establishing that the entanglement is sensitive to the kind of semantics used for second-order logic. These results provide evidence that by moving from the standard set-theoretic semantics for second-order logic to a semantics which makes use of higher-order resources, the entanglement either disappears or may no longer be in conflict with the logicality of second-order logic. (shrink)

I focus on a key argument for global external world scepticism resting on the underdetermination thesis: the argument according to which we cannot know any proposition about our physical environment because sense evidence for it equally justifies some sceptical alternative (e.g. the Cartesian demon conjecture). I contend that the underdetermination argument can go through only if the controversial thesis that conceivability is per se a source of evidence for metaphysical possibility is true. I also suggest a reason (...) to doubt that conceivability is per se a source of evidence for metaphysical possibility, and thus to doubt the underdetermination argument. (shrink)

Aristotle claims that the object of scientific knowledge cannot be otherwise, and at Posterior Analytics I-8 he adds that there is no scientific knowledge of corruptible objects. These claims have been traditionally understood in terms of a strict requirement of eternal existence: objects of genuine scientific knowledge must be eternal in the sense that they must exist eternally. Sometimes the "eternal existence" is taken by scholars as equivalent to the timeless truth of universal propositions. In this paper, I offer an (...) alternative view and discuss Aristotle’s argument in Posterior Analytics I-8. (shrink)

Crispin Wright maintains that the architecture of perceptual justification is such that we can acquire justification for our perceptual beliefs only if we have antecedent justification for ruling out any sceptical alternative. Wright contends that this principle doesn’t elicit scepticism, for we are non-evidentially entitled to accept the negation of any sceptical alternative. Sebastiano Moruzzi has challenged Wright’s contention by arguing that since our non-evidential entitlements don’t remove the epistemic risk of our perceptual beliefs, they don’t actually enable us to (...) acquire justification for these beliefs. In this paper I show that Wright’s responses to Moruzzi are ineffective and that Moruzzi’s argument is validated by probabilistic reasoning. I also suggest that Wright cannot answer Moruzzi’s challenge without weakening the support available for his conception of the architecture of perceptual justification. (shrink)

Thomas Reid argues that both perception and memory involve a conception of an object and usually cause a corresponding belief. According to defenders of the constitutive interpretation, such as Rebecca Copenhaver, the belief is constitutive of acts of perception and memory. I instead argue for a causal interpretation: although in normal circumstances perceiving and remembering cause a corresponding belief, the belief is not constitutive of perception or memory. Copenhaver's strongest argument for the constitutive interpretation is that perception essentially represents (...) objects as present, while memory essentially represents objects as past; since such tense markers can only occur within the beliefs, the beliefs must be an essential aspect of perception and memory. I argue, in contrast, that temporal markers are contained in our conceptions of objects, so beliefs do not play an essential role in distinguishing between perception and memory. Such a reading presupposes a “thick” interpretation of what Reid means by a conception, according to which a Reidian conception is a mode of presentation of the object apprehended. (shrink)

Kathryn Paxton George's recent publication, Animal, Vegetable, or Woman?, is the culmination of more than a decade's work and encompasses standard and original arguments against the feminist-vegetarian connection. This paper demonstrates that George's key arguments are deeply flawed, antithetical to basic feminist commitments, and beg the question against fundamental aspects of the debate. Those who do not accept the feminist-vegetarian connection should rethink their position or offer a non-question-begging defense of it.

Some Presentists—according to whom everything is present—identify instants of time with propositions of a certain kind. However, the view that times are propositions seems to be at odds with Presentism: if there are times then there are past times, and therefore things that are past; but how could there be things that are past if everything is present? In this paper, we describe the Presentist view that times are propositions ; we set out the argument that Presentism is incompatible (...) with the view that times are propositions ; and then we describe three possible responses to that argument on behalf of Presentists who identify times with propositions. We argue that each of these responses comes with significant costs. Finally, we describe a fourth possible response—according to which times are irreducibly higher-order entities—which appears to avoid the costs of the other three. We also describe and respond to two objections to the higher-order strategy. (shrink)

In this issue of Studies in Transcendental Philosophy five scholars enquire about the theoretical aspects of Kant’s transcendental philosophy related to the notions of subject, self-consciousness, and self-knowledge. Andrew Brook examines Kant’s views on transcendental apperception at the end of the Critical Period, focusing on Opus Postumum which contains some of Kant’s most important reflections on the subjective dimension. As is known, the self-conscious act designated by the proposition ‘I think’ is an act of spontaneity, and this spontaneity is the (...) reason that the subject calls itself an intelligence. In his article Addison Ellis examines the theoretical and practical dimension of spontaneity, calling into question the distinction between a merely ‘relative’ spontaneity and one that is ‘absolute’. Luca Forgione points to two forms of self-consciousness introduced by Kant: inner sense, based on a sensory form of self-awareness, and transcendental apperception. Through the notion of inner sense, Kant also allows for an introspective account of self-awareness; nonetheless, Kant holds an utterly sophisticated notion of basic self-consciousness provided for by the notion of transcendental apperception. Roberto Horácio de Sá Pereira’s article presents a systematic and a historical approach, linking the contemporary debate on transcendental argument to Kant’s philosophy. It addresses both Stroud’s objection and Strawson’s perspective on transcendental argument and introduces a new reconstruction of Kant’s Refutation as successful truth-directed transcendental argument. In contrast to the contemporary movement of transhumanism and its claims that creatures like us can exist independently of our bodies, Robert Hanna develops a generalist perspective on the subjective dimension, according to which all rational human creature are synthetic a priori necessarily, essentially embodied Kantian selves. I would like to thank the authors for participating in this issue and for helping to make it really special. (shrink)

Many readers of Kant’s ethical writings take him to be primarily concerned with offering guidelines for action. At the least, they write about Kant as if this were the purpose of his ethical writings. For example, Christine Korsgaard, in her influential article Kant’s Analysis of Obligation: The Argument of Groundwork I, writes that, ‘‘the argument of Groundwork I is an attempt to give what I call a ‘motivational analysis’ of the concept of a right action, in order to (...) discover what that concept applies to, that is, which actions are right.’’ Similar comments are not hard to find in the secondary literature. This, however, is a fundamentally misguided way of reading Kant, since he repeatedly asserts that we do not need to do moral philosophy in order to discover which actions are right. We already know how to behave morally and do not need philosophers to tell us this. ‘‘Common human reason,’’ Kant argues, ‘‘knows very well how to distinguish in every case that comes up what is good and what is evil, what is in conformity to duty or contrary to duty.’’ Because people with pre-philosophical understanding know how to act morally, the purpose of moral philosophy cannot be to provide us with a set of rules for correct behavior. If we take Kant’s claims about common human reason seriously, then his aim in the Groundwork of the Metaphysics of Morals cannot be to discover which actions are right. (shrink)

Event concepts are unstructured atomic concepts that apply to event types. A paradigm example of such an event type would be that of diaper changing, and so a putative example of an atomic event concept would be DADDY'S-CHANGING-MY-DIAPER.1 I will defend two claims about such concepts. First, the conceptual claim that it is in principle possible to possess a concept such as DADDY'S-CHANGING-MY-DIAPER without possessing the concept DIAPER. Second, the empirical claim that we actually possess such concepts and that they (...) play an important role in our cognitive lives. The argument for the empirical claim has the form of an inference to the best explanation and is aimed at those who are already willing to attribute concepts and beliefs to infants and nonhuman animals. Many animals and prelinguistic infants seem capable of re-identifying event-types in the world, and they seem to store information about things happening at particular times and places. My account offers a plausible model of how such organisms are able to do this without attributing linguistically structured mental states to them. And although language allows adults to form linguistically structured mental representations of the world, there is no good reason to think that such structured representations necessarily replace the unstructured ones. There is also no good reason for a philosopher who is willing to explain the behavior of an organism by appealing to atomic concepts of individuals or kinds to not use a similar form of explanation when explaining the organism's capacity to recognize events. -/- We can form empirical concepts of individuals, kinds, properties, event-types, and states of affairs, among other things, and I assume that such concepts function like what François Recanati calls ‘mental files’ or what Ruth Millikan calls ‘substance concepts’ (Recanati 2012; Millikan 1999, 2000, 2017). To possess such a concept one must have a reliable capacity to re-identify the object in question, but this capacity of re-identification does not fix the reference of the concept. Such concepts allow us to collect and utilize useful information about things that we re-encounter in our environment. We can distinguish between a perception-action system and a perception-belief system, and I will argue that empirical concepts, including atomic event concepts, can play a role in both systems. The perception-action system involves the application of concepts in the service of (often skilled) action. We can think of the concept as a mental file containing motor-plans that can be activated once the individual recognizes that they are in a certain situation. In this way, recognizing something (whether an object or an event) as a token of a type, plays a role in guiding immediate action. The perception-belief system, in contrast, allows for the formation of beliefs that can play a role in deliberation and planning and in the formation of expectations. I distinguish between two particular types of belief which I call where-beliefs and when-beliefs, and I argue that we can model the formation of such perceptual beliefs in nonlinguistic animals and human infants in terms of the formation of a link between an empirical concept and a position on a cognitive map. According to the account offered, seemingly complex beliefs, such as a baby's belief that Daddy changed her diaper in the kitchen earlier, will not be linguistically structured. If we think that prelinguistic infants possess such concepts and are able to form such beliefs, it is likely that adults do too. The ability to form such beliefs does not require the capacity for public language, and we can model them in nonlinguistic terms; thus, we have no good reason to think of such beliefs as propositional attitudes. Of course, we can use sentences to refer to such beliefs, and thus it is possible to think of such beliefs as somehow relations to propositions. But it is not clear to me what is gained by this as we have a perfectly good way to think about the structure of such beliefs that does not involve any appeal to language. (shrink)

Brogaard and Salerno (2005, Nous, 39, 123–139) have argued that antirealism resting on a counterfactual analysis of truth is flawed because it commits a conditional fallacy by entailing the absurdity that there is necessarily an epistemic agent. Brogaard and Salerno's argument relies on a formal proof built upon the criticism of two parallel proofs given by Plantinga (1982, "Proceedings and Addresses of the American Philosophical Association", 56, 47–70) and Rea (2000, "Nous," 34, 291–301). If this argument were conclusive, (...) antirealism resting on a counterfactual analysis of truth should probably be abandoned. I argue however that the antirealist is not committed to a controversial reading of counterfactuals presupposed in Brogaard and Salerno's proof, and that the antirealist can in principle adopt an alternative reading that makes this proof invalid. My conclusion is that no reductio of antirealism resting on a counterfactual analysis of truth has yet been provided. (shrink)

One of the most pressing challenges that occupy the Russellian panpsychist’s agenda is to come up with a way to reconcile the traditional argument from categorical properties (Seager, 2006; Alter & Nagasawa, 2015) with H. H. Mørch’s dispositionalism-friendly argument from the experience of causation (2014, 2018, 2020) — on the way to a unitary, all-encompassing case for the view. In this regard, Mørch claims that, via the commitment to the Identity theory of properties, one can consistently hold both (...) panpsychist arguments without contradiction (2020: 281) — I shall refer to such proposal as Reconciliation. In my paper, I shall argue that this is not the case. To this extent, I will first consider H. Taylor’s argument that the Identity theorists have the exact same resources as the dispositionalists (as, after careful enquiry, their views on the metaphysics of properties turn out to coincide (2018: 1438)), and thus contend that Reconciliation fails to obtain. Then, I will suggest that one can avoid the problem and reconcile the arguments by adopting a different version of the powerful qualities view, namely the Compound view — and thus advance a reformulated version of the claim, i.e. Reconciliation*. Finally, even though pursuing my proposed solution might expose Russellian panpsychism to the risk of epiphenomenalism, I shall conclude that such specific form of epiphenomenalism is a rather benign one, and thus that, via Reconciliation*, the constitution of a unitary case for panpsychism as a positive proposal (and not as a mere alternative to dualism and physicalism) can be achieved. (shrink)

Some mental states have valence—they are pleasant or unpleasant. According to imperativism, valence depends on imperative content, while evaluativism tells us that it depends on evaluative content. We argue that if one considers valence’s informational profile, it becomes evident that imperativism is superior to evaluativism. More precisely, we show that if one applies the best available metasemantics to the role played by (un)pleasant mental states in our cognitive economy, then these states turn out to have imperative rather than evaluative content, (...) since: (i) they are much more informative about behaviour than they are about the world; and (ii) they occupy a stage in the information-processing chain that is closer to behaviour production than it is to the uptake of sensory information. This is our metasemantic argument for imperativism. (shrink)

L’analyse des juristes médiévaux nous montre comment la manipulation des contradictions déontiques prima facie est associée, dans l’argumentation interprétative, à la théorie de la légitimité de la hiérarchie normative, entendue non seulement comme instrument politique mais aussi et essentiellement comme un instrument de rationalité au sein d’une science juridique orientée vers une théologie politique. La notion de droit naturel telle qu’elle apparaît dans certains documents emblématiques dont le Decretum de Gratien du XIIe s., ne peut être réduite au modèle intellectualiste (...) aristotélo-thomiste du XIIIe s. Il y a plusieurs façons de penser le droit naturel dans le monde médiéval chrétien et latin ; elles se maintiennent sur plusieurs siècles et l’une d’elles au moins a des points de contacts et de désaccord avec les traditions juives et musulmanes. Ces courants de pensée qui s’écartent du modèle intellectualiste aristotélo-thomiste peuvent être regroupés au sein d’une famille (au sens wittgensteinien) de modèles volontaristes : les contradictions déontiques peuvent être plus fortes que des contradictions prima facie, elles peuvent être d’authentiques contradictions renvoyant à un nouvel acte de volonté comme la seule façon d’éliminer la contradiction déontique. La théorie de Duns Scot peut être utilisée comme illustrant le problème d’une approche ontologique volontariste extrême. | Une autre version de cette contribution a été publiée dans Parisoli (2008d : 124–141). (shrink)

I discuss the role of translatability in philosophical justification. I begin by discussing and defending Thomas Reid’s account of the role that facts about comparative linguistics can play in philosophical justification. Reid believes that common sense offers a reliable but defeasible form of justification. We cannot know by introspection, however, which of our judgments belong to common sense. Judgments of common sense are universal, and so he argues that the strongest evidence that a judgment is a part of common sense (...) is that it is to be found in all languages. For Reid, then, evidence that a certain distinction is to be found in all languages is evidence that the distinction is part of common sense rather than being a common local prejudice. From such a perspective, empirical work in comparative linguistics can play a defeasible justificatory role in philosophical arguments. I contrast Reid’s position with the more radical position of defenders of the Natural Semantic Metalanguage approach, such as Anna Wierzbicka, who argues that only judgments that are translatable into all natural languages are justifiable. I show how such a position is rooted in an implausible view, although one common among cognitive scientists and linguistics, about the nature of concepts, which does not allow for novel concepts. (shrink)

As is well known, the linguistic/philosophical reflection on natural kind terms has undergone a remarkable development in the early seventies with Putnam and Kripke’s essentialist approaches, touching upon different aspects of Kan’s slant. Preliminarily, however, it might be useful to review some of the theoretical stages in Locke and Leibniz’s approaches on natural kind terms in the light of contemporary reflections, to eventually pinpoint Kant’s contribution and see how some commentators have placed it within the theory of direct reference. Starting (...) with textual evidence even from the logical corpus, in the present essay I will attempt to discuss some of the arguments dismissing Kant’s adherence to this view. These assume that in his approach to the semantics of natural kind Kant appears to be still holding on to a nominalist/conceptualist position, though he seems to be well aware of a few key issues for the theorists of direct reference. (shrink)

The Overgeneration Argument is a prominent objection against the model-theoretic account of logical consequence for second-order languages. In previous work we have offered a reconstruction of this argument which locates its source in the conflict between the neutrality of second-order logic and its alleged entanglement with mathematics. Some cases of this conflict concern small large cardinals. In this article, we show that in these cases the conflict can be resolved by moving from a set-theoretic implementation of the model-theoretic (...) account to one which uses higher-order resources. (shrink)

There are at least five ‘core’ notions of community found in Kant's works: 1. The scientific notion of interaction. This concept is introduced in the Third Analogy and developed in the Metaphysical Foundations of Natural Science. 2. A metaphysical idea. The idea of a world of individuals (monads) in interaction. This idea was developed in Kant’s precritical period and can be found in his metaphysics lectures. 3. A moral ideal. The idea of a realm of ends. 4. A political ideal. (...) The idea of a juridical community (or community of communities) governed by juridical laws. 5. A theological ideal. What Kant calls ‘the kingdom of heaven’, and which can be thought of as a community of holy beings, or angels. In this paper I focus on the relationship between the first, second and fourth of these notions. My argument is that Kant’s notion of a juridical community governed by juridical laws is modelled on the metaphysical idea of the world. This metaphysical idea of a world is, in turn, modelled on the category of community introduced in the first Critique and developed in his logic lectures. (shrink)

The ideal of the United Nations was first put forward by Immanuel Kant in his 1795 essay Perpetual Peace. Kant, in the tradition of Locke and Rousseau is a liberal who believes that relations between individuals can either be based upon law and consent or upon force and violence. One way that such the ideal of world peace could be achieved would be through the creation of a single world state, of which every human being was a citizen. Such an (...) ideal was advocated by a number of eighteenth century liberals. Kant, however, rejects this ideal and instead argues that the universal rule of law can be achieved through the establishment a federation of independent states. I examine the relevance of Kant’s arguments today, focusing on two questions: Firstly, as advocates of the rule of law, why advocate a federation of independent nations rather than a single world state. Secondly, is this ideal realizable? Is Kant right to think that republics are natural and are likely to live peacefully with one another? Kant’s arguments on this issue have been taken up again in recent decades by defenders of the theory of the “democratic peace”, the theory that democracies are more likely to live at peace with one another. (shrink)

This article gives a short presentation of reflexive imperativism, the intentionalist theory of valence I developed with Max Khan Hayward. The theory says that mental states have valence in virtue of having reflexive imperative content. More precisely, mental states have positive valence (i.e., feel good) in virtue of issuing the command "More of me!", and they have negative valence (i.e., feel bad) in virtue of issuing the command "Less of me!" The article summarises the main arguments in favour of reflexive (...) imperativism and against other intentionalist treatments of valence. (shrink)

ABSTRACT (ENG) One of the concerns of Greek philosophy centred on the question of how a manifold and ordered universe arose out of the primitive state of things. From the mythical accounts dating around the seventh century B.C. to the cosmologies of the Classical period in Ancient Greece, many theories have been proposed in order to answer to this question. How these theories differ in positing a “something” that pre-existed the ordered cosmos has been widely discussed. However, scholars have rarely (...) made explicit how they differ in style of thought. In the span of four centuries the first deductive arguments of the Eleatic philosophers culminated in the emergence of logical proof and a form of explanation of natural phenomena, which consisted of searching for the simplest and fewest premises and deducting implications. In this paper it will be discussed how, at distinct stages of its development, the deductive thinking informed the solutions proposed to solve the chaos-order problem, that of how an ordered universe has been possible. -/- ABSTRACT (ITA) Una delle più importanti questioni della filosofia greca è stata quella di comprendere come sia stato possibile un universo ordinato a partire da uno stato primordiale. Dalle teogonie del VII secolo a.C. fino alle cosmologie dei filosofi dell’età classica, sono state proposte diverse teorie per dare risposta a questa domanda. Come esse differiscano nel postulare l’esistenza di un “qualcosa” di primordiale che preesisteva all’ordine del cosmo è stato molto discusso. Pochi studiosi, però, le hanno esaminate sullo sfondo della lenta evoluzione del pensiero deduttivo, culminata nella dimostrazione in geometria e in una forma di spiegazione dei fenomeni che consisteva nel cercare semplici premesse e inferire conclusioni. In questo articolo si mostrerà come il lento affermarsi della spiegazione razionale prima, dell’argomento deduttivo e della dimostrazione in geometria poi, abbiano dato forma alle diverse risposte al problema caos-ordine, e in particolare alla domanda su come sia sorto un universo ordinato. (shrink)

It is common belief that semantic properties supervene on non-semantic properties: no two possible worlds can be non-semantic duplicates and fail to be semantic duplicates. The view enjoys somewhat of an orthodoxy status in contemporary philosophy of language and metaphysics, and is often assumed without argument. Yet, work by Stephen Kearns and Ofra Magidor has claimed that it is vulnerable to a variant of the classical arguments against the supervenience of the phenomenal on the physical. This paper does three (...) things: it clarifies what semantic supervenience is about, it responds to the objections that have been leveled against it, and provides a new battery of arguments in its favor. I argue that the thesis of semantic supervenience is safe from classical anti-supervenience arguments, and show that its rejection generates unwelcome consequences. I conclude that there are substantial reasons to embrace the received wisdom: semantic properties supervene. (shrink)

The task of this brief presentation is to “establish a dialogue” with Streeck’s text, attempting to fill the hiatus between the answer and the original question that Habermas’ interpretation intended to pose to those wishing to simply dispose of economic and monetary union, ending up by dismantling the political and cultural integration project that inspired the founding fathers. Streeck complains about the “levity” with which many reviewers accepted “as a slogan” the “killer-argument” [Totschlagargument] of the “nostalgic option” provided by (...) the interpretation of his most recent publication and the excuse for his removal from the assembly of “guardians of the Holy Grail”. Now, while acknowledging that in the thesis of the author of Gekaufte Zeit [4] there is no trace of nationalist seeds, which – as Altiero Spinelli observed – “had caused the catastrophe of the two World Wars” [5], Habermas’ critique seizes the unrealistic thoughtlessness of an idea that ends up evoking the system of “European cooperation” between the now impotent national states. We can do without the “specialisation in Europeanism” that according to Streeck, would be required as a preliminary to discuss European policy in the German public arena, but not criticism that is constructive and not defeatist. (shrink)

According to Phenomenal Conservatism (PC), if a subject S has an appearance that P, in the absence of defeaters, S has justification for believing P by virtue of her appearance's inherent justifying power. McCain and Moretti (2021) have argued that PC is affected by the problem of reflective awareness: if S becomes reflectively aware of an appearance, the appearance loses its inherent justifying power. This limits the explanatory power of PC and reduces its antisceptical bite. This paper provides a novel (...) argument to the same conclusion and contends that it does not apply to Phenomenal Explanationism, the appearance-based account of justification alternative to PC defended by McCain and Moretti (2021). (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)

Philosophers have claimed that education aims at fostering disparate epistemic goals. In this paper we focus on an important segment of this debate involving conversation between Alvin Goldman and Harvey Siegel. Goldman claims that education is essentially aimed at producing true beliefs. Siegel contends that education is essentially aimed at fostering both true beliefs and, independently, critical thinking and rational belief. Although we find Siegel’s position intuitively more plausible than Goldman’s, we also find Siegel’s defence of it wanting. We suggest (...) novel argumentative strategies that draw on Siegel’s own arguments but look to us more promising. (shrink)

In this paper, we discuss an abductive argument for the existence of God from the experience of awe at natural beauty. If God's creative work is a viable explanation for why we experience awe at natural beauty, and there is no satisfactory naturalistic explanation for the origins of such experiences, then we have defeasible evidence that God exists. To evaluate the argument's tenability, we assess the merits of the two main theocentric frameworks that can be marshaled to answer (...) the question of why human beings experience awe at natural beauty: (1) taking the experience of natural beauty as resulting from God's design intentions and (2) conceiving experiences of natural beauty as religious experiences in themselves. We argue that the presence of phenomenological content the fine-grainedness of which exceeds our descriptive and conceptual capacities is better accounted for by the latter hypothesis: experiencing natural beauty amounts to experiencing divine attributes. We conclude that the argument's theological premise is tenable and, having previously argued for the empirical premise (Porcher & De Luca-Noronha, 2021), we conclude that awe at natural beauty is best explained by the existence of God. (shrink)

Matthew McGrath has recently challenged all theories that allow for immediate perceptual justification. This challenge comes by way of arguing for what he calls the “Looks View” of visual justification, which entails that our visual beliefs that are allegedly immediately justified are in fact mediately justified based on our independent beliefs about the looks of things. This paper shows that McGrath’s arguments are unsound or, at the very least, that they do not cause genuine concern for the species of dogmatism (...) called “Phenomenal Explanationism”, recently introduced and defended by Kevin McCain and Luca Moretti. (shrink)

Philosophical questions about minds and computation need to focus squarely on the mathematical theory of Turing machines (TM's). Surrogate TM's such as computers or formal systems lack abilities that make Turing machines promising candidates for possessors of minds. Computers are only universal Turing machines (UTM's)—a conspicuous but unrepresentative subclass of TM. Formal systems are only static TM's, which do not receive inputs from external sources. The theory of TM computation clearly exposes the failings of two prominent critiques, Searle's Chinese room (...) (1980) and arguments from Gödel's Incompleteness theorems (e.g., Lucas, 1961; Penrose, 1989), both of which fall short of addressing the complete TM model. Both UTM-computers and formal systems provide an unsound basis for debate. In particular, their special natures easily foster the misconception that computation entails intrinsically meaningless symbol manipulation. This common view is incorrect with respect to full-fledged TM's, which can process inputs non-formally, i.e., in a subjective and dynamically evolving fashion. To avoid a distorted understanding of the theory of computation, philosophical judgments and discussions should be grounded firmly upon the complete Turing machine model, the proper model for real computers. (shrink)

Åsa Burman has recently introduced the important notion of telic power and differentiated it from deontic power in an attempt to build a bridge between ideal and non-ideal social ontology. We find Burman’s project promising but we argue that more is to be done to make it entirely successful. First, there is a palpable tension between Burman’s claim that telic power can be ontologically independent of deontic power and her examples, which suggests that these forms of power share the same (...) basis. Second, it is not completely clear how telic power specifically helps non-ideal social ontologists explain oppression. We offer solutions to both problems. First, we question Burman’s arguments for the conclusion that telic power can exist without deontic power. Burman contends that this is possible because some social roles involving telic power can exist independently of institutions as sets of constitutive rules, which are––in her opinion––the source of deontic power. Burman’s arguments are not persuasive because they disregard the possibility that all social roles involve deontic power, whether or not they are institutional. Second, we argue that while the exercise of deontic power requires a collective recognition of the social roles of the interacting agents and, therefore, a recognition of the associated norms, the exercise of telic power does not require recognition of the relevant norms. This is why invoking telic power is particularly useful in explaining how oppression and injustice can arise. Lastly, we suggest that the relation between teleological normativity and telic power has not been fully clarified by Burman and requires a deeper analysis. (shrink)

The book provides an overview of the contemporary discussion of the mind-body problem. This discussion takes its modern form during the 17th century in the works of René Descartes. The book covers the most important points of view in modern philosophy of mind. An important thesis of the book is that contemporary debates are still heavily influenced by Descartes’ arguments, especially those related to the nature of consciousness. (Google translate).