This publication offers the first critical edition of John Buridan’s second set of questions on Aristotle's “De generatione et corruptione”. The edition was made by Michiel Streijger, Paul Bakker and Hans Thijssen. First published as a printed book in 2010, the publication has been converted to open access with the CC BY-NC-ND license as of September 2023.

If an argument is valid, it is impossible for its premises to be true, and its conclusion false. But how should we understand these notions of truth and impossibility? Here, I present the answers given by John Buridan (ca. 1300-60), showing (i) how he understands truth in his anti-realist metaphysics, and (ii) how he understands modality in connection with causal powers. In short: if an argument exists and is valid, there does not exist a power capable of making (...) the premises true and, at the same time, making the conclusion false. (shrink)

How induction was understood took a substantial turn during the Renaissance. At the beginning, induction was understood as it had been throughout the medieval period, as a kind of propositional inference that is stronger the more it approximates deduction. During the Renaissance, an older understanding, one prevalent in antiquity, was rediscovered and adopted. By this understanding, induction identifies defining characteristics using a process of comparing and contrasting. Important participants in the change were Jean Buridan, humanists such as Lorenzo Valla (...) and Rudolph Agricola, Paduan Aristotelians such as Agostino Nifo, Jacopo Zabarella, and members of the medical faculty, writers on philosophy of mind such as the Englishman John Case, writers of reasoning handbooks, and Francis Bacon. (shrink)

It may come as a surprise to readers familiar with the life and work of the Arts Master that he discusses the Eucharist at all. As he likes to remind us, theological topics are generally out of his wheelhouse. Even so, in his Questions on the “Metaphysics” of Aristotle (QM) 4.6, Buridan takes the sacrament of the Eucharist as a key data point in his discussion of Aristotle’s Categories. In the Eucharist, the accidents of the bread and wine—their color, (...) texture, and so on—remain intact, but the underlying substance is transubstantiated into the body and blood of Christ. Accordingly, God can preserve accidents independent of their underlying substance. Therefore, for our part we can use accidental terms, like whiteness, without connoting any substances, like communion bread. Moreover, it follows that, contrary to Aristotle, substance and the accidental categories are not the most general genera. Instead, being (ens) is, as Buridan concludes. Here, I trace Buridan’s thought on the metaphysical and semantic matters of substance in light of the Eucharist. The Eucharist is for him not only a theological truth, but a metaphysical and semantic datum as well. I conclude by asking why Buridan did not take any and all questions about the Eucharist to be out of his ken. What does this tell us about his attitude toward theology? This paper also includes, as an appendix, the first ever English translation of the question under discussion (QM 4.6): “Does the term being (ens) signify substances and accidents by one single concept or notion?”. (shrink)

Aquinas, Ockham, and Burdan all claim that a person can be numerically identical over time, despite changes in size, shape, and color. How can we reconcile this with the Indiscernibility of Identicals, the principle that numerical identity implies indiscernibility across time? Almost all contemporary metaphysicians regard the Indiscernibility of Identicals as axiomatic. But I will argue that Aquinas, Ockham, and Burdan would reject it, perhaps in favor of a principle restricted to indiscernibility at a time.

