Pluralists believe in the occurrence of numerically distinct spatiotemporal coincident objects. They argue that there are coincident objects that share all physical and spatiotemporal properties and relations; nevertheless, they differ in terms of modal and some other profiles. Appealing to the grounding problem according to which nothing can ground the modal differences between coincident objects, monists reject the occurrence of coincident objects. In the first part of this paper, I attempt to show (...) that the dispute between monists and pluralists cannot be settled based upon the grounding problem tout court. I argue that the grounding problem or a very similar problem is a challenge for all monists and pluralists alike if they are ontologically committed to the existence of composite objects as independent entities. In the final part, adopting the Aristotelian account of essence, I propose a solution that enables pluralists to plausibly ground modal differences between coincident objects. (shrink)

According to strong pluralism, objects distinct by virtue of their modal properties can coincide. The most common objection towards such view invokes the so-called Grounding Problem according to which the strong pluralist needs to explain what the grounds are for supposed modal differences between the coincidents. As recognized in the literature, the failure to provide an answer to the Grounding Problem critically undermines the plausibility of strong pluralism. Moreover, there are strong reasons to believe that strong pluralists cannot provide (...) an explanation of the Grounding Problem. In this paper, we argue that strong pluralism can be motivated independently of the successful answer to the Grounding Problem. In order to achieve that aim, we provide a haecceitistic interpretation of strong pluralism according to which strong pluralism should be read as a position committed to the existence of primitive individuals, i.e., the individuals that have their criteria of individuation independently of their qualitative profiles. That said, we do not aim at defending haecceitism. Instead, our aim is rather modest: we want to provide a new way for the strong pluralist to supplement his view to make it more watertight. (shrink)

Imagine two objects, a lump of clay called Lumpl and a statue named Goliath, which are created and destroyed simultaneously, sharing all spatiotemporal properties. Despite their complete coincidence throughout existence, they appear to possess different properties, leading to a philosophical debate among metaphysicians. Monists argue for their identity, while pluralists deny it. Pluralists face the challenge of explaining the differences between these coincident objects, while monists must account for the modal differences if they are identical. Monists often (...) turn to Lewisean modal realism to reject pluralism and explain the differences, claiming it offers qualitative parsimony. However, I will argue that Lewisean modal realism is not truly parsimonious and cannot be used to reject pluralism and explain the modal differences between Lumpl and Goliath due to inherent circularity in the theory. (shrink)

I consider some of the objections that have been raised against a conceptualist solution to the “grounding problem”, I address in particular two objections that I call Conceptual Validity and Instantiation, and I attempt to answer them on behalf of the conceptualist. My response, in a nutshell, is that the first of these objections fails because it ascribes to the conceptualist some commitments that do not really follow from the view’s basic insight, while the second objection also fails because it (...) denies the conceptualist resources that the alternative positions are allowed to use. (shrink)

This paper lays out the basic structure of any view involving coincident entities, in the light of the grounding problem. While the account is not novel, I highlight fundamental features, to which attention is not usually properly drawn. With this in place, I argue for a number of further claims: The basic differences between coincident objects are modal differences, and any other differences between them need to be explained in terms of these differences. More specifically, the basic (...) difference is not a difference in sort. A number of recent defenses of coincidence, which share the basic structure I outline, misidentify what, in their accounts, plays the basic role of addressing the grounding problem. More tentatively, I argue Coincident entities differ only in these modal properties, and properties they entail. In particular, they do not differ in properties like ‘being a tree,’ ‘being a statue,’ or aesthetic properties, and finally in light of how the account of coincidence offered addresses the grounding problem, the grounding problem provides no reason to prefer monism to pluralism. (shrink)

This paper presents and defends an account of the coincidence of biological organisms with mereological sums of their material components. That is, an organism and the sum of its material components are distinct material objects existing in the same place at the same time. Instead of relying on historical or modal differences to show how such coincident entities are distinct, this paper argues that there is a class of physiological properties of biological organisms that their coincident mereological (...) sums do not have. The account answers some of the most pressing objections to coincidence, for example the so-called grounding problem , that material coincidence seems to require that coinciding objects have modal differences that do not supervene on any other properties. (shrink)

Fairchild (2019) advertised the humility of material plenitude, arguing that despite the profligate ontology of coincident objects it entails, the best version of plenitude is one that takes no stand on a range of nearby questions about modality and coincidence. Roughly, the thought is that plenitude says only that there are coincident objects corresponding to every consistent pattern of essential and accidental properties. Plenitude says (or should say) nothing about which patterns those might be, and so (...) should be compatible with any reasonable hypothesis about which combinations of properties it is possible for something to have. I argued in the earlier paper that a particular formulation of the target view (Global Plenitude) has exactly that virtue. But, unfortunately, Global Plenitude turns out not to be very humble at all. Global Plenitude is incompatible with an exceptionally compelling hypothesis about coincidence: that there are some things which coincide, but might not have. Scandal ensues. (shrink)

