To Aristotle, spoken words are symbols, not of objects in the world, but of our mental experiences related to these objects. Presently there are two major strands of interpretation of Aristotle’s concept of the linguistic sign. First, there is the structuralist account offered by Coseriu (Geschichte der Sprachphilosophie. Von den Anfängen bis Rousseau, 2003 [1969], pp. 65–108) whose interpretation is reminiscent of the Saussurean sign concept. A second interpretation, offered by Lieb (in: Geckeler (Ed.) Logos Semantikos: Studia Linguistica in Honorem (...) Eugenio Coseriu 1921–1981, 1981) and Weidemann (in: Schmitter (Ed.) Geschichte der Sprachtheorie 2. Sprachtheorien der abendländischen Antike, 1991), says that Aristotle’s concept of the linguistic sign is similar to the one presented in Ogden and Richard’s (The meaning of meaning: A study of the influence of language upon thought and of the science of symbolism, 1970 [1923]) semiotic triangle. This paper starts off with an introductory outline of the so-called phýsei-thései discussion which started during presocratic times and culminated in Plato’s Cratylus. Aristotle’s concept of the linguistic sign is to be regarded as a solution to the stalemate position reached in the Cratylus. Next, a discussion is offered of both Coseriu’s and Lieb’s analysis. We submit that Aristotle’s concept of the linguistic sign shows features of both Saussure’s and Ogden and Richards’s sign concept but that it does not exclusively predict one of the two. We argue that Aristotle’s concept of the linguistic sign is based on three different relations which together evince his teleological as well empiricist point of view: one internal (symbolic) relation and two external relations, i.e. a likeness relation and a relation katà synthéken. (shrink)

Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having only x free. An existential-import predicate (...) Q is one whose existentialization, ∃ x Q, is logically true; otherwise, Q is existential-import-free or simply import-free.How abundant or widespread is existential import? How abundant or widespread are existential-import predicates in themselves or in comparison to import-free predicates? We show that existential-import predicates are quite abundant, and no less so than import-free predicates. Existential.. (shrink)

A predicate logic typically has a heterogeneous semantic theory. Subjects and predicates have distinct semantic roles: subjects refer; predicates characterize. A sentence expresses a truth if the object to which the subject refers is correctly characterized by the predicate. Traditional term logic, by contrast, has a homogeneous theory: both subjects and predicates refer; and a sentence is true if the subject and predicate name one and the same thing. In this paper, I will examine evidence for ascribing to Aristotle the (...) view that subjects and predicates refer. If this is correct, then it seems that Aristotle, like the traditional term logician, problematically conflates predication and identity claims. I will argue that we can ascribe to Aristotle the view that both subjects and predicates refer, while holding that he would deny that a sentence is true just in case the subject and predicate name one and the same thing. In particular, I will argue that Aristotle's core semantic notion is not identity but the weaker relation of constitution. For example, the predication ‘All men are mortal’ expresses a true thought, in Aristotle's view, just in case the mereological sum of humans is a part of the mereological sum of mortals. (shrink)

In today's globalized world, we need to communicate values clearly and constructively across cultures and religions to avoid misunderstanding and conflict and to find shared solutions to the issues affecting human communities across the world. This communication is not easy to implement and requires a considerable amount of commitment and empathy. To be effective, intercultural and interreligious dialogues on ethics demand, first of all, an accommodation of different epistemologies coupled with a sincere respect for their richness and internal coherence. Furthermore, (...) our values are so closely rooted in our identity that expressing them becomes a cultural act—even an act of faith in the case of interreligious dialogue. In this paper, I argue that we need to reiterate or embrace this act of faith in the other's values if we are to properly understand them. How is this possible? The answer calls for a theoretical discussion of the hermeneutics of interreligious dialogue. When applied to intercultural and interreligious dialogues, I contend that the theory of hermeneutics needs a specific epistemological dimension—namely that of "appropriation"—that entails that we borrow the other's epistemological outlook, adopt the other's ad hoc modes of communication or transmission of values, and integrate the other's values into the constellation of our sources of meaning. (shrink)

