LISP: An introduction and some great programs

Some of the advantages of LISP and some of its unsavory reputation are discussed. Some LISP programs in a variety of areas (chemistry, medicine, question answering, natural language, mathematics, airline tariffs, etc.) are briefly described.     

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     

Patient variable biases in clinical judgment: conceptual overview and methodological considerations

Specific conceptual factors are presented as having contributed to the negative findings of past psychotherapy bias research. Among these factors are the restrictive nature of both the definition of bias and the model of the biased clinician. A review of published studies of several patient variable biases (e.g., gender, race/ethnicity, and age) indicated that bias may best be defined in broader terms and that its occurrence may be more circumscribed than originally conceived. In addition, the lack of a theoretical perspective in this area of research is noted and the applicability of some social cognitive processes is discussed. Methodological factors are also considered, and recommendations for future research are offered.     

Response to commentaries on “A neurobiological model for near-death experiences”

This work has received financial support from FONDECYT (Project 1111-88). The authors also acknowledge the helpful comments of Dr. Bruce Cassels.     

Social structure features in three inbred strains of mice, C57Bl/6J, Balb/cj, and NIH: a comparative study

Some features of social living were investigated in three inbred strains of mice: C57Bl/6j, Balb/cj, and NIH. Five social behaviors--Aggression, Submission, Allogrooming, Social Rest and Rest Alone, as well as Wheel Running Activity--were recorded 2 h daily for a week, in 26 groups of seven male mice living in an enriched environment. Dominants and subordinates among strains shared some behavioral characteristics, but strain contributions upon social structure were also detected. Similarities among strains included the appearance of a single dominant mouse per group rated as the most aggressive, besides from being the animal presented with most Submissions. Allogrooming was more frequent among subordinates than among dominants and subordinates. Differences among strains were that agonistic behavior among subordinates was higher in the Balb/cj and NIH groups than in the C57Bl/6j mice. NIH mice were recorded in Rest Alone more often than mice from the other strains. C57Bl/6j dominants showed higher rates of Wheel Running Activity than subordinates.     

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.     

Maps between some different kinds of contraction function: The finite case

In some recent papers, the authors and Peter Gärdenfors have defined and studied two different kinds of formal operation, conceived as possible representations of the intuitive process of contracting a theory to eliminate a proposition. These are partial meet contraction (including as limiting cases full meet contraction and maxichoice contraction) and safe contraction. It is known, via the representation theorem for the former, that every safe contraction operation over a theory is a partial meet contraction over that theory. The purpose of the present paper is to study the relationship more finely, by seeking an explicit map between the component orderings involved in each of the two kinds of contraction. It is shown that at least in the finite case a suitable map exists, with the consequence that the relational, transitively relational, and antisymmetrically relational partial meet contraction functions form identifiable subclasses of the safe contraction functions, over any theory finite modulo logical equivalence. In the process of constructing the map, as the composition of four simple transformations, mediating notions of bottom and top contraction are introduced. The study of the infinite case remains open.     

Worldviews about change: Their structure and their implications for understanding responses to sustainability,technology, and political change

People hold different perspectives about how they think the world is changing or should change. We examined five of these “worldviews” about change: Progress, Golden Age, Endless Cycle, Maintenance, and Balance. In Studies 1–4 (total N = 2733) we established reliable measures of each change worldview, and showed how these help explain when people will support or oppose social change in contexts spanning sustainability, technological innovations, and political elections. In mapping out these relationships we identify how the importance of different change worldviews varies across contexts, with Balance most critical for understanding support for sustainability, Progress/Golden Age important for understanding responses to innovations, and Golden Age uniquely important for preferring Trump/Republicans in the 2016 US election. These relationships were independent of prominent individual differences (e.g., values, political orientation for elections) or context-specific factors (e.g., self-reported innovativeness for responses to innovations). Study 5 (N = 2140) examined generalizability in 10 countries/regions spanning five continents, establishing that these worldviews exhibited metric invariance, but with country/region differences in how change worldviews were related to support for sustainability. These findings show that change worldviews can act as a general “lens” people use to help determine whether to support or oppose social change.