Material Objects, Misc

The author challenges both the eliminative idealist's contention that physical objects do not exist and the phenomenalist idealist's view that statements about physical objects are translatable into statements about private mental experiences. Firstly, he details how phenomenalist translations are parasitic on the realist assumption that physical objects exist independently of experience. Secondly, the author confronts eliminative idealism head on by exposing its heuristic sterility in contrast with realism's predictive success.

The universe is full of beings. Throughout the history of philosophy and of human thought many have sought ways to articulate this multiplicity and unity of being. The result, in western philosophy at least, was the birth of Metaphysics in general, and Ontology in particular. In the past, the discourse on being became very abstract such that it had no resemblance to being as encountered every day. Martin Heidegger (1889-1976), set out to re-orient being towards the lived experience. He called (...) his being Da-sein, which literally means “being there”. Heidegger emphasized that being as expressed in Da-sein lacked authenticity and was plagued with anxiety. To correct the defective Da-sein, Heidegger proposed taking Da-sein back to its origin. Emmanuel Levinas (1906-1995), too set out to bridge the gap between the being of ontology and the being of the lived experience. Levinas went further than Heidegger by en-fleshing Da-sein. In the end Levinas developed a philosophy of the Face. The Face for him was where beings met. To be in the world then was to be a Face in interaction. This interaction is sufficient-reason for the self-expression of the Face on both sides of the encounter. With this encounter, the Face has a choice, either to withdraw or to stand ground and throw itself out there. In this, paper I will interpretatively juxtapose Heidegger’s Da-sein and Levinas’ Face. I will affirm the work of these two philosophers and draw my own inferences from their conclusions. The specific inferences that I will draw are: (a) To be is to be in contradiction. (b) There is a cosmic sympathy among beings. (c) Everyday being is infinite and Transcendent. I am aware that there was an active dialogue between Heidegger and Levinas, with the latter taking exception to the political implications of the former’s philosophy. In this paper, I will stick to elements of their thoughts from which I to draw specific conclusions. (shrink)

We argue that, insofar as one accepts either supersubstantivalism or strong composition as identity for the usual reasons, one has (defeasible) reasons to accept the other as well. Thus, all else being equal, one ought to find the package that combines both views—the Identity Package—more attractive than any rival package that includes one, but not the other, of either supersubstantivalism or composition as identity.

We have a mentalistic view of objects. This is due to the interdependence of folk psychology and folk physics, where these are interconnected by what I call Teleological Commingling. When considering events that don’t involve agents, we naturally default to tracking intentions, goal-directed processes, despite the fact that agents aren’t involved. We have a deep-seated intentionality bias which is the result of the pervasive detection of agency cues, such as order or non-randomness. And this gives rise to the Agentive Worldview: (...) we view nature as a whole as being infused with agency and purpose. Teleological Commingling and the Agentive Worldview it gives rise to are at the core of our conception of objects. I maintain that the ordinary view of material objects is rooted in an implicit, false theory. It should be given no weight in metaphysical debates about the nature of material objects. And this problematizes the central methodological assumption that metaphysical theories of material objects should be beholden to common sense. (shrink)

Many philosophers insist that the revisionary metaphysician—i.e., the metaphysician who offers a metaphysical theory which conflicts with folk intuitions—bears a special burden to explain why certain folk intuitions are mistaken. I show how evidence from cognitive science can help revisionist discharge this explanatory burden. Focusing on composition and persistence, I argue that empirical evidence indicates that the folk operate with a promiscuous teleomentalist view of composition and persistence. The folk view, I argue, deserves to be debunked. In this way, I (...) take myself to have illustrated one key role cognitive science can play in metaphysics; namely by helping the revisionary metaphysician discharge the explanatory burden of providing a plausible explanation of how the folk have gone wrong. (shrink)

The Causal Exclusion Problem is raised in many domains, including in the metaphysics of macroscopic objects. If there is a complete explanation of macroscopic effects in terms of the microscopic entities that compose macroscopic objects, then the efficacy of the macroscopic will be threatened with exclusion. I argue that we can avoid the problem if we accept that macroscopic objects are ontically vague. Then, it is indeterminate which collection of microscopic entities compose them, and so information about microscopic entities is (...) insufficient to provide a complete explanation of certain properties of macroscopic objects. After outlining this solution, I consider several objections. (shrink)

