Gentzen’s sequent calculi LK and LJ are landmark proof systems. They identify the structural rules of weakening and contraction as notable inference rules, and they allow for an elegant statement and proof of both cut elimination and consistency for classical and intuitionistic logics. Among the undesirable features of those sequent calculi is that their inferences rules are low-level and frequently permute over each other. As a result, large-scale structures within sequent calculus proofs are hard to identify. In this paper, we (...) present a different approach to designing a sequent calculus for classical logic. Starting with Gentzen’s LK proof system, we examine the proof search meaning of his inference rules and classify those rules as involving either don’t care nondeterminism or don’t know nondeterminism. Based on that classification, we design the focused proof system LKF in which inference rules belong to one of two phases of proof construction depending on which flavor of nondeterminism they involve. We then prove that the cut rule and the general form of the initial rule are admissible in LKF. Finally, by showing that the inference rules for LK are all admissible in LKF, we can give a relative completeness proof for LKF provability with respect to LK provability. We shall also apply these properties of the LKF proof system to establish other meta-theoretic properties of classical logic, including Herbrand’s theorem. (shrink)

Si on analyse les stratégies publicitaires de la plateforme Netflix il devient possible de mieux comprendre le modèle de spectateur que celles-ci façonnent. En étudiant la comparaison avec la chaine câblée HBO mais aussi le matériel de la campagne promotionnelle TV Got Better, nous observons les promesses que Netflix adresse à son public potentiel (plénitude, participation, prestige et personnalisation) ainsi que son encouragement des pratiques de visionnement « en rafale ».

Online science and engineering ethics (SEE) education can support appropriate goals for SEE and the highly interactive pedagogy that attains those goals. Recent work in moral psychology suggests pedagogical goals for SEE education that are surprisingly similar to goals enunciated by several panels in SEE. Classroom-based interactive study of SEE cases is a suitable method to achieve these goals. Well-designed cases, with appropriate goals and structure can be easily adapted to courses that have online components. It is less clear that (...) exclusively online methods can support the wide range of goals necessary to good moral pedagogy in SEE, though there seems no a priori reason to rule this out. Only careful, goal-based assessment of online case study SEE teaching can resolve this question. (shrink)

PurposeThe purpose of this paper is to present a four component model of ethical behavior (PRIMES) that integrates literature in moral psychology, computing ethics, and virtue ethics as informed by research on moral exemplars in computing. This is part 1 of a two‐part contribution.Design/methodology/approachThis psychologically based and philosophically informed model argues that moral action is: grounded in relatively stable PeRsonality characteristics (PR); guided by integration of morality into the self‐system; shaped by the context of the surrounding moral ecology; and facilitated (...) by morally relevant skills and knowledge (S).FindingsThe model seeks to explain the daily successful (and unsuccessful) performance of moral action by computing professionals and to provide groundwork for a pedagogy that emphasizes ethically effective performance.Practical implicationsThe model has significant implications for how ethical action might be taught to computer professionals and other design professionals. It also makes recommendations about what is needed to measure to construct a complete picture of sustained ethical action in a profession.Originality/valueMost accepted models of ethical behavior are unidimensional, emphasizing either principled reasoning or a simplistic model of integrity/character. This model brings together a variety of disparate literatures in the light of its emphasis on sustained moral action in the profession. It thereby provides researchers and educators with a picture of what is needed to construct a complete understanding of moral action in the profession. (shrink)

The paper is meant to introduce a symposium on aesthetics in Hungary today. Through a brief survey of the Hungarian aesthetic tradition, which goes back to the eclectic “university aesthetics” of the late 18 th century and produced a number of prominent figures such as Georg Lukács and his disciples in the “Budapest School” in the 20th century, the paper seeks to point out some key characteristics of this tradition and to reflect on the intellectual landscape of contemporary aesthetics in (...) Hungary, diversified by many fields of study, methods and subdisciplines. (shrink)

