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)

An innovative perspective on the relationship between philosophy and the Bible. The early modern philosophers’ interpretations of the Scriptures allow deciphering the breeding ground of the freedom of philosophizing, the theological-political debate, and the new conception of nature.

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

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)

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)

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

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.

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)

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.

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.

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.

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.

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.

Sylvan and Plumwood’s is the relevant De Morgan minimal logic in the Routley-Meyer semantics with a set of designated points. The aim of this paper is to define the logic and some of its extensions. The logic is the non-relevant De Morgan minimal logic in the Routley-Meyer semantics without a set of designated points.

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.

Routley–Meyer semantics (RM-semantics) is defined for Gödel 3-valued logic G3 and some logics related to it among which a paraconsistent one differing only from G3 in the interpretation of negation is to be remarked. The logics are defined in the Hilbert-style way and also by means of proof-theoretical and semantical consequence relations. The RM-semantics is defined upon the models for Routley and Meyer’s basic positive logic B+, the weakest positive RM-semantics. In this way, it is to be expected that the (...) models defined can be adapted to other related many-valued logics. (shrink)

“Weak relevant model structures” (wr-ms) are defined on “weak relevant matrices” by generalizing Brady’s model structure ${\mathcal{M}_{\rm CL}}$ built upon Meyer’s Crystal matrix CL. It is shown how to falsify in any wr-ms the Generalized Modus Ponens axiom and similar schemes used to derive Curry’s Paradox. In the last section of the paper we discuss how to extend this method of falsification to more general schemes that could also be used in deriving Curry’s Paradox.

There is little consensus on what artificial intelligence (AI) systems may or may not embrace. Although this may point to multiplicity of interpretations and backgrounds, a lack of conceptual clarity could thwart the development of common ground around the concept among researchers, practitioners and users of AI and pave the way for misinterpretation and abuse of the concept. This article argues that one of the effective ways to delineate the concept of AI is to compare and contrast it with human (...) intelligence. In doing so, the article broaches the unique capabilities of humans and AI in relation to one another (human and machine tacit knowledge), as well as two types of AI systems: one that goes beyond human intelligence and one that is necessarily and inherently tied to it. It finally highlights how humans and AI can augment their capabilities and intelligence through synergistic human–AI interactions (i.e., human-augmented AI and augmented human intelligence), resulting in hybrid intelligence, and concludes with a future-looking research agenda. (shrink)

Łukasiewicz three-valued logic Ł3 is often understood as the set of all 3-valued valid formulas according to Łukasiewicz’s 3-valued matrices. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: “well-determined” Ł3a and “truth-preserving” Ł3b defined by two different consequence relations on the 3-valued matrices. The aim of this paper is to provide (by using Dunn semantics) dual equivalent two-valued under-determined and over-determined interpretations for Ł3, Ł3a and Ł3b. The logic Ł3 is axiomatized as an extension of Routley (...) and Meyer’s basic positive logic following Brady’s strategy for axiomatizing many-valued logics by employing two-valued under-determined or over-determined interpretations. Finally, it is proved that “well determined” Łukasiewicz logics are paraconsistent. (shrink)

In Rogerson and Restall’s, the “class of implication formulas known to trivialize ” is recorded. The aim of this paper is to show how to invalidate any member in this class by using “weak relevant model structures”. Weak relevant model structures verify deep relevant logics only.

Łukasiewicz three-valued logic Ł3 is often understood as the set of all 3-valued valid formulas according to Łukasiewicz’s 3-valued matrices. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: “well-determined” Ł3a and “truth-preserving” Ł3b defined by two different consequence relations on the 3-valued matrices. The aim of this paper is to provide dual equivalent two-valued under-determined and over-determined interpretations for Ł3, Ł3a and Ł3b. The logic Ł3 is axiomatized as an extension of Routley and Meyer’s basic positive (...) logic following Brady’s strategy for axiomatizing many-valued logics by employing two-valued under-determined or over-determined interpretations. Finally, it is proved that “well determined” Łukasiewicz logics are paraconsistent. (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.

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)

This is a correction to: Gemma Robles, José M. Méndez, A note on functional relations in a certain class of implicative expansions of FDE related to Brady’.

It is proved that Ackermann’s rule δ is admissible in a wide spectrum of relevant logics satisfying certain syntactical properties.

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)

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)

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

In this paper, consistency is understood in the standard way, i.e. as the absence of a contradiction. The basic constructive logic BKc4, which is adequate to this sense of consistency in the ternary relational semantics without a set of designated points, is defined. Then, it is shown how to define a series of logics by extending BKc4 up to minimal intuitionistic logic. All logics defined in this paper are paraconsistent logics.

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 logic BN4 can be considered as the 4-valued logic of the relevant conditional and the logic E4, as the 4-valued logic of entailment. The aim of this paper is to endow E4 with a 2-set-up Routley-Meyer semantics. It is proved that E4 is strongly sound and complete w.r.t. this semantics.

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)

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

A restriction of R-Mingle with the variable-sharing property and the Ackermann properties is defined. From an intuitive semantical point of view, this restriction is an alternative to Anderson and Belnap’s logic of entailment E.

Feminist aesthetics can be characterized as a critical conceptual framework for analyzing the gender assumptions Western aesthetics, philosophy of the arts and the arts have had and their implications in the categories they have historically employed. It emerged as a result the influence feminism had in the study of gender bias in the artistic production and its reception. Works like Linda Nochlin’s Why Have There Been No Great Women Artists? (1971) and Laura Mulvey’s Visual Pleasure and Narrative Cinema (1975) were (...) fundamental for recognizing the exclusion of women from the history of the great visual artists and how the male gaze is a predominant kind of depiction that satisfies and is designed from a masculine and heterosexual point of view. -/- During the 1970s and 1980s it started the analysis of the male gaze in literature, film and visual arts, but also the women’s artistic production demanding its recognition. However, it was not until the 1990s that philosophical feminist aesthetics was first addressed as an important and necessary area of study with the special issues Feminism and aesthetics (Hein, Korsmeyer 1990) in “Hypatia: a journal of Feminist Philosophy”, and Feminism and traditional aesthetics (Brand, Korsmeyer 1990) in “The Journal of Aesthetics and Art Criticism”. And the first introductory book on the field, Gender and aesthetics: an introduction by Carolyn Korsmeyer (2004) was published during the first decade of the 2000s. -/- Although feminist aesthetics came later than feminist political philosophy, it appeared almost at the same time as feminist perspectives of other philosophical fields, such as epistemology and philosophy of science. Like other feminist approaches to different philosophical domains, there is not a unitary feminist perspective on aesthetics, however, despite the variety of approaches, all implicitly or explicitly demand the recognition of women in its sphere of influence, that is, philosophy and the arts. Nevertheless, contrary to other fields it does not only take contributions from analytic and continental feminism, but also from cultural theory, art history, comparative literature, film theory, psychoanalysis, just to name a few disciplines and theories. Feminist aesthetics’ literature covers a broad range of topics, but the most important are the feminist critique of philosophical aesthetics and the feminist philosophy and theory of the arts. (shrink)

Minimal Negation is defined within the basic positive relevance logic in the relational ternary semantics: B+. Thus, by defining a number of subminimal negations in the B+ context, principles of weak negation are shown to be isolable. Complete ternary semantics are offered for minimal negation in B+. Certain forms of reductio are conjectured to be undefinable (in ternary frames) without extending the positive logic. Complete semantics for such kinds of reductio in a properly extended positive logic are offered.