The aim of this paper is to show that the account of objective truth taken for granted by logicians at least since the publication in 1933 of Tarski’s “The Concept of Truth in Formalized Languages” arose out of a tradition of philosophical thinking initiated by Bolzano and Brentano. The paper shows more specifically that certain investigations of states of affairs and other objectual correlates of judging acts, investigations carried out by Austrian and Polish philosophers around the turn of the century, (...) formed part of the background of views that led to standard current accounts of the objectivity of truth. It thus lends support to speculations on the role of Brentano and his heirs in contemporary logical philosophy advanced by Jan Wolenski in his masterpiece of 1989 on the Logic and philosophy in the Lvov-Warsaw School. (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)

The meaning of a declarative sentence and that of an interrogative sentence differ in their aspect of mood. A semantics of mood has to account for the differences in meaning between these sentences, and it also has to explain that sentences in different moods may have a common core. The meaning of the declarative mood is to be explained not in terms of actual force (contra Dummett), but in terms of potential force. The meaning of the declarative sentence (including its (...) mood) is called the assertion-candidate, which is explained by what one must know in order to be entitled to utter the declarative with assertive force. Both a cognitive notion (knowledge) and a pragmatic notion (assertive force) are thus part of the explanation of the assertion-candidate. Davidson’s criticism that such a theory is in need of an account of the distinction between standard and non-standard uses of the declarative is answered: without counter-indications an utterance of a declarative sentence is understood as having assertive force. The meaning of an interrogative sentence, the question-candidate, and that of the other sentence types can ultimately be explained in terms of their specific relations to the assertion-candidate. Martin-Löf’s constructive type theory is used to show the philosophical relevance of a semantics of mood. The constructivist notion of proposition needs to be embedded in a theory of the assertion-candidate, which fulfils the offices of being the meaning of the declarative sentence, the content of judgement and assertion and the bearer of epistemic truth. (shrink)

This book investigates Aristotle’s views on abstraction and explores how he uses it. In this work, the author follows Aristotle in focusing on the scientific detail first and then approaches the metaphysical claims, and so creates a reconstructed theory that explains many puzzles of Aristotle’s thought. Understanding the details of his theory of relations and abstraction further illuminates his theory of universals. Some of the features of Aristotle’s theory of abstraction developed in this book include: abstraction is a relation; perception (...) and knowledge are types of abstraction; the objects generated by abstractions are relata which can serve as subjects in their own right, whereupon they can appear as items in other categories. The author goes on to look at how Aristotle distinguishes the concrete from the abstract paronym, how induction is a type of abstraction which typically moves from the perceived individuals to universals and how Aristotle’s metaphysical vocabulary is "relational.’ Beyond those features, this work also looks at how of universals, accidents, forms, causes and potentialities have being only as abstract aspects of individual substances. An individual substance is identical to its essence; the essence has universal features but is the singularity making the individual substance what it is. These theories are expounded within this book. One main attraction in working out the details of Aristotle’s views on abstraction lies in understanding his metaphysics of universals as abstract objects. This work reclaims past ground as the main philosophical tradition of abstraction has been ignored in recent times. It gives a modern version of the medieval doctrine of the threefold distinction of essence, made famous by the Islamic philosopher, Avicenna. (shrink)

This book collects six unpublished and published academic studies on the thought of Francisco Suárez, which is addressed through accurate textual analyses and meticulous contextualization of his doctrines in the Scholastic debate. The present essays aim to portray two complementary aspects coexisting in the work of the Uncommon Doctor: his innovative approach and his adherence to the tradition. To this scope, they focus on some pivotal, but often neglected, topics in Suárez’s metaphysics and psychology – such as his theories of (...) cognition and truth, angelology, continuous quantity – thereby developing an original inquiry into a crucial moment in the development of Western philosophy. (shrink)

In the first half of the 17th century the Aristotelian view that the same statement or belief may be true at one time and false at another and, on the other hand, the conception of a mental proposition as a fully explicit thought that lends a definite meaning to a declarative sentence originated a lively debate concerning the question whether a mental proposition can change its truth-value.In this article it is shown that the defenders of a negative answer and the (...) advocates of a positive answer argued on the basis of different notions of what a mental proposition is:one side taking it as more or less equivalent to a specific utterance?meaning and the other side as more or less equivalent to a generic sentence-meaning. (shrink)

