We give a new proof of the classification of $\aleph_0$-categorical quasivarieties by using Morita equivalence to reduce to term minimal quasivarieties.

Let FΛ be a finite dimensional path algebra of a quiver Λ over a field F. Let L and R denote the varieties of all left and right FΛ-modules respectively. We prove the equivalence of the following statements. • The subvariety lattice of L is a sublattice of the subquasivariety lattice of L. • The subquasivariety lattice of R is distributive. • Λ is an ordered forest.

We prove that in a locally finite variety that has definable principal congruences , solvable congruences are nilpotent, and strongly solvable congruences are strongly abelian. As a corollary of the arguments we obtain that in a congruence modular variety with DPC, every solvable algebra can be decomposed as a direct product of nilpotent algebras of prime power size.

The main aim of the book is to provide a good understanding of a range of semantic phenomena and issues in semantics, adopting a truth-conditional account of meaning, but without using a compositional formalism. The book assumes no particular background in linguistics of philosophy, and all the technical tools used are explained as they are introduced. They style is accessible, with numerous examples.

Methodological pluralism is advocated in this book, which takes students on an investigative tour of uncertainty in the social sciences, with particular emphasis on the scientific response to uncertainty. Much of the material is drawn from the disciplines of international relations and politics.

This presentation of a system of propositional logic is a foundational paper for systems of illocutionary logic. The language contains the illocutionary force operators '' for assertion and ' ' for supposition. Sentences occurring in proofs of the deductive system must be prefixed with one of these operators, and rules of take account of the forces of the sentences. Two kinds of semantic conditions are investigated; familiar truth conditions and commitment conditions. Accepting a statement A or rejecting A commits a (...) person to accepting some statements (the symbol '' marks this value), to rejecting some statements (), and will leave the person uncommitted with respect to others (). Commitment valuations assign the values to sentences of ; such a valuation is conceived as reflecting the beliefs/knowledge of a particular person. This paper explores the relations between truth conditions and commitment conditions, and between semantic concepts defined in terms of these conditions. (shrink)

Alfred Mele’s zygote argument for incompatibilism is based on a case involving an agent in a deterministic world whose entire life is planned by someone else. Mele’s contention is that Ernie (the agent) is unfree and that normal determined agents are relevantly similar to him with regards to free will. In this paper, I examine four different ways of understanding this argument and then criticize each interpretation. I then extend my criticism to manipulation arguments in general. I conclude that the (...) zygote argument is no threat to compatibilism. (shrink)

Addressing Merleau-Ponty's work Phenomenology of Perception, in dialogue with The Visible and the Invisible, his lectures at the Collège de France, and his reading of Proust, this book argues that at play in his thought is a philosophy of “ontological lateness”. This describes the manner in which philosophical reflection is fated to lag behind its objects; therefore an absolute grasp on being remains beyond its reach. Merleau-Ponty articulates this philosophy against the backdrop of what he calls “cruel thought”, a style (...) of reflecting that seeks resolution by limiting, circumscribing, and arresting its object. By contrast, the philosophy of ontological lateness seeks no such finality-no apocalypsis or unveiling-but is characterized by its ability to accept the veiling of being and its own constitutive lack of punctuality. To this extent, his thinking inaugurates a new relation to the becoming of sense that overcomes cruel thought. Merleau-Ponty's work gives voice to a wisdom of dispossession that allows for the withdrawal of being. Never before has anyone engaged with the theme of Merleau-Ponty's own understanding of philosophy in such a sustained way as Whitmoyer does in this volume. (shrink)

Condorcet's understanding of the application of the philosophy of natural sceince to social science.

A short definitive account of Keith Ward's theology, based on the philosophy of Personal Idealism. It records Ward's views about God, revelation, the kingdom of God, life after death, the incarnation, atonement, and Trinity. In summary, it is a concise and clear account of most central Christian doctrines, formed in the light of modern science and Idealist philosophy.

