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)

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 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.

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.

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 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.

Big data analysis is sweeping the natural sciences, industry, and the digital humanities, but what about business and society? The purpose of this session is to facilitate a conversation about the relationship of big data and data science analytics and their relevance to the business and society community in our roles as researchers, reviewers, editors, and scholars. We will discuss the benefits and challenges of big data analysis, and comparisons of big data methods with traditional quantitative and qualitative methods. We (...) will offer a brief example of a topic modelling analysis, and will invite participants to consider the possibilities for using big data analysis in their business and society research. (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 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.

Rethinking the Body and Its Boundaries Content Type Journal Article Category Editorial Pages 1-6 DOI 10.1007/s11673-011-9353-8 Authors Leigh E. Rich, Department of Health Sciences (Public Health), Armstrong Atlantic State University, 11935 Abercorn Street, Savannah, GA 31419, USA Michael A. Ashby, Palliative Care and Persistent Pain Services, Royal Hobart, Hospital, Southern Tasmania Area Health Service, and School of Medicine, Faculty of Health Sciences, University of Tasmania, 1st Floor, Peacock Building, Repatriation Centre, 90 Davey Street, Hobart, TAS 7000 Australia Pierre-Olivier Méthot, (...) ESRC Centre for Genomics in Society (Egenis), University of Exeter, Byrne House, St German’s Road, Exeter, EX4 4PJ UK Journal Journal of Bioethical Inquiry Online ISSN 1872-4353 Print ISSN 1176-7529 Journal Volume Volume 9 Journal Issue Volume 9, Number 1. (shrink)

“Beggar that I am, I am even poor in thanks.”— Hamlet, II.ii.272About four years ago, we at the Journal of Bioethical Inquiry realized the thankless don’t get thanked enough. It is, of course, built into the very definition of the category. And, yet, all those who fit this bill ceaselessly beat on—be it reviewing articles namelessly and without reward; offering guidance on papers and protocols; managing and editing manuscripts; taking on the tiring role of taskmaster; processing, paginating, promoting, and publishing; (...) and generally engaging excitedly in the scholarly pursuit.We thus began an annual tradition of taking a few paragraphs every year in an attempt to thank our peer reviewers by name and all those who make the Journal of Bioethical Inquiry possible. We know that it is not much and that we are “even poor in our thanks.” As Colley Cibber once pointed out, “[w]ords are but empty thanks” and offer little real compensation and r .. (shrink)

With some exceptions, it appears that the non-incarcerated world spends little time, if any at all, thinking about how prisoners are treated, whether during detainment or incarceration, after release, or when being put to state-sanctioned death. Of course, in part this is understandable, as the processes of punishment for breaking the social contract have moved from being public spectacle (once serving as a display of the sovereign’s power and as simultaneous warning and entertainment for lookers-on) to a private and “strange (...) scientifico-juridical complex” (Foucault 1995, 19) with the veneer of “modernity” and “civility,” theoretically drawing a clear line between the horrors of the crimes committed and those of the punishment (Sarat 2014). But even in the 21st century, the distinction is fuzzy at best. Incarcerated populations around the globe continue to be at greater risk of infectious diseases than non-incarcerated persons in the same communities (see da Cruz and Rich 2014), prison .. (shrink)

“Remembering Stephanie” by Charlee Brodsky is part of the symposium “Disease, Communication, and the Ethics of Visibility” published in the 11 issue of the Journal of Bioethical Inquiry and guest edited by Martha Stoddard Holmes and Monika Pietrzak-Franger. Although this article was included in the print version of the journal, in error it was not published online or included in the table of contents for the symposium. We republish it in the 12 issue of the Journal of Bioethical Inquiry for (...) these reasons.Additionally, the article “Documenting Women’s Postoperative Bodies: Knowing Stephanie and ‘Remembering Stephanie’ as Collaborative Cancer Narratives” by Mary K. DeShazer, which was published in the 11 symposium and is available at DOI 10.1007/s11673-014-9582-8, comments on and makes direct reference to “Remembering Stephanie” by Charlee Brodsky. (shrink)

[V]isibility is central to the shaping of political, medical, and socioeconomic decisions. Who will be treated—how and where—are the central questions whose answers are often entwined with issues of visibility … [and] the effects that media visibility has on the perception of particular bodies .In a documentary entitled Paris: The Luminous Years , writer Janet Flanner describes the intense friendship of Pablo Picasso and Georges Braque. Both were inspired by Paul Cézanne and his retrospective at the 1907 Salon d’Automne—which, according (...) to Paris: The Luminous Years, marked in Janus-like fashion the end of the 19th and the beginning of the 20th centuries in art. Flanner tells of the frequent visits between the two painters, where they “talked and talked … two or three months that they just spent gabbling, gabbling.” And from their camaraderie and gabble emerged someth .. (shrink)

E.J.Lowe was a prominent and theistically–inclined philosopher who developed and defended a four–category ontology with roots in Aristotle’s Categories. But Lowe engaged in little philosophical theology and said even less about how a divine being might fit into his considered ontology. This paper explores ways in which the reality of a divine being might be squared with Lowe’s ontology. I motivate the exploration with a puzzle that suggests Lowe must reject either divine aseity or the traditional view that God is (...) a substance. After showing that the puzzle cannot be overcome by rejecting one of its premises, I consider ways in which Lowe might try to reject the puzzle wholesale. I argue that the best way to reject the puzzle is to countenance a fifth fundamental category, the category of supernatural substance. (shrink)