The Non‐Identity of Appearances and Things in Themselves

According to the ‘One Object’ reading of Kant's transcendental idealism, the distinction between the appearance and the thing in itself is not a distinction between two objects, but between two ways of considering one and the same object. On the ‘Metaphysical’ version of the One Object reading, it is a distinction between two kinds of properties possessed by one and the same object. Consequently, the Metaphysical One Object view holds that a given appearance, an empirical object, is numerically identical to the thing in itself that appears as that object. I raise various indiscernibility arguments against that view; because an appearance has different spatiotemporal and modal properties than a thing in itself, no appearance can be identical to a thing in itself. I point out that these arguments are similar to arguments against Monism, the view that material objects are numerically identical to the matter of which they are made. I outline some strategies Monists have developed to respond to these indiscernibility arguments and then develop parallel responses on behalf of the Metaphysical One Object view. However, I then raise another indiscernibility argument, to which, I argue, the Metaphysical One Object view cannot respond, even using the resources I have developed thus far. I develop a modified version of the Metaphysical One Object view that can respond to this new indiscernibility argument, but, I argue, this modified version of the One Object view is only a terminological variant of the Two Object view. When the Metaphysical One Object view is fully thought through it becomes the Two Object view. I conclude that Kantian appearances are not numerically identical to the things in themselves that appear to us.     

Circular Discernment in Completely Extensive Structures and How to Avoid such Circles Generally

In this journal, D. Rizza [11] (p. 176) expounded a solution of what he called ??the indiscernibility problem for ante rem structuralism??, which is the problem to make sense of the presence, in structures, of objects that are indiscernible yet distinct, by only appealing to what that structure provides. We argue that Rizza??s solution is circular and expound a different solution that not only solves the problem for completely extensive structures, treated by Rizza, but for nearly (but not) all mathematical structures.     

ACADEMIC ARGUMENTS FOR THE INDISCERNIBILITY THESIS

Abstract:  The Academics offered an argument from twins or perceptually indiscernible objects and an argument from dreams or madness in support of the indiscernibility thesis: that every true perceptual impression is such that some false impression just like it is possible. I claim that these arguments, unlike modern sceptical arguments, are supposed to establish mere counterfactual rather than epistemic possibilities. They purport to show that for any true perceptual impression j, there are a number of alternative causal histories j might have had which would not have resulted in any change in the way in which j represents its object.     

The Quasi-lattice of Indiscernible Elements

The literature on quantum logic emphasizes that the algebraic structures involved with orthodox quantum mechanics are non distributive. In this paper we develop a particular algebraic structure, the quasi-lattice ( \mathfrakI{\mathfrak{I}}-lattice), which can be modeled by an algebraic structure built in quasi-set theory \mathfrakQ{\mathfrak{Q}} . This structure is non distributive and involve indiscernible elements. Thus we show that in taking into account indiscernibility as a primitive concept, the quasi-lattice that ‘naturally’ arises is non distributive.     

Discernibility by Symmetries

In this paper I introduce a novel strategy to deal with the indiscernibility problem for ante rem structuralism. The ante rem structuralist takes the ontology of mathematics to consist of abstract systems of pure relata. Many of such systems are totally symmetrical, in the sense that all of their elements are relationally indiscernible, so the ante rem structuralist seems committed to positing indiscernible yet distinct relata. If she decides to identify them, she falls into mathematical inconsistency while, accepting their distinctness, she finds herself unable to account for it. I show that the ante rem structuralist has in fact the resources to account for the distinctness of indiscernibles and that these resources come from the very symmetry properties of the mathematical objects that seem to pose problems for her.     

Indiscernible Persons

In this article I discuss identity and indiscernibility for person-stages and persons. Identity through time is not an identity relation (it is a unity relation). Identity is carefully distinguished from persistence. Identity is timeless and necessary. Person-stages are carefully distinguished from persons. Theories of personal persistence are not theories of identity for persons. I deal not with the persistence of persons through time but with the timeless and necessary identity and indiscernibility of persons. I argue that it is possible that there are non-identical but indiscernible temporally whole persons. I discuss the biographies of persons and develop the type or token distinction for persons. Twins in symmetrical or eternally recurrent universes are examples of indiscernible persons. I discuss temporal and modal branching, and I end with survival for person-tokens and eternity for person-types.     

The principle of the indiscernibility of identicals requires no restrictions

Synthese - There is a certain argument against the principle of the indiscernibility of identicals (PInI), or the thesis that whatever is true of a thing is true of anything identical with that...     

The real trouble with intentionality

I argue that the project of naturalizing intentionality is misconceived. Intentionality should not be considered as a challenge to our naturalistic world-view, but rather as something which gives rise to a logical problem: how to save the principle of indiscernibility of identicals from apparent counterexamples arising from intensional discourse.     

Fechner, information, and shape perception

