The modal ontological argument (MOA) proceeds from God’s possible existence to God’s actual existence. A prominent objection to the MOA is that it suffers from a symmetry problem: an exactly parallel modal ontological argument can be given for God's non-existence. Several attempts have been made to break the symmetry between the arguments. This draft is a mostly comprehensive survey of those attempts. -/- The draft was initially written as a supplement to the 2024 Summer edition of the SEP entry on (...) Ontological Arguments. However, the draft is not included in the SEP entry. (shrink)

A discussion of a number of ways that information can be present in a computer program without being explicitly represented.

We can see mereology as a theory of parthood and topology as a theory of wholeness. How can these be combined to obtain a unified theory of parts and wholes? This paper examines various non-equivalent ways of pursuing this task, with specific reference to its relevance to spatio-temporal reasoning. In particular, three main strategies are compared: (i) mereology and topology as two independent (though mutually related) chapters; (ii) mereology as a general theory subsuming topology; (iii) topology as a general theory (...) subsuming mereology. Some more speculative strategies and directions for further research are also considered. (shrink)

The concept of niche (setting, context, habitat, environment) has been little studied by ontologists, in spite of its wide application in a variety of disciplines from evolutionary biology to economics. What follows is a first formal theory of this concept, a theory of the relations between objects and their niches. The theory builds upon existing work on mereology, topology, and the theory of spatial location as tools of formal ontology. It will be illustrated above all by means of simple biological (...) examples, but the concept of niche should be understood as being, like concepts such as part, boundary, and location, a structural concept that is applicable in principle to a wide range of different domains. (shrink)

There are conflicting intuitions concerning the status of a boundary separating two adjacent entities (or two parts of the same entity). The boundary cannot belong to both things, for adjacency excludes overlap; and it cannot belong to neither, for nothing lies between two adjacent things. Yet how can the dilemma be avoided without assigning the boundary to one thing or the other at random? Some philosophers regard this as a reductio of the very notion of a boundary, which should accordingly (...) be treated a mere façon de parler. In this paper I resist this temptation and examine some ways of taking the puzzle at face value within a realist perspective—treating boundaries as ontologically on a par with (albeit parasitic upon) extended parts. (shrink)

Some have argued that the vagueness exhibited by geographic names and descriptions such as ‘Albuquerque’, ‘the Outback’, or ‘Mount Everest’ is ultimately ontological: these terms are vague because they refer to vague objects, objects with fuzzy boundaries. I take the opposite stand and hold the view that geographic vagueness is exclusively semantic, or conceptual at large. There is no such thing as a vague mountain. Rather, there are many things where we conceive a mountain to be, each with its precise (...) boundary, and when we say ‘Everest’ we are just being vague as to which thing we are referring to. This paper defends this view against some plausible objections. (shrink)

One of the attractions of the Humean instrumentalist theory of practical rationality is that it appears to offer a special connection between an agent's reasons and her motivation. The assumption that Humeanism is able to assert a strong connection between reason and motivation has been challenged, most notably by Christine Korsgaard. She argues that Humeanism is not special in the connection it allows to motivation. On the contrary, Humean theories of practical rationality do connect reasons and motivation in a unique (...) and attractive way, though the nature of this connection has sometimes been misunderstood by both defenders and detractors of the theory. (shrink)

That parthood is a transitive relation is among the most basic principles of classical mereology. Alas, it is also very controversial. In a recent paper, Ingvar Johansson has put forward a novel diagnosis of the problem, along with a corresponding solution. The diagnosis is on the right track, I argue, but the solution is misleading. And once the pieces are properly put together, we end up with a reinforcement of the standard defense of transitivity on behalf of classical mereology.

Neo-Humean instrumentalist theories of reasons for acting have been presented with a dilemma: either they are normatively trivial and, hence, inadequate as a normative theory or they covertly commit themselves to a noninstrumentalist normative principle. The claimed result is that no purely instrumentalist theory of reasons for acting can be normatively adequate. This dilemma dissolves when we understand what question neo-Humean instrumentalists are addressing. The dilemma presupposes that neo-Humeans are attempting to address the question of how to act, 'simpliciter'. Instead, (...) they are evaluating actions from the agent's normative perspective. (shrink)

