Greek antiquity saw the development of two distinct systems of logic: Aristotle’s theory of the categorical syllogism and the Stoic theory of the hypothetical syllogism. Some ancient logicians argued that hypothetical syllogistic is more fundamental than categorical syllogistic on the grounds that the latter relies on modes of propositional reasoning such asreductio ad absurdum. Peripatetic logicians, by contrast, sought to establish the priority of categorical over hypothetical syllogistic by reducing various modes of propositional reasoning to categorical form. In the 17th (...) century, this Peripatetic program of reducing hypothetical to categorical logic was championed by Gottfried Wilhelm Leibniz. In an essay titledSpecimina calculi rationalis, Leibniz develops a theory of propositional terms that allows him to derive the rule ofreductio ad absurdumin a purely categorical calculus in which every proposition is of the formA is B. We reconstruct Leibniz’s categorical calculus and show that it is strong enough to establish not only the rule ofreductio ad absurdum, but all the laws of classical propositional logic. Moreover, we show that the propositional logic generated by the nonmonotonic variant of Leibniz’s categorical calculus is a natural system of relevance logic known as RMI$_{{}_ \to ^\neg }$. (shrink)

In epoca medievale si è molto discusso su alcuni concetti chiave come prova o giustificazione. La teoria della prova contenuta nei trattati di logica medievale prende il nome tecnico di consequentia, che è un tipo di ragionamento fondato sul passaggio dalla concessione (o negazione) di uno o più enunciati denominati antecedenti alla concessione (o negazione) di uno o più enunciati denominati conseguenti. Questo tipo di teoria ha avuto un correlato a livello dei singoli termini che compongono l’enunciato all'interno della teoria (...) nota come suppositio terminorum. Prende, infatti, il nome di descensus, la regola che permette la verifica del passaggio da un termine maggiore (un termine comune) ad un termine minore (che denota individui). La stessa definizione di alcune ramificazioni della teoria della suppositio è col-legata alla possibilità di ammettere o meno il descensus cioè questa "discesa" da un termine comune ad una congiunzione o disgiunzione di termini singolari. Il presente lavoro intende descrivere la teoria del descensus come un tipo particolare di consequentia mostrandone le connessioni con le moderne tecniche logiche. I trattati che si affronteranno appartengono al XIV e al XV secolo, cioè ad un periodo caratterizzato da una sistemazione della materia che li rende confrontabili con un quadro teorico unitario. (shrink)

In this paper we consider whether a pragmatics of semantic content can be a useful approach to legal interpretation. More broadly speaking, since a pragmatic conception of meaning is a component of inferential semantics, we consider whether an inferentialist approach to legal interpretation can be useful in dealing with some problems of this important aspect of law. In other words, we ask whether Legal Inferentialism is a suitable conception for legal interpretation. In Section 1 we briefly consider the semantics/pragmatics debate (...) in contemporary philosophy of language and in relation to legal interpretation. In Section 2 we discuss the relations between a pragmatics of semantic content and an inferentialist conception of content. In Section 3 we consider how Inferentialism can be applied to legal interpretation. Finally, in Section 4 we consider some possible advantages and drawbacks of Inferentialism applied to legal interpretation and adjudication. (shrink)

When the original Dutch version of this book was presented in 1971 to the University of Leiden as a thesis for the Doctorate in philosophy, I was prevented by the academic mores of that university from expressing my sincere thanks to three members of the Philosophical Faculty for their support of and interest in my pursuits. I take the liberty of doing so now, two and a half years later. First and foremost I want to thank Professor G. Nuchelmans warmly (...) for his expert guidance of my research. A number of my most im portant sources were brought to my attention by him. During the whole process of composing this book his criticism and encouragement were carried out in a truly academic spirit. He thereby provided working conditions that are a sine qua non for every author who is attempting to approach controversial matters in a scientific manner, conditions which, however, were not easily available at that time. In a later phase I also came into contact with Professors L. M. de Rijk and J. B. Ubbink, with both of whom I had highly stimulating discussions and exchanges of ideas. The present edition contains some entirely new sections, viz. 1-9, IV-29, V-9, V-20, VII-14 (iii), (iv), VII-17 (i), VIII-22, IX-17, IX-19, X-9 and XI-8. Section X-9 was inspired by a remark made by Professor A. (shrink)

For a dialetheist, it is rational to believe that true contradictions exist. However, we argue that a dialetheist faces a complex dilemma given some bridge principles for rational beliefs that connect possibility and probability, including the so-called ‘Regularity Principle’. Either her belief is not doxastically possible even for her, or she must assign positive credence to the proposition that dialetheia exists. The former makes her belief prima facie self-defeating. The latter seems to compel her to choose between several more fine-grained (...) options, each of which seems undesirable for a regular and rational probability theory. It is unclear how a dialetheist would stay rationally regular, so we pose this challenge, seeking a response from a dialetheist. (shrink)

