During the academic year 1940-1941, several giants of analytic philosophy congregated at Harvard, holding regular private meetings, with Carnap, Tarski, and Quine. Carnap, Tarski, and Quine at Harvard allows the reader to act as a fly on the wall for their conversations. Carnap took detailed notes during his year at Harvard. This book includes both a German transcription of these shorthand notes and an English translation in the appendix section. Carnap’s notes cover a wide range of topics, but surprisingly, the (...) most prominent question is: If the number of physical items in the universe is finite, what form should scientific discourse take? This question is closely connected to an abiding philosophical problem: What is the relationship between the logico-mathematical realm and the material realm? Carnap, Tarski, and Quine’s attempts to answer this question involve issues central to philosophy today.This book focuses on three such issues: nominalism, the unity of science, and analyticity. In short, the book reconstructs the lines of argument represented in these Harvard discussions, discusses their historical significance (especially Quine’s break from Carnap), and relates them when possible to contemporary treatments of these issues. (shrink)

I argue that a certain type of naturalist should not accept a prominent version of the no-miracles argument (NMA). First, scientists (usually) do not accept explanations whose explanans-statements neither generate novel predictions nor unify apparently disparate established claims. Second, scientific realism (as it appears in the NMA) is an explanans that makes no new predictions and fails to unify disparate established claims. Third, many proponents of the NMA explicitly adopt a naturalism that forbids philosophy of science from using any methods (...) not employed by science itself. Therefore, such naturalistic philosophers of science should not accept the version of scientific realism that appears in the NMA. (shrink)

The Pessimistic Induction over the history of science argues that because most past theories considered empirically successful in their time turn out to be not even approximately true, most present ones probably aren’t approximately true either. But why did past scientists accept those incorrect theories? Kyle Stanford’s ‘Problem of Unconceived Alternatives’ is one answer to that question: scientists are bad at exhausting the space of plausible hypotheses to explain the evidence available to them. Here, I offer another answer, which I (...) call the ‘Problem of Misleading Evidence.’ I argue that this proposal is, in important respects, superior to Stanford’s. (shrink)

Suppose one believes that the historical record of discarded scientific theories provides good evidence against scientific realism. Should one adopt Kyle Stanford’s specific version of this view, based on the Problem of Unconceived Alternatives? I present reasons for answering this question in the negative. In particular, Stanford’s challenge cannot use many of the prima facie strongest pieces of historical evidence against realism, namely: superseded theories whose successors were explicitly conceived, and superseded theories that were not the result of elimination-of-alternatives inferences. (...) Attempts to accommodate and within Stanford’s framework are incompatible with other commitments Stanford holds, such as anti-realism being piecemeal instead of global. As separate lines of criticism, I argue that there are problems with Stanford’s claim that the PUA is the most important challenge to realism, and with his view of instrumentalist theory endorsement. (shrink)

Scientific anti-realists who appeal to the pessimistic induction (PI) claim that the theoretical terms of past scientific theories often fail to refer to anything. But on standard views in philosophy of language, such reference failures prima facie lead to certain sentences being neither true nor false. Thus, if these standard views are correct, then the conclusion of the PI should be that significant chunks of current theories are truth-valueless. But that is semantic anti-realism about scientific discourse—a position most philosophers of (...) science, anti-realists included, consider anathema today. Therefore, proponents of the PI confront a dilemma: either accept semantic anti-realism or reject common semantic views. I examine strategies (with particular emphasis on supervaluations) for the PI proponent to either lessen the sting of this argument, or learn to live with it. 1 Introduction2 Designation Failure 2.1 Designation failure leads to truth-valueless sentences2.1.1 Direct reference theory2.1.2 Fregeanism2.1.3 Accounts of reference-fixing: why ‘phlogiston’ fails to designate 2.2 Objection: sentences exhibiting designation failure are false not truth-valueless 2.3 Avoiding truth-valuelessness via controversial semantic positions3 What to do? Closing the Gaps4 Conclusion. (shrink)

