Subjective contours 1900–1990: Research trends and bibliography

Abibliography on subjective contours and a brief summary of trends in research-on-thin problem are presented. The bibliography covers the years 1900–1990 and contains 445 entries, each briefly annotated with a code that indicates the general content and theoretical orientation of the item.     

RESCUE AND RECOVERY AS A THEOLOGICAL PRINCIPLE,AND A KEY TO MORALITY IN EXTRATERRESTRIAL SPECIES

New theological understanding can emerge with the advancement of scientific knowledge and the use of new concepts, or older concepts in new ways. Here, the authors present a proposal to extend the concept of “rescue and recovery” found in the United Nations Law of the High Seas, off-world and within a broader purview of other intelligent and self-aware species that humans may someday encounter. The notion of a morality that extends to off-world species is not new, but in this analysis, rescue and recovery become an imperative when any intelligent and self-aware species is in harm's way. Rescue and recovery encompass a necessary action component except perhaps in those cases where rescuers are in danger. The authors explore three biblical examples of rescue and recovery to derive a fundamental meaning of the concept.     

A note on some extension results

In this note, a fully modal proof is given of some conservation results proved in a previous paper by arithmetic means. The proof is based on the extendability of Kripke models.     

Interpretations of the first-order theory of diagonalizable algebras in peano arithmetic

For every sequence |p _n } _n of formulas of Peano ArithmeticPA with, every formulaA of the first-order theory diagonalizable algebras, we associate a formula ⁰ A, called the value ofA inPA with respect to the interpretation. We show that, ifA is true in every diagonalizable algebra, then, for every, ⁰ A is a theorem ofPA.     

Aptitude Tests: Can We Predict Their Future?

Garcia, J. The Logic and Limits of Mental Aptitude Testing. American Psychologist, 1981, 36, 1172–1180. Hargadon, F. Tests and College Admissions. American Psychologist, 1981, 36, 1112–1119.     

Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀

The present paper deals with the predicate version MTL of the logic MTL by Esteva and Godo. We introduce a Kripke semantics for it, along the lines of Ono's Kripke semantics for the predicate version of FL_ew (cf. [O85]), and we prove a completeness theorem. Then we prove that every predicate logic between MTL and classical predicate logic is undecidable. Finally, we prove that MTL is complete with respect to the standard semantics, i.e., with respect to Kripke frames on the real interval [0,1], or equivalently, with respect to MTL-algebras whose lattice reduct is [0,1] with the usual order.     

Cross-modal illusory conjunctions between vision and touch

Cross-modal illusory conjunctions (ICs) happen when, under conditions of divided attention, felt textures are reported as being seen or vice versa. Experiments provided evidence for these errors, demonstrated that ICs are more frequent if tactile and visual stimuli are in the same hemispace, and showed that ICs still occur under forced-choice conditions but do not occur when attention to the felt texture is increased. Cross-modal ICs were also found in a patient with parietal damage even with relatively long presentations of visual stimuli. The data are consistent with there being cross-modal integration of sensory information, with the modality of origin sometimes being misattributed when attention is constrained. The empirical conclusions from the experiments are supported by formal models.