What does it mean for a general term to be rigid? It is argued by some that if we take general terms to designate their extensions, then almost no empirical general term will turn out to be rigid; and if we take them to designate some abstract entity, such as a kind, then it turns out that almost all general terms will be rigid. Various authors who pursue this line of reasoning have attempted to capture Kripke’s intent by defining a (...) rigid general term as one that applies to the objects in its extension essentially. I argue that this account is significantly mistaken for various reasons: it conflates a metaphysical notion (essentialism) with a semantic one (rigidity); it fails to countenance the fact that any term can be introduced into a language by stipulating that it be a rigid designator; it limits the extension of rigid terms so much that terms such as ‘meter’, ‘rectangle’, ‘truth’, etc. do not turn out to be rigid, when they obviously are; and it wrongly concentrates on the predicative use of a general term in applying a certain test offered by Kripke to determine whether a term is rigid. (shrink)

This paper comprises two parts. The first part is an introduction to Auriol’s moderate conceptualism, as it is presented in his Commentary on Book II of the Sentences, distinction 9, question 2, article 1. The second part is an edition of the text. In the introduction, I focus on Auriol’s use of the noetic tool of connotation. My thesis, in particular, is that connotation is a necessary prerequisite to his moderate conceptu- alism. To this purpose, the first part of this (...) introduction will be devoted to a brief presentation of Auriol’s conceptualism. In the second part, Auriol’s theory of essential predication will be presented. In the third part, I will present my claim that Auriol’s theory of essential predication can only be made sense of when read against the background of his theory of connotation as applied to intellectual cognition. Finally, I will offer a collation of Auriol’s Commentary on Book II of the Sentences, dis- tinction 9, question 2, article 1, obtained by collating eight manuscripts, which hand down Auriol’s text, that is, Firenze, Biblioteca nazionale centrale, ms. Conv. Soppr. B.6.121, Firenze, ms. Conv. Soppr. A. 3.120, Napoli, Biblioteca nazionale, ms. VII.C.3, Padova, Biblioteca Antoniana, ms. 161, scaff. ix, Paris, Bibliothèque nationale de France, ms. latin 15867; Pelplin, Biblioteka Seminarium duchownego, ms. 46/85, Vaticano (Città del), Biblioteca Apostolica, ms. Borgiano 404, Vaticano (Città del), Biblioteca Apostolica, ms. Vat. lat. 942. (shrink)

In a previous note to this journal a hope was expressed that some further footnotes to the theory of essential predication regarding the ontological argument would follow. This paper purports to fulfill that hope in part.

On several critical occasions in his philosophical and theological musings, we find Abelard having recourse to what is at heart the same philosophical simile -- in one instance drawing comparison to a stone statue, in another to a bronze statue, in a third to a wax image. The common point of comparison is obvious; each of these examples gives us a case where some physical material has come to receive some manner of shape. The doctrine illustrated by these means is (...) not, as might be supposed, a conventional Aristotelian form/matter metaphysics. (shrink)

Thomas Aquinas summarizes almost exclusively the attribute of knowledge in God in Q. D. De Veritate II: De scientia Dei. The absence of confrontation, in its substance, between this text and contemporary studies, referring primarily to the Sacred Doctrine or Theology as science, are treated in this paper integrally with those investigations. However, the approaches differ substantially. In those studies the metaphysical question for theology as a science is prioritized; in this work, however, the essence of God as a science (...) is highlighted. (shrink)

Predicate nominals (e.g., “is a female”) seem to label or categorize their subjects, while their adjectival correlates (e.g., “is female”) merely attribute a property. Predicate nominals also elicit essentializing inferential judgments about inductive potential and stable explanatory membership. Data from psychology and semantics support that this distinction is robust and productive. I argue that while the difference between predicate nominals and predicate adjectives is elided by standard semantic theories, it ought not be. I then develop and (...) defend a psychologically motivated semantic account on which predicate nominals attribute kind membership and trigger a presupposition that underpins our essentialist judgments. (shrink)

