This essay explores the future of the liberal arts by investigating the visions of the future assumed respectively in the institutions of specialized and general education. The core dichotomy is between the specialized, which is instrumentality useful for a closed future, against the general, which is inherently valuable for an open future. The author doubts that educators can prioritize, in a single pedagogy, both inspiring people to freedom (liberal education) and preparing people to fit into an economic or academic niche (...) (professional education). This frames a critique of LEAP'S rationale for higher education, although the value of particular classroom practices therein is affirmed. With reference to Freire and Seery, the essay proposes that theory per se presents the best mode for teaching toward an open future. The value of such teaching would be "potential," neither usable nor exchangeable, instrumental nor inherent. (shrink)

An algebraic characterisation is given of the Mares-Goldblatt semantics for quantified extensions of relevant and modal logics. Some features of this more general semantic framework are investigated, and the relations to some recent work in algebraic semantics for quantified extensions of non-classical logics are considered.

The Mares-Goldblatt semantics for quantified relevant logics have been developed for first-order extensions of R, and a range of other relevant logics and modal extensions thereof. All such work has taken place in the the ternary relation semantic framework, most famously developed by Sylvan and Meyer. In this paper, the Mares-Goldblatt technique for the interpretation of quantifiers is adapted to the more general neighbourhood semantic framework, developed by Sylvan, Meyer, and, more recently, Goble. This more algebraic semantics allows one to (...) characterise a still wider range of logics, and provides the grist for some new results. To showcase this, we show, using some non-augmented models, that some quantified relevant logics are not conservatively extended by connectives the addition of which do conservatively extend the associated propositional logics, namely fusion and the dual implication. We close by proposing some further uses to which the neighbourhood Mares-Goldblatt semantics may be put. (shrink)

Situation theory, and channel theory in particular, have been used to provide motivational accounts of the ternary relation semantics of relevant, substructural, and various non-classical logics. Among the constraints imposed by channel-theory, we must posit a certain existence criterion for situations which result from the composites of multiple channels (this is used in modeling information flow). In associative non-classical logics, it is relatively easy to show that a certain such condition is met, but the problem is trickier in non-associative logics. (...) Following Tedder (2017), where it was shown that the conjunction-conditional fragment of the logic B admits the existence of composite channels, I present a generalised ver- sion of the previous argument, appropriate to logics with disjunction, in the neighbourhood ternary relation semantic framework. I close by suggesting that the logic BB+(^I), which falls between Lavers' system BB+ and B+ , satisfies the conditions for the general argument to go through (and prove that it satisfies all but one of those conditions). (shrink)

One of science's greatest intellects examines how people and animals display fear, anger, and pleasure. Darwin based this 1872 study on his personal observations, which anticipated later findings in neuroscience. Abounding in anecdotes and literary quotations, the book is illustrated with 21 figures and seven photographic plates. Its direct approach, accessible to professionals and amateurs alike, continues to inspire and inform modern research in psychology.

The relationship between logics with sets of theorems including contradictions (“inconsistent logics”) and theories closed under such logics is investigated. It is noted that if we take “theories” to be defined in terms of deductive closure understood in a way somewhat different from the standard, Tarskian, one, inconsistent logics can have consistent theories. That is, we can find some sets of formulas the closure of which under some inconsistent logic need not contain any contradictions. We prove this in a general (...) setting for a family of relevant connexive logics, extract the essential features of the proof in order to obtain a sufficient condition for the consistency of a theory in arbitrary logics, and finally consider some concrete examples of consistent mathematical theories in Abelian logic. The upshot is that on this way of understanding deductive closure, common to relevant logics, there is a rich and interesting kind of interaction between inconsistent logics and their theories. We argue that this suggests an important avenue for investigation of inconsistent logics, from both a technical and a philosophical perspective. (shrink)

The place of religion in society has changed profoundly in the last few centuries, particularly in the West. In what will be a defining book for our time, Taylor takes up the question of what these changes mean, and what, precisely, happens when a society becomes one in which faith is only one human possibility among others.