In the mathematics education research literature, there is a growing body of scholarship on how mathematicians practice their craft. The purpose of this chapter is to survey some of this literature and explain how it can contribute to the philosophy of mathematical practice. We first describe how mathematics educators use empirical methodologies to investigate the behaviors of mathematicians and argue that findings from these studies can inform the philosophy of mathematical practice. We then illustrate this by summarizing research on mathematicians’ (...) understandings and mathematicians’ proof reading. (shrink)

Asl. Atthasalinl of Buddhaghosa, ed. PTS. 1897. BB. Bibliotheca Buddhica, Petrograd. BC. Buddhacarita, ed. Cowell, Oxford, 1893. BCA. ...

This article presents the case for an approach to consciousness that I call illusionism. This is the view that phenomenal consciousness, as usually conceived, is illusory. According to illusionists, our sense that it is like something to undergo conscious experiences is due to the fact that we systematically misrepresent them as having phenomenal properties. Thus, the task for a theory of consciousness is to explain our illusory representations of phenomenality, not phenomenality itself, and the hard problem is replaced by the (...) illusion problem. Although it has had powerful defenders, illusionism remains a minority position, and it is often dismissed as failing to take consciousness seriously. This article seeks to rebut this accusation. It defines the illusionist programme, outlines its attractions, and defends it against some common objections. It concludes that illusionism is a coherent and attractive approach, which deserves serious consideration. (shrink)

In this important new text, Keith Lehrer introduces students to the major traditional and contemporary accounts of knowing. Beginning with the accepted definition of knowledge as justified true belief, Lehrer explores the truth, belief and justification conditions on the way to a thorough examination of foundation theories of knowledge, externalism and naturalized epistemologies, internalism and modern coherence theories as well as recent reliabilist and causal theories. Lehrer gives all views careful examination and concludes that external factors must be matched (...) by appropriate internal ones to yield knowledge. Readers of Professor Lehrer's earlier book _Knowledge_ will want to know that this text adopts the framework of that classic text. But _Theory of Knowledge_ is a completely rewritten and updated version of that book that has been simplified throughout for student use. (shrink)

In this important new text, Keith Lehrer introduces students to the major traditional and contemporary accounts of knowing. Beginning with the accepted definition of knowledge as justified true belief, Lehrer explores the truth, belief and justification conditions on the way to a thorough examination of foundation theories of knowledge, externalism and naturalized epistemologies, internalism and modern coherence theories as well as recent reliabilist and causal theories. Lehrer gives all views careful examination and concludes that external factors must be matched (...) by appropriate internal ones to yield knowledge. Readers of Professor Lehrer's earlier book _Knowledge_ will want to know that this text adopts the framework of that classic text. But _Theory of Knowledge_ is a completely rewritten and updated version of that book that has been simplified throughout for student use. (shrink)

This article looks at the strong links between Deleuze's molecular ontology and the fields of complexity and emergence, and argues that Deleuze's work implies a ‘philosophy of technology’ that is both open and dynamic. Following Simondon and von Uexküll, Deleuze suggests that technical objects are ontologically unstable, and are produced by processes of individuation and self-organization in complex relations with their environment. For Deleuze design is not imposed from without, but emerges from within matter. The fundamental departure for Deleuze, on (...) the basis of such an ontology, is to conceive of modes of relating to the evolution of technology. In this way Deleuze, along with Guattari, provides the basis for an ethics and a politics of becoming and emergent control that constitutes an alternative to the hubris of contemporary reductionist accounts of new areas such as nanotechnology. (shrink)

In this important new text, Keith Lehrer introduces students to the major traditional and contemporary accounts of knowing. Beginning with the accepted definition of knowledge as justified true belief, Lehrer explores the truth, belief and justification conditions on the way to a thorough examination of foundation theories of knowledge, externalism and naturalized epistemologies, internalism and modern coherence theories as well as recent reliabilist and causal theories. Lehrer gives all views careful examination and concludes that external factors must be matched (...) by appropriate internal ones to yield knowledge. Readers of Professor Lehrer's earlier book _Knowledge_ will want to know that this text adopts the framework of that classic text. But _Theory of Knowledge_ is a completely rewritten and updated version of that book that has been simplified throughout for student use. (shrink)