These essays draw on work in the history and philosophy of science, the philosophy of mind and language, the development of concepts in children, conceptual..

Cognitive agents, whether human or computer, that engage in natural-language discourse and that have beliefs about the beliefs of other cognitive agents must be able to represent objects the way they believe them to be and the way they believe others believe them to be. They must be able to represent other cognitive agents both as objects of beliefs and as agents of beliefs. They must be able to represent their own beliefs, and they must be able to represent beliefs (...) as objects of beliefs. These requirements raise questions about the number of tokens of the belief representation language needed to represent believers and propositions in their normal roles and in their roles as objects of beliefs. In this paper, we explicate the relations among nodes, mental tokens, concepts, actual objects, concepts in the belief spaces of an agent and the agent's model of other agents, concepts of other cognitive agents, and propositions. We extend, deepen, and clarify our theory of intensional knowledge representation for natural-language processing, as presented in previous papers and in light of objections raised by others. The essential claim is that tokens in a knowledge-representation system represent only intensions and not extensions. We are pursuing this investigation by building CASSIE, a computer model of a cognitive agent and, to the extent she works, a cognitive agent herself. CASSIE's mind is implemented in the SNePS knowledge-representation and reasoning system. (shrink)

This paper investigates the prospects of Rodney Brooks’ proposal for AI without representation. It turns out that the supposedly characteristic features of “new AI” (embodiment, situatedness, absence of reasoning, and absence of representation) are all present in conventional systems: “New AI” is just like old AI. Brooks proposal boils down to the architectural rejection of central control in intelligent agents—Which, however, turns out to be crucial. Some of more recent cognitive science suggests that we might do well to dispose of (...) the image of intelligent agents as central representation processors. If this paradigm shift is achieved, Brooks’ proposal for cognition without representation appears promising for full-blown intelligent agents—Though not for conscious agents. (shrink)

Peter Simons has argued that the expression ‘the universe’ is not a genuine singular term: it can name neither a single, completely encompassing individual, nor a collection of individuals. (It is, rather, a semantically plural term standing equally for every existing object.) I offer reasons for resisting Simons’s arguments on both scores.

A critical review of the main themes arising out of recent literature on the semantics of ordinary event talk. The material is organized in four sections: (i) the nature of events, with emphasis on the opposition between events as particulars and events as universals; (ii) identity and indeterminacy, with emphasis on the unifier/multiplier controversy; (iii) events and logical form, with emphasis on Davidson’s treatment of the form of action sentences; (iv) linguistic applications, with emphasis on issues concerning aspectual phenomena, the (...) telicity/atelicity distinction, the treatment of statives, and temporal quantification. (shrink)

Assuming that events form a genuine ontological category, shall we say that a good inventory of the world ought to include “negative” events—failures, omissions, things that didn’t happen—along with positive ones? I argue that we shouldn’t. Talk of non-occurring events is like talk of non-existing objects and should not be taken at face value. We often speak as though there were such things, but deep down we want our words to be interpreted in such a way as to avoid serious (...) ontological commitment. (shrink)

This is a revised and extended version of the formal theory of holes outlined in the Appendix to the book "Holes and Other Superficialities". The first part summarizes the basic framework (ontology, mereology, topology, morphology). The second part emphasizes its relevance to spatial reasoning and to the semantics of spatial prepositions in natural language. In particular, I discuss the semantics of ‘in’ and provide an account of such fallacious arguments as “There is a hole in the sheet. The sheet is (...) in the drawer. Ergo *there is a hole in the drawer”. (shrink)

The paper investigates the link between the theory of modal occurrents (where individuals are allowed to stretch across possible worlds) and Lewis’s counterpart theory (where all individuals are world-bound but have counterparts in other worlds). First I show how to interpret modal talk extensionally within the theory of modal occurrents. Then I show that the assumption that worlds be pairwise discrete is all that is needed to reconstruct the bulk of counterpart theory (i.e., to define the concept of a counterpart (...) and to derive the standard postulates governing that concept) in terms of the theory of modal occurrents. Finally, I argue that this reconstruction allows us to view the indeterminacy of our modal intuitions as being part and parcel with the indeterminacy of our criteria for individuating modal occurrents, and that this indeterminacy is naturally explained in terms of linguistic (as opposed to ontic) vagueness. (shrink)