Recent scholarship indicates that Quine’s “Truth by Convention” does not present the radical critiques of analytic truth found fifteen years later in “Two Dogmas of Empiricism.” This prompts a historical question: what caused Quine’s radicalization? I argue that two crucial components of Quine’s development can be traced to the academic year 1940–1941, when he, Russell, Carnap, Tarski, Hempel, and Goodman were all at Harvard together. First, during those meetings, Quine recognizes that Carnap has abandoned the extensional, syntactic approach to philosophical (...) analysis, an approach espoused in Carnap’s 1934 Logical Syntax of Language, and which Quine endorsed his entire career. Second, Tarski presents Quine with a philosophically well-motivated reason to think that an apparently analytic discipline, arithmetic, could be synthetic; this reflects one of the central assertions found in “Two Dogmas” but not in “Truth by Convention.” I use this account of Quine’s development to resolve a dispute between Creath and Mancosu concerning the timeline for Quine’s evolving critiques of analyticity. (shrink)

The underdetermination of theory by data obtains when, inescapably, evidence is insufficient to allow scientists to decide responsibly between rival theories. One response to would-be underdetermination is to deny that the rival theories are distinct theories at all, insisting instead that they are just different formulations of the same underlying theory; we call this the identical rivals response. An argument adapted from John Norton suggests that the response is presumptively always appropriate, while another from Larry Laudan and Jarrett Leplin suggests (...) that the response is never appropriate. Arguments from Einstein for the special and general theories of relativity may fruitfully be seen as instances of the identical rivals response; since Einstein’s arguments are generally accepted, the response is at least sometimes appropriate. But when is it appropriate? We attempt to steer a middle course between Norton’s view and that of Laudan and Leplin: the identical rivals response is appropriate when there is good reason for adopting a parsimonious ontology. Although in simple cases the identical rivals response need not involve any ontological difference between the theories, in actual scientific cases it typically requires treating apparent posits of the various theories as mere verbal ornaments or computational conveniences. Since these would-be posits are not now detectable, there is no perfectly reliable way to decide whether we should eliminate them or not. As such, there is no rule for deciding whether the identical rivals response is appropriate or not. Nevertheless, there are considerations that suggest for and against the response; we conclude by suggesting two of them. (shrink)

Many commentators on Alfred Tarski have, following Hartry Field, claimed that Tarski's truth-definition was motivated by physicalism—the doctrine that all facts, including semantic facts, must be reducible to physical facts. I claim, instead, that Tarski did not aim to reduce semantic facts to physical ones. Thus, Field's criticism that Tarski's truth-definition fails to fulfill physicalist ambitions does not reveal Tarski to be inconsistent, since Tarski's goal is not to vindicate physicalism. I argue that Tarski's only published remarks that speak approvingly (...) of physicalism were written in unusual circumstances: Tarski was likely attempting to appease an audience of physicalists that he viewed as hostile to his ideas. In later sections I develop positive accounts of: (1) Tarski's reduction of semantic concepts; (2) Tarski's motivation to develop formal semantics in the particular way he does; and (3) the role physicalism plays in Tarski's thought. (shrink)

The Pessimistic Induction (PI) states: most past scientific theories were radically mistaken; therefore, current theories are probably similarly mistaken. But mistaken in what way? On the usual understanding, such past theories are false. However, on widely held views about reference and presupposition, many theoretical claims of previous scientific theories are neither true nor false. And if substantial portions of past theories are truth-valueless, then the PI leads to semantic antirealism. But most current philosophers of science reject semantic antirealism. So PI (...) proponents face a difficult choice: accept either semantic antirealism or an unorthodox position on reference and presupposition. (shrink)

