Canonical proof nets for classical logic

Proof nets provide abstract counterparts to sequent proofs modulo rule permutations; the idea being that if two proofs have the same underlying proof-net, they are in essence the same proof. Providing a convincing proof-net counterpart to proofs in the classical sequent calculus is thus an important step in understanding classical sequent calculus proofs. By convincing, we mean that (a) there should be a canonical function from sequent proofs to proof nets, (b) it should be possible to check the correctness of a net in polynomial time, (c) every correct net should be obtainable from a sequent calculus proof, and (d) there should be a cut-elimination procedure which preserves correctness. Previous attempts to give proof-net-like objects for propositional classical logic have failed at least one of the above conditions. In Richard McKinley (2010) [22], the author presented a calculus of proof nets (expansion nets) satisfying (a) and (b); the paper defined a sequent calculus corresponding to expansion nets but gave no explicit demonstration of (c). That sequent calculus, called LK∗ in this paper, is a novel one-sided sequent calculus with both additively and multiplicatively formulated disjunction rules. In this paper (a self-contained extended version of Richard McKinley (2010) [22]), we give a full proof of (c) for expansion nets with respect to LK∗, and in addition give a cut-elimination procedure internal to expansion nets – this makes expansion nets the first notion of proof-net for classical logic satisfying all four criteria.

Die Odyssee der Pygmäen. Eine prekäre Figur auf den neuzeitlichen Spieltischen anthropologischer Differenz

Due to the impacts of postcolonialism, social and cultural anthropology has been dealing intensively with the possibilities and limits of representing "other” human beings and their meaningful worlds. Scholars such as George Marcus, James Clifford or Clifford Geertz have discussed ways of improving anthropological methods of representation without, however, fully raising questions about the quality and validity of the objects represented and the very idea, that they could be “represented”. Thus, despite attempts to purify classical anthropological categories, substantialized presences (“Humans”, “Others”, “Pygmies” etc.), various forms of binary oppositions (us–them, culture–nature, human–animal) as well as certain epistemological modes/ logoi (representation, interpretation) have been rehearsed until today. The research aims to dissect and challenge the metaphysical outputs of the “anthropological machine” (Giorgio Agamben). I intended to solve these from their apparent familiarity as representable identities or differences in order to investigate their genealogy. In Derrida’s and Foucault’s understanding, genealogy becomes manifest mainly in the “blind spots” (Derrida) or “anomalies” (Foucault) between differences, at the borders of identities. As an analytical guideline, the research uses on one concrete metonym for the Derridean blind spot, one incorporation of a Foucauldian Other, namely pygmy narratives within early modern and 19th century imaginings. “Pygmies” have been part of both Western mythology and anthropological reflection since the antiquity and finally became “ethnographical facts” within an evolutionary anthropology in the 19th century during the European exploration of Africa. Throughout this veritable Odyssey, they were mostly precarious “category-jammers” (Timothy Beal), occupying the impossible middle grounds within (proto)anthropological classification. Thus, along with the early modern wild men, enfants sauvages or the apes of proto-primatology, the pygmies of the Homeric myth, as a catalyst for the negotiation of categories, played a decisive role in early modern and 19th century conceptions of the human. Through the precarious Pygmies, concrete socio-historical materializations of Identities (human, European), differences (human–animal etc.), as well as the accompanying logoi which vindicate these as pseudo-entities, appear evident. The research aims to read and write the history of early modern and 19th Century anthropology through one of its many classificatory constituting Others. It thus contributes to a discipline that for a long time has examined concrete systems of knowledge and the genealogy of classification in general. One might call it an “anthropologization” of anthropology.

Germanic Mythology in Music: Cultural Memory and Conflict within the Framework of Modern Globalization