PurposeThe purpose of this paper is to present a four component model of ethical behavior that integrates literature in moral psychology, computing ethics, and virtue ethics as informed by research on moral exemplars in computing. This is part 2 of a two part contribution, part 1 having appeared in Vol. 6 No. 3.Design/methodology/approachThis psychologically based and philosophically informed model argues that moral action is grounded in relatively stable personality characteristics, guided by integration of morality into the self‐system, shaped by the (...) context of the surrounding moral ecology, and facilitated by morally relevant skills and knowledge.FindingsThe model seeks to explain the daily successful (and unsuccessful) performance of moral action by computing professionals and to provide groundwork for a pedagogy that emphasizes ethically effective performance.Practical implicationsThe model has significant implications for how ethical action to computer professionals and other design professionals might be taught. It also makes recommendations about what need to be measured to construct a complete picture of sustained ethical action in a profession.Originality/valueMost accepted models of ethical behavior are unidimensional, emphasizing either principled reasoning or a simplistic model of integrity/character. This model brings together a variety of disparate literatures in the light of its emphasis on sustained moral action in the profession. It thereby provides researchers and educators with a picture of what is needed to construct a complete understanding of moral action in the profession. (shrink)

Chuck Chakrapani ABSTRACT: Stoic Minimalism may be described as ‘just enough Stoicism.’ Just enough for what? Just enough to lead the good life. Just enough to cope with the stress of modern life. Just enough to not be rattled by the constant changes that characterize the times we live in. Just enough to be resilient ….

Silent gesture is not considered to be linguistic, on par with spoken and sign languages. It is claimed that silent gestures, unlike language, represent events holistically, without compositional structure. However, recent research has demonstrated that gesturers use consistent strategies when representing objects and events, and that there are behavioral and clinically relevant limits on what form a gesture may take to effect a particular meaning. This systematicity challenges a holistic interpretation of silent gesture, which predicts that there should be no (...) stable form‐meaning correspondence across event representations. Here, we demonstrate to the contrary that untrained gesturers systematically manipulate the form of their gestures when representing events with and without a theme (e.g., Someone popped the balloon vs. Someone walked), that is, transitive and intransitive events. We elicited silent gestures and annotated them for manual features active in coding transitivity distinctions in sign languages. We trained linear support vector machines to make item‐by‐item transitivity predictions based on these features. Prediction accuracy was good across the entire dataset, thus demonstrating that systematicity in silent gesture can be explained with recourse to subunits. We argue that handshape features are constructs co‐opted from cognitive systems subserving manual action production and comprehension for communicative purposes, which may integrate into the linguistic system of emerging sign languages. We further suggest that nonsigners tend to map event participants to each hand, a strategy found across genetically and geographically distinct sign languages, suggesting the strategy's cognitive foundation. (shrink)

The articles in this volume are the outcome of the successful BRIDGE Workshop held in Düsseldorf in 2014. The workshop gathered a number of distinguished researchers from formal semantics and conceptual semantics and aimed to initiate a deeper conversation and collaboration instead of separating the two sides as competing views. The workshop provided a platform to further discuss parallelisms on specific semantic issues on the one hand and on the other hand to confront opposed claims from the two different perspectives. (...) This volume represents a selected number of high-quality papers presented at the workshop featuring various approaches to meaning from linguistics, logic and philosophy of language.0This series explores issues of mental representation, linguistic structure and representation, and their interplay. The research presented in this series is grounded in the idea explored in the Collaborative Research Center?The structure of representations in language, cognition and science? (SFB 991) that there is a universal format for the representation of linguistic and cognitive concepts. (shrink)

This article presents the ancient Mesopotamian Mīs Pî ceremony as a case study in the relationship between ritual and the natural world using Roy Rappaport’s framework of Ecological Anthropology as a guide. Rappaport’s premise is that human populations do not operate independently but are instead, “ecological populations in an ecosystem that also includes the other living organisms and the nonliving substances found within the boundaries of [their] territory.” In Rappaport’s framework, rituals involving the use of animal, plant, and other organic (...) materials link human communities to the ecosystems in which they dwell and to that which they seek to ritualize. Applying this mode of analysis to the Mīs Pî ritual yields the thesis that, from the perspective of the Mīs Pî, nature is integral to the ritual maintenance and well-being of the divine and human realms, and, in effect, the well-being of the cosmos. (shrink)

Despite the fact that bioethics is, basically, an interdisciplinary scientific field, it is deeply intertwined with less objectivistic, yet important, threads of morality and religion. From the beginning, in the United States, the language of bioethics has been shaped by theologians and people who do not neglect the religious approaches of particular scientific issues. This paper examines the possibility of using religious and nonreligious terminologies in the bioethical discourse, paying close attention to the American bioethical debate. I shall argue that (...) no democratic, pluralistic societies of today should favor only one jargon of a sole moral tradition, as this attitude leads to the discrimination of others that are also affected by such discourse. Mutual tolerance is the way that can provide a violence-free territory for the discussion about different value-based moral systems and traditions (such as Christianity and Islam or, in a broader perspective, religion and irreligious humanism). (shrink)