What is an occurrent mental state? According to a common scholastic answer such a state is at least in part a quality of the mind. When I newly think about a machiatto, say, my mind acquires a new quality. However, according to a view discussed by John Buridan (who rejects it) and John of Mirecourt (who is condemned in 1347 for considering it “plausible”), an occurrent mental state is not even in part a quality. After sketching some (...) of the history of this position, I will present two common arguments against it—the argument from change and the argument from agency. I will then turn to Mirecourt’s own position on the matter. Mirecourt, I show, in fact offers us two different theories about occurrent mental states. The first, which I call the conservation theory, accepts that mental states are in part qualities. However, a mental state is a quality together with an action on the side of the mind, namely, its conservation of a quality within itself. The second position, which I will call the pure-action theory, holds that an occurrent mental state is not even in part a quality; instead, it is an action the mind performs which is neither the production nor the conservation of a quality within itself. Mirecourt characterizes such pure actions as “modes” of the mind, and it is this position which is condemned in 1347. In the final section, I turn to an objection that both Buridan and Mirecourt raise against the pure-action theory: if accidental states of the mind are mere modes of the mind, then why not suppose that all accidents are mere modes of the subjects which they qualify? (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 42.2 (2004) 219-220 [Access article in PDF] Jack Zupko. John Buridan: Portrait of a Fourteenth-Century Arts Master. Notre Dame: University of Notre Dame Press, 2003. Pp. xix + 446. Cloth, $70.00. Paper, $40.00. What does the name "John Buridan" call to mind? For many, including medievalists, not much at all—at best, perhaps, a set of apparently unrelated ideas: nominalism; (...) an impetus theory of projectile motion; and a peculiar account of the will (although "Buridan's ass," the indecisive donkey caught between two equally appetizing bales of hay, is not found in Buridan's writing). In correcting this ignorance—an injustice to arguably the most famous and influential philosopher of the early-to-mid-fourteenth century—the temptation might have been to articulate Buridan's "positions" on "the big questions," allowing readers to fit Buridan into received categories. Thankfully, the present work, the first book-length study of Buridan in any language, resists this temptation. The John Buridan that emerges from Jack Zupko's skillful "exercise in philosophical portraiture" doesn't serve to simply fill gaps in our awareness of the historical record, but to enlighten and challenge our understanding of the practice of philosophy and the study of its history.Zupko emphasizes throughout that Buridan was a teacher, a master of arts in Paris. Buridan's pedagogical concerns help make sense of his central work in logic. As the basis for his arts lectures, Buridan chose Peter of Spain's Summulae Logicales, but in commenting on Peter, Buridan moves beyond creative exegisis to comprehensive renovation. Buridan (c. 1300-c. 1361) naturally wanted to accommodate terminist or via moderna supposition theory; but more importantly, he wanted a logic text that would set out a general plan of philosophical inquiry, "a compendium of methods, a 'how-to' book for the philosopher" (135). Buridan thus designed his own Summulae de Dialectica as a new authoritative logic text, and Zupko persuasively argues that its "nominalism" should be understood as less a set of doctrines in theoretical logic, than a program of logical practice, an education in logic as the ars artium, the universal intellectual tool.Zupko's portrait of "Buridan's vision of the philosophical enterprise" is thus appropriately divided into two parts. The first summarizes Buridan's method as described in the individual treatises of his Summulae. The second displays the method in practice, rehearsing and evaluating some of Buridan's arguments on various subjects. Many scholars will gravitate first to the latter part, where Zupko offers important interpretations and clarifications of Buridan's views. In these chapters, Zupko helps us to appreciate, among other things: how the problem of universals served to help Buridan define the scope of philosophy (ch. 10); the philosophical modesty of Buridan's account of the intellectual soul's presence in the body (ch. 11); the relationship between Buridan's epistemology and the skepticism of his Parisian contemporary Nicholas of Autrecourt (ch. 12); the sense in which Buridan is an "empiricist," viz an epistemic naturalist and reliabilist (ch. 13); how Buridan regarded moral psychology as applied physics, treating virtue as a kind of impetus (ch. 14); how Buridan's account of freedom can be regarded as a "perfection" of Thomistic intellectualism (ch. 15).Throughout these discussions, Zupko always keeps in sight his larger purpose of illustrating Buridan's conception of philosophical inquiry. Zupko makes much of the fact that [End Page 219] Buridan never wrote as a theologian, remaining his entire career in the arts faculty, where he wanted logic to organize secular inquiry. As Zupko notes, in this way Buridan's scholastic project seems to prefigure the "modern." But Buridan seems modern in another way as well. As Zupko points out in his "Introduction," though a cleric, Buridan never joined a religious order, so that his ideas developed independently of the Franciscan and Dominican traditions. He was, then, a teacher without a tradition—at least without deliberate allegiance to tradition, although he was in many ways the product of traditional scholastic intellectual discipline.Perhaps this... (shrink)

As we now know, most, if not all, philosophers in the High Middle Ages agreed that what we immediately perceive are external objects and that the immediate object of perception must not be some image present to the mind. Yet most — but not all — philosophers in the High Middle Ages also held, following Aristotle, that perception is a process wherein the percipient takes on the likeness of the external object. This likeness — called a species — is a (...) representation (of some sort) by means of which we immediately perceive external objects. But how can perception be at once direct — or immediate — and at the same time by way of representations? The usual answer here was that the species represents the external object to some percipient even though the species itself is not at all perceived: the species is that by which I perceive and not that which I perceive. John Buridan defends this traditional view — call it direct realism with representations. However, just a couple of decades before Buridan, one of the more important philosophers at Paris, Durand of St.-Pourçain, had already rejected direct realism with representation. Durand defends what I will call direct realism without representations. On his view, a species is not at all necessary during overtly direct forms of perception, neither as cause nor as representation. This paper has two parts. In the first part, I will discuss some of the more interesting arguments that Durand makes against direct realism with representations. In the second part, I will look at Buridan's defense of the view. -/- . (shrink)

What makes a valid argument valid? Generally speaking, in a valid argument, if the premisses are true, then the conclusion must necessarily also be true. But on its own, this doesn’t tell us all that much. What is truth? And what is necessity? In what follows, I consider answers to these questions proposed by the fourteenth century logician John Buridan († ca. 1358). My central claim is that Buridan’s logic is downstream from his metaphysics. Accordingly, I treat (...) his metaphysical discussions as the key to his logic. As has been often noted, Buridan’s metaphysics are radically anti-realist about universals, though I think the depth and scope of his anti-realism has at times been papered over. Buridan constructs his logic on an amazingly spartan ontology, and this accomplishment is overdue for reconsideration. To the foregoing questions: truth is a feature of propositions, and of propositions only—not of proposition-like states of affairs, or anything like that. It is a function of the reference or supposition (suppositio) of their terms, which depends on predication in a propositional context. And necessary truth is grounded in causation: a predication is necessary if it cannot be falsified by any power, natural or supernatural, without ii annihilating what its terms stand for. “Socrates is a human”, for instance, can only be falsified by annihilating Socrates, and so it is a necessary truth. -/- These considerations provide an ample theoretical basis for a thorough examination of Buridan’s modal logic. This is what the thesis culminates with. In the final chapter, I set forth some novel and surprising findings, chief of which is this: Buridan’s modal syntax and semantics are nothing like Kripke’s—and indeed are incompatible with them. This has significant implications not only for modal logic and metaphysics, but for how we think about medieval logic and philosophy more generally. -/- Throughout the thesis, I advocate a methodology of emphasising the differences, rather than the similarities, between past and present thought. Buridan is wildly unlike what we’re used to, and we should let him speak for himself. (shrink)

The paper delves into manuscript sources connected with various disputations held at Prague University from around 1390 to 1420 and singles out a set of hitherto unknown quaestiones dealing with the nature of the human intellect and its relation to the body. Prague disputations from around 1400 arguably offer a unique vantage point on late medieval anthropological issues, since they encompass an entanglement of numerous doctrinal influences from Buridanian De anima commentaries to John Wyclif’s theories. The paper delineates several (...) conceptual tensions regarding the nature of the intellect, e.g., between materialism (entailed by the emphasis on the intellect’s inherence in the body) and personal immortality. It presents several strategies Prague masters employed to overcome these tensions. For example, an anonymous participant of the 1409 quodlibet develops the Buridanian distinction between the rationally demonstrable materialist tendency and the indemonstrable “catholic truth” about the intellect both inhering in and separable from the body. On the other hand, Wyclif’s adherents (Jacob of Mies and another anonymous master) postulate an immortal spirit hypostatically united to each human being beside the human soul educed from the potency of the matter. Yet, the boundaries between the doctrinal standpoints in question seem permeable, whereby a rigid definition of antagonistic groups in late medieval Prague intellectual milieu (e.g., Buridanians vs Wycliffites) is rendered ineffective. (shrink)

Buridan holds that the proper subject of psychology (i.e., the science undertaken in Aristotle’s De Anima) is the soul, its powers, and characteristic functions. But, on his view, the science of psychology should not be understood as including the body nor even the soul-body composite as its proper subject. Rather its subject is just “the soul in itself and its powers and functions insofar as they stand on the side of the soul". Buridan takes it as obvious that, (...) even thus narrowly construed, such a science is possible. To the extent that this science includes the human or intellective soul, however, Buridan’s claim regarding its possibility is far from obvious. After all, like most of his contemporaries, Buridan takes the human soul to be immaterial. Thus, he readily admits that “the intellect cannot be sensed” and its operations are likewise inaccessible to the senses. Yet, on Buridan's broadly empiricist theory of knowledge, all (human) knowledge, including knowledge of the intellect or intellective soul, takes its start in the senses. How, then, is a science of the human soul possible? What is the nature or source of our knowledge of the intellect? In this paper, I reconstruct Buridan's answer to these questions. -/- My discussion divides roughly into two parts. In the first, I set out the main elements of Buridan’s account of how we come to cognize the intellect, focusing on what he says about the genesis of our concept of the intellect. I then consider his account of our cognition of our own intellective states. As the discussion in part one make clear, Buridan holds that our concepts of intellect and of intellective states are both derived (inferentially) from subjective “experience” of our own states and rational activities. In part two, therefore, I try to elucidate Buridan’s notion of experience. Ultimately, I argue that it is a non-conceptual, non-discursive mode of self-awareness. I suggest, moreover, that it might best be understood in terms of our own notion of phenomenal consciousness. On the interpretation I advance, then, it turns out that, for Buridan, our concept of the intellect itself and, hence, the science of (human) psychology in general, is ultimately grounded in phenomenal experience of our own intellective states. (shrink)

Many things can be other than they are. Many other things cannot. But what are statements like these about? One answer to this question is that we are speaking of possible worlds: if something can be other than it is, then it actually is that way in some possible world. If something cannot be otherwise, it is not otherwise in any world. This answer is presently dominant in analytical philosophy of language and logic. What are these worlds? David Lewis famously (...) claimed that every world exists, just like ours does: there is no difference between the other worlds and ours. In contrast, the medieval thinker John Buridan understands modal logic in terms of objects and causal powers in this world: if something can be other than it is, then there is a causal power that can make it that way. If it cannot, then no causal power—not even God—can alter it, at least without destroying its nature. As we’ll see, the Lewisian plurality is not possible on Buridan’s account; accordingly, a basic tenet of classical theism is untenable on Lewis’s metaphysics. In short, either the Lewisian plurality is incoherent, or a core monotheistic tenet is impossible. (shrink)

This paper inquires into how the new techniques of 14th-century physics, especially the doctrines of the maxima and minima of powers and the latitudes of forms, were applied to the issue of propagation of light. The focus is on several Prague disputed questions, originating between 1377 and 1409, dealing with whether illumination has infinite or finite reach and whether illumination’s intensity remains constant (uniformis) or is rather uniformly decreasing (uniformiter difformis). These questions are contextualised through examination of Oxford, Paris, and (...) Prague sources of the era (John Dumbleton, John Buridan, Nicole Oresme, Albert of Saxony, Henry of Langenstein, John of Holland) to construct a fresh survey of late medieval theories of light. Along the way, the discovery of a hitherto unknown Prague disputation from the 1370s is announced, and new evidence for the dating and Central European dissemination of Jacobus de Sancto Martino’s De latitudinibus formarum and Nicole Oresme’s Questiones super Geometriam is uncovered. (shrink)

This paper tries to understand how three medieval philosophers (Roger Bacon, Albert the Great and John Buridan) developed the idea of a special logic for ethics, taking into account Aristotle's thesis according to which ethics does not need theoretical syllogisms and uses a special kind of scientific reasoning. If rhetoric is a good candidate, we find three different readings of this approach and then three different theories of ethical reasoning.

The focus of the article is the self-predication principle, according to which the/a such-and-such is such-and-such. We consider contemporary approaches (Frege, Russell, Meinong) to the self-predication principle, as well as fourteenth-century approaches (Burley, Ockham, Buridan). In crucial ways, the Ockham-Buridan view prefigures Russell’s view, and Burley’s view shows a striking resemblance to Meinong’s view. In short the Russell-Ockham-Buridan view holds: no existence, no truth. The Burley-Meinong view holds, in short: intelligibility suffices for truth. Both views approach self-predication (...) in a uniform way. We were unable to find a medieval philosopher who, like Frege, approaches self-predication in a non-uniform way. We do not want to dispute that there are also considerable differences between the contemporary and the fourteenth-century approach to self-predication. Importantly, fourteenth-century accounts of self-predication rely strongly on the identity theory of predication, and this theory is not endorsed by contemporary philosophers of language. Nevertheless, some basic tenets seem to us to be clearly shared between fourteenth-century and contemporary thinkers. (shrink)

Multiple generality has long been known to cause confusion. For example, “Everyone has a donkey that is running” has two readings: either (i) there is a donkey, owned by everyone, and it is running; or (ii) everyone owns some donkey or other, and all such donkeys run. Medieval logicians were acutely aware of such ambiguities, and the logical problems they pose, and sought to sort them out. One of the most ambitious undertakings in this regard is a pair of massive (...) diagrams (magnae figurae) which map out the logical interrelations of two sets of doubly-general forms. These appear in a fourteenth-century MS of John Buridan’s Summulae de Propositionibus. In this paper, I present these diagrams, and determine the truth conditions of their different forms. To that end, I have developed a bespoke system of diagrams to display their truth conditions. As we will see, such forms present significant difficulties for an all-encompassing account of the role form plays in logic. Accordingly, they can tell us important things about the role logical form plays in Buridan’s account of logical foundations. (shrink)

The 26 essays collected in this volume explore some crucial aspects of the philosophical and scientific traditions of the Middle Ages and the Renaissance. Using a historical-philological approach, the volume brings to light unpublished documents and offers new reconstructions of the intellectual paths of authors such as Meister Eckhart, Nicole Oresme, John Buridan, Siger of Brabant, William of Ockham, Peter Pomponazzi, and Giovanni Pico della Mirandola.

Discussions about singular cognition, and its linguistic counterpart, are by no means exclusive to contemporary philosophy. In fact, a strikingly similar discussion, to which several medieval texts bear witness, took place in the late Middle Ages. The aim of this article is to partly reconstruct this medieval discussion, as it took place in Parisian question-commentaries on Aristotle’s De anima, so as to show the progression from the rejection of singular intellection in Siger of Brabant to the descriptivist positions of (...) class='Hi'>John Duns Scotus and John of Jandun, and finally to the singularism of John Buridan. All these authors accept some kind of intellectual access to individuals. Therefore, the conundrum is not whether we have some kind of intellectual knowledge of individuals, but rather whether we can know them singularly. This article begins by presenting the crucial obstacle to singular intellection in Siger. Thereafter, the author shows that Jandun and Scotus depart in fundamental ways from Siger’s account, but that for them the intellection of individuals is of a general character. Finally, she proposes that Buridan is a genuine singularist. (shrink)

Marsilius of Inghen’s account of imaginable impossibilities became paradigmatic in logic, semantics, and metaphysics throughout the later Middle Ages and well into the early modern period. The present study focuses on imaginable impossibilities in 14th-century logic, underlining the relevance of Marsilius of Inghen’s innovative approach through a comparison with the semantic accounts proposed by other mid-14th-century Parisian nominalists, namely John Buridan and Albert of Saxony. In particular, this paper tracks the specific issue of the admissibility of absolute impossibilities (...) – such as the chimera – within Marsilius of Inghen’s semantic analysis, proving that there is a sense in which the chimera is indeed treatable. The present study does so by analysing the issues involved in impossibilities on the levels of signification, supposition, and extended reference. In doing so it provides a clearer picture of the problems involved, where they emerge and why, as well as of the significance and range of Marsilius of Inghen’s approach. (shrink)

Till just few decades ago, scholars used to use the label ‘Ockhamism’ to mark a turning-point in the history of mediaeval philosophy, above all in the history of natural philosophy. That turning-point was exemplified by the once so-called ‘Buridanian school’, today known simply as ‘Parisian school of natural philosophy’, whose leading representative was for sure John Buridan. But looking carefully at some crucial points of the Picard master’s idea of ‘nature’, concerning specifically the relationship between God and secondary (...) causes on one side, and the role played by free will, both the divine and the human one, on the other side, one will find out that Buridan’s ‘Ockhamism’ is at least questionable: Scotus’ modal logic is the conceptual framework, within which he redetermines the boundaries of natural laws, but the ‘pure ockhamist’ idea of the prevalence of the will on the intellect in God’s nature is the source of an image of the world in which voluntary behaviours and natural laws are intertwined. Therefore, Buridan’s natural philosophy results as a peculiar synthesis of two of the main divergent lines of thinking of late mediaeval philosophy. (shrink)

In hindsight, it is not surprising that the exegesis of Aristotle’s Sophistici elenchi developed into one of the most substantial parts of the Latin commentary tradition. To make a long story short, in its customary capacity as the art of arts and the science of sciences, medieval logic was primarily concerned with discerning the true from the false in arguments as they occur in natural, ordinary speech as opposed to the more formalised parlance later logicians will resort to. It makes (...) perfect sense, then, that medieval logicians paid special attention to everything that threatens sound reasoning and that prevents us from speaking the truth. Indeed, they were second to none and better than most at exposing and elucidating arguments’ flaws and shortcomings. After all, as John Buridan – faithful to a long and illustrious tradition – aptly put it, «rooting out errors» is logic’s first order of business. As early as the 1140s, Aristotle’s Sophistici elenchi provided the most fertile ground for such keen interest in fallacies; which, in turn, explains etc. This much is uncontroversial or, at any rate, can withstand any amount of scrutiny we care to throw at it. Courtesy – first and foremost – of Sten Ebbesen, whose long-standing interest in medieval writings on bad arguments has turned the Byzantine and Latin aftermath of Aristotle’s Sophistici elenchi into well-charted territory, by all standards. The Anonymus Cantabrigiensis has played no small part in shaping this picture. As a matter of fact, time and again over the last forty years or so, quotes and insights from the anonymous work have kept showing up in Ebbesen’s editions and studies: since he first discovered the commentary in the late 1970s and brought it to the general attention, Ebbesen has routinely drawn on the Anonymus as an early witness of the circulation of Aristotelian logical works and related texts, as a convenient illustration of major trends and distinctive features of the Latin literature on fallacies, and as a sensible interpreter in his own right. (shrink)

Judging by our folk appraisals, then, knowledge and action are intimately related. The theories of rational action with which we are familiar leave this unexplained. Moreover, discussions of knowledge are frequently silent about this connection. This is a shame, since if there is such a connection it would seem to constitute one of the most fundamental roles for knowledge. Our purpose in this paper is to rectify this lacuna, by exploring ways in which knowing something is related to rationally acting (...) upon it, defending one particular proposal against anticipated objections. (shrink)

Cognitivism in respect to the arts refers to a constellation of positions that share in common the idea that artworks often bear, in addition to aesthetic value, a significant kind of cognitive value. In this paper I concentrate on three things: (i) the challenge of understanding exactly what one must do if one wishes to defend a cognitivist view of the arts; (ii) common anti-cognitivist arguments; and (iii) promising recent attempts to defend cognitivism.

This report reviews what quantum physics and information theory have to tell us about the age-old question, How come existence? No escape is evident from four conclusions: (1) The world cannot be a giant machine, ruled by any preestablished continuum physical law. (2) There is no such thing at the microscopic level as space or time or spacetime continuum. (3) The familiar probability function or functional, and wave equation or functional wave equation, of standard quantum theory provide mere continuum idealizations (...) and by reason of this circumstance conceal the information-theoretic source from which they derive. (4) No element in the description of physics shows itself as closer to primordial than the elementary quantum phenomenon, that is, the elementary device-intermediated act of posing a yes-no physical question and eliciting an answer or, in brief, the elementary act of observer-participancy. Otherwise stated, every physical quantity, every it, derives its ultimate significance from bits, binary yes-or-no indications, a conclusion which we epitomize in the phrase, it from bit. (shrink)

Most traditional epistemologists see trust and knowledge as deeply antithetical: we cannot know by trusting in the opinions of others; knowledge must be based on evidence, not mere trust. I argue that this is badly mistaken. Modern knowers cannot be independent and self-reliant. In most disciplines, those who do not trust cannot know. Trust is thus often more epistemically basic than empirical evidence or logical argument, for the evidence and the argument are available only through trust. Finally, since the reliability (...) of testimonial evidence depends on the trustworthiness of the testifier, this implies that knowledge often rests on a foundation of ethics. The rationality of many of our beliefs depends not only on our own character, but on the character of others. (shrink)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...) Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...) by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system. (shrink)

