-- James Der Derian, University of Massachusetts.

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)

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.

It is a common assumption amongst theorists that the phenomenon of animal emotion supports the affect program theory of emotion. I argue that this assumption is mistaken by exploring two cases of animal emotion from studies in ethology: aggression in chimpanzees and fear in piping plovers. While the affect program theory fails to account for the cognitive complexity involved in each case, I do not argue for a cognitive theory of emotion. Instead, I suggest that paying attention to animal emotions (...) helps the emotion theorist avoid the dichotomy between the extreme versions of the affect program theory and cognitive theories. ‡My thanks to Bart Moffatt, Ben Schulz, Jessica Slind, Katie Plasiance, Ken Waters, Mark Borrello, Susan Hawthorne, and Toben Lafrancois for helpful comments on earlier drafts of this paper. †To contact the author, please write to: Department of Philosophy, University of Minnesota, Minneapolis, MN 55455; e-mail: [email protected]. (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 ….

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

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)

We present a compact sequent calculus LKU for classical logic organized around the concept of polarization. Focused sequent calculi for classical, intuitionistic, and multiplicative–additive linear logics are derived as fragments of the host system by varying the sensitivity of specialized structural rules to polarity information. We identify a general set of criteria under which cut-elimination holds in such fragments. From cut-elimination we derive a unified proof of the completeness of focusing. Furthermore, each sublogic can interact with other fragments through cut. (...) We examine certain circumstances, for example, in which a classical lemma can be used in an intuitionistic proof while preserving intuitionistic provability. We also examine the possibility of defining classical–linear hybrid logics. (shrink)

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)

A comprehensive exploration of the philosophical issues raised by mysticism. This work is a comprehensive study of the philosophical issues raised by mysticism. Mystics claim to experience reality in a way not available in normal life, a claim which makes this phenomenon interesting from a philosophical perspective. Richard H. Jones’s inquiry focuses on the skeleton of beliefs and values of mysticism: knowledge claims made about the nature of reality and of human beings; value claims about what is significant and (...) what is ethical; and mystical goals and ways of life. Jones engages language, epistemology, metaphysics, science, and the philosophy of mind. Methodological issues in the study of mysticism are also addressed. Examples of mystical experience are drawn chiefly from Buddhism and Advaita Vedanta, but also from Christianity, Judaism, Islam, and Daoism. “This is a significant extension of the seminal work by Walter Stace, Mysticism and Philosophy. That work has stimulated much literature, all of which Jones manages to review here. He critically extends Stace’s universal core and embeds it in a sophisticated discussion of the extent, range, and metaphysical implications of mysticism.” — Ralph W. Hood, Jr., coauthor of The Psychology of Religion: An Empirical Approach. (shrink)

This chapter contains section titled: Identity and Dynamical Space The Mandelbrot Set Dynamic Diversity Diversity and Community Control of Boundaries The Prospects.

Down the rabbit hole -- Something to consider -- (W)hole in the all -- Now playing -- Collapsing polarities -- An allegory for our time -- Living as the void -- A cosmic conversation -- An awakening?

Although Newman felt that the conferral of the cardinalate lifted the cloud of suspicion forever, soon after his death his reputation came under another cloud: Modernism. This essay shows how Modernist concerns about the philosophical grounding of faith, Biblical interpretation, and the nature of dogmatic statements as presented by Pierre Batiffol and Marcel Hébert counter-pointed Newman’s idea of the development of doctrine.

