In the year 1308, Cardinal Giacomo Colonna was a tremendously busy man. He had returned to Rome only a few years earlier in the aftermath of a devastating papal war waged against his family by Boniface VIII. The papal court had been absent from the city for years, leaving an administrative void in Rome as it established itself first in Poitiers, then in Avignon from 1308 under the leadership of the Gascon pope Clement V. In 1306 Giacomo was fully reinstated (...) to the cardinalate, and set about rebuilding his family's fortunes and reputation, as well as a number of the city's churches. He commissioned a new mosaic facade for the basilica of Santa Maria Maggiore, and in 1308 he oversaw repairs... (shrink)

Striking similarities across ape gestural repertoires suggest shared phylogenetic origins that likely provided a foundation for the emergence of language. We pilot a novel approach for exploring possible semantic universals across human and nonhuman ape species. In a forced‐choice task, n = 300 participants watched 10 chimpanzee gesture forms performed by a human and chose from responses that paralleled inferred meanings for chimpanzee gestures. Participants agreed on a single meaning for nine gesture forms; in six of these the agreed form‐meaning (...) pair response(s) matched those established for chimpanzees. Such shared understanding suggests apes' (including humans') gesturing shares deep evolutionary origins. (shrink)

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.

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)

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

In lieu of an abstract, here is a brief excerpt of the content:Reifying Relevance in Mild Cognitive Impairment:An Appeal for Care and CautionJanice E. Graham (bio) and Karen Ritchie (bio)KeywordsAlzheimer’s disease, construction, dementia, market forces, mild cognitive impairmentWe thank the reviewers for their thoughtful comments that probe shadowy areas in our argument, and we welcome this opportunity to elucidate our position. First, we are not repudiating the natural and social facts of pathologic brain degeneration and the physical and cognitive (...) impairments that manifest in people affected by dementia disorders. We are, however, questioning the epistemology, politics, and persistence by some to harden the construct of mild cognitive impairment (MCI) prematurely as a "natural" precursor to dementia. We suggested insufficiencies in viewing MCI as prodromal to Alzheimer's disease (AD; Graham and Ritchie 2006, 36), and pointed to evidence for the prognostic irrelevance of some MCI subcategories (35). The commentators have read our manuscript as suggesting that AD and MCI are different kinds, and that a diagnosis of AD is more "real" than that of MCI. But AD is also fraught with classification issues, as we describe in the section of our paper that deals with consensus committees, published practice guidelines, and the determination of treatment efficacy. Like MCI, AD is a heterogeneous condition, but unlike MCI, AD is a constructed practical kind that does some "work" beyond essentialist (neural degeneration, brain atrophy) claims. Its criteria identify people with well-defined dementia symptoms and multiple cognitive and functional impairments who are in need of, and benefit from, support. Even with these criteria, however, there have been great attempts to achieve definitional accuracy in dementia diagnoses. Practical refinements to the differential diagnosis of dementia based on solid research evidence have made way for more specific recognitions of vascular dementias, dementia of the Lewy body type, and other subtypes beyond AD. So AD too has been subject to more careful, more cautious operationalization in recent years, with research supporting multiple factors and the comorbidity of several types (kinds) of dementia in any one individual.Our paper takes up concerns that are not resolved for dementia and suggests that the nascent category of MCI is still so insufficiently defined as to be ambiguous, and as such, is in danger of identifying individuals with what will be, and has [End Page 57] already been, linked to a debilitating and deeply stigmatizing and fatal disorder (AD). We are not contesting the reality that some people begin to display early signs of cognitive loss, nor are we suggesting that symptoms be ignored; as researchers, we stand behind the careful tracking of symptoms and signs in patients and research participants as an essential clinical and research practice. In a era where the public has been made wary of the potentially fatal effects of new treatments whose more careful scrutiny in specific populations would have saved lives (e.g., Fontanarosa, Rennie, and DeAngelis 2004; Psaty and Furberg 2005), and made all the more popular by what Kramer coined "diagnostic bracket creep" (1993, 15), we are questioning the drivers and value of a premature diagnostic classification whose definitional accuracy is neither sufficient nor effective for specific identification of individuals.That matters of fact are constructed does not take away from their natural fact. Some people have subjective reports or show objective evidence of cognitive decline while having preserved activities of daily living—the construction of this evidence indicates they are not normal and they are not demented. Based on such evidence, where then does the balance of probability for MCI lie? A multidisciplinary international group of experts gathered in Stockholm in 2003 to discuss MCI concepts (Winblad et al. 2004). They acknowledged that the heterogeneous etiology of MCI contributes to "some confusion concerning the specific boundaries of the condition", stating that this "not normal, not demented" condition is nonetheless "useful both clinically and as a research entity" (p. 241). Importantly, they concluded that MCI needs "better definition" (p. 246). It was at this stage that we first wrote our manuscript, and in the subsequent two years we have eagerly awaited new studies, and the recognition of flexible, practical subtypes to evolve.We state "that MCI cannot be considered to be a separate clinical entity" (Graham and... (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)

BackgroundLittle is known about volunteers from Northern research settings who participate in vaccine trials of highly infectious diseases with no approved treatments. This article explores the motivations of HIV immunocompromised study participants in Canada who volunteered in a Phase II clinical trial that evaluated the safety and immunogenicity of an Ebola vaccine candidate.MethodsObservation at the clinical study site and semi-structured interviews employing situational and discursive analysis were conducted with clinical trial participants and staff over one year. Interviews were recorded, transcribed (...) and analysed using critical qualitative interpretivist thematic analytical techniques. Patterns were identified, clustered and sorted to generate distinct and comprehensive themes. We then reassembled events and contexts from the study participants’ stories to develop two ideal portraits based on "composite characters" based on study participants features. These provide ethnographically rich details of participants’ meaningful social worlds while protecting individual identities.ResultsTen of the 14 clinical trial participants, and 3 study staff were interviewed. Participant demographics and socio-economic profiles expressed limited contextual diversity. Half were men who have sex with men, half were former injection drug users experiencing homelessness, one was female, none were racialized minorities and there were no people from HIV endemic countries. Fully 90% had previous involvement in other clinical studies. Their stories point to particular socio-economic situations that motivated their participation as clinical labor through trial participation.ConclusionsOur findings support Fisher’s argument of “structural coercion” in clinical trial recruitment of vulnerable individuals experiencing precarious living conditions. Clinical trials should provide more detail of the structural socio-economic conditions and healthcare needs which lie “under consent” of study participants. Going well beyond an overly convenient narrative of altruism, ethical deliberation frameworks need to sufficiently address the structural conditions of clinical trials. We offer concrete possibilities for this and acknowledge that further research and clinical data should be made available underlying study participant contexts with regards to recruitment and participation in resource poor settings, in both the South and the North. (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.

Gaining informed consent among marginalized groups that include decisionally incapacitated individuals and those outside of the researcher's own geo-social and ethnic background still challenges many researchers. We suggest that there is a need for consideration of a different approach to research ethics in international settings. Based on extensive field work in West Africa on medical knowledge transfers and patient–healer relationships, this paper will discuss the challenges posed in obtaining informed individual consent in international settings. It is argued that while being (...) on the whole convincing, the top-down approach of the proposed solutions, which clearly dominates the participative approach, fails in building sustainable capacity, decision-making competency, and empowerment in the communities in which the research is conducted. Using appropriate decision aids can help resolve these issues. (shrink)