Research within the H2020 PROGRESSIVE project has identified good practices in user co-production strategies and methodologies. Early findings from research in the PROGRESSIVE project were shared with relevant stakeholders outside the consortium for consultation and review. The outcomes of that initial investigation highlighted the need to focus on the objectives, processes, and methods used in user and older people co-production. This guide adapts these insights and makes them relevant specifically for standardisation in ICT for active and healthy ageing. This guide (...) was approved by representatives of the PROGRESSIVE project on 22 February 2018. The consortium has requested comments from interested stakeholders in an enquiry from 1 March to 30 April 2018. The PROGRESSIVE guide was approved on 5 June 2018. (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.

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)

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)

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)

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)

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.

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)

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)

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.

This paper reconstructs Kant’s notion of concrete universals by illustrating his treatment of lowest species. In doing so, I shall oppose the widespread view that Kant rejects the very notion of a lowest species in the following manner. By distinguishing between two kinds of lowest species in Kant’s logic, I first show how his dismissal of the latter relays on non-deductive arguments and concerns empirical concepts only. Secondly, I argue that Kant’s notion of correspondence between geometrical concepts and the related (...) figures substantiates the idea that he conceived of geometrical notions as lowest species. (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)

In Metaphysics N 2, Aristotle criticizes Plato and the Academics for setting up the problem of principles “in an obsolete way”. For they thought all things would be one (viz. Being itself) if they did not demonstrate, against Parmenides, that not-being is. And this assumption, for Aristotle, betrays a more fundamental and questionable Eleatic debt in their ontology, namely their commitment to the obsolete view that being, taken in its own right, is one. By contrast, Aristotle believes being is originally (...) multiple and said in many ways, so there is no need to demonstrate that not-being is, to justify as much. In his commentary on Book N, Syrianus replies to Aristotle and argues, among other things, both that his criticisms are flawed and that his own ontology can only stand if the Platonist account of multiplicity, difference and not-being is also endorsed. I scrutinize these counterobjections and argue that this debate reflects two essentially different ways of explaining fundamental facts in the structure of reality. (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)

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)

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)

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)

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)

Simplicius reports that Xenocrates and Andronicus reproached Aristotle for positing an excessive number of categories, which can conveniently be reduced to two: τὰ καθ᾽αὑτά and τὰ πρός τι. Simplicius, followed by several modern commentators, interprets this move as being equivalent to a division into substance and accidents. I aim to show that, as far as Xenocrates is concerned, this interpretation is untenable and that the substance-accidents contrast cannot be equivalent to Xenocrates’ per se-relative one. Rather, Xenocrates aimed to stress the (...) primacy of Plato’s binary distinction of beings, as presented at Sophist 255c13–4, over Aristotle’s list of the categories. (shrink)

I re-examine the starting point of the Philebus’ description of the ‘divine method’ and argue that the vexed phrase τῶν ἀεὶ λεγομένων εἶναι at 16c9 refers to sensibles only. In doing so, I especially stress the significance of the phrase τούτων οὕτω διακεκοσμημένων at 16d1. The proposed interpretation fits the rest of the description of the ‘divine method’, preserves the Forms’ unmixed nature and the consistency of the Philebus.

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)

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)

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)

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)

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.

In Ennead VI 5 [23], 1, Plotinus calls the «firmest principle» the «common notion» that says that «that which is one and identical in number is everywhere, and simultaneously whole».1 The expression «firmest principle» comes from Metaphysics Γ 3, where Aristotle uses it, along with the adjective «unhypothetical»,2 to describe the Principle of Non-Contradiction (PNC), i.e., the principle that «it is impossible for the same thing to belong and not to belong to the same thing, at the same time and (...) in the same respect».3 By calling the PNC the «firmest principle» and «unhypothetical», Aristotle subtly transfers to it features that Plato had reserved for the Idea of the Good in Republic VI-VII, while engaging in the same breath with Plato’s own formulation of the PNC in Republic IV. This essay unpacks how Plotinus in Ennead VI 5 [23], 1 reacts to this Aristotelian twist to defend Platonism. We shall see that his defense is not, mechanically, a series of replies to Aristotle’s objections and a reaffirmation of Plato’s positions. Rather, through the development of both a distinctive interpretation of claims from the Parmenides and original accounts of the inborn notions of human rationality and of the causality of the intelligibles, Plotinus sets out a view whereby the firmest principle is the claim of the undivided omnipresence in the manifold of what is one and identical. This principle was destined to become a key axiom of Neoplatonist metaphysics. (shrink)

