Christopher Bennett has argued that state support of conjugal relationships can be founded on the unique contribution such relationships make to the autonomy of their participants by providing them with various forms of recognition and support unavailable elsewhere. I argue that, in part because a long history of interaction between two people who need each other’s validation tends to produce less meaningful responses over time, long-term conjugal relationships are unlikely to provide autonomy-enhancing support to their participants. To the extent that (...) intimate relationships can provide a unique form of reciprocal support, Bennett fails to show that couples have an advantage over multiple-partner arrangements in doing so. (shrink)

Shared decision-making involves health professionals and patients/clients working together to achieve true person-centred health care. However, this goal is infrequently realized, and most barriers are unknown. Discussion between philosophers, clinicians, and researchers can assist in confronting the epistemic and moral basis of health care, with benefits to all. The aim of this paper is to describe what shared decision-making is, discuss its necessary conditions, and develop a definition that can be used in practice to support excellence in maternity care. Discussion (...) between the authors, with backgrounds in philosophy, clinical maternity care, health care management, and maternity care research, assisted the team to confront established norms in maternity care and challenge the epistemic and moral basis of decision-making for caesarean section. The team concluded that shared decision-making must start in pregnancy and continue throughout labour and birth, with equality in discourse facilitated by the clinician. Clinicians have a duty of care for the adequacy of women's knowledge, which can only be fulfilled when relevant knowledge is offered freely and when personal beliefs and biases that may impinge on decision-making (defeaters) are disclosed. Informed consent is not shared decision-making. Key barriers include existing cultural norms of “the doctor knows best” and “patient acquiescence” that prevent defeaters being acknowledged and discussed and can lead to legal challenges, overuse of medical intervention and, in some areas, obstetric violence. Shared decision-making in maternity care can thus be defined as an enquiry by clinician and expectant woman aimed at deciding upon a course of care or none, which takes the form of a dialogue within which the clinician fulfils their duty of care to the client's knowledge by making available their complete knowledge (based on all types of evidence) and expertise, including an exposition of any relevant and recognized potential defeaters. Research to develop measurement tools is required. (shrink)

Patient centred diagnosis is best practised through shared decision making; an iterative dialogue between doctor and patient, whichrespects a patient’s needs, values, preferences, and circumstances. -/- Shared decision making for diagnostic situations differs fundamentally from that for treatment decisions. This has important implications when considering its practical application. -/- The nature of dialogue should be tailored to the specific diagnostic decision; scenarios with higher stakes or uncertainty usually require more detailed conversations.

It is traditionally thought that metaphorical utterances constitute a special— nonliteral—kind of departure from lexical constraints on meaning. Dan Sperber and Deirdre Wilson have been forcefully arguing against this: according to them, relevance theory’s comprehension/interpretation procedure for metaphorical utterances does not require details specifi c to metaphor (or nonliteral discourse); instead, the same type of comprehension procedure as that in place for literal utterances covers metaphors as well. One of Sperber and Wilson’s central reasons for holding this is that (...) metaphorical utterances occupy one end of a continuum that includes literal, loose and hyperbolic utterances with no sharp boundaries in between them. Call this the continuum argument about interpreting metaphors. My aim is to show that this continuum argument doesn’t work. For if it were to work, it would have an unwanted consequence: it could be converted into a continuum argument about interpreting linguistic errors, including slips of the tongue, of which malaprops are a special case. In particular, based on the premise that the literal–loose–metaphorical continuum extends to malaprops also, we could conclude that the relevance-theoretic comprehension procedure for malaprops does not require details specifi c to linguistic errors, that is, details beyond those already in place for interpreting literal utterances. Given that we have good reason to reject this conclusion, we also have good reason to rethink the conclusion of the continuum argument about interpreting metaphors and consider what additional (metaphor-specifi c) details—about the role of constraints due to what is lexically encoded by the words used—might be added to relevance-theoretic comprehension procedures. (shrink)

Within the (Haskell Curry) notion of a formal system we complete Tarski's formal correctness: ∀x True(x) ↔ ⊢ x and use this finally formalized notion of Truth to refute his own Undefinability Theorem (based on the Liar Paradox), the Liar Paradox, and the (Panu Raatikainen) essence of the conclusion of the 1931 Incompleteness Theorem.

