In this study, we examine whether, how, and when corporate social responsibility increases promotive and prohibitive voices in accordance with ethical climate theory and multi-experience model of ethical climate. Data from 382 employees at two time points are examined. Results show that CSR is positively related to promotive and prohibitive voices. Other-focused and self-focused climates mediate the relationship between CSR and the two types of voice. Moreover, humble leadership moderates the positive relationship between CSR and other-focused climate. Such leadership moderates (...) the negative relationship between CSR and self-focused climate. Humble leadership also moderates the indirect effect between CSR and the two kinds of voice through other-focused and self-focused climates. The findings of this study provide important insights into how and when CSR influences employee voice. (shrink)

The purpose of this article is to show how W.B. Gallie’s proposal on the essential contestability of political concepts ended up calling into question the very notion of essential contestability proposed by this author. In spite of this, we consider that such a notion can still be a contribution to the history of concepts if it is complemented by some aspects of Hegel’s philosophy, located in his Science of Logic, which can provide a foundation for such contestability from a self-referred (...) negativity open to semantic displacements, which allows us to receive Gallie’s proposal without having to accept all his theoretical commitments, radicalizing his proposal and providing some useful indications for the history of political concepts. (shrink)

The general objective of this essay is to systematize Jean-Luc Nancy’s post- deconstructive reflections on the concept of evidence. A general claim of this paper is that the post-deconstructive concept of evidence is genuinely an epistemic concept of evidence insofar as it refers to structures involved in verification processes. Evidence is the presentation of a state of affairs that relates the presentation not only to what we claim about this state of affairs but also to the singular circumstances of its (...) production. Verification (the production of a claim’s truth) results directly from the singularities involved in the production or presentation of evidence. This means that evidence is never exhausted in the truth it produces or the knowledge it validates but remains a priori exposed or available to produce and validate unknown knowledge about unknown states of affairs. (shrink)

The use of black box algorithms in medicine has raised scholarly concerns due to their opaqueness and lack of trustworthiness. Concerns about potential bias, accountability and responsibility, patient autonomy and compromised trust transpire with black box algorithms. These worries connect epistemic concerns with normative issues. In this paper, we outline that black box algorithms are less problematic for epistemic reasons than many scholars seem to believe. By outlining that more transparency in algorithms is not always necessary, and by explaining that (...) computational processes are indeed methodologically opaque to humans, we argue that the reliability of algorithms provides reasons for trusting the outcomes of medical artificial intelligence. To this end, we explain how computational reliabilism, which does not require transparency and supports the reliability of algorithms, justifies the belief that results of medical AI are to be trusted. We also argue that several ethical concerns remain with black box algorithms, even when the results are trustworthy. Having justified knowledge from reliable indicators is, therefore, necessary but not sufficient for normatively justifying physicians to act. This means that deliberation about the results of reliable algorithms is required to find out what is a desirable action. Thus understood, we argue that such challenges should not dismiss the use of black box algorithms altogether but should inform the way in which these algorithms are designed and implemented. When physicians are trained to acquire the necessary skills and expertise, and collaborate with medical informatics and data scientists, black box algorithms can contribute to improving medical care. (shrink)

Several philosophical issues in connection with computer simulations rely on the assumption that results of simulations are trustworthy. Examples of these include the debate on the experimental role of computer simulations :483–496, 2009; Morrison in Philos Stud 143:33–57, 2009), the nature of computer data Computer simulations and the changing face of scientific experimentation, Cambridge Scholars Publishing, Barcelona, 2013; Humphreys, in: Durán, Arnold Computer simulations and the changing face of scientific experimentation, Cambridge Scholars Publishing, Barcelona, 2013), and the explanatory power of (...) computer simulations :277–292, 2008; Durán in Int Stud Philos Sci 31:27–45, 2017). The aim of this article is to show that these authors are right in assuming that results of computer simulations are to be trusted when computer simulations are reliable processes. After a short reconstruction of the problem of epistemic opacity, the article elaborates extensively on computational reliabilism, a specified form of process reliabilism with computer simulations located at the center. The article ends with a discussion of four sources for computational reliabilism, namely, verification and validation, robustness analysis for computer simulations, a history of successful implementations, and the role of expert knowledge in simulations. (shrink)

