Types of \mathsf{I} -Free Hereditary Right Maximal Terms

The implicational fragment of the relevance logic “ticket entailment” is closely related to the so-called hereditary right maximal terms. I prove that the terms that need to be considered as inhabitants of the types which are theorems of T_→ are in normal form and built in all but one case from and only. As a tool in the proof ordered term rewriting systems are introduced. Based on the main theorem I define FIT_→ – a Fitch-style calculus (related to FT_→) for the implicational fragment of ticket entailment.     

Avoiding the death risk of avoiding a dread risk: the aftermath of March 11 in Spain

Abstract-After the airplane attacks of September 11, 2001, in the United States, many Americans drove instead of flying, to avoid the risk of terrorism. As a result, there were extra car accidents in which many people died. This study tested whether a similar effect occurred in Spain after the train bombings of March 11, 2004, in Madrid. Data on train travel, highway traffic, and fatal highway accidents were analyzed for the months immediately following March 11. Results show that, like Americans, Spaniards avoided the dread risk of terror attacks, but unlike Americans, they did not confront the death risk of fatal accidents instead. A sociopolitical interpretation for these findings is offered.     

Informal versus formal mathematics

We discuss Kunen’s algorithmic implementation of a proof for the Paris–Harrington theorem, and the author’s and da Costa’s proposed “exotic” formulation for the P = NP hypothesis. Out of those two examples we ponder the relation between mathematics within an axiomatic framework, and intuitive or informal mathematics. The author is Visiting Researcher at IEA/USP, Professor of Communications, Emeritus, at the Federal University in Rio de Janeiro, and a full member of the Brazilian Academy of Philosophy.     

Modulation of stress consequences by hippocampal monoaminergic, glutamatergic and nitrergic neurotransmitter systems

Several findings relate the hippocampal formation to the behavioural consequences of stress. It contains a high concentration of corticoid receptors and undergoes plastic modifications, including decreased neurogenesis and cellular remodelling, following stress exposure. Various major neurotransmitter systems in the hippocampus are involved in these effects. Serotonin (5-HT) seems to exert a protective role in the hippocampus and attenuates the behavioural consequences of stress by activating 5-HT1A receptors in this structure. These effects may mediate the therapeutic actions of several antidepressants. The role of noradrenaline is less clear and possibly depends on the specific hippocampal region (dorsal vs. ventral). The deleterious modifications induced in the hippocampus by stress might involve a decrease in neurotrophic factors such as brain derived neurotrophic factor (BDNF) following glutamate N-methyl-D-aspartate (NMDA) receptor activation. In addition to glutamate, nitric oxide (NO) could also be related to these effects. Systemic and intra-hippocampal administration of nitric oxide synthase (NOS) inhibitors attenuates stress-induced behavioural consequences. The challenge for the future will be to integrate results related to these different neurotransmitter systems in a unifying theory about the role of the hippocampus in mood regulation, depressive disorder and antidepressant effects.     

Interaction between preexposure and overshadowing: Further analysis of the extended comparator hypothesis

Three experiments with rats used conditioned suppression of barpress to test predictions of the extended comparator hypothesis, which assumes that the effectiveness of (first-order) comparator stimuli in modulating responding to a target conditioned stimulus (CS) is itself modulated by other (second-order) comparator stimuli. Experiment 1 demonstrated that both pretraining exposure to the target CS alone (i.e., CS-preexposure effect, also known as latent inhibition) and pretraining exposure to a compound of the target CS and nontarget CS (i.e., compound-CS-preexposure effect) counteract overshadowing, and that posttraining deflation (i.e., extinction) of the overshadowing stimulus attenuates responding to the target CS when overshadowing is preceded by a CS-preexposure treatment (i.e., yields a CS-preexposure effect), but not when overshadowing is preceded by a compound-CS-preexposure treatment. Experiment 2 examined the consequences of posttraining associative inflation of the overshadowing stimulus or the preexposure companion stimulus following conjoint compound-CS-preexposure and overshadowing treatment. Experiment 3 examined the consequences of posttraining inflation of the overshadowing stimulus or the context following conjoint CS-alone preexposure and overshadowing treatment. The results support the expression-focused comparator view in contrast to recent acquisition-focused models of retrospective revaluation.     