A philosophical analysis of different kinds of memory used in the film Memento.

In discussions of practical reason we often encounter the view that a fact is a reason for an agent to act only if the fact is capable of moving the agent to act. This view figures centrally in many philosophical controversies, and while taken for granted by some, it is vigorously disputed by others. In this essay I show that if the disputed position is correctly interpreted, it is well armored against stock objections and implied by a premise that is (...) not only plausible, but generally accepted by the position's critics. (shrink)

This paper argues that the role of knowledge in the explanation and production of intentional action is as indispensable as the roles of belief and desire. If we are interested in explaining intentional actions rather than intentions or attempts, we need to make reference to more than the agent’s beliefs and desires. It is easy to see how the truth of your beliefs, or perhaps, facts about a setting will be involved in the explanation of an action. If you believe (...) you can stop your car by pressing a pedal, then, if your belief is true, you will stop. If it is false, you will not. By considering cases of unintentional actions, actions involving luck and cases of deviant causal chains, I show why knowledge is required. By looking at the notion of causal relevance, I argue that the connection between knowledge and action is causal and not merely conceptual. (shrink)

We think we have lots of substantial knowledge about the future. But contemporary wisdom has it that indeterminism prevails in such a way that just about any proposition about the future has a non-zero objective chance of being false.2, 3 What should one do about this? One, pessimistic, reaction is scepticism about knowledge of the future. We think this should be something of a last resort, especially since this scepticism is likely to infect alleged knowledge of the present and past. (...) One anti-sceptical strategy is to pin our hopes on determinism, conceding that knowledge of the future is unavailable in an indeterministic world. This is not satisfying either: we would rather not be hostage to empirical fortune in the way that this strategy recommends. A final strategy, one that we shall explore in this paper, is one of reconciliation: knowledge of a proposition is compatible with a subject’s belief having a non-zero objective chance of error.4 Following Williamson, we are interested in tying knowledge to the presence or absence of error in close cases, and so we shall explore the connections between knowledge and objective chance within such a framework. We don’t want to get tangled up here in complications involved in attempting to formulate a necessary and sufficient condition for knowledge in terms of safety. Instead, we will assume the following rough and ready necessary condition: a subject knows P only if she could not easily have falsely believed P.5 Assuming that easiness is to be spelt.. (shrink)

