Relativists maintain that identity is always relative to a general term (RI). According to them, the notion of absolute identity has to be abandoned and replaced by a multiplicity of relative identity relations for which Leibniz’s Law does not hold. For relativists RI is at least as good as the Fregean cardinality thesis (FC), which contends that an ascription of cardinality is always relative to a concept specifying what, in any specific case, counts as a unit. The same train of (...) thought on cardinality and identity is apparent among those – Artifactualists – who take relative identity sentences for artifacts as the norm. The aim of this paper is (i) to criticize the thesis (T1) thatfrom FC it is possible to derive RI, and (ii) to explain why Artifactualists mistakenly believe that RI can be derived from FC. The misunderstanding derives from their assumption that the concept of artifact – like the concept of object – is not a sortal concept. (shrink)

Traditionally, this puzzle has been solved in various ways. Aristotle, for example, distinguished between “accidental” and “essential” changes. Accidental changes are ones that don't result in a change in an objects' identity after the change, such as when a house is painted, or one's hair turns gray, etc. Aristotle thought of these as changes in the accidental properties of a thing. Essential changes, by contrast, are those which don't preserve the identity of the object when it changes, such as when (...) a house burns to the ground and becomes ashes, or when someone dies. Armed with these distinctions, Aristotle would then say that, in the case of accidental changes, (1) and (2) are both false—a changing thing can really change one of its “accidental properties” and yet literally remain one and the same thing before and after the change. (shrink)

This paper is a modification of Nicola Guarino and Christopher Welty's conception of the subsumption relation. Guarino and Welty require that that whether one property may subsume the other should depend on the modal metaproperties of those properties. I argue that the part of their account that concerns the metaproperty carrying a criterion of identity is essentially flawed. Subsequently, I propose to constrain the subsumption relation not, as Guarino and Welty require, by means of incompatible criteria of absolute identity but (...) by means of incompatible criteria of relative identity. After discussing the benefits of applying relative identity in ontological investigations I provide a formal framework in which to prove a counterpart of the identity criteria constraint. (shrink)

Suppose a certain lump of clay is modelled into a distinctly round statue at one point in time and then remodelled into another, distinctively angular statue at another point in time. Looking at two photographs of the two statues, the following sentence seems both acceptable and true.

Philosophers who accept tropes generally agree that tropes do play a role in the semantics of natural language, namely as the objects of reference of nominalizations of adjectives, such as 'Socrates’ wisdom' or 'the beauty of the landscape'. In fact, a philosophical discussion of the ontology of tropes can hardly do without the use of such nominalizations. In this paper, I will argue that tropes play a further important role in the semantics of natural language, namely in the semantics of (...) bare demonstratives like 'this' and 'that' in what in linguistics is called identificational sentences. (shrink)

ABSOLUTE AND RELATIVE IDENTITY On the classical, or Fregean, view of identity it is an equivalence relation satisfying Leibniz's Law (so<alled), ...

Upon what philosophical foundation are semantic network graphs based? Does this foundation allow for the legitimization of other semantic networks and ontological diversity? How can we design our computational and informational systems to accommodate this ontological diversity and the variety of semantic networks? Are semantic networks segmentations of larger semantic landscapes? This paper explores semantic networks from a Heideggerian existentialist and phenomenological perspective. The analysis presented uses cultural schema theory to bridge the syntactic and lexical elements to the semantic and (...) conceptual dimensions of semantic network graphs and offers reasons why the viability of such graphs as they are currently constructed are insufficient for creating semantic interoperability for our informationtechnologies. Reconceptualizing semantic networks as cultural landscapes offers us. (shrink)

We construct a a system PLRI which is the classical propositional logic supplied with a ternary construction , interpreted as the intensional identity of statements and in the context . PLRI is a refinement of Roman Suszko’s sentential calculus with identity (SCI) whose identity connective is a binary one. We provide a Hilbert-style axiomatization of this logic and prove its soundness and completeness with respect to some algebraic models. We also show that PLRI can be used to give a partial (...) solution to the paradox of analysis. (shrink)

Digital pictures can be type-identical in respect of colours, shapes and sizes (allographic), but they are not tokens of notational systems, because the types under which they are identical have vague limits and do not meet the requirements for notational characters. Digital display devices are designed to instantiate only limited ranges of objective properties (light intensities, sizes and shapes). Those ranges keep differences in objective magnitudes below sensory discrimination thresholds, and thus define objective conditions sufficient, but not necessary, for the (...) phenomenal type-identity of pictures. The fact that digital pictures are types shows that pictures are not necessarily autographic. Moreover, the reasons why digital pictures are allographic (essentially, the consistent manipulation of sub-phenomenal information) could in principle also be made to apply to non-digital pictures. (shrink)

Definitions of phenomenal types (Nelson Goodman’s definition of qualia, Sydney Shoemaker’s phenomenal types, Austen Clark’s physicalist theory of qualia) imply that numerically distinct experiences can be type-identical in some sense. However, Goodman also argues that objects cannot be replicated in respect of continuous and densely ordered types. In that case, how can phenomenal types be defined for sizes, shapes and colours, which appear to be continuously ordered types? Concentrating on size, I will argue for the following points. (§2) We cannot (...) deny the possibility of replication in respect of dense types, because this would imply that particulars have determinable sizes, shapes and colours. (§3) Phenomenal sizes and shapes are determinable types; objective, or super-determinate, sizes and shapes are unknowable. (§4) We can define and know, prior to verification, groupings of objective sizes for which indiscriminability is transitive. (§5) Phenomenal identity has to be defined on the basis of these transitive groupings, because finer-grained criteria (such as Goodman’s) lead to definition of objective identity. The quality space of phenomenal types consists of overlapping but not dense types, and this prevents a collapse of phenomenal types. (shrink)