The past twenty years have witnessed extensive collaborative research between computer scientists, logicians, linguists, philosophers, and psychologists. These interdisciplinary studies stem from the realization that researchers drawn from all fields are studying the same problem. Specifically, a common concern amongst researchers today is how logic sheds light on the nature of information. Ancient questions concerning how humans communicate, reason and decide, and modern questions about how computers should communicate, reason and decide are of prime interest to researchers in various disciplines. (...) _Words, Proofs and Diagrams_ is a collection of papers covering active research areas at the interface of logic, computer science, and linguistics. Readers of the volume will find traditional research on process logics, issues in formal semantics, and language processing. In addition, the volume also highlights a particularly new area where all three disciplines meet—the study of images and graphics as information carriers and the diagrammatic reasoning supported by them. (shrink)

_Tarski’s World_ is an innovative and exciting method of introducing students to the language of first-order logic. Using the courseware package, students quickly master the meanings of connectives and qualifiers and soon become fluent in the symbolic language at the core of modern logic. The program allows students to build three-dimensional worlds and then describe them in first-order logic. The program, compatible with Macintosh and PC formats, also contains a unique and effective corrective tool in the form of a game, (...) which methodically leads students back through their errors if they wrongly evaluate the sentences in the constructed worlds. A brand new feature in this revised and expanded edition is student access to Grade Grinder, an innovative Internet-based grading service that provides accurate and timely feedback to students whenever they need it. Students can submit solutions for the program’s more than 100 exercises to the Grade Grinder for assessment, and the results are returned quickly to the students and optionally to the teacher as well. A web-based interface also allows instructors to manage assignments and grades for their classes. Intended as a supplement to a standard logic text, _Tarski’s World_ is an essential tool for helping students learn the language of logic. (shrink)

__Language Proof and Logic_ is available as a physical book with the software included on CD and as a downloadable package of software plus the book in PDF format. The all-electronic version is available from Openproof at ggweb.stanford.edu._ The textbook/software package covers first-order language in a method appropriate for first and second courses in logic. An on-line grading services instantly grades solutions to hundred of computer exercises. It is designed to be used by philosophy instructors teaching a logic course to (...) undergraduates in philosophy, computer science, mathematics, and linguistics. Introductory material is presented in a 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 software package includes four programs: 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)

Members of licensed occupations benefit from legal standards that limit entry into their professions. Is it ethical for these professionals to give political support to these standards? I examined the case of real estate brokers and found that their educational requirements raise average commissions by one quarter of a percentage point, costing consumers $5.4 billion per year without improving the quality of brokerage services. The case raises interesting ethical issues which are difficult to resolve.

In 2020, the Christmas book charts in the UK made headlines: Barack Obama’s eagerly awaited autobiography, The Promised Land, was beaten to the top spot by The Thursday Murder Club by Richard Osman, a debut cosy crime novel set in a retirement village. Not only did Osman’s book beat the former US president’s expected bestseller, it also broke records, becoming the fastest-selling debut crime novel of all time. Although Osman has a certain level of fame in the UK from his (...) TV appearances on shows such as Pointless, his celebrity status does not entirely explain the novel’s huge sales. This article tracks the acquisition, publication, and promotion journey of The Thursday Murder Club in order to understand the industry and cultural context of its success and to interrogate the role of celebrity in the creation of author brands. The findings suggest that the unexpected scale of the success of the book owed to a number of factors, including in-depth editing by the novel’s agent, editor, and author to tighten up the plot, an extensive and strategic promotional campaign, the pandemic, and the quality of the writing. We find that the book’s success was accentuated by Osman’s celebrity status rather than being entirely reliant on it. This research adds to the growing scholarship on celebrity authorship by means of an in-depth case study and provides insight into the processes behind publishing a ‘celebrity’ book and launching a megabrand author. (shrink)

Let us suppose that thematic roles, or something very much like them, are needed to describe lexical and semantic patterns in the behavior of verbal predicates. But what about nouns? Is there evidence independent of verbal constructions motivating a system of nominal thematic relations? We suggest that the general problem of argument selection does in fact motivate a set of quintessentially nominal thematic proto-roles which we call Proto- Part and Proto-Whole. These nominal proto-roles are parallel to but distinct from the (...) verbal proto-roles of Proto-Agent and Proto-Patient proposed by Dowty (1991) to account for argument selection in verbal predicates. The resulting theory of nominal argument selection is properly semantic, that is, it distinguishes between argument positions purely on the basis of the semantic entailments of the predicates involved. Furthermore, it is non-dynamic, that is, it describes static patterns of lexicalization without hypothesizing any productive grammatical process that maps semantic arguments to syntactic arguments during the derivation of a sentence. (shrink)