In Formale Logik, published in 1956, J. M. Bocheński presented his first proposal for the solution to the liar paradox, which he related to Paul of Venice's argumentation from Logica Magna. A formalized version of this solution was then presented in Formalisierung einer scholastischen Lösung der Paradoxie des ‘Lügners’ in 1959. The historical references of the resulting formalism turn out to be closer to Albert de Saxon's argument and the later solution by John Buridan. Bocheński did not pose the question (...) of the consistency of his theory. The case was taken up by B. Sobociński in his private letter to Bocheński from 12 August 1954. Sobociński used a smart translation of the language of Bocheński's theory into the classical propositional language with the notions of truth and falsehood inverted. The translation preserves the structure of the formalized solution. We explore Sobociński's idea and reconstruct his original proof. (shrink)

The studies that make up this book were written and brought together to honor the memory of Jan Pinborg. His unexpected death in 1982 at the age of forty-five shocked and saddened students of medieval philosophy everywhere and left them with a keen sense of disappoint ment. In his fifteen-year career Jan Pinborg had done so much for our field with his more than ninety books, editions, articles, and reviews and had done it all so well that we recognized him (...) as a leader and counted on many more years of his scholarship, his help, and his friendship. To be missed so sorely by his international colleagues in an academic field is a mark of Jan's achievement, but only of one aspect of it, for historians of philosophy are not the only scholars who have reacted in this way to Jan's death. In his decade and a half of intense productivity he also acquired the same sort of special status among historians of linguistics, whose volume of essays in his memory is being G. L. Bursill-Hall almost simultane published under the editorship of ously with this one. Sten Ebbesen, Jan's student, colleague, and successor as Director of the Institute of Medieval Greek and Latin Philology at the University of Copenhagen, has earned the gratitude of all of us by memorializing Jan 1 in various biographical sketches, one of which is accompanied by a 2 complete bibliography of his publications. (shrink)

Each science has its own domain of investigation, but one and the same science can be formalized in different languages with different universes of discourse. The concept of the domain of a science and the concept of the universe of discourse of a formalization of a science are distinct, although they often coincide in extension. In order to analyse the presuppositions and implications of choices of domain and universe, this article discusses the treatment of omega arguments in three very different (...) formalizations of arithmetic. In Peano's formalization the domain is a restricted class of individuals, while the universe of discourse is the unrestricted class of all individuals. In Gödel's formalization the domain is a restricted class of individuals as in Peano's formalization, but the universe of discourse coincides with the domain. In Whitehead-Russell's formalization the domain is a class of logical notions in Tarski's sense, that are necessarily not individuals, whereas the universe of discourse is the unrestricted class of individuals as in Peano's formalization. The present approach emphasizes the viewpoint that the universe of discourse of a given discourse is important in determining which propositions are expressed by which sentences. (shrink)

Contrary to received opinion, the Aristotelian Square of Opposition (square) is logically sound, differing from standard modern predicate logic (SMPL) only in that it restricts the universe U of cognitively constructible situations by banning null predicates, making it less unnatural than SMPL. U-restriction strengthens the logic without making it unsound. It also invites a cognitive approach to logic. Humans are endowed with a cognitive predicate logic (CPL), which checks the process of cognitive modelling (world construal) for consistency. The square is (...) considered a first approximation to CPL, with a cognitive set-theoretic semantics. Not being cognitively real, the null set Ø is eliminated from the semantics of CPL. Still rudimentary in Aristotle’s On Interpretation (Int), the square was implicitly completed in his Prior Analytics (PrAn), thereby introducing U-restriction. Abelard’s reconstruction of the logic of Int is logically and historically correct; the loca (Leaking O-Corner Analysis) interpretation of the square, defended by some modern logicians, is logically faulty and historically untenable. Generally, U-restriction, not redefining the universal quantifier, as in Abelard and loca, is the correct path to a reconstruction of CPL. Valuation Space modelling is used to compute the effects of U-restriction. (shrink)

Desde que Tarski publicó su estudio sobreel concepto de verdad en los años 30, hasido una práctica ortodoxa el considerarque t oda i nst anci a del esquema T esverdadera. Sin embargo, algunas instanciasdel esquema son falsas. Éstas incluyen lasi nst anci as paradój i cas ej empl i f i cadaspor la oración del mentiroso. Aquí sedemuestra que un esquema mejor permiteun tratamiento uniforme de la verdad enel que las paradojas semánticas resultanser simplemente falsas.Si nc e Ta r s (...) ki publ i s he d hi s s t udy ofthe concept of truth in the 1930s, it hasbeen orthodox practice to suppose thatevery instance of the T-schema is true.However, some instances of the schemaare false. These include the paradoxicalinstances exemplified by the Liar sentence.It is shown that a better schema allows auniform treatment of truth in which thesemantic paradoxes turn out to be simplyfalse. (shrink)