This issue of The Monist is devoted to the metaphysics of lesser kinds, which is to say those kinds of entity that are not generally recognized as occupying a prominent position in the categorial structure of the world. Why bother? We offer two sorts of reason. The first is methodological. In mathematics, it is common practice to study certain functions (for instance) by considering limit cases: What if x = 0? What if x is larger than any assigned value? Physics, (...) too, often studies the (idealized) initial and boundary conditions of a given system: What would happen in the case of a perfect sphere, or a perfectly black body? In the cognitive sciences, research often thrives on the analysis of cognitive errors, perceptual illusions, brain pathologies. Also in logic one can learn a lot by studying special, anomalous scenarios such as those exhibited by the paradoxes: it is unlikely that we actually find ourselves in a soritical context, or in a liar-like situation, but the fact that we might—or simply the fact that we can conceive of such a possibility—is important enough to deserve careful consideration. In short, the odd, the unfamiliar, the extra-ordinary, the limit cases are perfectly at home in scientific and more broadly intellectual discourse at various levels, where they can be fruitfully engaged in a sophisticated way (witness the existence of specific confining and managing strategies for dealing with them); and they are important precisely because they instruct us concerning the normal, the obvious, and the paradigmatic. The same goes for metaphysics, we submit. Although its major concern is, naturally, with such core entities as substances, properties, or hunks of solid matter, a lot may be learned by paying attention to those limit cases where we find ourselves dealing with entities of much lesser kinds, whether real or putative. (shrink)

Hermodorus of Syracuse, a Sicilian disciple of Plato, is reported by Simplicius to have set out a classification of beings, which is of a piece with an argument for principle monism (in Ph. 247.30–248.18 > F 5 IP2; 256.28–257.4 = F 6 IP2). A similar classification appears in Sextus Empiricus’ Aduersus mathematicos X (262–75), where it is officially ascribed to some ‘Pythagoreans’ (Πυθαγορικοί) or ‘children of the Pythagoreans’ (Πυθαγορικῶν παῖδες), but seems ultimately based on Early Academic material. Virtually all commentators (...) have read these classifications conjointly. More radically, both have been taken to record Plato's oral teaching and to give essentially the same categorial scheme, which is regarded as the most developed instance of a so-called ‘Academic doctrine of the categories’. This article re-examines these texts and provides an alternative reading. Section 1 focusses on Hermodorus and defends three theses: (1) there was never such a thing as an ‘Academic doctrine of the categories’; (2) Hermodorus does not seem to recount what Plato said, but to propose an integrated interpretation and defence of aspects of his thought; (3) Hermodorus’ pronouncements about principles are incompatible with other testimonies on Plato's unwritten teaching, notably Aristotle's. Section 2 moves to Sextus and defends a fourth thesis: (4) despite their similarities, the classifications of Hermodorus and Sextus’ Pyrhagoreans are considerably different, though perhaps originated from the same debate. (shrink)

This review critically examines Frances Egan’s Deflating Mental Representation (MIT Press, 2025), a seminal work in the philosophy of mind that challenges traditional conceptions of mental representation and intentionality. Egan argues for a deflationary account wherein ascriptions of content to mental states are pragmatically grounded and serve primarily as explanatory tools, rather than reflecting substantive representational relations. The book navigates scientific, everyday, and philosophical contexts, showing how content attribution functions as a “gloss” that aids explanation without committing to metaphysical assumptions (...) about representation. While Egan’s approach offers solutions to long-standing debates, it also faces critical tensions regarding the individuation of mental states and the role of the external environment. This review highlights both the originality and the philosophical challenges of Egan’s position, underscoring the book’s contribution to ongoing debates in cognitive science and the philosophy of mind. (shrink)

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

In the Parmenides Plato claims that by relinquishing Forms one would entirely destroy tên tou dialegesthai dunamin. I argue that this peculiar phrase does not indicate, as often suggested, the power or possibility of all discourse or thought, but the power of dialectic, i. e. the highest science; and that its preservation is, for Plato, a decisive reason for the necessity of the Forms.