In 1942 Haskell B. Curry presented what is now called Curry's paradox which can be found in a logic independently of its stand on negation. In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this article the non-classical resolution of Curry’s Paradox and Shaw-Kwei' sparadox without rejection any contraction postulate is proposed. In additional relevant paraconsistent logic C ̌_n^#,1≤n<ω, in fact,provide an effective way of circumventing triviality of da Costa’s paraconsistent Set (...) Theories〖NF〗n^C. (shrink)

Since at least 2008 linguists and philosophers of language have started paying more serious attention to issues concerning the meaning or use of racial epithets and slurs. In an influential article published in The Journal of Philosophy, for instance, Christopher Hom (2008) offered a semantic account of racial epithets called Combinatorial Externalism (CE) that advanced a novel argument for the exclusion of certain epithets from freedom of speech protection under the First Amendment (p. 435). Also in more recent work, “The (...) Expressive Meaning of Racial Epithets: Towards A Non-Unitary Account of Expressive Meaning,” Diane Blakemore (2013) offered an alternative pragmatic account of racial epithets rooted in Dan Sperber and Deirdre Wilson’s (1986) relevance theory. Adam Croom (2008) has also discussed epithets before in prior work, through a consideration of a paradigmatic racial epithet directed towards Native Americans, but then moved on in subsequent work to focus on developing a more nuanced account of paradigmatic slurring terms instead (Croom 2010; Croom 2011; Croom 2012; Croom 2013; Croom 2014a; Croom 2014b; Croom under review). So the purpose of this article is to return to and extend the previous account of racial epithets provided by Croom (2008) through a consideration of another paradigmatic racial epithet, but this time one directed towards Asian Americans instead of Native Americans. Here I also offer a novel suggestion for how to differentiate between epithets and slurs, offering new insight into how epithets and slurs are both similar and different. A sample list of over 100 other racial epithets that can be accounted for by the kind of analysis presented here is provided in Croom (2008, p. 44-45). (shrink)

This paper presents an overview of Carnap, a free and open framework for the development of formal reasoning applications. Carnap’s design emphasizes flexibility, extensibility, and rapid prototyping. Carnap-based applications are written in Haskell, but can be compiled to JavaScript to run in standard web browsers. This combination of features makes Carnap ideally suited for educational applications, where ease-of-use is crucial for students and adaptability to different teaching strategies and classroom needs is crucial for instructors. The paper describes Carnap’s implementation, (...) along with its current and projected pedagogical applications. (shrink)

This work studies some problems connected to the role of negation in logic, treating the positive fragments of propositional calculus in order to deal with two main questions: the proof of the completeness theorems in systems lacking negation, and the puzzle raised by positive paradoxes like the well-known argument of Haskel Curry. We study the constructive com- pleteness method proposed by Leon Henkin for classical fragments endowed with implication, and advance some reasons explaining what makes difficult to extend this constructive (...) method to non-classical fragments equipped with weaker implications (that avoid Curry's objection). This is the case, for example, of Jan Lukasiewicz's n-valued logics and Wilhelm Ackermann's logic of restricted implication. Besides such problems, both Henkin's method and the triviality phenomenon enable us to propose a new positive tableau proof system which uses only positive meta-linguistic resources, and to mo- tivate a new discussion concerning the role of negation in logic proposing the concept of paratriviality. In this way, some relations between positive reasoning and infinity, the possibilities to obtain a ¯first-order positive logic as well as the philosophical connection between truth and meaning are dis- cussed from a conceptual point of view. (shrink)

This paper argues for the idea that in describing language we should follow Haskell Curry in distinguishing between the structure of an expression and its appearance or manifestation . It is explained how making this distinction obviates the need for directed types in type-theoretic grammars and a simple grammatical formalism is sketched in which representations at all levels are lambda terms. The lambda term representing the abstract structure of an expression is homomorphically translated to a lambda term representing its (...) manifestation, but also to a lambda term representing its semantics. (shrink)