This paper is a continuation of a long line of footnotes to discussions of the ontological argument which began with Ayer, Wisdom, and Broad, and then progressed through Nakhnikian, Salmon, and Kiteley. In this series, one of the major theses proposed by the first trio and queried by the second is that, if existence is indeed a predicate, then all positive existential statements become analytic and all negative existentials self-contradictory. I should like to question this claim from yet another (...) perspective than that of the more recent writers, viz., that of essential predication. Since it is the so-called second version of the proof which is allegedly more cogent, such a perspective is after all much closer to the core of the ontological argument. Though the remarks here are presented only with regard to positive existentials, they are nevertheless applicable to negative existentials, mutatis mutandis, as well. (shrink)

Solovay proved (Israel J Math 25(3–4):287–304, 1976) that the propositional provability logic of any ∑2-sound recursively enumerable extension of PA is characterized by the propositional modal logic GL. By contrast, Montagna proved in (Notre Dame J Form Log 25(2):179–189, 1984) that predicate provability logics of Peano arithmetic and Bernays–Gödel set theory are different. Moreover, Artemov proved in (Doklady Akademii Nauk SSSR 290(6):1289–1292, 1986) that the predicate provability logic of a theory essentially depends on the choice of a binumeration (...) of the theory which is used to construct the provability predicate. In this paper, we compare predicate provability logics of I∑ n ’s. For a binumeration α(x) of a recursive theory T, let PL α(T) be the predicate provability logic of T defined by α(x). We prove that for any natural numbers i, j such that 0 < i < j, there exists a ∑1 binumeration α(x) of some recursive axiomatization of I∑ i such that ${{\sf PL}_\alpha({\rm I \Sigma}_i) \nsupseteq \bigcap_{\beta(x)}{\sf PL}_\beta({\rm I \Sigma}_j)}$ and ${{\sf PL}_\alpha({\rm I \Sigma}_i) \nsubseteq \bigcup_{\beta(x)}{\sf PL}_\beta({\rm I \Sigma}_j)}$ , where β(x) ranges over all ∑1 binumerations of recursive axiomatizations of I∑ j. (shrink)

"Davidson begins by harking back to an early interest in the classics, and an even earlier engagement with the workings of grammar. In the pleasures of diagramming sentences in grade school, he locates his first glimpse into the mechanics of how we conduct the most important activities in our life - such as declaring love, asking directions, issuing orders, and telling stories. Davidson connects these essential questions with the most basic and yet hard to understand mysteries of language use (...) - how we connect noun to verb. This is a problem that Plato and Aristotle wrestled with, and Davidson draws on their thinking to show how an understanding of linguistic behavior is critical to the formulating of a workable concept of truth. Against a whole army of contemporary philosophers, Davidson argues that the concept of truth is not ambiguous.". (shrink)

Questions are known to play a crucial role in helping to structure linguistic communication. I argue that paying attention to questions is also necessary for understanding disagreement, and in particular for distinguishing between genuine and merely verbal disagreements. I argue, moreover, that some of the questions that play this role are essentially practical questions, questions about what to do. Such questions can remain open even after questions about what is the case have been settled. Essentially practical questions help structure discourse (...) no less than ordinary questions. I argue that once we acknowledge them and their role in communication, we have new resources for making sense of cases of so-called “faultless disagreement” involving taste and aesthetic predicates within a standard, non-relativist semantics. (shrink)

In this work we extend results from [4], [3] and [2] about propositional calculi with graded modalities to the predicative level. Our semantic is based on Kripke models with a single domain of interpretation for all the worlds. Therefore the axiomatic system will need a suitable generalization of the Barcan formula. We haven't considered semantics with world-relative domains because they don't present any new difficulties with respect to classical case. Our language will have, as in [1], constant and function symbols, (...) but they will have a rigid interpretation. In this instance the terms will be considered rigid designators, that is, their interpretations will be the same in all possible worlds (cfr. [5]). Nevertheless we will not consider languages with identity: in this way we avoid the problems of identity in modal contexts. On the other hand, we think that in that context would arise essentially the same problems which occur in classical predicative modal logic. Finally we will consider only denumerable languages because the extension to non denumerable ones isn't conceptually problematic. (shrink)

Hanks has defended a novel account of what propositions are. His key argument against Soames' rival view is that predication is not neutral. According to Hanks, predication is essentially committal. I show that Hanks' argument for this conclusion raises problems for his own account of questions and orders.

