Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations examines how to introduce intuitionistic-type negations into RM-semantics. RM-semantics is highly malleable and capable of modeling families of logics which are very different from each other. This semantics was introduced in the early 1970s, and was devised for interpreting relevance logics. In RM-semantics, negation is interpreted by means of the Routley operator, which has been almost exclusively used for modeling De Morgan negations. This book provides research on particular features of intuitionistic-type of negations (...) in RM-semantics, while also defining the basic systems and many of their extensions by using models with or without a set of designated points. (shrink)

We are inhabitants of a culture that knows how to speak but not how to listen. Against a tradition that has endorsed the power of discourse, where warring monologues are mistaken for genuine dialogue, Gemma Corradi Fiumara examines and reveals the other side of language - listening.

First published in 1990. Routledge is an imprint of Taylor & Francis, an informa company.

Metaphor is much more than just a linguistic phenomena, argues Gemma Corradi Fiumara, it is in fact the key process by which we construct and develop our ability to understand the world and the people we share it with. Rationality as understood by philosophers has led to a disembodied view of ourselves in which interaction between life and language has been downplayed. By looking at the metaphoric process - in an interpersonal rather than a formal way - its importance (...) in allowing us access to new worlds of experience is revealed. The metaphoric potential in us all exposes us to the world and initiates our involvement in it. (shrink)

First published in 1990. Routledge is an imprint of Taylor & Francis, an informa company.

THE SYMBOLIC FUNCTION is an original and provocative attempt to explain human symbol making and to develop an understanding of language and cognition usually held apart by the separate movements of philosophy and psychoanalysis. This book defines a new discipline and a new cooperation.

Let \ be distintict wffs, \ being an odd number equal to or greater than 1. Intuitionistic Propositional Logic IPC plus the axiom \\vee...\vee \vee \) is equivalent to Gödel-Dummett logic LC. However, if \ is an even number equal to or greater than 2, IPC plus the said axiom is a sublogic of LC.

Gemma Frisius (1508–1555), who worked at the university of Louvain, heard about the Copernican system already around 1530 and afterwards was a careful reader of the Narratio prima and the De Revolutionibus. The article argues that his posthumous preface to the Ephemerides (1556) by his pupil Stadius expresses his ultimate opinion on the system of the world. Moreover, it is also the only text where he tackles the epistemological problems of the question. A careful analysis of this preface shows (...) that at the end of his life, on the ground of observations as well as philosophical demands, he admitted at least the first two movements ascribed to the earth by Copernicus. (shrink)

The logic E4 is related to Brady’s BN4 in a similar way to which Anderson and Belnap’s logic of entailment E is related to their logic of the relevant implication R. In ‘A companion to Brady’s 4-valued relevant logic: the 4-valued logic of entailment E4’, quoted in this paper, three alternatives to BN4 and another three to E4 are summarily introduced in a couple of pages as the only alternatives containing Routley and Meyer’s basic logic B, provided some conditions are (...) fulfilled. The aim of this note is to prove BN4 and its three alternatives are the same logic up to some point, since they are functionally equivalent to each other, as it is the case with E4 and its three alternatives, which are also functionally equivalent to each other; to some extent, E4 is superior to BN4, since the latter is functionally included in the former, but not conversely. (shrink)

ABSTRACTA conditional is natural if it fulfils the three following conditions. It coincides with the classical conditional when restricted to the classical values T and F; it satisfies the Modus Ponens; and it is assigned a designated value whenever the value assigned to its antecedent is less than or equal to the value assigned to its consequent. The aim of this paper is to provide a ‘bivalent’ Belnap-Dunn semantics for all natural implicative expansions of Kleene's strong 3-valued matrix with two (...) designated elements. (shrink)

Metaphor is much more than just a linguistic phenomena, argues Gemma Corradi Fiumara, it is in fact the key process by which we construct and develop our ability to understand the world and the people we share it with. Rationality as understood by philosophers has led to a disembodied view of ourselves in which interaction between life and language has been downplayed. By looking at the metaphoric process - in an interpersonal rather than a formal way - its importance (...) in allowing us access to new worlds of experience is revealed. The metaphoric potential in us all exposes us to the world and initiates our involvement in it. (shrink)

Realising the societal gains from publicly funded health and medical research requires a model for a reflexive evaluation precedent for the societal impact of research. This research explores UK Research Excellence Framework evaluators’ values and opinions and assessing societal impact, prior to the assessment taking place. Specifically, we discuss the characteristics of two different impact assessment extremes – the “quality-focused” evaluation and “societal impact-focused” evaluation. We show the wide range of evaluator views about impact, and that these views could be (...) conceptually reflected in a range of different positions along a conceptual evaluation scale. We describe the characteristics of these extremes in detail, and discuss the different beliefs evaluators had which could influence where they positioned themselves along the scale. These decisions, we argue, when considered together, form a dominant definition of societal impact that influences the direction of its evaluation by the panel. (shrink)

