In lieu of an abstract, here is a brief excerpt of the content:“Garrulus sum et loquax et expedire nescio. Diu te tenui in istis, sed de cetero procedam.” These are the words of Richard Rufus of Cornwall, a thirteenth-century Scholastic and lecturer at the Universities of Paris and Oxford. Rufus is apologizing to his readers: “I am garrulous and loquacious, and I don’t know how to be efficient. I have detained you with these things a long while, but let me (...) now proceed to another topic.” This apology introduces the third part of the Speculum animae, a preliminary modern edition of which we publish here. In this short treatise, Rufus presents a unique Aristotelian theory of perception, describes what is and is not intelligible, and finally proves to his own satisfaction the immortality of the rational soul. To us this would hardly seem the place to apologize for being long-winded; indeed, we might wonder how Rufus could accomplish such an ambitious task in such a short treatise. We would certainly not accuse him of excessive verbosity. But Rufus was a man of exceptional humility, who once referred to himself as the least of the lesser thinkers of his time.1Despite Rufus’s humility, he was no minor figure in the development of Scholastic philosophy. A teacher at the Universities of Paris and Oxford ,2 he is the author of the earliest known, surviving lectures on several of Aristotle’s major texts, including the Metaphysics, the Physics, De generatione et corruptione, and De anima3 . In fact, Rufus was one of the very first lecturers to teach the libri naturales at Paris after a ban on such instruction was effectively lifted in 1231 A.D. His works were influential not only among his contemporaries, but also among later authors, particularly John Duns Scotus. Roger Bacon, though a harsh critic of Rufus, acknowledged Rufus’s influence and fame decades after his death, albeit among what Bacon termed the “vulgar multitude.”4The Speculum animae is one of Rufus’s later works. He begins the treatise by posing the following question: “In what way is the soul all things?” This refers, of course, to a familiar doctrine Aristotle establishes in the De anima—that the soul is, in some way, all things —and Rufus is here seeking to clarify it. But this is, in fact, only the first of five questions addressed in the Speculum. The five questions Rufus posits and answers in this treatise are, in order:1. In what manner is the soul all things?2. In what manner do a sensible and the sense, or an intelligible and the possible intellect, become one?3. What is predicated and of what is it predicated?4. What is intelligible?5. What is the cause of the immortality of the soul?In this short work, therefore, Rufus addresses apparently diverse topics including perception, understanding, logic, and the nature of the soul. But, in fact, the Speculum is principally a summary of Rufus’s theory of human perception and understanding. Like other medieval theories of perception and understanding, Rufus’s theory centers around the notion of species, a kind of form that is received in the soul when a person senses something or grasps something intellectually.5 In this, and in other aspects of the theory, Rufus was heavily dependent on Aristotle and St. Augustine. Rufus was working in a philosophical tradition based on Aristotle’s categories that had been accepted for centuries in the West. But in his lifetime, the Aristotelian corpus was enlarged to include Aristotle’s psychology and more generally his natural philosophy and metaphysics, together with the commentaries of Averroës . As is well known, this philosophical tradition was respected and continued not just by Rufus but by many authors after his time.So what makes Rufus’s theory.. (shrink)

An account of validity that makes what is invalid conditional on how many individuals there are is what I call a conditional account of validity. Here I defend conditional accounts against a criticism derived from Etchemendy’s well-known criticism of the model-theoretic analysis of validity. The criticism is essentially that knowledge of the size of the universe is non-logical and so by making knowledge of the extension of validity depend on knowledge of how many individuals there are, conditional accounts fail (...) to reflect that the former knowledge is basic, i.e., independent of knowledge derived from other sciences. Appealing to Russell’s pre-Principia logic, I defend conditional accounts against this criticism by sketching a rationale for thinking that there are infinitely many logical objects. (shrink)

Of course we all know now that mathematics has proved that logic doesn't really make sense, but Etchemendy (philosophy, Stanford Univ.) goes further and challenges the received view of the conceptual underpinnings of modern logic by arguing that Tarski's model-theoretic analysis of logical consequences is wrong. He may have found the soft underbelly of the dead horse. Annotation copyrighted by Book News, Inc., Portland, OR.

