Both Franz Brentano and Edmund Husserl addressed sound while trying to explain the inner consciousness of time and gave to it the status of a supporting example. Although their inquiries were not aimed at clarifying in detail the nature of the auditory experience or sounds themselves, they made some interesting observations that can contribute to the current philosophical discussion on sounds. On the other hand, in analytic philosophy, while inquiring the nature of sounds, their location, auditory experience or the (...) audible qualities and so on, the representatives of that trend of thought have remained silent about the depiction of sound and the auditory phenomena in the phenomenological tradition. The paper’s intention is to relate both endeavours, yet the perspective carried out is that of analytic philosophy and, thus, I pay special attention to conceptual analysis as a methodological framework. In this sense, I first explain what sound ontology is in the context of analytic philosophy and the views that it encompasses— namely, the Property View (PV), the Wave View (WV) and the Event View (EV)—. Secondly, I address the problems it entails, emphasising that of sound individuation. In a third section, I propose the possibly controversial conjunction of a “Brentano-Husserl Analysis of the Consciousness of Time” (for short “Brentano-Husserl analysis”) and outline the commonalities of both authors, without ignoring its discrepancies. My main focus is Husserl’s 1905 Vorlesungen zur Phänomenologie des Inneren Zeitbewusstseins. While addressing the Brentano-Husserl analysis, I elaborate on the problem of temporal and spatial extension (Raumlichkeit and Zeitlichkeit, respectively) of both consciousness and sound. Such comparison is a key one, since after these two developments, one can notice some theoretical movements concerning the shift of attention from sounds to the unity of consciousness, and how they mirror each other. After examining the controversial claims concerning the temporal and spatial extension of both consciousness and sound, I argue in the concluding paragraphs that while considering the accounts of sound ontology, the Brentano-Husserl analysis would probably endorse a Property View and that this could have interesting consequences for the issue of Sound Individuation. (shrink)

This paper addresses the problem of sound individuation (SI) and its connection to sound ontology (SO). It is argued that the problems of SI, such as aspatiality, extreme individuation, indexical perplexity and duration puzzles are due to SO’s uncertainties. Besides, I describe the views in SO, including the wave view (WV), the property view (PV), and the event view (EV), as Casey O’Callaghan defends it. According to O’Callaghan, EV offers clear standards to individuate sounds. However, this claim (...) is countered by the consideration that any view could also defend the standards in SO, and thus, EV does not solve any of the problems mentioned above. As a way of showing the difficulties inherited by sound’s inner ontology, the problem of its linguistic representation is also addressed. The problem of SI can be developed within the frame of the philosophy of language and, specifically, regarding the discussion about mass vs count-­sortal terms. Is the term sound a mass or a count­-sortal? It is shown that, for reasons pertaining SO, the decision regarding the case of sound as a mass or count-­sortal term remains open. SI is, thus, covered from the SO to the philosophy of language. (shrink)

Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such navigation (...) will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date. (shrink)

Ontology is currently perceived as the solution of first resort for all problems related to biomedical terminology, and the use of description logics is seen as a minimal requirement on adequate ontology-based systems. Contrary to common conceptions, however, description logics alone are not able to prevent incorrect representations; this is because they do not come with a theory indicating what is computed by using them, just as classical arithmetic does not tell us anything about the entities that are (...) added or subtracted. In this paper we shall show that ontology is indeed an essential part of any solution to the problems of medical terminology – but only if it is understood in the right sort of way. Ontological engineering, we shall argue, should in every case go hand in hand with a sound ontological theory. (shrink)

In the realm of the philosophy of sounds and auditory experience there is an ongoing discussion concerned with the nature of sounds. One of the contestant views within this ontology of sound is that of the Property View, which holds that sounds are properties of the sounding objects. A way of developing this view is through the idea of dispositionalism, namely, by sustaining the theory according to which sounds are dispositional properties (Pasnau 1999; Kulvicki 2008; Roberts 2017). That (...) portrayal, however, is not sufficient, as it has not inquired the metaphysical debates about dispositions beyond the conditional analysis. In this paper, I try to advance this view by including recent developments (for instance Bird 2007; Vetter 2015) in the field of dispositionalism and I analyse whether this new version can sort out known and new objections to Property View. (shrink)

In this paper, I develop a criticism to a method for metaontology, namely, the idea that a discourse’s or theory’s ontological commitments can be read off its sentences’ truth- conditions. Firstly, I will put forward this idea’s basis and, secondly, I will present the way Quine subscribed to it. However, I distinguish between two readings of Quine’s famous ontological criterion, and I center the focus on the one currently dubbed “ontological minimalism”, a kind of modern Ockhamism applied to the mentioned (...) metaontological view. I show that this view has a certain application via Quinean thesis of reference inscrutability but that it is not possible to press that application any further and, in particular, not for the ambitious metaontological task some authors try to employ. The conclusion may sound promising: having shown the impossibility of a semantic ontological criterion, intentionalist or subjectivist ones should be explored. (shrink)

Medical terminology collects and organizes the many different kinds of terms employed in the biomedical domain both by practitioners and also in the course of biomedical research. In addition to serving as labels for biomedical classes, these names reflect the organizational principles of biomedical vocabularies and ontologies. Some names represent invariant features (classes, universals) of biomedical reality (i.e., they are a matter for ontology). Other names, however, convey also how this reality is perceived, measured, and understood by health professionals (...) (i.e., they belong to the domain of epistemology). We analyze terms from several biomedical vocabularies in order to throw light on the interactions between ontological and epistemological components of these terminologies. We identify four cases: 1) terms containing classification criteria, 2) terms reflecting detectability, modality, uncertainty, and vagueness, 3) terms created in order to obtain a complete partition of a given domain, and 4) terms reflecting mere fiat boundaries. We show that epistemology-loaded terms are pervasive in biomedical vocabularies, that the “classes” they name often do not comply with sound classification principles, and that they are therefore likely to cause problems in the evolution and alignment of terminologies and associated ontologies. (shrink)

There are a number of existing classifications and staging schemes for carcinomas, one of the most frequently used being the TNM classification. Such classifications represent classes of entities which exist at various anatomical levels of granularity. We argue that in order to apply such representations to the Electronic Health Records one needs sound ontologies which take into consideration the diversity of the domains which are involved in clinical bioinformatics. Here we outline a formal theory for addressing these issues in (...) a way that the ontologies can be used to support inferences relating to entities which exist at different anatomical levels of granularity. Our case study is the colon carcinoma, one of the most common carcinomas prevalent within the European population. (shrink)

In Interstitial Soundings, Cynthia R. Nielsen brings music and philosophy into a fruitful and mutually illuminating dialogue. Topics discussed include the following: music's dynamic ontology, performers and improvisers as co-composers, the communal character of music, jazz as hybrid and socially constructed, the sociopolitical import of bebop, Afro-modernism and its strategic deployments, jazz and racialized practices, continuities between Michel Foucault's discussion of self-making and creating one's musical voice, Alasdair MacIntyre on practice, and how one might harmonize MacIntyre's notion of virtue (...) development with Foucauldian resistance strategies. (shrink)

This article evaluates the theoretical and practical grounds of recent debates around Christoph Cox’s realist project of a ‘sonic materialism’ by returning to Gilles Deleuze, a key theoretical resource for Cox. It argues that a close engagement with Deleuze’s work in fact challenges many of the precepts of Cox’s sonic materialism, and suggests a rethinking of materialism in the context of music. Turning to some aspects of Deleuze’s work neglected by Cox, the ‘realist’ ontological inquiry Cox affirms is challenged through (...) the ‘onto-ethology’ that Deleuze and Félix Guattari develop in their A Thousand Plateaus, with this diversely constructive theory of relations explicated through musical examples from John Cage and Pauline Oliveros. To conclude, this article suggests that Deleuze can indeed be understood as subscribing to a materialism, but a materialism that is practical rather than doctrinal. (shrink)

Despite the recent advances in information and communication technology that have increased our ability to store and circulate information, the task remains of ensuring that the right sorts of information reach the right sorts of people. In what follows we defend the thesis that efforts to develop efficient means for sharing information across healthcare systems and organizations would benefit from a careful analysis of human action in healthcare organizations, and that the communication of healthcare information and knowledge needs to rest (...) on a sound ontology of social interaction. We illustrate this thesis in relation to the HL7 RIM, which is one centrally important tool for communication in the healthcare domain. (shrink)

An ontology of geographic kinds is designed to yield a better understanding of the structure of the geographic world, and to support the development of geographic information systems that are conceptually sound. This paper first demonstrates that geographical objects and kinds are not just larger versions of the everyday objects and kinds previously studied in cognitive science. Geographic objects are not merely located in space, as are the manipulable objects of table-top space. Rather, they are tied intrinsically to (...) space, and this means that their spatial boundaries are in many cases the most salient features for categorization. The ontology presented here will accordingly be based on topology (the theory of boundary, contact and separation) and on mereology (the theory of extended wholes and parts). Geographic reality comprehends mesoscopic entities, many of which are best viewed as shadows cast onto the spatial plane by human reasoning and language. Because of this, geographic categories are much more likely to show cultural differences in category definitions than are the manipulable objects of table-top space. (shrink)

