There are two main ways in which the notion of mereological fusion is usually defined in the current literature in mereology which have been labelled ‘Leśniewski fusion’ and ‘Goodman fusion’. It is well-known that, with Minimal Mereology as the background theory, every Leśniewski fusion also qualifies as a Goodman fusion. However, the converse does not hold unless stronger mereological principles are assumed. In this paper I will discuss how the gap between the two notions can be filled, focussing in particular (...) on two specific sets of principles that appear to be of particular philosophical interest. The first way to make the two notions equivalent can be used to shed some interesting light on the kind of intuition both notions seem to articulate. The second shows the importance of a little-known mereological principle which I will call ‘Mild Supplementation’. As I will show, the mereology obtained by adding Mild Supplementation to Minimal Mereology occupies an interesting position in the landscape of theories that are stronger than Minimal Mereology but weaker than what Achille Varzi and Roberto Casati have labelled ‘Extensional Mereology’. (shrink)

A wide family of many-valued logics—for instance, those based on the weak Kleene algebra—includes a non-classical truth-value that is ‘contaminating’ in the sense that whenever the value is assigned to a formula φ⁠, any complex formula in which φ appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple contaminating (...) values. In this paper, we consider the countably infinite family of multiple-conclusion consequence relations in which classical logic is enriched with one or more contaminating values whose behavior is determined by a linear ordering between them. We consider some motivations and applications for such systems and provide general characterizations for all consequence relations in this family. Finally, we provide sequent calculi for a pair of four-valued logics including two linearly ordered contaminating values before defining two-sided sequent calculi corresponding to each of the infinite family of many-valued logics studied in this paper. (shrink)

According to Composition is Identity, a whole is literally identical to the plurality of its parts. According to Mereological Nihilism, nothing has proper parts. In this note, it is argued that Composition is Identity can be shown to entail Mereological Nihilism in a much more simple and direct way than the one recently proposed by Claudio Calosi.

Grounding contingentism is the doctrine according to which grounds are not guaranteed to necessitate what they ground. In this paper I will argue that the most plausible version of contingentism is incompatible with the idea that the grounding relation is transitive, unless either ‘priority monism’ or ‘contrastivism’ are assumed.

ABSTRACT The philosophical tradition approaches to morals have their grounds predominantly on metaphysical and theological concepts and theories. Among the traditional ethics concepts, the most prominent is the Divine Command Theory (DCT). As per the DCT, God gives moral foundations to the humankind by its creation and through Revelation. Morality and Divinity are inseparable since the most remote civilization. These concepts submerge in a theological framework and are largely accepted by most followers of the three Abrahamic traditions: Judaism, Christianity, and (...) Islam: the greatest part of the human population. Holding faith and Revelation for its grounds, the Divine Command Theories are not strictly subject to the demonstration. The opponents to the Divine Command conception of morals, grounded in the impossibility of demonstration of its metaphysical and religious assumptions, have tried for many centuries (albeit unsuccessfully) to devalue its importance. They held the argument that it does not show material evidence and logical coherence and, for this reason, cannot be taken into account for scientific nor philosophical purposes. It is just a belief and, as so, should be understood. Besides these extreme oppositions, many other concepts contravene the Divine Command theories, in one or another way, in part or in full. Many philosophers and social scientists, from the classic Greek philosophy up to the present date, for instance, sustain that morality is only a construct, and thus culturally relative and culturally determined. However, this brings many other discussions and imposes the challenge to determine what is the meaning of culture, which elements of culture are morally determinant, and finally, what are the boundaries of such relativity. Moral determinists claim that everything related to human behavior, including morality, is determined, once free will does not exist. More recently, modern thinkers argued that there is a strict science of morality. However, the scientific method alone, despite explaining several facts and evidence, cannot enlighten the entire content and full meaning of ethics. Morals’ understanding requires a broader perception, and an agreement among philosophers, which they have never achieved. All of these questions have many different configurations depending on each philosophical strand, and start complex analysis and endless debates, as long as many of them are reciprocally conflictive. The universe and the atmosphere involving this thesis are the dominions of all these conceptual conflicts, observed from an objective and evolutionary standpoint. Irrespective of this circumstance and its intrinsic importance, however, these questions are far distant from the methodological approach of an analytical discussion on objective morals, what is, indeed, the aim and scope of this work. We should briefly revisit these prominent traditional theories because this thesis shelters a comparative study, and its assumptions at least differ profoundly from all traditional theories. Therefore, it becomes necessary offering direct and specific elements of comparison to the reader, for the right criticism, dispensing interruptive researches. However, even revisiting the traditional theories, for this comparative and critical exposure purpose, they will be kept by the side of our main concerns, as “aliena materia.” Irrespective of the validity of any or all of the elements of this discussion, and their meaning as the philosophical universe of this thesis, the purpose of this work is demonstrating and justifying the existence and meaning of prehistoric moral archetypes arisen directly from the very first social needs and efforts for survival. These archetypes are the definition of the essential foundation of ethics, its aggregation to the collective unconscious and corresponding logic organization and transmission to evolutionary stages of the human genome and different relations space-time, irrespective of any contemporary experience of the individuals. The system defined by these archetypes composes an evolutionary human social model. Is this a metaethical position? Yes, it is. Moreover, as in any metaethical reasoning, we should look carefully for the best and coherent routes, as the Analytical Philosophy offers them. Thus, this work should reasonably demonstrate that morals are not a cultural product of the civilized men or modern societies and that despite being subject to several cultural relative aggregations and subtractions, its essential foundations are archetypal and have never structurally changed. This reasoning induces that morality is an original attribute of the “homo sapiens”; it is not a property and nor an accident: it integrates the human essence and belongs to the realm of the ontological human identity. The human phenomena is a continuing process, playing its role between random determination and free will, and we need to question how morality began and how did it come to us in the present. (shrink)

