This paper proposes a generalization of the Kripke semantics of intuitionistic logic IL appropriate for intuitionistic Łukasiewicz logic IŁL — a logic in the intersection between IL and (classical) Łukasiewicz logic. This generalised Kripke semantics is based on the poset sum construction, used in Bova and Montagna (Theoret Comput Sci 410(12):1143–1158, 2009) to show the decidability (and PSPACE completeness) of the quasiequational theory of commutative, integral and bounded GBL algebras. The main idea is that w \Vdash \sigma—which for IL is (...) a relation between worlds w and formulas \sigma, and can be seen as a function taking values in the booleans w \Vdash \sigma \in {B}—becomes a function taking values in the unit interval w \Vdash \sigma \in [0,1]. An appropriate monotonicity restriction (which we call sloping functions) needs to be put on such functions in order to ensure soundness and completeness of the semantics. (shrink)

Bullying often results in negative coping in victims, including an increased consumption of alcohol. Recently, however, an increase in alcohol use has also been reported among perpetrators of bullying. The factors triggering this pattern are still unclear. We investigated the role of empathy in the interaction between bullying and alcohol use in an adolescent sample (IMAGEN) at age 13.97 (±0.53) years (baseline (BL), N = 2165, 50.9% female) and age 16.51 (±0.61) years (follow-up 1 (FU1), N = 1185, 54.9% female). (...) General empathic distress served as a significant moderator of alcohol use in perpetrators (F9, 493 = 17.978, p < 0.01), which was specific for males and FU1. Male perpetrators, who are generally less sensitive to distress, might thus be more vulnerable to alcohol abuse. (shrink)

Upshot: Douglas Robinson argues for a revision of the extended mind theory that incorporates intersubjectivity and qualia. Robinson argues that “material extendedness” is less important than accounting for the subjective experience of what he terms “body-becoming-mind,” and that this experience, rather than mere computational equivalence between intra- and transcranial cognition, is the strongest argument in favour of the EMT.

Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics. Alan Robinson is currently the University Professor at Syracuse University. Jean-Louis Lassez is a Research Scientist at the IBM Thomas J. Watson Research Center. Gordon Plotkin is Professor of Computer Science at the University of Edinburgh. Contents: Inference. Subsumption, (...) A Sometimes Undervalued Procedure, Larry Wos, Ross Overbeek, and Ewing Lusk. The Markgraf Karl Refutation Procedure, Hans Jurgen Ohlbach and Jorg H. Siekmann. Modal Logic Should Say More than it Does, Melvin Fitting. Interactive Proof Presentation, W. W. Bledsoe. Intelligent Backtracking Revisited, Maurice Bruynooghe. A Science of Reasoning, Alan Bundy. Inductive Inference of Theories from Facts, Ehud Y. Shapiro. Equality. Solving Equations in Abstract Algebras: A Rule-based Survey of Unification, Jean-Pierre Jouannaud and Claude Kirchner. Disunification: A Survey, Hubert Comon. A Case Study of the Completion Procedure: Proving Ring Commutativity Problems, Deepak Kapur and Hantao Zhang. Computations in Regular Rewriting Systems I and II, Girard Huet and JeanJacques Levy. Unification and ML Type Reconstruction, Paris Kanellakis, Harry Mairson, and John Mitchell. Automatic Dimensional Analysis, Mitchell Wand. Logic Programming. Logic Programming Schemes and Their Implementations, Keith Clark. A Near-Horn Prolog for Compilation, Donald Loveland and David Reed. Unfold/Fold Transformations of Logic Programs, P. A. Gardner and J. C. Shepherdson. An Algebraic Representation of Logic Program Computations, Andrea Corradini and Ugo Montanari. Theory of Disjunctive Logic Programs, Jack Minker, Arcot Rajasekar, and Jorge Lobo. Bottom-Up Evaluation of Logic Programs, Jeffrey Naughton and Raghu Ramakrishnan. Absys, the First Logic Programming Language: A View of the Inevitability of Logic Programming, E. W. Elcock. (shrink)

In 385B-C of the Cratylus, Plato appears to be formulating a version of the correspondence theory of truth, in such a way that it applies not only to discourse, but to individual names as well. However commentators who have remarked on this passage, either take exception to the reasoning, or find it necessary to interpret the conclusion with qualifications that Plato never could have intended. Richard Robinson, for example, on p.328 of “A Criticism of Plato’s Cratylus”, sums up the (...) argument thus:... since statements have a truthvalue, their parts, including names, must have a truthvalue too. Therefore names are true or false.and criticises it for involving a fallacy of division. Lorenz and Mittelstrasse, by contrast, construe the argument as validly proceeding from the true-false distinction of sentences to a corresponding true-false distinction of their parts. (shrink)