Presented at Philosophy Across Disciplines Conference 2021, Newcastle University. -/- As noted by philosopher Robert Pasnau, “our standard view of sound is incoherent” at best. A quick perusal of how we discuss and represent sound in our day-to-day language readily highlights a number of inconsistencies. Sound might be described roughly as emanating from the location of its material source (the ‘crack of the snare drum over there’ distal theory), as a disruption somewhere in the space in-between the (...) sounding object and the listener (the ‘longitudinal compression waves in the air’ medial theory), located with the hearer (the ‘inner sensations’ proximal theory), or perhaps as devoid of spatial characteristics at all (aspatial theory). Beyond these topographic ruminations on the location of sounds, even deeper disagreements arise around just what sorts of things sounds are. A broad array of theories treat sounds as events, as object-like particulars that travel through space, as properties of their sounding objects, etc.—with many subtle ontological variations springing up along the way. The philosophical plot further thickens as we expand from defining the ontology and spatial position of simple primary sounds through to the phenomenon of echoes, with certain theories arguably faring better than others. We’ll focus here on Casey O’Callaghan’s formulation of sounds as disturbance events which bind primary sounds and their echoes together as one. In short, the claim that echoes are identical to their associated primary sound and are not distinct sounds in their own right. Described as the ‘Primary Sound Account of Echoes’ (‘PSAE’) in Gregory Fowler’s “Against the Primary Sound Account of Echoes,” the intricacies of this particular aspect of O’Callaghan’s theory of a primary sound’s connection to its echo bears greatly upon the workability of distal theories of sound in general. What I seek to achieve in this presentation is to illustrate how O’Callaghan’s PSAE fails when subjected to increased scrutiny across a broader range of echo scenarios, which in turn presents a significant issue for proponents of distal theories of sound. (shrink)

This article aims to provide a new ontological argument for the existence of God. A specific ‘modal’ version of the ontological argument—termed the Modal Realist Ontological Argument—is formulated within the modal realist metaphysical framework of David K. Lewis, Kris McDaniel and Philip Bricker. Formulating this argument within this specific framework will enable the plausibility of its central premise (i.e., the ‘Possibility Premise’) to be established, and allow one to affirm the soundness of the argument—whilst warding off two oft-raised objections against (...) this type of natural theological argument. (shrink)

In this essay we will take the American experimental composer John Cage’s understanding of sound as the starting point for an evaluation of that term in the field of sound studies. Drawing together two of the most influential figures in the field, Cage’s thought and work will serve as a lens through which to engage with recent debate concerning the uptake in sound studies of the philosophy of Gilles Deleuze. In so doing we will attempt to develop (...) a path between conflicting sides of sound studies, putting forward an understanding of sound that presents it not as an uninterrogated ontological essence, nor as only a term in a discursive web, but as a problem which must be repeatedly posed anew. We will consider points where this may yet be pushed towards a reified, essentialized understanding of the nature of sound, but move to offset this by emphasizing the production of a practical process of learning and experimentation. (shrink)

We present the details of a methodology for quality assurance in large medical terminologies and describe three algorithms that can help terminology developers and users to identify potential mistakes. The methodology is based in part on linguistic criteria and in part on logical and ontological principles governing sound classifications. We conclude by outlining the results of applying the methodology in the form of a taxonomy different types of errors and potential errors detected in SNOMED-CT.

A scientific theory is successful, according to Stanford (2000), because it is suficiently observationally similar to its corresponding true theory. The Ptolemaic theory, for example, is successful because it is sufficiently similar to the Copernican theory at the observational level. The suggestion meets the scientific realists' request to explain the success of science without committing to the (approximate) truth of successful scientific theories. I argue that Stanford's proposal has a conceptual flaw. A conceptually sound explanation, I claim, respects the (...) ontological order between properties. A dependent property is to be explained in terms of its underlying property, not the other way around. The applicability of this point goes well beyond the realm of the debate between scientific realists and antirealists. Any philosophers should keep the point in mind when they attempt to give an explanation of a property in their field whatever it may be. (shrink)

Sentences such as 'Chocolate tastes good' have been widely discussed as sentences that give rise to faultless disagreement. As such, they actually belong to the more general class of impersonal perception reports, which include 'The violin sounds / looks strange' as well sentences that are about an agent-centered situation such as 'It feels / seems like it is going to rain'. I maintain the view that faultless disagreement is due to first person-based genericity, which, roughly, consists in attributing a property (...) to anyone the speaker (or described agent) identifies with (which generally requires a first-person experience) (Moltmann 2010). Unlike my previous analysis (and similar analyses), this paper no longer makes use of experiencers or judges as implicit arguments of taste predicates, but argues that impersonal perception verbs (taste, look, feel, seem), have a logophoric character. More precisely, such verbs describe perceptual occurrences whose experiencer is identical to the agent of the utterance situation, described attitudinal situation, or the situations a generic operator may range over. Perceptual occurrences are sharply distinguished ontologically from perceptual experiences as well as perceptual objects, entities we refer to as ‘the taste of chocolate’, ‘the sound of the violin’, ‘the look of the violin’. Sentences about perceptual objects ('the taste of chocolate is good', 'the sound of the violin is great', 'the look of the violin is beautiful') also give rise to faultless disagreement, but the source of that is a first-person-based attribution of an evaluative predicate to an (objective) perceptual object. (shrink)

Recent years have seen rapid progress in the development of ontologies as semantic models intended to capture and represent aspects of the real world. There is, however, great variation in the quality of ontologies. If ontologies are to become progressively better in the future, more rigorously developed, and more appropriately compared, then a systematic discipline of ontology evaluation must be created to ensure quality of content and methodology. Systematic methods for ontology evaluation will take into account representation of (...) individual ontologies, performance (in terms of accuracy, domain coverage and the efficiency and quality of automated reasoning using the ontologies) on tasks for which the ontology is designed and used, degree of alignment with other ontologies and their compatibility with automated reasoning. A sound and systematic approach to ontology evaluation is required to transform ontology engineering into a true scientific and engineering discipline. This chapter discusses issues and problems in ontology evaluation, describes some current strategies, and suggests some approaches that might be useful in the future. (shrink)

In this paper I wish to connect the recent debate in the philosophy of quantum mechanics concerning the nature of the wave function to the historical debate in the philosophy of science regarding the tenability of scientific realism. Being realist about quantum mechanics is particularly challenging when focusing on the wave function. According to the wave function ontology approach, the wave function is a concrete physical entity. In contrast, according to an alternative viewpoint, namely the primitive ontology approach, (...) the wave function does not represent physical entities. In this paper, I argue that the primitive ontology approach can naturally be interpreted as an instance of the so-called ‘explanationism’ realism, which has been proposed as a response to the pessimistic-meta induction argument against scientific realism. If my arguments are sound, then one could conclude that: (1) contrarily to what is commonly though, if explanationism realism is a good response to the pessimistic-meta induction argument, it can be straightforwardly extended also to the quantum domain; (2) the primitive ontology approach is in better shape than the wave function ontology approach in resisting the pessimistic-meta induction argument against scientific realism. (shrink)

In this article I address some questions concerning the emerging conjunction of musical research on improvisation and work in the ‘posthumanities’, in particular the theoretical results of the ‘ontological turn’ in the humanities. Engaging with the work of the composer John Cage, and George E. Lewis’s framing of Cage’s performative indeterminacy as a ‘Eurological’ practice that excludes ‘Afrological’ jazz improvisation, I examine how critical discourse on Cage and his conception of sound is relevant to the improvisation-posthumanities conjunction. After discussing (...) some criticisms of ontological and materialist approaches to sound, I consider the Actor-Network Theory (ANT) of Bruno Latour, posed as offering an alternative to these approaches. Following an examination of some limitations to ANT based around the themes of critique and abstraction, I draw from the work of Gilles Deleuze and Georgina Born to suggest that work on improvisation and the posthumanities may be fruitful, but must be part of a pluralistic mode of inquiry that does not reject critique and abstraction, as some work in the posthumanities has done. (shrink)