The multi-layered enactment of a national past in music has been strongly intertwined with the usage of mythological elements. Having often been compiled as a coherent narrative during the emergence of the European nation-states (like the Finnish Kalevala), the mythological material has often been perceived as a form of historical truth and national justification. This focal role is also apparent in various music genres ranging from folk revival to metal in post-1989 Europe. Within the globalized context, however, local-national interpretations can collide with earlier nationalist appropriations. This complex and sometimes politically conflicting situation becomes particularly evident with groups falling back on symbols and narrations that had previously been employed by Nazi-Germany. While Nazi-Germany had, among others, tried replace the Christmas tradition with elements and songs from Germanic (and other) mythological sources, modern Neo-Nazi music groups often employ central mythological names (like Odin or Tyr) and iconic elements (like Vikings and warriors) in song lyrics and CD cover designs. However, while many covers and lyrics are legally forbidden in Germany, Scandinavian and Baltic groups (like the Faroese Viking metal group Tyr and the Latvian pagan metal band Skyforger) employ similar elements of Norse mythology, which are often combined with traditional material. Discussing selected case studies, this paper highlights central discursive points of colliding historical-national associations and individual interpretations of the mythological elements in musical contexts. How far can the material be disassociated from the earlier historical political usage and instrumentalization? Is this necessary ? And how can the specific global-local conflict points be approached by a theoretical framework ?

From emotion perception to emotion experience: Emotions evoked by pictures and classical music.

Most previous neurophysiological studies evoked emotions by presenting visual stimuli. Models of the emotion circuits in the brain have for the most part ignored emotions arising from musical stimuli. To our knowledge, this is the first emotion brain study which examined the influence of visual and musical stimuli on brain processing. Highly arousing pictures of the International Affective Picture System and classical musical excerpts were chosen to evoke the three basic emotions of happiness, sadness and fear. The emotional stimuli modalities were presented for 70 s either alone or combined (congruent) in a counterbalanced and random order. Electroencephalogram (EEG) Alpha-Power-Density, which is inversely related to neural electrical activity, in 30 scalp electrodes from 24 right-handed healthy female subjects, was recorded. In addition, heart rate (HR), skin conductance responses (SCR), respiration, temperature and psychometrical ratings were collected. Results showed that the experienced quality of the presented emotions was most accurate in the combined conditions, intermediate in the picture conditions and lowest in the sound conditions. Furthermore, both the psychometrical ratings and the physiological involvement measurements (SCR, HR, Respiration) were significantly increased in the combined and sound conditions compared to the picture conditions. Finally, repeated measures ANOVA revealed the largest Alpha-Power-Density for the sound conditions, intermediate for the picture conditions, and lowest for the combined conditions, indicating the strongest activation in the combined conditions in a distributed emotion and arousal network comprising frontal, temporal, parietal and occipital neural structures. Summing up, these findings demonstrate that music can markedly enhance the emotional experience evoked by affective pictures.

Modulation of corticospinal activity by strong emotions evoked by pictures and classical music: a transcranial magnetic stimulation study.

Using transcranial magnetic stimulation and skin conductance responses, we sought to clarify if, and to what extent, emotional experiences of different valences and intensity activate the hand-motor system and the associated corticospinal tract. For that purpose, we applied a newly developed method to evoke strong emotional experiences by the simultaneous presentation of musical and pictorial stimuli of congruent emotional valence. We uncovered enhanced motor-evoked potentials, irrespective of valence, during the simultaneous presentation of emotional music and picture stimuli (Combined conditions) compared with the single presentation of the two modalities (Picture/Music conditions). In contrast, vegetative arousal was enhanced during both the Combined and Music conditions, compared with the Picture conditions, again irrespective of emotional valence. These findings strongly indicate that arousal is a necessary, but not sufficient, prerequisite for triggering the motor system of the brain. We offer a potential explanation for this discrepant, but intriguing, finding in the paper.

Prognostic factors for advanced-stage human immunodeficiency virus-associated classical Hodgkin lymphoma treated with doxorubicin, bleomycin, vinblastine, and dacarbazine plus combined antiretroviral therapy: A multi-institutional retrospective study.

