Even though disquotationalism is not correct as it is usually formulated, a deep insight lies behind it. Specifically, it can be argued that, modulo implicit commitment to reflection principles, all there is to the notion of truth is given by a simple, natural collection of truth-biconditionals.

We introduce a path-based cyclic proof system for first-order $\mu $-calculus, the extension of first-order logic by second-order quantifiers for least and greatest fixed points of definable monotone functions. We prove soundness of the system and demonstrate it to be as expressive as the known trace-based cyclic systems of Dam and Sprenger. Furthermore, we establish cut-free completeness of our system for the fragment corresponding to the modal $\mu $-calculus.

Following recent developments in the literature on axiomatic theories of truth, we investigate an alternative to the widespread habit of formalizing the syntax of the object-language into the object-language itself. We first argue for the proposed revision, elaborating philosophical evidences in favor of it. Secondly, we present a general framework for axiomatic theories of truth with theories of syntax. Different choices of the object theory O will be considered. Moreover, some strengthenings of these theories will be introduced: we will consider (...) extending the theories by the addition of coding axioms or by extending the schemas of O, if present, to the entire vocabulary of our theory of truth. Finally, we touch on the philosophical consequences that the theories described can have on the debate about the metaphysical status of the truth predicate and on the formalization of our informal metatheoretic reasoning. (shrink)

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)

This special volume of Studies in Christian Ethics constitutes the most significant continuation to date of Christian social ethics in the tradition of Ronald Preston. It brings together leading scholars and new voices in the field from around the world, covering a broad range of contemporary issues, including globalisation, poverty, feminism, civil society, economics and religious pluralism.

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.

This work is a companion to philosophy in Australia and New Zealand. It contains over two hundred entries on: Australasian philosophy departments; notable Australasian philosophers; significant events in the history of Australasian philosophy; and areas to which Australasian philosophers have made notable contributions.

This paper explores the interface between principles of self-applicable truth and classical logic. To this end, the proof-theoretic strength of a number of axiomatic theories of truth over intuitionistic logic is determined. The theories considered correspond to the maximal consistent collections of fifteen truth-theoretic principles as isolated in Leigh and Rathjen.

In this article we present a number of axiomatic theories of truth which are conservative extensions of arithmetic. We isolate a set of ten natural principles of truth and prove that every consistent permutation of them forms a theory conservative over Peano arithmetic.

This article takes an autobiographical approach to the development of practical theology as a discipline over the past 30 years, with particular attention to my own context of the United Kingdom. The unfolding of my own intellectual story in relation to key issues within the wider academic discourse provides an opportunity to reflect on some of the predominant themes and trends: past, present and future. Changing nomenclature, from 'pastoral studies' to 'practical theology', indicates how the discipline has moved from regarding (...) itself as the application of theory into practice, into a more performative and inductive epistemology. This emphasis continues to the present day and foregrounds the significance of the human context and the realities of lived experience, including narrative and autobiography. Whilst the methodological conundrums of relating experience to tradition and theory to practice continue, further challenges are beckoning, including religious pluralism, and so the article closes by surveying the prospects for a multicultural practical theology. (shrink)

This paper draws attention to the role of representation in the depiction of scientific and technological innovation as a means of understanding the narratives that circulate concerning the shape of things to come. It considers how metaphors play an important part in the conduct of scientific explanation, and how they do more than describe the world in helping also to shape expectations, normalise particular choices, establish priorities and create needs. In surveying the range of metaphorical responses to the digital and (...) biotechnological age, we will see how technologies are regarded both as 'endangerment' and 'promise'. What we believe 'technology' is doing to 'us' reflects important implicit philosophies of technology and its relationship to human agency and political choice; yet we also need to be alert to the assumptions about 'human nature' itself which inform such reactions. The paper argues that embedded in the various representations implicit in new technologies are crucial issues of identity, community and justice: what it means to be (post)human, who is (and is not) entitled to the rewards of technological advancement, what priorities (and whose interests) will inform the shape of global humanity into the next century. (shrink)