The collaboration of Language and Computing nv (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is guided by the hypothesis that quality constraints on ontologies for software ap-plication purposes closely parallel the constraints salient to the design of sound philosophical theories. The extent of this parallel has been poorly appreciated in the informatics community, and it turns out that importing the benefits of phi-losophical insight and methodology into application domains yields a variety of improvements. (...) L&C’s LinKBase® is one of the world’s largest medical domain ontologies. Its current primary use pertains to natural language processing ap-plications, but it also supports intelligent navigation through a range of struc-tured medical and bioinformatics information resources, such as SNOMED-CT, Swiss-Prot, and the Gene Ontology (GO). In this report we discuss how and why philosophical methods improve both the internal coherence of LinKBase®, and its capacity to serve as a translation hub, improving the interoperability of the ontologies through which it navigates. (shrink)

I present a version of Kit Fine's stratified semantics for the logic RWQ and define a natural family of related structures called RW hyperdoctrines. After proving that RWQ is sound with respect to RW hyperdoctrines, we show how to construct, for each stratified model, a hyperdoctrine that verifies precisely the same sentences. Completeness of RWQ for hyperdoctrinal semantics then follows from completeness for stratified semantics, which is proved in an appendix. By examining the base category of RW hyperdoctrines, we (...) find reason to be worried about the ontology of stratified models. (shrink)

THE WORD IN AFRICAN ONTOLOGY Socrates Ebo, PhD ABSTRACT The word in African ontology is more than mere expression of sounds. It is a being which is intra-mental and extra-mental. It is a creation of human mind and the human lips. But it is also an independent entity with enormous causal powers in the African universe of forces. It is an art as well as a means of communication. It is the embodiment of the history of the African (...) community. Embedded in the word, is the community’s ethics. Yet, the word is also a series of sounds which can be learnt and repeated. It can be uttered by anyone yet not everyone can put it to every use. The word can be profound in a context and meaningless in another context. The same word that is commonplace in common speech can be a causal force in a coded ritual. Yet, it is the word: ubiquitous and cryptic, mystic and plebeian; sacred and profane, artistic, yet plain bland on the lips of many. -/- . (shrink)

This paper aims to suggest a new approach to Plato’s theory of being in Republic V and Sophist based on the notion of difference and the being of a copy. To understand Plato’s ontology in these two dialogues we are going to suggest a theory we call Pollachos Esti; a name we took from Aristotle’s pollachos legetai both to remind the similarities of the two structures and to reach a consistent view of Plato’s ontology. Based on this theory, (...) when Plato says that something both is and is not, he is applying difference on being which is interpreted here as saying, borrowing Aristotle’s terminology, 'is is (esti) in different senses'. I hope this paper can show how Pollachos Esti can bring forth not only a new approach to Plato’s ontology in Sophist and Republic but also a different approach to being in general. -/- Keywords Plato; being; difference; image; pollachos esti; pollachos legetai 1. Being, Not-Being and Difference The three dialogues where the notion of "difference" attaches to the notion of being, namely Parmenides II, Sophist and Timaeus,and specifically the first two we try to discuss here. In these dialogues, Plato is going to achieve a new and revolutionary understanding of being which is not anymore based on the notion of "same" as it was before in Greek ontology. It was his discovery, I think, that the notion of being in the Greek ontology is attached to the notion of the "same" and it is because of this attachment that there have always been many problems understanding being especially after Parmenides. That being has always been relying on the "same" can be found out from the way most of the Presocratics understood it. It was based on such a relationship between being and "same" that a later Ionian, Heraclitus of Ephesus, rejected Being by rejecting its sameness: unable to be the same, being cannot be being anymore but becoming. Heraclitus’ criticism of his predecessors’ understanding of being was due to his discovery that what they call being is not the same but different in every moment. The relation of being and sameness reaches to its highest point in Parmenides. What Plato does in using the "difference" is nothing but the establishment of a creative relation between being and "difference". In this new relation, although he is in agreement with Heraclitus that being is not the same but different, he does not do it by use of becoming. He disagrees, on the other hand, with Parmenides that such a relation between being and difference leads to not being. At Parmenides 142b5-6 it is said that if One is, it is not possible for it to be without partaking (μετέχειν) of being (οὐσίας), which leads to the distinction of being and one: -/- So there would be also the being of the one (ἡ οὐσία του̑ ἑνὸς) which is not the same (ταὐτὸν) as the one. Otherwise, it wouldn’t be its being, nor the one would partake of it. (142b7-c1) -/- The fact that what is (ἔστι) signifies (σημαῖνον) is other (ἀλλο) than what One signifies (c4-5), is being taken as a reason for their distinction. The conclusion is that when we say 'one is', we speak of two different things, one partaking of the other (c5-7). Having repeated these arguments of the otherness of being and one at 143a-b, Parmenides says that the cause of this otherness can be neither Being nor One but "difference": -/- So if being is something different (ἕτερον) and one something different (ἕτερον), it is not by being one that the one is different from being nor by its being being that being is other than one, but they are different from each other (ἕτερα ἀλλήλων) by difference (τῷ ἑτερῳ) and otherness (ἄλλῳ). (143b3-6) -/- The fifth hypothesis, 'one is not' (160b5ff.) is also linked with the notion of difference. When we say about two things, largeness and smallness, that they are not, it is clear that we are talking about not being of different (ἕτερον) things (160c2-4). When it is said that something is not, besides the fact that there must be knowledge of that thing, we can say that it entails also its difference: 'difference in kind pertains to it in addition to knowledge' (160d8). Parmenides explains the reason as such: -/- For someone doesn’t speak of the difference in kind of the others when he says that the one is different from the others, but of that thing’s own difference in kind. (160e1-2) -/- Although the theory of being as "difference" is not fulfilled yet, an exact look at what occurs in Sophist can make us sure that this was the launching step for "difference" to get its deserved role in Plato’s ontology. The notion of the "difference" is not yet well-functioned in Parmenides because we can see that being is still attached to the same: -/- For that which is the same is being (ὄν γὰρ ἐστι τὸ ταὐτόν) (162d2-3). -/- The notion of difference in Sophist is the key element based on which a new understanding of being is presented and the problem of not being is somehow resolved. The friends of Forms, the Stranger says, are those who distinguish between being and becoming (248a7-8) and believe that we deal with the latter with our body and through perception while with the former, the real being (ὄντως οὐσίαν) with our soul and through reasoning (a10-11). Being is then bound with the "same" by adding: -/- You say that being always stays the same and in the same state (ἣν ἀεὶ κατὰ ταὐτὰ ὡσαύτως ἔχειν) but becoming varies from one time to another (δὲ ἄλλοτε ἄλλως). (248a12-13) -/- That the theory of the relation of being and capacity (247d8f., 248c4-5) matches more with becoming than with being (248c7-9) must be rejected because being is also the subject of knowledge which is kind of doing something (248d-e). It does, however, confirm that 'both that which changes and also change have to be admitted as existing things (ὄντα) (249b2-3). I believe that this is what Socrates would incline to do at Theaetetus 180e-181a, that is, putting a fight between two parties of Parmenidean being and Heraclitean becoming and then escaping. The solution is that becoming is itself a kind of being and we ought to accept what changes as being. This is what must be done by a philosopher, namely, to refuse both the claim that 'everything is at rest' and that 'being changes in every way' and beg, like a child, for both and say being (τὸὄν) is both the unchanging and that which changes (249c10-d4). This kind of begging for both is obviously under the attack of contradiction (249e-250b). For both and each of rest and change similarly are (250a11-12) but it cannot be said either that both of them change or both of them rest, being must be considered as a third thing both of the rest and change associate with (250b7-10). The conclusion is that 'being is not both change and rest but different (ἕτερον) from them instead' (c3-4). The notion of difference helps Plato to take being departed from both rest and change because it was their sophisticated relation with being that made the opposition of being and becoming. Plato is now trying to separate being from rest and, thus, from "same" by "difference". Such a crucial change is great enough to need a 'fearless' decision (256d5-6). The possibility of being of not being is resulted (d11-12) comes as the answer to the question 'so it’s clear that change is not being and also is being (ἡ κίνησις ὄντως οὐκ ὄν ἐστι καὶ ὄν) since it partakes in being?' (d8-9). It is then by the notion of difference that becoming is considered as that which both is and is not. This coincidence of being and not being about change is apparently similar to Socrates’ paradoxical statement at Republic 477a about what both is and is not. -/- Introduction The Republic 476-477 has always been a matter of controversy mainly about two interwoven points. The first problem is the meaning of being here; that whether what he has in mind is a veridical, existential or propositional sense of being. The second problem is his distinction between the objects of knowledge and opinion which seems to lead, some believe, to the Two Worlds (TW) theory. The crucial point in Republic is that what is considered between knowledge (ἐπιστήμης) and ignorance (α͗γνοιας), namely opinion, must have a different object that leads Socrates to draw the distinction of knowledge and opinion between their objects. The problem of understanding being in the fifth book of the Republic is that when it is said that the Form of F is F but a particular participating in F, both is and is not F, it sounds too bizarre and unacceptable. It cannot be imaginable how a thing can be existent and non-existent at the same time. At the first sight, the only solution seems to be the degrees of existence which is called by Annas (1981, 197) a 'childish fallacy' and a 'silly argument'. Kirwan (1974, 118) thinks that Republic V does not attribute 'any doctrine about existence' to Plato and Kahn (1966, 250) claims that the most fundamental value of einai when used alone (without predicate) is not "to exist" but "to be so", "to be the case" or "to be true". The problems of understanding being in Republic and Sophist besides the difficulties of the existential reading led scholars to the other senses of being, mostly related to the well-known Aristotelian distinctions between different senses of being. In the predicative reading, Annas, for example, refers this difference to the qualified and unqualified application. Whereas the Form of F is unqualifiedly F, a particular instance of F can be F only qualifiedly (1981, 221). Vlastos’ well-known substitution of 'degrees of reality' for 'degrees of being/existence' must be categorized as a predicative reading. Kahn thinks that the basic sense of being for Plato is 'something like propositional structure, involving both predication and truth claims, together with existence for the subject of predication' (2013, 96). Believing that the complete-incomplete distinction terminology is misleading about Plato, he thinks that semantic functions are only second-order uses of the verb and it is the predicative or incomplete function which is fundamental. Suggesting a veridical reading, Fine (2003, 70 ff) thinks that while both existential and predicative readings separate the objects of knowledge and belief, it is only her reading which does not force such separation of the objects and thus does not imply TW. Stokes (1998, 266) thinks that though Fine is right saying that Plato does not endorse TW in book V, she is wrong in rejecting existential in favor of the veridical reading. The reception of existential reading can be seen more obviously in Calvert who thinks, in agreement with Runciman, that 'it would be safer to say that Plato’s gradational ontology is probably not entirely free from degrees of existence' (1970, 46). At Sophist 254d-e Plato singles out five most important kinds (or Forms!?) in which the same (ταὐτὸν) and difference (θάτερον) are regarded besides being, rest and change. They are, therefore, neither the same nor the difference but share in both (b3). Being (τὸ ὄν) cannot be the same also because if they 'do not signify distinct things' both change and rest will have the same label when we say they are (255b11-c1). We have then four distinct kinds, being, change, rest and same, none of them is the other. The case of difference is more complicated. When the stranger wants to assess the relation of being and difference, he can say simply neither that they are distinct nor that they are not. He has to make an important distinction inside being to get able to draw the relation of being and difference: -/- But I think you'll admit that some of the things that are (τῶν ὄντων) are said (λέγεσθαι) by themselves (αὐτὰ καθ’ αὑτά) but some [are said] always referring to (πρὸς) other things (ἄλλα) (255b12-13) -/- The difference is always said referring to other things (τὸδέγ’ ἕτερον ἀεὶ πρὸς ἕτερον) (255d1). It pervades all kinds because each of them should be different from the others and is so due to the difference and not its own nature (253e3f.) After asserting that change is different from being and therefore both is and is not (256d), the difference is described as what makes all the other kinds not be, by making each different from being. Given that all of them are by being, this association of being and difference is the cause of their being and not-being at the same time, the issue that its version at RepublicV made all those controversies we discussed above: -/- So in the case of change and all the kinds, not being necessarily is (Ἔστιν ἄρα ἐξ ἀναγκης τὸ μὴ ὄν). Τhat’s because as applied to all of them, the nature of the difference (ἡ θατέρον φύσις) makes each of them not be by making it different from being. And we’re going to be right if we say that all of them are not in the same way. And conversely [we’re also going to be right if we say] that they are because they partake in being. (Sophist 256d11-e3) -/- Plato’s new construction of five distinct kinds and the role he gives to thedifference among them is aimed to resolve the old problem of understanding being which has always been annoying from the time of Heraclitus and Parmenides. Both the ontological status of becoming and that of not being were, in Plato’s mind, based on the absolute domination of the notion of the Same over being. Now, not only becoming is understandable as being but also not being which is not the contrary of being anymore but only different (ἕτερον) (257b3-4). Though I agree partly with Frede that the account of not being which is needed for false statements is more complicated than just saying, as Cropsey (1995, 101) says, that Plato is substituting 'X is not Y' with 'X is different from Y', I totally disagree with him that when we say X is not beautiful, Plato could not have thought that it is not a matter of its being different from beautiful because 'it would be different from beauty even if it were beautiful by participation in beauty' (1992, 411). Conversely, as we will discuss, it is exactly the relation of the beautiful thing, X, and the beautiful itself, in which X shares that is to be solved by the notion of not being as difference. Though it is beautiful because of sharing in beauty, X is not beautiful because it is different from beautiful itself. What the difference is to do is to show how something can both be and not be the same thing. The difference is what makes one thing both be and not be a certain other thing. This equips the difference with the ability to explain a certain thing’s not-being when it is. Thanks to the notion of difference, it is now possible to explain not only not being but also the simultaneous being and not being of a thing: 'What we call "not-beautiful" is the thing that ἕτερόν ἐστιν from nothing other than του̑ καλου̑ φύσεως' (257d10-11). The result is that not beautiful happens to be (συμβέβηκεν εἶναι) one single thing among kinds of beings (τι τῶν ὄντων τινὸς ἑνὸς γένους) and at the same time set over against one of the beings (πρός τι τῶν ὄντων αὖ πάλιν ἀντιτεθὲν) (257e2-4) and thus be something that happens to be not beautiful (εἶναί τις συμβαίνει τὸ μὴ καλόν); a being set over against being (ὄντος δὴ πρὸς ὄν ἀντίθεσις) (e6-7). Neither the beautiful is more a being (μα̑λλον ... ἐστι τῶν ὄντων) nor not beautiful less (e9-10) and thus both the contraries similarly are (ὁμοίως εἶναι) (258a1). This conclusion, it is emphasized again (a7-9), owes to θατέρου φύσις now turned out as being. Therefore, each of the many things that are of the nature of the difference and set over each other in being (τῆς τοῦ ὄντος πρὸς ἄλληλα ἀντικειμένων ἀντίθεσις) is being as being itself is being (αὐτοῦ τοῦὄν τοςοὐσία ἐστιν) and not less. They are different from, and not the contrary of, each other (a11-b3). This is exactly τὸμὴὄν, the subject of the inquiry (b6-7). Hence, not being has its own nature (b10) and is one εἶδοςamong the many things that are (b9-c3). Such far departing from Parmenides’ ontological principle is done on the basis of the nature of the difference. It was the discovery of such a notion that made the stranger brave enough to say that not being is each part of the nature of the difference that is set over against being (258d7-e3, cf. 260b7-8). That the relation of being and difference is difference is the key element of the new ontology. The difference is, only because of its sharing in being, but it is not that which it shares in but different from it (259a6-8). Not being is exactly based on this difference: ἕτερον δὲ τοῦ ὄντος ὄν ἔστι σαφέστατα ἐξ ἀνάγκης εἶναι μὴ ὄν (a8-b1). 2. Difference and the Being of a Copy We discussed above that the sense of being of particulars in Republic V made so many debates that whether being is there used in an existential sense or not. Particulars in Republic are regarded as images in the allegories of Line and Cave. The being of an image/copy makes, thus, the same problem. Plato’s analogy of original -copy for the relation of Forms and their particulars in Republic has obviously a different attitude to being. The main question is that what is the ontological status of a copy in respect of its original? Are there two kinds of being, 'real being' versus 'being' as Ketchum says (1980, 140) or only one kind? What is the difference of being in an original and its copy? Is it a matter of degrees of being or reality as some commentators have suggested? Is it a matter of being relational? By reducing the ontological issue to an epistemological one, Vlastos’ suggestion of degrees of reality in an article with the same name does neither, I think, pay attention to the problem nor resolve it. He agrees that Plato never speaks of "degrees" or "grades" of reality (1998, 219). What allows him to entitle it as such are some of Plato’s words in Republic as well as Plato’s words in some other dialogues (1998, 219). When Plato states that the Forms only can completely, purely or perfectly be real he means, Vlastos says, they are cognitively reliable (1998, 229); an obvious reduction of the issue to an epistemological one. He thinks that when in Republic we are being said that a particular’s being F is less pure than its Form, it is because it is not exclusively F, but it is and is not F and this being adulterated by contrary characters is the reason of our confused and uncertain understanding of it (1998, 222). Ketchum rightly criticizes Vlastos’ doctrine in its disparting from ontology thinking that 'to understand Plato’s talk of being as talk of reality is to obscure the close relation that exists between "being" and the verb "to be"' (1980, 213). He thinks, therefore, that οὐσία must be understοοd as being rather than reality, τὸὄν as "that which is" and not "that which is real" and … (ibid). His conclusion is that degrees of reality cannot interpret Plato correctly and we must accept degrees of being. Allen believes that a 'purely epistemic' reading of the passage in Republic is patently at odds with Plato’s text (1961, 325). He thinks that not only degrees of reality but also degrees of reality must be maintained (1998, 67). What Cooper suggests gets close to this paper’s solution: -/- Plato does not I think wish to suggest that existence is a matter of degree in the way in which being pleasant or painful is a matter of degree. Rather there are different grades of ontological status. (1986, 241) -/- A more ontological solution for the problem of understanding the being of a copy and its relation with the being of its original is suggested by the theory of copy as a relational entity. Based on this interpretation, 'the very being of a reflection is relational, wholly dependent upon what is other than itself: the original…' (Allen, 1998, 62). As relational entities, particulars have no independent ontological status; they are purely relational entities which derive their whole character and existence from Forms (ibid, 67). Although these relational entities are and have a kind of existence, we must also say that 'they do not have existence in the way that Forms, things which are fully real, do' (ibid). Allen (1961, 331) extends his theory to Phaedo where it is said that particulars are deficient (74d5-7, 75a2-3, 75b4-8), 'wish' to be like (74d10) or desire to be of its nature (75a2); an extension that, like F.C. white (1977, 200), I cannot admit. He correctly states that Plato did not start out with a doctrine of particulars as images and semblances but come to such a view after Phaedo, or perhaps after Republic V (1977, 202). Though we may not agree with him about Republic V, if we have to consider its last pages also, we must agree with him that not only the ontology of Phaedo but also that of Republic II-V (except the last pages of the latter book) are somehow different from (but at the same time appealing to) the ontology of original-copy which should exclusively assign to Sophist, Timaeus and RepublicVI-VII besides the last pages of book V. The answer to the problem of Plato’s sense of being in RepublicV can be reached only if we read Republic V based on and as following Sophist. We can find out his meaning of that which both is and is not only by the ontological status he assigns to a copy in Sophist. The kind of being of a copy in Sophist reveals as Plato’s key for the lock of the problem of not being. Let’s see how the ontological status of a copy is the critical point of Plato’s ontology. In the earlier pages of Sophist, we are still in the same situation about not being. To think that that which is not is is called a rash assumption (237a3-4) and Parmenides’ principle of the impossibility of being of not being is still at work (a8-9). At 237c1-4, the problem of "not being" is noticed in a new way which shows some kinds of a more realistic position to the problem of not being. Nevertheless, not being is still unthinkable, unsayable, unutterable and unformulable in speech (238c10). Soon after mentioning that it is difficult even to refuse not being (238d), the solution to the problem appears: the being of a copy (εἴδωλον) (239d). A copy is, says Theaetetus, something that is made referring to a true thing (πρὸς τἀληθινὸν) but still is 'another such thing (ἕτεροντοιου̑τον)' (240a8). Nevertheless, this 'another such thing' cannot be another such real or true thing. In answer to the question of the Stranger that if this 'another such thing' is the true thing (240a9), Theaetetus answers: οὐδαμῶς ἀληθινόν γε, ἀλλ’ ἐοικὸςμὲν (240b2). A copy’s being 'another such thing' does not mean another true thing but only a resemblance of it. Not only is not a copy another true thing besides the original, but it is the opposite of the true thing (b5) because only its original is the thing genuinely and being a copy is being the thing only untruly. The word ἐοικὸς is opposed to ὄντως ὄν in the next line (240b7): 'So you are saying that that which is like (ἐοικὸς) is not really that which is (οὐκ ὄντως [οὐκ] ὄν)'. But still a copy 'is in a way (ἔστι γε μήν πως)' (b9). While it is not really what it is its resemblance, it has its own being and reality because it really is a likeness (εἰκων ὄντως) (b11). The Stranger asks: -/- So it is not really what is (οὐκ ὄν ἄρα [οὐκ] ὄντως ἐστὶν) but it really is what we call a likeness (ὄντως ἣν λέγομεν εἰκόνα)? (b12-13) -/- This is Plato’s innovative ontological solution to the problem of not being. Theaetetus’ answer confirms this: 'Maybe that which is not is woven together with that which is' (c1-2). Therefore, a copy neither is what really is nor is not-being but only is what in a way is. Thanks to the ontological status of a copy, the third status intermediate between being and not being is brought forth. The essence of an image, in Kohnke’s words, does not consist 'solely in the negation of what is genuine and has real being' because otherwise 'it would be an ὄντως οὐκ ὄν,essentially and really a not being' (1957, 37). The characteristics of a copy can be summed up as folows: i) A copy is a copy by referring to a true thing (πρὸς τἀληθινὸν). ii) A copy is different from that of which it is a copy (ἕτερον). iii) A copy is not itself a true thing (ἀληθινόν) as that of which it is a copy but only that which is like it (ἐοικὸς). iv) It is not really that which really is (ὄντως ὄν) but only really a likeness (εἰκων ὄντως). The conclusion is that: v) A copy in a way (πως) is that means it both is and in not, the product of interweaving being with not being. This leads to the refutation of father Parmenides’ principle, accepting that 'that which is not somehow is (τό τε μὴ ὄν ὡς ἔστι)' and 'that which is, somehow is not (τό ὄν ὡς οὐκ ἔστι) (241d5-7). Besides copies and likenesses (εἰκόνων), we have also imitations (μιμημάτων) and appearances (φαντασμάτων) as the subjects of this new kind of being and thus false belief (241e3). In Timaeus, the world of becoming which cannot correctly be called and thus we have to call it "what is such" (τὸ τοιου̑τον) (49e5) or "what is altogether such" (τὸ διἀ παντὸς τοιου̑τον) (e6-7), consists solely of imitations (μιμημάτα) (50c5) which are identifiable only by the things that they are their imitations. The word τοιου̑τον which had been used to determine the situation of a copy in respect of its original, now becomes the definition of the world of becoming in which everything is an image of another thing, a Being, that stays always the same and is different and separated from its image. Cherniss, in my view rightly, draws attention to the very important point about the ontological status of an image that can at the same time be considered a criticism of the relational theory. What we are being said in Timaeus, he thinks,cannot be explained by saying that an image is not self-related and making its being relational. What is crucial about an image is that it 'stands for something, refers to something, means something and this meaning the image has not independently as its own but only in reference to something else apart from it' (1998, 296). This function finds its best explanation in the theory we are to suggest in the following. 3. πολλαχῶς ἔστι The best way to understand the ontological status of an image in Plato is to see first how his most clever pupil, Aristotle, resolved the same problem that Plato brought his theory of image for its sake. Aristotle’s theory of pollachos legetai is a brilliant and, at the same time, deviated version of Plato’s theory that is able, however, to help us read Plato in a better way. We discuss Aristotle’s theory to reach to a full understanding of Plato’s theory because it is, firstly, constructed in Aristotle in a more clear way and, secondly, it can also be taken as an evidence that our reading of Plato is legitimate. The phrase τὸ ὄν πολλαχῶς λέγεται, a so much repeated phrase in Aristotle’s works, is his resolution for some of the ontological problems of his predecessors all treating being as if it has only one sense. Aristotle is right in his criticism of the philosophical tradition specially Heraclitus, Parmenides and Plato since all did presuppose only one sense for being and his theory is, thus, a creative and revolutionary solution for many problems that all the past philosophers were stuck in. But it is at the same time somehow a borrowed theory. As we will discuss, both the structure of the doctrine and the problems it tries to resolve are the same as Plato’s doctrine (and even is comparable in its phraseology) though it is in Aristotle, as can be expected, a more clear and better structured doctrine. 1) Associated with the theory of pros hen and the theory of substance, the theory of several senses of being provides a structure which, I insist, is the best guide to understand Plato’s theory of Being in Sophist, Timeaus and Republic. a) Although the theory of pollachos legetai is not necessarily based on the theory of pros hen, they become tightly interdependent about being: -/- Being is said in many ways/senses (τὸ δὲ ὄν λέγεται μὲν πολλαχῶς) but by reference to one (πρὸς ἕν) [way/sense] and one kind of nature (μίαν τινὰ φύσιν). (Metaphysics 1003a33-34) -/- The doctrine of pros hen which is Aristotle’s initiative third alternative besides the homonymous and synonymous application of words, is primarily a linguistic theory that tries to provide a new theory to explain the different implementations of the same word. The pros hen implementation of being is to provide an alternative for the theory of the synonymous (in Plato: homonymous) implementation of being which says being is said in one sense (kath hen) (1060b 32-33). That both the pros hen and the kath hen implementation of a word has one thing (hen) as what is common, makes them in opposition to the homonymous implementation which does not consider anything in common. Whereas both pros hen and kath hen assume a common nature, with which all the implementations of the word have some kind of relation, their difference is that while kath hen takes all the implementations of the word as the same with the common nature, pros hen makes them different. Substance is called πρῶτον ὄν because it is said to be primarily: -/- For as is (τὸ ἔστιν) is predicated of all things, not however in the same way (οὐχ ὁμοίως) but of one sort of thing primarily and of others in a secondary way. So too τὸτί ἐστιν belongs simply (ἁπλῶς) to substance but in a limited sense (πῶς) to the others [other categories] (1030a21-23). -/- The word ἁπλῶς standing against κατὰ συμβεβηκός tries to make substance different from the accidents. When we are being said that τὸ ὄν πολλαχῶς λέγεται, it means that only the substance that is simply (ἁπλῶς) the ἕν, the common nature, τὸὄν. When we use the word 'being' about a substance, the being is said differently from when we use 'being' about an accident. The distinction between the substance and the other categories is a distinction between what simply is said to be and what only with reference to (pros) the substance is said to be. The doctrine of pros hen, changing kath hen to pros hen in respect of to on, makes a distinction that wants to show that while there is a kind of implementing the word being that is simply being, there is another kind which is called being only by reference to that which is simply being. In the doctrine of pros hen it is not so that all the things that are said to be are only by reference to a common one thing, but that while one thing is called being because it is that thing itself, the other things are called so without being that thing itself but only by referring to it. At the very beginning of book Γ, it is said that: -/- Being is said in many senses but all refer to one arche. Some things are said to be because they are substances, others because they are affections of substances, others because they are a process towards substances or destructions or privations or qualities of substances … (1003b5-9, cf. 1028a18-20) -/- Substance is what really is said to be and all other things that are said to be are said only in favor of it. This difference of substance from all other senses of being is what is, I believe, primarily aimed in Aristotle’s interrelated theories of pollachos legetai,pros hen and the theory of substance. b) The difference of the implementation of being in the case of substance and the accidents goes so deep that while substance is considered as the real being, the accidents are almost not being. An accident is a mere name (Metaphysics 1026b13-14) and is obviously akin to not being (b21). Aristotle adds that Plato was 'in a sense not wrong' saying that sophists deal with not being (τὸ μὴ ὄν) because the arguments of sophists are, above all, about the accidental (1026b13-16). At the beginning of book , he says about quality and quantity (which look to be more of a being than other accidents) that they are not existent (οὐδ̕ ὄντα ὡς εἰπεῖν) in an unqualified sense (ἁπλῶς) (1069a21-22). The two above-mentioned points, Aristotle’s (a) interwoven theories of pollachos legetai, pros hen and the theory of substance and (b) taking accidents almost as not being, comparedwith substance, brings forth a structure that I shall call Pollachos Legetai (with capital first letters). What is of the highest importance in this structure for me is the difference of substance from accidents and the kind of relation which is settled between them. There is a substance that without any qualification is said to be and the accidents that are said to be only by reference (pros) to it. Adding Aristotle’s point about accidents that they are nearly not being to this relation and difference, we can obviously see how much this structure is close to Plato’s original-copy ontology. We spoke of the relation of being and difference in Plato’s model and the way Plato construes the being of a copy. A copy is a copy only by referring to (pros) a model; it is different from (ἕτερον) that of which it is a copy; it is not itself a true thing as its model and not really that which is (ὄντως ὄν) but only is in a way (πῶς). If we behold the difference of substance and accident in the context of the theory of pollachos legetai and pros hen, we can observe its fundamental similarity with Plato’s original-copy theory in its structure. Allen draws attention to the fact that the relation between Forms and particulars in Plato’s original-copy model is 'something intermediate between univocity and full equivocity' (1998, 70, n. 24) and the same as what Aristotle calls it pros hen (ibid). What made us compare the two structures was not, of course, the complete similarity of two structures (we have to agree with many possible differences of the two theories) but exactly the specific relation between an original and its copy on the one hand, and a substance and its accident on the other hand. As substance and accident do not share a common character and the substance -accident model hints that they stand in a certain relation, there is no common character between the original and copy in Plato’s model as well. Furthermore, their similarity is not confined to their structure only; they are also aimed to solve the same problem. The central point of the theory is that all the predecessors took being in one sense and this was their weakness point. Besides the mentioned above passages about the relation of pollachos legetai and presocratics’, as well as Plato’s, ontology, the relation of the theory with the problem of not being is clear in several passages. In Metaphysics, it is said: 'Being is then said in many senses… It is for this reason that we say even of not being that it is not being' (1003b5-10). Discussing the accidental sense of being, Aristotle points that it is in the accidental way that we say, for example, that not-white is because that of which it is an accident is (1017a18-19, cf. 1069a22-24). We mentioned that he thought Plato was right saying that sophistic deals with not being because sophistic deals with accidental, which is somehow not being (1026b14-16). Plato turned sophistic not-being to what both is and is not and Aristotle to what accidentally is said to be. What helps Aristotle to resolve the problem of not being is his distinction between ἁπλῶς and κατὰ σθμβεβηκός. Aristotle’s "qua" (ᾕ) which is directly linked with his distinction between καθ’ αὑτο λέγεται and κατὰ συμβεβηκός λέγεται, is used to resolve the old problem of coming to be out of not being (Physics 191b4-10). He strictly asserts that his predecessors could not solve the problem because they failed to observe the distinction of "qua itself" from "qua another thing" (b10-13). He then continues: -/- We ourselves are in agreement with them in holding that nothing can be said simply (ἁπλως) to come from not being (μὴὄντος). But nevertheless we maintain that a thing may come to be from not being in an accidental way (κατὰ συμβεβηκός). For from privation which ὅ ἐστι καθ’ αὑτο μὴ ὄν, nothing can become. (Phy. 191b13-16, cf. b19-25) . (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)

Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and for building (...) class='Hi'>sound taxonomic structures involving them. For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. At the core of this enterprise, there has been a theory of types specially designed to address these issues. This theory is ontologically well- founded, psychologically informed, and formally characterized. These results have led to the development of a Conceptual Modelling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed on conceptual model design in a variety of domains including academic, industrial, and governmental settings. These experiences exposed improvement opportunities for both the OntoUML language and its underlying theory, UFO. In this paper, we revise the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of OntoUML’s meta-types (e.g. kind, role, phase, mixin) should be considered not as restricted to substantial types but instead should be applied to model endurant types in general, including relator types, quality types, and mode types. We also contribute with a formal characterization of this fragment of the theory, which is then used to advance a new metamodel for OntoUML (termed OntoUML 2). To demonstrate that the benefits of this approach are extended beyond OntoUML, the proposed formal theory is then employed to support the definition of UFO-based lightweight Semantic Web ontologies with ontological constraint checking in OWL. Additionally, we report on empirical evidence from the literature, mainly from cognitive psychology but also from linguistics, supporting some of the key claims made by this theory. Finally, we propose a computational support for this updated metamodel. (shrink)