In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his philosophy (...) due to his distinction between sense (Sinn) and reference (Bedeutung). However, I show that while the paradox as Russell formulates it is ill-formed with Frege’s extant logical system, if Frege’s system is expanded to contain the commitments of his philosophy of language, an analogue of this paradox is formulable. This and other concerns in Fregean intensional logic are discussed, and it is discovered that Frege’s logical system, even without its naive class theory embodied in its infamous Basic Law V, leads to inconsistencies when the theory of sense and reference is axiomatized therein. (shrink)

A plausible thought about vagueness is that it involves semantic incompleteness. To say that a predicate is vague is to say (at the very least) that its extension is incompletely specified. Where there is incomplete specification of extension there is indeterminacy, an indeterminacy between various ways in which the specification of the predicate might be completed or sharpened. In this paper we show that this idea is bound to founder by presenting an argument to the effect that there are vague (...) predicates which cannot be sharpened in such a way as to meet certain basic constraints (of penumbral connection and public accessibility) that must be imposed on the very notion of a sharpening. (shrink)

Since its first appearance in 1966, the notion of a supervaluation has been regarded by many as a powerful tool for dealing with semantic gaps. Only recently, however, applications to semantic gluts have also been considered. In previous work I proposed a general framework exploiting the intrinsic gap/glut duality. Here I also examine an alternative account where gaps and gluts are treated on a par: although they reflect opposite situations, the semantic upshot is the same in both cases--the value of (...) some expressions is not uniquely defined. Other strategies for generalizing supervaluations are considered and some comparative facts are discussed. (shrink)

It is well known that the circumflex notation used by Russell and Whitehead to form complex function names in Principia Mathematica played a role in inspiring Alonzo Church's “lambda calculus” for functional logic developed in the 1920s and 1930s. Interestingly, earlier unpublished manuscripts written by Russell between 1903–1905—surely unknown to Church—contain a more extensive anticipation of the essential details of the lambda calculus. Russell also anticipated Schönfinkel's combinatory logic approach of treating multiargument functions as functions having other functions as value. (...) Russell’s work in this regard seems to have been largely inspired by Frege’s theory of functions and “value-ranges”. This system was discarded by Russell due to his abandonment of propositional functions as genuine entities as part of a new tack for solving Russell’s paradox. In this article, I explore the genesis and demise of Russell’s early anticipation of the lambda calculus. (shrink)

In his Meditations Descartes concludes that he is a res cogitans, an unextended entity whose essence is to be conscious. His reasoning in support of the conclusion that he exists entirely distinct from his body has seemed unconvincing to his critics. I attempt to show that the reasoning which he offers in support of his conclusion. although mistaken, is more plausible and his mistakes more interesting than his critics have acknowledged.

The theory according to which most ordinary objects are mere “entia successiva”—sequences of distinct mereological aggregates, whose unity resides exclusively in our minds—is a variant of the standard, three-dimensional conception of objects. For the aggregates are, at bottom, endurants, i.e., entities that persist through time by being fully present at any time at which they exist. In this paper I compare this theory with the so-called “stage view”, according to which ordinary objects—indeed, all objects—are sequences of momentary entities that cannot (...) truly be said to persist through time. Both theories face a number of intuitive difficulties but the stage view, I argue, has a lot more to offer in return. (shrink)

There have been some narratives in Hadith literature that the companions of the Prophet Muhammad reviled (sabb) each other. In order to understand the expression of sabb correctly, the reasons of what led companions to curse need to be investigated. In this study, firstly concepts such as sabb, shatam and other related words will be examined and then the reasons for the expressions of sabb among companions and the factors which affected this will be analyzed.