Confused terms appear to signify more than one entity. Carnap maintained that any putative name that is associated with more than one object in a relevant universe of discourse fails to be a genuine name. Although many philosophers have agreed with Carnap, they have not always agreed among themselves about the truth-values of atomic sentences containing such terms. Some hold that such atomic sentences are always false, and others claim they are always truth-valueless. Field maintained that confused terms can still (...) refer, albeit partially, and offered a supervaluational account of their semantic properties on which some atomic sentences with confused terms can be true. After outlining many of the most important theoretical considerations for and against various semantic theories for such terms, we report the results of a study designed to investigate which of these accounts best accords with the truth-value judgments of ordinary language users about sentences containing these terms. We found that naïve participants view confused names as capable of successfully referring to one or more objects. Thus, semantic theories that judge them to involve total reference failure do not comport well with patterns of ordinary usage. (shrink)

The logic of singular terms that refer to nothing, such as ‘Santa Claus,’ has been studied extensively under the heading of free logic. The present essay examines expressions whose reference is defective in a different way: they signify more than one entity. The bulk of the effort aims to develop an acceptable formal semantics based upon an intuitive idea introduced informally by Hartry Field and discussed by Joseph Camp; the basic strategy is to use supervaluations. This idea, as it stands, (...) encounters difficulties, but with suitable refinements it can be salvaged. Two other options for a formal semantics of multiply signifying terms are also presented, and I discuss the relative merits of the three semantics briefly. Finally, possible modifications to the standard logical regimentation of the notion of existence are considered. (shrink)

Many have tackled the question ‘What (if anything) is analytic philosophy?’ I will not attempt to answer this vexed question. Rather, I address a smaller, more manageable set of interrelated questions: first, when and how did people begin using the label ‘analytic philosophy’? Second, how did those who used this label understand it? Third, why did many philosophers we today classify as analytic initially resist being grouped together under the single category of ‘analytic philosophy’? Finally, for the first generation who (...) described themselves as analytic philosophers, what was their intended contrast class? Relatedly, when did ‘continental philosophy’ become the standard opposition? Some evidence I present justifies received answers to these questions; other evidence supports surprising and unorthodox answers to these questions. (shrink)

Alexander Rosenberg recently claimed (1997) that developmental biology is currently being reduced to molecular biology. cite several concrete biological examples that are intended to impugn Rosenberg's claim. I first argue that although Laubichler and Wagner's examples would refute a very strong reductionism, a more moderate reductionism would escape their attacks. Next, taking my cue from the antireductionist's perennial stress on the importance of spatial organization, I describe one form an empirical finding that refutes this moderate reductionism would take. Finally, I (...) point out an actual example, anterior-posterior axis determination in the chick, that challenges the reductionist's belief that all developmental regularities can be explained by molecular biology. In short, I argue that Rosenberg's position can be saved from Laubichler and Wagner's criticisms and putative counter-examples, but it would not survive a different kind of counter-example. (shrink)

Alfred Tarski was a nominalist. But he published almost nothing on his nominalist views, and until recently the only sources scholars had for studying Tarski’s nominalism were conversational reports from his friends and colleagues. However, a recently-discovered archival resource provides the most detailed information yet about Tarski’s nominalism. Tarski spent the academic year 1940-41 at Harvard, along with many of the leading lights of scientific philosophy: Carnap, Quine, Hempel, Goodman, and (for the fall semester) Russell. This group met frequently to (...) discuss logical and philosophical topics of shared interest. At these meetings, Carnap took dictation notes, which are now stored in the Archives of Scientific Philosophy. Interestingly, and somewhat surprisingly, the plurality of notes covers a proposal Tarski presents for a nominalist language of unified science. This chapter addresses the following questions about this project. What, precisely, is Tarski’s nominalist position? What rationales are given for Tarski’s nominalist stance—and are these rationales defensible? Finally, how is Tarskian nominalism of 1941 related to current nominalist projects? (shrink)

Two central and well-known philosophical goals of the logical empiricists are the unification of science and the elimination of metaphysics. I argue, via textual analysis, that these two apparently distinct planks of the logical empiricist party platform are actually intimately related. From the 1920’s through 1950, one abiding criterion for judging whether an apparently declarative assertion or descriptive term is metaphysical is that that assertion or term cannot be incorporated into a language of unified science. I explore various versions of (...) this criterion throughout the works of Carnap and Neurath. (shrink)