Bringing together powerful new tools from set theory and the philosophy of language, this book proposes a solution to one of the few unresolved paradoxes from antiquity, the Paradox of the Liar. Treating truth as a property of propositions, not sentences, the authors model two distinct conceptions of propositions: one based on the standard notion used by Bertrand Russell, among others, and the other based on J.L. Austin's work on truth. Comparing these two accounts, the authors show that while the (...) Russellian conception of the relation between sentences, propositions, and truth is crucially flawed in limiting cases, the Austinian perspective has fruitful applications to the analysis of semantic paradox. In the course of their study of a language admitting circular reference and containing its own truth predicate, Barwise and Etchemendy also develop a wide range of model-theoretic techniques--based on a new set-theoretic tool, Peter Aczel's theory of hypersets--that open up new avenues in logical and formal semantics. (shrink)

The shift from state-led import-substitution industrialization to more market-oriented economic models often has the result of shrinking and demobilizing the labor movement. Yet, evidence from Argentina suggests that a subsequent resurgence of even a downsized labor movement may occur and furthermore that a type of “segmented neocorporatism” may be established in the new economic context. We argue that the establishment of this new form of interest intermediation is driven by economic and political factors that are both immediate and longer term. (...) In addition to the short-term condition of the labor market and the political strategy of the government in power, of longer-term importance are structural and institutional conditions that derive from the earlier process of market reform, specifically the nature of sectoral shifts in the economy and the degree of labor law deregulation affecting the “associational power” of unions. (shrink)

Covers first-order language in method appropriate for first and second courses in logic. CD-ROM consists of a new book, 3 programs,and an Internet-based grading service.

Hyperproof is a system for learning the principles of analytical reasoning and proof construction, consisting of a text and a Macintosh software program. Unlike traditional treatments of first-order logic, Hyperproof combines graphical and sentential information, presenting a set of logical rules for integrating these different forms of information. This strategy allows students to focus on the information content of proofs, rather than the syntactic structure of sentences. Using Hyperproof the student learns to construct proofs of both consequence and nonconsequence using (...) an intuitive proof system that extends the standard set of sentential rules to incorporate information represented graphically. Hyperproof is compatible with various natural-deduction-style proof systems, including the system used in the authors' Language of First-Order Logic. (shrink)

The Language of First-Order Logic is a complete introduction to first-order symbolic logic, consisting of a computer program and a text. The program, an aid to learning and using symbolic notation, allows one to construct symbolic sentences and possible worlds, and verify that a sentence is well formed. The truth or falsity of a sentence can be determined by playing a deductive game with the computer.

This book is intended, along with the computer program, to introduce the user to some of the most important concepts and tools of logic, including learning a new computer language.

This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics. The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more systematic and accessible (...) fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates to a first graduate logic course. The package includes four pieces of software: Tarski's World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics; Fitch, a natural deduction proof environment for giving and checking first-order proofs; Boole, a program that facilitates the construction and checking of truth tables and related notions ; Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service. Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems. Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu. The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable. (shrink)

Tarski's World 3.0 is an innovative and enjoyable way to introduce your students to the language of first-order logic. Using this program, students quickly master the meaning of the connectives and quantifiers, and soon become fluent in the symbolic language at the core of modern logic. Tarski's World allows the students to build three-dimensional worlds and describe them in first-order logic. They evaluate the sentences in the constructed worlds, and if their evaluation is incorrect, the program provides them with a (...) game that leads them to understand where they went wrong. The package is intended as a supplement to any standard logic text, or for use by anyone who wants to learn the language. The disk and manual contain over a hundred exercises from very basic to highly sophisticated. (shrink)