We shall distinguish between sortal predication and standard predication. The former kind of predication necessarily involves sortal concepts but the latter, as it is customarily viewed, does not. It is generally thought that the only essential occurrence of a concept in a standard predication is the concept being predicated. In this paper, we shall put forward an alternative view. We shall propose to understand standard predication as a cognitive act essentially requiring sortal concepts. We shall call this view conceptual (...) predication sortalism and ground it on the basis of epistemic-semantic reasons. Concepts are understood as intersubjectively realizable capacities or abilities that fulfill particular cognitive roles, such as those of classification, categorization, individuation, and referring. (shrink)

I begin with an exposition of the two main variants of the Prosentential Theory of Truth (PT), those of Dorothy Grover et al. and Robert Brandom. Three main types of criticisms are then put forward: (1) material criticisms to the effect that (PT) does not adequately explain the linguistic data, (2) an objection to the effect that no variant of (PT) gives a properly unified account of the various occurrences of "true" in English, and, most importantly, (3) a charge that (...) the comparison with proforms is explanatorily idle. The last objection is that, given a complete semantic account of pronouns, proadjectives, antecedents, etc., together with a complete (PT), the essential semantic character of "true" could be deduced, but then, the idleness of the comparison with pronouns would be apparent. It turns out that objections (2) and (3) are related in the following way: the prosentential terminology is held to conceal the lack of unity in (PT), by describing the different data in the same terms ("proform", "antecedent", etc.). But this, I argue, is only a way of truly describing, rather than explaining, the data, these being certain relations of equivalence and consequence between sentences. I consider a language for which (PT) would be not only true, but also explanatory, but note that this language is very different from English. I end by showing that Robert Brandom's case that "is true" is not a predicate fails, and that his motivation for saying so is based on fallacious reasoning (namely, Boghossian's argument against deflationism). (shrink)

We investigate the relationship between two approaches to modeling physical systems. On the first approach, simplifying assumptions are made about the level of detail we choose to represent in a computational simulation with an eye toward tractability. On the second approach simpler, analogue physical systems are considered that have more or less well-defined connections to systems of interest that are themselves too difficult to probe experimentally. Our interest here is in the connections between the artifacts of modeling that appear in (...) these two approaches. We begin by outlining an important respect in which the two are essentially dissimilar and then propose a method whereby overcoming that dissimilarity by hand results in usefully analogous behavior. We claim that progress can be made if we think of artifacts as clues to the projectible predicates proper to the models themselves. Our degree of control over the connection between interesting analogue physical systems and their targets arises from determining the projectible predicates in the analogue system through a combination of theory and experiment. To obtain a similar degree of control over the connection between large-scale, distributed simulations of complex systems and their targets we must similarly determine the projectible predicates of the simulations themselves. In general theory will be too intractable to be of use, and so we advocate an experimental program for determining these predicates. the object of the natural history which I propose is...to give light to the discovery of causes and supply a suckling philosophy with its first food . Francis Bacon, The Great Instauration. (shrink)

One notable area in analytic metaphysics that has seen a revival of Aristotelian and scho- lastic inspired metaphysics is the return to a more robust construal of the notion of essence, what some have labelled “real” or “serious” essentialism. However, it is only recently that this more robust notion of essence has been implemented into the debate on truthmaking, mainly by the work of E. J. Lowe. The first part of the paper sets out to explore the scholastic roots of (...) essential dependence as well as an account of truthmaking for accidental predications in terms of accidents. Along the way, the author examines the dialectical role the possibility of separated accidents in the Eucharist play with respect to developing a scholastic account of truthmaking as essential dependence. In conclusion the author utilises Aquinas’s hylomorphic ontology to suggest a new way forward for an essentialist account of truthmaking. (shrink)

Plato believes in the existence of Forms—eternal models or exemplars of which objects in our world in time and space are copies, and his Theory of Forms lies at the center of his philosophy. But according to the common wisdom, Plato raised the Third Man objection against his own Theory of Forms in the Parmenides. According to this objection, each Form is supposed to have the very characteristic it is supposed to be , and this leads to an infinite regress (...) of each Form . This book defends the view that a mysterious plural phrase at Phaedo 74 shows that the Self-Predication Assumption is both plausible and leads to no infinite regress of Forms. The Self-Predication Assumption in Plato is an essential resource for scholars, specialists, and students with an interest in ancient philosophy and classics. (shrink)

