Against the background of a conventionalist theory, and staged as a defense of a naturalistic notion of names and naming, the critique of language developed in Plato’s Cratylus does not only propose that human language, in contrast to the language of the gods, is bound to the realm of myth and lie. The dialogue also concludes by offering a set of reasons to think that knowledge of reality is not within the reach of our words. Interpretations of the dialogue’s long (...) etymological sections often neglect this critique and tend to end up with an overly optimistic assessment of the theory of language on offer. In the light of one of the dialogue’s central etymological accounts, Socrates’ etymology of the name Hermes, this paper discusses two recent and influential versions of such a view: David Sedley’s theory of onomatopoetic encapsulation and Franco Trivigno’s qualified referentialism. It argues that the complex relation between language and reality expressed in the Cratylus cannot be exhaustively captured by either of these theories because Plato considers all names to be semantically underdetermined until they are put to use. It suggests that Plato rather works with a functionalistic notion of names and naming, and that the dialogue’s account of natural and correct naming is to be understood in these terms. (shrink)

This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory. The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to better understand the concepts under discussion. One of the chief ideas animating this study is that the dialogical understanding of definitional equality and its execution provide both a simple and a direct way of implementing the CTT approach (...) within a game-theoretical conception of meaning. In addition, the importance of the play level over the strategy level is stressed, binding together the matter of execution with that of equality and the finitary perspective on games constituting meaning. According to this perspective the emergence of concepts are not only games of giving and asking for reasons, they are also games that include moves establishing how it is that the reasons brought forward accomplish their explicative task. Thus, immanent reasoning games are dialogical games of Why and How. (shrink)

The Cratylus’ main concern is to outline and evaluate the competing views of language held by two characters, Hermogenes and Cratylus, who disagree about whether convention or nature (respectively) are the source of onomastic correctness. Hermogenes has been thought to hold two radically different views by different scholars, one extreme conventionalism whereby all names are correct relative to their speakers, and another modest conventionalism according to which distinct naming actions – establishment and employment – explain why some names are correct (...) and others are not, depending on the speaker. In this paper I argue that, though Hermogenes ultimately endorses a conventionalism of the latter kind, it is a mistake to assign him this position from the outset. Rather, to understand the structure of the conversation about conventionalism, we must view Hermogenes’ position, and Socrates’ understanding of it, as developing instead of settled. For it is only by discussing the matter that Hermogenes comes to express a moderate conventionalist view and Socrates comes to appreciate the position Hermogenes actually holds. (shrink)