This book addresses key conceptual issues relating to the modern scientific and engineering use of computer simulations. It analyses a broad set of questions, from the nature of computer simulations to their epistemological power, including the many scientific, social and ethics implications of using computer simulations. The book is written in an easily accessible narrative, one that weaves together philosophical questions and scientific technicalities. It will thus appeal equally to all academic scientists, engineers, and researchers in industry interested in questions (...) related to the general practice of computer simulations. (shrink)

This article aims to develop a new account of scientific explanation for computer simulations. To this end, two questions are answered: what is the explanatory relation for computer simulations? And what kind of epistemic gain should be expected? For several reasons tailored to the benefits and needs of computer simulations, these questions are better answered within the unificationist model of scientific explanation. Unlike previous efforts in the literature, I submit that the explanatory relation is between the simulation model and the (...) results of the simulation. I also argue that our epistemic gain goes beyond the unificationist account, encompassing a practical dimension as well. (shrink)

In the last decades there has been a great controversy about the scientific status of emotion categories. This controversy stems from the idea that emotions are heterogeneous phenomena, which precludes classifying them under a common kind. In this article, I analyze this claim—which I call the Variability Thesis—and argue that as it stands, it is problematically underdefined. To show this, I examine a recent formulation of the thesis as offered by Scarantino (2015). On one hand, I raise some issues regarding (...) the logical structure of the claim. On the other hand, and most importantly, I show that the Variability Thesis requires a consensus about what counts as a relevant pattern of response in different domains, a consensus that is lacking in the current literature. This makes it difficult to assess what counts as evidence for or against this thesis. As a result, arguments based on the Variability Thesis are unwarranted. This raises serious concerns about some current empirical theories of emotions, but also sheds light on the issue of the scientific status of emotion categories. (shrink)

En este trabajo defiendo que la distribución desigual de bienes que los individuos piensan que objetivamente debieran distribuirse de modo igualitario genera un cierto tipo de envidia o resentimiento que es característico de la igualdad democrática. Dado que esta formulación suena como una objeción en contra de las distribuciones igualitarias, mi principal defensa aquí será el revindicar un sentido de envidia o resentimiento que es específicamente social y político en su naturaleza. Argumentare que el ben social del autorrespeto une la (...) igualdad democrática con ese tipo de envidia. En efecto. Este tipo de envidia emerge en casos en que la inequidad amenace el mutuo reconocimiento que los ciudadanos se deben los unos a los otros. (shrink)

Many philosophical accounts of scientific models fail to distinguish between a simulation model and other forms of models. This failure is unfortunate because there are important differences pertaining to their methodology and epistemology that favor their philosophical understanding. The core claim presented here is that simulation models are rich and complex units of analysis in their own right, that they depart from known forms of scientific models in significant ways, and that a proper understanding of the type of model simulations (...) are fundamental for their philosophical assessment. I argue that simulation models can be distinguished from other forms of models by the many algorithmic structures, representation relations, and new semantic connections involved in their architecture. In this article, I reconstruct a general architecture for a simulation model, one that faithfully captures the complexities involved in most scientific research with computer simulations. Furthermore, I submit that a new methodology capable of conforming such architecture into a fully functional, computationally tractable computer simulation must be in place. I discuss this methodology—what I call recasting—and argue for its philosophical novelty. If these efforts are heading towards the right interpretation of simulation models, then one can show that computer simulations shed new light on the philosophy of science. To illustrate the potential of my interpretation of simulation models, I briefly discuss simulation-based explanations as a novel approach to questions about scientific explanation. (shrink)

Recently, Indigenous commentators have begun to analyse the way in which institutional Research Ethics Boards engage with Indigenous researchers and participants, respond to Indigenous peoples’ concerns with academic research activities, and scrutinise the ethics proposals of Indigenous scholars. Of particular concern for Indigenous commentators is that the work of REBs often results in the marginalisation of Indigenous approaches to knowledge construction and dissemination, especially in relation to the vexed issue of informed consent. Based on analysis of the results of research (...) with Indigenous researchers and research participants, this paper argues that institutionalised REBs’ preference for ‘universal’ and ‘individualised’ approaches for determining ethical research conduct marginalises Indigenous approaches to ethical research conduct. The paper concludes by calling for a decolonisation of REB processes through recognition of the validity of communal processes for attaining the informed conse... (shrink)