Philosophers sometimes give arguments that presuppose the following principle: two theories can fail to be empirically equivalent on the sole basis that they present different “thick” metaphysical pictures of the world. Recently, a version of this principle has been invoked to respond to the argument that composite objects are dispensable to our best scientific theories. This response claims that our empirical evidence distinguishes between ordinary and composite-free theories, and it empirically favors the ordinary ones. In this paper, I ask whether (...) this response to the dispensability argument is tenable. I claim that it is not. This is because it presupposes an indefensible thesis about when two empirical consequences are distinct or the same. My argument provides some insight into what our empirical consequences are, and I conclude that empirical evidence is radically metaphysically neutral. This gives us some insight into the significant content of our scientific theories—the content that a scientific realist is committed to—and I show how this insight relates to questions about theoretical equivalence more broadly. (shrink)

Symposium on Nietzsche's Constructivism (Routledge, 2018), replies to Adler, Cabrera, Doyle, Migotti, Sinhababu, Pedersen.

Many say that ontological disputes are defective because they are unimportant or without substance. In this paper, we defend ontological disputes from the charge, with a special focus on disputes over the existence of composite objects. Disputes over the existence of composite objects, we argue, have a number of substantive implications across a variety of topics in metaphysics, science, philosophical theology, philosophy of mind, and ethics. Since the disputes over the existence of composite objects have these substantive implications, they are (...) themselves substantive. (shrink)

I argue that one’s views about which “metaphysical laws” obtain—including laws about what is identical with what, about what is reducible to what, and about what grounds what—can be used to deflect or neutralize the threat posed by a debunking explanation. I use a well-known debunking argument in the metaphysics of material objects as a case study. Then, after defending the proposed strategy from the charge of question-begging, I close by showing how the proposed strategy can be used by certain (...) moral realists to resist the evolutionary debunking arguments. (shrink)

The ancient puzzle of Dion and Theon has given rise to a surprising array of apparently implausible views. For example, in order to solve the puzzle, several philosophers have been led to deny the existence of their own feet, others have denied that objects can gain and lose parts, and large numbers of philosophers have embraced the thesis that distinct objects can occupy the same space, having all their material parts in common. In this paper, I argue for an alternative (...) approach: I claim that human beings have ordinary parts—hands, heads, feet, and so on—but no extraordinary parts, such as ‘foot-complements’, the existence of which is essential to the puzzle. I rebut three objections to this approach: an objection that it is unacceptably metaphysically arbitrary, an objection that the view is incompatible with versions of the puzzle involving decapitation, and an objection concerning masses of matter. If we can believe that there are such things as hands and feet without involving ourselves in paradox, and without accepting large numbers of co-located material objects that share all their material parts, then that is what we should do. My view is the only known alternative which allows this. (shrink)

Précis for a book symposium, with contributions from Meg Wallace, Louis deRosset, and Chris Tillman and Joshua Spencer.

I present two puzzles about the metaphysics of stores, restaurants, and other such establishments. I defend a solution to the puzzles, according to which establishments are not material objects and are not constituted by the buildings that they occupy.

This paper evaluates six contenders which might be invoked by essentialists in order to meet Quine’s challenge, viz., to provide necessary and sufficient conditions for the crossworld identity of individuals: (i) an object’s qualitative character; (ii) matter; (iii) origins; (iv) haecceities or primitive non-qualitative thisness properties; (v) “world-indexed properties”; and (iv) individual forms. The first three candidates, I argue, fail to provide conditions that are both necessary and sufficient for the crossworld identity of individuals; the fourth and fifth criteria are (...) open to the charge that they do not succeed in meeting Quine’s demand in an explanatorily adequate fashion. On balance, then, individual forms, or so I propose, deserve to be taken very seriously as a possible response to Quine’s challenge, especially by neo-Aristotelians who are already committed to a hylomorphic conception of composite concrete particular objects for other reasons. Theorists who also accept a non-modal conception of essence, i.e., a conception according to which essence is not reducible to modality, in addition face the further difficult task, over and above what is required to meet Quine’s challenge, of having to explain how an object’s de re modal profile in some way follows from facts about its essence. Haecceities and world-indexed properties, as I indicate, are unlikely to be of much help with respect to this second challenge, while the forms of hylomorphic compounds are in fact well-suited for this purpose. (shrink)

