In order to develop efficient tools for automated reasoning with inconsistency (theorem provers), eventually making Logics of Formal inconsistency (_LFI_) a more appealing formalism for reasoning under uncertainty, it is important to develop the proof theory of the first-order versions of such _LFI_s. Here, we intend to make a first step in this direction. On the other hand, the logic _Ciore_ was developed to provide new logical systems in the study of inconsistent databases from the point of view of _LFI_s. (...) An interesting fact about _Ciore_ is that it has a _strong_ consistency operator, that is, a consistency operator which (forward/backward) propagates inconsistency. Also, it turns out to be an algebraizable logic (in the sense of Blok and Pigozzi) that can be characterized by means of a 3-valued logical matrix. Recently, a first-order version of _Ciore_, namely _QCiore_, was defined preserving the spirit of _Ciore_, that is, without introducing unexpected relationships between the quantifiers. Besides, some important model-theoretic results were obtained for this logic. In this paper we study some proof–theoretic aspects of both _Ciore_ and _QCiore_ respectively. In first place, we introduce a two-sided sequent system for _Ciore_. Later, we prove that this system enjoys the cut-elimination property and apply it to derive some interesting properties. Later, we extend the above-mentioned system to first-order languages and prove completeness and cut-elimination property using the well-known Shütte’s technique. (shrink)

Developing a suggestion by Russell, Prawitz showed how the usual natural deduction inference rules for disjunction, conjunction and absurdity can be derived using those for implication and the second order quantifier in propositional intuitionistic second order logic NI\. It is however well known that the translation does not preserve the relations of identity among derivations induced by the permutative conversions and immediate expansions for the definable connectives, at least when the equational theory of NI\ is assumed to consist only of (...) \- and \-equations. On the basis of the categorial interpretation of NI\, we introduce a new class of equations expressing what in categorial terms is a naturality condition satisfied by the transformations interpreting NI\-derivations. We show that the Russell–Prawitz translation does preserve identity of proof with respect to the enriched system by highlighting the fact that naturality corresponds to a generalized permutation principle. Finally we sketch how these results could be used to investigate the properties of connectives definable in the framework of higher-level rules. (shrink)

In the present paper we discuss a recent suggestion of Schroeder-Heister concerning the possibility of defining an intensional notion of harmony using isomorphism in second-order propositional logic. The latter is not an absolute notion, but its definition is relative to the choice of criteria for identity of proofs. In the paper, it is argued that in order to attain a satisfactory account of harmony, one has to consider a notion of identity stronger than the usual one (based on β- and (...) η-conversions) that the authors have investigated in recent work. (shrink)

A proof-theoretic test for paradoxicality was famously proposed by Tennant: a paradox must yield a closed derivation of absurdity with no normal form. Drawing on the remark that all derivations of a given proposition can be transformed into derivations in normal form of a logically equivalent proposition, we investigate the possibility of paradoxes in normal form. We compare paradoxes à la Tennant and paradoxes in normal form from the viewpoint of the computational interpretation of proofs and from the viewpoint of (...) proof-theoretic semantics. (shrink)

In a previous paper we investigated the extraction of proof-theoretic properties of natural deduction derivations from their impredicative translation into System F. Our key idea was to introduce an extended equational theory for System F codifying at a syntactic level some properties found in parametric models of polymorphic type theory. A different approach to extract proof-theoretic properties of natural deduction derivations was proposed in a recent series of papers on the basis of an embedding of intuitionistic propositional logic into a (...) predicative fragment of System F, called atomic System F. In this paper we show that this approach finds a general explanation within our equational study of second-order natural deduction, and a clear semantic justification in terms of parametricity. (shrink)

The investigations on higher-order type theories and on the related notion of parametric polymorphism constitute the technical counterpart of the old foundational problem of the circularity of second and higher-order logic. However, the epistemological significance of such investigations has not received much attention in the contemporary foundational debate.We discuss Girard’s normalization proof for second order type theory or System F and compare it with two faulty consistency arguments: the one given by Frege for the logical system of the Grundgesetze and (...) the one given by Martin-Löf for the intuitionistic type theory with a type of all types.The comparison suggests that the question of the circularity of second order logic cannot be reduced to Russell’s and Poincaré’s 1906 “vicious circle” diagnosis. Rather, it reveals a bunch of mathematical and logical ideas hidden behind the hazardous idea of impredicative quantification, constituting a vast domain for foundational research. (shrink)