Equivalences Among Polarity Algorithms

The concept of polarity is pervasive in natural language. It relates syntax, semantics and pragmatics narrowly (Giannakidou, in: Maienborn, von Heusinger, Portner (eds.), Semantics: an international handbook of natural language meaning, De Gruyter Mouton, Berlin, 2011; Israel in The grammar of polarity: pragmatics, sensitivity, and the logic of scales, Cambridge studies in linguistics, Cambridge University Press, Cambridge, 2014), it refers to items of many syntactic categories such as nouns, verbs and adverbs. Neutral polarity items appear in affirmative and negative sentences, negative polarity items cannot appear in affirmative sentences, and positive polarity items cannot appear in negative sentences. A way of reasoning in Natural Language is through Natural Logic (van Benthem in Essays in logical semantics, vol. 29 of Studies in linguistics and philosophy, Reidel, Dordrecht, 1986; Language in action: categories, lambdas, and dynamic logic, vol. 130 of Studies in logic, Elsevier, Amsterdam, 1991). This logic is based on the concept of polarity in order to make the meaning of a sentence weaker o stronger without changing its truth value. There exist many proposals to compute polarity in the Natural Logic context, the most widely known are the ones by: van Benthem (1986, 1991), Sánchez-Valencia (Studies on natural logic and categorial grammar, Ph.D. thesis, Universiteit van Amsterdam, 1991), Dowty (Proceedings of the 4th conference on semantics and theoretical linguistics, Cornel University, CLC Publications, Rochester, 1994), and van Eijck (in: ten Cate, Zeevat (eds.), 6th international Tbilisi symposium on logic, language, and computation, Batumi, Georgia, Springer, 2007). If Natural Logic is going to be used, as an inferential mechanism between text fragments, in Natural Language Processing applications such as text summarization, question answering, and information extraction, it is a priority to know what the existing relationship among the aforementioned algorithms is; for example, to implement the most general. We show in this paper the equivalence among the analyzed algorithms, filling a gap in Natural Logic research, particularly in computing polarity, and the soundness of their algorithms.     

Goal-relevant situations facilitate memory of neutral faces

Emotional situations are typically better remembered than neutral situations, but the psychological conditions and brain mechanisms underlying this effect remain debated. Stimulus valence and affective arousal have been suggested to explain the major role of emotional stimuli in memory facilitation. However, neither valence nor arousal are sufficient affective dimensions to explain the effect of memory facilitation. Several studies showed that negative and positive details are better remembered than neutral details. However, other studies showed that neutral information encoded and coupled with arousal did not result in a memory advantage compared with neutral information not coupled with arousal. Therefore, we suggest that the fundamental affective dimension responsible for memory facilitation is goal relevance. To test this hypothesis at behavioral and neural levels, we conducted a functional magnetic resonance imaging study and used neutral faces embedded in goal-relevant or goal-irrelevant daily life situations. At the behavioral level, we found that neutral faces encountered in goal-relevant situations were better remembered than those encountered in goal-irrelevant situations. To explain this effect, we studied neural activations involved in goal-relevant processing at encoding and in subsequent neutral face recognition. At encoding, activation of emotional brain regions (anterior cingulate, ventral striatum, ventral tegmental area, and substantia nigra) was greater for processing of goal-relevant situations than for processing of goal-irrelevant situations. At the recognition phase, despite the presentation of neutral faces, brain activation involved in social processing (superior temporal sulcus) to successfully remember identities was greater for previously encountered faces in goal-relevant than in goal-irrelevant situations.