This document collects discussion and commentary on issues raised in the workshop by its participants. Contributors are: Greg Frost-Arnold, David Harker, P. D. Magnus, John Manchak, John D. Norton, J. Brian Pitts, Kyle Stanford, Dana Tulodziecki.

There are certain explanations that scientists do not accept, even though such explanations do not conflict with observation, logic, or other scientific theories. I argue that a common version of the no-miracles argument (NMA) for scientific realism relies upon just such an explanation. First, scientists (usually) do not accept explanations whose explanans neither generates novel predictions nor unifies apparently disparate phenomena. Second, scientific realism (as it appears in the NMA) is an explanans that makes no new predictions, and fails to (...) unify disparate phenomena. Third, Psillos, Boyd, and other proponents of the NMA explicitly adopt a naturalism that forbids philosophy of science from using any methods not employed by science itself. Therefore, such naturalistic philosophers of science should not accept the version of scientific realism that appears in the NMA. [Publication note: This text is for a talk at the 2008 PSA convention. An expanded version of the talk was later published as a regular article in Philosophy of Science (2010).]. (shrink)

A book review of Amie Thomasson's defense of Neo-Carnapianism in her "Ontology Made Easy" (2015, Oxford UP).

Author's replies to an APA book symposium on "Carnap, Tarski, and Quine at Harvard.".

Putting the ‘empiricism’ in ‘logical empiricism’: the director’s cut Content Type Journal Article DOI 10.1007/s11016-010-9444-x Authors Greg Frost-Arnold, Department of Philosophy, Hobart and William Smith Colleges, Geneva, NY 14456, USA Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.

For much of the second half of the 20th Century, the primary role logical empiricism played was that of the argumentative foil. The 'received view' on a given topic (especially in philosophy of science, logic, or language) was frequently identified with some supposedly dogmatic tenet of logical empiricism. However, during the last twenty-five years, scholars have paid serious, sustained attention to what the logical positivists, individually and collectively, actually said. Early scholarship on logical empiricism had to engage in heavy-duty PR (...) work: why should anyone study the now-discarded mixture of blunders and implausibilities collected under the label 'logical empiricism'? However, thanks to the efforts of the pioneers, people studying the logical empiricists today need not articulate an extended apologia for their chosen subject of study -- rather, they can simply get on with their work. Many of the best fruits of these recent labors are on display in The Cambridge Companion to Logical Empiricism (CCLE), edited by Alan Richardson and Thomas Uebel. (shrink)

This is a book review of Samuel Schindler's _Theoretical Virtues in Science_.

From social media to search engines to Wikipedia, the internet is thoroughly embedded in how we produce, locate, and share knowledge around the world. Who Should We Be Online? provides an account of online knowledge that takes seriously the role of sexist, racist, transphobic, colonial, and capitalist forms of oppression. Frost-Arnold argues against analyzing internet users as a collection of identical generic people with smartphones. The novel epistemology developed in this book recognizes that we are differently embodied beings (...) interacting within systems of dominance. Our social identities and global inequalities shape who we are, who we can be online, and what we know. Tackling problems of online content moderation, fake news, and hoaxes, Frost-Arnold shows that oppressive online structures and practices help fuel ignorance. But she also reveals how the internet provides opportunities for marginalized people and activists to share knowledge online. Drawing on feminist accounts of objectivity, veritistic social epistemology, epistemologies of ignorance, virtue epistemology, and the epistemic injustice literature, this book argues for a social epistemology that values truth and objectivity, while recognizing that inequalities shape our collective ability to attain these goals. Timely and interdisciplinary, Who Should We Be Online? weaves together internet studies scholarship from across the humanities, social sciences, and computer science. Presenting case studies of moderators, imposters, tricksters, fakers, and lurkers, this book both explains the problems with our current internet ecosystem and imagines liberatory online futures. (shrink)