Functionalism as a philosophical position has been recently applied to the case of emotion research. However, a number of objections have been raised against applying such a view to scientific theorizing on emotions. In this article, I argue that functionalism is still a viable strategy for emotion research. To do this, I present functionalism in philosophy of mind and offer a sketch of its application to emotions. I then discuss three recent objections raised against it and respond to each of (...) them. These objections claim that functionalism is intractable because (i) it does not support a scientifically interesting taxonomy of emotions for experimental settings, (ii) it is inherently teleological, and (iii) it cannot be falsified. I argue that these objections either rely on a simplified version of functionalism as a philosophical position or they pose challenges that functionalists can readily address. Lastly, I conclude by drawing some lessons these objections suggest for a tractable functionalist account of emotions. (shrink)

We discuss two modal claims about the phenomenal structure of color experiences: (i) violet experiences are necessarily experiences of a color that is for the subject on that occasion phenomenally composed of red and blue (the modal claim about violet) and (ii) no subject can possibly have an experience of a color that is for it then phenomenally composed of red and green (the modal claim about reddish green). The modal claim about reddish green is undermined by empirical results. We (...) discuss whether these empirical results cast doubt on the other modal claims as well. We argue that this not the case. Our argument is based on the thesis that the best argument for the modal claim about violet is quite different from the best argument for the modal claim about reddish green. To argue for this disanalogy we propose a reconstruction of the best available justification for both claims. (shrink)

When one wants to use citizen input to inform policy, what should the standards of informedness on the part of the citizens be? While there are moral reasons to allow every citizen to participate and have a voice on every issue, regardless of education and involvement, designers of participatory assessments have to make decisions about how to structure deliberations as well as how much background information and deliberation time to provide to participants. After assessing different frameworks for the relationship between (...) science and society, we use Philip Kitcher's framework of Well-Ordered Science to propose an epistemic standard on how citizen deliberations should be structured. We explore what potential standards follow from this epistemic framework focusing on significance versus scientific and engineering expertise. We argue that citizens should be tutored on the historical context of why scientific questions became significant and deemed scientifically and socially valuable, and if citizens report that they are capable of weighing in on an issue then they should be able to do so. We explore what this standard can mean by looking at actual citizen deliberations tied to the 2014 NASA ECAST Asteroid Initiative Citizen forums. We code different vignettes of citizens debating alternative approaches for Mars exploration based upon what level of information seemed to be sufficient for them to feel comfortable in making a policy position. The analysis provides recommendations on how to design and assess future citizen assessments grounded in properly conveying the historical value context surrounding a scientific issue and trusting citizens to seek out sufficient information to deliberate. (shrink)

We would like to thank the authors of the commentaries for their critical appraisal of our feature article, Who is afraid of black box algorithms?1 Their comments, suggestions and concerns are various, and we are glad that our article contributes to the academic debate about the ethical and epistemic conditions for medical Explanatory AI. We would like to bring to attention a few issues that are common worries across reviewers. Most prominently are the merits of computational reliabilism —in particular, when (...) promoted as an alternative to transparency—and CR as necessary but not sufficient for delivering trust. We finalise our response by addressing concerns about the place and role of artificial intelligence in medical decision-making and the physician’s responsibilities. We understand the concerns and reservations that some of the reviewers express regarding the epistemic merits of CR. We believe that, in part, this is due to a practice too deeply rooted in transparency. But on …. (shrink)

Functionalism as a philosophical position has been recently applied to the case of emotion research. However, a number of objections have been raised against applying such a view to scientific theorizing on emotions. In this article, I argue that functionalism is still a viable strategy for emotion research. To do this, I present functionalism in philosophy of mind and offer a sketch of its application to emotions. I then discuss three recent objections raised against it and respond to each of (...) them. These objections claim that functionalism is intractable because (i) it does not support a scientifically interesting taxonomy of emotions for experimental settings, (ii) it is inherently teleological, and (iii) it cannot be falsified. I argue that these objections either rely on a simplified version of functionalism as a philosophical position or they pose challenges that functionalists can readily address. Lastly, I conclude by drawing some lessons these objections suggest for a tractable functionalist account of emotions. (shrink)