This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.

In this paper I will present three arguments (based on the notions of constitution, metaphysical reality, and truth, respectively) with the aim of shedding some new light on the structure of Fine’s (2005, 2006) ‘McTaggartian’ arguments against the reality of tense. Along the way, I will also (i) draw a novel map of the main realist positions about tense, (ii) unearth a previously unnoticed but potentially interesting form of external relativism (which I will label ‘hyper-presentism’) and (iii) sketch a novel (...) interpretation of Fine’s fragmentalism (which I contrast with Lipman’s 2015, 2016b, forthcoming). (shrink)

In its simplest form, a Spritz is an aperitif made with (sparkling) water and (white) wine. A ‘gunky Spritz’, as I will call it, is a Spritz in which the water and the wine are mixed through and through, so that every proper part of the Spritz has a proper part containing both water and wine. In the literature on the notion of location the possibility of mixtures like a gunky Spritz has been thought of as either threatening seemingly intuitive (...) locative principles, or as requiring the position of multiple primitive locative relations. In this paper I present a new theory of location which assumes as primitive only the notion of pervasive location and show that it can account for the possibility of gunky Spritz in an intuitive and adequate way. (shrink)

This chapter analyzes the concept of an event and of event representation as an umbrella notion. It provides an overview of different ways events have been dealt with in philosophy, linguistics, and cognitive science. This variety of positions has been construed in part as the result of different descriptive and explanatory projects. It is argued that various types of notions — common-sense, theoretically revised, scientific, and internalist psychological — be kept apart.

What are the relationships between an entity and the space at which it is located? And between a region of space and the events that take place there? What is the metaphysical structure of localization? What its modal status? This paper addresses some of these questions in an attempt to work out at least the main coordinates of the logical structure of localization. Our task is mostly taxonomic. But we also highlight some of the underlying structural features and we single (...) out the interactions between the notion of localization and nearby notions, such as the notions of part and whole, or of necessity and possibility. A theory of localization—we argue—is needed in order to account for the basic relations between objects and space, and runs afoul a pure part-whole theory. We also provide an axiomatization of the relation of localization and examine cases of localization involving entities different from material objects. (shrink)

What is the relation between parts taken together and the whole that they compose? The recent literature appears to be dominated by two different answers to this question, which are normally thought of as being incompatible. According to the first, parts taken together are identical to the whole that they compose. According to the second, the whole is grounded in its parts. The aim of this paper is to make some theoretical room for the view according to which parts ground (...) the whole they compose while being, at the same time, identical to it. (shrink)

This paper is concerned with certain ontological issues in the foundations of geographic representation. It sets out what these basic issues are, describes the tools needed to deal with them, and draws some implications for a general theory of spatial representation. Our approach has ramifications in the domains of mereology, topology, and the theory of location, and the question of the interaction of these three domains within a unified spatial representation theory is addressed. In the final part we also consider (...) the idea of non-standard geographies, which may be associated with geography under a classical conception in the same sense in which non-standard logics are associated with classical logic. (shrink)

This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent calculi (...) for S*fde, dS*fde, crossS*fde. Among the other accomplishments of the paper, we generalize the semantics from Bochvar, Hallden, Deutsch and Daniels, we provide a general recipe to define containment logics, we explore the single-premise/single-conclusion fragment of S*fde, dS*fde, crossS*fdeand the connections between crossS*fde and the logic Eq of equality by Epstein. Also, we present S*fde as a relevant logic of meaninglessness that follows the main philosophical tenets of Goddard and Routley, and we briefly examine three further systems that are closely related to our main logics. Finally, we discuss Routley's criticism to containment logic in light of our results, and overview some open issues. (shrink)