Jean Buridan developed his theory of consequence within a semantical framework compatible with what we now call token-based semantics. In his Treatise on Consequences and Sophismata, Buridan showed...

In 1898 C. S. Peirce declares that the medieval doctrine of consequences had been the starting point of his logical investigations in the 1860s. This paper shows that Peirce studied the scholastic theory of consequentiae as early as 1866–67, that he adopted the scholastics’ terminology, and that that theory constituted a source of logical doctrine that sustained Peirce for a lifetime of creative and original work.

1. 1. PROGRAM It will be our aim to reconstruct, with precision, certain views which have been traditionally associated with nominalism and to investigate problems arising from these views in the construction of interpreted formal systems. Several such systems are developed in accordance with the demand that the sentences of a system which is acceptable to a nominalist must not imply the existence of any entities other than individuals. Emphasis will be placed on the constructionist method of philosophical analysis. To (...) follow this method is to introduce the central notions of the subject-matter to be investigated into a system governed by exact rules. For example, the constructionist method of investigating the properties of geometric figures may consist in formulating a system of postulates and definitions which, together with the apparatus of formal logic, generates all necessary truths concerning geometric figures. Similarly, a constructionist analysis of the notion of an individual may take the form of an axiomatic theory whose provable assertions are just those which seem essential to the role played by the concept of an individual in system atic contexts. Such axiomatic theories gain in interest if they are supple mented by precise semantical rules specifying the denotation of all terms and the truth conditions of all sentences of the theory. (shrink)

‘There are important differences between Aristotle's account of homonymy and synonymy on the one hand, and Speusippus' on the other; in particular, Aristotle treated homonymy and synonymy as properties of things, whereas Speusippus treated them as properties of words. Despite this difference, in certain significant passages Aristotle fell under the influence of Speusippus and used die words “homonymous” and “synonymous” in their Speusippan senses.’.

La doctrine scolastique des transcendantaux est dans une mesure certaine hérìtée de la philosophie arabe. La construction de la problématique de l'un transcendantal, convertible avec l'être, et de l'un numérique, non convertible, illustre bien cette dépendance: toute la discussion scolastique reproduit les grandes lignes de la position d'Avicenne, puis la critique d'Avicenne par Averroès. L'article essaie de reconstituer l'ensemble des questions, lieux et arguments qui constituent cette problématique en en suivant l'évolution grâce à l'analyse desophismataanonymes et de textes de Nicolas (...) de Paris, de Roger Bacon, d'Albert le Grand et de Jacques de Viterbe. Deux stades sont distingués: le premier centré sur la distinction entre un transcendantal et un numérique; le second, essentiellement allemand (Dietrich de Freiberg, Berthold de Moosburg), sur la subordination de l'un transcendantal (“aristotélicien”) à 1'Un transcendant (“platonicien”). Chemin faisant, on montre que, à l'exception des philosophes allemands, la compréhension de la “position d'Avicenne” reste filtrée par l'interprétation d'Averroès. (shrink)

Though Arthur Prior is now best known for his founding of modern temporal logic and hybrid logic, much of his early philosophical career was devoted to history of logic and historical logic. This interest laid the foundations for both of his ground-breaking innovations in the 1950s and 1960s. Because of the important rôle played by Prior's research in ancient and medieval logic in his development of temporal and hybrid logic, any student of Prior, temporal logic, or hybrid logic should be (...) familiar with the medieval logicians and their work. In this article we give an overview of Prior's work in ancient and medieval logic. (shrink)

La doctrine scolastique des transcendantaux est dans une mesure certaine hérìtée de la philosophie arabe. La construction de la problématique de l'un transcendantal, convertible avec l'être, et de l'un numérique, non convertible, illustre bien cette dépendance: toute la discussion scolastique reproduit les grandes lignes de la position d'Avicenne, puis la critique d'Avicenne par Averroès. L'article essaie de reconstituer l'ensemble des questions, lieux et arguments qui constituent cette problématique en en suivant l'évolution grâce à l'analyse desophismataanonymes et de textes de Nicolas (...) de Paris, de Roger Bacon, d'Albert le Grand et de Jacques de Viterbe. Deux stades sont distingués: le premier centré sur la distinction entre un transcendantal et un numérique; le second, essentiellement allemand (Dietrich de Freiberg, Berthold de Moosburg), sur la subordination de l'un transcendantal (“aristotélicien”) à 1'Un transcendant (“platonicien”). Chemin faisant, on montre que, à l'exception des philosophes allemands, la compréhension de la “position d'Avicenne” reste filtrée par l'interprétation d'Averroès. (shrink)

The purpose of this paper is to present a very versatile family of logical systems ofpositionalortopologicallogic. These systems—obtained by generalizing the existing systems of chronological logic—are to have a very general nature, capable of reflecting the characteristics of a wide range of logical systems, including not only chronological (alsotemporalortense) logic, but also what we may call locative or place logic, and even a logic of “possible worlds”.