In this paper we present a new metaphysical theory of material objects. On our theory, objects are bundles of property instances, where those properties give the nature or essence of that object. We call the theory essential bundle theory. Property possession is not analysed as bundle-membership, as in traditional bundle theories, since accidental properties are not included in the object’s bundle. We have a different story to tell about accidental property possession. This move reaps many benefits. Essential bundle (...) theory delivers a simple theory of the essential properties of material objects; an explanation of how object coincidence can arise; an actual-world ground for modal differences between coincident objects; a simple story about intrinsic properties; and a plausible account of certain ubiquitous cases of causal overdetermination. (shrink)

It is uncontroversial that artifacts like statues and tables are mind-dependent. What is controversial is whether and how this mind-dependence has implications for the ontology of artifacts. I argue the mind-dependence of artifacts entails that there are no artifacts or artifact joints in the extra-mental world. In support of this claim, I argue that artifacts and artifact joints lack any extra-mental grounding, and so ought not to have a spot in a realist ontology. I conclude that the most plausible story (...) about artifacts is that they are in minds of suitably intelligent creatures, and not the extra-mental world. Artifacts and their joints are merely mental projections onto a world of ‘indifferent materials’. With this established, I show how many cases of object coincidence, the view that more than one material object can be located in the same exact region of space-time, cannot occur. (shrink)