Turing's World is a self-contained introduction to Turing machines, one of the fundamental notions of logic and computer science. The text and accompanying diskette allow the user to design, debug, and run sophisticated Turing machines in a graphical environment on the Macintosh. Turning's World introduces users to the key concpets in computability theory through a sequence of over 100 exercises and projects. Within minutes, users learn to build simple Turing machines using a convenient package of graphical functions. Exercises then progress (...) through a significant portion of elementary computability theory, covering such topics as the Halting problem, the Busy Beaver function, recursive functions, and undecidability. Version 3.0 is an extensive revision and enhancement of earlier releases of the program, allowing the construction of one-way and two-way finite state machines (finite automata), as well as nondeterministic Turing and finite-state machines. Special exercises allow users to explore these alternative machines. (shrink)

Emotions and bodily feelings -- Existential feelings -- The phenomenology of touch -- Body and world -- Feeling and belief in the Capgras delusion -- Feelings of deadness and depersonalization -- Existential feeling in schizophrenia -- What William James really said -- Stance, feeling, and belief -- Pathologies of existential feeling.

The Logical Reasoning with Diagrams and Sentences courseware package teaches the principles of analytical reasoning and proof construction using a carefully crafted combination of textbook, desktop, and online materials. This package is sure to be an essential resource in a range of courses incorporating logical reasoning, including formal linguistics, philosophy, mathematics, and computer science. Unlike traditional formal treatments of reasoning, this package uses both graphical and sentential representations to reflect common situations in everyday reasoning where information is expressed in many (...) forms, such as finding your way to a location using a map and an address. It also teaches students how to construct and check the logical validity of a variety of proofs--of consequence and non-consequence, consistency and inconsistency, and independence--using an intuitive proof system which extends standard proof treatments with sentential, graphical, and heterogeneous inference rules, allowing students to focus on proof content rather than syntactic structure. Building upon the widely used Tarski's World and Language, Proof and Logic courseware packages, Logical Reasoning with Diagrams and Sentences contains more than three hundred exercises, most of which can be assessed by the Grade Grinder online assessment service; is supported by an extensive website through which students and instructors can access online video lectures by the authors; and allows instructors to create their own exercises and assess their students' work. Logical Reasoning with Diagrams and Sentences is an expanded revision of the Hyperproof courseware package. (shrink)

The Uniqueness Thesis holds, roughly speaking, that there is a unique rational response to any particular body of evidence. We first sketch some varieties of Uniqueness that appear in the literature. We then discuss some popular views that conflict with Uniqueness and others that require Uniqueness to be true. We then examine some arguments that have been presented in its favor and discuss why permissivists find them unconvincing. Last, we present some purported counterexamples that have been raised against Uniqueness and (...) discuss some possible reasons why proponents of Uniqueness might find these similarly unconvincing. (shrink)

Conspiracy theories are often portrayed as unwarranted beliefs, typically supported by suspicious kinds of evidence. Yet contemporary work in Philosophy argues provisional belief in conspiracy theories is at the very least understandable---because conspiracies occur---and that if we take an evidential approach, judging individual conspiracy theories on their particular merits, belief in such theories turns out to be warranted in a range of cases. -/- Drawing on this work, I examine the kinds of evidence typically associated with conspiracy theories, and show (...) how the so-called evidential problems with conspiracy theories are also problems for the kinds of evidence put forward in support of other theories. As such, if there is a problem with the conspiracy theorist's use of evidence, it is one of principle: is the principle which guides the conspiracy theorist's use of evidence somehow in error? I argue that whatever we might think about conspiracy theories generally, there is no prima facie case for a scepticism of conspiracy theories based purely on their use of evidence. (shrink)

Surprisingly little has been written about hedged assertion. Linguists often focus on semantic or syntactic theorizing about, for example, grammatical evidentials or epistemic modals, but pay far less attention to what hedging does at the level of action. By contrast, philosophers have focused extensively on normative issues regarding what epistemic position is required for proper assertion, yet they have almost exclusively considered unqualified declaratives. This essay considers the linguistic and normative issues side-by-side. We aim to bring some order and clarity (...) to thinking about hedging, so as to illuminate aspects of interest to both linguists and philosophers. In particular, we consider three broad questions. 1) The structural question: when one hedges, what is the speaker’s commitment weakened from? 2) The functional question: what is the best way to understand how a hedge weakens? And 3) the taxonomic question: are hedged assertions genuine assertions, another speech act, or what? (shrink)