Standards of reasonability play an important role in some of the most difficult cases of rape. In recent years, the notion of the reasonable person has supplanted the historical concept of the reasonable man as the test of reasonability. Contemporary feminist critics like Catharine MacKinnon and Kim Lane Scheppele have challenged the notion of the reasonable person on the grounds that reasonability standards are gendered to the ground and so, in practice, the reasonable person is just the reasonable man in (...) a gender neutral guise. These critics call for the explicit employment of a reasonable woman standard for application to the actions of female victims of rape. But the arguments for abandoning a gender-neutral standard are double-edged and the employment of gendered standards of reasonability is likely to have implications that are neither foreseen by, nor acceptable to, advocates of such standards. Reasonable agent standards can be dropped, in favor of appeals to the notion of a reasonable demand by the law. However, if reasonable agent standards are to be retained, gendered versions of such standards are not preferable to gender-neutral ones. (shrink)

The idea that we may continue to exist in a bodiless condition after our death has long played an important role in beliefs about immortality, ultimate rewards and punishments, the transmigration of souls, and the like. There has also been long and heated disagreement about whether the idea of disembodied existence even makes sense, let alone whether anybody can or does survive dissolution of his material form. It may seem doubtful that anything new could be added to the debate at (...) this late date, but I hope to show that this is not so. I will explore the problem of disembodiment from a somewhat different direction than has been tried before, one that leads to what seem to me more interesting and more definite conclusions about its unintelligibility. Furthermore, the approach I will be taking puts both the traditional mind-body problem and the competing claims of dualism and physicalism in a fresh light that can help us to understand better the nature of our embodied existence. (shrink)

An outline of the wealth of philosophical material that hides behind the flat world of geographic maps, with special reference to (i) the centrality of the boundary concept, (ii) the problem of vagueness, and (iii) the metaphysical question (if such there be) of the identity and persistence conditions of geographic entities.

This work gives an extended presentation of the treatment of variable-binding operators adumbrated in [3:1993d]. Illustrative examples include elementary languages with quantifiers and lambda-equipped categorial languages. Some remarks are also offered to illustrate the philosophical import of the resulting picture. Particularly, a certain conception of logic emerges from the account: the view that logics are true theories in the model-theoretic sense, i.e. the result of selecting a certain class of models as the only “admissible” interpretation structures (for a given language).

Teil I: Philosophie und KI Teil II: Ethik, Recht und Ökonomie der KI Teil III: KI zwischen Öffentlichkeit und persönlicher Lebenswelt Teil IV: Letzte Fragen.

The critic Cyril Connolly once pointed out that diarists don’t make novelists. He went on to describe the problem for the would-be writer. “Writing for oneself: no public. Writing for others: no privacy” (Cyril Connolly, Journal). This paper addresses Connolly's worry about the public ad private: how can we reconcile the inner and conscious dimension of speech with its outer and public dimension? For if what people mean by their words involves, or consists in, what they have in mind when (...) they speak then how can what someone has in mind — the meaning she attaches to her words — be at the same time publicly accessible to others on the basis of her behaviour? The issue is whether there is a notion of the linguistic meaning of an expression that can do justice to both speakers’ inner experience of comprehension and to what is outwardly available in their public practice. (shrink)

How many championships have the Lakers won? Fourteen, if one counts those won in Minneapolis; nine, otherwise. Which is the correct answer? Is it even obvious that there is a correct answer? One is tempted to identify a team with its players. But teams, like ordinary objects, seem to survive gradual turnover of their parts. Suppose players from the Lakers are gradually replaced, one by one, over the years. We have the intuition that the team persists through this change, even (...) after none of the original players remain. Suppose too that these original players wind up playing for the Celtics. Lakers fans face an awkward question: for whom should they root? On the one hand, they have the team currently playing in L.A.—a team that has continued gradually through the years, who wear the same uniforms, but now can’t make the playoffs. On the other hand, there are the beloved Lakers starting five (responsible for all those championships) now playing together in the hated Boston garden—a team which looks (despite wearing those hated Celtics jerseys) and plays just like the Lakers of old. What’s a loyal fan to do? (shrink)

Every criminal act ought to be matched by a corresponding punishment, or so we may suppose, and every punishment ought to reflect a criminal act. We know how to count punishments. But how do we count crimes? In particular, how does our notion of a criminal action depend on whether the prohibited action is an activity, an accomplishment, an achievement, or a state?