For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

This paper argues for externalism about justification on the basis of thought experiments. I present cases in which two individuals are intrinsically and introspectively indistinguishable and in which intuitively, one is justified in believing that p while the other is not. I also examine an argument for internalism based on the ideas that we have privileged access to whether or not our own beliefs are justified and that only internalism is compatible with this privilege. I isolate what I take to (...) be the most plausible form of privileged access to justification and show that it is compatible with externalism. (shrink)

According to G.E.M. Anscombe, an agent’s knowledge of his own intentional actions differs from his knowledge of his unintended behaviors as well as the knowledge others can have of what he intentionally does, in being secured “without observation”. I begin by posing a problem for any conception of this theory according to which non-observational knowledge must be independent of sense-perception, and criticize several recent attempts to get around the problem. Having done this, I develop an alternative account of non-observational knowledge (...) according to which its special character consists in the particular causal role of an agent’s self-awareness in bringing his intentional actions about. (shrink)

This paper critically evaluates the regress argument for infinitism. The dialectic is essentially this. Peter Klein argues that only an infinitist can, without being dogmatic, enhance the credibility of a questioned non-evident proposition. In response, I demonstrate that a foundationalist can do this equally well. Furthermore, I explain how foundationalism can provide for infinite chains of justification. I conclude that the regress argument for infinitism should not convince us.