Utterances of simple sentences containing taste predicates (e.g. "delicious", "fun", "frightening") typically imply that the speaker has had a particular sort of first-hand experience with the object of predication. For example, an utterance of "The carrot cake is delicious" would typically imply that the speaker had actually tasted the cake in question, and is not, for example, merely basing her judgment on the testimony of others. According to one approach, this acquaintance inference is essentially an implicature, one generated by the (...) Maxim of Quality together with a certain principle concerning the epistemology of taste (Ninan 2014). We first discuss some problems for this approach that arise in connection with disjunction and generalized quantifiers. Then, after stating a conjecture concerning which operators ‘obviate’ the acquaintance inference and which do not, we build on Anand & Korotkova (2018) and Willer & Kennedy (Forthcoming) by developing a theory that treats the acquaintance requirement as a presupposition, albeit one that can be obviated by certain operators. (shrink)

Moral particularism, on some interpretations, is committed to a shapeless thesis: the moral is shapeless with respect to the natural. (Call this version of moral particularism ‘shapeless moral particularism’). In more detail, the shapeless thesis is that the actions a moral concept or predicate can be correctly applied to have no natural commonality (or shape) amongst them. Jackson et al. (Ethical particularism and patterns, Oxford University Press, Oxford, 2000) argue, however, that the shapeless thesis violates the platitude ‘predication supervenes (...) on nature’—predicates or concepts apply because of how things are, and therefore ought to be rejected. I defend shapeless moral particularism by arguing that Jackson et al’s contention is less compelling than it firstly appears. My defense is limited in the sense that it does not prove shapeless moral particularism to be right and it leaves open the possibility that shapeless moral particularism might attract criticisms different from the ones advanced by Jackson et al. But at the very least, I hope to say enough to undermine Jackson et al’s powerful attack against it. The plan of this paper is as follows. Section 1 glosses the view of moral particularism and why it is taken to be essentially committed to the shapeless thesis. Section 2 examines a Wittgensteinian argument for the shapeless thesis. I shall argue that the Canberrans’ counter-arguments against it on grounds of disjunctive commonality and conceptual competence do not succeed. Section 3 explicates Canberrans’ predication supervenience argument against the shapeless thesis. Section 4 offers my criticisms of the Canberrans’ predication supervenience argument. In view of the above discussions, in Sect. 5, I conclude that there is no compelling argument (from the Canberrans) to believe that the shapeless thesis fails (as I have argued in Sect. 4). In fact, there is some good reason for us to believe it (as I have argued in Sect. 2). If so, I contend that moral particularism, when construed as essentially committed to the shapeless thesis, still remains as a live option. (shrink)

Anyone with more than casual interest in Aristotle's Categories knows the convention that "predicated of" ["κατηγορεἳται"] marks a general relation of predication while "said of" ["λέγεται"] is reserved for essential predication. By "convention" I simply mean to underscore that the view in question ranks as the conventional or received interpretation. Ackrill, for example, follows the received view in holding that only items within the same category (not arbitrarily, of course) can stand in the being-said-of relation and, thus, that only (...) secondary substances can be said of primary substances. Despite its long received status the convention has never received a fully comprehensive examination and defense. In fact such an account is needed because, while enjoying considerable textual support, certain passages of the Categories appear to clash with the convention. My aim in this paper is, first, to develop and defend the standard interpretation, as I shall call it. Since the standard interpretation has lately been challenged in a closely argued article by Russell Dancy, my defense will proceed partly with an eye to his criticisms. Having met these, I go on to raise some difficulties with the rather unorthodox reading Dancy gives the Categories. The crucial point here turns out to be what Aristotle understands by a paronym. (shrink)