This is the simple account of how and why you have been imagining yourself to be only a separate and limited being.

Is it possible to pay attention to that context? To exclude nothing from your awareness? Hillig explores that context and this possibility in this conversational little book.

This paper describes the major components of ImpactCS, a program to develop strategies and curriculum materials for integrating social and ethical considerations into the computer science curriculum. It presents, in particular, the content recommendations of a subcommittee of ImpactCS; and it illustrates the interdisciplinary nature of the field, drawing upon concepts from computer science, sociology, philosophy, psychology, history and economics.

The joint effort by the U.S. government and the political elite of Puerto Rico to industrialize the island created increased demand for female labor and a decline in the number of jobs traditionally held by men. The authors examine whether women's labor force participation in the formal sector responds to improving opportunities for women, declining opportunities for men, or the household's changing opportunity structures. Specifically, they examine a woman's return to work after the birth of her first child as the (...) initial point of conflict between productive and reproductive work. The data used in these analyses are from the 1982 Puerto Rican Fertility and Family Planning Assessment, an islandwide, representative sample of never-married and ever-married women between the ages of fifteen and forty-nine. The authors estimate a series of nested logistic regression models to evaluate the influence of occupational expansion or contraction on the timing of return to work after the first birth. Their findings offer selective support for the idea that women's lives are affected primarily by the occurrence of growing labor demand for women's labor. (shrink)

The philosophy of science can provide fruitful contributions to other areas of philosophy. In this paper, I argue that the application of work on the nature of theories helps to resolve a long-standing dispute on the philosophy of mind over mindreading. The Theory Theory and the Simulation Theory are two competing accounts of how it is that we explain and predict the actions and mental states of others. I discuss each view as well as some of their weaknesses. I suggest (...) that the difficulties each faces depend in part on the notion of theory supposed to be at issue. After introducing an alternative notion of theory, a model-based view, I try to show that the problems of both views are diminished and that a synthesis results. (shrink)

Most phyto-remediation studies have been conducted merely on a single type of contaminant element without consideration of the influence of other co-existent contaminants. In this study, Vetiveria zizanioides (Linn.) Nash was evaluated in both single and mixed heavy metal (Cd, Pb, Cu and Zn) spiked contaminated soil. The plant growth, metal accumulation and overall efficiency of metal uptake by different plant parts (lower root, upper root, lower tiller and upper tiller) were investigated in detail. The relative growth performance, metal tolerance (...) and phyto-assessment of heavy metal in roots and tillers of Vetiver grass were assessed. Metals in plants were measured using the flame atomic absorption spectrometry (F-AAS) after acid digestion. The root-tiller (R/T) ratio, tolerance index (TI), translocation factor (TF), biological concentration factor (BCF), biological accumulation coefficient (BAC) and metal uptake efficacy were estimated to examine the ability of metal accumulation and translocation in Vetiver grass. No significant difference (p > 0.05) of plant height was observed among all single and mixed heavy metal spiked soils compared with the control. However, significantly higher (p < 0.05) heavy metal (Cd, Pb, Cu and Zn) accumulations were found in roots, tillers and overall total accumulation of the individual spiked metal as compared with other treatments. Vetiver grass grown in the mixed Cd + Pb + Cu + Zn spiked soils accumulated the highest Zn (3322 ± 21.6 mg/kg) followed by Cu (430 ± 11.4 mg/kg), Pb (197 ± 13.5 mg/kg) and Cd (100 ± 0.7 mg/kg). Vetiver grass grown in mixed Cd + Pb, Cu + Zn and Cd + Pb + Cu + Zn spiked soils accumulated higher heavy metal concentrations than from the single spiked soil with the following order of metals: Zn > > Cu > Pb > Cd. Moreover, lower roots and lower tillers of Vetiver grass revealed a strong tendency for greater uptake and accumulation of all four heavy metals in both single and/or mixed spiked contaminated soils. -/- . (shrink)