A chronicled approach to the notion of computer simulations shows that there are two predominant interpretations in the specialized literature. According to the first interpretation, computer simulations are techniques for finding the set of solutions to a mathematical model. I call this first interpretation the problem-solving technique viewpoint. In its second interpretation, computer simulations are considered to describe patterns of behavior of a target system. I call this second interpretation the description of patterns of behavior viewpoint of computer simulations. This (...) article explores these two interpretations of computer simulations from three different angles. First, I collect a series of definitions of computer simulation from the historical record. I track back definitions to the early 1960s and show how each viewpoint shares similar interpretations of computer simulations—ultimately clustering into the two viewpoints aforementioned. This reconstruction also includes the most recent literature. Second, I unpack the philosophical assumptions behind each viewpoint, with a special emphasis on their differences. Third, I discuss the philosophical implications of each viewpoint in the context of the recent discussion on the logic of scientific explanation for computer simulations. (shrink)

A chronicled approach to the notion of computer simulations shows that there are two predominant interpretations in the specialized literature. According to the first interpretation, computer simulations are techniques for finding the set of solutions to a mathematical model. I call this first interpretation the problem-solving technique viewpoint. In its second interpretation, computer simulations are considered to describe patterns of behavior of a target system. I call this second interpretation the description of patterns of behavior viewpoint of computer simulations. This (...) article explores these two interpretations of computer simulations from three different angles. First, I collect a series of definitions of computer simulation from the historical record. I track back definitions to the early 1960s and show how each viewpoint shares similar interpretations of computer simulations—ultimately clustering into the two viewpoints aforementioned. This reconstruction also includes the most recent literature. Second, I unpack the philosophical assumptions behind each viewpoint, with a special emphasis on their differences. Third, I discuss the philosophical implications of each viewpoint in the context of the recent discussion on the logic of scientific explanation for computer simulations. (shrink)

This article presents three studies examining the importance of identification with characters in research on media entertainment. In Study 1 it was found that identification with characters was associated with spectators' degree of enjoyment of feature films of different genres. Study 2 showed that identification with characters predicts the affective impact of a dramatic film and, also, it was associated with greater cognitive elaboration and a more complex reflexive process during the viewing of the dramatic film. In Study 3 it (...) was observed that identification with characters predicted the incidental impact of a full length fictional film on attitudes and beliefs. These results support the centrality of the construct of identification with characters in narrative persuasion research. (shrink)

This article asks the question, ``what is reliable machine learning?'' As I intend to answer it, this is a question about epistemic justification. Reliable machine learning gives justification for believing its output. Current approaches to reliability (e.g., transparency) involve showing the inner workings of an algorithm (functions, variables, etc.) and how they render outputs. We then have justification for believing the output because we know how it was computed. Thus, justification is contingent on what can be shown about the algorithm, (...) its properties, and its behavior. In this paper, I defend computational reliabilism (CR). CR is a computationally-inspired off-shoot of process reliabilism that does not require showing the inner workings of an algorithm. CR credits reliability to machine learning by identifying reliability indicators external to the algorithm (validation methods, knowledge-based integration, etc.). Thus, we have justification for believing the output of machine learning when we have identified the appropriate reliability indicators. CR is advanced as a more suitable epistemology for machine learning. The main goal of this article is to lay the groundwork for CR, how it works, and what we can expect as a justificatory framework for reliable machine learning. (shrink)

In this paper I argue that many scholars involved in the contemporary free will debates have underappreciated the philosophical appeal of agent causation because the resources of contemporary emergentism have not been adequately introduced into the discussion. Whereas I agree that agent causation’s main problem has to do with its intelligibility, particularly with respect to the issue of how substances can be causally relevant, I argue that the notion of substance causation can be clearly articulated from an emergentist framework. According (...) to my proposal, a free agent is _a causally powerful substance that emerges in an anomic way from her constitutive mental events_, downwardly constraining, selecting and, in this way, having control on them. As we shall see, this particular concept of agent causation not only makes sense of the deep insight behind agent libertarianism, but it also provides us with the resources to solve some of the main objections that have been raised against it. It is true that here I cannot develop a complete defense of the evidential credentials of emergentism. Still, even if the considerations that follow do not serve to convince detractors of agent causal libertarian accounts of free will, they do suggest that libertarian agent causation is more promising than is typically acknowledged. (shrink)