I argue that a variety of influential accounts of self-knowledge are flawed by the assumption that all immediate, authoritative knowledge of our own present mental states is of one basic kind. I claim, on the contrary, that a satisfactory account of self-knowledge must recognize at least two fundamentally different kinds of self-knowledge: an active kind through which we know our own judgments, and a passive kind through which we know our sensations. I show that the former kind of self-knowledge is (...) in an important sense fundamental, since it is intimately connected with the very capacity for rational reflection, and since it must be present in any creature that understands the first-person pronoun. Moreover, I suggest that these thoughts about self-knowledge have a Kantian provenance. (shrink)

Hope, in its propositional construction "I hope that p," is compatible with a stated chance for the speaker that not-p. On fallibilist construals of knowledge, knowledge is compatible with a chance of being wrong, such that one can know that p even though there is an epistemic chance for one that not-p. But self-ascriptions of propositional hope that p seem to be incompatible, in some sense, with self-ascriptions of knowing whether p. Data from conjoining hope self-ascription with outright assertions, with (...) first- and third-person knowledge ascriptions, and with factive predicates suggest a problem: when combined with a plausible principle on the rationality of hope, they suggest that fallibilism is false. By contrast, the infallibilist about knowledge can straightforwardly explain why knowledge would be incompatible with hope, and can offer a simple and unified explanation of all the linguistic data introduced here. This suggests that fallibilists bear an explanatory burden which has been hitherto overlooked. (shrink)

This paper draws a distinction between ‘right MacIntyreans’ who are relatively optimistic that MacIntyre’s vision of ethics can be realised in capitalist society, and ‘left MacIntyreans’ who are sceptical about this possibility, and aims to show that the ‘left MacIntyrean’ position is a promising perspective available to business ethicists. It does so by arguing for a distinction between ‘community-focused’ practices and ‘excellence-focused’ practices. The latter concept fulfils the promise of practices to provide us with an understanding of the best work (...) for humankind and highlights the affinities between MacIntyre’s concept of a practice and Marx’s conception of good work as free, creative activity. The paper concludes with a suggestion that we reflect on the best forms of work so that we can strive to ensure the very best activities, those most consonant with our flourishing, one day become available to all. (shrink)

Assertion is governed by an epistemic norm requiring knowledge. This idea has been hotly debated in recent years, garnering attention in epistemology, philosophy of language, and linguistics. This chapter presents and extends the main arguments in favor of the knowledge norm, from faulty conjunctions, several conversational patterns, judgments of permission, excuse, and blame, and from showing how. (Paired with a chapter by Peter J. Graham and Nikolaj J. L. L. Pedersen, "Knowledge is Not Our Norm of Assertion.").

How we understand the nature and role of grief depends on what we take its object to be and vice versa. This paper focuses on recent claims by philosophers that grief is frequently or even inherently irrational or inappropriate in one or another respect, all of which hinge on assumptions concerning the proper object of grief. By emphasizing the temporally extended structure of grief, we offer an alternative account of its object that undermines these assumptions and dissolves the apparent problems. (...) The principal object of grief, we suggest, is a loss of life possibilities, which is experienced, understood, and engaged with over a prolonged period. Other descriptions of grief's object identify more specific aspects of this loss in ways that do not respect a straightforward distinction between concrete and formal objects. (shrink)

Combining philosophy of art with film criticism, Strohl flips conventional notions of good and bad on their heads and makes the case that the ultimate value of a work of art lies in what it can add to our lives. By this measure, some of the worst movies ever made are also among the best.

