Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic (...) to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated. (shrink)

This article analyses some of the governmental issues at stake in contemporary institutional politics in its confrontation with the challenges of digitalisation. Through notions such as algorithmic governmentality (Rouvroy and Berns), platformisation (Bratton, Stiegler), extractivism, and the affect theory (Massumi), and following a symptomatologic method, we will try to establish and discuss some key points that could be useful in order to update certain concepts regarding micro- and biopolitics (Deleuze and Guattari, Foucault), the public sphere, and the management of social (...) and individual bodies. Finally, we will try to understand how the manipulation of affects via the staging of possible catastrophic futures (Parisi) is used as a powerful neurosensory weapon, with performative effects for governing and modelling behaviours. If contemporary capitalism is capable of abstracting and extracting affects, of accumulating them and of creating value through this, which policies should we apply in this situation of uncertainty and of the manipulation of affectivity? Is there any place left for public institutions, or is the market the sole political actor left? (shrink)

A way is found to add axioms to sequent calculi that maintains the eliminability of cut, through the representation of axioms as rules of inference of a suitable form. By this method, the structural analysis of proofs is extended from pure logic to free-variable theories, covering all classical theories, and a wide class of constructive theories. All results are proved for systems in which also the rules of weakening and contraction can be eliminated. Applications include a system of predicate logic (...) with equality in which also cuts on the equality axioms are eliminated. (shrink)

The neural representation of a repeated stimulus is the standard against which a deviant stimulus is measured in the brain, giving rise to the well-known mismatch response. It has been suggested that individuals with dyslexia have poor implicit memory for recently repeated stimuli, such as the train of standards in an oddball paradigm. Here, we examined how the neural representation of a standard emerges over repetitions, asking whether there is less sensitivity to repetition and/or less accrual of “standardness” over successive (...) repetitions in dyslexia. We recorded magnetoencephalography as adults with and without dyslexia were passively exposed to speech syllables in a roving-oddball design. We performed time-resolved multivariate decoding of the MEG sensor data to identify the neural signature of standard vs. deviant trials, independent of stimulus differences. This “multivariate mismatch” was equally robust and had a similar time course in the two groups. In both groups, standards generated by as few as two repetitions were distinct from deviants, indicating normal sensitivity to repetition in dyslexia. However, only in the control group did standards become increasingly different from deviants with repetition. These results suggest that many of the mechanisms that give rise to neural adaptation as well as mismatch responses are intact in dyslexia, with the possible exception of a putatively predictive mechanism that successively integrates recent sensory information into feedforward processing. (shrink)

Scepticism in the Sixth Century? Damascius' Doubts and Solutions Concerning First Principles SARA RAPPE THE Doubts and Solutions Concerning First Principles, an aporetic work of the sixth century Neoplatonist Damascius, is distinguished above all by its dialectical subtlety. Although the Doubts and Solutions belongs to the commentary tradi- tion on Plato's Parmenides, its structure and method make it in many ways unique among such exegetical works. The treatise positions itself, at least in part, as a response to Proclus' metaphysical (...) system. Thus the first principles alluded to in its title refer to a metaphysical structure consisting of five central elements, the Ineffable, the One, and the Noetic Triad, which Damascius both adumbrates in opposition to Proclus' as well as subjects to his own, internal critique. In this article, I will be asking whether or not Damascius' critique of Neoplatonic metaphysics is informed or inspired by ancient Scepticism. No doubt this question catches the reader off guard: if the last exponent of an- cient Scepticism is Sextus Empiricus, how could this sixth-century Neo- platonist Scholarch, the last officially appointed Platonic Successor, revert to a tradition that seemingly disappears for well over three centuries? ~ In what ~As is well known, Damascius modifies Proclus' own exposition of the Parmenidean hypothe- ses, positing a first principle to which he gives the title ~the Ineffable." For those interested in a.. (shrink)

Stakeholder management devices (SMDs) are the mechanisms through which organizations respond to stakeholder concerns. Given that SMDs serve as organizational control systems for employees and managers, this research investigates the internal rather than the external effects of a firm's SMDs. Unlike most previous research, I examined the effects of these formal structures, processes, and procedures in the aggregate, rather than focusing attention on a single type of device. The study investigates the effects of a firm's stakeholder management devices, in the (...) aggregate, on three factors that influence individual behavior in organizations: expectations, attitudes, and perceived organizational climates. Respondents were managers in 112 for-profit businesses located throughout the United States. Results suggest that a firm's stakeholder management devices affect the perceived moral climates in the firm, and affect managers' expectations about the consequences of good corporate social performance, but do not affect organization members' attitudes about corporate social responsibility. (shrink)