This chapter discusses the nature of software maintenance in light of software’s ontological status. A realist view of software need not commit us to the otiose position that software maintenance is impossible. Many philosophers and computer scientists have been concerned with drawing attention to software’s dual nature, its being both symbolic and physical, abstract and concrete. There are strong connections to be found between this topic and recent investigations in the philosophy of linguistics, particularly the metaphysics of words. It is (...) shown, contra Irmak, that software can be best understood through a realist type-token distinction employing an ontology of composite objects that was put forward by Katz. This approach employs both non-spatiotemporal abstract types and tokens of those types. Further developing Katz’s realist approach can help to make better sense of the dual nature of computational artefacts and their maintenance than the alternatives outlined. Young claims that a prevalent imbalanced view of maintenance as solely conservative is due to a misunderstanding of the nature of artefacts as being realisations of their producers’ intentions. This is a problem for theories of artefacts that employ intentions, such as the one involved with the realist view of software and software maintenance. Software maintenance on this view is not solely conservative but also adaptive and enhancive, constituting a source of counterexamples to Young’s claim. An alternative explanation of the imbalanced view is provided, based on observations by software engineers, especially Sommerville. (shrink)

Mind and Supermind offers an alternative perspective on the nature of belief and the structure of the human mind. Keith Frankish argues that the folk-psychological term 'belief' refers to two distinct types of mental state, which have different properties and support different kinds of mental explanation. Building on this claim, he develops a picture of the human mind as a two-level structure, consisting of a basic mind and a supermind, and shows how the resulting account sheds light on a (...) number of puzzling phenomena and helps to vindicate folk psychology. Topics discussed include the function of conscious thought, the cognitive role of natural language, the relation between partial and flat-out belief, the possibility of active belief formation, and the nature of akrasia, self-deception and first-person authority. This book will be valuable for philosophers, psychologists and cognitive scientists. (shrink)

Daniel Whiting’s excellent new book, The Range of Reasons (2022), makes a number of noteworthy contributions to the philosophical literature on reasons and normativity. A good deal has been written on normative reasons, and it is no easy thing to make novel and promising arguments. Yet, this is what Whiting manages to do. We are sympathetic to some of his ideas and critical of others. It makes sense for us to focus on the first half of his book, where Whiting (...) presents two accounts of normative reasons (the first superseded by, although possibly also compatible with, the second). We welcome this opportunity to clarify our own current views on the nature of normative reasons by contrasting them with Whiting’s views. (shrink)

Contextualism has been hotly debated in recent epistemology and philosophy of language. The Case for Contextualism is a state-of-the-art exposition and defense of the contextualist position, presenting and advancing the most powerful arguments in favor of the view and responding to the most pressing objections facing it.

This paper uses the resources of illocutionary logic to provide a new understanding of the Liar Paradox. In the system of illocutionary logic of the paper, denials are irreducible counterparts of assertions; denial does not in every case amount to the same as the assertion of the negation of the statement that is denied. Both a Liar statement, (a) Statement (a) is not true, and the statement which it negates can correctly be denied; neither can correctly be asserted. A Liar (...) statement, more precisely, an attempted Liar statement, fails to fulfill conditions essential to statements, but no linguistic rules are violated by the attempt. Ordinary language, our ordinary practice of using language, is not inconsistent or incoherent because of the Liar. We are committed to deny Liars, but not to accept or assert them. This understanding of the Liar Paradox and its sources cannot be fully accommodated in a conventional logical system, which fails to mark the distinction between sentences/statements and illocutionary acts of accepting, rejecting, and supposing statements. (shrink)