Taki Suto, Boethius on Mind, Grammar and Logic: A Study of Boethius’ Commentaries on Peri Hermeneias. Leiden: Brill Publishers, 2012. xiii + 296 pp. $148. €108. ISBN 9789004214187.Reviewed by Marga...

In chapter 9 of De Interpretatione, Aristotle offers a defense of free will against the threat of fatalism. According to the traditional interpretation, Aristotle concedes the validity of the fatalist's arguments and then proceeds to reject the Principle of Bivalence in order to avoid the fatalist's conclusion. Assuming that the traditional interpretation is right on this point, it remains to be seen why Aristotle felt compelled to reject such an intuitive semantic principle rather than challenge the fatalist's inference from truth (...) to necessity. The answer, I contend, lies in Aristotle's theory of truth and truthmakers. (shrink)

Abstract Some fictions, it seems, represent the future as closed, in the sense that some future-tensed propositions are true in those fictions. Yet it is surprisingly difficult to accommodate this plausible thesis within an account of truth in fiction. A number of putative examples of closed fictional futures are discussed (Macbeth, Oedipus, Time and the Conways, The Time Machine) and the problems encountered in reconciling them with various accounts of truth in fiction (David Lewis', Gregory Currie's, Alex Byrne's) elaborated. Connections (...) are drawn between metaphysical views on time and theories of fiction, and an attempt is made to show how the tenseless theory of time (roughly, the denial that time flows) can illuminate accounts of fictional truth, and in particular the issue of how there can be true beliefs about what will happen in a fiction. (shrink)

Two main claims are defended. The first is that negative categorical statements are not to be accorded existential import insofar as they figure in the square of opposition. Against Kneale and others, it is argued that Aristotle formulates his o statements, for example, precisely to avoid existential commitment. This frees Aristotle's square from a recent charge of inconsistency. The second claim is that the logic proper provides much thinner evidence than has been supposed for what appears to be the received (...) view, that is, for the view that insofar as they occur in syllogistic negative categoricals have existential import. At most there is a single piece of evidence in favor of the view?a special case of echthesis or the setting out of a case in proof. (shrink)

One of the characteristic features of contemporary logic is that it incorporates the Frege‐Russell thesis according to which verbs for being are multiply ambiguous. This thesis was not accepted before the nineteenth century. In Aristotle existence could not serve alone as a predicate term. However, it could be a part of the force of the predicate term, depending on the context. For Kant existence could not even be a part of the force of the predicate term. Hence, after Kant, existence (...) was left homeless. It found a home in the algebra of logic in which the operators corresponding to universal and particular judgments were treated as duals, and universal judgments were taken to be relative to some universe of discourse. Because of the duality, existential quantifier expressions came to express existence. The orphaned notion of existence thus found a new home in the existential quantifier. (shrink)

It is argued that a number of important, and seemingly disparate, types of representation are species of a single relation, here called structural representation, that can be described in detail and studied in a way that is of considerable philosophical interest. A structural representation depends on the existence of a common structure between a representation and that which it represents, and it is important because it allows us to reason directly about the representation in order to draw conclusions about the (...) phenomenon that it depicts. The present goal is to give a general and precise account of structural representation, then to use that account to illuminate several problems of current philosophical interest — including some that do not initially seem to involve representation at all. In particular, it is argued that ontological reductions (like that of the natural numbers to sets), compositional accounts of semantics, several important sorts of mental representation, and (perhaps) possible worlds semantics for intensional logics are all species of structural representation and are fruitfully studied in the framework developed here. (shrink)

Nexuses such as exemplification are the fundamental ties that structure reality as a whole. They are “formal” in the sense of constituting the form, not the matter of reality and they are “transcendental” inasmuch as they transcend the categorial distinctions between the denizens of reality, including that between existents and non-existents. I shall advocate a moderately particularist view about (external) nexuses and argue that it provides not only the best solution to Bradley’s regress, but also an elegant account of symmetrical (...) relations (both formal and material), as well as of temporal and modal change. These advantages are illustrated by the reconstruction of an Aristotelian ontology of exemplification involving substances, kinds and material attributes. (shrink)

The Ontological Square is a categorial scheme that combines two metaphysical distinctions: that between types (or universals ) and tokens (or particulars ) on the one hand, and that between characters (or features ) and their substrates (or bearers ) on the other hand. The resulting four-fold classification of things comprises particular substrates, called substances , universal substrates, called kinds , particular characters, called modes or moments , and universal characters, called attributes . Things are joined together in facts by (...) primitive ontological ties or nexus . This article describes a logic that is meant to capture the basic intuitions behind the Ontological Square. Given a minimal correspondence between atomic logical form and ontological structure, the commitment to nexus as a distinct ontological category entails a rehabilitation of copulae as ties of predication. Thus, the Logic of the Ontological Square is a copula calculus rather than a predicate calculus; its soundness and completeness can be established with respect to a model akin to a so-called first-order semantics for standard second-order logic. (shrink)

In this article, the author attempts to explicate the notion of the best known Talmudic inference rule called qal wa-omer. He claims that this rule assumes a massive-parallel deduction, and for formalizing it, he builds up a case of massive-parallel proof theory, the proof-theoretic cellular automata, where he draws conclusions without using axioms.

Some Carrollian posthumous manuscripts reveal, in addition to his famous ‘logical diagrams’, two mysterious ‘logical charts’. The first chart, a strange network making out of fourteen logical sentences a large 2D ‘triangle’ containing three smaller ones, has been shown equivalent—modulo the rediscovery of a fourth smaller triangle implicit in Carroll's global picture—to a 3D tetrahedron, the four triangular faces of which are the 3+1 Carrollian complex triangles. As it happens, such an until now very mysterious 3D logical shape—slightly deformed—has been (...) rediscovered, independently from Carroll and much later, by a logician , a mathematician and a linguist studying the geometry of the ‘opposition relations’, that is, the mathematical generalisations of the ‘logical square’. We show that inside what is called equivalently ‘n-opposition theory’, ‘oppositional geometry’ or ‘logical geometry’, Carroll's first chart corresponds exactly, duly reshap.. (shrink)

In his groundbreaking work of 1969, Spinoza's Metaphysics: An Essay in Interpretation, Edwin Curley attacked the traditional understanding of the substance-mode relation in Spinoza, according to which modes inhere in substance. Curley argued that such an interpretation generates insurmountable problems, as had already been claimed by Pierre Bayle in his famous Dictionary entry on Spinoza. Instead of having modes inhere in substance Curley suggested that the modes’ dependence upon substance should be interpreted in terms of (efficient) causation, i.e., as committing (...) Spinoza to nothing over and above the claim that substance is the (efficient) cause of the modes. These bold and fascinating claims generated one of the most important scholarly controversies in Spinoza scholarship of the past thirty-five years. In this paper I argue against Curley’s interpretation and attempt to reestablish the traditional understanding of Spinozistic modes as inhering in God and as predicated of God. I also criticize Curley’s philosophical motivation for suggesting this interpretation. In order to show that, for Spinoza, modes are predicated of - and inhere in - substance, I will proceed in the following manner. First, I will summarize Curley’s arguments against substance-mode inherence and present his alternative interpretation of the substance-mode relation. I will then present what I consider to be the most compelling arguments against Curley’s interpretation. Some of these arguments have already been suggested in the literature of the past thirty years (and by Bayle); however, as far as I know, most of the arguments I will be making are new. In the subsequent section I will respond to objections that Curley and Bayle advance against Spinoza’s view of God as the substratum in which all things inhere. Finally, I will address whether Spinozistic modes are predicated of (and not only inhere in) substance, and whether Spinoza considered modes to be particular properties (or “tropes,” in the jargon of contemporary metaphysics). Since Bayle’s claims will be used both in support of and against Curley’s interpretation, it would be appropriate to say a few introductory words on Bayle’s stance. In his Spinoza entry, Bayle criticizes Spinoza’s claim that all things are modes of God, claiming that it “is the most monstrous hypothesis that could be imagined, the most absurd, and the most diametrically opposed to the most evident notions of our mind.” Bayle, however, has no doubt that when Spinoza claims that all things are modes of God, Spinoza means that all things inhere in God. Curley embraces Bayle’s arguments against Spinoza, but uses them in order to claim that we should not ascribe to Spinoza a view which is allegedly shown by Bayle to be absurd. What we should do, Curley argues, is to reinterpret the substance-mode relation as a relation of causal dependence, which would set Spinoza free from Bayle’s hook. Interestingly, as we shall soon see, Bayle himself discusses and rejects a very similar revisionary interpretation of the substance-mode relation. (shrink)

To translate the Aristotelian square of opposition into Chinese requires restructuring the Aristotelian system of genus-species into the Chinese way of classification and understanding of the focus-field relationship. The feature of the former is on a tree model, while that of the later is on the focusfield model. Difficulties arise when one tries to show contraries betweenA- type and E-type propositions in the Aristotelian square of opposition in Chinese, because there is no clear distinction between universal and particular in a (...) focus-field structure of thinking. If there could be a chance to discuss the analytic identity between the two logical systems, then it might be only constituted during a face to face conversation in the present, or, in other words, in the translation of particular propositions (singular subjective,I-type, andO-type propositions) in a particular case. The best hope for a translator is that in the actual temporally situated practice,now he or she might find a temporary way to map the concepts of one to the other with relatively little loss of structure. (shrink)

Ever since ?ukasiewicz, it has been opinio communis that Aristotle's modal syllogistic is incomprehensible due to its many faults and inconsistencies, and that there is no hope of finding a single consistent formal model for it. The aim of this paper is to disprove these claims by giving such a model. My main points shall be, first, that Aristotle's syllogistic is a pure term logic that does not recognize an extra syntactic category of individual symbols besides syllogistic terms and, second, (...) that Aristotelian modalities are to be understood as certain relations between terms as described in the theory of the predicables developed in the Topics. Semantics for modal syllogistic is to be based on Aristotelian genus-species trees. The reason that attempts at consistently reconstructing modal syllogistic have failed up to now lies not in the modal syllogistic itself, but in the inappropriate application of modern modal logic and extensional set theory to the modal syllogistic. After formalizing the underlying predicable-based semantics (Section 1) and having defined the syllogistic propositions by means of its term logical relations (Section 2), this paper will set out to demonstrate in detail that this reconstruction yields all claims on validity, invalidity and inconclusiveness that Aristotle maintains in the modal syllogistic (Section 3 and 4). (shrink)

The topic of homonymy, especially the variety of homonymy that has gone under the title, “focal meaning,” is of fundamental importance to large portions of Aristotle’s work-not to mention its central place in the ongoing controversies between Aristotle and Plato. It is quite astonishing, therefore, that the topic should have gone so long without a book-length treatment. And it is all the more gratifying that the new book on homonymy by Christopher Shields should be so comprehensive, and of such uniformly (...) high quality.’ Everyone who cares about Aristotle will be in his debt. Shields’s book falls into two parts. In the first, he is concerned to lay out the basic structure of Aristotle’s views about homonymy; in the second part, we are led through the various applications of the idea, to the analysis of friendship, for example, the homonymy of the body, the account of goodness and, not least, the homonymy of being. Shields’s book brings out well how the topic of homonymy weaves in and out of the fabric of Aristotle’s thinking in a variety of areas. I will resist the temptation to follow Shields through these various subject-matters, and instead take up essentially two topics. First, (I), the basic outline of Aristotle’s notion of homonymy, more or less independently of its different applications (here, I follow Shields’s example in the first half of his book). Thereafter, I discuss a single application: the homonymy of being (this is the subject of Shields’s last and longest chapter). Here, I will be interested (II) in how homonymy relates to the theory of the categories; and (III) in the application of homonymy to the analysis of substance in the Metaphysics. (shrink)

In the history of ethics, it remains remains unclear how Christians of the Middle Ages came to see God-given virtues as dispositions (habitus) created in the human soul. Patristic works could surely support other conceptions of the virtues given by grace. For example, one might argue that all such virtues are forms of charity, so that they must be affections of the soul, or that they consist in what the soul does, not anything the soul has. Scholars usually assume that (...) the explanation lies in the impact of Aristotle's philosophy on medieval theology. This essay argues that the dispositional account of God-given virtues was already entrenched by the end of the twelfth century and probably owes more to the influence of Augustine's treatise On the Good of Marriage. (shrink)

For Kant, Aristotle's categories are arbitrary but brilliant and they do not ultimately correspond to extramental reality. For Aquinas, however, they are rational divisions of extramental being. In this perennial and ongoing dispute, the various positions seem to dissolve upon delving into the particulars of any one category. If, however, the categories are divisions of extramental being, it should be possible to offer plausible accounts of particular categories. I offer Aquinas's unstudied derivation of quality as a test case to see (...) how one could hold, and how Aquinas did hold, to a realism about Aristotle's categories at a highly specific level. Although Aristotle divides quality into four species and some further subspecies, unlike Aquinas, he offers no reasons for these divisions. For Aquinas each accident is a particular mode of existing, that is, it is a particular way that an accident exists in a substance. In the case of quality, this mode of existing follows substantial form and its real extramen.. (shrink)

There are a number of fragments attributed to Theophrastus, as well as titles in Diogenes Laertius' catalogue of his writings , of which it is uncertain whether they should be placed among his logical or rhetorical works. In this note I want to give my reasons for excluding one of them from my forthcoming edition of his logical fragments. It is not my intention here to discuss all the questions it raises; I hope to come back to them in a (...) later volume of my commentary. (shrink)

Tropes, as distinguished from other possible kinds of entities such as universals, states of affairs, events and bare particulars, are best-suited to play the role of causal relata.

Antiphasis is a case of core-dependent homonymy, and has three significations in Aristotle's philosophy: antiphasis as an opposition between propositions ; antiphasis as the opposition between ‘subject’ and ‘not a subject’ in coming-to-be and perishing ; and antiphasis as the opposition between possession and privation . Argument based on the fifth type of priority described in Cat. 12 shows that, for Aristotle, the ontological significations are prior to the propositional.

AtCategories7, 6a36-7 Aristotle defines relatives, but at 8a13-28 worries that the definition may include some substances. Aristotle introduces a second account of relatives to solve the problem. Recent commentators have held that Aristotle intends to solve the extensional adequacy worry by restricting the extension of relatives. That is, R2 counts fewer items as relative than R1. However, this cannot explain Aristotle’s attitude to relatives, since he immediately returns to using R1. I propose a non-extensional reading. R1 and R2 do not (...) specify different sets of relatives, but rather different ways to understand each relative. (shrink)

The relations between ontology and information are many and fundamental, and they help us to understand the present gulf between (formal) ontology and (philosophical) Ontology: We can speak of respectively ontology-driven information and information-driven ontology as the focus on being informed vs. informed being. The question of whether these two (can) coincide is relevant to both fields, and in this article I elaborate on what needs to be addressed first of all to provide us with an answer: The form. This (...) core ontological concept rooting in Aristotelian metaphysics was central to philosophical ontology, in particular in Latin Scholasticism, when it was clearly put into relation with information as that which defines an entity. In this context, Dietrich of Freiberg synthesized this long debate in a way that matters not only to the philosophical effort of producing information-driven ontologies but also to the engineering constructs of ontology-driven information systems. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)