This is a précis of Nietzsche’s Constructivism: A Metaphysics of Material Objects (Routledge, 2017), for a forthcoming symposium on the book.

I argue that mass produced artifacts are ontologically distinctive. If we think of the making of an artifact as the imposition of a creative intention on to some matter, usually through intentional manipulation of the matter, then in the case of mass production, one could say that there is not enough mind to go around! Batches of mass produced objects will have a distinctive essence, lying in the creative act by which they are made, but within a batch, the objects (...) will be distinct from each other, but not essentially distinct. (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)

The Special Composition Question may be formulated as follows: for any xs whatsoever, what are the metaphysically necessary and jointly sufficient conditions in virtue of which there is a y such that those xs compose y? But what is the scope of the sought after explanation? Should an answer merely explain compositional facts, or should it explain certain ontological facts as well? On one natural reading, the question seeks an explanation of both the compositional facts and the ontological; the question (...) seeks to explain how composite objects exist; how there is a y such that the xs compose y. But it turns out that some answers to the Special Composition Question presuppose those ontological facts rather than explain those ontological facts. In this paper, I will indicate what I take to be the different explanatory demands met by the representative answers. I will argue that the wide scope explanatory demands can’t be satisfied. I will also show that this result has bearing on the current debate about composition. (shrink)

Eliminativism about macroscopic material objects claims that we do not need to include tables in our ontology, and that any job – practical or theoretical – they have to do can be done by 'atoms arranged tablewise'. This way of introducing eliminativism faces the worry that if there are no 'atoms', that is, if there are no simples and the world is 'gunky', there are no suitable entities to be 'arranged tablewise'. In this article, I discuss various strategies the eliminativist (...) can have to face this objection, and I conclude by showing that the objection is actually misdirected and does not threaten eliminativism at all. (shrink)

Debunking arguments typically attempt to show that a set of beliefs or other intensional mental states bear no appropriate explanatory connection to the facts they purport to be about. That is, a debunking argument will attempt to show that beliefs about p are not held because of the facts about p. Such beliefs, if true, would then only be accidentally so. Thus, their causal origins constitute an undermining defeater. Debunking arguments arise in various philosophical domains, targeting beliefs about morality, the (...) existence of God, logic, and others. They have also arisen in material-object metaphysics, often aimed at debunking common-sense ontology. And while most of these arguments feature appeals to ‘biological and cultural contingencies’ that are ostensibly responsible for our beliefs about which kinds of objects exist, few of them take a serious look at what those contingencies might actually be. The purpose of this paper is twofold. First, to remedy this by providing empirical substantiation for a key premise in these debunking arguments by examining data from cognitive science, evolutionary biology, and developmental psychology that support a ‘debunking explanation’ of our common-sense beliefs and intuitions about which objects exist. Second, to argue that such data also undermines a particular kind of rationalist defense of common-sense ontology, sometimes employed as a response to the debunking threat. (shrink)

Extended simples are fruitfully discussed in metaphysics. They are entities which are located in a complex region of space but do not themselves have parts. In this paper, I will discuss unextended complexes: entities which are not located at a complex region of space but do themselves have parts. In particular, I focus on one type of unextended complex: pointy complexes. Four areas are indicated where pointy complexes might prove philosophically useful. Unextended complexes are therefore philosophically fruitful, in much the (...) same way as extended simples. (shrink)

The special composition question is the question, ‘When do some things compose something?’ The answers to this question in the literature have largely been at odds with common sense, either by allowing that any two things compose something, or by denying the existence of most ordinary composite objects. I propose a new ‘series-style’ answer to the special composition question that accords much more closely with common sense, and I defend this answer from van Inwagen's objections. Specifically, I will argue that (...) the proposed answer entails the transitivity of parthood, that it is non-circular, and that it casts some light on the ancient puzzle about the Ship of Theseus. (shrink)

