A subtheory of the theory of self-referential truth known as FS is shown to be weak as a theory of truth but equivalent to full FS in its proof-theoretic strength.

Probably the two most famous examples of elementary embeddings between inner models of set theory are the embeddings of the universe into an inner model given by a measurable cardinal and the embeddings of the constructible universeLinto itself given by 0#. In both of these examples, the “target model” is a subclass of the “ground model”. It is not hard to find examples of embeddings in which the target model is not a subclass of the ground model: ifis a generic (...) ultrafilter arising from forcing with a precipitous ideal on a successor cardinalκ, then the ultraproduct of the ground model viacollapsesκ. Such considerations suggest a classification of how close the target model comes to “fitting inside” the ground model.Definition 1.1. LetMandNbe inner models of ZFC, and letj:M→Nbe an elementary embedding. Theco-critical pointofjis the least ordinalλ, if any exist, such that there isX⊆λ, X∈NbutX∉M. Such anXis called anew subsetofλ.It is easy to see that the co-critical point ofj:M→Nis a cardinal inN. (shrink)

We define a class of functions, the descent recursive functions, relative to an arbitrary elementary recursive system of ordinal notations. By means of these functions, we provide a general technique for measuring the proof-theoretic strength of a variety of systems of first-order arithmetic. We characterize the provable well-orderings and provably recursive functions of these systems, and derive various conservation and equiconsistency results.

In a modal system of arithmetic, a theory S has the modal disjunction property if whenever $S \vdash \square\varphi \vee \square\psi$ , either $S \vdash \square\varphi$ or $S \vdash \square\psi. S$ has the modal numerical existence property if whenever $S \vdash \exists x\square\varphi(x)$ , there is some natural number n such that $S \vdash \square\varphi(\mathbf{n})$ . Under certain broadly applicable assumptions, these two properties are equivalent.

History and Philosophy of Logic, Volume 33, Issue 1, Page 99-100, February 2012.

This article examines the development of the concept of the value chain from the linear to the virtual conception of the chain, through the evolution of the literature from Michael Porter’s writings of the mid 1990s to the theorists of e-business and e-commerce in the later 1990s I argue that Porter’s account employs white metaphors and that writings on the virtual value chain both extend the white metaphors of Porter’s linear chain, and suggest a pronouncedly metaphysical system of thought (...) — one which has correlates in areas of thought, including Renaissance Neo-Platonism, cybernetics and the discourse of cyberspace. I suggest that this offers a model of the advance of metaphor — of its usure, as described by Derrida in his White Mythology — and that this model can be synthesised with the views of Ricoeur about the evolution of metaphor towards symbolism. When we apply these ideas of Derrida and Ricoeur to the development of the White Metaphor of the linear chain towards a progressive symbolism, we can see a correlation between the complex causality inferred as a feature of the virtual chain and the cosmological affinities of Renaissance notions of causation. (shrink)

This article examines the development of the concept of the value chain from the linear to the virtual conception of the chain, through the evolution of the literature from Michael Porter’s writings of the mid 1990s to the theorists of e-business and e-commerce in the later 1990s I argue that Porter’s account employs white metaphors and that writings on the virtual value chain both extend the white metaphors of Porter’s linear chain, and suggest a pronouncedly metaphysical system of thought (...) — one which has correlates in areas of thought, including Renaissance Neo-Platonism, cybernetics and the discourse of cyberspace. I suggest that this offers a model of the advance of metaphor — of its usure, as described by Derrida in his White Mythology — and that this model can be synthesised with the views of Ricoeur about the evolution of metaphor towards symbolism. When we apply these ideas of Derrida and Ricoeur to the development of the White Metaphor of the linear chain towards a progressive symbolism, we can see a correlation between the complex causality inferred as a feature of the virtual chain and the cosmological affinities of Renaissance notions of causation. (shrink)

This paper compares the roles classical and intuitionistic logic play in restricting the free use of truth principles in arithmetic. We consider fifteen of the most commonly used axiomatic principles of truth and classify every subset of them as either consistent or inconsistent over a weak purely intuitionistic theory of truth.