ABSTRACTThis paper begins with the assumption that it is morally problematic when people in need are offered money in exchange for research participation if the amount offered is unfair. Such offers are called ‘coercive’, and the degree of coerciveness is determined by the offer's potential to cause exploitation and its irresistibility. Depending on what view we take on the possibility to compensate for the sacrifices made by research participants, a wish to avoid ‘coercive offers’ leads to policy recommendations concerning payment (...) for participation. For sacrifices considered compensable, we ought to offer either no payment or payment at a level deemed fair, while for sacrifices deemed incompensable, we always ought to offer no payment because as compensation appears and increases, so too does coercion. This article provides a model for thinking of the way in which degrees of exploitativeness, irresistibility, and coerciveness interact with the size of the reward for compensable and incompensable cases. T... (shrink)

Dieser Artikel ist eine analytische Besprechung eines kürzlich erschienenen Bandes von Evandro Agazzi, nämlich Das Wissen des Unsichtbaren. Es zeigt auf, wie Agazzi vom Glauben ausgeht, um die zentrale Bedeutung der Vernunft zu entwickeln. Eines der zentralen Themen ist die Erkenntnistheorie der Religion. Den Abschluss bildet eine kurze Erwähnung des Begriffs der Hoffnung.

This article argues for a clearer framework of internet-based “memes”. The science of memes, dubbed ‘memetics’, presumes that memes remain “copying units” following the popularisation of the concept in Richard Dawkins’ celebrated work, The Selfish Gene (1976). Yet Peircean semiotics and biosemiotics can challenge this doctrine of information transmission. While supporting a precise and discursive framework for internet memes, semiotic readings reconfigure contemporary formulations to the – now-established – conception of memes. Internet memes can and should be conceived, then, as (...) habit-inducing sign systems incorporating processes involving asymmetrical variation. So, drawing on biosemiotics, Tartu-Moscow semiotics, and Peircean semiotic principles, and through a close reading of the celebrated 2011 Internet meme Rebecca Black’s Friday, this article proposes a working outline for the definition of internet memes and its applicability for the semiotic analysis of texts in new media communication. (shrink)

By presenting a case study based on the argumentative analysis of news in the press, this article introduces and discusses strategic manoeuvring with contextual frames. Drawing on the linguistic notion of frame, I introduce the concept of contextual frame to refer to the news context, that is, the background against which a certain event is presented as a piece of news. I argue that newspapers and journalists make use of contextual frames in the apparently neutral genre of news reporting to (...) propose specific interpretations of the facts at issue, which become the basis for explicit comments and editorials. To show how this works, I investigate in detail a case of newspaper coverage of a complex episode using the pragma-dialectical notion of strategic manoeuvring and the Argumentum Model of Topics to analyse argument schemes. I show that, in the use of contextual frames, there is a prominent relation between presentational devices and topical potential; contextual frames provide the implicit material premises which are at the basis of argumentations through which newspapers interpret and comment on the news. (shrink)

A sequent calculus is given in which the management of weakening and contraction is organized as in natural deduction. The latter has no explicit weakening or contraction, but vacuous and multiple discharges in rules that discharge assumptions. A comparison to natural deduction is given through translation of derivations between the two systems. It is proved that if a cut formula is never principal in a derivation leading to the right premiss of cut, it is a subformula of the conclusion. Therefore (...) it is sufficient to eliminate those cuts that correspond to detour and permutation conversions in natural deduction. (shrink)

The paper considers what united and divided Benjamin and Horkheimer-Adorno in terms of their respective confrontations with the question of what it is to articulate the past historically. It presents their shared self-consciousness of the difficult task of responding critically to a problem conceived of as the entanglement of the concept of history with domination. For the problem imbues conceptualization itself and therefore threatens the value of the authoritative statements made in their own critical reflection on it. I show that (...) these thinkers necessarily respond to the problem in confrontation with specific historical contexts: fascism, Soviet communism, German social democracy, and liberal democracy. The challenge they face is how to metabolize thinking in the midst of tendencies that disable it. I compare Benjamin’s solution, the dialectical image, with Horkheimer and Adorno’s solution, the recovery of critical reflection through the fragmentary writing of Dialectic of Enlightenment. (shrink)