This article presents a systematic literature review on quality management and social responsibility (focusing on ethical and social issues). It uses the literature review to identify the parallels between quality management and social responsibility, the extent to which qualitative, quantitative and mixed methods are used, the countries that have contributed most to this area, and how the most common quality management practices facilitate social responsibility. The literature review covers articles about quality management and social responsibility (focusing on ethical and social (...) categories) based on a computer search in three databases, namely ABI Inform, Emerald and Science Direct, and includes articles dealing with the subject that were found in the lists of references of the articles found in the primary search, as well as a search in six top management journals. The results show (1) the journals most likely to publish this type of article; (2) the range of qualitative, quantitative and mixed methods used; (3) the most productive countries in this field; (4) the parallels between quality management and social responsibility; and (5) how the most common quality management practices facilitate ethical behaviour and social aspects. (shrink)

Business organizations in their work environment, aspire to create a high level of performance and low levels of absenteeism and turnover. Organizational commitment is considered a key factor in achieving this objective, however, it can be conditioned by several factors, among which is the psychological contract. The literature has related the organizational commitment with the fulfillment of the psychological contract framing it as one of the explanatory variables. This work aims to investigate research trends on psychological contract and organizational commitment. (...) For this purpose, bibliometric techniques and the software SciMAT have been used. 220 journal articles indexed in Web of Science (WoS) were analyzed. The findings indicate that the theme chosen for this review is valid. Based on the relationship between the two concepts, as the most recurrent themes, issues such as the sense of justice and the consequences of the violation of the psychological contract, normative commitment, HR management or job insecurity are addressed. However, in the last period analyzed (2015–2018), publications related to more sensitive topics to the present time emerge, such as the employability or the impact of these two concepts in the new generations (millennial and generation-Y) or the retention of talent. On the other hand, shortcomings are detected in the research on the ideologically charged psychological contract, the analysis of the organizational context or cultural and demographic factors in relation to both theoretical constructs. The contribution of this work lies in giving visibility to scientific results, which will serve business organizations as instruments for decision making in their labor management and, for the scientific community, as knowledge of the research spaces to explore. (shrink)

This article argues that the price obtainable in an open market provides the best standard for determining the justice or injustice of the price of a product. The article argues that this standard, which is closely related to positions which have been held for hundreds of years, is superior to several alternative conceptions of the just price that have been put forward in recent years and is not subject to fundamental criticisms which can be addressed to them. The article also (...) shows how this standard is grounded in more fundamental principles of justice such as desert and equality. (shrink)

In this volume, scientists, historians, and philosophers join to examine computer simulations in scientific practice. One central aim of the volume is to provide a multiperspective view on the topic. Therefore, the text includes philosophical studies on computer simulations, as well as case studies from simulation practice, and historical studies of the evolution of simulations as a research method.

This paper examined the relationship between coaches and youth athletes in China by comparing data collected before and after the lockdown. A total of 221 youth athletes aged 13-19 years in one professional football school completed coach-athlete relationship questionnaires. The rank-sum test was used to verify the differences in the data. The results of the Mann-Whitney U test showed that the mean value of the three dimensions of the coach-athlete relationship (closeness, commitment, and complementarity) increased after the COVID-19 lockdown. The (...) results also showed that athletes of different age categories showed different changes in the coach-athlete relationship after the lockdown, and the changes were not significantly related to the severity of the COVID-19 epidemic. The theoretical and practical implications are discussed. (shrink)

In recent years, Julien Deonna and Fabrice Teroni have proposed to understand emotions as embodied evaluative attitudes we take towards objects that figure in nonevaluative representational states. Although their account nicely explains some of the key features that emotions are widely taken to have, it runs into a version of what I call the problem of integration. In the case of the attitudinal view, the integration problem takes the form of explaining how, from the point of view of the subject, (...) the bodily responses that make up the attitude part of the emotion and the representational states that provide the particular object of the emotion come to form an intentionally structured unitary experience, that is, one in which the bodily responses are intentionally directed towards the object. I argue that what explains this integration is the way in which the experience of bodily responses and the experience of the representational states interact. This, I propose, produces what I call an experience of convergence. I also suggest that understanding emotional experience in this way not only solves the problem of the integration but also provides a more solid ground for the claim that emotions qua embodied attitudes are evaluative. (shrink)

