In this paper, we offer an argument in favor of the modular character of mind, based on a more detailed proof of the modular character of the linguistic capacity: in comparing the properties of different components of grammar in a specific area we will draw general consequences about the properties of the cognitive system. More specifically, we analyze and compare the properties, in logical form (LF)and in phonology, of “empty eIements” - eIements that are “visible” or “full” at some level (...) of representation, but not at another level.Our analysis shows that empty eIements are governed at LF by principIes on variables. binding conditions, and thematic principles, that relate eIements at a distance. In phonology, on the other hand, empty elements, i.e., empty segments and empty properties, can be obtaines by deletion and are governed by very different principles (underspecification, principles relating to recoverability of deletion effects), andthese principles relates eIements under strict adjacency. In addition, when a principle seems to be operating in a similar fashion in both components, as in the case of the Projection Principle, it involves lexical properties, which are properties affecting all components. We conclude, hence, that grammar is a modular system, with different components following different principles but related of course, among other things, by the properties of lexical structure.It follows from this analysis that a theory that views language as part of a homogeneous cognitive capacity cannot be mantained: cognition cannot be nonmodular in a strict sense, since a subpart of it, the linguistic capacity is modular itself. We conclude also that the linguistic capacity being modular, we ean only expect that, when studied in more detail, other cognitive capacities will be shown to differ intheir structure still more from the language system. (shrink)

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)

The present paper is inspired by Sylvan and Plumwood’s logicBM defined in “Non-normal relevant logics” and by their treatmentof negation with the ∗-operator in “The semantics of first-degree en-tailment”. Given a positive logic L including Routley and Meyer’sbasic positive logic and included in either the positive fragment of Eor in that of RW, we investigate the essential De Morgan negation ex-pansions of L and determine all the deductive relations they maintainto each other. A Routley-Meyer semantics is provided for each logicdefined (...) in the paper. (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.

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)

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.

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.

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)

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

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.

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)

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)

A classical result by Słupecki states that a logic L is functionally complete for the 3-element set of truth-values THREE if, in addition to functionally including Łukasiewicz’s 3-valued logic Ł3, what he names the ‘$T$-function’ is definable in L. By leaning upon this classical result, we prove a general theorem for defining binary expansions of Kleene’s strong logic that are functionally complete for THREE.

The logic BN4 was defined by R.T. Brady in 1982. It can be considered as the 4-valued logic of the relevant conditional. E4 is a variant of BN4 that can be considered as the 4-valued logic of entailment. The aim of this paper is to define reduced general Routley-Meyer semantics for BN4 and E4. It is proved that BN4 and E4 are strongly sound and complete w.r.t. their respective semantics.

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

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)

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)

Equivalent overdetermined and underdetermined bivalent Belnap–Dunn type semantics for the logics determined by all natural implicative expansions of Kleene’s strong 3-valued matrix with only one designated value are provided.

The well-known logic first degree entailment logic (FDE), introduced by Belnap and Dunn, is defined with |$\wedge $|⁠, |$\vee $| and |$\sim $| as the sole primitive connectives. The aim of this paper is to establish the lattice formed by the class of all 4-valued C-extending implicative expansions of FDE verifying the axioms and rules of Routley and Meyer’s basic logic B and its useful disjunctive extension B|$^{\textrm {d}}$|⁠. It is to be noted that Boolean negation (so, classical propositional logic) (...) is definable in the strongest element in the said class. (shrink)

Migration is a phenomenon that is as old as humankind. Today, however, it is undergoing changes that are not only radically re-defining human geography but are also offering insights for theological reflection into the contemporary human condition. The shift in gender composition or the emergence of the so-called ‘feminisation of international migration’ is one of these. This paper scrutinises, from a theological perspective, the religious ways in which migrant women deal with the difficult and oppressive conditions that are born out (...) of migration. It draws heavily from the experience of Asian women migrants in general and Filipino women migrants in particular. It starts with a brief introduction that takes as its starting-point the case of Filipino women migrants to illustrate how faith is significantly woven in migrant women’s lives. Then it explores three concrete faith-based ways of surviving common to Asian migrant women namely courageous hope, creative resistance, and steadfast faith. The paper then ends with a brief conclusion. (shrink)