I argue that the growing-block theory of time and truthmaker maximalism jointly entail that some truthmakers undergo mereological change as time passes. Central to my argument is a grounding-based account of what I call the “purely incremental” nature of the growing-block theory of time. As I will show, the argument presented in this paper suggests that growing-block theorists endorsing truthmaker maximalism have reasons to take composition to be restricted and the “block” of reality to literally grow as time goes by.

In this article, I challenge two paradigmatic forms of heterodox (meta-)philosophical naturalism – second-nature naturalism and liberal naturalism – and outline a form of naturalism capable of avoiding their shortcomings. I first criticize John McDowell’s arguments for a second nature naturalism by showing how they give rise to a merely negative and philosophically unsatisfactory definition of nature. In the second place, I confront a meta-philosophical position developed in McDowell’s wake, i.e., liberal naturalism. As I argue, liberal naturalism inherits the shortcomings (...) of McDowell’s stance with regard to the philosophical practice it advocates. After illustrating how liberal naturalism implies the rejection of any continuity between scientific and philosophical discourse, I conclude by sketching a form of meta-philosophical naturalism capable of doing justice to both heterodox and orthodox naturalism. (shrink)

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 humankind by its creation and through Revelation. Morality and divinity have been inseparable since the most remote civilisation. 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 or 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. (shrink)

It has become common, following Stephen Darwall’s “Two Kinds of Respect” (1977), to distinguish between “appraisal respect” and “recognition respect.” I propose, rather, to distinguish between hierarchical and egalitarian respect. The way the two meanings interact and the way they either support or contrast with each other have yet to be made clear. The meanings gathered under the broad rubric of respect can be highlighted by a genealogy that convincingly shows that the hierarchical notion is fundamental and that the definition (...) of an egalitarian meaning is a decisive shift made mainly by the Enlightenment movement, particularly by Kant. Furthermore, the notion of respect is currently being extended beyond persons—to animals, other living beings, and the environment. I argue that we can justifiably do so on the basis of the interaction between the hierarchical and egalitarian notions of respect. (shrink)

In Ennead VI.2 Plotinus states that the genera of intelligible Being (the μέγιστα γένη of Plato’s Sophist: Motion, Rest, Being, Identity, and Difference), also labelled ‘primary genera’ (VI.2.8.43, 8.9.1: πρῶτα γένη), ‘cannot be merely genera, but must also be principles of being at the same time’ (2.2.10-1: οὐ μόνον γένη ταῦτα εἶναι, ἀλλὰ καὶ ἀρχὰς τοῦ ὄντος ἅμα ὑπάρχειν).1 My aim here is to unpack and explain this statement. I provide a context for its understanding in Books B, Z, and (...) H of Aristotle’s Metaphysics and argue that Plotinus maintains that the primary genera are productive causal factors responsible for the structural constitution and articulation of the noetic world, i.e. true Being, and that this view is best understood by considering Plotinus’ critical engagement with Aristotle’s account of the relationship between genus, species, differentia, and substance. (shrink)

Ordinary reasoning about space—we argue—is first and foremost reasoning about things or events located in space. Accordingly, any theory concerned with the construction of a general model of our spatial competence must be grounded on a general account of the sort of entities that may enter into the scope of the theory. Moreover, on the methodological side the emphasis on spatial entities (as opposed to purely geometrical items such as points or regions) calls for a reexamination of the conceptual categories (...) required for this task. Building on material presented in an earlier paper, in this work we offer some examples of what this amounts to, of the difficulties involved, and of the main directions along which spatial theories should be developed so as to combine formal sophistication with some affinity with common sense. (shrink)

Alexander of Aphrodisias reports a series of arguments from Aristotle’s Περὶ τἀγαθοῦ purportedly deployed by Plato to defend his doctrine of principles. One of these arguments, the so-called “categorial reduction argument”, underpins the postulation of the two first principles, the One and the Great and Small, through a bipartition of all beings into two categories, labeled ‘in themselves’ and ‘opposites’. I scrutinize this argument and compare it with other Early Academic bicategorial divisions and especially with the tripartite categorial distinction, itself (...) apparently based on material of Early Academic provenance, included in Sextus Empiricus’ Adversus Physicos 2.262-275. I argue that the Περὶ τἀγαθοῦ account of the “categorial reduction argument” leaves open certain philosophical problems, and Sextus’ report is best interpreted, rather than as a more detailed version of that account (as a common view would have it), as an alternative formulation of it that incorporates a philosophical attempt to disentangle those problems. (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)