On the basis of careful textual exegesis and philosophical analysis, and contrary to the received view, Mark R. Wheeler demonstrates that Aristotle presents and systematically explicates his definition of the essence of the truth in the Metaphysics. Aristotle states the nominal definitions of the terms "truth" and "falsehood" as part of his arguments in defense of the logical axioms. These nominal definitions express conceptions of truth and falsehood his philosophical opponents would have recognized and accepted in the context of dialectical (...) argument. On the basis of these nominal definitions, Aristotle develops his definitions of the essences of truth and falsehood--his "real" definitions of truth and falsehood. Aristotle's methodical exposition of his essential definitions of truth and falsehood in the Metaphysics serves as a well-developed example of how his philosophical inquiry starts with nominal definitions and ends with real definitions. Wheeler also argues for the novel claim that Aristotle defines the most fundamental kind of truth in terms of accurate measurement. Aristotle's metrical conception of truth serves as the theoretical basis for specifying the truth conditions of various assertions, for identifying the sorts of beings implicated in these truth conditions, and for explaining the nature of approximate truth and falsehood. Far from offering us a minimal account of truth, Wheeler shows how Aristotle offers us a sophisticated and metrical theory of truth. (shrink)

This paper seeks to elucidate the distinctive nature of the rational impression on its own terms, asking precisely what it means for the Stoics to define logikē phantasia as an impression whose content is expressible in language. I argue first that impression, generically, is direct and reflexive awareness of the world, the way animals get information about their surroundings. Then, that the rational impression, specifically, is inherently conceptual, inferential, and linguistic, i.e. thick with propositional content, the way humans receive incoming (...) information from the world. When we suspend certain contemporary assumptions about propositional content, the textual evidence can be taken at face value to reveal why, for the Stoics, rational impressions are called thoughts (noēseis) and how the Stoics’ novel semantic entities called lekta (roughly, the meanings of our words) depend on rational impressions for their subsistence. (shrink)

This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did ...

The dominant theory of judgment in 1870 was one or other variety of combination theory: the act of judgment is an act of combining concepts or ideas in the mind of the judging subject. In the decades to follow a succession of alternative theories arose to address defects in the combination theory, starting with Bolzano’s theory of propositions in themselves, Brentano’s theory of judgment as affirmation or denial of existence, theories distinguishing judgment act from judgment content advanced by Brentano’s students (...) Twardowski, Husserl and Meinong, and finally, Adolf Reinach’s addition of a linguistic dimension to the Brentano-Husserlian theory of judgment – an account of judgments as ways of doing things with words in what Reinach called ‘social acts’. (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)

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)

Thomas Bradwardine (d. 1349) was an English philosopher, logician, and theologian of some note; but though recent scholarship has revived an interest in much of his work, little attention has been paid to an early treatise he wrote on the topic of future contingents, entitled De futuris contingentibus. In this thesis I aim to address this deficit, arguing in particular that the treatise makes original use of the divine power distinction to resolve the apparent conflict between God’s foreknowledge on the (...) one hand, and human free will on the other. Bradwardine argues that God’s foreknowledge operates in accord with God’s ordained power, and so relative to God’s ordained power, our actions are indeed compelled; however, because of Bradwardine’s appeal to the distinction in power, he is able to maintain that our actions remain free relative to God’s absolute power, and are thus free, absolutely speaking. This solution is, I argue, unique to Bradwardine, although it seems to be abandoned in his later writing. Bradwardine’s approach to the problem is heavily influenced by three figures in particular — Boethius, Anselm of Canterbury, and John Duns Scotus — each of whose solutions I discuss in some detail. Furthermore, Bradwardine explicitly places his own solution in opposition to that of William Ockham, and so I give substantial attention to examining Ockham’s position. But while I agree with Bradwardine’s assessment that Ockham’s position undermines God’s foreknowledge in ways that should be untenable to someone of 14th-century Christian commitments, I argue that Bradwardine’s solution amounts to an equally untenable determinism. An appendix contains excerpts from my own English translation of the De futuris contingentibus (the first into any modern language), in parallel with the original Latin. (shrink)

We present Prior's discussion of a puzzle about valditity found in the writings of the fourteenth-century French logician Jean Buridan and show how Prior's study of this puzzle may have provided the conceptual inspiration for his development of hybrid logic.

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)

I examine a sixteenth-century development of the anti-realist propositional semantics which is based on the notion of ‘mode’. Pardo uses this notion to offer a personal interpretation of the Buridanian criticism of complexe significabilia. He develops a middle way between the reduction of the significate of propositions to particular things and the postulation of non-standard entities which are only complexly signifiable. The key to this middle way is Pardo's understanding of the notion of ‘mode’ as connoting a relation between individual (...) things. He offers a new interpretation of the signification of syncategorematic terms, and a definition of ‘comparative’ notions, by which something is known ‘relatively’ with respect to some other thing. And a real relational correlate is postulated for these relational ways of knowing. Relations are thus used to grant a specific significate of propositions, without renouncing the strict Buridanian rejection of any extra-categorial complexe significabilia. The role of r... (shrink)