It is now increasingly accepted that many existing biological and medical ontologies can be improved by adopting tools and methods that bring a greater degree of logical and ontological rigor. In this chapter we will focus on the merits of a logically sound approach to ontologies from a methodological point of view. As we shall see, one crucial feature of a logically sound approach is that we have clear and functional definitions of the relational expressions such as ‘is (...) a’ and ‘part of ’. (shrink)

Formalisms such as description logics (DL) are sometimes expected to help terminologies ensure compliance with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) complies with such principles. We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the properties of SNOMED CT classes with respect to these principles. Our major results are: 31% (...) of the classes have a single child; 27% have multiple parents; 51% do not exhibit any differentiae between the description of the parent and that of the child. The applications of this study to quality assurance for ontologies are discussed and suggestions are made for dealing with multiple inheritance. (shrink)

Formalisms based on one or other flavor of Description Logic (DL) are sometimes put forward as helping to ensure that terminologies and controlled vocabularies comply with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) does indeed comply with such principles. We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the properties of (...) SNOMED CT classes with respect to these principles. Our major results are: 31% of these classes have a single child; 27% have multiple parents; 51% do not exhibit any differentiae between the description of the parent and that of the child. The applications of this study to quality assurance for ontologies are discussed and suggestions are made for dealing with the phenomenon of multiple inheritance. The advantages and limitations of our approach are also discussed. (shrink)