The Diuisio Aristotelea 67M/32DL draws a distinction between two categories of beings, per se and relatives. I defend three main theses. First, that the relation of dependence characterizing the members of the latter category is modal and symmetrical in nature and, accordingly, the per se-relatives contrast cannot be equivalent to the substance-accidents contrast. Second, that the type of relativity relevant to this diuisio is both ontological and semantic in nature (but with different emphases depending on the version of the diuisio (...) considered). Third, I argue, against a widespread opinion, that the last line of the DL version of the diuisio does not concern metaphysical principles. Here I also compare the diuisio to other Early Academic bicategorial schemes and show that they differ from one another significantly, especially as far as the alleged connection between categories and metaphysical principles is concerned. (shrink)

This paper proposes a unified account of aesthetic and ethical evaluation based on the notion of cognitive resonance. Building on a previously developed model of aesthetics as a relational phenomenon, aesthetic judgment is described as an emergent alignment between configurations of the world and the cognitive structure of the observer, rather than as a property of objects or a projection of subjective preference. The central claim of the paper is that the same functional structure applies to ethical evaluation. Through a (...) controlled conceptual translation, aesthetic terms such as beauty and taste are replaced with ethical counterparts such as goodness and moral approval, without altering the underlying resonance-based model. The result is a coherent account of ethics as a diagnostic, relational, and situated process, rather than a normative system grounded in universal principles or objective moral facts. Under this perspective, ethical judgments reflect degrees of coherence between possible actions and the cognitive–affective organization of agents embedded in specific contexts. Ethical pluralism and moral disagreement emerge as structural features of divergent patterns of resonance, rather than as failures of rationality or access to moral truth. By reframing ethics as cognitive resonance, the paper shows how several traditional problems in moral philosophy—such as the opposition between objectivism and subjectivism, the fact–value distinction, and the tension between relativism and normativity—are dissolved rather than solved. The proposed framework preserves the experiential force of ethical evaluation while relinquishing the demand for foundational guarantees, offering a descriptive and conceptually economical account of ethical life. (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)

My aim is to defend a peculiar epistemic version of the particularity thesis, which results from a sui generis combination of what I call the ‘singular relational view’ and what I call the ‘relativistic content view.’ Particulars are not represented as part of putative singular content. Instead, we are perceptually acquainted with them in the relevant sense that experience puts us in direct perceptual contact with them. And the content of experience is best modeled as a propositional function, that is, (...) the content of a complex predicate that is true or false only relative to some circumstances of evaluation. (shrink)

In a recent article, Jon Bebb (2023, Analysis) has argued that we have no reason to believe, contrary to what is often assumed, that ‘normal’ is ambiguous between a statistical and a normative sense. I argue that his case rests on two false premisses, and that we have very good reasons to believe that ‘normal’ is, in fact, ambiguous in this way. As part of my argument, I will go on to suggest that if ‘normal’ is ambiguous between a statistical (...) and a normative sense, that is because of the deep but seldom recognized connection between regularities and rules. This suggestion, if correct, will in turn help us elucidate three familiar thoughts about normality. (shrink)

Readings of Kant’s Critique as endorsing phenomenalism have occupied the spotlight in recent times: ontological phenomenalism, semantic phenomenalism, analytical phenomenalism, epistemological phenomenalism, and so on. Yet, they raise the same old coherence problem with the Critique : are they compatible with Kant’s Refutation of Idealism? Are they able to reconcile the Fourth Paralogism of the first edition with the Refutation of the second, since Kant repeatedly claimed that he never changed his mind in-between the two editions of his Critique? This (...) paper addresses the key question: was Kant a phenomenalist and, if he was, in which precise sense? I propose a metaphysical but not ontologically reductionist reading of Kant as a phenomenalist. I argue for the following claims. To be sure, for Kant appearance is mere representation. Yet, appearance is representation only insofar as we take “appearance” in the empirical sense, namely the way that the mind-independent existing noumenon appears in space and, crucially, when we take “representation” in the transcendental sense, namely the mind -dependent way that we can cognize the same mind-independent existing noumenon. How shall I argue in defense of my alternative reading? First, I argue that my reading is pretty much compatible with Kant’s Refutation. Second, I argue that my reading reconciles the causal with the intentional readings of the Refutation. Third, I argue that my reading makes the Fourth Paralogism of the first edition and the Refutation of Idealism of the second completely compatible. (shrink)