Scientists have used models for hundreds of years as a means of describing phenomena and as a basis for further analogy. In Scientific Models in Philosophy of Science, Daniela Bailer-Jones assembles an original and comprehensive philosophical analysis of how models have been used and interpreted in both historical and contemporary contexts. Bailer-Jones delineates the many forms models can take (ranging from equations to animals; from physical objects to theoretical constructs), and how they are put to use. She examines (...) early mechanical models employed by nineteenth-century physicists such as Kelvin and Maxwell, describes their roots in the mathematical principles of Newton and others, and compares them to contemporary mechanistic approaches. Bailer-Jones then views the use of analogy in the late nineteenth century as a means of understanding models and to link different branches of science. She reveals how analogies can also be models themselves, or can help to create them. The first half of the twentieth century saw little mention of models in the literature of logical empiricism. Focusing primarily on theory, logical empiricists believed that models were of temporary importance, flawed, and awaiting correction. The later contesting of logical empiricism, particularly the hypothetico-deductive account of theories, by philosophers such as Mary Hesse, sparked a renewed interest in the importance of models during the 1950s that continues to this day. Bailer-Jones analyzes subsequent propositions of: models as metaphors; Kuhn's concept of a paradigm; the Semantic View of theories; and the case study approaches of Cartwright and Morrison, among others. She then engages current debates on topics such as phenomena versus data, the distinctions between models and theories, the concepts of representation and realism, and the discerning of falsities in models. (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)

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)

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)

I reply to each of the contributions in this issue. I agree with much that Hillel Steiner argues, especially his insistence that the associated ideas of impartiality and discontinuity are crucial to dealing satisfactorily with a diversity of competing claims. I am, however, less willing to conceive provision for that diversity as the role, rather than a role, that we should ascribe to rights. I question the success of David Miller’s endeavour to provide a unified justification of human rights grounded (...) in the concept of need. It is the notion of a minimally decent human life, rather than need itself, that does most of the justificatory work in Miller’s argument and, arguably, that notion does not deliver a genuinely unitary account of human rights. I concede the case for state funding of opera and the arts more generally to John Horton’s argument, but defend neutralism, and its associated distinction between the right and the good, as a strategy for dealing with diversity, including cultural diversity. I resist Richard Bellamy’s attempt to ground all basic rights in democracy and suggest that his argument relies upon idealized assumptions about the functioning of democracy. I share much of his objection to substituting judicial for political decision-making but argue that a strong moral commitment to rights need not imply a shift in power from democratic processes to courts. I endorse Albert Weale’s argument for favouring a beneficial design approach over a rights approach to healthcare and to many other social goods. Rights should not monopolize our moral and political thinking. (shrink)

Scientific models represent aspects of the empirical world. I explore to what extent this representational relationship, given the specific properties of models, can be analysed in terms of propositions to which truth or falsity can be attributed. For example, models frequently entail false propositions despite the fact that they are intended to say something "truthful" about phenomena. I argue that the representational relationship is constituted by model users "agreeing" on the function of a model, on the fit with data and (...) on the aspects of a phenomenon that are modelled. Model users weigh the propositions entailed by a model and from this decide which of these propositions are crucial to the acceptance and continued use of the model. Thus, models represent phenomena when certain propositions they entail are true, but this alone does not exhaust the representational relationship. Therefore, the constraints that produce the choice of the relevant propositions in a model must also be examined and their analysis contributes to understanding the relationship between models and phenomena. (shrink)

The central dogma of female reproductive biology has long held that oogenesis ceases prior to birth in mammals. During the first half of the last century, there was much debate about whether this was the case or whether oogenesis continued in the postnatal ovary. A report in 1951 effectively put an end to this debate and laid the foundation for the dogma. A new paper by Johnson et al. (2004)1 resurrects the debate over whether postnatal oogenesis occurs in the mammalian (...) ovary. If confirmed, this would have tremendous impact on issues related to female fertility and reproductive longevity. BioEssays 26:829–832, 2004. © 2004 Wiley Periodicals, Inc. (shrink)

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)

Evolutionary explanations of psychological phenomena have become widespread. This paper examines a recent attempt by Nichols and Grantham (2000) to circumvent the problem of epiphenomenalism in establishing the selective status of consciousness. Nichols and Grantham (2000) argue that a case can be made for the view that consciousness is an adaptation based on its complexity. I set out this argument and argue that it fails to establish that phenomenal consciousness is a complex system. It is suggested that the goal of (...) establishing consciousness as an adaptation may be better served by rejecting the distinction between access consciousness and phenomenal consciousness. (shrink)