Homophobia is a real and widespread problem. It results in substantial health and welfare effects. It is a legitimate issue for health and welfare reform not only because it challenges the sincerity of policy makers who talk of human rights and social justice, but because people suffer. While this paper has focused on violence as an extreme of this phenomenon, there are many other health issues that are less well documented but of considerable importance. Because homophobia is so pervasive and (...) often sanctioned by the state, it is often viewed as the status quo and its health and welfare effects overlooked. (shrink)

Aim: Participation in classroom physical activity breaks may improve children’s cognition, but few studies have involved adolescents. The primary aim of this study was to examine the effects of classroom-based resistance training with and without cognitive training on adolescents’ cognitive function.Methods: Participants were 97 secondary school students. Four-year 10 classes from one school were included in this four-arm cluster randomized controlled trial. Classes were randomly assigned to the following groups: sedentary control with no cognitive training, sedentary with cognitive training, resistance (...) training without cognitive training, and resistance training with cognitive training. Sessions varied in levels of both cognitive demand and resistance training and were administered three times per week for 4 weeks. Inhibition, cognitive flexibility, episodic memory, on-task behavior, and muscular fitness were assessed at baseline and post-test. Linear mixed models were used to examine changes within and between groups.Results: In comparison with the control group, episodic memory improved significantly in the resistance training without cognitive training group. There were no group-by-time effects for inhibition or cognitive flexibility. Classroom activity breaks both with and without cognitive demand improved participants’ on-task behavior in comparison with the control and sedentary group. The resistance training programs did not lead to improvements in muscular fitness.Conclusion: Participation in body weight resistance training without cognitive training led to selective improvements in episodic memory. No training effects were found for inhibition or cognitive flexibility. A longer study period may be necessary to induce improvements in muscular fitness and associated changes in inhibition and cognitive flexibility.Clinical Trial Registration:https://www.anzctr.org.au/ACTRN12621001341819.aspx, Australian New Zealand Clinical Trials Registry—ACTRN12621001341819. (shrink)

Recent magnetic resonance imaging and pathological studies have indicated that axonal loss is a major contributor to disease progression in multiple sclerosis. 1 H magnetic resonance spectroscopy, through measurement of N -acetyl aspartate, a neuronal marker, provides a unique tool to investigate this. Patients with primary progressive multiple sclerosis have few lesions on conventional MRI, suggesting that changes in normal appearing white matter, such as axonal loss, may be particularly relevant to disease progression in this group. To test this hypothesis (...) NAWM was studied with MRS, measuring the concentration of N -acetyl derived groups. Single-voxel MRS using a water-suppressed PRESS sequence was carried out in 24 patients with primary progressive multiple sclerosis and in 16 age-matched controls. Ratios of metabolite to creatine concentration were calculated in all subjects, and absolute concentrations were measured in 18 patients and all controls. NA/Cr was significantly lower in NAWM in patients than in controls, as was the absolute concentration of NA. There was no significant difference in the absolute concentration of creatine between the groups. This study supports the hypothesis that axonal loss occurs in NAWM in primary progressive multiple sclerosis and may well be a mechanism for disease progression in this group. (shrink)

ABSTRACT Drawing inspiration from Fred Dretske, L. S. Carrier, John A. Barker, and Robert Nozick, we develop a tracking analysis of knowing according to which a true belief constitutes knowledge if and only if it is based on reasons that are sensitive to the fact that makes it true, that is, reasons that wouldn’t obtain if the belief weren’t true. We show that our sensitivity analysis handles numerous Gettier-type cases and lottery problems, blocks pathways leading to skepticism, and validates (...) the epistemic closure thesis that correct inferences from known premises yield knowledge of the conclusions. We discuss the plausible views of Ted Warfield and Branden Fitelson regarding cases of knowledge acquired via inference from false premises, and we show how our sensitivity analysis can account for such cases. We present arguments designed to discredit putative counterexamples to sensitivity analyses recently proffered by Tristan Haze, John Williams and Neil Sinhababu, which involve true statements made by untrustworthy informants and strange clocks that sometimes display the correct time while running backwards. Finally, we show that in virtue of employing the paradox-free subjunctive conditionals codified by Relevance Logic theorists instead of the paradox-laden subjunctive conditionals codified by Robert Stalnaker and David Lewis. (shrink)