The growth response, metal tolerance and phytoaccumulation properties of water spinach (Ipomoea aquatica) and okra (Abelmoschus esculentus) were assessed under different contaminated spiked metals: control, 50 mg Pb/kg soil, 50 mg Zn/kg soil and 50 mg Cu/kg soil. The availability of Pb, Zn and Cu metals in both soil and plants were detected using flame atomic absorption spectrometry. The concentration and accumulation of heavy metals from soil to roots and shoots (edible parts) were evaluated in terms of translocation factor, accumulation (...) factor and tolerance index. Okra recorded the highest accumulation of Pb (80.20 mg/kg) in its root followed by Zn in roots (35.70 mg/kg) and shoots (34.80 mg/kg) of water spinach, respectively. Different accumulation trends were observed with, Pb > Zn > Cu in okra and Zn > Pb > Cu in water spinach. Significant differences (p < 0.01) of Pb, Zn and Cu accumulation were found in both water spinach and okra cultivated among tested treatments. However, only the accumulation of Pb metal in the shoots of water spinach and okra exceeded the maximum permissible levels of the national Malaysian Food Act 1983 and Food Regulations 1985 ([2006]) as well as the international Codex Alimentarius Commission limits. This study has shown that both water spinach and okra have good potential as Pb and Zn phytoremediators. (shrink)

The accumulation of potentially toxic elements (PTEs) has raised public awareness due to harmful contamination to both human and marine creatures. This study was designed to determine the concentration of copper (Cu), zinc (Zn), cadmium (Cd), and nickel (Ni) in the intestine, kidney, muscle, gill, and liver tissues of local commercial edible fish, fourfinger threadfin (Eleutheronema tetradactylum), and black pomfret (Parastromateus niger) collected from Morib (M) and Kuala Selangor (KS). Among the studied PTEs, Cu and Zn were essential elements to (...) regulate body metabolism with certain dosages required while Cd and Ni were considered as non-essential elements that posed chronic and carcinogenic risk. The concentration of PTEs in fish tissue samples was analyzed using flame atomic absorption spectrometry (F-AAS). By comparing the concentration of PTEs in fish tissues as a bioindicator, the environmental risk of Morib was more serious than Kuala Selangor because both fish species collected from Morib resulted in a higher PTEs concentration. For an average 62 kg adult with a fish ingestion rate (FIR) of 0.16 kg/person/day in Malaysia, the estimated weekly intake (EWI) of Cd from the consumption of E. tetradactylum (M: 0.0135 mg/kg; KS: 0.0134 mg/kg) and P. niger (M: 0.0140 mg/kg; KS: 0.0132 mg/kg) had exceeded the provisional tolerable weekly intake (Cd: 0.007 mg/kg) established by the Joint FAO/WHO Expert Committee on Food Additives (JECFA) and oral reference dose (ORD) values of Cd (0.001 mg/kg/day) as provided by the United States Environmental Protection Agency (USEPA) regional screening level, thus it posed chronic risks for daily basis consumption. Besides, the value of the carcinogenic risk of Cd (0.7−3 to 0.8−3) and Ni (0.5−3 to 0.6−3) were in between the acceptable range (10−6 to 10−4) of the health index that indicates a relatively low possibility cancer occurrence to the consumers in both Morib and Kuala Selangor. This study recommended FIR to be 0.80 kg/person/day to reduce the possibility of posing chronic and carcinogenic risks while at the same time obtaining the essential nutrients from the fish. (shrink)

Our paper consists of three parts. In the first part we provide an overall picture of the concept of the Cartesian mind. In the second, we outline some of the crucial tenets of the theory of the embodied mind and the main objections it makes to the concept of the Cartesian mind. In the third part, we take aim at the heart of the theory of the embodied mind; we present three examples which show that the thesis of embodiment of (...) the subjective perspective is an untenable position. However, everything these examples testify to can be accommodated and explained by our non-embodied or Cartesian view. (shrink)

Attention-deficit/hyperactivity disorder is a neurodevelopmental disorder with a childhood prevalence of 5%. In about two-thirds of the cases, ADHD symptoms persist into adulthood and often cause significant functional impairment. Based on the results of family and twin studies, the estimated heritability of ADHD approximates 80%, suggests a significant genetic component in the etiological background of the disorder; however, the potential genetic effects on disease risk, symptom severity, and persistence are unclear. This article provides a brief review of the genome-wide and (...) candidate gene association studies with a focus on the clinical aspects, summarizing findings of ADHD disease risk, ADHD core symptoms as dimensional traits, and other traits frequently associated with ADHD, which may contribute to the susceptibility to other comorbid psychiatric disorders. Furthermore, neuropsychological impairment and measures from neuroimaging and electrophysiological paradigms, emerging as potential biomarkers, also provide a prominent target for molecular genetic studies, since they lie in the pathway from genes to behavior; therefore, they can contribute to the understanding of the underlying neurobiological mechanisms and the interindividual heterogeneity of clinical symptoms. Beyond the aforementioned aspects, throughout the review, we also give a brief summary of the genetic results, including polygenic risk scores that can potentially predict individual response to different treatment options and may offer a possibility for personalized treatment for the therapy of ADHD in the future. (shrink)