The US TV series Mad Men, set in an advertising agency in 1960s New York, offers a vivid portrayal of corporate sexism in pre-feminist America, and yet its creators defend it as a ‘feminist’ show. Reflecting on the series, I will draw out two key elements which seem significant for a consideration of the current state of feminism in church and academy, both of which centre around what it means to remember or to forget. First, there is the power of (...) what might be called ‘the allegorical past’ in helping to shape the sensibilities of both feminist theory and feminist theology: reimagining the past in order to destabilize the present and to re-envision the future. But second there is the question of whether we have become too complacent – and forgetful about the sexual revolution of the past 50 years, and whether a new wave of ‘re-membering’ our feminist heritage is required, in order to rejuvenate progressive visions of critique and transformation. (shrink)

Chapter Redeeming the Present Elaine Graham What does it mean to do feminist moral philosophy with notions of utopia and transformation as points of..

Within the human and social sciences, the analysis of gender is treated as an essential aspect of human behaviour. By contrast, within the church there has been little sustained or disciplined attention to the nature and underlying significance of gender, theological discourse and church policy all too often displaying their ignorance and unexamined assumptions about the crucial issues involved. Elaine Graham attempts a more detailed and critical inquiry into how an analysis of gender can affect policy, practice and (...) discourse with the church. (shrink)

This article explores ways in which the Revision Theory of Truth can be expressed in the object language. In particular, we investigate the extent to which semantic deficiency, stable truth, and nearly stable truth can be so expressed, and we study different axiomatic systems for the Revision Theory of Truth.

This special volume of Studies in Christian Ethics constitutes the most significant continuation to date of Christian social ethics in the tradition of Ronald Preston. It brings together leading scholars and new voices in the field from around the world, covering a broad range of contemporary issues, including globalisation, poverty, feminism, civil society, economics and religious pluralism.

Taking Charles Taylor's characterisation of the boundary between 'a secular age' and the new visibility of religion as 'an unquiet frontier', this paper considers further some of the implications of what it means to occupy the liminal space between the Scylla of secularisation and the Charibdis of religious resurgence, often known as the 'post-secular'. Some advocates of the return of religion focus on its philosophical manifestations, whereas a concentration on religious practices offers, potentially, more traction on the benefits and problems (...) of reconceiving the role of religion in the public square. (shrink)

These essays explore the religious dimensions to a number of key features of well-being, including marriage, crime and rehabilitation, work, inequality, mental ...