Recent developments of transcendental arguments reflect the struggle to accommodate Stroud’s devastating objection by giving up on failed expectations in providing proof of what the external-world skeptic calls into question: knowledge of the existence of the outside world. Since Strawson's capitulation in 1984, the truth-direct transcendental arguments have given way to modest belief-direct transcendental arguments that concede that truth-direct transcendental arguments are doomed to fail to establish ambitious conclusions about reality but at the same time hold that they can nonetheless (...) successfully establish modest conceptual connection between the major beliefs within our conceptual scheme. This article seeks the “reactionary” rehabilitation of the old hubris: a new defense of the truth-direct transcendental argument. I set forth a new reconstruction of Kant’s Refutation as a successful truth-directed transcendental argument that meets Stroud’s objection. As with several papers and books about the theme, this article is of a systematic and a historical nature by connecting the contemporary debate about transcendental argument with Kant’s philosophy. (shrink)

Fine (2005, 2006) has presented a ‘trilemma’ concerning the tense-realist idea that reality is constituted by tensed facts. According to Fine, there are only three ways out of the trilemma, consisting in what he takes to be the three main families of tense-realism: ‘presentism’, ‘(external) relativism’, and ‘fragmentalism’. Importantly, although Fine characterises tense-realism as the thesis that reality is constituted (at least in part) by tensed facts, he explicitly claims that tense realists are not committed to their fundamental existence. Recently, (...) Correia and Rosenkranz (2011, 2012) have claimed that Fine’s tripartite map of tense realism is incomplete as it misses a fourth position they call ‘dynamic absolutism’. In this paper, I will argue that dynamic absolutists are committed to the irreducible existence of tensed facts and that, for this reason, they face a similar trilemma concerning the notion of fact-content. I will thus conclude that a generalised version of Fine’s trilemma, concerning both fact-constitution and fact-content, is indeed inescapable. (shrink)

ABSTRACTThe ability of providing an adequate supervenience base for tensed truths may seem to be one of the main theoretical advantages of both the growing-block and the moving-spotlight theory of time over presentism. However, in this paper I will argue that some propositions appear to be as problematic for growing-block theorists as past-directed propositions are for presentists, namely propositions stating that nothing will be the case in the future. Furthermore, I will show that the moving-spotlight theory can adequately address all (...) the main supervenience challenges that can be levelled against A-theories of time. I will, thus, conclude that, at least as far as the supervenience principle is concerned, the moving-spotlight theory should be preferred over both presentism and the growing-block theory. (shrink)

The possibility of changing the past by means of time-travel appears to depend on the possibility of distinguishing the past as it is ‘before’ and ‘after’ the time-travel. So far, all the metaphysical models that have been proposed to account for the possibility of past-changing time-travels operate this distinction by conceiving of time as multi-dimensional, and thus by significantly inflating our metaphysics of time. The aim of this article is to argue that there is an intuitive sense in which past-changing (...) time-travels are metaphysically possible also in one-dimensional time. (shrink)

In this paper I address two important objections to the theory called ‘ Composition as Identity’ : the ‘wall-bricks-and-atoms problem’, and the claim that CAI entails mereological nihilism. I aim to argue that the best version of CAI capable of addressing both problems is the theory I will call ‘Atomic Composition as Identity’ which consists in taking the plural quantifier to range only over proper pluralities of mereological atoms and every non-atomic entity to be identical to the plurality of atoms (...) it fuses. I will proceed in three main steps. First, I will defend Sider’s Composition as identity. Oxford University Press, Oxford, pp 211–221, 2014) idea of weakening the comprehension principle for pluralities and I will show that :219–235, 2016a) it can ward off both the WaBrA problem and the threat of mereological nihilism. Second, I will argue that CAI-theorists should uphold an ‘atomic comprehension principle’ which, jointly with CAI, entails that there are only proper pluralities of mereological atoms. Finally, I will present a novel reading of the ‘one of’ relation that not only avoids the problems presented by Yi Composition as identity. Oxford University Press, Oxford, pp 169–191, 2014) and Calosi :429–443, 2016b, Am Philos Q 55:281–292, 2018) but can also help ACAI-theorists to make sense of the idea that a composite entity is both one and many. (shrink)

I present a ‘stage-theoretical’ interpretation of the supervaluationist semantics for the growing-block theory of time according to which the ‘nodes’ on the branching tree of historical possibilities are taken to be possible stages of the growth of the growing-block. As I will argue, the resulting interpretation (i) is very intuitive, (ii) can easily ward off an objection to supervaluationist treatments of the growing-block theory presented by Fabrice Correia and Sven Rosenkranz, and (iii) is also not saddled by the problems affecting (...) the supervaluationist version of the growing-block theory defended by R. A. Briggs and Graeme A. Forbes. (shrink)