The structures of discourse used by legal and ordinary languages share differences that foster technical issues when applying or fine-tuning general-purpose language models for open-domain question answering on legal resources. For example, longer sentences may be preferred in European laws (i.e., Brussels I bis Regulation EU 1215/2012) to reduce potential ambiguities and improve comprehensibility, distracting a language model trained on ordinary English. In this article, we investigate some mechanisms to isolate and capture the discursive patterns of legalese in order to (...) perform zero-shot question answering, i.e., without training on legal documents. Specifically, we use pre-trained open-domain answer retrieval systems and study what happens when changing the type of information to consider for retrieval. Indeed, by selecting only the important parts of discourse (e.g., elementary units of discourse, EDU for short, or abstract representations of meaning, AMR for short), we should be able to help the answer retriever identify the elements of interest. Hence, with this paper, we publish Q4EU, a new evaluation dataset that includes more than 70 questions and 200 answers on 6 different European norms, and study what happens to a baseline system when only EDUs or AMRs are used during information retrieval. Our results show that the versions using EDUs are overall the best, leading to state-of-the-art F1, precision, NDCG and MRR scores. (shrink)

The aim of the present study is to analyze individual differences in academic self-efficacy within a population of Unaccompanied Foreign Minors from the European cities of Ceuta and Melilla. Variables describing educational level and length of stay were considered in a sample of 377 individuals being cared for in different youth centers. Of these, 63.4% belonged to the group who had stayed at the center for less than 9 months and 36.6% reported a length of stay of more than 9 (...) months. The age of participants ranged between 8 and 17 years old. Once the quality parameters of the instrument were elaborated, reliability and validity was confirmed through Confirmatory Factor Analysis using Structural Equation Modeling methodology. Data collection was then initiated. The results overall indicate that 87.6% of those who completed the questionnaire reported a higher level of self-efficacy with regards to working with any classmate, whilst at the same time seeing themselves as capable of achieving good marks. ANOVA results indicated significant differences with respect to educational level and length of stay. In this regard, students who had received professional training and had been at the Center for more than 9 months, were the ones who developed greater academic self-efficacy for spending more time working when tasks were judged to be difficult. The results obtained demonstrate that any intervention will be positive as long as it promotes different institutions to develop strategies that cater to a length of stay of more than 9 months and target education, academic self-efficacy, socialization and strengthening the future workforce. Such interventions can be directed through new European, Spanish or local level policies. It is clear that institutions still have a lot of work left to do. (shrink)

Science-fiction (SF) has become a reference point in the discourse on the ethics and risks surrounding artificial intelligence (AI). Thus, AI in SF—science-fictional AI—is considered part of a larger corpus of ‘AI narratives’ that are analysed as shaping the fears and hopes of the technology. SF, however, is not a foresight or technology assessment, but tells dramas for a human audience. To make the drama work, AI is often portrayed as human-like or autonomous, regardless of the actual technological limitations. Taking (...) science-fictional AI too literally, and even applying it to science communication, paints a distorted image of the technology's current potential and distracts from the real-world implications and risks of AI. These risks are not about humanoid robots or conscious machines, but about the scoring, nudging, discrimination, exploitation, and surveillance of humans by AI technologies through governments and corporations. AI in SF, on the other hand, is a trope as part of a genre-specific mega-text that is better understood as a dramatic means and metaphor to reflect on the human condition and socio-political issues beyond technology. (shrink)

I show that it is not possible to uniquely characterize classical logic when working within classical set theory. By building on recent work by Eduardo Barrio, Federico Pailos, and Damian Szmuc, I show that for every inferential level (finite and transfinite), either classical logic is not unique at that level or there exist intuitively valid inferences of that level that are not definable in modern classical set theory. The classical logician is thereby faced with a three-horned dilemma: Give up uniqueness (...) but preserve characterizability, give up characterizability and preserve uniqueness, or (potentially) preserve both but give up modern classical set theory. After proving the main result, I briefly explore this third option by developing an account of classical logic within a paraconsistent set theory. This account of classical logic ensures unique characterizability in some sense, but the non-classical set theory also produces highly non-classical meta-results about classical logic. (shrink)