Dunn has recently argued that the logic R-Mingle (or RM) is a good, and good enough, choice for many purposes in relevant and paraconsistent logic. This includes an argument that the validity of Safety principle, according to which one may infer an arbitrary instance of the law of excluded middle from an arbitrary contradiction, in RM is not a problem because it doesn’t allow one to infer anything new from a contradiction. In this paper, I argue that while Dunn’s claim (...) holds for the logic, there is a good reason to think that it’s not the case for (prime) theories closed under the logic, and that this should give relevantists, and some paraconsistentists, pause when considering whether RM is adequate for their purposes. (shrink)

In this paper, we investigate neighbourhood semantics for modal extensions of relevant logics. In particular, we combine the neighbourhood interpretation of the relevant implication (and related connectives) with a neighbourhood interpretation of modal operators. We prove completeness for a range of systems and investigate the relations between neighbourhood models and relational models, setting out a range of augmentation conditions for the various relations and operations.

Beall and Cotnoir (2017) argue that theists may accept the claim that God's omnipotence is fully unrestricted if they also adopt a suitable nonclassical logic. Their primary focus is on the infamous Stone problem (i.e., whether God can create a stone too heavy for God to lift). We show how unrestricted omnipotence generates Curry‐like paradoxes. The upshot is that Beall and Cotnoir only provide a solution to one version of the Stone problem, but that unrestricted omnipotence generates other problems which (...) they do not adequately address. (shrink)

Familiarity with Charles Darwin's treatise on evolution is essential to every well-educated individual. One of the most important books ever published--and a continuing source of controversy, a century and a half later--this classic of science is reproduced in a facsimile of the critically acclaimed first edition.

This new edition of Charles Fried's 'Medical Experimentation' includes a general introduction by Franklin Miller and the late Alan Wertheimer, a reprint of the 1974 text, an in-depth analysis by Harvard Law School scholars I. Glenn Cohen and D. James Greiner, and a new essay by Fried reflecting on the original text and how it applies to the contemporary landscape of medicine and medical experimentation.

Relevant propositional dynamic logics have been sporadically discussed in the broader context of modal relevant logics, but have not come up for sustained investigation until recently. In this paper, we develop a philosophical motivation for these systems, and present some new results suggested by the proposed motivation. Among these, we’ll show how to adapt some recent work to show that the extensions of relevant logics by the extensional truth constants \ are complete with respect to a natural class of ternary (...) relation models to show a similar result for the constant-free versions of the logic. In addition, we prove that the logics in question satisfy the variable sharing property, vindicating the claim that they really are relevant logics. (shrink)

Charles Taylor has been one of the most original and influential figures in contemporary philosophy: his 'philosophical anthropology' spans an unusually wide range of theoretical interests and draws creatively on both Anglo-American and Continental traditions in philosophy. A selection of his published papers is presented here in two volumes, structured to indicate the direction and essential unity of the work. He starts from a polemical concern with behaviourism and other reductionist theories (particularly in psychology and the philosophy of language) (...) which aim to model the study of man on the natural sciences. This leads to a general critique of naturalism, its historical development and its importance for modern culture and consciousness; and that in turn points, forward to a positive account of human agency and the self, the constitutive role of language and value, and the scope of practical reason. The volumes jointly present some two decades of work on these fundamental themes, and convey strongly the tenacity, verve and versatility of the author in grappling with them. They will interest a very wide range of philosophers and students of the human sciences. (shrink)

Perhaps the most readable and accessible of the great works of scientific imagination, The Origin of Species sold out on the day it was published in 1859. Theologians quickly labeled Charles Darwin the most dangerous man in England, and, as the Saturday Review noted, the uproar over the book quickly "passed beyond the bounds of the study and lecture-room into the drawing-room and the public street." Yet, after reading it, Darwin's friend and colleague T. H. Huxley had a different (...) reaction: "How extremely stupid not to have thought of that." Based largely on Darwin's experience as a naturalist while on a five-year voyage aboard H.M.S. Beagle, The Origin of Species set forth a theory of evolution and natural selection that challenged contemporary beliefs about divine providence and the immutability of species. A landmark contribution to philosophical and scientific thought, this edition also includes an introductory historical sketch and a glossary Darwin later added to the original text. Charles Darwin grew up considered, by his own account, "a very ordinary boy, rather below the common standard of intellect." A quirk of fate kept him from the career his father had deemed appropriate--that of a country parson--when a botanist recommended Darwin for an appointment as a naturalist aboard H.M.S. Beagle from 1831 to 1836. Darwin is also the author of the five-volume work Zoology of the Voyage of the Beagle (1839) and The Descent of Man (1871). (shrink)