Ever since Darwin people have worried about the sceptical implications of evolution. If our minds are products of evolution like those of other animals, why suppose that the beliefs they produce are true, rather than merely useful? We consider this problem for beliefs in three different domains: religion, morality, and commonsense and scientific claims about matters of empirical fact. We identify replies to evolutionary scepticism that work in some domains but not in others. One reply is that evolution can be (...) expected to design systems that produce true beliefs in some domain. This reply works for commonsense beliefs and can be extended to scientific beliefs. But it does not work for moral or religious beliefs. An alternative reply which has been used defend moral beliefs is that their truth does not consist in their tracking some external state of affairs. Whether or not it is successful in the case of moral beliefs, this reply is less plausible for religious beliefs. So religious beliefs emerge as particularly vulnerable to evolutionary debunking. (shrink)

According to anti-atomism, we represent color properties (e.g., red) in virtue of representing color relations (e.g., redder than). I motivate anti-atomism with a puzzle involving a series of pairwise indistinguishable chips. I then develop two versions of anti-atomism.

The evolution of life on Earth has produced an organism that is beginning to model and understand its own evolution and the possible future evolution of life in the universe. These models and associated evidence show that evolution on Earth has a trajectory. The scale over which living processes are organized cooperatively has increased progressively, as has its evolvability. Recent theoretical advances raise the possibility that this trajectory is itself part of a wider developmental process. According to these theories, the (...) developmental process has been shaped by a yet larger evolutionary dynamic that involves the reproduction of universes. This evolutionary dynamic has tuned the key parameters of the universe to increase the likelihood that life will emerge and produce outcomes that are successful in the larger process (e.g. a key outcome may be to produce life and intelligence that intentionally reproduces the universe and tunes the parameters of ‘offspring’ universes). Theory suggests that when life emerges on a planet, it moves along this trajectory of its own accord. However, at a particular point evolution will continue to advance only if organisms emerge that decide to advance the developmental process intentionally. The organisms must be prepared to make this commitment even though the ultimate nature and destination of the process is uncertain, and may forever remain unknown. Organisms that complete this transition to intentional evolution will drive the further development of life and intelligence in the universe. Humanity’s increasing understanding of the evolution of life in the universe is rapidly bringing it to the threshold of this major evolutionary transition. (shrink)