Previous studies of the history of optics reveal that the confrontation between the emission theory of light and the undulatory theory of light in Britain occupied a considerable period during the early nineteenth century. After the majority of British physicists accepted the undulatory theory in the mid-1830s a few emissionists in Britain did not immediately surrender. They continued to fight a rear-guard action against the undulatory theory, hoping that someday they could reinstate their theory.’ The longevity of the confrontation between (...) the emission and the undulatory theory is consistent with recent philosophical and sociological accounts of science, which expect scientific controversy to last a considerable time. Lakatos’s philosophical account, for example, holds that a degenerating theory does not disappear immediately and may revive at any time through a burst of ‘heuristic power’. But this account only allows one universal standard-the verification of excess empirical content-as the basis for both the generation and the closure of scientific controversies.’ On the other hand, sociological accounts such as actor-network theory have also done much to dispel the impression that rapid closure is inevitable in scientific controversies. But perhaps they risk a new orthodoxy: that controversy itself is inevitable. (shrink)

David Fairweather Foxon, a Fellow of the British Academy, published English Verse 1701–1750: a Catalogue, a book that not only took a long leap forward into a new century; it also provided a cross-section through the record of all British books and books printed abroad in English in a period in which the total number of books, periodicals, and ephemera began to increase exponentially. The period was also one in which the whole concept of authorship and the relationship between (...) author and the book trade changed substantially, as a result of the Copyright Act. Foxon was born in Paignton, the son of a Methodist minister. Bletchley Park was a crucial experience for him, socially and intellectually. He met a variety of gifted academics, some eccentric, mostly from Oxford or Cambridge, at an early age; it gave him training in codebreaking; and it introduced him to his future wife. Foxon was involved in the recataloguing of the British Museum Library, a gigantic undertaking that had begun in 1929. (shrink)

What might a synaesthetic cinema look like? Or, better, what might it sound, smell, taste and feel like? This essay approaches David Lynch's Mulholland Drive as a means of thinking through conceptual but concrete descriptions of synaesthesia not as an artistic device, a metaphor, an historical trend, or a rare clinical condition, but as a way of being in space and time — and being in cinema — that is simultaneously abstract and very real. Lynch's film becomes, as well, (...) an opportunity to think about cinematic spectacle and ‘excess’ in sensorily specific ways. The hallucinatory sensual disjunctions that occur throughout the film reveal a double system of reference: vision and proprioception mutually informing and interrupting one another, in ways that recall Brian Massumi's discussion of topological architecture. Those moments of cinematic, sensory ‘excess’ are sensual reminders of the degree to which vision is entangled with other senses in the experience of cinema. (shrink)

According to John A Barker, whether an argument begs the question is purely a matter of logical form. According to me, it is also a matter of epistemic conditions; some arguments which beg the question in some contexts need not beg the question in every context. I point out difficulties in Barker's treatment and defend my own views against some of his criticisms. In the concluding section, "Alleged difficulties with disjunctive syllogism," I defend the validity of disjunctive syllogism (...) against the views of Alan Ross Anderson and Nuel D Belnap, Jr., ask pointed questions about the notion of intensional disjunction, and suggest how my treatment of begging the question can be extended to deal with the so-called paradoxes of strict implication. (shrink)

Myles Brand and Marshall Swain advocate the principle that if A is the set of conditions individually necessary and jointly sufficient for the occurrence of B, then if C is a set of conditions individually necessary for the occurrence of B, every member of C is a member of A. I agree with John Barker and Risto Hilpinen who each argue that this principle is not true for causal necessity and sufficiency, but I disagree with their claim that it (...) is true for logical necessity and sufficiency. The original appeal of the principle may be due to confusing two kinds of totality: to say that when every member of set A obtains, then every condition necessary for E obtains is not to say that every condition necessary for E is a member of A. All the authors mentioned believe that causal necessity precludes logical necessity. I deny this on the basis of an example from kinematics. Hume has not refuted definitions of causation in terms of logically necessary and sufficient conditions, nor have Brand and Swain. (shrink)

A three-page review of Philip Cafaro's book *Thoreau's Living Ethics*.