The standard style of argument used to prove that a theory is unde- cidable relies on certain consistency assumptions, usually that some fragment or other is negation consistent. In a non-paraconsistent set- ting, this amounts to an assumption that the theory is non-trivial, but these diverge when theories are couched in paraconsistent logics. Furthermore, there are general methods for constructing inconsistent models of arithmetic from consistent models, and the theories of such inconsistent models seem likely to differ in terms of (...) complexity. In this paper, I begin to explore this terrain, working, particularly, in incon- sistent theories of arithmetic couched in three-valued paraconsistent logics which have strong (i.e. detaching) conditionals. (shrink)

We investigate a hitherto under-considered avenue of response for the logical pluralist to collapse worries. In particular, we note that standard forms of the collapse arguments seem to require significant order-theoretic assumptions, namely that the collection of admissible logics for the pluralist should be closed under meets and joins. We consider some reasons for rejecting this assumption, noting some prima facie plausible constraints on the class of admissible logics which would lead a pluralist admitting those logics to resist such closure (...) conditions. (shrink)

The publication of Darwin's On the Origin of Species in 1859 ignited a public storm he neither wanted nor enjoyed. Having offered his book as a contribution to science, Darwin discovered to his dismay that it was received as an affront by many scientists and as a sacrilege by clergy and Christian citizens. To answer the criticism that his theory was a theory only, and a wild one at that, he published two volumes in 1868 to demonstrate that evolution was (...) obvious to anyone who cared to look at a bull in a pasture or a dog on a hearth. In response to those who insisted that species were distinct since creation, Darwin pointed to breeders of pigs and pigeons. In reply to those who protested that human intervention is one thing and natural selection another, he argued, "If organic beings had not possessed an inherent tendency to vary, man could have done nothing." To counter those who scorned his descriptions of species in exotic places, he submitted local evidence of cabbages and cauliflower. Based on a wide array of sources, from ancient pictographs to Polish roosters, from skins and from skeletons, from scientific journals and breeding manuals, Darwin assembled a mass of proof--and a hypothesis about species reversion that risked his reputation anew. The Variation of Animals and Plants under Domestication is a two-volume compilation of his thorough and intensive research and the revolutionary conclusions that resulted. The first portion of his work is dedicated to a meticulous analysis of various aspects of plant and animal life, including an inventory of varieties and their physical and behavioral characteristics, investigation of the impact of a species' surrounding environment and the role that both natural and forced changes in this environment have had. Darwin then turns to a richly detailed discussion of the roles of inheritance and crossing in the development of species. A wealth of illustrations further support and enhance his findings. This fascinating, invaluable, and courageous undertaking eventually formed the foundation for our current understanding of evolution. "In science as in politics the victors tend to write the history books. As a result, the record of the past is edited, intentionally or unintentionally, so that it focuses mainly on the precursors of contemporary orthodoxy. Such a focus may accurately represent the genealogy of modern ideas, but it almost inevitably misrepresents the historical experience of their progenitors... Even the powerful, persuasive, and ultimately triumphant theory of evolution by natural selection required not only defense, but repeated buttressing and revision. Variation showed Darwin hard at work on this rearguard action, using the materials he had at hand... His information was gleaned from the observations of fanciers, breeders, and amateur naturalists, as well as from the treatises of those on the cutting edge of zoology and botany. As hindsight narrows the historical spotlight, it imposes its own sense of hierarchy on the preoccupations of the past. But Darwin was interested in all of these topics, valued all of these sources, and belonged, to a greater or lesser extent, to all of these communities."--from the Introduction. (shrink)