The first attempt at a systematic approach to axiomatic theories of truth was undertaken by Friedman and Sheard (Ann Pure Appl Log 33:1–21, 1987). There twelve principles consisting of axioms, axiom schemata and rules of inference, each embodying a reasonable property of truth were isolated for study. Working with a base theory of truth conservative over PA, Friedman and Sheard raised the following questions. Which subsets of the Optional Axioms are consistent over the base theory? What are the (...) proof-theoretic strengths of the consistent theories? The first question was answered completely by Friedman and Sheard; all subsets of the Optional Axioms were classified as either consistent or inconsistent giving rise to nine maximal consistent theories of truth.They also determined the proof-theoretic strength of two subsets of the Optional Axioms. The aim of this paper is to continue the work begun by Friedman and Sheard. We will establish the proof-theoretic strength of all the remaining seven theories and relate their arithmetic part to well-known theories ranging from PA to the theory of ${\Sigma^1_1}$ dependent choice. (shrink)

An engaging and illuminating exploration of grief—and why, despite its intense pain, it can also help us grow Experiencing grief at the death of a person we love or who matters to us—as universal as it is painful—is central to the human condition. Surprisingly, however, philosophers have rarely examined grief in any depth. In Grief, Michael Cholbi presents a groundbreaking philosophical exploration of this complex emotional event, offering valuable new insights about what grief is, whom we grieve, and how (...) grief can ultimately lead us to a richer self-understanding and a fuller realization of our humanity. Drawing on psychology, social science, and literature as well as philosophy, Cholbi explains that we grieve for the loss of those in whom our identities are invested, including people we don't know personally but cherish anyway, such as public figures. Their deaths not only deprive us of worthwhile experiences; they also disrupt our commitments and values. Yet grief is something we should embrace rather than avoid, an important part of a good and meaningful life. The key to understanding this paradox, Cholbi says, is that grief offers us a unique and powerful opportunity to grow in self-knowledge by fashioning a new identity. Although grief can be tumultuous and disorienting, it also reflects our distinctly human capacity to rationally adapt as the relationships we depend on evolve. An original account of how grieving works and why it is so important, Grief shows how the pain of this experience gives us a chance to deepen our relationships with others and ourselves. (shrink)

Michael Tooley presents a major new philosophical theory of the nature of time, offering a powerful alternative to the traditional "tensed" and recent "tenseless" accounts of time. He argues for a dynamic conception of the universe, in which past, present, and future are not merely subjective features of experience. He claims that the past and the present are real, while the future is not. Tooley's approach accounts for time in terms of causation. He therefore claims that the key to (...) understanding the dynamic nature of the universe is to understand the nature of causation. Time, Tense, and Causation is a landmark treatment of one of the oldest and most perplexing intellectual problems, and will be fascinating reading for anyone interested in the character of time. (shrink)

Michael Ridge presents an original expressivist theory of normative judgments--Ecumenical Expressivism--which offers distinctive treatments of key problems in metaethics, semantics, and practical reasoning. He argues that normative judgments are hybrid states partly constituted by ordinary beliefs and partly constituted by desire-like states.

Every choice we make is set against a background of massive ignorance about our past, our future, our circumstances, and ourselves. Philosophers are divided on the moral significance of such ignorance. Some say that it has a direct impact on how we ought to behave - the question of what our moral obligations are; others deny this, claiming that it only affects how we ought to be judged in light of the behaviour in which we choose to engage - the (...) question of what responsibility we bear for our choices. Michael Zimmerman claims that our ignorance has an important bearing on both questions, and offers an account of moral obligation and moral responsibility that is sharply at odds with the prevailing wisdom. His book will be of interest to a wide range of readers in ethics. (shrink)

Inspired by the work of Wilfrid Sellars, Michael Williams launches an all-out attack on what he calls "phenomenalism," the idea that our knowledge of the world rests on a perceptual or experiential foundation.

Michael G. Titelbaum presents a new Bayesian framework for modeling rational degrees of belief—the first of its kind to represent rational requirements on agents who undergo certainty loss.

Michael Potter presents a comprehensive new philosophical introduction to set theory. Anyone wishing to work on the logical foundations of mathematics must understand set theory, which lies at its heart. Potter offers a thorough account of cardinal and ordinal arithmetic, and the various axiom candidates. He discusses in detail the project of set-theoretic reduction, which aims to interpret the rest of mathematics in terms of set theory. The key question here is how to deal with the paradoxes that bedevil (...) set theory. Potter offers a strikingly simple version of the most widely accepted response to the paradoxes, which classifies sets by means of a hierarchy of levels. What makes the book unique is that it interweaves a careful presentation of the technical material with a penetrating philosophical critique. Potter does not merely expound the theory dogmatically but at every stage discusses in detail the reasons that can be offered for believing it to be true. Set Theory and its Philosophy is a key text for philosophy, mathematical logic, and computer science. (shrink)