The notion of representation has become ubiquitous throughout cognitive psychology, cognitive neuroscience and the cognitive sciences generally. This paper addresses the status of mental representations as entities that have been posited to explain cognition. I do so by examining similarities between mental representations and sense-data in both their characteristics and key arguments offered for each. I hope to show that more caution in the adoption and use of representations in explaining cognition is warranted. Moreover, by paying attention to problematic notions (...) of representations, a less problematic sense of representation might emerge. (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)

This paper attempts to clarify and justify the attribution of mental states to animals by focusing on two different conceptions of intentionality: instrumentalist and realist. I use each of these general views to interpret and discuss the behavior and cognitive states of piping plovers in order to provide a substantive way to frame the question of animal minds. I argue that attributing mental states to plovers is warranted for instrumentalists insofar as it is warranted for similar human behavior. For realists (...) about intentionality, the complexity, adaptability and flexibility of the plovers’ behavior, along with its ability to utilize the content of its representations and to satisfy the conditions of concept attribution, justifies attributing intentionality to plovers. Getting clearer on what is meant by animal minds, provides a better idea of what to look for in animal behavior. In many respects, investigating such phenomena is similar to investigations in other sciences. (shrink)

The second season of True Detective bears many marks of a classic urban‐noir crime drama. The city is a central character of the narrative. And the relationship between the detectives and the city is one of the crucial elements of the story. This is most obvious in the case of Vinci Detective Ray Velcoro, and apparent to a lesser degree in the cases of Ani Bezzerides and Paul Woodrugh. This chapter examines the philosophical aspect of the relationship between the detective (...) and the city, comparing it to a classical view of the relationship between philosophy and the city, presented by Plato over two millennia ago in his dialogues Apology and The Republic. The Apology tells the story of Socrates on trial. There are some parallels between Socrates and the noir detective on this score, but there are some stark differences as well. (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)

Problem gambling is a growing public health issue in the UK. In this paper, we argue that football plays a problematic role in the promotion and normalisation of gambling. Given that sport broadcas...

In this new and original book, Claire Armon-Jones examines the concept of affect and various philosophical positions which attempt to define and characterize it: the standard view, the neo-cognitivist view, and the objectual thesis. She contends that these views radically distort our understanding of affect by disregarding modes of affect which fail to conform to the accounts they each employ. Against the standard and neo-cognitivist views she argues that the notions they use to characterize affect are neither necessary nor (...) sufficient; and against the objectual thesis she further argues that affective states exhibit degrees of independence from the concept of an object. She develops a new theory of the varieties of affect that explains their cognitive nature, their felt aspect, their special logic and the relationship between their objectless and object-directed forms. Armon-Jones concludes by suggesting that her arguments call into question certain assumptions about the rationality and moral status of affect and require a revision of the conception of the good in affect. (shrink)

Kausales Denken spielt sowohl im Alltag wie auch im wissenschaftlichen Forschungsprozess eine zentrale Rolle. Es erlaubt uns, Phänomene vorherzusagen, zu kontrollieren und zu verstehen. Kausales Denken geht über die Angabe der Ursachen eines Phänomens hinaus: Wollen wir verstehen, warum ein Fahrrad fährt, so versuchen wir, Schritt für Schritt nachzuvollziehen, wie die einzelnen Bestandteile des Fahrrads zusammenwirken, um miteinander die Bewegung zu produzieren. Wir sind an dem Mechanismus interessiert, durch den das Phänomen zustande kommt. Dieses Vorgehen wird in der Wissenschaftsphilosophie wie (...) auch in der Kognitionspsychologie mit Hilfe mechanistischer Theorien kausalen Denkens beschrieben. Der Sammelband bringt erstmals Vertreter beider Disziplinen in sechs aufeinander abgestimmten Beiträgen zusammen. Neben einer Diskussion der Kernmerkmale mechanistischen Denkens stehen insbesondere Fragen nach dem Erwerb mechanistischer Denkstrukturen und nach der Rolle von Handlungen und Handlungserfahrungen im Fokus. (shrink)