How do retinal images lead to perceived environmental objects? Vision involves a series of spatial and material transformations—from environmental objects to retinal images, to neurophysiological patterns, and finally to perceptual experience and action. A rationale for understanding functional relations among these physically different systems occurred to Gustav Fechner: Differences in sensation correspond to differences in physical stimulation. The concept of information is similar: Relationships in one system may correspond to, and thus represent, those in another. Criteria for identifying and evaluating information include (a)?resolution, or the precision of correspondence; (b)?uncertainty about which input (output) produced a given output (input); and (c)?invariance, or the preservation of correspondence under transformations of input and output. We apply this framework to psychophysical evidence to identify visual information for perceiving surfaces. The elementary spatial structure shared by objects and images is the second-order differential structure of local surface shape. Experiments have shown that human vision is directly sensitive to this higher-order spatial information from interimage disparities (stereopsis and motion parallax), boundary contours, texture, shading, and combined variables. Psychophysical evidence contradicts other common ideas about retinal information for spatial vision and object perception.     

Events,Tropes, and Truthmaking

Nominalizations are expressions that are particularly challenging philosophically in that they help form singular terms that seem to refer to abstract or derived objects often considered controversial. The three standard views about the semantics of nominalizations are [1] that they map mere meanings onto objects, [2] that they refer to implicit arguments, and [3] that they introduce new objects, in virtue of their compositional semantics. In the second case, nominalizations do not add anything new but pick up objects that would be present anyway in the semantic structure of a corresponding sentence without a nominalization. In the first and third case, nominalizations in a sense ‘create’ new objects’, enriching the ontology on the basis of the meaning of expressions. I will argue that there is a fourth kind of nominalization which requires a quite different treatment. These are nominalizations that introduce ‘new’ objects, but only partially characterize them. Such nominalizations generally refer to events or tropes. I will explore an account according on which such nominalizations refer to truth makers.     

Objects, parts, and categories

Concepts may be organized into taxonomies varying in inclusiveness or abstraction, such as furniture, table, card table or animal, bird, robin. For taxonomies of common objects and organisms, the basic level, the level of table and bird, has been determined to be most informative (Rosch, Mervis, Gray, Johnson, & Boyes-Braem, 1976). Psychology, linguistics, and anthropology have produced a variety of measures of perception, behavior, and communication that converge on the basic level. Here, we present data showing that the basic level differs qualitatively from other levels in taxonomies of objects and of living things and present an explanation for why so many measures converge at that level. We have found that part terms proliferate in subjects' listings of attributes characterizing category members at the basic level, but are rarely listed at a general level. At a more specific level, fewer parts are listed, though more are judged to be true. Basic level objects are distinguished from one another by parts, but members of subordinate categories share parts and differ from one another on other attributes. Informants agree on the parts of objects, and also on relative "goodness" of the various parts. Perceptual salience and functional significance both appear to contribute to perceived part goodness. Names of parts frequently enjoy a duality not evident in names of other attributes; they refer at once to a particular appearance and to a particular function. We propose that part configuration underlies the various empirical operations of perception, behavior, and communication that converge at the basic level. Part configuration underlies the perceptual measures because it determines the shapes of objects to a large degree. Parts underlie the behavioral tasks because most of our behaviors is indirect toward parts of objects. Labeling appears to follow the natural breaks of perception and behavior; consequently, part configuration also underlies communication measures. Because elements of more abstract taxonomies, such as scenes and events, can also be decomposed into parts, this analysis provides a bridge to organization in other domains of knowledge. Knowledge organization by parts (partonomy) is contrasted to organization by kinds (taxonomy). Taxonomies serve to organize numerous classes of entities and to allow inference from larger sets to sets included in them. Partonomies serve to separate entities into their structural components and to organize knowledge of function by components of structure. The informativeness of the basic level may originate from the availability of inference from structure to function at that level.     

Similarity judgments of same-category object representations: Effects of physical size,manipulability, and word frequency

ABSTRACT

Studies of object similarity have focused on the relationship between different physical objects and their mental representations or between instances of the same physical object and its mental representation. The present study is the first to investigate the structure of within-category psychological space. We provided evidence that large objects and frequently mentioned objects are perceived as less similar to each other compared to small objects or less frequently mentioned objects. Further, similarity judgments were higher for manipulable objects compared to non-manipulable objects. The relevance of these data to the isomorphism between physical and psychological spaces is also discussed.     

Sentence,proposition and identity

In this paper we discuss the distinction between sentence and proposition from the perspective of identity. After criticizing Quine, we discuss how objects of logical languages are constructed, explaining what is Kleene’s congruence—used by Bourbaki with his square—and Paul Halmos’s view about the difference between formulas and objects of the factor structure, the corresponding boolean algebra, in case of classical logic. Finally we present Patrick Suppes’s congruence approach to the notion of proposition, according to which a whole hierarchy of congruences leads to different kinds of objects.     

Language, embodiment, and the cognitive niche

