Peter Abelard (1079 – 21 April 1142) [‘Abailard’ or ‘Abaelard’ or ‘Habalaarz’ and so on] was the pre-eminent philosopher and theologian of the twelfth century. The teacher of his generation, he was also famous as a poet and a musician. Prior to the recovery of Aristotle, he brought the native Latin tradition in philosophy to its highest pitch. His genius was evident in all he did. He is, arguably, the greatest logician of the Middle Ages and is equally famous as (...) the first great nominalist philosopher. He championed the use of reason in matters of faith (he was the first to use ‘theology’ in its modern sense), and his systematic treatment of religious doctrines are as remarkable for their philosophical penetration and subtlety as they are for their audacity. Abelard seemed larger than life to his contemporaries: his quick wit, sharp tongue, perfect memory, and boundless arrogance made him unbeatable in debate — he was said by supporter and detractor alike never to have lost an argument — and the force of his personality impressed itself vividly on all with whom he came into contact. His luckless affair with Héloïse made him a tragic figure of romance, and his conflict with Bernard of Clairvaux over reason and religion made him the hero of the Enlightenment. For all his colourful life, though, his philosophical achievements are the cornerstone of his fame. (shrink)

This paper explores an idea of Stoic descent that is largely neglected nowadays, the idea that an argument is valid when the conditional formed by the conjunction of its premises as antecedent and its conclusion as consequent is true. As it will be argued, once some basic features of our naıve understanding of validity are properly spelled out, and a suitable account of conditionals is adopted, the equivalence between valid arguments and true conditionals makes perfect sense. The account of validity (...) outlined here, which displays one coherent way to articulate the Stoic intuition, accords with standard formal treatments of deductive validity and encompasses an independently grounded characterization of inductive validity. (shrink)

Spoken sentences have parts. Therefore they take time to speak. For instance, when you say, “Socrates is running”, you begin by uttering the subject term ("Socrates"), before carrying on to the predicate. But are the corresponding predications in thought also composite? And are such thoughts extended across time, like their spoken counterparts? Peter Abelard gave an affirmative response to both questions. Alberic of Paris denied the first and, as a corollary, denied the second. Here, I first set out Abelard’s account. (...) I then present a series of arguments against Abelard, reconstructed from (sometimes fragmentary) manuscripts associated with Alberic’s school. I conclude with an observation about present philosophy of language: this twelfth-century debate points to some undefended (and largely unstated) assumptions common to our latest thinking about propositions. I highlight this by presenting recent accounts of two philosophers with radically different outlooks: Jeffrey King and Peter Hanks. Both their accounts take many of the same things for granted, as the Alberican criticisms make plain. (shrink)

The standard approach to model how human beings understand natural languages is the symbolic, compositional approach according to which the meaning of a complex expression is a function of the meanings of its constituents. In other words, meaning plays a fundamental role in the model. In this work, because of the polysemous, flexible, dynamic, and contextual structure of natural languages, this approach is rejected. Instead, a connectionist model which eliminates the concept of meaning is proposed.

This thesis is on the history and philosophy of logic and semantics. Logic can be described as the ‘science of reasoning’, as it deals primarily with correct patterns of reasoning. However, logic as a discipline has undergone dramatic changes in the last two centuries: while for ancient and medieval philosophers it belonged essentially to the realm of language studies, it has currently become a sub-branch of mathematics. This thesis attempts to establish a dialogue between the modern and the medieval traditions (...) in logic, by means of ‘translations’ of the medieval logical theories into the modern framework of symbolic logic, i.e. formalizations. One of its conclusions is that, when properly understood within their own framework, the interest of medieval logical theories for modern investigations go beyond mere historical interest, but that a thorough conceptual analysis of such theories must be undertaken in order to avoid conceptual misprojections. While such translations of medieval into modern logic have been attempted before, the approach presented here is innovative in that attention is paid to the similarities as well as to the dissimilarities between the two traditions, and to what can be learned from the medieval masters for modern investigations in logic and semantics. (shrink)

This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented - a crucial concept in the current logical panorama, which as such receives surprisingly little attention.Although formalizations of medieval logical theories have been proposed earlier in the literature, the formalizations presented here are all based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories of consequence analyzed (...) with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games. For this reason, this is perhaps the first time that these medieval logical theories are made fully accessible to the modern philosopher and logician who wishes to obtain a better grasp of them, but who has always been held back by the lack of appropriate ‘translations' into modern terms.Moreover, the book offers a reflection on the very nature of logic, a reflection that is prompted by the comparisons between medieval and modern logic, their similarities and dissimilarities. It is thus a contribution not only to the history of logic, but also to the philosophy of logic, the philosophy of language and semantics.The analysis of medieval logic is also relevant for the modern philosopher and logician in that, being the unifying methodology used across all disciplines at that time, logic really provided unity to science. It thus presents a unified model of scientific investigation, where logic plays the aggregating role. (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)