In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not. We then establish classical recapture theorems for the resulting logics. Finally, we compare the approach via normality operator with the classical collapse approach devisedby Jc Beall.

Most of the theories of location on the market appear to be ideologically parsimonious at least in the sense that they take as primitive just one locative notion and define all the other locative notions in terms of it. Recently, however, the possibility of some exotic metaphysical scenarios involving gunky mixtures and extended simple regions of space has been argued to pose a significant threat to parsimonious theories of locations. The aim of this paper is to show that a theory (...) taking as primitive a notion of plural pervasive location and allowing for irreducibly plural locative facts can account for all the putatively problematic scenarios for parsimonious theories of location. Furthermore, I will also argue that the notion of plural pervasive location is compatible with the possibility of multilocation. (shrink)

In this paper I investigate Aristotle’s account of predication in Topics I 9. I argue for the following interpretation. In this chapter Aristotle (i) presents two systems of predication cutting across each other, the system of the so-called four ‘predicables’ and of the ten ‘categories’, in order to distinguish them and explore their mutual relationship. I propose a semantic interpretation of the relationship between them. According to this reading, every proposition formed through a predicable constitutes at the same time a (...) predication according to one of the ten categories, and, consequently, signifies one of them, expressing one of the predicative relationship conveyed by them. Further, Aristotle (ii) explains the predicative connection between these two systems and the ten items signified by the ‘things said without any combination’ enumerated in Chapter 4 of the Categories, whose list is almost identical with that of categories in Top. I 9, with the only exception of their first members. (shrink)

According to ‘Strong Composition as Identity’, if an entity is composed of a plurality of entities, it is identical to them. As it has been argued in the literature, SCAI appears to give rise to some serious problems which seem to suggest that SCAI-theorists should take their plural quantifier to be governed by some ‘weak’ plural comprehension principle and, thus, ‘exclude’ some kinds of pluralities from their plural ontology. The aim of this paper is to argue that, contrary to what (...) may appear at first sight, the assumption of a weak plural comprehension principle is perfectly compatible with plural logic and the common uses of plural quantification. As I aim to show, SCAI-theorists can simply claim that their theory must be understood as formulated by means of the most ‘joint-carving’ plural quantifier, thus leaving open the possibility of other, less joint-carving, ‘unrestricted’ plural quantifiers. In the final part of the paper I will also suggest that SCAI-theorists should not only allow for singular quantification over pluralities of entities, but also for plural quantification over ‘super-pluralities’ of entities. (shrink)

In this paper, I argue for a new solution to Mary’s puzzle in Jackson’s famous knowledge argument. We are told that imprisoned Mary knows all facts or truths about color and color vision. On her release, she learns something new according to B-type of materialism and according to property dualism. I argue that this cognitive improvement can only be accounted for in terms of what Schellenberg has recently called “capacitism,” namely the claim that that experience is constitutively a matter of (...) discriminating and singling out particulars by employing perceptual capacities. Of course, I am not claiming that knowing the phenomenal character is simply the possession of abilities, let alone that the phenomenal character is a sort of know-how. That is why my claim is not affiliated with Lewis and Nemirow's ability hypothesis position. I take for granted here a sort of property-representationalism, according to which the phenomenal character of experience supervenes on the cluster of properties that the respective experiences represent. On her release, Mary acquires those perceptual abilities on the basis of which she learns to discriminate all shades of color. And after applying her old physical concept RED to the shade of red, she comes to know what it is like to experience red (propositional knowledge). (shrink)

The aim of this study is to address the “Grounding Grounding Problem,” that is, the question as to what, if anything, grounds facts about grounding. I aim to show that, if a seemingly plausible principle of modal recombination between fundamental facts and the principle customarily called “Entailment” are assumed, it is possible to prove not only that grounding facts featuring fundamental, contingent grounds are derivative but also that either they are partially grounded in the grounds they feature or they are (...) “abysses”. (shrink)

Leibniz’s question “why is there something rather than nothing?”, also known as the Primordial Existential Question, has often been the focus of intense philosophical controversy. While some authors take it to pose a profound metaphysical puzzle, others denounce the alleged lack of meaning or the inconceivability of the idea of nothingness. In a series of articles, Adolf Grünbaum develops an empirically informed critique with the aim to demonstrate that the Primordial Existential Question poses a “non-issue” which does not require explanation. (...) Grünbaum’s critique prompted heated debates in the recent literature. In this paper, I examine each step of Grünbaum’s reasoning and argue that it fails to show that the Primordial Existential Question is ill-founded. Moreover, I identify and rebut several strategies that one may employ to amend Grünbaum’s critique. In doing so, I address various issues related to the Primordial Existential Question, including the alleged need for its proponents to rely on contentious metaphysical presuppositions and the purported availability of empirical evidence which answers or dissolves such a question. (shrink)