Michael Tye untangles the complex web of empirical and conceptual issues of the newly revived imagery debate in psychology between those that liken mental...

What is going on under the hood in philosophical analysis, that familiar process that attempts to uncover the nature of such philosophically interesting kinds as knowledge, causation, and justice by the method of posit and counterexample? How, in particular, do intuitions tell us about philosophical reality? The standard, if unappealing, answer is that philosophical analysis is conceptual analysis—that what we learn about when we do philosophy is in the first instance facts about our own minds. Drawing on recent work on (...) the psychology of concepts, this book proposes a new understanding of philosophical analysis, which I call inductive analysis. The thesis that philosophical analysis is inductive analysis explains how novel, substantive philosophical knowledge can be generated in the armchair. It also explains why attempts at philosophical analysis tend to fall short of providing a complete and uncontroversial definition, and supplies reasons not to lament this apparent shortcoming. (shrink)

Sometimes we learn through the use of imagination. The epistemology of imagination asks how this is possible. One barrier to progress on this question has been a lack of agreement on how to characterize imagination; for example, is imagination a mental state, ability, character trait, or cognitive process? This paper argues that we should characterize imagination as a cognitive ability, exercises of which are cognitive processes. Following dual process theories of cognition developed in cognitive science, the set of imaginative processes (...) is then divided into two kinds: one that is unconscious, uncontrolled, and effortless, and another that is conscious, controlled, and effortful. This paper outlines the different epistemological strengths and weaknesses of the two kinds of imaginative process, and argues that a dual process model of imagination helpfully resolves or clarifies issues in the epistemology of imagination and the closely related epistemology of thought experiments. (shrink)

Sceptical theists--e.g., William Alston and Michael Bergmann--have claimed that considerations concerning human cognitive limitations are alone sufficient to undermine evidential arguments from evil. We argue that, if the considerations deployed by sceptical theists are sufficient to undermine evidential arguments from evil, then those considerations are also sufficient to undermine inferences that play a crucial role in ordinary moral reasoning. If cogent, our argument suffices to discredit sceptical theist responses to evidential arguments from evil.

In _The Immorality of Punishment_ Michael Zimmerman argues forcefully that not only our current practice but indeed any practice of legal punishment is deeply morally repugnant, no matter how vile the behaviour that is its target. Despite the fact that it may be difficult to imagine a state functioning at all, let alone well, without having recourse to punishing those who break its laws, Zimmerman makes a timely and compelling case for the view that we must seek and put (...) into practice alternative means of preventing crime and promoting social stability. (shrink)

Conditionals has at its center an extended essay on this problematic and much-debated subject in the philosophy of language and logic, which the widely respected Oxford philosopher Michael Woods had been preparing for publication at the time of his death in 1993. It appears here edited by his eminent colleague David Wiggins, and is accompanied by a commentary specially written by a leading expert on the topic, Dorothy Edgington. This masterly and original treatment of conditionals will demand the attention (...) of all philosophers working in this area. (shrink)

Michael Davis, a leading figure in the study of professional ethics, offers here both a compelling exploration of engineering ethics and a philosophical analysis of engineering as a profession. After putting engineering in historical perspective, Davis turns to the Challenger space shuttle disaster to consider the complex relationship between engineering ideals and contemporary engineering practice. Here, Davis examines how social organization and technical requirements define how engineers should (and presumably do) think. Later chapters test his analysis of engineering judgement (...) and autonomy empirically, engaging a range of social science research including a study of how engineers and managers work together in ten different companies. (shrink)