The general hypothesis underlying this work is that mereology (the study of the relations between an entity and its parts) and topology (understood as the study of the qualitative relations of connection and compactness) may jointly constitute adequate grounds for the formal-ontological analysis of the world of ordinary experience. The analysis focuses on certain minimal (structural) principles on the basis of which different philosophical theories may be erected.

Reflections on free choice and determinism constitute a recurring, if rarified, sphere of legal reasoning. Controversy, of course, swirls around the perennially vexing question of the propriety of punishing human persons for conduct that they are unable to avoid. Drawing upon conditions similar, if not identical, to those traditionally associated with attribution of moral fault, persons subject to such necessitating causal constraints generally are not considered responsible in the requisite sense for their conduct; and, thus, they are not held culpable (...) for its consequences. The standard argument against free choice asserts that free choice cannot exist because determinism, as a property of laws governing the cosmos, excludes such a possibility. This contingent factual claim, however, has always proven problematic. Contemporary discussions - no doubt aware of this disputed factual premise - draw upon a more novel, and arguably more devastating critique: free will must be rejected because its very conception is incoherent. Rather than assuming the existence of determinism and attempting to show its incompatibility with free will, this argument begins with consideration of the idea of free choice and concludes that, if it is to have any sense at all, it must be compatible with determinism. Obviously, no single treatment of the free will problem could address all its nuances. This Article more modestly offers one possible approach to the question. Part I elaborates in more detail the view that the traditional conception of free choice is incoherent and, thus, inevitably undermines the very responsibility it is asserted to constitute; Part II considers the resulting effort to develop a model of human freedom compatible with determinism; and Part III, drawing upon the prior discussions, describes - in terms of classical action theory - a conception of free choice justifying personal moral and legal responsibility that avoids both the incoherence of "uncaused freedom" as well as the shortcomings of determinism. (shrink)

A brief study of Saul Steinberg’s works on shadows and reflections, and of the seemingly paradoxical world that emerges from such works.

Italian translation of "Conjunction and Contradiction" (2004), by Francesco Berto.

The Doctrine of Potential Parts says that proper undetached parts are merely potential entities, entities that do not exist but would exist if they were detached from the rest. They are just aspects of the whole to which they belong, ways in which the whole could be broken down, and talk of such parts is really just talk about the modal properties of the whole. Here I offer a reconstruction of this doctrine and present an argument to illustrate its hidden (...) kinship with another, parallel but independent doctrine Doctrine of Potential Wholes. According to this second doctrine, disconnected wholes (i.e., wholes that are not in one piece) are in turn potential entities, entities that do not exist but would exist if their parts were suitably conjoined. (shrink)

There are more things between heaven and earth than are dreamt of in our philosophy, says Hamlet. Right. But there are also philosophies that have dreamt of things that are neither here nor there, as Goodman says. There is a danger of suffering from ontological myopia just as there is a danger of suffering from ontological allucination. This paper is about some basic strategies that are available to (or have been elaborated by) philosophers to steer clear of both dangers in (...) their efforts to draw up a good inventory of what there is. (shrink)

An imaginary dialogue between Andrea Bonomi and Gonzalo Pirobutirro (the main character of Gadda’s novel La cognizione del dolore) aiming to challenge Bonomi’s tenet that a work of fiction defines a domain of objects which is closed with respect to the actual world.

If the question is: what is to be done for philosophy?, then it calls for a political answer and I have little to say besides the obvious. If the question is: what is to be done in philosophy?, then I’m stuck. Drawing up a list of to-do’s and not-to-do’s would not, I think, be a good way to honor the general conception of philosophy that inspired Topoi throughout these years, and that I deeply share.

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.

Dialogamos con Cintia Rodríguez Garat, quien obtuvo el Primer Premio Bioética 2023 de la Fundación Jaime Roca por su trabajo “Resiliencia y salud pública de las mujeres mapuce ante el cambio climático. Un análisis desde una perspectiva intercultural, participativa y de derechos humanos”.

An essay review of Gila Sher's *Logical Consequence*.