What is the distinctive character of musical experiences? An answer: musical experience is distinctive because it is of music. I argue, however, that the difference between musical and nonmusical experience cannot be explained with an ontological account of music per se. Instead, we have musical experiences of sounds whenever we listen and attend to sounds in a particular kind of way. I call this special kind of attention “musical listening.” One can explain why musical experiences are distinctive by explaining what (...) makes musical listening distinctive. This account of musical listening suggests an anti-realist stance towards music; there is no kind of thing “music” and no musical works that are its instances. Ultimately, I give a kind of account of music as a function of an activity of listening that more fully explains our lives with music and sound than do accounts that focus on describing the ontological status of music. (shrink)

The theory of universals faces two opposing demands. On the one hand, it must be explanatory. That is, certain kinds of statements found in our everyday discourse and the theories used to explain them seem to require the existence of universals for their understanding or acceptance. On the other hand, it must be ontologically appropriate. This means that theories that intervene ontologically without sufficient reasons for the existence of implausible entities or theories that result in an excessive proliferation of new (...) entities should not be embraced as theories of universals. The problem is that a theoretically sound theory of universals appears to inevitably involve a tension between explanatory and ontological appropriateness. This dilemma arises from the two aforementioned demands, and it is a genuine dilemma in that it is difficult to give up either demand. Philosophy, or metaphysics, fundamentally aims to explain the facts of the experiential world. If a philosophical theory fails to adequately satisfy our explanatory demands regarding the experiential world, it is not suitable as a philosophical theory. Conversely, it is also undesirable for a philosophical theory to impose excessive ontological burdens. The justification of a philosophical theory is a priori, and any a priori claims about the existence of entities should not be arbitrarily adopted. This article resolves this dilemma as follows: If the explanatory demand requires reduction from an ontological standpoint, it can be adequately addressed through unproblematic means. On the other hand, the apparent conflict between the explanatory demand and appropriate ontology only arises when it is understood as a demand for explanatory priority. However, such a demand does not necessarily require the introduction of any ontological priority. Therefore, there was no need for the dilemma to arise. Finally, I attempt to respond to the demands from natural kind predicates. (shrink)