_Paradoxes from A to Z, Third edition_ is the essential guide to paradoxes, and takes the reader on a lively tour of puzzles that have taxed thinkers from Zeno to Galileo, and Lewis Carroll to Bertrand Russell. Michael Clark uncovers an array of conundrums, such as Achilles and the Tortoise, Theseus’ Ship, and the Prisoner’s Dilemma, taking in subjects as diverse as knowledge, science, art and politics. Clark discusses each paradox in non-technical terms, considering its significance and looking at (...) likely solutions. This third edition is revised throughout, and adds nine new paradoxes that have important bearings in areas such as law, logic, ethics and probability. Paradoxes from A to Z, Third edition is an ideal starting point for those interested not just in philosophical puzzles and conundrums, but anyone seeking to hone their thinking skills. (shrink)

Much has been published about the ethical issues encountered by clinicians in genetics/genomics, but those experienced by clinical laboratory scientists are less well described. Clinical laboratory scientists now frequently face navigating ethical problems in their work, but how they should be best supported to do this is underexplored. This lack of attention is also reflected in the ethics tools available to clinical laboratory scientists such as guidance and deliberative ethics forums, developed primarily to manage issues arising within the clinic.We explore (...) what ethical issues are being experienced by clinical scientists, how they think such issues could be best analysed and managed, and whether their practice might be enhanced by more situated approaches to ethics deliberation and practice such as ethical preparedness. From thematic analysis of cases presented by clinical scientists at a specially convened meeting of the UK Genethics Forum, we derived three main ethical themes: (1) the redistribution of labour and responsibilities resulting from the practice of genomic medicine; (2) the interpretation and certainty of results and (3) the proposal that better standardisation and consistency of ethical approaches (for example, more guidelines and policy) could resolve some of the challenges arising.We argue that although standardisation is important for promoting shared understandings of good (including ethical) practice, supplementary approaches to enhance and sustain ethical preparedness will be important to help clinical scientists and others in the recently expanded genetic/genomic medicine environment foster quality ethical thinking. (shrink)

In this article, we analyse the evidential value of the corpus of experimental philosophy. While experimental philosophers claim that their studies provide insight into philosophical problems, some philosophers and psychologists have expressed concerns that the findings from these studies lack evidential value. Barriers to evidential value include selection bias and p-hacking. To find out whether the significant findings in x-phi papers result from selection bias or p-hacking, we applied a p-curve analysis to a corpus of 365 x-phi chapters and articles. (...) Our results suggest that this corpus has evidential value, although there are hints of p-hacking in a few parts of the x-phi corpus. (shrink)

I claim that one way thought experiments contribute to scientific progress is by increasing scientific understanding. Understanding does not have a currently accepted characterization in the philosophical literature, but I argue that we already have ways to test for it. For instance, current pedagogical practice often requires that students demonstrate being in either or both of the following two states: 1) Having grasped the meaning of some relevant theory, concept, law or model, 2) Being able to apply that theory, concept, (...) law or model fruitfully to new instances. Three thought experiments are presented which have been important historically in helping us pass these tests, and two others that cause us to fail. Then I use this operationalization of understanding to clarify the relationships between scientific thought experiments, the understanding they produce, and the progress they enable. I conclude that while no specific instance of understanding (thus conceived) is necessary for scientific progress, understanding in general is. (shrink)

Presenting an ardent defence of Charles Darwin's theory of evolution, this book offers a clear and comprehensive exposition of Darwin's thinking. Michael Ruse brings the story up to date, examining the origins of life, the fossil record, and the mechanism of natural selection. Rival theories are explored, from punctuated equilibrium to human evolution. The philosophical and religious implications of Darwinism are discussed, including a discussion of Creationism and its modern day offshoot, Intelligent Design Theory. Ruse draws upon the most (...) recent discoveries, writing with a minimum of jargon in order to appeal to all readers, from professional biologists to those concerned that Darwinism is a naturalistic religion that is forced on school children despite their own Christian convictions. Openly revealing his own beliefs, Ruse presents readers with all the information and critical tools they need to make an informed decision on evolutionary theory. (shrink)

Maxwell's deduction of the probability distribution over the velocity of gas molecules—one of the most important passages in physics (Truesdell)—presents a riddle: a physical discovery of the first importance was made in a single inferential leap without any apparent recourse to empirical evidence. -/- Tychomancy proposes that Maxwell's derivation was not made a priori; rather, he inferred his distribution from non-probabilistic facts about the dynamics of intermolecular collisions. Further, the inference is of the same sort as everyday reasoning about the (...) physical probabilities attached to such canonical chance setups as tossed coins or rolled dice. The structure of this reasoning is investigated and some simple rules for inferring physical probabilities from symmetries and other causally relevant properties of physical systems are proposed. -/- Not only physics but evolutionary biology and population ecology, the science of measurement error, and climate modeling have benefited enormously from the same kind of reasoning, the book goes on to argue. Inferences from dynamics to probability are so obvious to us, however, that their methodological importance has been largely overlooked. (shrink)