The epistemic basing relation is the relation occurring between a belief and a reason when the reason is the reason for which the belief is held. It marks the distinction between a belief's being justifiable for a person, and the person's being justified in holding the belief. As such, it is an essential component of any complete theory of epistemic justification. ;I survey and evaluate all theories of the basing relation that I am aware of published between 1965 and 1995. (...) These include causal theories, , theories involving pseudo-overdetermination relations , theories involving what a person would appeal to in defense of her beliefs , and doxastic theories , involving an appeal to meta-beliefs. My discussion of these theories includes a detailed analysis of variations of Lehrer's case of the gypsy lawyer which, I show, can be reformulated to pose a decisive objection to causal theories, if not causal analyses, of the basing relation. ;Rejecting all published theories, I present a new kind of causal analysis of the basing relation which I call the causal-doxastic theory. This theory states that a belief is based on a reason if the reason bears an appropriate causal relation to the belief, or, it does not bear such a causal relation, but an appropriate meta-belief is present. A causal analysis of which meta-beliefs are appropriate is given, so as to count as inappropriate rationalizations, mistaken meta-beliefs, etc. In developing the causal-doxastic theory, I present a solution to the problem of deviant causal chains, a discussion of the causal sustaining of beliefs, an account of rejecting reasons, and a partial analysis of showing that one is justified. I then discuss implications of my theory regarding foundationalism, inference, basic and non-basic belief, holistic and linear coherentism, process reliabilism, internalism and externalism, and various closure principles. (shrink)

This paper further develops the system of illocutionary logic presented in ?Propositional logic of supposition and assertion? (Notre Dame Journal of Formal Logic 1997, 38, 325-349) to accommodate an ?I believe that? operator and resolve Moore's Paradox. This resolution is accomplished by providing both a truth-conditional and a commitment-based semantics. An important feature of the logical system is that the correctness of some arguments depends on who it is that makes the argument. The paper then shows that the logical system (...) can be expanded to resolve the surprise execution paradox puzzle. The prisoner's argument showing that he can't be executed by surprise is correct but his beliefs are incoherent. The judge's beliefs (and our beliefs) about this situation are not incoherent. (shrink)

This article reflects on the relevance and applicability of the Belmont Report nearly four decades after its original publication. In an exploration of criticisms that have been raised in response to the report and of significant changes that have occurred within the context of biomedical research, five primary themes arise. These themes include the increasingly vague boundary between research and practice, unique harms to communities that are not addressed by the principle of respect for persons, and how growing complexity and (...) commodification in research have shed light on the importance of transparency. The repercussions of Belmont's emphasis on the protection of vulnerable populations is also explored, as is the relationship between the report's ethical principles and their applications. It is concluded that while the Belmont Report was an impressive response to the ethical issues of its day, the field of research ethics involving human subjects may have outgrown it. (shrink)

This book explores the idea that we have two minds - automatic, unconscious, and fast, the other controlled, conscious, and slow. In recent years there has been great interest in so-called dual-process theories of reasoning and rationality. According to such theories, there are two distinct systems underlying human reasoning - an evolutionarily old system that is associative, automatic, unconscious, parallel, and fast, and a more recent, distinctively human system that is rule-based, controlled, conscious, serial, and slow. Within the former, processes (...) the former, processes are held to be innate and to use heuristics that evolved to solve specific adaptive problems. In the latter, processes are taken to be learned, flexible, and responsive to rational norms. -/- Despite the attention these theories are attracting, there is still poor communication between dual-process theorists themselves, and the substantial bodies of work on dual processes in cognitive psychology and social psychology remain isolated from each other. This book brings together leading researchers on dual processes to summarize the state-of-the-art, highlight key issues, present different perspectives, explore implications, and provide a stimulus to further work. It includes new ideas about the human mind both by contemporary philosophers interested in broad theoretical questions about mental architecture and by psychologists specialising in traditionally distinct and isolated fields. For all those in the cognitive sciences, this is a book that will advance dual-process theorizing, promote interdisciplinary communication, and encourage further applications of dual-process approaches. (shrink)

In this article we argue that nanotechnology represents an extraordinary opportunity to build in a robust role for the social sciences in a technology that remains at an early, and hence undetermined, stage of development. We examine policy dynamics in both the United States and United Kingdom aimed at both opening up, and closing down, the role of the social sciences in nanotechnologies. We then set out a prospective agenda for the social sciences and its potential in the future shaping (...) of nanotechnology research and innovation processes. The emergent, undetermined nature of nanotechnologies calls for an open, experimental, and interdisciplinary model of social science research. (shrink)