The aim of this article is to propose a novel supervaluationist theory of ‘actually’ in the open future. First, I will argue that any adequate theory of actuality in a branching setting must comply with three main desiderata. Second, I will prove that none of the actuality operators that have been proposed in the literature is up to the task. Finally, I will propose a novel theory of actuality in the open future combining one of the existing definitions of the (...) actuality operator with a new definition of the historical possibility operator, and argue for its adequacy. The central feature of the theory I will advance is the introduction of an actuality parameter capable of being shifted by the historical possibility operator. I will argue that this account appears to not only be consistent with the idea that the future is genuinely open, but also with the general idea that ‘actually’ is, in a relevant sense, a ‘rigid’ operator. (shrink)

Kant was never satisfied with the version of his “Refu- tation” published in 1787 (KrV, B 275-279). His dissatisfaction is already evident in the footnote added to the preface of the second edition of the Critique in 1787. As a matter of fact, Kant continued to rework his argument for at least six years after 1787. The main exegetical problem is to figure out who is the target of the “Refutation”: a non-skeptic idealist, a global skeptic of Cartesian provenance or (...) both. In this last case, the related problem is to know whether either of them is the Cartesian skeptic of the first Meditation, the idealist skeptic of the second Meditation and first part of the third Meditation, or some other non-skeptic idealist. I present and defend a new reconstruction of Kant’s “Refu- tation” as a successful argument against Mendelssohnian idealism of Cartesian provenance. This defense is based on a simple logical sketch of the proof provided by Dicker but essentially modified in light of Dyck’s insight about Kant’s opponent. How shall I support my reading? First, by appealing to overwhelming textual evidence according to which the proof is of the existence of mind-independent things, showing that Kant’s main opponent is Mendelssohn’s idealism of Cartesian provenance. Finally, I support my reading by showing that Kant’s “Refutation” is doomed to fail against all forms of global skepticism but is quite successful against Mendelssohn’s idealism. (shrink)

Universals appear to be as central in today's computational-based ontology as they were in medieval ontological investigations. As the author of a recent work on the history of universals (Pinzani, 2018), I was asked for a commentary on Augusto’s article “Bridging Mainstream and Formal Ontology” (Augusto, 2021), which aims at showing that medieval ontological investigations can be relevant for contemporary ontology engineering. In this commentary, I begin by saying something about my way of reading 12th-century logical literature and then offer (...) some modest considerations on the general theme addressed in Augusto's article. (shrink)

The book is divided into three parts. The first, containing three papers, focuses on the characterization of the central tenets of previii sentism (by Neil McKinnon) and eternalism (by Samuel Baron and Kristie Miller), and on the ‘sceptical stance’ (by Ulrich Meyer), a view to the effect that there is no substantial difference between presentism and eternalism. The second and main section of the book contains three pairs of papers that bring the main problems with presentism to the fore and (...) outlines its defence strategy. Each pair of papers in this section can be read as a discussion between presentists and eternalists, wherein each directly responds to the arguments and objections offered by the other. This is a discussion that is sometimes absent in the literature, or which is at best carried out in a fragmented way. The first two papers of the section deal with the problem of the compatibility of Special Relativity Theory (SRT) and presentism. SRT is often considered to be a theory that contradicts the main tenet of presentism, thereby rendering presentism at odds with one of our most solid scientific theories. Christian Wüthrich’s paper presents arguments for the incompatibility of the two theories (SRT and presentism) within a new framework that includes a discussion of further complications arising from the theory of Qauantum Mechanics. Jonathan Lowe’s paper, by contrast, develops new general arguments against the incompatibility thesis and replies to Wüthrich’s paper. The second pair of papers focuses on the problem that presentists face, in providing grounds for past tensed truths. In the first (by Matthew Davidson), new arguments are provided to defend the idea that the presentist cannot adequately explain how what is now true about the past is grounded, since for the presentist the past is completely devoid of ontological ground. The second paper (by Brian Kierland) takes up the challenge of developing a presentist explanation of past truths, beginning by outlining some existing views in the literature before advancing an original proposal. (shrink)

Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of a (...) flaw. However, since different programs and machines can interact with (or be nested into) one another, we need to account for different kind of errors, and this calls for an evaluation of systems with multiple contaminating values. In this paper, we make steps toward these evaluation systems by considering two logics, HYB1 and HYB2, whose semantic interpretations account for two contaminating values beside classical values 0 and 1. In particular, we provide two main formal contributions. First, we give a characterization of their relations of (multiple-conclusion) logical consequence—that is, necessary and sufficient conditions for a set Δ of formulas to logically follow from a set Γ of formulas in HYB1 or HYB2 . Second, we provide sound and complete sequent calculi for the two logics. (shrink)