The collapse models of arithmetic are inconsistent, nontrivial models obtained from ℕ and set out in the Logic of Paradox (LP). They are given a general treatment by Priest (Priest, 2000). Finite collapse models are decidable, and thus axiomatizable, because finite. LP, however, is ill-suited to normal axiomatic reasoning, as it invalidates Modus Ponens, and almost all other usual conditional inferences. I set out a logic, A3, first given by Avron (Avron, 1991), and give a first order axiom system for (...) the finite collapse models. I present some standard arithmetical axioms in addition to a cyclic axiom and prove that these axioms are sound and complete for the cyclic models, reporting a similar result for the heap models. The state of the situation for the each of the kinds of infinite collapse model is, however, left an open question. (shrink)

A new understanding of political philosophy from one of its leading thinkers What is political philosophy? What are its fundamental problems? And how should it be distinguished from moral philosophy? In this book, Charles Larmore redefines the distinctive aims of political philosophy, reformulating in this light the basis of a liberal understanding of politics. Because political life is characterized by deep and enduring conflict between rival interests and differing moral ideals, the core problems of political philosophy are the regulation (...) of conflict and the conditions under which the members of society may thus be made subject to political authority. We cannot assume that reason will lead to unanimity about these matters because individuals hold different moral convictions. Larmore therefore analyzes the concept of reasonable disagreement and investigates the ways we can adjudicate conflicts among people who reasonably disagree about the nature of the human good and the proper basis of political society. Challenging both the classical liberalism of Locke, Kant, and Mill, and more recent theories of political realism proposed by Bernard Williams and others, Larmore argues for a version of political liberalism that is centered on political legitimacy rather than on social justice, and that aims to be well suited to our times rather than universally valid. Forceful and thorough yet concise, What Is Political Philosophy? proposes a new definition of political philosophy and demonstrates the profound implications of that definition. The result is a compelling and distinctive intervention from a major political philosopher. (shrink)

Fundamental Buddhist teachings -- Main features of some western ethical theories -- Teravāda ethics as rule-consequentialism -- Mahāyāna ethics before Śāntideva and after -- Transcending ethics -- Buddhist ethics and the demands of consequentialism -- Buddhism on moral responsibility -- Punishment -- Objections and replies -- A Buddhist response to Kant.

Packed with examples pulled straight from recent headlines, ENGINEERING ETHICS, Sixth Edition, helps engineers understand the importance of their conduct as professionals as well as reflect on how their actions can affect the health, safety and welfare of the public and the environment. Numerous case studies give readers plenty of hands-on experience grappling with modern-day ethical dilemmas, while the book's proven and structured method for analysis walks readers step by step through ethical problem-solving techniques. It also offers practical application of (...) the Engineering Code of Ethics and thorough coverage of critical moral reasoning, effective organizational communication, sustainability and economic development, risk management, ethical responsibilities, globalized standards for engineering and emerging challenges relating to evolving technology. Important Notice: Media content referenced within the product description or the product text may not be available in the ebook version. (shrink)

The Spirit of the Laws is, without question, one of the central texts in the history of eighteenth-century thought, yet there has been no complete, scholarly English-language edition since that of Thomas Nugent, published in 1750. This lucid translation renders Montesquieu's problematic text newly accessible to a fresh generation of students, helping them to understand quite why Montesquieu was such an important figure in the early enlightenment and why The Spirit of the Laws was, for example, such an influence upon (...) those who framed the American constitution. Fully annotated, this edition focuses attention upon Montesquieu's use of sources and his text as a whole, rather than upon those opening passages towards which critical energies have traditionally been devoted, and a select bibliography and chronology are provided for those coming to Montesquieu's work for the first time. (shrink)

This is an introduction to the special issue of the AJL on Val Plumwood's manuscript "False Laws of Logic" and her other work in logic.

We investigate an information based generalization of the incompatibility-frame treatment of logics with non-classical negation connectives. Our framework can be viewed as an alternative to the neighbourhood semantics for extensions of lattice logic by various negation connectives, investigated by Hartonas. We set out the basic semantic framework, along with some correspondence results for extensions. We describe three kinds of constructions of canonical models and show that double negation law is not canonical with respect to any of these constructions. We also (...) compare our semantics to Hartonas’. (shrink)

