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)

How is Frege able to claim that the notion of judgement is essential to his logic without introducing a form of psychologism? I argue first that Frege’s logical notion of judgement is to be distinguished from an empirical notion of judgement, that it cannot be understood as an abstract, idealized notion, and that there are doubts concerning a transcendental reading of Frege’s writings. Then, I explain that the logical notion of judgement has to be understood from a first-person perspective, to (...) be contrasted with a third-person perspective, in which judgement is understood as an empirical, psychological phenomenon. Frege’s logic is essentially a first-person engagement, as each of us can make use of the ideography as a science of logic only if we ourselves have made the relevant judgements. Finally, I claim that the judging agent as conceived by Frege can, after all, be understood as a transcendental ego. (shrink)

In this paper, I provide a thorough discussion and reconstruction of Bernard Bolzano’s theory of grounding and a detailed investigation into the parallels between his concept of grounding and current notions of normal proofs. Grounding (Abfolge) is an objective ground-consequence relation among true propositions that is explanatory in nature. The grounding relation plays a crucial role in Bolzano’s proof-theory, and it is essential for his views on the ideal buildup of scientific theories. Occasionally, similarities have been pointed out between Bolzano’s (...) ideas on grounding and cut-free proofs in Gentzen’s sequent calculus. My thesis is, however, that they bear an even stronger resemblance to the normal natural deduction proofs employed in proof-theoretic semantics in the tradition of Dummett and Prawitz. (shrink)

ABSTRACTHere, I pursue consequences, for the interpretation of Sellars’ critique of the ‘Myth of the Given’, of separating the modal significance that Kant attributed to empirical intuition from th...

1. Does Hegel’s The Science of Logic (Hegel 2010) have any relation to or relevance for what is now known as ‘the science of logic’? Here a negative answer is as likely to be endorsed by many conte...

I offer an analysis of the sentence "the concept horse is a concept". It will be argued that the grammatical subject of this sentence, "the concept horse", indeed refers to a concept, and not to an object, as Frege once held. The argument is based on a criterion of proper-namehood according to which an expression is a proper name if it is so rendered in Frege's ideography. The predicate "is a concept", on the other hand, should not be thought of (...) as referring to a function. It will be argued that the analysis of sentences of the form "C is a concept" requires the introduction of a new form of statement. Such statements are not to be thought of as having function--argument form, but rather the structure subject--copula--predicate. (shrink)

We offer an interpretation of the words and works of Richard Dedekind and the David Hilbert of around 1900 on which they are held to entertain diverging views on the structure of a deductive science. Firstly, it is argued that Dedekind sees the beginnings of a science in concepts, whereas Hilbert sees such beginnings in axioms. Secondly, it is argued that for Dedekind, the primitive terms of a science are substantive terms whose sense is to be conveyed by elucidation, whereas (...) Hilbert dismisses elucidation and consequently treats the primitives as schematic. (shrink)