Can there be grounding without necessitation? Can a fact obtain wholly in virtue of metaphysically more fundamental facts, even though there are possible worlds at which the latter facts obtain but not the former? It is an orthodoxy in recent literature about the nature of grounding, and in first-order philosophical disputes about what grounds what, that the answer is no. I will argue that the correct answer is yes. I present two novel arguments against grounding necessitarianism, and show that grounding (...) contingentism is fully compatible with the various explanatory roles that grounding is widely thought to play. (shrink)

Let’s start with compositional pluralism. Elsewhere I’ve defended compositional pluralism, which we can provisionally understand as the doctrine that there is more than one basic parthood relation. (You might wonder what I mean by “basic”. We’ll discuss this in a bit.) On the metaphysics I currently favor, there are regions of spacetime and material objects, each of which enjoy bear a distinct parthood relation to members of their own kind. Perhaps there are other kinds of objects that enjoy a kind (...) of parthood relation other than the ones enjoyed by material objects and regions of spacetime. Perhaps, for example, there are facts; I’ve been wavering over whether to embrace these entities for years now. However, I’m reasonably confident that if there are facts than the kind of parthood relation that facts bear to that which composes them is not the kind of parthood relation enjoyed by material objects or regions of spacetime. More on why I am reasonably confident later. (shrink)

The paper responds to a common charge against constructivism about objects, the view that all objects are essentially socially constructed. The objection is that constructivism is false because there must exist unconstructed objects for there to be constructed objects. I contend that the worry is unsound because whatever exists fully independently of our activities cannot be an object.

This paper offers a critical assessment of the current state of the debate about the identity and individuality of material objects. Its main aim, in particular, is to show that, in a sense to be carefully specified, the opposition between the Leibnizian ‘reductionist’ tradition, based on discernibility, and the sort of ‘primitivism’ that denies that facts of identity and individuality must be analysable has become outdated. In particular, it is argued that—contrary to a widespread consensus—‘naturalised’ metaphysics supports both the acceptability (...) of non-qualitatively grounded (both ‘contextual’ and intrinsic) identity and a pluralistic approach to individuality and individuation. A case study is offered that focuses on non-relativistic quantum mechanics, in the context of which primitivism about identity and individuality, rather than being regarded as unscientific, is on the contrary suggested to be preferable to the complicated forms of reductionism that have recently been proposed. More generally, by assuming a plausible form of anti-reductionism about scientific theories and domains, it is claimed that science can be regarded as compatible with, or even as suggesting, the existence of a series of equally plausible grades of individuality. The kind of individuality that prevails in a certain context and at a given level can be ascertained only on the basis of the specific scientific theory at hand. (shrink)

It is often seen as a truism that social objects and facts are the product of human intentions. I argue that the role of intentions in social ontology is commonly overestimated. I introduce a distinction that is implicit in much discussion of social ontology, but is often overlooked: between a social entity’s “grounds” and its “anchors.” For both, I argue that intentions, either individual or collective, are less essential than many theorists have assumed. Instead, I propose a more worldly – (...) and less intellectualist – approach to social ontology. (shrink)

There are some objects of perception that are either too far from us to touch or that cannot be touched at all. Typical examples are the sky and the various phenomena that appear in the sky such as rainbows and sunsets. This paper is concerned with the ontological status of the rainbow. Does it exist when it is not actually perceived? Does it exist even when it is not possibly perceived? My conclusion is that a rainbow is a physical event, (...) and that, although it is recognized as a rainbow by its characteristic visual appearance, it should not be identified with that appearance. I suggest that the case of the rainbow might give us useful hints for the analysis of secondary qualities like colors and sounds. (shrink)

The special composition question asks, roughly, under what conditions composition occurs. The common sense view is that composition only occurs among some things and that all and only ‘ordinary objects’ exist. Peter van Inwagen has marshaled a devastating argument against this view. The common sense view appears to commit one to giving what van Inwagen calls a ‘series-style answer’ to the special composition question, but van Inwagen argues that series-style answers are impossible because they are inconsistent with the transitivity of (...) parthood. In what follows I answer this objection in addition to other, less troubling objections raised by van Inwagen. (shrink)