Journal of Political Philosophy, EarlyView.

IRBs often face dueling values in research: their historically grounded mission to protect research participants from harm conflicts with more recent attention to the importance of including underr...

relative to the actual world) of a propositional theory are defined. A theory is ‘closer to the truth’ the logically stronger its positive content and the logically weaker its negative content. This proposal delivers the same verisimilar preordering of theories that has been defined by Brink and Heidema as a ‘power ordering’. The preordering may be collapsed to a partial ordering and then embedded into a complete distributive lattice. The preordering may also be refined to a partial ordering by employing (...) the ‘convex content’ and the ‘non-convex content’ of each theory. Philosophical implications and historical relations are discussed. (shrink)

In this study caring is shown to be a membershipbound activity to kin and gender categories with strong moral connotations. Being a daughter or being a son are good enough reasons for becoming a caregiver, more so for women than for men. Caregivers were interviewed within the research project The role of women in family care of disabled elderly conducted by the Social and Economic Research Department of INRCA, Ancona, Italy. Transcripts of the interviews were analyzed through a detailed discourse (...) analysis within an ethnomethodological framework. Interview data are treated as interactional encounters that occasion members to display relevant aspects of their identities and morally adequate images of being a caregiver. In the interview interaction, interlocutors display an orientation towards the production of a moral order in which duty and responsibilities are allocated on the basis of gender distinction. Males are generally described as not being responsible for caring tasks, except for situations in which females are absent or sick, that is, for serious reasons. Caregivers'' perception of time dedicated to caring is pervasive. Most caregivers said it occupied all their time, but gender differences were noticeable. Caring tasks are recognized as gender specific practices, thus failing to carry out these tasks is morally sanctionable when women are involved, but not so for men. Many caregivers described caring for older relatives as an intense source of stress, involving serious physical and psychological problems. The study on moral and identity issues related to caregiving highlights endangering constructions of caring. (shrink)

This study identifies some of the ethical issues that arise in the everyday practice of researching in collecting interactional data. A form of conceptualizing ethics in research is proposed as awareness of the social dimension of research practices and their transformative nature. The collection of ethnographic data—including interviewing, observing, audiovisual recording, and other methods—is achieved by means of social interactions that necessarily imply issues of face, relevance, appropriateness, politeness, and identity, to name a few. Research activities have an impact on (...) both the setting and the participants in the study, in fact, they become part of the setting studied. At times, participants may be using the research activity for their own ends. It is important for researchers to be aware of and responsible for the impact they have on the setting under study. Some ethical problems encountered conducting actual research activities are discussed as an illustration: issues related to negotiation of consent in semipublic settings and to the protection of informants’ anonymity. The actual resolution of these problems is presented as research findings from the everyday practice of doing research. Systematic reflection on the social and interactional dimension of how ethical decisions are taken during actual research activities could make legislation on the protection of research participants and ethical guidelines more realistic and useful. (shrink)

Chronically disabling health impairments affect an increasing number of people worldwide. In close relationships, disability is an interpersonal experience. Psychological distress is thus common in patients as well as their spouses. Dyadic coping can alleviate stress and promote adjustment in couples who face disabling health impairments. Much research has focused on dyadic coping with cancer. However, other health problems such as physical and sensory impairments are also common and may strongly impact couple relationships. In order to promote couples' optimal adjustment (...) to impaired health, the identification of disability-related relationship challenges is required. Furthermore, ways in which dyadic coping with these challenges may benefit couples could inform researchers and practitioners how to support couples in coping with health impairments. Accordingly, the aims of this study were to systematically review dyadic challenges and dyadic coping when one partner has a chronically disabling physical or sensory impairment. Out of 873 articles identified through database searches, 36 studies met inclusion criteria. The disability-related dyadic challenges identified in the review were changed roles and responsibilities within the couple, altered communication, compromised sexual intimacy, and reduced social participation. These challenges were reported to burden both partners and the couple relationship. Dyadic adjustment benefitted from a we-perspective, i.e., when couples viewed the disability as a shared challenge and engaged in conjoint dyadic coping. The results suggest that patient/care recipient and partner/caregiver roles should be de-emphasized and that disability should be recognized as an interpersonal experience. (shrink)