This paper addresses the phenomenology of hopelessness. I distinguish two broad kinds of predicament that are easily confused: ‘loss of hopes’ and ‘loss of hope’. I argue that not all hope can be characterised as an intentional state of the form ‘I hope that p’. It is possible to lose all hopes of that kind and yet retain another kind of hope. The hope that remains is not an intentional state or a non-intentional bodily feeling. Rather, it is a ‘pre-intentional’ (...) orientation or ‘existential feeling’, by which I mean something in the context of which certain kinds of intentional state, including intentional hope, are intelligible. I go on to discuss severe depression, lack of aspiration, demoralisation and loss of trust in the world, in order to distinguish some qualitatively different forms that loss of hope can take. (shrink)

Various claims have been made concerning the role of narrative in grief. In this paper, we emphasize the need for a discerning approach, which acknowledges that narratives of different kinds relate to grief in different ways. We focus specifically on the positive contributions that narrative can make to sustaining, restoring and revising a sense of who one is. We argue that, although it is right to suggest that narratives provide structure and coherence, they also play a complementary role in disrupting (...) established structure and opening up new possibilities. We add that both of these roles point to the importance of interpersonal, social and cultural factors in shaping the trajectory of grief. We conclude by briefly considering the implications for distinguishing between typical and pathological forms of grief. (shrink)

This paper shows how phenomenological research can enhance our understanding of what it is to experience grief. I focus specifically on themes in the work of Maurice Merleau‐Ponty, in order to develop an account that emphasizes two importantly different ways of experiencing indeterminacy. This casts light on features of grief that are disorienting and difficult to describe, while also making explicit an aspect of experience upon which the possibility of phenomenological inquiry itself depends.

During the past several decades, political philosophers have frequently clashed with one another over the question whether governments are morally required to remain neutral among reasonable conceptions of excellence and human flourishing. Whereas the numerous followers of John Rawls have maintained that a requirement of neutrality is indeed incumbent on every system of governance, other philosophers -- often designated as 'perfectionists' -- have argued against the existence of such a requirement. Liberalism with Excellence enters these debates not by plighting itself (...) unequivocally to one side or the other, but instead by reconceiving each of the sides and thus by redirecting the debates that have occurred between them. On the one hand, the book rejects the requirement of neutrality by contending that certain subsidies for the promotion of excellence in sundry areas of human endeavour can be proper and vital uses of resources by governments. Advocating such departures from the constraint of neutrality, the book presents a version of liberalism that can rightly be classified as 'perfectionist'. On the other hand, the species of perfectionism espoused in Liberalism with Excellence diverges markedly from the theories that have usually been so classified. Indeed, much of the book assails various aspects of those theories. What is more, the aspirational perfectionism elaborated in the closing chapters of the volume is reconcilable in most key respects with a suitably amplified version of Rawlsianism. Hence, by reconceiving both the perfectionist side and the neutralist side of the prevailing disputation, Liberalism with Excellence combines and transforms their respective insights. (shrink)

There has been much recent philosophical discussion concerning the relationship between emotion and feeling. However, everyday talk of 'feeling' is not restricted to emotional feeling and the current emphasis on emotions has led to a neglect of other kinds of feeling. These include feelings of homeliness, belonging, separation, unfamiliarity, power, control, being part of something, being at one with nature and 'being there'. Such feelings are perhaps not 'emotional'. However, I suggest here that they do form a distinctive group; all (...) of them are ways of 'finding ourselves in the world'. Indeed, our sense that there is a world and that we are 'in it' is, I suggest, constituted by feeling. I offer an analysis of what such 'existential feelings' consist of, showing how they can be both 'bodily feelings' and, at the same time, part of the structure of intentionality. (shrink)

This paper addresses the “creeping minimalism” challenge to quasi-realist forms of expressivism by arguing that the solution suggested by Dreier doesn’t work and proposing an alternative solution based on the different inferential roles of ethical and descriptive judgments.

