No Evidence of Suicide Increase Following Terrorist Attacks in the United States: An Interrupted Time‐Series Analysis of September 11 and Oklahoma City

There is substantial evidence of detrimental psychological sequelae following disasters, including terrorist attacks. The effect of these events on extreme responses such as suicide, however, is unclear. We tested competing hypotheses about such effects by employing autoregressive integrated moving average techniques to model the impact of September 11 and the Oklahoma City bombing on monthly suicide counts at the local, state, and national level. Unlike prior studies that provided conflicting evidence, rigorous time series techniques revealed no support for an increase or decrease in suicides following these events. We conclude that while terrorist attacks produce subsequent psychological morbidity and may affect self and collective efficacy well beyond their immediate impact, these effects are not strong enough to influence levels of suicide mortality.     

Cognitive Tendencies in Analogical Forecasting1

This article attempts to identify some cognitive tendencies involved in analogical forecasting of the outcomes of medical treatment. Sixty-one medical doctors were involved in two experimental tasks concerned with prediction of the outcomes of a new medical treatment when the result with a first patient was known to be either negative or positive. The same subjects were also tested by the Short Optimism/Pessimism Questionnaire (SO/PQ) to explore relationships between life attitude and the cognitive tendencies observed in the experiment. The following findings were reported: (1) The first step of forecasting was recognized as a Data Evaluation Process (DEP), where the physician decides if the given data are sufficient to forecast the result of the same treatment with a new patient. (2) Two cognitive tendencies were identified: non-data-suggested tendency—drawing a conclusion opposite to the data given; and data-suggested tendency—drawing an optimistic conclusion when forecasting from “positive” data and a pessimistic conclusion when forecasting from “negative” data. The second tendency appeared to be dominant; however, the “positive” data created a stronger atmosphere to draw conclusions on a negative outcome. (3) It was stated that analogical forecasting involves two integrated processes, i.e., concluding and asserting. If the integration process is not complete, the subject is drawing analogical conclusions with a low confidence. (4) An optimistic life attitude appeared to be an important factor in determining analogical forecasting.     

The effects of objectives and constraints on motor control strategy in reciprocal aiming movements

The goal of this study was to examine how the kinematics of reciprocal aiming movements were affected by both the objective of the movement and the constraints operating on that movement. In Experiment 1, the objective of the movement was indirectly manipulated by capitalizing on the fact that subjects determine their own accuracy and speed limits, despite uniform task instructions to move as quickly and accurately as possible. A Fitts' type reciprocal aiming paradigm was employed, in which 69 subjects were asked to move a stylus repetitively between two spatially separated targets. Four target widths were orthogonally combined with four movement amplitudes, resulting in 16 conditions. Movements were made on an X-Y digitizing tablet. Based on the mean variable error produced on both targets, subjects were differentiated post hoc into three movement objective groups: speed, accuracy, and speed-plus-accuracy. Kinematic analyses revealed that the programming and execution of movements were systematically influenced by both the movement objective and the movement constraints. That is, movement time, peak velocity, dwell time, acceleration and deceleration time, normalized acceleration and normalized deceleration varied systematically as a function of both the speed-accuracy movement objective and the movement constraints of target size and movement distance. Moreover, the consequences of changing the constraints of the movement were affected by an interaction with the objective of the movement. In Experiment 2, the objective of the movement was directly manipulated by varying speed and/or accuracy instructions to subjects. The basic results of Experiment 1 were substantiated. Overall, the results were consistent with the view that motor control is dependent upon sensory consequences.     

Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term

The most difficult problem that Leniewski came across in constructing his system of the foundations of mathematics was the problem of defining definitions, as he used to put it. He solved it to his satisfaction only when he had completed the formalization of his protothetic and ontology. By formalization of a deductive system one ought to understand in this context the statement, as precise and unambiguous as possible, of the conditions an expression has to satisfy if it is added to the system as a new thesis. Now, some protothetical theses, and some ontological ones, included in the respective systems, happen to be definitions. In the present essay I employ Leniewski's method of terminological explanations for the purpose of formalizing ukasiewicz's system of implicational calculus of propositions, which system, without having recourse to quantification, I first extended some time ago into a functionally complete system. This I achieved by allowing for a rule of implicational definitions, which enabled me to define any propositionforming functor for any finite number of propositional arguments.To the memory of Jerzy Supecki     

Categorical and algebraic aspects of Martin-Löf Type Theory

In the paper there are introduced and discussed the concepts of an indexed category with quantifications and a higher level indexed category to present an algebraic characterization of some version of Martin-Löf Type Theory. This characterization is given by specifying an additional equational structure of those indexed categories which are models of Martin-Löf Type Theory. One can consider the presented characterization as an essentially algebraic theory of categorical models of Martin-Löf Type Theory. The paper contains a construction of an indexed category with quantifications from terms and types of the language of Martin-Löf Type Theory given in the manner of Troelstra [11]. The paper contains also an inductive definition of a valuation of these terms and types in an indexed category with quantifications.     

On a problem of P(α, δ, π) concerning generalized Alexandroff s cube

Universality of generalized Alexandroff's cube plays essential role in theory of absolute retracts for the category of , -closure spaces. Alexandroff's cube. is an , -closure space generated by the family of all complete filters. in a lattice of all subsets of a set of power .Condition P(, , ) says that is a closure space of all , -filters in the lattice ( ), .Assuming that P (, , ) holds, in the paper [2], there are given sufficient conditions saying when an , -closure space is an absolute retract for the category of , -closure spaces (see Theorems 2.1 and 3.4 in [2]).It seems that, under assumption that P (, , ) holds, it will be possible to givean uniform characterization of absolute retracts for the category of , -closure-spaces.Except Lemma 3.1 from [1], there is no information when the condition P (, , ) holds or when it does not hold.The main result of this paper says, that there are examples of cardinal numbers, , , such that P (, , ) is not satisfied.Namely it is proved, using elementary properties of Lebesgue measure on the real line, that the condition P (, ₁, 2 ) is not satisfied.Moreover it is shown that fulfillment of the condition is essential assumption in, Theorems 2.1 and 3.4 from [1] i.e. it cannot be eliminated.     

On decidable consequence operators

The main theorem says that a consequence operator is an effective part of the consequence operator for the classical prepositional calculus iff it is a consequence operator for a logic satisfying the compactness theorem, and in which every finitely axiomatizable theory is decidable.