In a recent article, Harold Noonan argues that application conditions and criteria of identity are not distinct from one another. This seems to threaten the standard approach to distinguishing sortals from adjectival terms. I propose that his observation, while correct, does not have this consequence. I present a simple scheme for distinguishing sortals from adjectival terms. I also propose an amended version of the standard canonical form of criteria of identity.

I introduce a puzzle about contact and de re temporal predication in relativistic spacetime. In particular, I describe an apparent counterexample to the following principle, roughly stated: if B is never in a position to say ‘I was touching A, I am touching A, and I will be touching A’, then (time travel aside) A is never in a position to say ‘I was touching B, I am touching B, and I will be touching B’. In the case I present, (...) the most that A is ever in a position to say is: ‘I am now touching B, but this is the only instant at which this will ever be so’. B, on the other hand, can say: ‘I was formerly touching A, I am currently touching A, and I will in the future be touching A’. (And neither object is a time traveler.). (shrink)

Previously it was found that the Thing is both One Thing and another Thing at the same time. The Understanding rejects such a contradiction but Reason accepts what comes before it and allows the necessity in thought to proceed to its own conclusion. The attempt to maintain distinctions such as essential vs. unessential, singleness vs. universality, etc. may appeal to what is called ‘ordinary common sense,’ but it can now be seen that they are really only abstractions from the actual (...) truth that constitutes the entirety of perceptual consciousness. Those who do not have the presence of mind to rise above the being of the material of sense may proudly assert what they consider to be real and solid, while in truth it is only the play of abstractions that they deal with, so that such boasting is poorest where it fancies itself to be the richest. Rather than apprehending Truth, such an attitude sets itself against the Truth by calling it mere thought, ‘only in the mind’, etc. It is not possible for them to engage in scientific philosophy in which one result proceeds from another by rational necessity because they think that convincing by argument (holding one side against the other) is the natural process for winning Truth. But this is the definition of sophistry, directly the opposite of scientific philosophy in which Truth unveils itself by the rational necessity of its own dialectical development. In fact, Philosophy does also deal with mental entities but at the same time it recognizes thought as the pure essentiality that it is. It is the ignorance of our ‘scientific age’ that we neither appreciate, understand or even know how to comprehend the origin and nature of thought which is so fundamentally essential to human culture. Those who are the most neglectful of such knowledge are at the same time those who most vehemently propound sensuous materialism in the name of realism and seek to annul the place of thought altogether, thus sapping Truth of its own essence. Perceptual understanding holds on to mere abstract fixed essentialities without comprehending their specific determinations, i.e. it apprehends concepts as simple familiarities and therefore does not penetrate into the actual determinateness that constitutes such concepts. In that way it fails to master them; rather such abstract essentialities become the master of this understanding, constraining it to an endless bondage in opposing dualities. By holding on to only one determinateness as truth in opposition to its other and then turning to the opposite one (e.g., as we find in Kant’s antinomies) the ultimate unessentiality of both is established, yet it ignores this fact. What perceptual consciousness should do is accept the unessentiality of both sides and thereby recognize the sublimation of these opposing elements in a higher unity. Instead of doing that, however, it resorts to the in so far as and thus leads itself into abstractions and untruth. (shrink)

On a widely shared assumption, our mental states supervene on our microphysical properties – that is, microphysical supervenience is true. When this thesis is combined with the apparent truism that human persons have proper parts, a grave difficulty arises: what prevents some of these proper parts from being themselves thinkers as well? How can I know that I am a human person and not a smaller thinker enclosed in a human person? Most solutions to this puzzle make radical, if not (...) absurd, claims. Recently, however, Michael Burke and Howard Robinson proposed conservative solutions that, according to them, do not have such undesired consequences. This paper argues that the conservative solutions tacitly assume at least one of the radical ones, and therefore they provide no alternative to the extreme solutions. (shrink)

A critical survey of the main metaphysical theories concerning the nature of material objects (substratum theories, bundle theories, substance theories, stuff theories) and their identity conditions, both synchronic (monist vs. pluralist theories) and diachronic (three-dimensionalism, four-dimensionalism, sequentialism).