Both the constructive and predicative approaches to mathematics arose during the period of what was felt to be a foundational crisis in the early part of this century. Each critiqued an essential logical aspect of classical mathematics, namely concerning the unrestricted use of the law of excluded middle on the one hand, and of apparently circular \impredicative" de nitions on the other. But the positive redevelopment of mathematics along constructive, resp. predicative grounds did not emerge as really viable alternatives (...) to classical, set-theoretically based mathematics until the 1960s. Now we have a massive amount of information, to which this lecture will constitute an introduction, about what can be done by what means, and about the theoretical interrelationships between various formal systems for constructive, predicative and classical analysis. (shrink)

Essentials of Symbolic Logic is a concise and clearly written introduction to the topic. Based on years of use in colleges and universities, the book provides an accessible and thorough grounding in sentence logic and predicate logic. While technical jargon is kept to a minimum, all necessary logical concepts and vocabulary are explained clearly. A standard system of natural deduction is developed, and readers are given suggestions for developing strategies for creating derivations (proofs) in this system.

Ghazālī’s The Incoherence of the Philosophers is an unusual philosophical work for a number of reasons, not the least of which is the author’s explicit disavowalof any of the conclusions contained within it. The present essay examines some of the hermeneutical challenges that face readers of the work and offers anexegetical account of the much-neglected Third Discussion, which examines a key point of Neoplatonic metaphysics. The paper argues that Ghazālī’s maintaining of the incompatibility of metaphysical creationism and Neoplatonic emanationism should (...) not be viewed as simply a rhetorical or dialectical argument, but rather is best understood, to use Ghazālī’s words, as a philosophical “proof.” Essential to this proof in the solution to the argument of the Third Discussion is an implicit theory of metaphorical predication that can be pieced together from several of Ghazālī’s remarks as well as a reductio ad absurdum argument about the very possibility of ethical discourse. (shrink)

A notion of strictly primitive recursive realizability is introduced by Damnjanovic in 1994. It is a kind of constructive semantics of the arithmetical sentences using primitive recursive functions. It is of interest to study the corresponding predicate logic. It was argued by Park in 2003 that the predicate logic of strictly primitive recursive realizability is not arithmetical. Park’s argument is essentially based on a claim of Damnjanovic that intuitionistic logic is sound with respect to strictly primitive recursive realizability, (...) but that claim was disproved by the author of this article in 2006. The aim of this paper is to present a correct proof of the result of Park. (shrink)

In Book Γ of the Metaphysics Aristotle states and attempts to prove what he calls the basic principle of the science of being as being: the law of non‐contradiction. In this paper I defend an interpretation of his proof, inspired by Elizabeth Anscombe's 1961 essay in ‘Three Philosophers’, though some of its features were remarked on by Lukasiewicz in 1910, according to which Aristotle is proving this principle only for substance predicates, and that it is to be understood as the (...) basic principle of metaphysics rather than of logic. It is the principle that every substance has an essential nature, and if it is of the essential nature of x to be F then it cannot be of the essential nature of x to be not‐F since then x's being F and x's being not‐F would be the same. He puts it by saying that in such a case F and not‐F would ‘signify the same’ for x. Since they do not, x cannot be both. (shrink)

In reply to Arif Ahmed, I argue that the apparatus of essentiality and qualified and unqualified possibilist identifications, developed in my paper 'Rigidity and Essentiality', can be used to provide a flawless reconstruction of several Kripkean ideas about the semantics of typical natural kind predicates, the essence of natural kinds, the contingency of usual descriptive identifications, and the arguments against psychophysical identity theories.

The third edition of _Essentials of Symbolic Logic_ is a concise and clearly written introduction to the topic. Based on years of use in colleges and universities, the book provides an accessible and thorough grounding in sentence logic and predicate logic. While technical jargon is kept to a minimum, all necessary logical concepts and vocabulary are explained clearly. A standard system of natural deduction is developed, and readers are given suggestions for developing strategies for creating derivations in this system. (...) An instructor’s website is available with solutions to all the exercises in the text, including the many new exercises which have been added to this new edition. (shrink)