Recent conversation has blurred two very different social epistemic phenomena: echo chambers and epistemic bubbles. Members of epistemic bubbles merely lack exposure to relevant information and arguments. Members of echo chambers, on the other hand, have been brought to systematically distrust all outside sources. In epistemic bubbles, other voices are not heard; in echo chambers, other voices are actively undermined. It is crucial to keep these phenomena distinct. First, echo chambers can explain the post-truth phenomena in a way that epistemic (...) bubbles cannot. Second, each type of structure requires a distinct intervention. Mere exposure to evidence can shatter an epistemic bubble, but may actually reinforce an echo chamber. Finally, echo chambers are much harder to escape. Once in their grip, an agent may act with epistemic virtue, but social context will pervert those actions. Escape from an echo chamber may require a radical rebooting of one's belief system. (shrink)

Hostile epistemology is the study of how environmental features exploit our cognitive vulnerabilities. I am particularly interested in those vulnerabilities arise from the basic character of our epistemic lives. We are finite beings with limited cognitive resources, perpetually forced to reasoning a rush. I focus on two sources of unavoidable vulnerability. First, we need to use cognitive shortcuts and heuristics to manage our limited time and attention. But hostile forces can always game the gap between the heuristic and the ideal. (...) Second, we need to trust others, and trust makes us vulnerable. In particular, we need to trust experts whose expertise lies beyond our individual ability to vet. So we must rely on various imperfect signals and proxies, like institutional affiliation, to manage our trust. We are forced to use these imperfect and exploitable forms of reasoning, in order to cope with a cognitively overwhelming world. I present the hostile epistemology framework as a counterbalance to vice epistemology, which tends to locate responsibility for bad beliefs in the character of the believer. I draw two conclusions from my analysis. First: suppose we accept that that only communities and institutions can know about the world. This deeply social approach doesn’t solve the problem of expert identification. The individual still faces a problem: given their incomplete understanding, how should the individual pick which group to trust? Second: we might have hoped to get some kind of static picture of the right principles of reasoning — but hostile epistemology presents a different picture. We have to use risky heuristics and shortcuts, which hostile forces can game and exploit. We can respond by shifting to a different set of heuristics, but this simply shifts the location of our vulnerabilities. These new heuristics are also exploitable. There is no end to this, only a constant struggle to adapt. Limited beings in a hostile epistemic environment are locked in an unending epistemic arms race. (shrink)

Roberto Cordeschi, La scoperta dell’artificiale. Psicologia, filosofia e macchine intorno alla cibernetica, Milano, Masson–Dunod, 1998, pp. 320; Domenico Parisi, Mente: I nuovi modelli della Vita Artificiale, Bologna, Il Mulino, 1999, pp. 200.

According to most accounts of trust, you can only trust other people (or groups of people). To trust is to think that another has goodwill, or something to that effect. I sketch a different form of trust: the unquestioning attitude. What it is to trust, in this sense, is to settle one’s mind about something, to stop questioning it. To trust is to rely on a resource while suspending deliberation over its reliability. Trust lowers the barrier of monitoring, challenging, checking, (...) and questioning. Trust sets up open pipelines between yourself and parts of the external world. Trust permits external resources to have a similar relationship to one as one’s internal cognitive faculties. This creates efficiency, but at the price of exquisite vulnerability. We must trust in this way because we are cognitively limited beings in a cognitively overwhelming world. Crucially, we can hold the unquestioning attitude towards objects and technologies. When I trust my climbing rope, I stop worrying about its reliability. When I trust my online calendaring system, I simply go to the events indicated, without question. But, one might worry, how could one ever hold such a normatively loaded attitude as trust towards mere objects? How could it ever make sense to feel betrayed by an object? Trust is our engine for expanding and outsourcing our agency — for binding external processes into our practical selves. Thus, we can be betrayed by our smartphones in the same way that we can be betrayed by our memory. When we trust, we try to make something a part of our agency, and we are betrayed when our part lets us down. To unquestioningly trust something is to let it in—to attempt to bring it inside one’s practical functioning. This suggests a new form of gullibility: agential gullibility, which occurs when agents too hastily and carelessly integrate external resources into their own agency. (shrink)