This essay explores the vexed issue of individual corporeal substance in Descartes' natural philosophy. Although Descartes' often referred to individual material objects as separate substances, the constraints on his definitions of matter and substance would seem to favor the opposite view; namely, that there exists only one corporeal substance, the plenum. In contrast to this standard interpretation, however, it will be demonstrated that Descartes' hypotheses make a fairly convincing case for the existence of individual material substances; and the key to (...) this new found individuation is a long neglected set of passages in the Principles of Philosophy. (shrink)

The concept of a physical object has figured prominently in the history of philosophy, and is probably more important now than it has ever been before. Yet the question What are physical objects?, i.e., What is the correct analysis of the concept of a physical object?, has received surprisingly little attention. The purpose of this paper is to address this question. I consider several attempts at answering the question, and give my reasons for preferring one of them over its rivals. (...) The account of physical objects that I recommend---the Spatial Location Account---defines physical objects as objects with spatial locations. The intuitive idea behind the Spatial Location Account is this. Objects from all of the different ontological categories---physical objects; non-physical objects like souls, if there are any; propositions; universals; etc.---have this much in common: they all exist in time. But not all of them exist in space. The ones that exist in time and space, i.e., the ones that have spatial locations, are the ones that count as physical objects. (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)

By logical foundations of language syntax ontology we understand here the construction of formalized linguistic theories based on widely conceived mathematical logic and dependent on two trends in language ontology. The formalization includes exclusively the syntactic aspect of logical analysis of language characterized categorially according to Ajdukiewicz's approach [1935, 1960]. Any categorial language L is characterized formally on two levels: on one of them it concerns the language of expression-tokens, on the other one - that of expression-types. Accepting the view (...) that expression-concretes, that is expression-tokens - thus, physical objects are fundamental language layer, whereas the secondary layer for L are expression-abstracts, that is expression-types - thus, ideal objects, it is the nominalistic, concretistic philosophical view on the ontological nature of language entities that is adhered to. Supporting the view that expression-types are the basic language layer, while expression-concretes are the secondary one, we take the opposite standpoint - platonizing one. We prove that the two dual approaches towards the two-level syntax theory of language are logically eqivalent. In the scope of language syntax, both conceptions deriving from two different existential assumption are equivalent. This statement is philosophical significance, since it proves that in syntactical studies on language the assumption of the existence of abstract language beings (interpreted as classes equiform tokens) can be neglected. The idea was signalized by author in ealier paper "On the type-token relationships'' [1986) and than, in a slighly diffrent form in English "On the eliminatibility of ideal linguistic entities, Studia Logica 48,no 4 (1989), pp. 587-615. (shrink)

The paper contains an overview of the most important results presented in the monograph of the author "Teorie Językow Syntaktycznie-Kategorialnych" ("Theories of Syntactically-Categorial Languages" (in Polish), PWN, Warszawa-Wrocław 1985. In the monograph four axiomatic systems of syntactically-categorial languages are presented. The first two refer to languages of expression-tokens. The others also takes into consideration languages of expression-types. Generally, syntactically-categorial languages are languages built in accordance with principles of the theory of syntactic categories introduced by S. Leśniewski [1929,1930]; they are connected (...) with- the Ajdukiewicz’s work [1935] which was a continuation of Leśniewski’s idea and further developed and popularized in the research on categorial grammars, by Y. Bar-Hillel [1950,1953,1964]. To assign a suitable syntactic category to each word of the vocabulary is the main idea of syntactically-categorial approach to language. Compound expressions are built from the words of the vocabulary and then a suitable syntactic-category is assigned to each of them. A language built in this way should be decidable, which means that there should exist an algorithm for deciding about each expression of it, whether it is well-formed or is syntactically connected . The traditional, originating from Husserl, understanding of the syntactic category confronts some difficulties. This notion is defined by abstraction using the concept of affiliation of two expressions to the same syntactic category. (shrink)

Physical objects are the most familiar of all objects, and yet the concept of a physical object remains elusive. Any six-year-old can give you a dozen examples of physical objects, and most people with at least one undergraduate course in philosophy can also give examples of non-physical objects. But if asked to produce a definition of ‘physical object’ that adequately captures the distinction between the physical and the nonphysical, the average person can offer little more than hand-waving.