I argue that my non-dual epistemic-phenomenalist view is the one that best harmonises my interpretation of the Fourth Paralogism with the widely shared reading of the Refutation of Idealism that I sketched and defended above. The bottom line of my view is a clear distinction between the metaphysical and epistemological sides of Kantian idealism. Again, according to my non-dual-epistemic-phenomenalism, the mundus sensibilis and mundus intelligibilis are epistemologically distinct ways of considering the metaphysically identical outside world. Appearances are nothing but the (...) way the things in themselves appear or exist inside our sensible minds as mere representations. In this sense, I reject both the two-world view, the two-aspect view, and Allais’s deflationary anti- phenomenalist reading. (shrink)

In the commentaries on Porphyry Boethius on the one hand explains the properties of predication relation at abstract level, from another hand he supplies some ontological options about what can instantiate the terms of the relation, at the end he seems to prefer the similarities as objects of abstract thought. Other options are anyway present, in the commentary on Categories and in the Theological Treatises. One cannot say that the catalogues are complementary or that the same things are catalogued once (...) only, under the same label. On the contrary, objects such as forms, essences and material components can be considered from points of view that are different and not easily comparable. In the present article I will deal with Boethius’ ontological approach not strictly concerned with the Porphyrian text and riddle. (shrink)

A dialogue between a figure and its background, illustrating that the perceptual conditions that determine which is which are not as clear as standard Gestalt theory dictates.

This brief paper is devoted to criticizing the widespread reading of Kant’s first Critique, according to which reference to subject-independent objects is “constituted” by higher-order cognitive abilities (concepts). Let us call this the “constitutional view.” In this paper, I argue that the constitutional reading confuses the un-Kantian problem of how we come to represent objects (which I call the intentionality thesis), with the quite different problem of how we cognize (erkennen) (which I call the “cognition thesis”) that we do represent (...) objects, that is, things that exist independently of the subject. (shrink)

From the second half of the last century, there has been a widespread view in the Anglophone world that Kant’s transcendental deduction (aka TD) aims to vindicate our common-sense view of the world as composed of public and objective particulars against some unqualified forms of skepticism. This widespread assumption has raised serious doubt not only about the success of TD but also about the very nature of its argument in both editions of the Critique. Yet, if there is a connection (...) between TD and global skepticism, the intriguing question is: Who is this skeptic? According to Strawson, “the skeptic” is a hypothesis of a purely sense-datum experience. In contrast, the fact that TD turns on the key notion of self-consciousness has induced several other scholars to assume that the skeptic is no none but a Cartesian external-world skeptic. None of those readings find textual support or are compatible with the very structure of the first Critique. The question is: Does this mean that TD aims only to undermine empiricism, as Guyer suggests? I do not believe so. I am pretty convinced that TD addresses a peculiar form of global skepticism, namely “Hume’s challenge to reason.” Assuming that we cognize (erkennen) and experience (erfahren) appearances as objects as a requirement of Newtonian physics, TD aims to provide a justification of the principle that nature is uniform that is superior to Hume’s justification. (shrink)

My account of the causal role of consciousness in a physical world is modeled on Dretske’s celebrated explanation of the causal role of beliefs (something that Dretske himself never offered). First, behavior must be understood as a (broadly individuated) process that begins with some external stimulus causing some neurological event C, and ends with causing a bodily movement M (e.g., the Kennedy assassination is a process that begins with Oswald pulling the trigger at 12:30pm CST on November 23 in 1963 (...) in Dallas, Texas, but only ends half an hour later when Kennedy is pronounced dead at 1 pm CST). The internal neurological event C causes bodily movement M, but only by virtue of being recruited by natural selection to represent the instantiation of some external property F when properly stimulated under normal circumstances. But the reason why C causes M lies in the fact that C represents the instantiation of the external property F. I withdraw my hand from a hot surface because the activation of nociceptive specific neurons in my parietal lobe (together with the activation of neuronal patterns in my motor cortices) was recruited by natural selection to represent the tissue damage in my hand. The activation of nociceptive specific neurons causes my hand to withdraw but for the reason that it represents tissue data at the time that I felt pain in my hand. (shrink)

We set forth what one may call a “constitutional reading” in opposition to the traditional widespread “constructivist reading” of the object of cognition. In the light of the so-called one-object view reading of Transcendental idealism, the object of cognition is nothing but the object that exists in itself insofar as it appears to our cognitive apparatus. The object exists mind-independently, while our cognition of the same object must be mind-independent. The constructivist reading mistakes the epistemological problem of how we come (...) to cognize mind-dependently that what we represent (“the constitutional view”) are mind-independent objects with the Berkelian ontological problem of how we construct objects out of an undifferentiated, unstructured manifold (the constructivist view) My diagnosis is as follows. The first reason is the traditional “two-worlds view” reading of Kant’s idealism. If we take what exists in itself and the object of cognition as distinct things, then we must conclude that the object of cognition is a mind-dependent construction. Constructivist readers mistake the mind-dependent nature of our human cognition of objects for the putative mind-dependent nature of the known object. The second reason is overintellectualization. Constructivist readers mistake the objectifying syntheses of the imagination, below the threshold of self-consciousness, for cognitive conceptual operations by means of which we cognize (erkennen) the objects of cognition, or so I shall argue. (shrink)