One innovation in this paper is its identification, analysis, and description of a troubling ambiguity in the word ‘argument’. In one sense ‘argument’ denotes a premise-conclusion argument: a two-part system composed of a set of sentences—the premises—and a single sentence—the conclusion. In another sense it denotes a premise-conclusion-mediation argument—later called an argumentation: a three-part system composed of a set of sentences—the premises—a single sentence—the conclusion—and complex of sentences—the mediation. The latter is often intended to show that the conclusion follows from (...) the premises. The complementarity and interrelation of premise-conclusion arguments and premise-conclusion-mediation arguments resonate throughout the rest of the paper which articulates the conceptual structure found in logic from Aristotle to Tarski. This 1972 paper can be seen as anticipating Corcoran’s signature work: the more widely read 1989 paper, Argumentations and Logic, Argumentation 3, 17–43. MR91b:03006. The 1972 paper was translated into Portuguese. The 1989 paper was translated into Spanish, Portuguese, and Persian. (shrink)

As a topic in the philosophy of psychology, dreaming is a fascinating, diverse, and severely underdeveloped area of study. The topic excites intense public interest in its own right, while also challenging our confidence that we know what the words “conscious” and “consciousness” mean. So dreaming should be at the forefront of our interdisciplinary investigations: theories of mind which fail to address the topic are incomplete. This chapter illustrates the tight links between conceptual and empirical issues by highlighting surprisingly deep (...) disagreements among leading dream scientists over what might seem basic aspects of their topic. (shrink)