Immigration reform is a highly complex and multifaceted task with significant economic, political and religio-cultural repercussions thereby bringing tremendous ethical challenges and implications. This article explores the possible contribution of modern Catholic Social Teaching in addressing the ethical challenges of immigration reform, particularly in the United States, by examining key themes that could address critical issues in the current debate on immigration reform and arguing how an ethic of risk which, the author submits, runs through the key themes of Catholic (...) Social Teaching explored in this paper, could then serve as an approach in articulating how Christian discipleship could foreground citizenship in the context of immigration. (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 (covering the regions of the EU and associated countries, North America, and Australia) and from ten top-ranking general health (the top five in “science” and the top five in “social science”) 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: (a) there is no consistency in whether sex/gender are mentioned in funding and publishing guidelines; (b) 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; (c) 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 (d) 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)

The logic BKc6 is the basic constructive logic in the ternary relational semantics adequate to consistency understood as absolute consistency, i.e., non-triviality. Negation is introduced in BKc6 with a negation connective. The aim of this paper is to define the logic BKc6F. In this logic negation is introduced via a propositional falsity constant. We prove that BKc6 and BKc6F are definitionally equivalent. Then, we show how to extend BKc6F within the spectrum of logics delimited by contractionless intuitionistic logic. All logics (...) defined in the paper are paraconsistent logics. (shrink)

In this paper, we explore a new perspective on digital humanism, emphasizing the centrality of multi-stakeholder dialogues and a bottom-up approach to surfacing stakeholder values. This approach starkly contrasts with existing frameworks, such as the Vienna Manifesto's top-down digital humanism, which hinges on pre-established first principles. Our approach provides a more flexible, inclusive framework that captures a broader spectrum of ethical considerations, particularly those pertinent to the digital realm. We apply our model to two case studies, comparing the insights generated (...) with those derived from a utilitarian perspective and the Vienna Manifesto's approach. The findings underscore the enhanced effectiveness of our approach in revealing additional, often overlooked stakeholder values, not typically encapsulated by traditional top-down methodologies. Furthermore, this paper positions our digital humanism approach as a powerful tool for framing ethics-by-design, by promoting a narrative that empowers and centralizes stakeholders. As a result, it paves the way for more nuanced, comprehensive ethical considerations in the design and implementation of digital technologies, thereby enriching the existing literature on digital ethics and setting a promising agenda for future research. (shrink)

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)

Coexistence in schools inevitably carries a higher risk of conflicts among peers. This fact can be detrimental to the well-being and academic achievement of the students. In many developed countries, about 90% of the pupils in compulsory secondary education report witnessing assaults among peers. In this regard, recognizing, controlling and managing emotions is key to ensure a healthy and effective interaction with others. Negative emotions, such as anger, can trigger conflicts or even episodes of violence if not regulated properly. Interactive (...) tools, such as specialised software’s, have shown high rates of efficacy for the training of different kinds of competences like the regulation of emotions. The aim of the present work is to describe the Happy Emotional Education Program and its effects over a sample of secondary school students. This software focuses in the training of emotional competences of the students with the objective of solving conflicts in a more assertive way. The design employed in the present work was a quasiexperimental design with pretest and posttest with a control group. Results show that Happy Emotional Education Program contributes to the management of emotions and well-being in a significant way. Additionally, the constant use of this interactive tool enhances motivation and the learning process of students. Results also indicate the importance of assessing the effects of the program in the long term. This would enable researchers to further assess the effects of the program over those emotional competences that are more resistant to change given its stable nature. (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)

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.

This book is a collection of fictionalized case studies of everyday ethical dilemmas and challenges, encountered in the process of conducting global health research in places where the effects of political and economic inequality are particularly evident. It is a training tool to fill the gap between research ethics guidelines and their implementation "on the ground." The cases focus on "relational" ethics: ethical actions and ideas that continuously emerge through relations with others, rather than being determined by bioethics regulation. They (...) are based on stories and experiences collected by a group of social anthropologists who have worked with leading transnational medical research organizations across Africa in the past decade. Accompanied by guidelines, discussion questions and selected further readings, the book provides a flexible resource for training and self-study for people engaged in health research with, universities, international collaborative sites and NGOs and for everyone interested in the realities of global health research today.". (shrink)

A central diagnostic and anecdotal feature ofautismis difficulty with socialcommunication. We take the position that communication is a two-way,intersubjectivephenomenon—as described by thedouble empathy problem—and offer uprelevance theory(a cognitive account of utterance interpretation) 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,mutuallyrecognized—“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 (mutually) 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: (1) a familiar, chosen conversation partner; (2) a non-autistic stranger and (3) 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 logic B M is Sylvan and Plumwood's minimal De Morgan logic. The aim of this paper is to investigate extensions of B M endowed with a quasi-Boolean negation of intuitionistic character included...

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)

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.