Schrödinger logics

Schrödinger logics are logical systems in which the principle of identity is not true in general. The intuitive motivation for these logics is both Erwin Schrödinger's thesis (which has been advanced by other authors) that identity lacks sense for elementary particles of modern physics, and the way which physicists deal with this concept; normally, they understandidentity as meaningindistinguishability (agreemment with respect to attributes). Observing that these concepts are equivalent in classical logic and mathematics, which underly the usual physical theories, we present a higher-order logical system in which these concepts are systematically separated. A classical semantics for the system is presented and some philosophical related questions are mentioned. One of the main characteristics of our system is that Leibniz' Principle of the Identity of Indiscernibles cannot be derived. This fact is in accordance with some authors who maintain that quantum mechanics violates this principle. Furthermore, our system may be viewed as a way of making sense some of Schrödinger's logical intuitions about the nature of elementary particles.The authors very much would like to thank the anonymous referee for his quite interesting suggestions, which contributed significantly to improve the paper.Presented byJan Zygmunt;     

A new formulation of discussive logic

S. Jakowski introduced the discussive prepositional calculus D ₂as a basis for a logic which could be used as underlying logic of inconsistent but nontrivial theories (see, for example, N. C. A. da Costa and L. Dubikajtis, On Jakowski's discussive logic, in Non-Classical Logic, Model Theory and Computability, A. I. Arruda, N. C. A da Costa and R. Chuaqui edts., North-Holland, Amsterdam, 1977, 37–56). D ₂has afterwards been extended to a first-order predicate calculus and to a higher-order logic (cf. the quoted paper). In this paper we present a natural version of D ₂, in the sense of Jakowski and Gentzen; as a consequence, we suggest a new formulation of the discussive predicate calculus (with equality). A semantics for the new calculus is also presented.     

Aggression in dyadic interaction

It is shown that the notions of aggressive behavior as ‘intentional emission of noxious stimulation’ (Buss, 1961, 1963, 1966, 1971) and that of ‘injuriating goal response’ (Dollard, Doob, Miller, Mower and Sears, 1939) are identical. The usefulness of these theories to predict S's reaction to the reception of a given noxious stimulation is questioned. It is suggested that S's reactions to noxious stimulation may or may not be aggressive, depending on whether the noxious stimulation S receives is interpreted as being a behavior justified by the nom in the situation, or as reflecting an aggressive intent of O. It is hypothesized that the norms established in the situation depend on (i) victim's perception of the noxious stimulation received as being instrumental for O's goal attainment, (ii) victim's perception of the value of O's goal, and (iii) the value of victim's own goal. The establishment of norms regulating the exchange of noxious stimulation between Ss is operationalized in two experiments. Aggression, defined as an infringement of these norms, is measured. In Experiment I, participate 56 female students, and in Experiment 2, 80 male students. Subject is alternately victim (he performs a sensorimotor task and receives an electric shock) and aggressor (he shocks the other S). In Experiment I it is found that Ss counteraggress faster and more frequently if they interpret the shock received from the partner as an infringement of the norm. In Experiment 2, Ss do not counteraggress more frequently, but they do counteraggress faster and evaluate O more negatively. It is concluded that the results clearly contradict current positions and favor the authors' cognitive reformulation of the determinants of aggressive behavior.     

Spontaneous object recognition in capuchin monkeys: assessing the effects of sex,familiarization phase and retention delay

Animal Cognition - The spontaneous object recognition (SOR) task is a versatile and widely used memory test that was only recently established in nonhuman primates (marmosets). Here, we extended...     

Use of anvils by the Great Kiskadee (Aves,Tyrannidae): a description based on citizen science data

Animal Cognition - The use of anvils to strike prey is a behavior observed in some species of birds around the world. Here, I investigated the use of anvils by the Great Kiskadee (Pitangus...     

Reliability and acceptability of web-based administration of Spanish ages and stages questionnaires third edition®

to analyse the reliability of 6 age intervals of Spanish web-based Ages and Stages Questionnaires Third Edition (WB-ASQ-3) and parents' acceptability, in a clinical practice context, during COVID-19 pandemic and lockdown in Chile. Cross-sectional study with a longitudinal component. Internal consistency was analysed by Cronbach's alpha and Pearson product–moment correlation, Pearson's correlations between intervals questionnaires were analysed. Acceptability was determined using a parental satisfaction survey. 1061 children completed 2318 validated questionnaires. Scores were compared with normative sample, except for Gross motor at 8 and 12 months, and Communication at 12, 18 and 24 months, without differences to the previous Chileans sample. In domain analysis, Cronbach's alpha ranged from 0.36 to 0.80 and reached 0.74 to 0.81 for the overall test. Strong positive correlation between the domain and overall score was obtained. Correlation between most questionnaires at different ages was positive and significant. Parental surveys show high satisfaction; parents were thankful for being able to monitor children's development. WB-ASQ-3 is a reliable and feasible screening system, particularly when the test is taken as a whole, rather than by domains. It is remarkably high acceptability among parents, especially in complex times such as the lockdown and the COVID-19 pandemic.     

Social anxiety and problematic cannabis use: evaluating the moderating role of stress reactivity and perceived coping

Despite epidemiological reports indicating an association between social anxiety disorder (SAD) and cannabis use disorders (CUD), there is a paucity of research exploring the nature of this relationship. The present investigation examined potential moderators of this relationship that are consistent with a tension-reduction model of addiction. Specifically, physiological reactivity to stress and perceived coping with stress were evaluated as moderators of the relation between symptoms of SAD and CUD. Physiological (SCR) and subjective (perceived coping) responses to unpredictable white noise bursts were collected from non-clinical participants (n=123). Lifetime symptoms of CUD and anxiety disorders were assessed using a structured diagnostic interview. CUD symptomatology was associated with symptoms of SAD but not with symptoms of any other anxiety disorder. Only perceived coping to unpredictable stimuli moderated the relationship between SAD and CUD symptoms. Findings are discussed in the context of tension-reduction models of co-occurring social anxiety and problematic cannabis use.     

G. H. Mead in the history of sociological ideas

My aim is to discuss the history of the reception of George Herbert Mead's ideas in sociology. After discussing the methodological debate between presentism and historicism, I address the interpretations of those responsible for Mead's inclusion in the sociological canon: Herbert Blumer, Jürgen Habermas, and Hans Joas. In the concluding section, I assess these reconstructions of Mead's thought and suggest an alternative more consistent with my initial methodological remarks. In particular, I advocate a reconstruction of Mead's ideas that apprehends simultaneously its evolution over time and its thematic breadth. Such a historically minded reconstruction can be not only a useful corrective to possible anachronisms incurred by contemporary social theorists, but also a fruitful resource for their theory-building endeavors. Only then can meaningful and enriching dialogue with Mead begin.     

Automated assessment of conditioning parameters for context and cued fear in mice

A behavioral technique often used to evaluate the cognitive performance of rats and mice is the fear conditioning paradigm. During conditioned fear experiments, freezing responses shown by rodents after exposure to environmental stimuli previously paired to an aversive experience provide a behavioral index of the animal's associative abilities. The present study examined the ability of a computer-controlled automated Freeze Monitor system for recording immobility behavior in mice. The sensitivity of the automated procedure to detect group differences caused by the application of various training protocols was also evaluated. Statistical analyses revealed significant positive correlations between immobility scores obtained with the automated apparatus and hand-scored data collected by a continuous or a time-sampling method. Behavioral patterns recorded by the computerized system were very similar to those obtained by the hand-scoring methods adopted. In particular, during context testing, exposure to environmental stimuli previously paired with a mild foot shock (unconditioned stimulus [US]) evoked increased immobility behavior in mice conditioned with the US compared with levels of immobility displayed by mice previously confined to the same contextual stimuli without receiving the US. Moreover, although during conditioned stimulus (CS) testing, mice previously exposed to the US displayed high levels of immobility when confined to environmental cues much different from those paired with the US (contextual fear generalization), both hand-scored and automated results revealed the effect of CS–US pairing (increased immobility) only in mice trained to associate the two stimuli (paired group) but not in mice exposed to both CS and US separated by a 40-sec time interval (unpaired group) or in mice receiving only the US (US group) during conditioning sessions. Overall, the results show associative conditioning measured in an automated apparatus and highlight the utility of obtaining both latency as well as beam interruption parameters.     

Quasi-truth,paraconsistency, and the foundations of science

In order to develop an account of scientific rationality, two problems need to be addressed: (i) how to make sense of episodes of theory change in science where the lack of a cumulative development is found, and (ii) how to accommodate cases of scientific change where lack of consistency is involved. In this paper, we sketch a model of scientific rationality that accommodates both problems. We first provide a framework within which it is possible to make sense of scientific revolutions, but which still preserves some (partial) relations between old and new theories. The existence of these relations help to explain why the break between different theories is never too radical as to make it impossible for one to interpret the process in perfectly rational terms. We then defend the view that if scientific theories are taken to be quasi-true, and if the underlying logic is paraconsistent, it’s perfectly rational for scientists and mathematicians to entertain inconsistent theories without triviality. As a result, as opposed to what is demanded by traditional approaches to rationality, it’s not irrational to entertain inconsistent theories. Finally, we conclude the paper by arguing that the view advanced here provides a new way of thinking about the foundations of science. In particular, it extends in important respects both coherentist and foundationalist approaches to knowledge, without the troubles that plague traditional views of scientific rationality.