A viable theory of literary humanism must do justice to the idea that literature offers cognitive rewards to the careful reader. There are, however, powerful arguments to the effect that literature is at best only capable of offering idle visions of a world already well known. In this essay I argue that there is a form of cognitive awareness left unmentioned in the traditional vocabulary of knowledge acquisition, a form of awareness literature is particularly capable of offering. Thus even if (...) it is the case that literature has nothing interesting to give us in the way of knowledge, the literary humanist can consistently maintain that literary experience is thoroughly cognitive. (shrink)

This study concerns logical systems considered as theories. By searching for the problems which the traditionally given systems may reasonably be intended to solve, we clarify the rationales for the adequacy criteria commonly applied to logical systems. From this point of view there appear to be three basic types of logical systems: those concerned with logical truth; those concerned with logical truth and with logical consequence; and those concerned with deduction per se as well as with logical truth and logical (...) consequence. Adequacy criteria for systems of the first two types include: effectiveness, soundness, completeness, Post completeness, "strong soundness" and strong completeness. Consideration of a logical system as a theory of deduction leads us to attempt to formulate two adequacy criteria for systems of proofs. The first deals with the concept of rigor or "gaplessness" in proofs. The second is a completeness condition for a system of proofs. An historical note at the end of the paper suggests a remarkable parallel between the above hierarchy of systems and the actual historical development of this area of logic. (shrink)