Peirce's relationship with religion, both in his personal life and in his thought, was deeper than has been considered so far. The question of God was for him more important than it might seem at first glance. His writings contain numerous references to religious issues, closely linked to his most important notions of philosophy and science. In this article, the most important biographical data to understand Peirce's relationship with religion are provided; his main notions about God are also examined and, (...) finally, a brief analysis of the most important Peircean writings on religion is made. (shrink)

The paper is a reading of Julia Kristeva, The Severed Head . It first interprets a dual historical element in Kristeva's text on "capital visions," her selection of exemplars of the artistic representation of severed heads. On the one hand, there are the aesthetic trajectories themselves, from skull art to artistic modernism. On the other hand, there is an implicit history of "horror" in psychoanalysis in this text, going from Freud through Lacan to Kristeva. The paper then indicates the tone (...) of possibility and invitation that inhabits Kristeva’s treatment of horror in capital visions, which suggests that she does not divide aesthetics off from ethics. Finally, I underline the note of humor that enters into the psychoanalytic and aesthetic treatment of horror, once Kristeva has linked it to the feminine. (shrink)

The critical reception of Kristeva's writings has largely been in the field of feminist thought, literary studies and social theory. Her thought has been appreciated or abandoned on the grounds of its argument that the concepts and practices of 'psychoanalysis' and 'literature' present the truth of modern social and political relations - in distinction from and criticism of philosophical 'system' . The thesis implicitly challenges this general reception of I (...) the Hegelian ambition of her analysis of the 'subject' in social and political relations. The main object of the thesis is to establish the philosophical foundations of Kristeva's 'return to Freud' in the philosophy of law from Kant to Hegel. The thesis presents the significance and limitation of her engagement with German idealism, and the consequences of that limited engagement for the ambition of Kristeva's oeuvre. The meaning of the speculative philosophy of law is recovered from its premature reduction in the developments of, and departures from, her thought in contemporary critical engagements with French and German philosophy. (shrink)

Präzision ist ein Schlüsselbegriff in Technik, Kunst und Wissenschaft, der in enger Verbindung mit Verfahren der Messung und Feinmechanik steht, aber auch die Schärfe sprachlicher Begriffsbildung oder die Synchronisation tänzerischer Bewegungen beschreiben kann. Die Wissenschaftsgeschichte zeigt, dass der Bedarf nach grösstmöglicher Präzision auch die Widersprüche von Messung und Modell, Versuch und Vorhersage in sich aufgenommen hat - abweichende Messergebnisse wurden so zum eigentlichen Beleg für die Genauigkeit einer Methode und den Bedarf ihrer weiteren Raffinierung. Der interdisziplinäre Blick auf verschiedene Felder (...) zeigt, wie der damit verbundene Anspruch in ihnen produktiv gemacht und reflektiert worden ist. Fallstudien zu Beispielen aus mehreren Jahrhunderten gehen dieser Frage nach, ergänzt um Auszüge aus grundlegenden historisch-theoretischen Beiträgen. (shrink)

Charles Darwin's curiosity had a remarkable childlike enthusiasm driven by an almost compulsive appetite for a constant process of discovery, which he never satiated despite his many voyages. He would puzzle about the smallest things, from the wonders of barnacles to the different shapes, colours and textures of the beetles which he obsessively collected, from flowers and stems to birds, music and language, and would dedicate years to understanding the potential significance of everything he saw. Darwin's findings and theories relied (...) heavily on that same curiosity, on seeking and answering questions, however long these would take to clarify. His son Francis Darwin often recalls how "he would ask himself 'now what do you want to say' and his answer written down would often disentangle the confusion". In fact, "disentangling confusions" seems to have been the driving force behind Darwin's scientific pursuits, as he was struck with bewilderment when contemplating the luxuriousness of life. It was also the impetus for this book. The true implications of Darwin's legacy remain as controversial to the critics of our time as they were to his contemporaries. Darwin's impact within and beyond the biological sciences is both daunting and exhilarating, and attests to the need for an interdisciplinary approach by remaining a challenge to many scholars in the most diverse fields. The recent revival of his theories has opened a Pandora's box of different theoretical studies that are particularly receptive to exploring new and exciting angles of research. (shrink)