In the cubist expression of the early twentieth century, thought begins to play a fundamental role in the creative process. The reason lies in the fact that it is a revolution of thought, even before an aesthetic revolution. It is the basic concept that changes, thanks to the reflection that, unknowingly or not, it takes its moves from the thought of men of the past, including Augustine, Plato, Aristotle, Descartes, but also Husserl, Hildebrand, Bergson. This is because every human expression (...) is the result of concepts studied and observed, deepened and challenged. The sculpture was, however, part of the great revolution in art history just as much as painting, due to the work of some artists including Picasso, Boccioni, Brancusi, Archipenko, Gaudier-Brzeska, Lipchitz, Nadelman and Duchamp-Villon.In the particular case of the cubist sculptors, the expressive solutions they adopt are consequent to a new way of implying the world and the intellectualistic phenomena that accompany its evolution. Keywords: Cubism; Phenomenology of Cubism; Cubist painting; Cubist sculpture. (shrink)

A central diagnostic and anecdotal feature of autism is difficulty with social communication. We take the position that communication is a two-way, intersubjective phenomenon—as described by the double empathy problem—and offer up relevance theory as a means of explaining such communication difficulties. Based on a set of proposed heuristics for successful and rapid interpretation of intended meaning, relevance theory positions communication as contingent on shared—and, importantly, mutually recognized—“relevance.” Given that autistic and non-autistic people may have sometimes markedly different embodied experiences (...) of the world, we argue that what is most salient to each interlocutor may be mismatched. Relevance theory would predict that where this salient information is not recognized or adjusted for, mutual understanding may be more effortful to achieve. This paper presents the findings from a small-scale, linguistic ethnographic study of autistic communication featuring eight core autistic participants. Each core autistic participant engaged in three naturalistic conversations around the topic of loneliness with: a familiar, chosen conversation partner; a non-autistic stranger and an autistic stranger. Relevance theory is utilized as a frame for the linguistic analysis of the interactions. Mutual understanding was unexpectedly high across all types of conversation pairings. In conversations involving two autistic participants, flow, rapport and intersubjective attunement were significantly increased and in three instances, autistic interlocutors appeared to experience improvements in their individual communicative competence contrasted with their other conversations. The findings have the potential to guide future thinking about how, in practical terms, communication between autistic and non-autistic people in both personal and public settings might be improved. (shrink)

The letters of the learned and indomitable Lady Anne Bacon, mother of the philosopher Francis Bacon, are made accessible for the first time in this edition. Bringing together nearly two hundred letters, scattered in repositories throughout the world, her correspondence sheds fresh light not only on the activities of early modern elite women, but also on well-known Elizabethan figures, including her children, her privy councillor relatives, such as William Cecil, Lord Burghley, and controversial figures, including the Earl of Essex. Translations (...) of Lady Anne's frequent use of Latin, Greek and Hebrew reveal the impact of her humanist education on her correspondence and a substantial introductory chapter allows a detailed picture of Anne's life to emerge through her surviving letters. (shrink)

BackgroundUnderstanding sex and gender in health research can improve the quality of scholarship and enhance health outcomes. Funding agencies and academic journals are two key gatekeepers of knowledge production and dissemination, including whether and how sex/gender is incorporated into health research. Though attention has been paid to key issues and practices in accounting for sex/gender in health funding agencies and academic journals, to date, there has been no systematic analysis documenting whether and how agencies and journals require attention to sex/gender, (...) what conceptual explanations and practical guidance are given for such inclusion, and whether existing practices reflect the reality that sex/gender cannot be separated from other axes of inequality.MethodsOur research systematically examines official statements about sex/gender inclusion from 45 national-level funding agencies that fund health research across 36 countries and from ten top-ranking general health and ten sex- and/or gender-related health journals. We explore the extent to which agencies and journals require inclusion of sex/gender considerations and to what extent existing strategies reflect state of the art understandings of sex/gender, including intersectional perspectives.ResultsThe research highlights the following: there is no consistency in whether sex/gender are mentioned in funding and publishing guidelines; there is wide variation in how sex/gender are conceptualized and how researchers are asked to address the inclusion/exclusion of sex/gender in research; funding agencies tend to prioritize male/female equality in research teams and funding outcomes over considerations of sex/gender in research content and knowledge production; and with very few exceptions, agency and journal criteria fail to recognize the complexity of sex/gender, including the intersection of sex/gender with other key factors that shape health.ConclusionsThe conceptualization and integration of sex/gender needs to better capture the interacting and complex factors that shape health—an imperative that can be informed by an intersectional approach. This can strengthen current efforts to advance scientific excellence in the production and reporting of research. We provide recommendations and supporting questions to strengthen consideration of sex/gender in policies and practices of health journals and funding agencies. (shrink)

As is well known, the variable-sharing property (vsp) is, according to Anderson and Belnap, a necessary property of any relevant logic. In this paper, we shall consider two versions of the vsp, what we label the "weak vsp" (wvsp) and the "strong vsp" (svsp). In addition, the "no loose pieces property," a property related to the wvsp and the svsp, will be defined. Each one of these properties shall generally be characterized by means of a class of logical matrices. In (...) this way, any logic verified by an actual matrix in one of these classes has the property the class generally represents. Particular matrices (and so, logics) in each class are provided. (shrink)