In this provocative book, Michael Tye presents his unique account of the metaphysical foundations of psychological discourse. In place of token identity theory or eliminative materialism, he advocates a generalisation of the adverbial approach to sensory experience, the 'operator theory'. He applies this to the analysis of prepositional attitudes, arguing that mental statements cannot involve reference to mental events or objects and that therefore causal statements about the mental cannot be regarded as asserting relations between events. This adverbial theory (...) has the virtue of being both simple and systematic and is an important contribution to the philosophy of mind. (shrink)

The concept of truth is now a major research subject in analytic philosophy. At the same time, working in different areas, mathematical logicians have developed sophisticated theories of truth and its formal paradoxes. Recent developments of semantical paradoxes in logical theories are highly relevant for philosophical research on the notion of truth. And conversely, philosophical guidance is necessary for the development of logical theories of truth and the paradoxes. From this perspective, this volume intends to reflect and promote deeper interaction (...) and collaboration between philosophers and logicians investigating the concept of truth than has existed so far. In addition to an extended introductory overview of recent work in the theory of truth, the volume includes articles by leading philosophers and logicians on subjects and debates that interface logical and philosophical theories of truth. The volume is intended for graduate students in philosophy and in logic who want an introduction to contemporary research in this area, as well as for professional philosophers and logicians. Topics covered include a defense of minimalism, metaworlds, the role of correspondence theory, and truth, provability and its criteria. The volume includes contributions by John P. Burgess, Paul Horwich, and Michael Sheard. The contributors are united in their belief that at present the connections between truth and intentional notions are poorly understood, and the entire area is in an unsatisfactory state. Controversy abounds: Is truth a logical-mathematic concept or a properly philosophical one? Does truth pertain to temporal events or possible worlds? Axiomatic theories do not seem to possess the naturalness and elegance intentional notions of truth. The editors intend this volume to offer semantical guidance to those who would construct interesting axiomatic systems concerning intentional notions. Volker Halbach is on the faculty of philosophy of the Universitt Konstanz in Germany. He has contributed articles for Mind, Notre Dame Journal of Formal Logic, Journal of Symbolic Logic, Synthese, and other leading publications in philosophy. Leon Horsten is in the Department of Philosophy, University of Leuven. His work on the subject of this book has appeared in the Journal of Philosophical Logic. (shrink)

Is Leo Strauss truly an intellectual forebear of neoconservatism and a powerful force in shaping Bush administration foreign policy? _The Truth about Leo Strauss_ puts this question to rest, revealing for the first time how the popular media came to perpetuate an oversimplified view of a complex and wide-ranging philosopher. In doing so, it corrects our perception of Strauss, providing the best general introduction available to the political thought of this misunderstood figure. Catherine and Michael Zuckert—both former students of (...) Strauss—guide readers here to a nuanced understanding of how Strauss’s political thought fits into his broader philosophy. Challenging the ideas that Strauss was an inflexible conservative who followed in the footsteps of Nietzsche, Heidegger, and Carl Schmitt, the Zuckerts contend that Strauss’s signature idea was the need for a return to the ancients. Through their work, they conclude that Strauss was a sober defender of liberal democracy, aware of both its strengths and its weaknesses. Balanced and accessible, _The Truth about Leo Strauss_ is a must-read for anyone who wants to more fully comprehend this enigmatic philosopher and his much-disputed legacy. “_The Truth about Leo Strauss_ is the most balanced and insightful book yet written about Strauss’s thought, students, and political influence. It dispels myths promulgated by both friends and foes and persuasively traces the conflicting paths that American thinkers indebted to Strauss have taken.”—William Galston, Brookings Institution. (shrink)

Robert Batterman and others have argued that certain idealizing explanations have an asymptotic form: they account for a state of affairs or behavior by showing that it emerges “in the limit”. Asymptotic idealizations are interesting in many ways, but is there anything special about them as idealizations? To understand their role in science, must we augment our philosophical theories of idealization? This paper uses simple examples of asymptotic idealization in population genetics to argue for an affirmative answer and proposes a (...) general schema for asymptotic idealization, drawing on insights from Batterman’s treatment and from John Norton’s subsequent critique. (shrink)