MacIntyre argues that management embodies emotivism, and thus is inherently amoral and manipulative. His claim that management is necessarily Weberian is, at best, outdated, and the notion that management aims to be neutral and value free is incorrect. However, new forms of management, and in particular the increased emphasis on leadership which emerged after MacIntyre’s critique was published, tend to support his central charge. Indeed, charismatic and transformational forms of leadership seem to embody emotivism to a greater degree than do (...) more Weberian, bureaucratic forms of management; hence, MacIntyre’s central contention about our emotivistic culture seems to be well founded. Having criticised the details but defended the essence of MacIntyre’s critique of management, this paper sketches a MacIntyrean approach to management and leadership by highlighting the affinities between MacIntyre’s political philosophy and Greenleaf’s concept of servant leadership. (shrink)

Grief is often thought of as an emotional response to the death of someone we love. However, the term “grief” is also used when referring to losses of various other kinds, as with grief over illness, injury, unemployment, diminished abilities, relationship breakups, or loss of significant personal possessions. Complementing such uses, we propose that grief over a bereavement and other experiences of loss share a common phenomenological structure: one experiences the loss of certain possibilities that were integral to—and perhaps central (...) to—the unfolding structure of one’s life. Grief can thus be conceived of in a broad but still univocal way. To develop this position, we focus on the example of grief over involuntary childlessness, where lack of a concrete, historical object of emotion serves to make explicit the way in which grief concerns future possibilities. We go on to suggest that the phenomenological complexity, diversity, and prevalence of grief are obscured when approached via an abstract, simplified conception of bereavement. -/- . (shrink)

What is the relationship between lying, belief, and knowledge? Prominent accounts of lying define it in terms of belief, namely telling someone something one believes to be false, often with the intent to deceive. This paper develops a novel account of lying by deriving evaluative dimensions of responsibility from the knowledge norm of assertion. Lies are best understood as special cases of vicious assertion; lying is the anti-paradigm of proper assertion. This enables an account of lying in terms of knowledge: (...) roughly, lying is telling someone something you know ain't so. (shrink)

This text/courseware package presents a new approach to teaching first-order logic. Taking advantage of Tarski's World 4.0, the text skilfully balances the semantic conception of logic with methods of proof. The book contains eleven chapters, in four parts. Part I is about propositional logic, Part II about quantifier logic. Part III contains chapters on set theory and inductive definitions. Part IV contains advanced topics in logic, including topics of importance in applications of logic in computer science. The Language of First-order (...) Logic contains hundreds of problems and exercises for the user to work through. (shrink)

In this article, I consider the neglected question of justice between states in the distribution of responsibility for refugees. I argue that a just distribution of refugees across states is an important normative goal and, accordingly, I attempt to rethink the normative foundations of the global refugee regime. I show that because dismantling the restrictive measures currently used by states in the global South to prevent the arrival of refugees will not suffice to ensure a just distribution of refugees between (...) states, a more detailed account of how responsibilities should be shared between states is required. To this end, I make three claims. First, I argue that the definition of ‘refugee’ must be broadened beyond those subjected to persecution to include harms of action or omission by states that seriously jeopardise personal security or subsistence needs. Second, I argue that allocating a fair share of refugees to states should be based on state’s integrative capacities. Finally, I argue that distributive justice between states must be balanced against the legitimate interests of refugees in their destination country and the duty of states to ensure they are settled in places where they are likely to flourish. (shrink)

In this paper, I make explicit some implicit commitments to realism and conceptualism in recent work in social epistemology exemplified by Miranda Fricker and Charles Mills. I offer a survey of recent writings at the intersection of social epistemology, feminism, and critical race theory, showing that commitments to realism and conceptualism are at once implied yet undertheorized in the existing literature. I go on to offer an explicit defense of these commitments by drawing from the epistemological framework of John McDowell, (...) demonstrating the relevance of the metaphor of the “space of reasons” for theorizing and criticizing instances of epistemic injustice. I then point out how McDowell’s own view requires expansion and revision in light of Mills' concept of 'epistemologies of ignorance'. I conclude that, when their strengths are used to make up for each others' weaknesses, Mills and McDowell’s positions mutually reinforce one another, producing a powerful model for theorizing instances of systematic ignorance and false belief. (shrink)