It is a little understood fact that the system of formal logic presented in Wittgenstein?s Tractatusprovides the basis for an alternative general semantics for a predicate calculus that is consistent and coherent, essentially independent of the metaphysics of logical atomism, and philosophically illuminating in its own right. The purpose of this paper is threefold: to describe the general characteristics of a Tractarian-style semantics, to defend the Tractatus system against the charge of expressive incompleteness as levelled by Robert Fogelin, and (...) to give a semantics for a formal language that is the Tractarian equivalent of a first-order predicate calculus. Of note in regard to the latter is the fact that a Tractatusstyle truth-definition makes no appeal to the technical trick of defining truth in terms of the satisfaction of predicates by infinite sequences of objects, yet is materially equivalent to the usual Tarski-style truth-definitions. (shrink)

I offer a brief formal exploration of a certain natural extension of the notion of rigidity to predicates, the notion of an essentialist predicate. I show that, under reasonable assumptions, true "identification sentences" involving essentialist predicates are necessary, and hence that the notion of essentiality is formally analogous in this respect to the notion of singular term rigidity. /// El artículo hace una breve exploración formal de una extensión natural de la noción de rigidez a los predicados, la noción (...) de predicado esencialista. Muestro que, dados supuestos razonables, las "oraciones de identificación" verdaderas que contienen predicados esencialistas son necesarias, y por tanto que la noción de esencialidad es formalmente análoga en este sentido a la noción de rigidez para los términos singulares. (shrink)

This work, the first book-length study of its topic, is an important contribution to the literature of philosophical logic and philosophy of language, with implications for other branches of philosophy, including philosophy of mathematics. However, five of the book's ten chapters , including many of the author's most original contributions, are devoted to issues about natural language, and lie pretty well outside the scope of this journal, not to mention that of the reviewer's competence. For this reason I will here (...) largely confine my attention to the other half of the book, and so will be far from doing full justice to the book as a whole; indeed, there is such a wealth of detail in the book that I will be unable to do full justice even to the five chapters selected for comment.Non-distributive predicates.To begin with some points that have often been remarked, formulas in classical first-order logic are built up from predicates by means of a limited range of logical operators . Natural language involves many other such operators, beginning with temporal and modal operators, that are of great philosophical interest, but these are ignored by classical first-order logic. The reasons why it ignores them are surely that classical first-order logic was developed primarily for analyzing mathematical arguments, and that such grammatical categories as tense and mood play no significant role in mathematics.It has been less often remarked that the range of predicates considered in classical first-order logic is also limited. From Frege onwards, predicates have been taken to be essentially sentences with one or more gaps or places suitable to be filled in by singular noun phrases. Natural language involves also plural predicates, as well as mixed predicates with some …. (shrink)

The purpose of this paper is to outline an alternative approach to introductory logic courses. Traditional logic courses usually focus on the method of natural deduction or introduce predicate calculus as a system. These approaches complicate the process of learning different techniques for dealing with categorical and hypothetical syllogisms such as alternate notations or alternate forms of analyzing syllogisms. The author's approach takes up observations made by Dijkstrata and assimilates them into a reasoning process based on modified notations. The (...) author's model adopts a notation that addresses the essentials of a problem while remaining easily manipulated to serve other analytic frameworks. The author also discusses the pedagogical benefits of incorporating the model into introductory logic classes for topics ranging from syllogisms to predicate calculus. Since this method emphasizes the development of a clear and manipulable notation, students can worry less about issues of translation, can spend more energy solving problems in the terms in which they are expressed, and are better able to think in abstract terms. (shrink)

It is a little understood fact that the system of formal logic presented in Wittgenstein’s Tractatusprovides the basis for an alternative general semantics for a predicate calculus that is consistent and coherent, essentially independent of the metaphysics of logical atomism, and philosophically illuminating in its own right. The purpose of this paper is threefold: to describe the general characteristics of a Tractarian-style semantics, to defend the Tractatus system against the charge of expressive incompleteness as levelled by Robert Fogelin, and (...) to give a semantics for a formal language that is the Tractarian equivalent of a first-order predicate calculus. Of note in regard to the latter is the fact that a Tractatusstyle truth-definition makes no appeal to the technical trick of defining truth in terms of the satisfaction of predicates by infinite sequences of objects, yet is materially equivalent to the usual Tarski-style truth-definitions. (shrink)