The Tattvasaṃgraha, or Encyclopedia of Metaphysics, is the most influential and most frequently studied philosophical text from the late period of Indian Buddhism. This edition includes verses by Śāntarakṣita (c. 725-788 CE), which are clarified and expounded in the commentary of his student Kamalaśīla (c. 740-795 CE); both of these authors played crucial roles in founding the Buddhist tradition of Tibet. In the Tattvasaṃgraha, they explain, discuss and critique a vast range of views and arguments from across the whole South (...) Asian philosophical and religious spectrum. The work deals at length with ideas drawn from Buddhism, Jainism, and a variety of traditions now incorporated within Hinduism, including Mīmāṃsā, Nyāya-vaiśeṣika, and Sāṃkhya; it also includes the earliest discussion of Advaita Vedānta in any Buddhist text. The chapters selected for translation from Sanskrit and Tibetan deal with such fundamental philosophical issues as the existence or nonexistence of God and the soul; the nature of matter and of causal relationships; the connection between words and their referents; the rules of logic; the sources of our knowledge; and the compatibility of beliefs about karma with Buddhism's fundamental claim that there is no self. Introductory chapters discuss translation choices and explain the forms of argument and methods of reasoning employed by Śāntarakṣita and Kamalaśīla. (shrink)

Kapsner strong logics, originally studied in the context of connexive logics, are those in which all formulas of the form \(A\rightarrow \lnot A\) or \(\lnot A\rightarrow A\) are unsatisfiable, and in any model at most one of \(A\rightarrow B, A\rightarrow \lnot B\) is satisfied. In this paper, such logics are studied algebraically by means of algebraic structures in which negation is modeled by an operator \(\lnot \) s.t. any element _a_ is incomparable with \(\lnot a\). A range of properties which (...) are (in)compatible with such operators are studied, and examples are given; finally, the question of which further operators can be added to such structures is broached. (shrink)

We set out the implication fragment of Frege’s Grundgesetze, clarifying the implication rules and showing that this system extends Absolute Implication, or the implication fragment of Intuitionist logic. We set out a sequent calculus which naturally captures Frege’s implication proofs, and draw particular attention to the Cut-like features of his Hypothetical Syllogism rule.

We present an objection to Beall & Henderson’s recent paper defending a solution to the fundamental problem of conciliar Christology using qua or secundum clauses. We argue that certain claims the acceptance/rejection of which distinguish the Conciliar Christian from others fail to so distinguish on Beall & Henderson’s 0-Qua view. This is because on their 0-Qua account, these claims are either acceptable both to Conciliar Christians as well as those who are not Conciliar Christians or because they are acceptable to (...) neither. (shrink)

This volume presents a series of essays published by Charles Kahn over a period of forty years, in which he seeks to explicate the ancient Greek concept of ...

This first volume of the Logic of the Future edition collects Peirce's writings on the historical development, theory and application of his graphical method and diagrammatic reasoning. Its 28 selections of texts and extensive general and volume int.

In this book, Charles Larmore develops an account of morality, freedom, and reason that rejects the naturalistic metaphysics shaping much of modern thought. Reason, Larmore argues, is responsiveness to reasons, and reasons themselves are essentially normative in character, consisting in the way that physical and psychological facts - facts about the world of nature - count in favor of possibilities of thought and action that we can take up. Moral judgments are true or false in virtue of the moral (...) reasons there are. We need therefore a more comprehensive metaphysics that recognizes a normative dimension to reality as well. Though taking its point of departure in the analysis of moral judgment, this book branches widely into related topics such as freedom and the causal order of the world, textual interpretation, the nature of the self, self-knowledge, and the concept of duties to ourselves. (shrink)