I provide an account of the cognitive attitude of trust that explains the role trust plays in the planning of rational agents. Many authors have dismissed choosing to trust as either impossible or irrational; however, this fails to account for the role of trust in practical reasoning. A can have therapeutic, coping, or corrective reasons to trust B to ${\phi}$ , even in the absence of evidence that B will ${\phi}$ . One can choose to engage in therapeutic trust to (...) inspire trustworthiness, coping trust to simplify one’s planning, or corrective trust to avoid doing a testimonial injustice. To accommodate such types of trust, without accepting doxastic voluntarism, requires an account of the cognitive attitude of trust broader than belief alone. I argue that trust involves taking the proposition that someone will do something as a premise in one’s practical reasoning, which can be a matter of believing or accepting the proposition. I defend this account against objections that it (i) provides insufficient rational constraints on trust, (ii) conflates trust and pretense of trust, and (iii) cannot account for the rationality of back-up planning. (shrink)

Since anonymous agents can spread misinformation with impunity, many people advocate for greater accountability for internet speech. This paper provides a veritistic argument that accountability mechanisms can cause significant epistemic problems for internet encyclopedias and social media communities. I show that accountability mechanisms can undermine both the dissemination of true beliefs and the detection of error. Drawing on social psychology and behavioral economics, I suggest alternative mechanisms for increasing the trustworthiness of internet communication.

From social media to search engines to Wikipedia, the internet is thoroughly embedded in how we produce, locate, and share knowledge around the world. Who Should We Be Online? provides an account of online knowledge that takes seriously the role of sexist, racist, transphobic, colonial, and capitalist forms of oppression. Frost-Arnold argues against analyzing internet users as a collection of identical generic people with smartphones. The novel epistemology developed in this book recognizes that we are differently embodied beings (...) interacting within systems of dominance. Our social identities and global inequalities shape who we are, who we can be online, and what we know. -/- Tackling problems of online content moderation, fake news, and hoaxes, Frost-Arnold shows that oppressive online structures and practices help fuel ignorance. But she also reveals how the internet provides opportunities for marginalized people and activists to share knowledge online. Drawing on feminist accounts of objectivity, veritistic social epistemology, epistemologies of ignorance, virtue epistemology, and the epistemic injustice literature, this book argues for a social epistemology that values truth and objectivity, while recognizing that inequalities shape our collective ability to attain these goals. Timely and interdisciplinary, Who Should We Be Online? weaves together internet studies scholarship from across the humanities, social sciences, and computer science. Presenting case studies of moderators, imposters, tricksters, fakers, and lurkers, this book both explains the problems with our current internet ecosystem and imagines liberatory online futures. (shrink)

Modern scientific knowledge is increasingly collaborative. Much analysis in social epistemology models scientists as self-interested agents motivated by external inducements and sanctions. However, less research exists on the epistemic import of scientists’ moral concern for their colleagues. I argue that scientists’ trust in their colleagues’ moral motivations is a key component of the rationality of collaboration. On the prevailing account, trust is a matter of mere reliance on the self-interest of one’s colleagues. That is, scientists merely rely on external compulsion (...) to motivate self-interested colleagues to be trustworthy collaborators. I show that this self-interest account has significant limitations. First, it cannot fully account for trust by relatively powerless scientists. Second, reliance on self-interest can be self-defeating. For each limitation, I show that moral trust can bridge the gap—when members of the scientific community cannot rely on the self-interest of their colleagues, they rationally place trust in the moral motivations of their colleagues. Case studies of mid-twentieth-century industrial laboratories and exploitation of junior scientists show that such moral trust justifies collaboration when mere reliance on the self-interest of colleagues would be irrational. Thus, this paper provides a more complete and realistic account of the rationality of scientific collaboration. (shrink)