In recent papers Fred Sommers and Michael Lockwood have independently argued that the distinction between the ‘is’ of predication and the ‘is’ of identity is not well-founded. This claim is somewhat obscure since, on the theories they advocate, it is not only still possible to distinguish between the ‘is’ of predication and the ‘is’ of identity, but important to do so on pain of turning good arguments bad. Sommers' way of putting it, namely that we don't need identity, is no (...) better. Of course we don't need identity since, in second-order quantification logic, identity is definable in terms of predication. Perhaps the best way of putting their point is by means of Sommers' claim that identity statements can be formalized by monadic relations. We can therefore mark the IP-distinction by the essentially polyadic nature of identity. (shrink)

In Plato's "Hippias Major" 292e6-7, we can find a self-predication sentence; "The fine is always fine." (We have similar expressions in "Protagoras" 330c4-6, 330d8-el, "Lysis" 220b6-7.) How should we interpret this sentence? We cannot give it any metaphysical meaning drawn from Plato's own theory of Form, which is explicit in his middle dialogues. "The fine" here should be the logical cause, not the one of the metaphysical essentials (cf. Paul Woodruff's "Plateo Hippias Major", p. 150). So taking a sentence like (...) "parthenos kale kalon" (287e4), we can safely paraphrase it in Woodruff's manner: "a fine girl is a fine thing." This can avoid reading the metaphysical meaning into the text. And I would like to make a new proposal for reading of 292e6-7: "the fine thing is what is to be called fine." This is to emphasize the unique character of the self-predication sentences in the early dialogues. In the Socratic way of discourse, Socrates and his partner get involved into "trial and error" during their pursuit of the knowledge. What they can do then is to give their opinions which seem to them true (so-called alethes doxa", cf. "Meno" 85c), and to get close examinations of them. And in this way they are getting closer to the knowledge. My interpretation well describes these activities. (shrink)

It is necessary to distinguish among representations caused directly by perception, representations of past perceptions in long-term memory, the representations underlying linguis- tic utterances, and the surface phonological and grammatical structures of sentences. The target article dealt essentially with predicate-argument structure at the first of these levels of representation. Discussion of the commentaries mainly involves distinguishing among various applications of the term “predicate”; clarifying the assumed relationship between classical FOPL and language; clarifying the status of unique individuals as (...) conceived by humans; and addressing the issues of motion-perception, binding between object-percepts and predicate-percepts, and target-driven versus stimulus-driven attention. (shrink)

Like proper names, demonstratives, and definite descriptions, pronouns have referential uses. These can be 'essentially indexical' in the sense that they cannot be replaced by non-pronominal forms of reference. Here we show that the grammar of pronouns in such occurrences is systematically different from that of other referential expressions, in a way that illuminates the differences in reference in question. We specifically illustrate, in the domain of Romance clitics and pronouns, a hierarchy of referentiality, as related to the topology of (...) the grammatical phase. Our explanation is based on extending the 'Topological Mapping Hypotheses' of Longobardi and Sheehan & Hinzen. The extended topology covers the full range of interpretations, from purely predicative to quantificational, to referential and deictic. Along this scale, grammatical complexity increases, and none of these forms of reference is lexical. This provides evidence for the foundational conclusion that the source of essential indexicality is grammatical rather than lexical, semantic or pragmatic. (shrink)

Are there nonexistent things? What is the nature of informative identity statements? Are the notions of essential property and of essence intelligible, and, if so, how are they to be understood? Are individual things material substances or clusters of qualities? Can the account of the unity of a complex entity avoid vicious infinite regresses? These questions have attracted widespread attention among philosophers recently, as evidenced by a proliferation of articles in the leading philosophical journals. In Being Qua Being they (...) receive systematic, unified treatment, grounded in an account of the nature of the application to the world of our conceptual apparatus. A central thesis of the book is that the topic of identity is primary, and that existence and predication, both essential and accidental, are to be understood in terms of identity. (shrink)

It is difficult to create spoken forms that can be understood on the spot. But the manual modality, in large part because of its iconic potential, allows us to construct forms that are immediately understood, thus requiring essentially no time to develop. This paper contrasts manual forms for actions produced over three time spans—by silent gesturers who are asked to invent gestures on the spot; by homesigners who have created gesture systems over their life spans; and by signers who have (...) learned a conventional sign language from other signers—and finds that properties of the predicate differ across these time spans. Silent gesturers use location to establish co-reference in the way established sign languages do, but they show little evidence of the segmentation sign languages display in motion forms for manner and path, and little evidence of the finger complexity sign languages display in handshapes in predicates representing events. Homesigners, in contrast, not only use location to establish co-reference but also display segmentation in their motion forms for manner and path and finger complexity in their object handshapes, although they have not yet decreased finger complexity to the levels found in sign languages in their handling handshapes. The manual modality thus allows us to watch language as it grows, offering insight into factors that may have shaped and may continue to shape human language. (shrink)

Immanent realism is a justly popular theory of universals which is incomplete. It is not good enough to say that all universals are equally real and all equally inhere in objects. Concepts come in hierarchies, For example: "colored," "red" and "claret," where "claret" is a shade of red. Only those at the very bottom of the hierarchy exist in objects, And are rightly called properties. Only properties have causality as a criterion of identity. Frege's functional account of concepts can be (...) adapted to explain how higher level concepts apply to objects. Between two concepts at different levels there is a relationship called 'essential subordination', Which is different from all other relationships. That a person is said to possess a concept of a property is to be explained in terms of a person possessing certain mental capacity, Which enables him to make certain judgments. Properties are concepts which exist in objects. (shrink)

In this paper we show that some versions of Dung’s abstract argumentation frames are equivalent to classical propositional logic. In fact, Dung’s attack relation is none other than the generalised Peirce–Quine dagger connective of classical logic which can generate the other connectives ${\neg, \wedge, \vee, \to}$ of classical logic. After establishing the above correspondence we offer variations of the Dung argumentation frames in parallel to variations of classical logic, such as resource logics, predicate logic, etc., etc., and create resource (...) argumentation frames, predicate argumentation frames, etc., etc. We also offer the notion of logic proof as a geometrical walk along the nodes of a Dung network and thus we are able to offer a geometrical abstraction of the notion of inference based argumentation. Thus our paper is also a contribution to the question: “What is a logical system” in as much as it integrates logic with abstract argumentation networks. (shrink)

Is there a theoretically interesting notion that is a natural extension of the concept of rigidity to general terms? Such a notion ought to satisfy two Kripkean conditions. First, it must apply to typical general terms for natural kinds, stuffs, and phenomena, and fail to apply to most other general terms. Second, true 'identification sentences' (such as 'Cats are animals') containing general terms that the notion applies to must be necessary. I explore a natural extension of the notion of rigidity (...) to general terms, the notion of an essentialist predicate. I argue that, under natural assumptions, this notion satisfies the two Kripkean conditions. (shrink)

Are there nonexistent things? What is the nature of informative identity statements? Are the notions of essential property and of essence intelligible, and, if so, how are they to be understood? Are individual things material substances or clusters of qualities? Can the account of the unity of a complex entity avoid vicious infinite regresses? These questions have attracted widespread attention among philosophers recently, as evidenced by a proliferation of articles in the leading philosophical journals. In Being Qua Being they (...) receive systematic, unified treatment, grounded in an account of the nature of the application to the world of our conceptual apparatus. A central thesis of the book is that the topic of identity is primary, and that existence and predication, both essential and accidental, are to be understood in terms of identity. (shrink)

Given a theoryTextending that of dense linear orders without endpoints, in a language ℒ ⊇ {<}, we are interested in extensionsT′ ofTin languages extending ℒ by unary relation symbols that are each interpreted in models ofT′ as sets that are both dense and codense in the underlying sets of the models.There is a canonically “wild” example, namelyT= Th andT′ = Th. Recall thatTis o-minimal, and so every open set definable in any model ofThas only finitely many definably connected components. But (...) it is well known that 〈ℝ, <, +, · ℚ 〉 defines every real Borel set, in particular, every open subset of any finite cartesian power of ℝ and every subset of any finite cartesian power of ℚ. To put this another way, the definable open sets in models ofTare essentially as simple as possible, whileT′ has a model where the definable open sets are as complicated as possible, as is the structure induced on the new predicate.In contrast to the preceding example, if ℝalgis the set of real algebraic numbers andT′ Th, then no model ofT′ defines any open set that is not definable in the underlying model ofT. (shrink)