BACKGROUND The treatment and outcomes of patients with human immunodeficiency virus (HIV)-associated Hodgkin lymphoma (HL) continue to evolve. The International Prognostic Score (IPS) is used to predict the survival of patients with advanced-stage HL, but it has not been validated in patients with HIV infection. METHODS This was a multi-institutional, retrospective study of 229 patients with HIV-associated, advanced-stage, classical HL who received doxorubicin, bleomycin, vinblastine, and dacarbazine (ABVD) plus combination antiretroviral therapy. Their clinical characteristics were presented descriptively, and multivariate analyses were performed to identify the factors that were predictive of response and prognostic of progression-free survival (PFS) and overall survival (OS). RESULTS The overall and complete response rates to ABVD in patients with HIV-associated HL were 91% and 83%, respectively. After a median follow-up of 5 years, the 5-year PFS and OS rates were 69% and 78%, respectively. In multivariate analyses, there was a trend toward an IPS score >3 as an adverse factor for PFS (hazard ratio [HR], 1.49; P=.15) and OS (HR, 1.84; P=.06). A cluster of differentiation 4 (CD4)-positive (T-helper) cell count <200 cells/μL was associated independently with both PFS (HR, 2.60; P=.002) and OS (HR, 2.04; P=.04). The CD4-positive cell count was associated with an increased incidence of death from other causes (HR, 2.64; P=.04) but not with death from HL-related causes (HR, 1.55; P=.32). CONCLUSIONS The current results indicate excellent response and survival rates in patients with HIV-associated, advanced-stage, classical HL who receive ABVD and combination antiretroviral therapy as well as the prognostic value of the CD4-positive cell count at the time of lymphoma diagnosis for PFS and OS. Cancer 2014. © 2014 American Cancer Society.

Quantum and classical criticality in a dimerized quantum antiferromagnet

A quantum critical point (QCP) is a singularity in the phase diagram arising because of quantum mechanical fluctuations. The exotic properties of some of the most enigmatic physical systems, including unconventional metals and superconductors, quantum magnets and ultracold atomic condensates, have been related to the importance of critical quantum and thermal fluctuations near such a point. However, direct and continuous control of these fluctuations has been difficult to realize, and complete thermodynamic and spectroscopic information is required to disentangle the effects of quantum and classical physics around a QCP. Here we achieve this control in a high-pressure, high-resolution neutron scattering experiment on the quantum dimer material TlCuCl3. By measuring the magnetic excitation spectrum across the entire quantum critical phase diagram, we illustrate the similarities between quantum and thermal melting of magnetic order. We prove the critical nature of the unconventional longitudinal (Higgs) mode of the ordered phase by damping it thermally. We demonstrate the development of two types of criticality, quantum and classical, and use their static and dynamic scaling properties to conclude that quantum and thermal fluctuations can behave largely independently near a QCP.

Proof internalization in generalized Frege systems for classical logic

We present a general method for inserting proofs in Frege systems for classical logic that produces systems that can internalize their own proofs.

Relative positioning of classical benzodiazepines to the γ2-subunit of GABAA receptors.

GABAA receptors are the major inhibitory neurotransmitter receptors in the brain. Benzodiazepine exert their action via a high affinity-binding site at the α/γ subunit interface on some of these receptors. Diazepam has sedative, hypnotic, anxiolytic, muscle relaxant, and anticonvulsant effects. It acts by potentiating the current evoked by the agonist GABA. Understanding specific interaction of benzodiazepines in the binding pocket of different GABAA receptor isoforms might help to separate these divergent effects. As a first step, we characterized the interaction between diazepam and the major GABAA receptor isoform α1β2γ2. We mutated several amino acid residues on the γ2-subunit assumed to be located near or in the benzodiazepine binding pocket individually to cysteine and studied the interaction with three ligands that are modified with a cysteine-reactive isothiocyanate group (-NCS). When the reactive NCS group is in apposition to the cysteine residue this leads to a covalent reaction. In this way, three amino acid residues, γ2Tyr58, γ2Asn60, and γ2Val190 were located relative to classical benzodiazepines in their binding pocket on GABAA receptors.