In 1904, Ellen Richards introduced “euthenics.” By 1912, Lewellys Barker, director of medicine and physician-in-chief at Johns Hopkins Hospital, would tell the _New York Times_ that the “task of eugenics” and the “task of euthenics” was the “Task for the Nation.” Alongside the emergence of hereditarian eugenics, where fate was firmly rooted in heredity, this article places euthenics into the same Progressive Era demands for the scientific management over environmental issues like life and labor, health and hygiene, sewage and (...) sanitation. I argue that euthenics not only heralded women as leaders in the quest for what Richards and eugenicists termed “racial improvement,” but also aimed to make reforms through environmental and educational changes rather than hereditary interventions. Seeking to recuperate the figure of Ellen Richards in the history of science, I place Richards and her euthenics more into the debate over eugenics rather than over the emergence of home economics. Building on the work of Donald Opitz, Staffan Bergwik, and Brigette Van Tiggelen, this article shows, first, how Richards’ career threads the needle between the home and the laboratory as sites of science making, not as separate spheres but as overlapping realms, and helps recover how domestic concerns shaped the focus of the life sciences. Second, this article shows how euthenics shaped eugenics by looking at the writings of American eugenicists Charles Davenport, Paul Popenoe, and David Starr Jordan. Third, the article describes how euthenics took root in new academic departments of domestic science, home economics, and departments child welfare and family life in the 1920 and 1930s, most notably the department of euthenics at the Kansas State Agricultural College from 1926 and the Institute of Euthenics at Vassar College after 1923. (shrink)

In the Politics, Aristotle recognizes participation in law courts as an essential element in citizenship, yet there has been relatively little scholarship on how he sees this participation being realized. References to law courts are sprinkled widely through the Politics, Rhetoric, and Ethics, as well as the Athenaiôn politeia, where their importance is revealed most clearly. Ernest Barker took great pride in the English administration of law: if he had returned to write a more thorough treatment of Aristotle's political (...) thought, he might well have focused on the courts. (shrink)

In this thesis I investigate the question of whether or not dispositional properties are able to necessitate their manifestations. I provide three main discussions that reflect three aspects of my question. The first and second discussions concern different aspects of the 'problem of prevention'. This is the premise that causal interactions can be subject to interference/prevention, generally construed. A number of philosophers have argued that the problem of prevention undercuts the necessitation of lawful regularities in the context of dispositional essentialism. (...) We can term this issue the 'necessitation issue'. In the first discussion I examine whether or not antidotes qua preventative entities are metaphysically possible within the context of Alexander Bird's dispositional monism. I argue that Bird's theory raises a problem of ontological representation re antidotes. The line of thought in this discussion is that it is difficult for Bird to say what antidotes are and how they operate; nevertheless, in this discussion I provide a solution to my problem that stays within the confines of Bird's dispositional monism. In this section of the thesis I remain neutral on the necessitation issue, but I take myself to clarify the question of whether or not dispositional properties are able to necessitate their manifestations by criticising Bird's model of antidotes/prevention and setting out a replacement. In the second discussion I examine Stephen Mumford and Rani Lill Anjum's anti-necessitarian strategies. Mumford and Anjum's 'causal dispositionalism' encompasses a theory of dispositional properties, antidotes, and prevention. Mumford and Anjum's causal dispositionalism is not subject to the problem of ontological representation that Bird's theory raises; nevertheless, I argue that their theory is multiply problematic. The purpose of this discussion, taken as a whole, is to show that a recent strategy for attacking the necessitarian claim of dispositional essentialism is weaker than it has appeared to a number of philosophers. In this section of the thesis I move from a neutral stance on necessitation to a defensive stance. In the first two stages of the thesis, which concern the problem of prevention, I work with the background assumption that dispositional essentialism is a tenable position. In the third section of this thesis, however, I begin by endorsing Stephen Barker's essay The Emperor's New Metaphysics of Powers, which argues that the main articulations of dispositional essentialism are either internally inconsistent or otherwise disguised versions of brute modalism, where brute modalism focuses upon possible worlds as oppose to properties. In response, I develop a replacement position for dispositional essentialism that I term 'temporal essentialism'. I advance temporal essentialism as a prototype position in the properties and laws debate. It aims to provide a metaphysical explanation for lawful regularities by drawing upon the passage of time. In short, temporal essentialism is the position that it is built into a system of ontology that it dynamically adds new entities to its ontological categories and constructs states of affairs in a rule-following way. (shrink)

Sebbah’s noteworthy book is perhaps the first sustained inquiry into the relationship between three thinkers in the French phenomenological tradition, two of whom are well known in the Anglophone world (Levinas, Derrida) and one of whom (Henry) is gradually better understood by English-speaking audiences. That all three are arrayed together in this study makes it a pioneering enterprise and one that allows the English reader to apprise the worthiness of Henry’s association with his better-known compatriots.The strongest and most extensive portions (...) of the text focus on the three named figures in its subtitle, and in Part I Sebbah justifies his focus on these three in terms of a “family resemblance” (6–7) that they bear: Each in his own way practices phenomenology in the mode of excess, an excess that not only emerges in the style of each man’s writing but more fundamentally betrays a testing “of the limit, the limit through whose transgression alone excess can be what it is” (4). Rather. (shrink)

