Daniele Chiffi

We consider a “polarized” version of bi-intuitionistic logic [5, 2, 6, 4] as a logic of assertions and hypotheses and show that it supports a “rich proof theory” and an interesting categorical interpretation, unlike the standard approach of C. Rauszer’s Heyting-Brouwer logic [28, 29], whose categorical models are all partial orders by Crolard’s theorem [8]. We show that P.A. Melliès notion of chirality [21, 22] appears as the right mathematical representation of the mirror symmetry between the intuitionistic and co-intuitionistc sides of polarized bi-intuitionism. Philosophically, we extend Dalla Pozza and Garola’s pragmatic interpretation of intuitionism as a logic of assertions [10] to bi-intuitionism as a logic of assertions and hypotheses. We focus on the logical role of illocutionary forces and justification conditions in order to provide “intended interpretations” of logical systems that classify inferential uses in natural language and remain acceptable from an intuitionistic point of view. Although Dalla Pozza and Garola originally provide a constructive interpretation of intuitionism in a classical setting, we claim that some conceptual refinements suffice to make their “pragmatic interpretation” a bona fide representation of intuitionism. We sketch a meaning-asuse interpretation of co-intuitionism that seems to fulfil the requirements of Dummett and Prawitz’s justificationist approach. We extend the Brouwer-Heyting-Kolmogorov interpretation to bi-intuitionism by regarding co-intuitionistic formulas as types of the evidence for them: if conclusive evidence is needed to justify assertions, only a scintilla of evidence suffices to justify hypotheses.

The Knowability Paradox is a logical argument showing that if all truths are knowable in principle, then all truths are, in fact, known. Many strategies have been suggested in order to avoid the paradoxical conclusion. A family of solutions –ncalled logical revision – has been proposed to solve the paradox, revising the logic underneath, with an intuitionistic revision included. In this paper, we focus on so-called revisionary solutions to the paradox – solutions that put the blame on the underlying logic. Specifically, we analyse a possibile translation of the paradox into a modified intuitionistic fragment of a logic for pragmatics inspired by Dalla Pozza and Garola in 1995. Our aim is to understand if KILP is a candidate for the logical revision of the paradox and to compare it with the standard intuitionistic solution to the paradox.

Following the speech act theory, we take hypotheses and assertions as linguistic acts with different illocutionary forces. We assume that a hypothesis is justified if there is at least a scintilla of evidence for the truth of its propositional content, while an assertion is justified when there is conclusive evidence that its propositional content is true. Here we extend the logical treatment for assertions given by Dalla Pozza and Garola (1995, Erkenntnis, 43, 81–109) by outlining a pragmatic logic for assertions and hypotheses. On the basis of this extension we analyse the standard logical opposition relations for assertions and hypotheses. We formulate a pragmatic square of oppositions for assertions and a hexagon of oppositions for hypotheses. Finally, we give a mixed hexagon of oppositions to point out the opposition relations for assertions and hypotheses

Following the speech act theory, we take hypotheses and assertions as linguistic acts with different illocutionary forces. We assume that a hypothesis is justified if there is at least a scintilla of evidence for the truth of its propositional content, while an assertion is justified when there is conclusive evidence that its propositional content is true. Here we extend the logical treatment for assertions given by Dalla Pozza and Garola by outlining a pragmatic logic for assertions and hypotheses. On the basis of this extension we analyse the standard logical opposition relations for assertions and hypotheses. We formulate a pragmatic square of oppositions for assertions and a hexagon of oppositions for hypotheses. Finally, we give a mixed hexagon of oppositions to point out the opposition relations for assertions and hypotheses.

Peirce and Frege both distinguished between the propositional content of an assertion and the assertion of a propositional content, but with different notational means. We present a modification of Peirce’s graphical method of logic that can be used to reason about assertions in a manner similar to Peirce’s original method. We propose a new system of Assertive Graphs, which unlike the tradition that follows Frege involves no ad hoc sign of assertion. We show that axioms of intuitionistic logic can be derived from AGs, and argue that AGs analyse and represent assertions and illocutionary content in a way which is motivated both by its logical properties and its historical connection with the ideas that led to the development of the graphical method.

Clinical equipoise has been proposed as an ethical principle relating uncertainty and moral leeway in clinical research. Although CE has traditionally been indicated as a necessary condition for a morally justified introduction of a new RCT, questions related to the interpretation of this principle remain woefully open. Recent proposals to rehabilitate CE have divided the bioethical community on its ethical merits. This paper presents a new argument that brings out the epistemological difficulties we encounter in justifying CE as a principle to connect uncertainty and moral leeway in clinical ethics. The argument proposes, first, that the methodology of hypothetical retrospection is applicable to the RCT design and that it can accommodate uncertainty. As currently understood, however, HR should give up its reliance on the assumption of uncertainty transduction, because the latter assumes the principle of indifference, which does not accommodate uncertainty in the right way. The same principle is then seen to distort also the received interpretations of CE.

This paper explores the intertwining of uncertainty and values. We consider an important but underexplored field of fundamental uncertainty and values in decision-making. Some proposed methodologies to deal with fundamental uncertainty have included potential surprise theory, scenario planning and hypothetical retrospection. We focus on the principle of uncertainty transduction in hypothetical retrospection as an illustrative case of how values interact with fundamental uncertainty. We show that while uncertainty transduction appears intuitive in decision contexts it nevertheless fails in important ranges of strategic game-theoretic cases. The methodological reasons behind the failure are then examined.