A simple Henkin-style completeness proof for Gödel 3-valued propositional logic G3 is provided. The idea is to endow G3 with an under-determined semantics of the type defined by Dunn. The key concept in u-semantics is that of “under-determined interpretation”. It is shown that consistent prime theories built upon G3 can be understood as u-interpretations. In order to prove this fact we follow Brady by defining G3 as an extension of Anderson and Belnap’s positive fragment of First Degree Entailment Logic.

This paper is a sequel to ‘Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values’, where a ‘bivalent’ Belnap-Dunn semantics is provided for all the expansions referred to in its title. The aim of the present paper is to carry out a parallel investigation for all natural implicative expansions of Kleene's strong 3-valued matrix now with only one designated value.

We consider the logics determined by the set of all natural implicative expansions of Kleene’s strong 3-valued matrix and select the class of all logics functionally equivalent to Łukasiewicz’s 3-valued logic Ł3. The concept of a “natural implicative matrix” is based upon the notion of a “natural conditional” defined in Tomova.

Routley-Meyer type ternary relational semantics are defined for relevant logics including Routley and Meyer’s basic logic B plus the reductio rule and the disjunctive syllogism. Standard relevant logics such as E and R (plus γ ) and Ackermann’s logics of ‘strenge Implikation’ Π and Π ′ are among the logics considered.

In this paper, consistency is understood as the absence of the negation of a theorem, and not, in general, as the absence of any contradiction. We define the basic constructive logic BKc1 adequate to this sense of consistency in the ternary relational semantics without a set of designated points. Then we show how to define a series of logics extending BKc1 within the spectrum delimited by contractionless minimal intuitionistic logic. All logics defined in the paper are paraconsistent logics.

BackgroundSome people with progressive neurological diseases find they need additional support with eating and drinking at mealtimes, and may require artificial nutrition and hydration. Decisions concerning artificial nutrition and hydration at the end of life are ethically complex, particularly if the individual lacks decision-making capacity. Decisions may concern issues of life and death: weighing the potential for increasing morbidity and prolonging suffering, with potentially shortening life. When individuals lack decision-making capacity, the standard processes of obtaining informed consent for medical interventions (...) are disrupted. Increasingly multi-professional groups are being utilised to make difficult ethical decisions within healthcare. This paper reports upon a service evaluation which examined decision-making within a UK hospital Feeding Issues Multi-Professional Team.MethodsA three month observation of a hospital-based multi-professional team concerning feeding issues, and a one year examination of their records. The key research questions are: a) How are decisions made concerning artificial nutrition for individuals at risk of lacking decision-making capacity? b) What are the key decision-making factors that are balanced? c) Who is involved in the decision-making process?ResultsDecision-making was not a singular decision, but rather involved many different steps. Discussions involving relatives and other clinicians, often took place outside of meetings. Topics of discussion varied but the outcome relied upon balancing the information along four interdependent axes: Risks, burdens and benefits; Treatment goals; Normative ethical values; Interested parties.ConclusionsDecision-making was a dynamic ongoing process with many people involved. The multiple points of decision-making, and the number of people involved with the decision-making process, mean the question of ‘who decides’ cannot be fully answered. There is a potential for anonymity of multiple decision-makers to arise. Decisions in real world clinical practice may not fit precisely into a model of decision-making. The findings from this service evaluation illustrate that within multi-professional team decision-making; decisions may contain elements of both substituted and supported decision-making, and may be better represented as existing upon a continuum. (shrink)

Artificial Intelligence-as-a-Service empowers individuals and organisations to access AI on-demand, in either tailored or ‘off-the-shelf’ forms. However, institutional separation between development, training and deployment can lead to critical opacities, such as obscuring the level of human effort necessary to produce and train AI services. Information about how, where, and for whom AI services have been produced are valuable secrets, which vendors strategically disclose to clients depending on commercial interests. This article provides a critical analysis of how AIaaS vendors manipulate the (...) visibility of human labour in AI production based on whether the vendor relies on paid or unpaid labour to fill interstitial gaps. Where vendors are able to occlude human labour in the organisational ‘backstage,’ such as in data preparation, validation or impersonation, they do so regularly, further contributing to ongoing techno-utopian narratives of AI hype. Yet, when vendors must co-produce the AI service with the client, such as through localised AI training, they must ‘lift the curtain’, resulting in a paradoxical situation of needing to both perpetuate dominant AI hype narratives while emphasising AI’s mundane limitations. (shrink)

The logic DHb is the result of extending Sylvan and Plumwood’s minimal De Morgan logic BM with a dual intuitionistic negation of the type Sylvan defined for the extension CCω of da Costa’s paraconsistent logic Cω. We provide Routley–Meyer ternary relational semantics with a set of designated points for DHb and a wealth of its extensions included in G3DH, the expansion of G3+ with a dual intuitionistic negation of the kind considered by Sylvan (G3+ is the positive fragment of Gödelian (...) 3-valued logic G3). All logics in the paper are paraconsistent. (shrink)

This is a very short introduction to the "Installation Art" Symposium appeared on JAAC, which presents papers by Gemma Argüello Manresa, Eleen Deprez, Ken Wilder, and myself.