We uncover a largely unnoticed and unaddressed problem in conservation research: arguments built within studies are sometimes defective in more fundamental and specific ways than appreciated, because they misrelate values and empirical matters. We call this the unraveled rope problem because just as strands of rope must be properly and intricately wound with each other so the rope supports its load, empirical aspects and value aspects of an argument must be related intricately and properly if the argument is to objectively (...) support its conclusion. By characterizing this problem with precision, our study differs from but complements existing studies of value issues in conservation science, in two ways. First, it focuses on key relationships between empirical issues and value issues, relations that have sometimes been obscured by focusing on these issues more independently of each other. Second, it focuses on these relationships within arguments and deploys a method of argument analysis and evaluation honed in other fields but under-utilized in conservation science. By combining our study's novel features, we detail six families of argument defect that exemplify the unraveled rope problem within existing literature. These defects sometimes manifest within basic research stages, rather than just in more applied downstream stages where roles for values are already obvious to many. As scientific reasoning and communication become increasingly important for addressing society's greatest environmental challenges, overcoming the unraveled rope problem will be essential to the success and integrity of conservation research. Therefore, we also outline potential solutions, preventative measures, and useful further work for conservation researchers. (shrink)

In this chapter I consider the prospects of globalizing expressivism. Expressivism is a position in the philosophy of language that questions the central role of representation in a theory of meaning or linguistic function. An expressivist about a domain D of discourse proposes that utterances of sentences in D should not be seen, at the level of analysis as representing how things are, but as expression of non-representational states. So, in the domain of value-utterances, the standard idea is that speakers (...) are expressing affective-states, such as approval or disapproval focused on objects or conditions. Global expressivism is the thesis that for all domains of discourse, we treat utterances, at the level of analysis, as expressing non-representational states. I set out several conceptions of how one might formulate this programme. The first involves minimalism about truth and semantic content – and only partially gives up representationalism (viz., the thesis that some utterances express representational states). The second is Price’s conception, which incorporates minimalism, Brandomian inferentalism, and concepts from Carnap, but still clings to representationalism. I then arrive at my favoured third conception, which does not employ minimalism or inferentialism, and eliminates vestiges of representationalism. It does the latter by embracing expressivism about meaning-attribution. Having set out key aspects of the approach I then address the question of metaphysics. What metaphysical conception of reality goes with global expressivism so understood? I argue it implies a form of metametaphysical nihilism. This is that idea that reality lacks any ultimate nature. (shrink)

The Politics is one of the most influential texts in the history of political thought, and it raises issues which still confront anyone who wants to think seriously about the ways in which human societies are organized and governed. By examining the way societies are run--from households to city states--Aristotle establishes how successful constitutions can best be initiated and upheld. For this edition, Sir Ernest Barker's fine translation, which has been widely used for nearly half a century, has been (...) extensively revised to meet the needs of the modern reader. The accessible introduction and clear notes examine the historical and philosophical background of the work and discuss its significance for modern political thought. (shrink)

The view that it is better for life to be created free of disability is pervasive in both common sense and philosophy. We cast doubt on this view by focusing on an influential line of thinking that manifests it. That thinking begins with a widely-discussed principle, Procreative Beneficence, and draws conclusions about parental choice and disability. After reconstructing two versions of this argument, we critique the first by exploring the relationship between different understandings of well-being and disability, and the second (...) by more briefly focusing on the idea of a significant reason. By placing these results against the broader historical and ongoing contexts in which the lives of those with disabilities have been deemed of inferior quality, we conclude with a call for greater humility about disability and well-being in thought and practice. (shrink)

From religion to philosophy to science, all human systems of definition are formed by human brains. The nature and limits of the human brain are the nature and limits of those systems. This essay shows how the human brain works normally then unusually, and what this reveals about the limits of human knowledge. There are many conditions and instances where the brain processes information unusually, including mental disorders, physical events, and drug use. This essay focuses on the neurological events called (...) mystical experiences. (shrink)

Are the sculpture and the mass of gold which permanently makes it up one object or two? In this article, we argue that the monist, who answers ‘one object’, cannot accommodate the asymmetry of material constitution. To say ‘the mass of gold materially constitutes the sculpture, whereas the sculpture does not materially constitute the mass of gold’, the monist must treat ‘materially constitutes’ as an Abelardian predicate, whose denotation is sensitive to the linguistic context in which it appears. We motivate (...) this approach in terms of modal analyses of material constitution, but argue that ultimately it fails. The monist must instead accept a deflationary, symmetrical use of ‘materially constitutes’. We argue that this is a serious cost for her approach. (shrink)