Clark and Fischer's three levels of depiction of social robots can be conceptualized as cognitive schemas. When interacting with social robots, humans shift between schemas similarly to how they shift between identity category schemas when interacting with other humans. Perception of mind, context cues, and individual differences underlie perceptions of which level of depiction is most situationally relevant.

Advances in genetic research have created the need to inform consumers. Yet, the communication of hereditary risk and of the options for how to deal with it is a difficult task. Due to the abstract nature of genetics, people tend to overestimate or underestimate their risk. This paper addresses the issue of how to communicate risk information on hereditary breast and ovarian cancer through an online application. The core of the paper illustrates the design of OPERA, a risk assessment instrument (...) that applies the UK National Institute of Health and Clinical Excellence's guidelines on the basis of (i) the number of relatives on the same side of the family with the same cancer or cancers that are known to run together; (ii) the ages of these relatives at diagnosis and (iii) the closeness of the family relationship with the person who is doing the assessment. By relying on the argumentation theory, we explain how the communication strategy that OPERA implements is essentially based on Perelman and Olbrechts-Tyteca's deductive argumentation by association. By using as premises “facts” (propositions about reality that can be assumed without further justification) and “truths” (propositions that make connections about facts), OPERA delivers its claims with an ex auctoritate causal link aimed at transferring the audience's acceptance of the cause to the effect. Overall, the design of OPERA rests on its capacity to induce users' active processing of risk information through an appeal to their reasoning faculty. In the conclusion, we present some results from a pilot evaluation of users' acceptance of OPERA. (shrink)

Current facts about soil erosion, groundwater “mining,” and impact of toxic substances suggest a resource crisis in our farming system. Yet traditional checks on the exploitation of farmland, capsulized in the “stewardship ethic,” proceed from too limited a viewpoint to adequately address the root of the exploitation and proffer an alternative. After briefly examining the stewardship ethic, I consider the developmentof a “partnership ethic” to guide the use of land for farming which builds its essential elements out of the reflections (...) of feminist thinkers on the relationship between humankind and nature. Instead of using “rights” language to express the ethic, I develop a theory of appropriate use analogous to the appropriate use of another person’s capabilities-i.e., that such moral use should respect and not destroy the other and that it should return something of value to the other in exchange for the use. Finally, those principles are examined for their practical implications for farmland use and national farm policy. (shrink)

Emotional, social, and cognitive intelligence competencies have been recognized as the most critical capabilities for organizations to acquire at all levels. For this reason, a wide body of research since the 1980s has demonstrated their positive impact on individual performance, career success, and wellbeing across sectors and professional roles, and a large number of theoretical contributions on how these competencies can be effectively developed has emerged over time. We focus attention on the developmental and learning processes of emotional, social, and (...) cognitive intelligence competencies that occur after formal training or educational courses provided by universities or certified organizations and directed to students or practitioners. Specifically, we conduct an exploratory literature review on the existing academic studies in order to identify the scholars and the pieces of research contributing most to the debate under investigation. This article aims at analyzing this body of research through a systematic review of the literature in order to: i) provide a comprehensive critical analysis of the distinctive features of the theoretical and methodological frameworks adopted to develop these competencies; ii) review the contexts in which the training initiatives analyzed by the literature have been delivered and the categories of learner involved; iii) discuss the learning outcomes of these educational programs and how they have been assessed; iv) identify gaps and inconsistencies in the current state of the literature, suggesting promising paths for future research; and v) stimulate insights for educators, human resource managers, executives, and policymakers by organizing and critically analyzing the extant contributions on competency development. This review represents the first attempt to systematize the methodologies of the educational programs for competency development and to assess their effectiveness in order to assist educators and executives in their ongoing efforts to equip students and employees with the relevant skills needed to achieve superior performance in the workplace. At the institutional level, policymakers should promote a dedicated agenda with concrete actions to equip people with emotional and social intelligence competencies. (shrink)

This paper studies the relation between dialogue, truth and communication in Plato's thought and the similarities between Plato's theory of language and some philosophers of the twentieth century like Heidegger or Gadamer.