Algebra of Classical Theoretical Term Reductions in the Sciences

An elementary algebra identifies conceptual and corresponding applicational limitations in John Kemeny and Paul Oppenheim’s (K-O) 1956 model of theoretical reduction in the sciences. The K-O model was once widely accepted, at least in spirit, but seems afterward to have been discredited, or in any event superceeded. Today, the K-O reduction model is seldom mentioned, except to clarify when a reduction in the Kemeny-Oppenheim sense is not intended. The present essay takes a fresh look at the basic mathematics of K-O comparative vocabulary theoretical term reductions, from historical and philosophical standpoints, as a contribution to the history of the philosophy of science. The K-O theoretical reduction model qualifies a theory replacement as a successful reduction when preconditions of explanatory adequacy and comparable systematicization are met, and there occur fewer numbers of theoretical terms identified as replicable syntax types in the most economical statement of a theory’s putative propositional truths, as compared with the theoretical term count for the theory it replaces. The challenge to the historical model developed here, to help explain its scope and limitations, involves the potential for equivocal theoretical meanings of multiple theoretical term tokens of the same syntactical type.

Npro of classical swine fever virus contributes to pathogenicity in pigs by preventing type I interferon induction at local replication sites

Classical swine fever (CSF) caused by CSF virus (CSFV) is a highly contagious disease of pigs. The viral protein Npro of CSFV interferes with alpha- and beta-interferon (IFN-α/β) induction by promoting the degradation of interferon regulatory factor 3 (IRF3). During the establishment of the live attenuated CSF vaccine strain GPE-, Npro acquired a mutation that abolished its capacity to bind and degrade IRF3, rendering it unable to prevent IFN-α/β induction. In a previous study, we showed that the GPE- vaccine virus became pathogenic after forced serial passages in pigs, which was attributed to the amino acid substitutions T830A in the viral proteins E2 and V2475A and A2563V in NS4B. Interestingly, during the re-adaptation of the GPE- vaccine virus in pigs, the IRF3-degrading function of Npro was not recovered. Therefore, we examined whether restoring the ability of Npro to block IFN-α/β induction of both the avirulent and moderately virulent GPE--derived virus would enhance pathogenicity in pigs. Viruses carrying the N136D substitution in Npro regained the ability to degrade IRF3 and suppress IFN-α/β induction in vitro. In pigs, functional Npro significantly reduced the local IFN-α mRNA expression in lymphoid organs while it increased quantities of IFN-α/β in the circulation, and enhanced pathogenicity of the moderately virulent virus. In conclusion, the present study demonstrates that functional Npro influences the innate immune response at local sites of virus replication in pigs and contributes to pathogenicity of CSFV in synergy with viral replication.

The Utilization of Classical Spin Monte Carlo Methods to Simulate the Magnetic Behavior of Extended Three-Dimensional Cubic Networks Incorporating M(II) Ions with an S = 5/2 Ground State Spin

The numerical simulations of the magnetic properties of extended three-dimensional networks containing M(II) ions with an S = 5/2 ground-state spin have been carried out within the framework of the isotropic Heisenberg model. Analytical expressions fitting the numerical simulations for the primitive cubic, diamond, together with (10−3) cubic networks have all been derived. With these empirical formulas in hands, we can now extract the interaction between the magnetic ions from the experimental data for these networks. In the case of the primitive cubic network, these expressions are directly compared with those from the high-temperature expansions of the partition function. A fit of the experimental data for three complexes, namely [(N(CH3)4][Mn(N3)] 1, [Mn(CN4)]n 2, and [FeII(bipy)3][MnII2(ox)3] 3, has been carried out. The best fits were those obtained using the following parameters, J = −3.5 cm-1, g = 2.01 (1); J = −8.3 cm-1, g = 1.95 (2); and J = −2.0 cm-1, g = 1.95 (3).