This paper presents a novel proof of the conservativity of the intuitionistic theory of strictly positive fixpoints, $$\widehat{{\textrm{ID}}}{}_{1}^{{\textrm{i}}}{}$$ ID ^ 1 i, over Heyting arithmetic ($${\textrm{HA}}$$ HA ), originally proved in full generality by Arai (Ann Pure Appl Log 162:807–815, 2011. https://doi.org/10.1016/j.apal.2011.03.002). The proof embeds $$\widehat{{\textrm{ID}}}{}_{1}^{{\textrm{i}}}{}$$ ID ^ 1 i into the corresponding theory over Beeson’s logic of partial terms and then uses two consecutive interpretations, a realizability interpretation of this theory into the subtheory generated by almost negative fixpoints, and (...) a direct interpretation into Heyting arithmetic with partial terms using a hierarchy of satisfaction predicates for almost negative formulae. It concludes by applying van den Berg and van Slooten’s result (Indag Math 29:260–275, 2018. https://doi.org/10.1016/j.indag.2017.07.009) that Heyting arithmetic with partial terms plus the schema of self realizability for arithmetic formulae is conservative over $${\textrm{HA}}$$ HA. (shrink)

We develop an untyped framework for the multiverse of set theory. $\mathsf {ZF}$ is extended with semantically motivated axioms utilizing the new symbols $\mathsf {Uni}(\mathcal {U})$ and $\mathsf {Mod}(\mathcal {U, \sigma })$, expressing that $\mathcal {U}$ is a universe and that $\sigma $ is true in the universe $\mathcal {U}$, respectively. Here $\sigma $ ranges over the augmented language, leading to liar-style phenomena that are analyzed. The framework is both compatible with a broad range of multiverse conceptions and suggests its (...) own philosophically and semantically motivated multiverse principles. In particular, the framework is closely linked with a deductive rule of Necessitation expressing that the multiverse theory can only prove statements that it also proves to hold in all universes. We argue that this may be philosophically thought of as a Copernican principle that the background theory does not hold a privileged position over the theories of its internal universes. Our main mathematical result is a lemma encapsulating a technique for locally interpreting a wide variety of extensions of our basic framework in more familiar theories. We apply this to show, for a range of such semantically motivated extensions, that their consistency strength is at most slightly above that of the base theory $\mathsf {ZF}$, and thus not seriously limiting to the diversity of the set-theoretic multiverse. We end with case studies applying the framework to two multiverse conceptions of set theory: arithmetic absoluteness and Joel D. Hamkins’ multiverse theory. (shrink)

We present sound and complete sequent calculi for the modal mu-calculus with converse modalities, aka two-way modal mu-calculus. Notably, we introduce a cyclic proof system wherein proofs can be represented as finite trees with back-edges, i.e., finite graphs. The sequent calculi incorporate ordinal annotations and structural rules for managing them. Soundness is proved with relative ease as is the case for the modal mu-calculus with explicit ordinals. The main ingredients in the proof of completeness are isolating a class of non-wellfounded (...) proofs with sequents of bounded size, called slim proofs, and a counter-model construction that shows slimness suffices to capture all validities. Slim proofs are further transformed into cyclic proofs by means of re-assigning ordinal annotations. (shrink)

BackgroundThe ARRIVE (Animal Research: Reporting of In Vivo Experiments) guidelines are widely endorsed but compliance is limited. We sought to determine whether journal-requested completion of an ARRIVE checklist improves full compliance with the guidelines.MethodsIn a randomised controlled trial, manuscripts reporting in vivo animal research submitted to PLOS ONE (March–June 2015) were randomly allocated to either requested completion of an ARRIVE checklist or current standard practice. Authors, academic editors, and peer reviewers were blinded to group allocation. Trained reviewers performed outcome adjudication (...) in duplicate by assessing manuscripts against an operationalised version of the ARRIVE guidelines that consists 108 items. Our primary outcome was the between-group differences in the proportion of manuscripts meeting all ARRIVE guideline checklist subitems.ResultsWe randomised 1689 manuscripts (control: n = 844, intervention: n = 845), of which 1269 were sent for peer review and 762 (control: n = 340; intervention: n = 332) accepted for publication. No manuscript in either group achieved full compliance with the ARRIVE checklist. Details of animal husbandry (ARRIVE subitem 9b) was the only subitem to show improvements in reporting, with the proportion of compliant manuscripts rising from 52.1 to 74.1% (X2 = 34.0, df = 1, p = 2.1 × 10−7) in the control and intervention groups, respectively.ConclusionsThese results suggest that altering the editorial process to include requests for a completed ARRIVE checklist is not enough to improve compliance with the ARRIVE guidelines. Other approaches, such as more stringent editorial policies or a targeted approach on key quality items, may promote improvements in reporting. (shrink)

If intense pain is “world-destroying,” as Elaine Scarry has argued, one of the ways nurses respond to that loss is by re-enacting the commonplace—both in practice and in writing—through daily, accumulating acts of care. Such care poses a critique of medicine’s emphasis on the exceptional moment and stresses forms of physical tending that are quotidian rather than heroic, ongoing rather than permanent or conclusive. I develop this view of care through the writings of nurses like Walt Whitman, Louisa May (...) Alcott, Cortney Davis and Joyce Renwick. (shrink)

Part philosophical meditation, part cultural critique, The Body in Pain is a profoundly original study that has already stirred excitement in a wide range of intellectual circles. The book is an analysis of physical suffering and its relation to the numerous vocabularies and cultural forces--literary, political, philosophical, medical, religious--that confront it.Elaine Scarry bases her study on a wide range of sources: literature and art, medical case histories, documents on torture compiled by Amnesty International, legal transcripts of personal injury trials, (...) and military and strategic writings by such figures as Clausewitz, Churchill, Liddell Hart, and Kissinger, She weaves these into her discussion with an eloquence, humanity, and insight that recall the writings of Hannah Arendt and Jean-Paul Sartre.Scarry begins with the fact of pain's inexpressibility. Not only is physical pain enormously difficult to describe in words--confronted with it, Virginia Woolf once noted, "language runs dry"--it also actively destroys language, reducing sufferers in the most extreme instances to an inarticulate state of cries and moans. Scarry analyzes the political ramifications of deliberately inflicted pain, specifically in the cases of torture and warfare, and shows how to be fictive. From these actions of "unmaking" Scarry turns finally to the actions of "making"--the examples of artistic and cultural creation that work against pain and the debased uses that are made of it. Challenging and inventive, The Body in Pain is landmark work that promises to spark widespread debate. (shrink)