According to intellectualists, the will is a rational inclination towards apprehended goodness. This conception of the will makes its acts intelligible: they are explained by (i) the nature of the will as a rational inclination, and (ii) the judgement of the intellect that moves the will. From this it follows that it is impossible for an agent to will evil as such or for its own sake. In explaining wrongdoing intellectualists cite cognitive error or the disruptive influences of the passions; (...) these considerations, however, seem involuntary and at least partly exculpatory. The intellectualist needs an account that renders wrongful actions intelligible without undermining their status as responsible. I argue that Leibniz has the theoretical tools to provide at least part of an answer to this problem. In sum, an agent is directly responsible for her wrongdoing if the cognitive error or the disruptive influence of the passions that help explain this wrongdoing do not completely undermine her acting freely; an agent is indirectly responsible for her wrongdoing if she is directly responsible for previous actions which partly resulted in her wrongdoing, even if the presence of cognitive error or disruptive influence of the passions completely undermines her acting freely. (shrink)

This book offers an impressive collection of contributions on the epistemology of international biolaw and its applications, both in the legal and ethical fields. Bringing together works by some of the world’s most prominent experts on biolaw and bioethics, it constitutes a paradigmatic text in its field. In addition to exploring various ideologies and philosophies, including European, American and Mediterranean biolaw traditions, it addresses controversial topics straight from today’s headlines, such as genetic editing, the dual-use dilemma, and neurocognitive enhancement. The (...) book encourages readers to think objectively and impartially in order to resolve the ethical and juridical dilemmas that stem from biotechnological empowerment and biomedical techniques. Accordingly, it offers a valuable resource for courses on biolaw, law, bioethics, and biomedical research, as well as courses that discuss law and the biosciences at different professional levels, e.g. in the courts, biomedical industry, pharmacological companies and the public space in general. (shrink)

The goal of this study was to introduce a model explaining how managers' attitudes, subjective norms, attributions, and the individualism-collectivism cultural dimension affect the way managers' deal with employee bribery in organizations. Twenty-six internal and external attributions related to bribery were identified through a series of structured interviews with 65 subject matter experts. These attributions, together with the other variables in the model, were evaluated by 354 Ecuadorian managers. Hierarchical regression analyses indicated that attitudes and external attributions significantly predicted managers' (...) intentions to discipline employees who accepted a bribe. In addition, external attributions mediated the relationship between individualism-collectivism and intent to discipline corrupt employees. Implications for the management of bribery in Latin American organizations are discussed. (shrink)

Carlos Vaz Ferreira argues that the problem of freedom is conceptually distinct from the problem of causal determinism. The problem of freedom is ultimately a problem regarding the ontologically independent agency of a being, and the problem of determinism is a problem regarding explanations of events or acts in terms of the totality of their antecedent causal conditions. As Vaz Ferreira sees it, failing to keep these problems apart gives rise to merely apparent but unreal puzzles pertaining to the nature (...) of freedom and its relation to determinism. In this article, I present my interpretation of Vaz Ferreira’s distinctive ideas regarding the nature of freedom and its relation to casual determinism. (shrink)

The coming to office of Jair Bolsonaro in Brazil has brought to the fore the need to understand the rise of the far right and to come to terms with the conflicted legacies of more than a decade of rule under the Workers’ Party. This forum brings together six leading intellectuals from different traditions on the left and introduces their reflections on the contradictions and complexities of the Workers’ Party, the 2008 crisis, the June 2013 protests, the weakness of the (...) Brazilian left, corruption, and on how to characterise Bolsonaro’s regime. Their interventions offer crucial insights that are relevant today not just to Brazil, or even Latin America, but to the politics of the left worldwide. (shrink)

The article develops the different meanings of the Simondonian idea of the transindividual, reconstructs the different interpretations that have been made about it, and considers its potentiality to think contemporary phenomena. For this, first, it points out the uses of the term transindividual before Simondon’s conceptualization of it. Second, it analyzes the definitions of the concept that appear in his doctoral theses of 1958 and distinguishes his different senses. Third, it reconstructs the contemporary debate about the transindividual and defines three (...) moments. Finally, it concludes by reflecting on the philosophical and epistemological potentiality of the idea of the transindividual to think about complex processes marked by the association of technological, psychosocial, and ethical-political dimensions. (shrink)

We give examples of calculi that extend Gentzen’s sequent calculusLKby unsound quantifier inferences in such a way that derivations lead only to true sequents, and proofs therein are nonelementarily shorter thanLK-proofs.