In the late summer of 1998, the authors, a cognitive scientist and a logician, started talking about the relevance of modern mathematical logic to the study of human reasoning, and we have been talking ever since. This book is an interim report of that conversation. It argues that results such as those on the Wason selection task, purportedly showing the irrelevance of formal logic to actual human reasoning, have been widely misinterpreted, mainly because the picture of logic current in psychology (...) and cognitive science is completely mistaken. We aim to give the reader a more accurate picture of mathematical logic and, in doing so, hope to show that logic, properly conceived, is still a very helpful tool in cognitive science. The main thrust of the book is therefore constructive. We give a number of examples in which logical theorizing helps in understanding and modeling observed behavior in reasoning tasks, deviations of that behavior in a psychiatric disorder (autism), and even the roots of that behavior in the evolution of the brain. (shrink)

Classical logic, beginning with the work of Aristotle, has developed into a powerful and rigorous mathematical theory with many applications in mathematics and ...

1. IntroductionSuch is the depth and breadth of Peter van Inwagen’s philosophical output, one must pick and choose which topics to cover when editing a book exploring the philosophical themes touched upon in his work. In Being, Freedom and Method,1 John Keller has brought together several excellent philosophers to explore four such themes – being, freedom, method, and God (the last of which doesn’t make it into the title of the book, perhaps because doing so would violate the rule that (...) the title of a work of analytic philosophy must list exactly three things). Keller does a fine job of covering many of the topics that have interested van Inwagen over the years, but he cannot cover them all (I am most sad to see no substantive treatment of van Inwagen’s work on composition and mereology). Van Inwagen, in his afterword, also finds it necessary to pick and choose which papers he responds to – he addresses only seven of the sixteen papers in the book. I too must pick and choose. In what follows, I shall briefly describe the contents of the book, then make more substantive comments on some of the papers (those about which I think I have something interesting to say). (shrink)

There is a duality in our everyday view of belief. On the one hand, we sometimes speak of credence as a matter of degree. We talk of having some level of confidence in a claim (that a certain course of action is safe, for example, or that a desired event will occur) and explain our actions by reference to these degrees of confidence – tacitly appealing, it seems, to a probabilistic calculus such as that formalized in Bayesian decision theory. On (...) the other hand, we also speak of belief as an unqualified, or flat-out, state (‘plain belief’ as it is sometimes called), which is either categorically present or categorically absent. We talk of simply believing or thinking that something is the case, and we cite these flat-out attitudes in explanation of our actions – appealing to classical practical reasoning of the sort formalized in the so-called ‘practical syllogism’.1 This tension in everyday discourse is reflected in the theoretical literature on belief. In formal epistemology there is a division between those in the Bayesian tradition, who treat credence as graded, and those who think of it as a categorical attitude of some kind. The Bayesian perspective also contrasts with the dominant view in philosophy of mind, where belief is widely regarded as a categorical state (a token sentence of a mental language, inscribed in a functionally defined ‘belief box’, according to one popular account). A parallel duality is present in our everyday view of desire. Sometimes we talk of having degrees of preference or desirability; sometimes we speak simply of wanting or desiring something tout court, and, again, this tension is reflected in the theoretical literature. What should we make of these dualities? Are there two different types of belief and desire – partial and flat-out, as they are sometimes called? If so, how are they related? And how could both have a role in guiding rational action, as the everyday view has it? The last question poses a particular challenge in relation to flat-out belief and desire.. (shrink)

While researching my 2001 book on sickle cell disease, I became aware of the politics of pain. In that malady—a painful disorder associated with African Americans and characterized by frequent infections and recurring painful “crises”—the politics of pain recognition and adequate relief intersect not only with drug concerns, but also with American racial politics. One cannot understand fully the history of sickle cell patients without understanding politics on two levels: the macropolitics of race in America and the micropolitics of medicinal (...) encounters. How these two kinds of politics collided in clinical decision-making about diagnosis, treatment, and pain management has long been a focus of my scholarship—not... (shrink)