An aesthetic and epistemological departure from ocular centrism has occurred in the wake of current technological evolutions and the posthuman turn. The sonic exploration of the more-than-human takes artists and philosophers beyond anthropomorphism to reveal the hidden patterning of life forms and yet-unfathomed universes. The conflation of nature with culture is one shift that takes place when thinking with sounds and rhythm and studying our environments. On an ontological level, a reordering of subject and object occurs when encountering the reciprocal (...) relationship of sounding. What if culture is actually nature? How does technology connect with botany, and what does it mean to engage the environment with the expanded tactility of the ear? This essay observes current inter-species practices in sound art by revisiting philosopher Susanne Langer’s theory of an embodied and embedded mind. Her “new key” in philosophy emphasizes music as a dynamic sound-pattern to conceptualize a semiology of artistic forms that renders human feeling in regard to non-human antecedents. This serves as a tool to trace the preconceptual substrata of mind, leading us through process-oriented studies of nature and psychophysical affect. Thinking with Langer involves the interconnection of natural systems, behavioural patterns, and human expression, which emerges in art. (shrink)

In current discussions on the problem of the metaphysical nature of the word, four factions – eliminativism, nominalism, originalism, and the type-token theory – take an active part. For eliminativism, words as separate entities do not exist; they are only a useful cognitive illusion. In the process of communication, competent speakers make sounds and inscriptions through which they are able to infer certain intentional contents of each other’s cognitive states. However, these sounds and inscriptions cannot be regarded as instances of (...) words since they do not possess the phonological and orthographic properties constitutive of words. For nominalism, by contrast, the streams of sounds and ink patterns produced by competent speakers serve as relevant instances of a particular word, or its tokens. What we usually call “words” are collections of such tokens, composed on the basis of similarity relations (phono- logical, orthographic or semantic). For originalism, the streams of sounds and ink patterns created by competent speakers are stages of words, understood as continuants, concrete ob- jects preserving identity over time, individualized by the causal history of their origin. Words are created by competent speakers through the practice of naming and spread through chains of interpersonal contact. The phonological, orthographic and semantic properties possessed by different stages of the same word are generally useless for a proper description of objects such as words. At different times of their existence, words can change any of their properties (pronunciation, spelling, and even reference) while preserving their identity in time. For the type-token theory, words are types, or abstract objects encoding a particular phonographic pattern, which in the process of communication must be instantiated by a competent native speaker by uttering or writing the appropriate token. The type-token theory has several ad- vantages over the views of eliminativism, nominalism and originalism. Firstly, it offers a unified ontology of linguistic structures (since the division into tokens and types extends here to the whole range of linguistic units, including sentences and letters). Secondly, unlike most of its competitors, it is able to present a clear operational criterion for word identity, while being consistent with most of our intuitive notions of intra- and cross-linguistic phenomena (homonymy, synonymy, etc.). (shrink)