Conception and causation are fundamental notions in Spinoza's metaphysics. I argue against the orthodox view that, due to the causal axiom, if one thing is conceived through another thing, then the second thing causes the first thing. My conclusion forces us to rethink Spinoza's entitlement to some of his core commitments, including the principle of sufficient reason, the parallelism doctrine and the conatus doctrine.

A concrete proposal is presented as to how semantics should be naturalized. Rather than attempting to naturalize propositions, they are treated as abstract entities that index concrete cognitive states. In turn the relevant concrete cognitive states are identified via perceptual classifications of worldly states, with the aid of an interactive theory of perception. The approach enables a broadly realist theory of propositions, truth and cognitive states to be preserved, with propositions functioning much as abstract mathematical constructs do in the nonsemantic (...) sciences, but with a much more specific propositional indexing scheme than previous naturalistic proposals were able to achieve. (shrink)

It is often assumed that literary meaning is essentially linguistic in nature and that literary interpretation is therefore a purely linguistic affair. This essay identifies a variety of literary meaning that cannot be reduced to linguistic meaning. Meaning of this sort is generated not by a communicative act so much as through a creative one: the construction of a fictional world. The way in which a fictional world can bear meaning turns out to be strikingly unlike the way a sentence (...) can, and this, I argue, has important implications for the theory of interpretation. (shrink)

The idea that education should equip people to lead flourishing lives and help others to do so is now becoming salient in policy-making circles. Philosophy of education can help here by clarifying what flourishing consists in. This essay examines one aspect of this. It rejects the view that well-being goods are derivable from human nature, as in the theories of Howard Gardner and Edmond Holmes. It locates them, rather, as cultural products, but not culturally-relative ones, drawing attention to the proliferating (...) forms they have taken over the past three or four centuries. It looks to aesthetics and art criticism as a guide to a philosophical treatment of well-being goods more generally. It also takes off from aesthetics and art criticism in seeking to identify reliable authorities on the flourishing life. On this, it rejects elitist conceptions in favour of a more democratic model, emphasising its importance in education for citizenship. (shrink)

A plausible thought about vagueness is that it involves semantic incompleteness. To say that a predicate is vague is to say (at the very least) that its extension is incompletely specified. Where there is incomplete specification of extension there is indeterminacy, an indeterminacy between various ways in which the specification of the predicate might be completed or sharpened. In this paper we show that this idea is bound to founder by presenting an argument to the effect that there are vague (...) predicates which cannot be sharpened in such a way as to meet certain basic constraints (of penumbral connection and public accessibility) that must be imposed on the very notion of a sharpening. (shrink)

I propose a distinction between design intentions, activities and products, as opposed to artistic intentions, activities and artworks. Examples of design products would include a specific type of car (or any other invention or device) as well as closer relatives of art such as decorative wall designs. In order to distinguish artistic from design intentions, I present an example in which two sculptors independently work on a single object to produce two sculptures, which are distinct just because the artistic intentions (...) of the sculptors are distinct. This case is then contrasted with an attempted parallel example for design intentions, which fails to produce two correspondingly distinct design products in spite of the different design intentions of its designers. I argue that this failure occurs because designs are types, for which any single token of a given type could not simultaneously be a token of some other type of the same general kind; whereas the possibility of my sculptural 'double artwork' example shows that such artworks cannot be types. I then further investigate the concept of a design, and conclude by arguing that an extension of my sculptural example shows that literary artworks also cannot be types. (shrink)

Worrall argued that structural realism provides a ‘synthesis’ of the main pro-realist argument – the ‘No Miracles Argument’, and the main anti-realist argument – the ‘Pessimistic Induction’. More recently, however, it has been claimed that each of these arguments is an instance of the same probabilistic fallacy – sometimes called the ‘base-rate fallacy’. If correct, this clearly seems to undermine structural realism and Magnus and Callender have indeed claimed that both arguments are fallacious and ‘without [them] we lose the rationale (...) for … structural realism ’. I here argue that what have been shown to be fallacious are simply misguided formalisations of ‘the’ arguments and that when they are properly construed they continue to provide powerful motivation for favouring structural realism. (shrink)