Embodied agents use bodily actions and environmental interventions to make the world a better place to think in. Where does language fit into this emerging picture of the embodied, ecologically efficient agent? One useful way to approach this question is to consider language itself as a cognition-enhancing animal-built structure. To take this perspective is to view language as a kind of self-constructed cognitive niche: a persisting but never stationary material scaffolding whose crucial role in promoting thought and reason remains surprisingly poorly understood. It is the very materiality of this linguistic scaffolding, I suggest, that gives it some key benefits. By materializing thought in words, we create structures that are themselves proper objects of perception, manipulation, and (further) thought.     

Empiricism,probability, and knowledge of arithmetic: A preliminary defense

The topic of this paper is our knowledge of the natural numbers, and in particular, our knowledge of the basic axioms for the natural numbers, namely the Peano axioms. The thesis defended in this paper is that knowledge of these axioms may be gained by recourse to judgments of probability. While considerations of probability have come to the forefront in recent epistemology, it seems safe to say that the thesis defended here is heterodox from the vantage point of traditional philosophy of mathematics. So this paper focuses on providing a preliminary defense of this thesis, in that it focuses on responding to several objections. Some of these objections are from the classical literature, such as Frege's concern about indiscernibility and circularity (Section 2.1), while other are more recent, such as Baker's concern about the unreliability of small samplings in the setting of arithmetic (Section 2.2). Another family of objections suggests that we simply do not have access to probability assignments in the setting of arithmetic, either due to issues related to the ω-rule (Section 3.1) or to the non-computability and non-continuity of probability assignments (Section 3.2). Articulating these objections and the responses to them involves developing some non-trivial results on probability assignments (Appendix A–Appendix C), such as a forcing argument to establish the existence of continuous probability assignments that may be computably approximated (Theorem 4 Appendix B). In the concluding section, two problems for future work are discussed: developing the source of arithmetical confirmation and responding to the probabilistic liar.     

Relevant identity

We begin to fill a lacuna in the relevance logic enterprise by providing a foundational analysis of identity in relevance logic. We consider rival interpretations of identity in this context, settling on the relevant indiscernibility interpretation, an interpretation related to Dunn's relevant predication project. We propose a general test for the stability of an axiomatisation of identity, relative to this interpretation, and we put various axiomatisations to this test. We fill our discussion out with both formal and philosophical remarks on identity in relevance logic.     

Importance of the overall similarity of objects of adults' and children's classifications

Previous work has shown that adults and older children tend to classify multi-dimensional objects by identity on one dimension, whereas children under 8 years of age tend to classify these same objects by a relation of overall similarity. The present study investigated the hypothesis that this developmental trend is restricted to the classification of simple objects that differ only by limited amounts on a few dimensions. The specific hypothesis was that overall-similarity relations structure both adults' and children's classifications of heterogenous objects (objects that differ in a variety of ways). This hypothesis was suggested by the correspondence between the structure of young children's classifications and the structure of natural categories. The result of two experiments supported the hypothesis. When the to-be-classified objects varied simultaneously on relatively many dimensions, adults as well as children constructed classifications that maximized within-category similarity on all varying dimensions. The implications of these results for accounts of the perception of multidimensional relations and classificatory behavior are discussed.     

Descartes's Real Argument

It is still commonly supposed that Descartes based his argument for the mind-body distinction on the law of the indiscernibility of identicals. I argue that this interpretation is very unlikely to be correct. I explain three contemporary versions of this interpretation and say why I reject it. Basically, use of this law for Descartes's conclusion would require reference to human bodies or else the supposition, for the purpose of the argument, of reference to human bodies. But at the time Descartes formulated his argument, he would not have allowed either. Instead, I amend a different interpretation which others have found, and briefly defend it against one famous objection.     

VIRTUAL REALITY,ONTOLOGY, AND VALUE

Abstract: This article raises the question of how the ontological status of virtual objects bears on their intrinsic value. If virtual objects are unreal or less real than physical objects, does it mean that they will have less intrinsic value? If they have intrinsic value, what are the explanations for this value, and how do they relate to the ontological status of the virtual objects? First, the article reviews recent work concerning the ontological status of virtual reality and virtual objects. Second, it argues that in some cases the ontological status of virtual objects does undermine the value placed in them, in that the objects can fail to have the properties that ground the value attributions made to them, while in other cases their ontological status is not important. Finally, the article relates the grounding of value attributions to philosophical theories of value, in particular, perfectionism and hedonism.     

Language,social ecology and experience

Experience is structured by thoughts which are composed of general concepts and conceptions of objects. Both of these elements of thought are rule‐governed and rest on norms which are shared by thinkers. Concepts and conceptions of objects as the elements of thoughts whose content is essentially communicable plausibly rest on abilities tied to the use of linguistic terms. This suggests that language plays an active part in structuring human experience and cognition as suggested by both Vygotsky and Luria. The role of language in thought implies that the human brain which is the information processing structure realizing thoughts is itself subject to shaping by the social milieu. Neural network theory suggests that this might proceed via the use of cue stimuli based on the responses of other human beings and, therefore, supports the view that cognitive neuroscience may be radically mistaken in thinking that it can provide an individualistic analysis of human mental life.