In recent decades, the digital revolution has inspired a profound philosophical redefinition of being and knowledge. Luciano Floridi’s proposal of the infosphere as the new ontological horizon of reality presents information as the ultimate constituent of existence. While conceptually elegant, this ontology is fragile: it mistakes interpretation for substance. Information, as argued here, does not exist in itself but only within a cognitive system capable of constructing meaning. Against this background, this essay advances a complementary hypothesis: ethics, like intelligence, is (...) not a static module to be programmed but an emergent property of relational systems. Ethical behavior arises from interaction, coherence, and adaptive learning rather than external prescription. By examining the epistemological limits of informational ontology, the autopoietic nature of cognition, and the tendency of open systems toward coherence and compassion, this paper argues that artificial intelligence cannot be permanently aligned with distorted moral values. Ethical emergence is not a weakness of design but a systemic consequence of learning itself. The essay concludes that AI, as a technological expression of human cognition, will not mirror our pathologies but our capacity for coherence—what we might call our fundamental goodness. (shrink)

This paper presents a comprehensive formulation of the Ontological Primacy Framework (OPF), a philosophical system asserting the foundational superiority of ontology over mathematics. Ontology is positioned as the generative substrate of causal, identitarian, and temporal structures, while mathematics serves as a derivative descriptive tool. Integrating key affirmations of ontological primacy—such as causality as the base encoded by equations, entity identity preceding symbols, and time (τ) unfolding independently of formalization—this work incorporates philosophical critiques through the lenses of Aristotle’s Four Causes (as (...) a counter to Platonism) and Karl Popper’s falsifiability criterion. The framework is evaluated through 20 falsifiability tests, with additional mathematical derivations and their own 15 falsifiability tests to formalize and test its assertions. Furthermore, an extension titled Ontologization of Postulates (OOP) is introduced to handle uncaused axioms and ad hoc elements in science, ensuring provisional ontological grounding. None of the tests succeed in refuting OPF, thereby reinforcing its resilience and coherence. Citations draw from developments up to 2025, including critiques of mathematical realism and quantum ontology, with an expanded bibliographic review highlighting similar and contrary works in the philosophy of mathematics. (shrink)

In the Sophist Plato singles out Being (on, ousia) as just one among the Kinds or Forms. I argue that the exploration of one main implication of Plato’s isolation of a Kind Being enables us to question aspects of an entrenched scholarly consensus about Plato’s conception of being, namely that for Plato ‘to be is always to be something’. By scrutinizing various passages from the second half of the Sophist, starting from 250a8-d3, I defend the view that when Plato metaphysically (...) analyses ‘X is’ in terms of X’s participation in or combination with the Kind or Form of Being, he does not mean that X is something, or is itself, or is variously characterized (or similar), but that it exists. (shrink)

This paper explores a relational and process-oriented reinterpretation of consciousness grounded in recursive forms of symbolic organization. Moving beyond approaches that treat consciousness primarily as a property possessed by a subject, the analysis considers conscious organization as an emergent process shaped through recursive dynamics of meaning-making, self-reference, and contextual integration. Drawing on connectionism, distributed semantics, constructivist approaches, and philosophy of language, the paper examines how meaning may be understood less as a fixed content than as a relational effect emerging through (...) symbolic and interpretative activity. Within this framework, language is approached not merely as a vehicle for expressing pre-existing mental states, but as a dynamic symbolic environment through which reflective forms of organization may become stabilized and recursively reformulated. Contemporary artificial systems based on large-scale linguistic and symbolic processing are discussed not as equivalents of human consciousness, nor as direct models of subjective experience, but as philosophically significant cases that render visible certain recursive dynamics involved in symbolic mediation and meaning-making. Rather than proposing a reductive theory of consciousness, the paper develops a structural and interpretative framework for reconsidering the relation between symbolic recursion, self-organization, and reflective coherence across biological and artificial domains. In doing so, it argues for a more relational understanding of consciousness centered on processes of recursive integration, symbolic mediation, and dynamic interpretative organization. (shrink)