Ignorance of one’s privileges and prejudices is an epistemic problem. While the sources of ignorance of privilege and prejudice are increasingly understood, less clarity exists about how to remedy ignorance. In fact, the various causes of ignorance can seem so powerful, various, and mutually reinforcing that studying the epistemology of ignorance can inspire pessimism about combatting socially constructed ignorance. I argue that this pessimism is unwarranted. The testimony of members of oppressed groups can often help members of privileged groups overcome (...) their ignorance. This paper argues that a particular type of speaker’s trust—hopeful trust—can motivate hearers to become cognizant of their privilege and prejudice. I argue that hopeful trust is a powerful way of eliciting trust-responsiveness that can be an effective mechanism for challenging privilege and prejudice. To make this case, I draw on case studies of online attempts to challenge ignorance. While the problems of testimonial injustice, defensi... (shrink)

This paper argues that trustworthiness is an epistemic virtue that promotes objectivity. I show that untrustworthy imposture can be an arrogant act of privilege that silences marginalized voices. But, as epistemologists of ignorance have shown, sometimes trickery and the betrayal of epistemic norms are important resistance strategies. This raises the question: when is betrayal of trust epistemically virtuous? After establishing that trust is central to objectivity, I argue for the following answer: a betrayal is epistemically vicious when it strengthens or (...) promotes oppressive, exclusive networks of trust, and a betrayal is epistemically virtuous when it expands trust networks to involve the oppressed. These criteria correctly account for both the epistemic vice of a recent case of Internet imposture and the epistemic virtue of resistant tricksters. (shrink)

A book review of Lee McIntyre's Respecting Truth: Willful Ignorance in the Internet Age.

The Axiom of Projective Determinacy implies the existence of a universal $\utilde{\Pi}^{1}_{n}\setminus\utilde{\Delta}^{1}_{n}$ set for every $n \geq 1$. Assuming $\text{\upshape MA}(\aleph_{1})+\aleph_{1}=\aleph_{1}^{\mathbb{L}}$ there exists a universal $\utilde{\Pi}^{1}_{1}\setminus\utilde{\Delta}^{1}_{1}$ set. In ZFC there is a universal $\utilde{\Pi}^{0}_{\alpha}\setminus\utilde{\Delta}^{0}_{\alpha}$ set for every $\alpha$.

The term “moral heuristic” as used by Sunstein seeks to bring together various traditions. However, there are significant differences between uses of the term “heuristic” in the cognitive and the social psychological research, and these differences are accompanied by very distinct evidential criteria. We suggest the term “moral heuristic” should refer to processes, which means that further evidence is required.

Aesthetics: Music and ideas. Formalism. Perception, meaning, and the subject matter of art. The technical factor in art. The aesthetic function of language. The problem of belief. On defining metaphor.--Criticism: Cordelia absent. A poem by Frost and some principles of criticism. Critical communication. "Pretentious" as an aesthetic predicate. Superlatives. Some problems of interpretation.--Ethics and moral psychology: Natural pride and natural shame. Deontology and the ethics of lying. Ethical and aesthetic criticism.--Appendices.--A. Analytical philosophy and the study of art.--B. Notebooks and (...) letters. (shrink)

Greg Frost-Arnold’s book is a highly elegant edition and commentary of Carnap’s notes, claiming just as much as he is warranted on the basis of the manuscript and other relevant texts, and formulating his scholarly assumptions very carefully. Along the way he tries to unify the three historiographical strategies: narrative, argumentative and micro-historical.

In the early 2000s, Greg Frost-Arnold and Paulo Mancosu each independently discovered Rudolf Carnap's shorthand notes of conversations that Carnap had with Alfred Tarski and W. V. Quine during the...