Computational systems biologists create and manipulate computational models of biological systems, but they do not always have straightforward epistemic access to the content and behavioural profile of such models because of their length, coding idiosyncrasies, and formal complexity. This creates difficulties both for modellers in their research groups and for their bioscience collaborators who rely on these models. In this paper we introduce a new kind of visualization that was developed to address just this sort of epistemic opacity. The visualization (...) is unusual in that it depicts the dynamics and structure of a computer model instead of that model’s target system, and because it is generated algorithmically. Using considerations from epistemology and aesthetics, we explore how this new kind of visualization increases scientific understanding of the content and function of computer models in systems biology to reduce epistemic opacity. (shrink)

In Wittgenstein and the Study of Politics, Michael Temelini outlines an innovative new approach to understanding the political implications of Wittgenstein’s philosophy. Most political philosophers who have approached Wittgenstein have done so through the idea of therapeutic skepticism, implying politics that privilege conservatism or non-interference. Temelini interprets Wittgenstein differently, emphasizing his view that we come to understand the meanings of words and actions through a dialogue of comparison with other cases. Examining the work of Charles Taylor, Quentin Skinner, and (...) James Tully, Temelini highlights the ways in which all three, despite their differences, share a common debt to that dialogical approach.A cogent explanation of how Wittgenstein’s epistemology and ontology can shed light on political issues and offer a solution to political challenges, Wittgenstein and the Study of Politics highlights the importance of Wittgensteinian thinking in contemporary political science, political theory, and political philosophy. (shrink)

Michael J. Almeida presents a bold new defence of the existence of God. He argues that entrenched principles in philosophical theology which have served as basic assumptions in apriori, atheological arguments are in fact philosophical dogmas. Almeida argues that not only are such principles false - they are necessarily false.

Michael Tanner; IX*—Sentimentality, Proceedings of the Aristotelian Society, Volume 77, Issue 1, 1 June 1977, Pages 127–148, https://doi.org/10.1093/aristotelia.

This paper presents an account of how to evaluate formal models of science: models and simulations in social epistemology designed to draw normative conclusions about the social structure of scientific research. I argue that such models should be evaluated according to their representational and predictive accuracy. Using these criteria and comparisons with familiar models from science, I argue that most formal models of science are incapable of supporting normative conclusions.

Quasi-realists aspire to accommodate core features of ordinary normative thought and discourse in an expressivist framework. One apparent such feature is that we can be more or less confident in our normative judgments—they vary in credence. Michael Smith has argued that quasi-realists cannot plausibly accommodate these distinctions simply because they understand normative judgments as desires, but desires lack the structure needed to distinguish these three features. Existing attempts to meet Smith’s challenge have accepted Smith’s presupposition that the way to (...) meet the challenge is to show that normative judgments have more structure than they initially seem to have. I argue that accepting this presupposition is accepting too much. The orthodox view of certitude, insofar as there is one, understands certitude very roughly in terms of counterfactual betting behaviour. Counterfactual betting behaviour, though, is not in any useful sense a structural feature of a given judgment. It is rather a more holistic feature of a given agent’s cognitive system. Insofar as it can meet the other challenges it faces, quasi-realism can characterize credences in terms of counterfactual betting behaviour and effectively say exactly what many realists will want to say about credences, thus meeting Smith’s challenge much more directly. (shrink)

Edited by leading experts in contemporary environmental philosophy, this anthology features the best available selections that cover the full range of positions within this rapidly developing field. Divided into four sections that delve into the vast issues of contemporary Eco-philosophy, the Fourth Edition now includes a section on Continental Environmental Philosophy that explores current topics such as the social construction of nature, and eco-phenomenology. Each section is introduced and edited by a leading philosopher in the field. For professionals with a (...) career within the environmental field including law, politics, conservation, geography, and biology. (shrink)

Michael Jacovides provides an engaging account of how the scientific revolution influenced one of the foremost figures of early modern philosophy, John Locke. By placing Locke's thought in its scientific, religious, and anti-scholastic contexts, Jacovides explains not only what Locke believes but also why he believes it.