This paper is concerned with certain ontological issues in the foundations of geographic representation. It sets out what these basic issues are, describes the tools needed to deal with them, and draws some implications for a general theory of spatial representation. Our approach has ramifications in the domains of mereology, topology, and the theory of location, and the question of the interaction of these three domains within a unified spatial representation theory is addressed. In the final part we also consider (...) the idea of non-standard geographies, which may be associated with geography under a classical conception in the same sense in which non-standard logics are associated with classical logic. (shrink)

This paper aims to present a novel reading of Kantian idealism. In want of a better name, I call my interpretation “one-object-plus-epistemic phenomenalism.” I partially endorse Allison’s celebrated position, namely his rejection of metaphysical world-dualism. Yet, I reject Allison’s deflationary two-aspect view. I argue that Kantian idealism is also metaphysically committed to an ontological noumenalism (one-object), namely the claim that the ultimate nature of reality is made up of unknown things in themselves (substantia noumena). Natural sciences can only reveal the (...) relational/structural properties of things as they appear rather than the intrinsic properties of substantia noumena in the negative sense. My anti-deflationary reading is similar to Allais’s, and my agnostic monism to Hanna’s. However, against both, I hold that appearances are not the accusative objects of our sensible representations but rather, as Kant repeatedly states: “mere representations.” The accusative objects of our senses are substantia noumena in the negative sense. Moreover, my view is also similar to Langton’s. Again, against Langton, I hold that appearances are not merely relational properties of substantia noumena but the way that such substantia noumena exist inside our mind as “mere representations.” In this regard, I also partially endorse Guyer’s and Van Cleve’s phenomenalist reading because these substantia noumena in the negative sense can only be cognized mind-dependently, namely as appearances. However, against Guyer and Van Cleve, I hold that the phenomenalist side of Kantian idealism is purely epistemological rather than ontological: what Kant calls the necessary unity of representations according to categories is not a logical construction of objects out of representations, that is, an ontological reduction of noumena to appearances, but rather the way we sense-independently cognize mind-independent noumena. (shrink)

This paper has two aims. First, it aims to provide an adverbial account of the idea of intransitive self-consciousness and second, it aims to argue in favor of this account. These aims both require a new framework that emerges from a critical review of Perry’s famous notion of the “unarticulated constituents” of propositional content (1986). First, I aim to show that the idea of intransitive self-consciousness can be phenomenologically described in an analogy with the adverbial theory of perception. In an (...) adverbial theory of perception, we do not see a blue sense-data, but we see something blue-ly, whereas in intransitive self-consciousness, we are not conscious of ourselves when we undergo a conscious experience—instead, we experience something self-consciously. But what does this mean precisely? First, I take intransitive self-consciousness to be the first-person operator that prefixes the content of any experience that the subject undergoes, regardless of whether or not the subject is self-referred. Further, I argue that this first-person adverbial way of entertaining the content of any experience in Perry’s revised framework fixes the subject as part of the circumstance of the evaluation of the content of her own experience. We can only evaluate whether the content is veridical or falsidical relative to the subject undergoing the experience. This is referred to here as “self-concernment without self-reference.” When I am absorbed in reading a book, I do not self-represent my own experience of reading a book, let alone see myself as a constituent of the content of this experience. Even so, I experience that reading self-consciously in the precise sense that I do belong to the circumstance of the evaluation of the selfless content of my experience of reading the book. The content of the experience of reading a book is simply a propositional function, true or false of myself. (shrink)

In this paper, I intend to show that it’s a serious mistake to construe the role of sensible representation in Kant’s work as a nonconceptual content (in the contemporary and technical sense of “content”), which, like a mental indexical would refer to what appears in space and time in the so-called de re form. The interpretation I advance and further support is this: without possessing a representational content, sensible representation must be understood as the basic epistemic relation between the subject (...) and the physical entities in space and time she is acquainted with. Immediate reference of sensible intuition to their respective objects is to be understood as a form of knowledge by acquaintance. I call my own interpretation relationalism. (shrink)

How to achieve responsibility through philosophical dialogue? This is indeed a core issue of today's democracy. In this regard, education plays an important role.