Meta-ontology (in van Inwagen's sense) concerns the methodology of ontology, and a controversial meta-ontological issue is to what extent ontology can rely on linguistic analysis while establishing the furniture of the world. This paper discusses an argument advanced by some ontologists (I call them unifiers) against supporters of or coincident entities (I call them multipliers) and its meta-ontological import. Multipliers resort to Leibniz's Law to establish that spatiotemporally coincident entities a and b are distinct, by pointing at a (...) predicate F () made true by a and false by b . Unifiers try to put multipliers in front of a dilemma: in attempting to introduce metaphysical differences on the basis of semantic distinctions, multipliers either (a) rest on a fallacy of verbalism, entailed by a trade-off between a de dicto and a de re reading of modal claims, or (b) beg the question against unifiers by having to assume the distinction between a and b beforehand. I shall rise a tu quoque, showing that unifiers couldn't even distinguish material objects (or events) from the spatiotemporal regions they occupy unless they also resorted to linguistic distinctions. Their methodological aim to emancipate themselves from linguistic analysis in ontological businesses is therefore problematic. (shrink)

If the laws of nature are as the Humean believes, it is an unexplained cosmic coincidence that the actual Humean mosaic is as extremely regular as it is. This is a strong and well-known objection to the Humean account of laws. Yet, as reasonable as this objection may seem, it is nowadays sometimes dismissed. The reason: its unjustified implicit assignment of equiprobability to each possible Humean mosaic; that is, its assumption of the principle of indifference, which has been attacked on (...) many grounds ever since it was first proposed. In place of equiprobability, recent formal models represent the doxastic state of total ignorance as suspension of judgment. In this paper I revisit the cosmic coincidence objection to Humean laws by assessing which doxastic state we should endorse. By focusing on specific features of our scenario I conclude that suspending judgment results in an unnecessarily weak doxastic state. First, I point out that recent literature in epistemology has provided independent justifications of the principle of indifference. Second, given that the argument is framed within a Humean metaphysics, it turns out that we are warranted to appeal to these justifications and assign a uniform and additive credence distribution among Humean mosaics. This leads us to conclude that, contrary to widespread opinion, we should not dismiss the cosmic coincidence objection to the Humean account of laws. (shrink)

Agent-causal libertarians maintain we are irreducible agents who, by acting, settle matters that aren’t already settled. This implies that the neural matters underlying the exercise of our agency don’t conform to deterministic laws, but it does not appear to exclude the possibility that they conform to statistical laws. However, Pereboom (Noûs 29:21–45, 1995; Living without free will, Cambridge University Press, Cambridge, 2001; in: Nadelhoffer (ed) The future of punishment, Oxford University Press, New York, 2013) has argued that, if these neural (...) matters conform to either statistical or deterministic physical laws, the complete conformity of an irreducible agent’s settling of matters with what should be expected given the applicable laws would involve coincidences too wild to be credible. Here, I show that Pereboom’s argument depends on the assumption that, at times, the antecedent probability certain behavior will occur applies in each of a number of occasions, and is incapable of changing as a result of what one does from one occasion to the next. There is, however, no evidence this assumption is true. The upshot is the wild coincidence objection is an empirical objection lacking empirical support. Thus, it isn’t a compelling argument against agent-causal libertarianism. (shrink)

This article offers a novel, conservative account of material constitution, one that incorporates sortal essentialism and features a theory of dominant sortals. It avoids coinciding objects, temporal parts, relativizations of identity, mereological essentialism, anti-essentialism, denials of the reality of the objects of our ordinary ontology, and other departures from the metaphysic implicit in ordinary ways of thinking. Defenses of the account against important objections are found in Burke 1997, 2003, and 2004, as well as in the often neglected (...) six paragraphs that conclude section V of this article. (shrink)

In this paper I present and critically discuss Simon Evnine’s account of hylomorphically complex objects (as presented in his 2016 book Making Objects and Events). On the one hand, I object to the account he gives of how artifacts (which are for him the paradigmatic cases of hylomorphically complex objects) allegedly acquire their existence and identity conditions. I elaborate on two problems I see for this account: first, that it seems unable to explain our knowledge of the (...) kinds to which artifacts belong; second, that it cannot offer a plausible solution to the grounding problem for coincident objects. I also object to the way in which he tries to adapt the sort of account he gave for artifacts to the case of organisms (in my view this fails because both cases are dissimilar at crucial points), and finally I also object to his attempt to extend that account, in a fictional way, to the case of natural non-organic objects (as I try to show, both his arguments to the effect that there are no such objects, and his positive fictionalist proposal to account for our talk about them, are flawed). (shrink)

The phasalist solution to the puzzle of the statue and the piece of clay claims that being a statue is a phase sortal property of the piece of clay, just like being a child is a phase sortal property of a human being. Some philosophers reject this solution because it cannot account for cases where the statue seems to gain and lose parts that the piece of clay does not. I rebut this objection by arguing, contrary to the prevailing view, (...) that the piece of clay is not mereologically constant and might even be highly mereologically flexible. (shrink)

Endurantism, the view that material objects are wholly present at each moment of their careers, is under threat from supersubstantivalism, the view that material objects are identical to spacetime regions. I discuss three compromise positions. They are alike in that they all take material objects to be composed of spacetime points or regions without being identical to any such point or region. They differ in whether they permit multilocation and in whether they generate cases of mereologically (...) class='Hi'>coincident entities. (shrink)

Standard theories in mereotopology focus on relations of parthood and connection among spatial or spatio-temporal regions. Objects or processes which might be located in such regions are not normally directly treated in such theories. At best, they are simulated via appeal to distributions of attributes across the regions occupied or by functions from times to regions. The present paper offers a richer framework, in which it is possible to represent directly the relations between entities of various types at different (...) levels, including both objects and the regions they occupy. What results is a layered mereotopology, a theory which can handle multiple layers (analogous to the layers of a lasagna) of spatially or spatiotemporally coincident but mereologically non-overlapping entities. (shrink)

Gottlob Frege and Edmund Husserl are two seemingly different philosophers in their methodology. Both have significantly influenced Western philosophy in that their contributions established fields within philosophy that are of intensive study today. Still, their differences in methodology have, in certain instances, yielded similar or distinct results. Their results ranged from the distinction of sense and reference, objectivity, and the theory of mathematics: specifically, their definition of number. Frege and Husserl have such striking similarities in their theory of sense and (...) reference and related notions that from their apparent correspondence, Frege seems to have acknowledged the coincidences in their theories (Frege & Kluge, 1972) (Hill & Rosado Haddock Intro, 4, & 30-33). That is not to say there are exact parallels between Frege and Husserl and their results, as I will acknowledge their similarities and differences within scale. So, I intend to demonstrate their respective theories and results descriptively to show their likenesses while still recognizing their divergences in scope and methodology. Indirectly, I would also hope to illustrate the ties, in terms of subject matter, of these two philosophers who are historically considered at odds with one another; be it personally, in their schools of philosophy, or methodologically (Hartimo 47-53). (shrink)

On the most popular account of material constitution, it is common for a material object to coincide precisely with one or more other material objects, ones that are composed of just the same matter but differ from it in sort. I argue that there is nothing that could ground the alleged difference in sort and that the account must be rejected.

In De Anima II.6, Aristotle divides the objects of perception into three kinds: “special perceptibles" (idia aisthêta) such as colours, sounds and flavours, which can be perceived in their own right by only one sense; “common perceptibles" (koina aisthêta) such as shapes, sizes and movements, which can be perceived in their own right by multiple senses; and “incidental perceptibles,” such as the son of Diares, which can be perceived only “incidentally” (kata sumbebêkos). In this paper, I examine this division (...) of perceptibles and consider what it amounts to. First, I argue that Aristotle’s distinction between perceiving something in its own right (kath' hauto) and perceiving it incidentally marks a causal distinction: what is perceived in its own right causes perception as such, whereas what is perceived incidentally coincides with what is perceived in its own right. Second, I argue that for Aristotle special perceptibles, unlike common perceptibles, belong to homogeneous bodies on account of their chemical composition. Finally, I explain the primacy Aristotle assigns to special perceptibles and his claim that perception of them alone is free from error. I conclude with some brief remarks on Aristotle and the primary/secondary quality distinction. (shrink)

Mereological nihilism is the view that no objects have proper parts. Despite how counter‐intuitive it is, it is taken quite seriously, largely because it solves a number of puzzles in the metaphysics of material objects – or so its proponents claim. In this article, I show that for every puzzle that mereological nihilism solves, there is a similar puzzle that (a) it doesn’t solve, and (b) every other solution to the original puzzle does solve. Since the solutions to (...) the new puzzles apply just as well to the old puzzles, the old puzzles provide no motivation to be a mereological nihilist. (shrink)

In the worlds of philosophy, linguistics, and communications theory, a view has developed which understands conscious experience as experience which is 'reflected' back upon itself through language. This indicates that the consciousness we experience is possible only because we have culturally invented language and subsequently evolved to accommodate it. This accords with the conclusions of Daniel Dennett (1991), but the 'hermeneutic objection' would go further and deny that the objective sciences themselves have escaped the hermeneutic circle. -/- The consciousness we (...) humans experience is developed only within the context of crossing the 'symbolic threshold' (Percy 1975; Deacon 1997) and one of the earliest and most important symbols we acquire is that of the self, or 'the subject of experience'. It is only when we achieve self-awareness that the world, as such, comes to exist for us as an object (which contains categories and sub-categories of objects). Any consciousness imputed to prelinguistic stages of development is based on projection and guesswork, since we can know nothing directly of it. It can be said that any experience which does not separate an inner subject from an outer world is probably a continuum of sensation in which environmental stimulus and instinctive response are experienced as a unity; it may be 'lived experience' but it is experience 'lived' non-consciously. -/- Speech requires assertion and by learning to speak we find ourselves asserting, in essence, our selves into the world. The narrative form of language allows us to develop life stories, self-knowledge, and, most important, narrative memory coincident with narrative time. All this is made possible with the intersubjective 'net' of language which allows us to know ourselves by first identifying with the viewpoint of others; and, later, such allows us to identify with other minds as we anticipate their reception our communication. These three, assertion, narrative, and intersubjectivity are the essence of what language is and are the keystones that make culture possible outside of nature. (shrink)

Logical pluralism is the view that there is more than one correct logic. Most logical pluralists think that logic is normative in the sense that you make a mistake if you accept the premisses of a valid argument but reject its conclusion. Some authors have argued that this combination is self-undermining: Suppose that L1 and L2 are correct logics that coincide except for the argument from Γ to φ, which is valid in L1 but invalid in L2. If you accept (...) all sentences in Γ, then, by normativity, you make a mistake if you reject φ. In order to avoid mistakes, you should accept φ or suspend judgment about φ. Both options are problematic for pluralism. Can pluralists avoid this worry by rejecting the normativity of logic? I argue that they cannot. All else being equal, the argument goes through even if logic is not normative. (shrink)

A number of prominent metaphysicians have recently defended the idea of material plenitude: wherever there is one material object, there is in fact a great multitude of them, all coincident and sharing many properties, but differing in which of these properties they have essentially and which accidentally. The main goal of this paper is to put on the agenda an important theoretical decision that plenitudinists face, regarding whether their plenitude is egalitarian or elitist, depending on whether or not they (...) take all objects that coincide at a certain location to be in some sense ontologically on a par. Many current proponents of plenitude tend toward egalitarianism. But current proponents often also point to an Aristotelian tradition they claim to carry on; indeed, the view is sometimes referred to as “neo-Aristotelian plenitude.” By examining some of the historical protagonists of Aristotelian plenitude, however, I show that they defended rather an elitist form of plenitude, wherein a single coincident is ontologically privileged in every occupied region. In the final section of the paper, I also try to articulate the basic motivation for each outlook, by way of initiating discussion of which view plenitudinists should believe. (shrink)

In a series of articles, Kit Fine presents some highly compelling objections to monism, the doctrine that spatially coincident objects are identical. His objections rely on Leibniz’s Law and linguistic environments that appear to be immune to the standard charge of non-transparency and substitution failure. In this paper, I respond to Fine’s objections on behalf of the monist. Following Benjamin Schnieder, I observe that arguments from Leibniz’s Law are valid only if they involve descriptive, rather than metalinguistic, negation. (...) Then I show that the monist is justified in treating the negation in Fine’s objections as metalinguistic in nature. Along the way I make a few methodological remarks about the interaction between the study of natural language and metaphysics. I also present evidence that some of the linguistic environments which Fine relies on are, contrary to appearances, non-transparent. (shrink)

Pluralists about coincident entities say that distinct entities may be spatially coincident throughout their entire existence. The most pressing issue they face is the grounding problem. They say that coincident entities may differ in their persistence conditions and in the sortals they fall under. But how can they differ in these ways, given that they share all their microphysical properties? What grounds those differences, if not their microphysical properties? Do those differences depend only on the way we (...) conceptualise those objects? Are they primitive facts about reality? Neither option is pleasant for the pluralist, but what else can she say? To respond to the grounding problem, the pluralist should first tell a story about what material objects are. If that story explains how the modal and sortal properties of objects are grounded, in a way that allows for differences between coincident objects, then she has a response to the problem. That is precisely my aim in this paper. (shrink)

This paper reviews four leading strategies for addressing the problem of material constitution, along with some of the prominent objections faced by each approach. Sections include (1) "The Orthodox View: Coincident Objects," (2) "Dominant Kinds," (3) "Nihilism," (4) "Revising the Logic of Identity," and (5) "Future Research." Also included is an annotated bibliography.

Recently, Cody Gilmore has deployed an ingenious case involving backwards time travel to highlight an apparent conflict between the theory that objects persist by perduring, and the thesis that wholly coincident objects are impossible. However, careful attention to the concepts of location and parthood that Gilmore’s cases involve shows that the perdurantist faces no genuine objection from these cases, and that the perdurantist has a number of plausible and dialectically appropriate ways to avoid the supposed conflict.

Some hold that musical works are fusions of, or coincide with, their performances. But if performances contain wrong notes, won't works inherit that property? We say ‘no’.

Are grounding claims fully general in character? If an object a is F in virtue of being G, does it follow that anything that’s G is F for that reason? According to the thesis of Weak Formality, the answer here is ‘yes’. In this paper, however, I argue that there is philosophical utility in rejecting this thesis. More exactly, I argue that two currently unresolved problems in contemporary metaphysics can be dealt with if we hold that there can be cases (...) of ‘kind-dependent grounding’, the key thought being that once we allow for such cases, we must also accept that Weak Formality is false. (shrink)

In Objects: Nothing Out of the Ordinary, Daniel Z. Korman defends a view he calls conservatism. Conservatives hold that there are ordinary objects, but no extraordinary objects. But Korman never explicitly characterizes what would qualify an object as ordinary in the relevant sense. We have some paradigm cases of ordinary objects, including tables, dogs, and trees; and we have some paradigm cases of extraordinary objects of sorts familiar from the philosophical literature. Here I attempt to (...) fill this gap, surveying a number of attempts to characterize the commitments of conservatism. All fail. In particular, no specification of what it takes for an object to be ordinary is both plausible and consistent with the conservative verdicts on the paradigms. I argue that this is no coincidence, since it turns out to be implausible in light of the results of settled science to deny the existence of one of Korman's paradigms of an extraordinary object. The upshot is that plausibility requires being a little more liberal than conservatism seems to allow. (shrink)

This book is an introduction to The Metaphysicist, the second Information Philosopher website, a work in progress on some classical questions in philosophy that 20th-century logical positivists and analytic language philosophers dis-solved as pseudo-problems. -/- The Metaphysicist analyzes the information content in twenty classic problems in metaphysics - Abstract Entities, Being and Becoming, Causality, Chance, Change, Coinciding Objects, Composition (Parts and Wholes), Constitution, Free Will or Determinism, God and Immortality, Identity, Individuation, Mind-Body Problem, Modality, Necessity or Contingency, Persistence, Possibility (...) and Actuality, Space and Time, Truth, Universals, Vagueness, and the 20th-century problem of WaveParticle Duality. -/- The Metaphysicist also includes pages on the classic paradoxes and puzzles used for millennia to wrestle with these metaphysical problems The Debtor’s Paradox, Dion and Theon, The Growing Argument, The Infinite Regress, The Problem of the Many, The Ship of Theseus, The Sorites Puzzle, The Statue and the Clay, and Tibbles, the Cat. -/- Information philosophy is a new philosophical methodology that goes “beyond logic and language” to the underlying information structures in the cosmos, in the world, in biological systems, and in the human mind - structures without which logic, language, and science would be impossible. (shrink)

ABSTRACT One simple but relatively neglected solution to the notorious coincidence puzzle of the statue and the piece of clay claims that the property of being a statue is a phase sortal property that the piece of clay instantiates temporarily. I defend this view against some standard objections, by reinforcing it with a novel counterpart-theoretic account of identity under a sortal. This proposal does not require colocation, four-dimensionalism, eliminativism, deflationism, or unorthodox theses about classical identity.

Concrete particular objects (e.g., living organisms) figure saliently in our everyday experience as well as our in our scientific theorizing about the world. A hylomorphic analysis of concrete particular objects holds that these entities are, in some sense, compounds of matter (hūlē) and form (morphē or eidos). The Grounding Problem asks why an object and its matter (e.g., a statue and the clay that constitutes it) can apparently differ with respect to certain of their properties (e.g., the clay’s (...) ability to survive being squashed, as compared to the statue’s inability to do so), even though they are otherwise so much alike. In this paper, I argue that a hylomorphic analysis of concrete particular objects, in conjunction with a non-modal conception of essence of the type encountered for example in the works of Aristotle and Kit Fine, has the resources to yield a solution to the Grounding Problem. (shrink)

This article draws upon the work of Timothy Morton and Slavoj Žižek in order to critically examine how mountain bike trail builders orientated themselves within nature relations. Beginning with a discussion of the key ontological differences between Morton’s object-oriented ontology and Žižek’s blend of Hegelian-Lacanianism, we explore how Morton’s dark ecology and Žižek’s account of the radical contingency of nature, can offer parallel paths to achieving an ecological awareness that neither idealises nor mythologises nature, but instead, acknowledges its strange and (...) contingent form. Empirically, we support this theoretical approach in interviews with twenty mountain bike trail builders. These interviews depicted an approach to trail building that was ambivalently formed in/with the contingency of nature. In doing so, the trail builders acted with a sense of temporal awareness that accepted the radical openness of nature, presenting a ‘symbolic framework’ that was amiable to nature’s ambivalent, strange and contingent form. In conclusion, we argue that we should not lose sight of the ambivalences and strange surprises that emanate from our collective and unpredictable attempts to symbolize nature and that such knowledge can coincide with Morton’s ‘dark ecology’ – an ecological awareness that remains radically open to our ecological existence. (shrink)

I defend coincidentalism (the view that some pluralities have more than one mereological fusion) and restricted composition (the view that some pluralities lack mereological fusions) against recent arguments due to Theodore Sider.

The main objective of this PhD Thesis is to present a method of obtaining strong normalization via natural ordinal, which is applicable to natural deduction systems and typed lambda calculus. The method includes (a) the definition of a numerical assignment that associates each derivation (or lambda term) to a natural number and (b) the proof that this assignment decreases with reductions of maximal formulas (or redex). Besides, because the numerical assignment used coincide with the length of a specific sequence of (...) reduction - the worst reduction sequence - it is the lowest upper bound on the length of reduction sequences. The main commitment of the introduced method is that it is constructive and elementary, produced only through analyzing structural and combinatorial properties of derivations and lambda terms, without appeal to any sophisticated mathematical tool. Together with the exposition of the method, it is presented a comparative study of some articles in the literature that also get strong normalization by means we can identify with the natural ordinal methods. Among them we highlight Howard[1968], which performs an ordinal analysis of Godel’s Dialectica interpretation for intuitionistic first order arithmetic. We reveal a fact about this article not noted by the author himself: a syntactic proof of strong normalization theorem for the system of typified lambda calculus λ⊃ is a consequence of its results. This would be the first strong normalization proof in the literature. (written in Portuguese). (shrink)

The notorious problem of the many makes it difficult to resist the conclusion that almost coincident with any ordinary object are a vast number of near-indiscernible objects. As Unger was aware in his presentation of the problem, this abundance raises a concern as to how—and even whether—we achieve singular thought about ordinary objects. This paper presents, clarifies, and defends a view which reconciles a plenitudinous conception of ordinary objects with our having singular thoughts about those (...) class='Hi'>objects. Indeed, this strategy has independent application in the case of singular thoughts about other putatively ‘abundant’ phenomena, such as locations or lumps of matter. In essence, singular thought-vehicles need not express just one singular content. If there are many objects, one’s singular thought-vehicle may express as many thought-contents. (shrink)

This paper reexamines Kierkegaard's work with respect to the question whether truth is one or many. I argue that his famous distinction between objective and subjective truth is grounded in a unitary conception of truth as such: truth as self-coincidence. By explaining his use in this context of the term ‘redoubling’ [Fordoblelse], I show how Kierkegaard can intelligibly maintain that truth is neither one nor many, neither a simple unity nor a complex multiplicity. I further show how these points shed (...) much-needed light on the relationship between objective and subjective truth, conceived not as different kinds or species of truth but as different ways in which truth manifests itself as a standard of success across different contexts of inquiry. (shrink)

There is a remarkable coincidence in Augustine and Avicenna’s investigations into the nature of time. Despite the fact that Avicenna wrote in Arabic and Persian, was born in Central Asia more than five hundred years after the death of Augustine, and had no access to Augustine’s philosophical works, both consider a strikingly similar objection to the ontological dependence of time on the motion of the heavens.

Nearly a decade ago, Rafael Capurro has gradually shifted his attention towards the ideas of message and of messenger. In lieu of ‘information’, he proposes and develops a new direction of research he calls Angeletics that aims to examine the nature of message and messenger, both of which are inherently social. Coincidently, at about the same time, we witnessed the rise of social epistemology in Angelo-American analytic philosophy. This coincidence is interesting, because both Capurro’s Angeletics and social epistemology indicated a (...) departure from individualistic-orientedness in hermeneutics and traditional epistemology respectively. While social epistemology has earned its place and status in academia, especially in North America and Europe, Capurro’s Angeletics has yet to receive similar attention to which it deserves. Part of the reason for this, I think, is because of its formulation and terminology is relatively unfamiliar to those who do not share the same philosophical tradition. Hence, one remedy to this situation is to attempt to translate Angeletics in terms of social epistemology, and this – is the objective of the current paper. (shrink)

According to ambitious responsibilism (AR), the virtues that are constitutive of epistemic responsibility should play a central and fundamental role in traditional projects like the analysis of justification and knowledge. While AR enjoyed a shining moment in the mid-1990s, it has fallen on hard times. Part of the reason is that many epistemologists—including fellow responsibilists—think it paints an unreasonably demanding picture of knowledge and justification. I agree that such worries undermine AR's existing versions. But I think the curtains have been (...) prematurely drawn on the view. My goal is to show that the objections only threaten the periphery of certain versions of AR, and to develop a version that blocks them. With this goal in mind, here is the plan. I begin in §2 by clarifying the core commitments of AR and explain how influential responsibilists have added to these commitments in optional ways. In §3, I rehearse the standard objections to AR, explaining why they only impugn the add-ons. I turn in §4 to develop a version I call Kantian Responsibilism (KR). KR is a two-level view consisting of (i) a high-level analysis of epistemic normativity in responsibilist terms, and (ii) a first-order account of the conditions under which these terms apply. According to KR's first tier, epistemically virtuous thought is thought that manifests respect for truth; because I hold that manifesting certain reasons-sensitive dispositions is necessary and sufficient for respecting truth, KR's second tier takes epistemic virtues to coincide substantively with reasons-sensitive dispositions. After unpacking KR in §4, I show in §5 how it answers the objections to AR. I close in §6 by making some broader points about KR's virtues, especially when compared with reliabilist views. (shrink)

Population axiology is the study of the conditions under which one state of affairs is better than another, when the states of affairs in ques- tion may differ over the numbers and the identities of the persons who ever live. Extant theories include totalism, averagism, variable value theories, critical level theories, and “person-affecting” theories. Each of these the- ories is open to objections that are at least prima facie serious. A series of impossibility theorems shows that this is no coincidence: (...) it can be proved, for various sets of prima facie intuitively compelling desiderata, that no axiology can simultaneously satisfy all the desiderata on the list. One’s choice of population axiology appears to be a choice of which intuition one is least unwilling to give up. (shrink)

[ES] Nicolai Hartmann es uno de los filósofos más significativos en la filosofía contemporánea; empero, en la actualidad es poco conocido por nuestro mundo filosófico, posiblemente debido a que el esplendor de su filosofía coincidió con el naciente giro lingüístico y con el apogeo del existencialismo, los cuales, como se sabe, absorbieron gran parte de la atención y del quehacer filosófico de la época. Lo anterior, de una u otra manera ha dificultado el conocimiento objetivo de su obra. Es por (...) este motivo, que en este breve trabajo, me propongo presentar en forma esquemática una apostilla sobre su vida y su obra —y no una biografía completa—, que nos permita sentar las bases histórico-filosóficas para una primera aproximación a algunas de sus preocupaciones filosóficas. Esta aproximación se completa, en la parte final del trabajo, con una breve relación bibliográfica de algunos estudios introductorios a su vida y obra. [EN] Nicolai Hartmann is one of the most significant philosophers in contemporary philosophy; however, today is little known by our philosophical world, possibly because the splendor of his philosophy coincided with the nascent linguistic turn and the heyday of existentialism, which, as is known, absorbed much of the attention and philosophical work of the time. This, in one way or another has hindered the objective knowledge of his work. It is for this reason that in this short paper, I intend to present in schematic form a commentary on his life and his work —and not a full biography—, that allows us to lay the historical and philosophical foundations for a first approach to some of its philosophical concerns. This approach is completed at the end of the work, with a brief bibliographical note with some introductory studies to his life and work. (shrink)

Recently, many philosophers have been interested in using locative relations to clarify and pursue debates in the metaphysics of material objects. Most begin with the relation of exact location. But what if we begin instead with the relation known as weak location – the relation an object x bears to any region not completely bereft of x? I explore some of the consequences of pursuing this route for issues including coincidence, extended simples, and endurance, with an eye to evaluating (...) the prospects for taking weak location as our fundamental locative relation. (shrink)

(Updated 5/23/24) This unpublished paper, which readers should feel free to cite, is posted primarily for the historical record. In recent work that has, deservedly, received some attention, Paul R. Daniels presents and defends a non-standard theory of persistence that he dubs transdurantism, according to which persisting objects are temporally extended simples. This is exactly what I do in work dating back to Spring 2004. (This work includes this version of this paper, as well as later version that was (...) presented to the University of Rochester's Philosophy Department in 2005.) While this might be a total coincidence, I doubt that it is, especially given that 'transdurantism' appears as a name for a theory of persistence associated with me in at least two places in the literature, one of which includes a citation of this paper. The paper begins with a discussion of what I call 'locative relations' (the relations borne by material objects to the regions of space and time they occupy), which draws relevant distinctions that others have failed to draw. The results of this discussion are then used in constructing spatial analogues for the three established theories of persistence--endurantism, perdurantism, and exdurantism--as well as for transdurantism. Next, these four views concerning persistence are explicitly formulated and a defense of their formulation is offered. Finally, transdurantism's advantages and disadvantages relative to the other theories are discussed. The main goal of the paper is to challenge the trichotomy between the established theories by arguing that transdurantism is also a viable view concerning persistence through time. [Note: Befitting its status as a historical document, with the exception of some light editing to fix typos that might impede understanding, no changes have been made to the paper.]. (shrink)

Predictive processing theorists have claimed PTSD and depression are maladaptive and epistemically distorting because they entail undesirably wide gaps between top-down models and bottom-up information inflows. Without denying this is sometimes so, the “maladaptive” label carries questionable normative assumptions. For instance, trauma survivors facing significant risk of subsequent attacks may overestimate threats to circumvent further trauma, “bringing forth” concretely safer personal spaces, to use enactive terminology, ensuring the desired gap between predicted worries and outcomes. The violation of predictive processing can (...) go in the opposite direction too, as when depression coincides with energy-depletion, and hence objectively strenuous situations in which things look farther away because they are (accurately anticipated to be) harder to reach. These examples partly encapsulate what predictive processing theorists call “active inference,” yet with differences. In the first case, actions fruitfully obviate predictions rather than fulfilling them. In the second, mental models do not dysregulate bodily processes, making coping harder. Instead, problems (e.g., personal obstacles, gastric illness) deplete energy, eliciting a depressive and adaptive slow-down. Some predictive proponents apply correspondence criteria when alleging mismatches between internal models and the world, while incongruously asserting that the brain did not evolve to see things veridically, but to execute actions. An alternative is to adopt pluralistic, pragmatic epistemologies suited to the complexity of mind. The upshot is that mental outlooks can depart from the norm without epistemically being distorted and that mismatches between anticipatory worries and outcomes, when they actually exist, can be a measure of adaptive and epistemic success. (shrink)

Higher-order logic augments first-order logic with devices that let us generalize into grammatical positions other than that of a singular term. Some recent metaphysicians have advocated for using these devices to raise and answer questions that bear on many traditional issues in philosophy. In contrast to these 'higher-order metaphysicians', traditional metaphysics has often focused on parallel, but importantly different, questions concerning special sorts of abstract objects: propositions, properties and relations. The answers to the higher-order and the property-theoretic questions may (...) coincide sometimes but will often come apart. I argue that when they do, the higher-order questions are closer to the metaphysical action and so it would be better for these debates to proceed in higher-order terms. (shrink)

One of the standard puzzles in ordinary-object metaphysics concerns what happens when an object and one of its undetached parts apparently begin to coincide. I distinguish two versions of this puzzle: the problem of extraordinary undetached parts and the problem of ordinary undetached parts. Then I present a novel phasalist solution to the problem of ordinary undetached parts. My solution is designed to supplement the recently-defended view that ordinary undetached parts exist but extraordinary ones do not.