Silence is a multifaceted concept which is not merely as an absence of sound but a presence with significant ontological, existential, and phenomenological implications. Through a thematic analysis, this paper deconstructs silence into various dimensions—its ontology, linguistic universality, and its function as cessation of speech, a form of listening, an act of kenosis, a form of ascesis, and a way of life. The study employs philosophical discourse and mathematical notation to delve into these aspects, demonstrating that while each (...) perspective sheds light on certain facets of silence, none can comprehensively encapsulate its essence. The research underscores the paradoxical nature of silence. It is both a universal phenomenon recognised across cultures and an intimate, personal experience that resists definitive categorisation. The paper concludes that the true nature of silence, particularly when considering the state of "being silent," remains indefinable and elusive, inviting deeper contemplation on its role in human experience. (shrink)

The proper sensible criterion of sensory individuation holds that senses are individuated by the special kind of sensibles on which they exclusively bear about (colors for sight, sounds for hearing, etc.). H. P. Grice objected to the proper sensibles criterion that it cannot account for the phenomenal difference between feeling and seeing shapes or other common sensibles. That paper advances a novel answer to Grice's objection. Admittedly, the upholder of the proper sensible criterion must bind the proper sensibles –i.e. colors– (...) to the common sensibles –i.e. shapes– so as to account for the visual phenomenal character of shapes. But, as Grice rightly objected, neither association, nor ontological dependence will do –I spend some time isolating why dependence is a bad answer here, basically because the dependence of shape on colors is generic, and that genericity is arguably not part of the phenomenal content of perception. -/- Grice is wrong, however, to think that once association and dependence have been rebutted, there is no other way to attach color to extension. The right way to connect proper and common sensibles is rather trivial, although it seems to have been widely neglected: proper sensibles FILL common ones. To see a shape, by contrast to feeling it, is to perceived as filled by some color. To feel a shape, is to perceive it as, say, filled by pressure. Filling in is the phenomenal connection between proper and common sensibles. -/- One important corollary of that proposal is that proper sensibles –color, pressure, noise, taste...– have to belong to the category of stuffs, in the sense of uncountable entities. Against the widespread view that colors are properties, which have countable instances, the last part of the paper argues that colors are phenomenal stuffs, which fill some visual area. One commits a category mistake in asking: "How many tropes/instances of this determinate redness is there on that ladybird". One should rather ask "How much of this determinate redness is there on that ladybird". (shrink)

Classical Greek philosophy in its struggle to grasp the material world from its very beginning has been marked by the – sometimes undercurrent, some others overt and even intense, but never idle – juxtaposition between the mind and the senses, logos and perception or, if the anachronism is allowed, between realism and idealism. Parmenides is reportedly the first philosopher to insistently assert that thought and being are the same by his famous aphorism τὸ γὰρ αὐτὸ νοεῖν ἐστί τε καὶ εἶναι, (...) and that the “way of truth”, as opposed to the “way of opinion”, only runs through the intellect, since the truth is unattainable by the illusory senses. Thus, true may be only what our intellect can firmly grasp, and – by an easy, though not equally sound step – vice versa: that which our intellect can firmly grasp is necessarily true. In this paper I intend to set off Parmenides’ apparent influence on Anselm with regard to the latter’s celebrated ontological argument concerning the existence of God, and the influence of both on Spinoza’s Ethica, which is founded on the key tenet that not only does God necessarily exist – since God is intellectually conceivable –, but that God also by necessity is an utterly good one. (shrink)

Some philosophers have argued that we do not hear sounds as located in the environment. Others have objected that this straightforwardly contradicts the phenomenology of auditory experience. And from this they draw metaphysical conclusions about the nature of sounds—that they are events or properties of vibrating surfaces rather than waves or sensations. I argue that there is a minimal, but recognizable, notion of audition to which this phenomenal objection does not apply. While this notion doesn’t correspond to our ordinary notion (...) of auditory experience, it does—in conjunction with our lack of an uncontroversial individuation of the senses and recent interest in distinctively multisensory features of perceptual experiences—raise the possibility of more expansive notions of audition, including some that do plausibly count as corresponding to our everyday notion of audition, that lack the spatial phenomenology cited in the objection. Until this possibility is ruled out, the phenomenal objection and metaphysical conclusions drawn from it remain inconclusive. (shrink)

[English] The paper observed that the various ethics that constitute the system of African environmental ethics are not based on or linked to any known African ontology and formal logic. It argued that the contextualisation of African environmental ethics on African ontology and African logic is essential since Western ontology and logic do not serve to adequately explain and provide proper meanings to the various concepts and propositions employed in the African environmental ethics. Therefore, the paper aimed (...) to, and indeed, link and establishes African environmental ethics on a definite and sound African ontology and formal logic based on Ibuanyidanda complementary ontology and Ezumezu integrativist logic. -/- [Annang] Nwed ndun̄ọ ami akondo ada akud ate k’ idem mme ido ukpeme nkan-n̄kuk ke Africa ada nsan nsan ye ọntọlọgy ye lọgik Africa. Nnwed ami abenne awọ́d ate ke ọntọlọgy ye lọgik mfia agwo iwamma ke adinam awan̄a mme nsio nsio akpọ-ikọ, adaha ikọ, mme usem, ye mme edu ake 'adọhọke ke mme ido ukpeme nkan-n̄kuk ke Africa. Ntak ade anam ukpep mkpọ ami anwana ndiben ido ukpeme nkan-n̄kuk Africa n̄ka n̄ke kọọn̄ ke ọntọlọgy ye lọgik afọnnọ nte itiat ikaba, ade anam anye asan̄a 'ke kem ye Ibuanyidanda Ontology ye Ezumezu Logic. (shrink)

Physical reality is all the reality we have, and so physical theory in the standard sense is all the ontology we need. This, at least, was an assumption taken almost universally for granted by the advocates of exact philosophy for much of the present century. Every event, it was held, is a physical event, and all structure in reality is physical structure. The grip of this assumption has perhaps been gradually weakened in recent years as far as the sciences (...) of mind are concerned. When it comes to the sciences of external reality, however, it continues to hold sway, so that contemporary philosophers B even while devoting vast amounts of attention to the language we use in describing the world of everyday experience B still refuse to see this world as being itself a proper object of theoretical concern. Here, however, we shall argue that the usual conception of physical reality as constituting a unique bedrock of objectivity reflects a rather archaic view as to the nature of physics itself and is in fact incompatible with the development of the discipline since Newton. More specifically, we shall seek to show that the world of qualitative structures, for example of colour and sound, or the commonsense world of coloured and sounding things, can be treated scientifically (ontologically) on its own terms, and that such a treatment can help us better to understand the structures both of physical reality and of cognition. (shrink)