For the senseless inira some manuscripts have inire or in arva, and the latter stands in the text of Baehrens . The attempts at emendation may be divided into two groups, those altering only inira and those tampering with ibat as well. I pass over the latter group, as Robinson Ellis, in his commentary, p. 125, has defended ibat sufficiently by reference to the frequent ñει in Babrius, Avianus’ model. The former group is represented by Withof and Robinson (...) Ellis himself ; and the editors of the Loeb text of the Minor Latin Poets, in 1934, had the verse printed with this in ora. Nobody seems to have seen that the verse-maker had to express the idea of the panther's pride. Therefore I propose ibat in (astra, a metaphorical phrase for the animal's conceit. For this metaphor cf. Horace's famous feriam sidera, for ibat Virg. Aen. 9. 641 sic itur ad astra, for in astra at the same place of the pentameter after a verb of motion Prop. 3. 18, 34 cessit in astra; Ov. Fast. 2. 478 and 3. 186 venit in astra. Avianus himself has this in astra before the last word of the pentameter in two more passages, 15. 8,19. 6. (shrink)

Originally published in 1977, this volume analyzes aspects of elementary schooling in the nineteenth century and the ways in which it prepared working-class children for life in industrial Britain. The book examines: The procedures and practices of different types of schools. The ideologies guiding elementary education The social implications of curriculum content and pupils’ and parents’ attitudes to the education provided by the church and state.

Neuroscience of art might give us traction with aesthetic issues. However it can be seen to have trouble modeling the artistically salient semantic properties of artworks. So if meaning really matters, and it does, even in aesthetic contexts, the prospects for this nascent field are dim. The issue boils down to a question of whether or not we can get a grip on the kinds of constraints present and available to guide interpretive behavior in our engagement with works of fine (...) art. I argue that biased competition models of selective attention can be used to solve this problem, generalize to the affective content of our responses to artworks, and so show that research in cognitive neuroscience is germane to the types of problems of interest within the philosophy of art. (shrink)

Heidegger affirmed traditional technology, but was opposed to science-based modern technology, in which everything (including man) is considered to be a mere “resource”. This opposition was expressed in the form of deep questioning and a suspicion of superficial evaluation, because the true nature of things was often concealed, though disclosed at times. Ways in which engineers should question technology are proposed, highlighting some of the hazards and injustices associated with technology and also its subtle sociological and psychological influences. The demands (...) of engineering ethics and the use of metaphor in design are other ways in which a narrowly rationalistic technological outlook can be confronted. (shrink)

There are a growing number of publications arguing that if we had more wonder in social life, then its quality would be significantly improved, and that we therefore need an “ethics” or a “politics” of wonder. The aim of this paper is to show that that message is unfortunate, and this is for two reasons. First, wonder does not generally have the positive political and moral effects that are attributed to it, so to assume that it does may lead one (...) to adopt unrealistic social policies. Second, wonder does potentially have a number of negative moral and politicaleffects, so social policies that put a premium on wonder may bring adverse consequences. In this way, the paper makes a general case against wonder as a positive force in morality and politics. (shrink)

This paper describes how some aspects of Martin Heidegger’s philosophy resonate strongly with an engineering outlook. He argued that practice was more “primordial” than theory, though preserving an important role for theoretical understanding as well, thus speaking to the gap between engineering education (highly theoretical) and engineering practice (mostly empirical). He also underlined the reality of “average” practices into which we are socialized, though affirming the potential for original work and action too, thus providing the grounds for self-actualization whether within (...) the routine or in transcending it. His notion of “thrownness” emphasizes the importance of context, with which engineers are constantly engaged. While all this relates to the idea of our “being”, Heidegger also dealt with the influence of time on our practices. Future death could be seen as spurring innovation, cultural history as a source for critiquing current practice and the present “situation” as the immediate context for corrective action. His major book is appropriately called “Being and Time”.1. (shrink)

Frente a una América Latina movilizada, conflictuada y atravesada por conatos de violencia interactoral, cívica-contestataria y política, y ante los abusos de gobiernos que resultan en reclamos y nuevas prácticas políticas de los sujetos sin derechos, se genera un escenario de riesgo para la endeble democracia. En virtud de esto el autor analiza la democracia no sólo en torno a los procesos y eventos electorales sino tambi{en abarcando otras aristas de este fenómeno, como la participación, las movilizaciones, los nuevos actores (...) y los comportamientos de las multitudes, buscando dar cuenta sobre los riesgos de la democracia. (shrink)