This article considers the engagement of Mario Tronti - one of the leading figures of classical Italian workerism [operaismo] - with the thought of Max Weber. Weber constituted one of Tronti’s most important cattivi maestri. By analysing Weber’s influence upon Tronti’s development, this article aims to show the ways in which this encounter affected his Marxism and political theory in general. In particular, during the period of the debate in Italian Marxism about the thesis of the autonomy of the political, (...) Tronti increasingly adopted Weberian terminology and theoretical points of reference. Ultimately, the article argues that Tronti’s heretical method led him to incorporate and to re-propose theoretical and political problematics that are characteristic of bourgeois political theory: namely, the dyad administration/charisma, and a teleological and anthropological approach to history. Focusing upon this heterodox encounter therefore enables us to understand one of the trajectories of the transformation of Marxism that occurred during its recurrent rendezvous with the ‘Marx of the bourgeoisie’. (shrink)

Sociocultural Issues in Physical Education: Case Studies for Teachers helps teachers increase their sociocultural awareness and knowledge in order to consider how students’ experiences are shaped in and through physical education classes. This book is especially useful as a professional development and academic tool.

The brain networks underlying human multiple-cue judgment, the judgment of a continuous criterion based on multiple cues, have been examined in a few recent studies, and the ventral precuneus has been found to be a key region. Specifically, activation differences in ventral precuneus (as measured with functional magnetic resonance imaging, fMRI) has been linked to an exemplar-based judgment process, where judgments are based on memory for previous similar cases. What aspects of exemplar-based judgment ventral precuneus supports is however poorly understood. (...) Ventral precuneus is a brain region important for various episodic memory processes, where increased engagement of this region together with the ventromedial prefrontal cortex (vmPFC) and the medial temporal lobes (MTL) during learning have been linked to retrieval success. Several alternatives are plausible, for example that reduced brain activity in ventral precuneus during learning to make exemplar-based judgments could reflect reduced needs for visuo-spatial attention as a function of learning to master the task. The present study used fMRI during a multiple-cue judgment task to gain novel neurocognitive evidence informative for the link between learning-related activity changes in ventral precuneus and exemplar-based judgment. Participants (N = 27) spontaneously learned to make judgments during fMRI, in a multiple-cue judgment task specifically designed to induce exemplar-based processing. Contrasting brain activity during late learning to early learning indeed revealed higher activity in ventral precuneus, the bilateral MTL and the vmPFC. Activity in the ventral precuneus and the vmPFC was found to parametrically increase between each judgment event, and activity levels in the ventral precuneus predicted performance after learning. These results are interpreted such that the ventral precuneus supports the aspects of exemplar-based processes that are related to episodic memory, tentatively by building and retrieving memory representations for judgment. (shrink)

TheCulexis now widely recognized as a piece of post-Ovidian, possibly Tiberian, pseudo-juvenilia written by an author impersonating the young Virgil, although it was attached to Virgil's name already in the first centuryc.e., being identified as Virgilian by Statius, Suetonius and Martial. Dedicated to the young Octavian (Octauiin line 1), the poem seems to fill a biographical gap in Virgil's career before his composition of theEclogues. It is introduced as aludus, which Irene Peirano suggests may openly refer to ‘the act of (...) impersonating Virgil’, and, like many of the poems in theAppendix Vergiliana, it seems to have a parodic intent. TheCulexhas been interpreted as a parody of neoteric style and the epyllion, as mock-epic, as Virgil parody (John Henderson called it a ‘spoofAeneidin bucolic drag’), as pointed Augustan satire, as mock Ovidian ‘Weltgedicht’ and as just very bad poetry (Housman's ‘stutterer’). Glenn Most has observed that the poem's three ‘acts’ structurally recapitulate Virgil's three major works in chronological succession. Little attention, however, has been paid to theCulex's final lines, which contain a catalogue of flowers thepastorplaces on the gnat's tomb. Recent scholarship has reintroduced an older interpretation of the gnat's tomb as a political allegory of Augustus’ Mausoleum; in this paper I suggest instead that the tomb and its flowers serve a closural and metapoetic function at the end of the poem. (shrink)

Uno de los componentes más importantes del proceso de enseñanza-aprendizaje de los estudios de Arquitectura Técnica es la realización de un proyecto final que aglutina todos los conocimientos y competencias desarrollados en las diferentes disciplinas que configuran el Plan de Estudios. El objetivo de esta propuesta es visualizar la evolución del proceso de enseñanza y aprendizaje en el Proyecto Fin de Grado en los estudios de Arquitectura Técnica e Ingeniería de Edificación de la Universidad de Burgos, mostrando las diferentes adaptaciones (...) de los contenidos y la tipología elegida para su desarrollo. (shrink)