This monograph proposes a new way of studying the different forms of correlational inference, known in the Islamic jurisprudence as qiyās. According to the authors’ view, qiyās represents an innovative and sophisticated form of dialectical reasoning that not only provides new epistemological insights into legal argumentation in general but also furnishes a fine-grained pattern for parallel reasoning which can be deployed in a wide range of problem-solving contexts and does not seem to reduce to the standard forms of analogical reasoning (...) studied in contemporary philosophy of science and argumentation theory. After an overview of the emergence of qiyās and of the work of al-Shīrāzī penned by Soufi Youcef, the authors discuss al-Shīrāzī’s classification of correlational inferences of the occasioning factor. The second part of the volume deliberates on the system of correlational inferences by indication and resemblance. The third part develops the main theoretical background of the authors’ work, namely, the dialogical approach to Martin-Löf's Constructive Type Theory. The authors present this in a general form and independently of adaptations deployed in parts I and II. Part III also includes an appendix on the relevant notions of Constructive Type Theory, which has been extracted from an overview written by Ansten Klev. The book concludes with some brief remarks on contemporary approaches to analogy in Common and Civil Law and also to parallel reasoning in general. (shrink)

At Cratylus 385b–c, Plato appears to argue that names have truth-value. Critics have almost universally condemned the argument as fallacious. Their case has proven so compelling that it has driven editors to recommend moving or removing the argument from its received position in the manuscripts. I argue that a close reading of the argument reveals it commits no fallacy, and its purpose in the dialogue justifies its original position. I wish to vindicate the manuscript tradition, showing that the argument establishes (...) that there is subject matter for investigation, and there is a correctness of names. (shrink)

This thesis is about Plato‘s dialogue Cratylus, which is one of the earliest texts in the history ofphilosophy of language and has generated much interpretive controversy. In the dialogue, Platoexamines two theories on the correctness of names; conventionalism and naturalism. However,there is no clear positive outcome in the dialogue in regard to the debate betweenconventionalism and naturalism. Therefore, scholars have long been divided as to what Plato‘sown position on the correctness of names is. Another puzzling feature of the dialogue concernsthe (...) etymological section, which has often been ignored or treated in isolation in modernscholarship. This section takes up about half of the dialogue and offers elaborate explanations ofa large number of words in the Greek language. Some recent studies of the Cratylus, however,are shedding much welcome light on the etymological section and the role it plays in thedialogue as a whole. In this thesis, I compare two competing interpretations of the etymologicalsection and discuss how an understanding of the etymologies can help us understand Plato‘sposition on the correctness of names and the purpose of the dialogue as a whole. In TimothyBaxter‘s interpretation, the etymological section should be read as a parody which amounts to aPlatonic critique of a mistaken attitude towards names and language found especially in thepoetry and philosophy in Plato‘s time. David Sedley, on the other hand, argues that theetymologies are seriously intended by Plato as a method of linguistic and historical analysis, amethod he himself endorsed and practiced. If the etymologies are taken seriously, Sedley argues,they show that Plato favored a form of naturalism in regard to the correctness of names. Afterproviding an outline and evaluation of these two interpretations, the thesis concludes with myown proposal. Although I disagree with some of Sedley‘s particular interpretations andarguments, I find myself in broad agreement with his general conclusions. (shrink)

Near the beginning of the Cratylus (385e-387d) Plato's Socrates argues, against his friend Hermogenes, that the standards of correctness for our use of names in speech are in no way up to us. Yet this conclusion should strike us, at least initially, as bizarre. After all, how could it not be up to us whether to call our children by the names of our parents, or whether to call dogs “dogs“? My aim in this paper will be to show that, (...) although Plato's argument does not succeed in establishing this apparently bizarre conclusion, it may well succeed in establishing an equally momentous conclusion: that the standards of correctness for our use of concepts in thought are in no way up to us. (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)

RésuméAristote n'a pas développé une théorie de la quantification du prédicat, mais une étude récente de Hasnawi a montré qu'Ibn Sīnā a consacré à celle-ci une étude rigoureuse. Assumant la structure aristotélicienne sujet-prédicat, Ibn Sīnā qualifie les propositions qui comportent un prédicat quantifié, de propositions déviantes. Une conséquence de cette approche avicennienne est que la seconde quantification est absorbée par le prédicat. La distinction claire ainsi opérée entre un sujet quantifié, qui pose le domaine de la quantification, et une partie (...) prédicative, qui construit une proposition sur ce domaine, correspond structurellement à la distinction, faite dans la théorie constructive des types, entre le type des ensembles et le type des propositions.Aristote n'a pas non plus combiné son analyse logique de la quantification avec sa théorie ontologique des relations ou de l’égalité. Ibn Sīnā, en revanche, a utilisé les syllogismes qui nécessitent une logique de l’égalité et il a examiné des cas où la quantification se combine, via l’égalité, avec des termes singuliers. En outre, ces réflexions sont essentielles pour sa théorie des nombres qui est fondée sur l'interaction entre l’un et le multiple. Lorsqu'on combine la théorie métaphysique de l’égalité telle qu'on la trouve chez Ibn Sīnā avec son travail sur la quantification du prédicat, il en résulte tout naturellement une logique de l’égalité. En effet, l'interaction entre la quantification du prédicat et l’égalité peut être appliquée aux exemples de syllogismes mentionnés par Ibn Sīnā dans lesquels ces notions interviennent. En utilisant les instruments formels fournis par la théorie constructive des types de Martin-Löf, cet article établit des liens entre la métaphysique d'Ibn Sīnā et son travail logique, liens qui ont été discutés en relation avec d'autres sujets par Thom et Street. Ibn Sīnā n'a pas développé une logique de l'identité, mais il a développé les moyens conceptuels de le faire. (shrink)