The beliefs involved in the placebo effect are often assumed to be self-fulfilling, that is, the truth of these beliefs would merely require the patient to hold them. Such a view is commonly shared in epistemology. Many epistemologists focused, in fact, on the self-fulfilling nature of these beliefs, which have been investigated because they raise some important counterexamples to Nozick’s “tracking theory of knowledge.” We challenge the self-fulfilling nature of placebo-based beliefs in multi-agent contexts, analyzing their deep epistemological nature and the role of higher-order beliefs involved in the placebo effect.

The paper proposes two logical analyses of (the norms of) justification. In a first, realist-minded case, truth is logically independent from justification and leads to a pragmatic logic LP including two epistemic and pragmatic operators, namely, assertion and hypothesis. In a second, antirealist-minded case, truth is not logically independent from justification and results in two logical systems of information and justification: AR4 and AR4¢, respectively, provided with a question-answer semantics. The latter proposes many more epistemic agents, each corresponding to a wide variety of epistemic norms. After comparing the different norms of justification involved in these logical systems, two hexagons expressing Aristotelian relations of opposition will be gathered in order to clarify how (a fragment of) pragmatic formulas can be interpreted in a fuzzy-based question-answer semantics.

Nursing knowledge stems from a dynamic interplay between population‐based scientific knowledge (the general) and specific clinical cases (the particular). We compared the ‘cascade model of knowledge translation’, also known as ‘classical biomedical model’ in clinical practice (in which knowledge gained at population level may be applied directly to a specific clinical context), with an emergentist model of knowledge translation. The structure and dynamics of nursing knowledge are outlined, adopting the distinction between epistemic and non‐epistemic values. Then, a (moderately) emergentist approach to nursing knowledge is proposed, based on the assumption of a two‐way flow from the general to the particular and vice versa. The case of the ‘placebo effect’ is analysed as an example of emergentist knowledge. The placebo effect is usually considered difficult to be explained within the classical biomedical model, and we underscore its importance in shaping nursing knowledge. In fact, nurses are primarily responsible for administering placebo in the clinical setting and have an essential role in promoting the placebo effect and reducing the nocebo effect. The beliefs responsible for the placebo effect are as follows: (1) interactive, because they depend on the relationship between patients and health care professionals; (2) situated, because they occur in a given clinical context related to certain rituals; and (3) grounded on higher order beliefs concerning what an individual thinks about the beliefs of others. It is essential to know the clinical context and to understand other people's beliefs to make sense of the placebo effect. The placebo effect only works when the (higher order) beliefs of doctors, nurses and patients interact in a given setting. Finally, we argue for a close relationship between placebo effect and nursing knowledge.

I saggi che compongono questo libro intendono presentare in maniera organica e interdisciplinare, anche se da una prospettiva fondazionale logico-filosofica, il ruolo che il concetto di prova svolge in differenti ambiti del sapere. L’elemento innovativo e caratterizzante del volume è quello di stabilire e formulare quali sono le condizioni di adeguatezza materiale e formale per una corretta esplicazione del concetto di prova nelle sue differenti applicazioni. Si cercherà, inoltre, di cogliere cosa ha qualificato storicamente e qualifica tuttora il concetto di prova tentando di individuarne, da un lato, le caratteristiche persistenti o invarianti e, dall’altro, le differenze specifiche che esso assume in molteplici settori della ricerca. Vengono così presentati sette saggi che spaziano sui seguenti temi: dalle procedure logiche di prova medievali (Alfredo Di Giorgio), si va alla nozione di prova da Frege a Wittgenstein (Carlo Penco), al problema delle verità delle proposizioni gödeliane (Sergio Galvan), alla fondazione delle leggi logiche (Ciro De Florio), ai fondamenti del linguaggio pragmatico (Antonio Negro e Davide Sergio), alla relazione tra conoscibilità e prova (Massimiliano Carrara e Daniele Chiffi), fino all’analisi del paradosso del buon samaritano (Andrea Favaro e Silvia Gaio).

This study addresses the question of normative analysis of the value‐based aspects of nursing. In our perspective, values in science may be distinguished into (i) epistemic when related to the goals of truth and objectivity and (ii) non‐epistemic when related to social, cultural or political aspects. Furthermore, values can be called constitutive when necessary for a scientific enterprise, or contextual when contingently associated with science. Analysis of the roles of the various forms of values and models of knowledge translation provides the ground to understand the specific role of values in nursing. A conceptual framework has been built to classify some of the classical perspectives on nursing knowledge and to examine the relationships between values and different forms of knowledge in nursing. It follows that adopting a normative perspective in the analysis of nursing knowledge provides key elements to identify its proper dimension.

Diagnostic frameworks are essential to many scientific and technological activities and clinical practice. This study examines the main fundamental aspects of such frameworks. The three components required for all diagnoses are identified and examined, i.e. their normative dimension, temporal nature and structure, and teleological perspective.The normative dimension of a diagnosis is based on (1) epistemic values when associated with Hempel's inductive risk concerning the balance between false‐positive and false‐negative outcomes, leading to probabilistic judgements; and (2) non‐epistemic values when related to ideas such as well‐being, normality, illness, etc, as idealized norms or ideal points of reference.It should be noted that medical diagnoses match the three necessary components, while some essential diagnostic frameworks – the taxonomies of Gordon and NANDA – in nursing lack some components. The main lack is normative as the most popular frameworks in nursing diagnosis seem to be descriptions of observed reality rather than normative and value‐based judgements in which both epistemic and non‐epistemic values may coexist.

The present paper is intended to analyse from a theoretical point of view the relationships between natural language and idiolects in the context of communication by means of the Davidson–Dummett controversy on the nature of language. I will explore from a pragmatic point of view the reliability of an alternative position inspired by the recent literalism/contextualism debate in philosophy of language in order to overcome some limitations of Dummett’s and Davidson’s perspectives on language, idiolects and communication