This paper is a new non-descriptivist defense of non- conceptualism, based on a new interpretation of Kant’s metaphysics of concepts. We advance the following claim: What distinguishes non-conceptual from conceptual singular representations is the way partial representations of the object’s features are integrated into the whole representation of the object: while at the non-conceptual level this integration takes the form of images of the object’s features that are stored and projected, at the conceptual level this integration takes the form of (...) the recognition that those features are properties of a same object, what Kant calls “synthetic unity of Aperception”. (shrink)

Since the early eighties, computationalism in the study of the mind has been “under attack” by several critics of the so-called “classic” or “symbolic” approaches in AI and cognitive science. Computationalism was generically identified with such approaches. For example, it was identified with both Allen Newell and Herbert Simon’s Physical Symbol System Hypothesis and Jerry Fodor’s theory of Language of Thought, usually without taking into account the fact ,that such approaches are very different as to their methods and aims. Zenon (...) Pylyshyn, in his influential book Computation and Cognition, claimed that both Newell and Fodor deeply influenced his ideas on cognition as computation. This probably added to the confusion, as many people still consider Pylyshyn’s book as paradigmatic of the computational approach in the study of the mind. Since then, cognitive scientists, AI researchers and also philosophers of the mind have been asked to take sides on different “paradigms” that have from time to time been proposed as opponents of (classic or symbolic) computationalism. Examples of such oppositions are: -/- computationalism vs. connectionism, computationalism vs. dynamical systems, computationalism vs. situated and embodied cognition, computationalism vs. behavioural and evolutionary robotics. -/- Our preliminary claim in section 1 is that computationalism should not be identified with what we would call the “paradigm (based on the metaphor) of the computer” (in the following, PoC). PoC is the (rather vague) statement that the mind functions “as a digital computer”. Actually, PoC is a restrictive version of computationalism, and nobody ever seriously upheld it, except in some rough versions of the computational approach and in some popular discussions about it. Usually, PoC is used as a straw man in many arguments against computationalism. In section 1 we look in some detail at PoC’s claims and argue that computationalism cannot be identified with PoC. In section 2 we point out that certain anticomputationalist arguments are based on this misleading identification. In section 3 we suggest that the view of the levels of explanation proposed by David Marr could clarify certain points of the debate on computationalism. In section 4 we touch on a controversial issue, namely the possibility of developing a notion of analog computation, similar to the notion of digital computation. A short conclusion follows in section 5. (shrink)

In this paper, I argue against the phenomenal concept strategy (henceforth PCS) and in favor of what Chalmers has called type-A materialism ([2006], [2010] p. 111). On her release, Mary makes no cognitive discovery at all, not even a thin, non-possibility-eliminating discovery, as Tye has recently claimed [2012]. When she is imprisoned, Mary already knows everything that is to be known about the phenomenal character of her experiences. What Mary acquires is a new non-cognitive and nonconceptual representation.

Classically, truth and falsehood are opposite, and so are logical truth and logical falsehood. In this paper we imagine a situation in which the opposition is so pervasive in the language we use as to threaten the very possibility of telling truth from falsehood. The example exploits a suggestion of Ramsey’s to the effect that negation can be expressed simply by writing the negated sentence upside down. The difference between ‘p’ and ‘~~p’ disappears, the principle of double negation becomes trivial, (...) and the truth/falsehood opposition is up for grabs. Our moral is that this indeterminacy undermines the idea of inferential role semantics. (shrink)

I aim to develop an alternative theoretical model for the direct cognition of the elementary states of others called the theory of interaction (henceforth TI), also known as the “second person” approach. The model I propose emerges from a critical reformulation of the displaced perception model proposed by FRED DRETSKE (1995) for the introspective knowledge of our own mental states. Moreover, against Dretske, I argue that no meta-representation (second-order representation of a first-order representation as a representation) is involved in the (...) process, but only concepts, rudimentary enough, of others’ emotions: contentment and discontentment. Strictly speaking, all the empirical data and findings in developmental psychology only support the hypothesis that children in the pre-linguistic phase understand perceptual facial expressions of contentment and discontentment. My proposal consists of the following thesis: The direct perception of others' elementary mental states is not a perception in the usual sense of the word according to which we just perceive things, but rather a “perception of facts.” But how to understand that? It is nothing more than an epistemological process that is automatic and reliable at the same time. It is reliable in the epistemological-externalist sense of not involving any inference, reflection, theorizing or epistemic justification: a baby’s perception of her mom’s facial expression of discontentment (in the usual sense of “per- ception”) does not constitute a reason supporting the belief that mommy is discontent. The very word “belief” should not be understood in the usual sense but rather in the sense of a natural inclination for truth. But at the same time, it is automatic because the belief is a result or output of a process entirely subliminal and computational in nature. Thus, for instance, a child perceives that her mom is discontent (fact-awareness) by perceiving consciously (“perception” in the usual sense) a facial expression of discontentment (sensorial input) but recognizes that her mother is discontent as a result (output) of an entirely subliminal process. (shrink)