We combine intuitionistic logic and classical logic into a new, first-order logic called polarized intuitionistic logic. This logic is based on a distinction between two dual polarities which we call red and green to distinguish them from other forms of polarization. The meaning of these polarities is defined model-theoretically by a Kripke-style semantics for the logic. Two proof systems are also formulated. The first system extends Gentzenʼs intuitionistic sequent calculus LJ. In addition, this system also bears essential similarities to Girardʼs (...) LC proof system for classical logic. The second proof system is based on a semantic tableau and extends Dragalinʼs multiple-conclusion version of intuitionistic sequent calculus. We show that soundness and completeness hold for these notions of semantics and proofs, from which it follows that cut is admissible in the proof systems and that the propositional fragment of the logic is decidable. (shrink)

Over forty years have passed since the death of Jean-Paul Sartre, still, his oeuvre stands out as a paramount achievement in existential-phenomenological thought. Among the numerous ideas and challenges he offered to contemporary continental philosophy, the problem of authenticity deserves a special place, for it connects many of existentialism’s key concerns. The ever reforming conceptualization of authenticity had spread from the mid-1930s (La transcendance de l’égo) till Sartre’s posthumously published Cahiers pour une morale that appeared in the early 1980s, and (...) it had a profound impact not only on ethical and literary theories, but also on psychiatry and psychotherapy. The present essay’s undertaking is to closely follow the trajectory of this celebrated concept, to contextualize its development in accordance with Sartre’s shifting philosophical as well as ethical projects over the years, and to point out some of the affinities this concept might have with East Asian thought, and with Buddhism in particular. (shrink)

It is shown that $\operatorname{Con}(ZF)$ implies $\operatorname{Con}(ZFC$ + there exists a Dowker filter on ω2). The problem is also considered on higher cardinals.

The development of genre-awareness is a key issue in legal translator training, as, according to research, semantic text comprehension depends largely on the recognition of genres/text types. Legal translators must be familiar with the rhetorical and textual conventions of legal genres both in the source- and the target language – the two code systems – to realise the communicative aim of the translation, and to be able to produce texts that are acceptable by the professional community. Consequently, in legal translator (...) training the development of intercultural competence has double implications: it refers not only to the ability to transfer between legal systems, but also between legal genres. The biggest challenge of translator training is to improve skills and competences effectively through a selection of texts that realistically meet the changing needs of the translation market, but, at the same time, can be successfully adjusted to the level of proficiency attained by students at different levels of the training. Drawing on both practical experience and empirical research, the paper attempts to present a methodological scheme for the selection and grading of legal genres and text types in legal translator training, taking into account some of the functional typologies, and several other relevant aspects. With a practical approach, the selected genres are introduced in the context of exercises aimed at improving genre-transfer competence and some other skills vital for legal translators. Although the presented scheme/case study has been designed for an actual 3-semester legal translator training where students have legal degrees, it is supplemented with further methodological guidelines so that it can be adapted to other legal translator trainings of any level. (shrink)

In my paper, I propose to investigate the philosophical underpinnings of representative indigenous Japanese psychotherapeutic approaches, particularly that of Morita and Naikan therapies, that have, at their foundations, distinctly Buddhist psychological tenets, and that offer to deal with mental health issues in a manifestly different way compared with their western counterparts. I offer a comprehensive account of how the characterizations of madness and mental illness have been shifting over the last two hundred years in Japanese society and culture, and how (...) this has affected mental health care in Japan. Finally, the ways in which modern day thinkers, such as Daisetz Teitaro Suzuki and Keiji Nishitani have been re-shaping the concepts of the self in Japanese religion and philosophy while, at the same time, taking care to remain faithful to the original East Asian sensibilities will also be expounded and connected to the themes of mental health and mental illness. (shrink)