The History of Ideas is presently enjoying a certain renaissance after a long period of disrepute. Increasing quantities of digitally available historical texts and the availability of computational tools for the exploration of such masses of sources, it is suggested, can be of invaluable help to historians of ideas. The question is: how exactly? In this paper, we argue that a computational history of ideas is possible if the following two conditions are satisfied: (i) Sound Method . A computational (...) history of ideas must be built upon a sound theoretical foundation for its methodology, and the only such foundation is given by the use of models , i.e., fully explicit and revisable interpretive frameworks or networks of concepts developed by the historians of ideas themselves. (ii) Data Organisation. Interpretive models in our sense must be seen as topic-specific knowledge organisation systems (KOS) implementable (i.e. formalisable) as e.g. computer science ontologies. We thus require historians of ideas to provide explicitly structured semantic framing of domain knowledge before investigating texts computationally, and to constantly re-input findings from the interpretive point of view. In this way, a computational history of ideas maximally profits from computer methods while also keeping humanities experts in the loop. We elucidate our proposal with reference to a model of the notion of axiomatic science in 18th -19th century Europe. (shrink)

It is more than a platitude to admit that we are always dying. It is a recognition of the fundamental finitude that marks our existence as human persons. It says something essential about the human condition. We are all born. We all die. And the very living of life is, leaving aside for the moment religious considerations, oriented toward death. Phenomenologists make much of this observation, perhaps none more so than Martin Heidegger who argues that our being-toward-death permits the ontological (...) grasping of Da-sein as a whole. Indeed for him, the“existential and ontological concept of death” is “the own most nonrelational, certain, and, as such, indefinite and not to be bypassed possibility of Da-sein.” However, if one spends much time around those who are very close to death it can begin to sound disingenuous to talk about death as one’s own most possibility. It is easy to think these patients are dying—not me. Still, the phenomenologist might claim that, vis-à-vis our being-toward-death, the difference between me and the terminally ill patient is a matter of degree and not kind. But, is this so? One may be excused for thinking not. There appears to be an important difference in the kinds of possible experiences open to us. I may experience healing if I become ill; on the other hand, the very condition of the patient with a terminal illness is defined by the impossibility of her experiencing healing. The primary aim of this paper is to argue that the terminally ill patient can, in fact, experience healing at the end of her life and in the face of impending death. I will not argue that the possibility of experiencing healing at the end of life means leaving room for divine intervention, though neither do I intend to preclude such a possibility. Rather, I will argue that healing is something that we experience quite apart from what happens to our biological make-up. While healing is often correlated with a change in the state of our bodies, it need not be. (shrink)

This article argues for an epistemology of music, stating that dealing with music can be considered as a process of knowledge acquisition. What really matters is not the representation of an ontological musical reality, but the generation of music knowledge as a tool for adaptation to the sonic world. Three major positions are brought together: the epistemological claims of Jean Piaget, the biological methodology of Jakob von Uexküll, and the constructivistic conceptions of Ernst von Glasersfeld, each ingstress the role of (...) the music user rather than the music. Dealing with music, in this view, is not a matter of representation, but a process of semiotization of the sonorous environment as the outcome of interactions with the sound. Hence the role of enactive cognition and perceptual-motor interaction with the sonic environment. What is considered a central issue is the way how listeners as subjects experience their own phenomenal world or Umwelt, and how they can make sense out of their sonic environment. Umwelt-research, therefore, is highly relevant for music education in stressing the role of the listener and his/her listening strategies. (shrink)

One version of moral error theory maintains that the central problem with morality is an ontological commitment to irreducible normativity. This paper argues that this version of error theory ultimately depends on an appeal to Ockham’s Razor, and that Ockham’s Razor should not be applied to irreducible normativity. This is because the appeal to Ockham’s Razor always contains an intractable element of epistemic circularity; and if this circularity is not vicious, we can construct a sound argument for the existence (...) of irreducibly normative truths that contains a similar kind of epistemic circularity. This argument is a version of Pascal’s Wager which I call “Parfit’s Wager,” because it is based on a passage from Derek Parfit’s On What Matters. It states that, if we believe that there are some irreducibly normative truths, we are more likely to be believing what we ought to believe compared to not believing that there are such truths, and that this indicates that we ought rationally to believe that there are such truths, justifying the ontological commitment to irreducible normativity in the process. (shrink)

The terms immanence and transcendence have played a significant role in philosophical thought since its inception. Implicit in the notions of immanence and transcendence, as typified within the history of ideas, is often a separation and division between the human and the godly. This division has served to generate ontologies of isolation and set up epistemologies that can be both binary and divided. The terms immanence and transcendence thus sit at the heart of contemporary onto-epistemic accounts of the world. As (...) such, in seeking to examine the nature of what is, this paper traces a line through the history of ideas in an attempt to clarify the connections and dissonances in the notions of immanence and transcendence. This is done for the purpose of demonstrating what philosophical and religious accounts may offer in attempting to create a sound account of the godly and thus the world in a secular age. (shrink)

There are two broad approaches to theorizing about ontological categories. Quineans use first-order quantifiers to generalize over entities of each category, whereas type theorists use quantification on variables of different semantic types to generalize over different categories. Does anything of import turn on the difference between these approaches? If so, are there good reasons to go type-theoretic? I argue for positive answers to both questions concerning the category of propositions. I also discuss two prominent arguments for a Quinean conception of (...) propositions, concerning their role in natural language semantics and apparent quantification over propositions within natural language. It will emerge that even if these arguments are sound, there need be no deep question about Quinean propositions’ true nature, contrary to much recent work on the metaphysics of propositions. (shrink)

JULIAN DODD’S MUSICAL PLATONISM The purpose of the paper is to analyse Julian Dodd’s musical Platonism in the ontology of works of music. Dodd defends two views; first, that musical works are norm-types the tokens of which are dateable, locatable patterns of sounds. Second, that musical works are entities individuated purely in terms of how they sound. The main results of the analysis is the rejection of the following Dodd’s theses: 1. that types exist eternally; 2. that they (...) are unstructured; 3.that their identity is determined by the condition that something must meet to be one of its tokens. Keywords: ONTOLOGY OF WORKS OF MUSIC, MUSICAL PLATONISM, JULIAN DODD. (shrink)

In this paper I examine the role of dispositional properties in the most frequently discussed interpretations of non-relativistic quantum mechanics. After offering some motivation for this project, I briefly characterize the distinction between non-dispositional and dispositional properties in the context of quantum mechanics by suggesting a necessary condition for dispositionality – namely contextuality – and, consequently, a sufficient condition for non-dispositionality, namely non-contextuality. Having made sure that the distinction is conceptually sound, I then analyze the plausibility of the widespread, (...) monistic ontological thesis about the reducibility of dispositional properties to categorical properties in the context of the philosophy of quantum mechanics. I conclude that with the exception of Bohmian mechanics, the other “minimally realist” views of quantum mechanics require essential dispositions, i.e., dispositions of a non-reducible kind. Interestingly, seen behind the lenses of dispositionalism, Bohr’s and Bohm’s interpretations of quantum mechanics are much closer than it is usually recognized, a fact that could teach us something about the way the quantum world is. (shrink)

The paper challenges the assumption, common amongst philosophers, that the reality described in the fundamental theories of microphysics is all the reality we have. It will be argued that this assumption is in fact incompatible with the nature of such theories. It will be shown further that the macro-world of three-dimensional bodies and of such qualitative structures as colour and sound can be treated scientifically on its own terms, which is to say not only from the perspective of psychology (...) but also ontologically. A new sort of emergentist position will be defended, one which yields the basis of a method for describing the perceptually salient macroscopic world in mathematical terms. Broadly, it will be argued that the macroscopic world exists in virtue of certain specific sorts of boundary-patterns in the field of what is captured by the theories of microphysics. (shrink)

How can consciousness, how can the mind be causally efficacious in a world which seems—in some sense—to be thoroughly governed by physical causality? Mental causation has been a nagging problem in philosophy since the beginning of the modern age, when, inspired by the rise of physics, a metaphysical picture became dominant according to which the manifest macrophysical world of rocks, trees, colors, sounds etc. could be eliminated in favor of, or identified with, the microconstituents of these entities and their basic (...) physical properties, plus their effects on human or animal minds. Against the background of this ontology, the argument from causal closure, or the causal completeness of physics, exerts strong pressure to also identify consciousness with microphysical entities—or even to eliminate it in favor of the latter—the only other options apparently being either the denial of the causal closure of the physical level, epiphenomenalism about the mind, or the view that its physical effects are generally overdetermined. In this paper, however, I want to introduce what I call the “microstructure view” (MV) of the brain-consciousness relation, and I want to try to make plausible that the problem of mental causation can also be solved, or perhaps rather dissolved, on the basis of this account. On the MV, the minimal neuronal correlates of consciousness—of the global state of consciousness, or specific states of consciousness such as pain—are not identical with these states, but rather constitute their microstructure, or, as I shall also say, equivalently, compose them. (shrink)