This paper argues against a particular version of the inference from the success of a scientific theory to the claim that the theory must be approximately true to some extent. The kind of success at issue is comparative, where one theory is more empirically successful than its rival if that theory predicts phenomena that are inexplicable or anomalous according to its rival. A theory that exhibits this kind of comparative success can be seen as thereby achieving empirical progress over its (...) rival. David Harker has developed a form of selective scientific realism based on the idea that this kind of success is evidence for the approximate truth of the parts of theories responsible for such success. Counterexamples to Harker’s position are cases in which a theory is more successful than its rival in virtue of containing parts that are not even approximately true. In order to identify some counterexamples to Harker’s position, this paper considers four historical cases that Greg Frost-Arnold has recently used to motivate a novel historical challenge to realism called the Problem of Misleading Evidence. This paper argues that these four cases are counterexamples to Harker’s position, and that they provide a strong reason to doubt his position and the kind of success-to-truth inference that he defends. (shrink)

Something has been going wrong on many college campuses in the last few years. Speakers are shouted down. Students and professors say they are walking on eggshells and are afraid to speak honestly. Rates of anxiety, depression, and suicide are rising--on campus as well as nationally. How did this happen? First Amendment expert Greg Lukianoff and social psychologist Jonathan Haidt show how the new problems on campus have their origins in three terrible ideas that have become increasingly woven into (...) American childhood and education: What doesn't kill you makes you weaker; always trust your feelings; and life is a battle between good people and evil people. These three Great Untruths contradict basic psychological principles about well-being and ancient wisdom from many cultures. Embracing these untruths--and the resulting culture of safetyism--interferes with young people's social, emotional, and intellectual development. It makes it harder for them to become autonomous adults who are able to navigate the bumpy road of life. Lukianoff and Haidt investigate the many social trends that have intersected to promote the spread of these untruths. They explore changes in childhood such as the rise of fearful parenting, the decline of unsupervised, child-directed play, and the new world of social media that has engulfed teenagers in the last decade. They examine changes on campus, including the corporatization of universities and the emergence of new ideas about identity and justice. They situate the conflicts on campus within the context of America's rapidly rising political polarization and dysfunction. This is a book for anyone who is confused by what is happening on college campuses today, or has children, or is concerned about the growing inability of Americans to live, work, and cooperate across party lines. (shrink)

In this innovative book, Gloria Frost reconstructs and analyses Aquinas's theories on efficient causation and causal powers, focusing specifically on natural causal powers and efficient causation in nature. Frost presents each element of Aquinas's theories one by one, comparing them with other theories, as well as examining the philosophical and interpretive ambiguities in Aquinas's thought and proposing fresh solutions to conceptual difficulties. Her discussion includes explanations of Aquinas's technical scholastic terminology in jargon-free prose, as well as background on (...) medieval scientific views - including ordinary language explanations of the medieval physical theories which Aquinas assumed in formulating his views on causation and causal powers. The resulting volume is a rich exploration of a central philosophical topic in medieval philosophy and beyond, and will be valuable especially for scholars and advanced students working on Aquinas and on medieval natural philosophy. (shrink)

An advanced-level logic textbook that presents proof construction on equal footing with model building. Potentially relevant to students of mathematics and computer science as well.

Consequence is at the heart of logic, and an account of consequence offers a vital tool in the evaluation of arguments. This text presents what the authors term as 'logical pluralism' arguing that the notion of logical consequence doesn't pin down one deductive consequence relation; it allows for many of them.

Everyone knows what noise is. Or do they? Can we in fact say that one man's noise is another teenager's music? Is noise in fact only an auditory phenomenon or does it extend far beyond this realm? If our common definitions of noise are necessarily subjective and noise is not just unpleasant sound, then it merits a closer look (or listen). Greg Hainge sets out to define noise in this way, to find within it a series of operations common (...) across its multiple manifestations that allow us to apprehend it as something other than a highly subjective term that tells us very little. Examining a wide range of texts, including Sartre's novel Nausea and David Lynch's iconic films Eraserhead and Inland Empire, Hainge investigates some of the Twentieth Century's most infamous noisemongers to suggest that they're not that noisy after all; and it finds true noise in some surprising places. The result is a thrilling and illuminating study of sound and culture. (shrink)