DeStefano, Oey, Brockbank, and Vul explore interdisciplinary collaboration using data‐driven measures of research topics and co‐authorship, constructed from a rich dataset of over 11,000 Cogsci conference papers. Findings suggest the cognitive science research community has become increasingly integrated in the last 19 years.

This paper presents a model of persuasion in terms of goals and beliefs. Among the various ways to influence people, that is, to raise or lower the likelihood for them to pursue some goal, ranging from threat to suggestion, persuasion is viewed as a case of communicative non-coercive goal hooking. A persuader leads a persuadee to pursue some goal out of a free choice, i.e., by convincing him/her that the proposed goal is useful for some other goal that the persuadee (...) already has. It is argued that the Aristotelian persuasive strategies of logos, ethos and pathos (rational argumentation, the speaker¿s credibility and reliability, and the appeal to emotion) are always present in every persuasive discourse, and that they are exploited to raise the value of the goal proposed and to strengthen the believability of the link between it and the persuadee¿s previous goals. The paper proposes an analysis of discourse in terms of a hierarchy of goals as a tool to single out these strategies within the discourse structure. By applying this model to different kinds of persuasive messages (political discourse, advertising, dialogues in the health domain), it shows how, in the fragments presented, this kind of analysis allows to clarify the relationships between the persuader¿s and the persuadee¿s goals and to elucidate how much and how directly the persuader appeals to logos, ethos and pathos in his/her discourse. (shrink)

Globalization is forcing us to rethink some of the categories -- such as "the people" -- that traditionally have been associated with the now eroding state. Italian political thinker Paolo Virno argues that the category of "multitude," elaborated by Spinoza and for the most part left fallow since the seventeenth century, is a far better tool to analyze contemporary issues than the Hobbesian concept of "people," favored by classical political philosophy. Hobbes, who detested the notion of multitude, defined it as (...) shunning political unity, resisting authority, and never entering into lasting agreements. "When they rebel against the state," Hobbes wrote, "the citizens are the multitude against the people." But the multitude isn't just a negative notion, it is a rich concept that allows us to examine anew plural experiences and forms of nonrepresentative democracy. Drawing from philosophy of language, political economics, and ethics, Virno shows that being foreign, "not-feeling-at-home-anywhere," is a condition that forces the multitude to place its trust in the intellect. In conclusion, Virno suggests that the metamorphosis of the social systems in the West during the last twenty years is leading to a paradoxical "Communism of the Capital.". (shrink)

The intuitive notion of a binary relation on information-bearers, comparingthem with respect to their closeness to the available information, is oftenconstrued in terms of comparing their symmetric difference with, orcompositional similarity to, the available information. This happens forinstance in some treatments of verisimilitude. We expound an abstractmathematical rendering of the relevant data-dependent relation in theframework of Boolean algebras. For every element t of a Boolean algebra B we construct the t-modulated Boolean algebra Btin which the order relation represents `is at (...) most as compatible with t as'' or `is at best as similar to t as''. In the case of Lindenbaum-Tarskialgebras, t expresses the available information, and the compatibilityrelation turns out to be an entwinement of inferential and conjecturalrelations. It is just classical entailment when no information is available(i.e., when t is logically true) and becomes more boldly abductive themore information is available. The rich algebraic structures of a Boolean algebra –- including its Boolean group structures –- play a significant role in this combination of deduction and abduction and also induce cautious anddaring variants of the compatibility relation. Links with the literature onverisimilitude, abduction, and related topics are indicated. (shrink)

Este artículo desafía la narrativa tradicional de la historia de las mujeres colombianas en la filosofía. Para ello se evita el recurso de la historia heroica de los “grandes pensadores” y se propone el método de pensar causas comunes. Como se trata de una apuesta del feminismo filosófico, se subraya la importancia de una ontología corporal y una política de posicionamiento, a partir del estudio de caso del IV Congreso Internacional femenino realizado en Bogotá (1930). En el cierre, el método (...) de la causa común nos permitió sortear lo que la filósofa Kristie Dotson denomina “la cultura de la justificación” que encierra la filosofía en una serie de normas disciplinarias y en cambio apostamos por lo que ella también llama una cultura de la praxis que permite visibilizar múltiples formas del ejercicio filosófico. (shrink)