Autonomy is a vital principle in medical law and ethics. It occupies a prominent place in all medico-legal and ethical debate. But there is a dangerous presumption that it should have the only vote, or at least the casting vote. This book is an assault on that presumption, and an audit of autonomy's extraordinary status. This book surveys the main issues in medical law, noting in relation to each issue the power wielded by autonomy, asking whether that power can be (...) justified, and suggesting how other principles can and should contribute to the law. It concludes that autonomy's status cannot be intellectually or ethically justified, and that positive discrimination in favour of the other balancing principles is urgently needed in order to avoid some sinister results. 'This book is a sustained attack on the hegemony of the idea of autonomy in medical ethics and law. Charles Foster is no respecter of authority, whether of university professors or of law Lords. He grabs his readers by their lapels and shakes sense into them through a combination of no-nonsense rhetoric and subtle argument that is difficult to resist.' Tony Hope, Professor of Medical Ethics, Oxford University 'This book is unlikely to be in pristine state by the time you have finished reading it. Whether that is because you have thrown it in the air in celebration or thrown it across the room in frustration will depend on your perspective. But this book cannot leave you cold. It is a powerful polemic on the dominance of autonomy in medical law, which demands a reaction. Charles Foster sets out a powerful case that academic medical lawyers have elevated autonomy to a status it does not deserve in either ethical or legal terms. In a highly engaging, accessible account, he challenges many of the views which have become orthodox within the academic community. This will be a book which demands and will attract considerable debate.' Jonathan Herring, Exeter College, Oxford University 'This is a learned, lively and thought-provoking discussion of problems central to the courts' approach to ethical issues in medical law. What principles are involved? More significantly, which really underlie and inform the process of seeking justice in difficult cases? Charles Foster persuasively argues, and demonstrates, that respect for autonomy is but one of a number of ethical principles which interact and may conflict. He also addresses the sensitive issue of the extent to which thoughts and factors which go to influence legal decisions may not appear in the judgments.' Adrian Whitfield QC. 'Introducing the Jake La Motta of medical ethics. Foster is an academic street-fighter who has bloodied his hands in the court room. He provides a stinging, relentless, ground attack on the Goliath of medical ethics: the central place of autonomy in liberal medical ethics. This is now the first port of call for those who feel that medical ethics has become autonomized.' Julian Savulescu, Uehiro Chair in Practical Ethics, University of Oxford. "This important book offers a robust challenge to anyone, whether lawyer or 'ethicist', who sees respect for autonomy as the only game in town. It argues eloquently and effectively that, on the one hand, despite the reverence paid to it by judges, in practice the law, even in the context of consent, weaves together a number of moral threads of which autonomy is merely one, in the pursuit of a good decision. It argues on the other hand, that were the day-to-day practice of law to be guided primarily by respect for autonomy, this would be wrong. Foster concludes that whilst, 'any society that does not have laws robustly protecting autonomy is an unsafe and unhappy one', so too would be a society in which too much emphasis was placed on respect for autonomy at the expense of other important moral principles. This is essential reading for anyone interested in the role of autonomy and indeed of medical ethics, in the law." Michael Parker, Professor of Bioethics, University of Oxford. (shrink)

Of laws in general -- Of laws directly derived from the nature of government -- Of the principles of the three kinds of government -- That the laws of education ought to be relative to the principles of government -- That the laws given by the legislator ought to be relative to the nature of government -- Consquences of the principles of different governments, with respect to the simplicity of civil and criminal laws, the form of judgements, and inflicting of (...) punishments -- Consquences of the different principles of the three governments, with respect to sumptuary laws, luxury, and the condition of women -- Of the corruption of the principles of the three governments -- Of the laws in the relation they bear to defensive force -- Of laws, in the relation they bear to offensive force. (shrink)

Iris Murdoch and moral philosophy -- Understanding the other: a Gadamerian view on conceptual schemes -- Language not mysterious? -- Celan and the recovery of language -- Nationalism and modernity -- Conditions of an unforced consensus on human rights -- Democratic exclusion (and its remedies?) -- Religious mobilizations -- Themes from a secular age -- The immanent counter-enlightenment -- Notes on the sources of violence: perennial and modern -- The future of the religious past -- Disenchantment-re-enchantment -- What does secularism (...) mean? -- Die blosse Vernunft ("reason alone") -- Perils of moralism -- What was the Axial revolution? (shrink)

What laws of logic say -- Frege's target -- The twilight of empiricism -- Psychologism -- Morally alien thought -- To represent as so -- The proposition's progress -- Truth and merit -- The shape of the conceptual -- Thought's social nature -- Faust's way.