Sequent-systems and groupoid models. I

The purpose of this paper is to connect the proof theory and the model theory of a family of propositional logics weaker than Heyting's. This family includes systems analogous to the Lambek calculus of syntactic categories, systems of relevant logic, systems related toBCK algebras, and, finally, Johansson's and Heyting's logic. First, sequent-systems are given for these logics, and cut-elimination results are proved. In these sequent-systems the rules for the logical operations are never changed: all changes are made in the structural rules. Next, Hubert-style formulations are given for these logics, and algebraic completeness results are demonstrated with respect to residuated lattice-ordered groupoids. Finally, model structures related to relevant model structures (of Urquhart, Fine, Routley, Meyer, and Maksimova) are given for our logics. These model structures are based on groupoids parallel to the sequent-systems. This paper lays the ground for a kind of correspondence theory for axioms of logics with implication weaker than Heyting's, a correspondence theory analogous to the correspondence theory for modal axioms of normal modal logics.The first part of the paper, which follows, contains the first two sections, which deal with sequent-systems and Hubert-formulations. The second part, due to appear in the next issue of this journal, will contain the third section, which deals with groupoid models.     

Descartes's Regulae, mathematics, and modern psychology: "the Noblest example of all" in Light of Turing's (1936) On computable Numbers

There are surprisingly strong connections between the philosophy of mind and the philosophy of mathematics. One particular important example can be seen in the Regulae (1628) of Descartes. In "the noblest example of all," he used his new abstract understanding of numbers to demonstrate how the brain can be considered as a symbol machine and how the intellect's algebraic reasoning can be mirrored as operations on this machine. Even though his attempt failed, it is illuminating to explore it because Descartes launched 2 traditions--mechanistic philosophy of mind and abstract mathematics--that would diverge until A. Turing (1936) approached symbolic reasoning in a similar "symbol machine-existence proof" way. Descrates's and Turing's thought experiments, which mark the beginning of modern psychology and cognitive science, respectively, indicate how important the development of mathematics has been for the constitution of the science of mind.     

Lateralization of squamous cell carcinomas in the head-neck region

Earlier studies have shown the lateralization of several immune disorders, including herpes zoster infection and breast cancer. We investigated whether there is lateralization of squamous cell carcinomas in the head-neck region and a relation of handedness with this cancer. Analysis showed right-sided lateralization of head-heck cancers in right-handed patients and vice versa in left-handed ones and a higher rate of left-handedness in patients with squamous cell cancer. Associations among left-handedness, squamous cell carcinoma, and its lateralization may result from a genetic togetherness.     

Quality of life assessment in Turkish patients with schizophrenia and their relatives

Quality of life of first-degree relatives living in the same household with patients having schizophrenia has not been sufficiently explored. 30 patients with schizophrenia (16 women, 14 men), diagnosed using DSM-IV criteria, 31 of their relatives (15 women, 16 men), and 34 control subjects (21 women, 13 men) were included in the study. The mean age of the patients, their relatives, and the control subects were 39.8 +/- 10.9, 58.1 +/- 12.5 and 37.3 +/- 17.0, respectively. The World Health Oranization Quality of Life-Brief Form was administered to all subjects. Quality of life was worse for the patient group than for their relatives and control subjects, but relatives of the patients and control subjects were not significantly different on Quality of life. Quality of life was negatively correlated with the severity of psychopathology and extrapyramidal side effects induced by antipsychotic drugs in the patients.     

“多少”概念发展的研究

采用数量判定任务,分别用2～30和5～100范围内点子图为刺激,研究个体“多”和“少”概念的发展。结果发现：在5～100点子条件下,随年龄的增长,个体“多”概念的判断值、“少”概念的判断值、“多”“少”概念的临界值均显著增大;7～9岁是个体“多少”概念发展的转折期;个体对“多少”概念的认知具有相对性;在本实验的两种条件下,随年龄增长,个体“多”概念的判断值、“少”概念的判断值、“多”“少”概念的临界值逐渐趋于刺激点子数最大值的2/3、1/3、1/2,“多”概念与“少”概念判断的不确定距离逐渐趋于刺激点子数最大变化范围的1/3或略小于1/3。     

Revisions and Regret: The Cost of Changing your Mind

Decision reversals often imply improved decisions. Yet, people show a strong resistance against changing their minds. These are well‐established findings, which suggest that changed decisions carry a subjective cost, perhaps by being more strongly regretted. Three studies were conducted to explore participants' regret when making reversible decisions and to test the hypothesis that changing one's mind will increase post‐outcome regret. The first two studies employed the Ultimatum game and the Trust game. The third study used a variant of the Monty Hall problem. All games were conducted by individual participants playing interactively against a computer. The outcomes were designed to capture a common characteristic of real‐life decisions: they varied from rather negative to fairly positive, and for every outcome, it was possible to imagine both more and less profitable outcomes. In all experiments, those who changed their minds reported much stronger post‐outcome regret than those who did not change, even if the final outcomes were equally good (Experiments 2 and 3) or better (Experiment 1).This finding was not because of individual differences with respect to gender, tendency to regret, or tendency to maximize. Previous studies have found that those who change from a correct to wrong option regret more than those who select a wrong option directly. This study indicates that this finding is a special case of a more general phenomenon: changing one's mind seems to come with a cost, even when one ends up with favorable outcomes. Copyright © 2011 John Wiley & Sons, Ltd.     

Using high frame rate CMOS sensors for three-dimensional eye tracking

A novel three-dimensional eye tracker is described and its performance evaluated. In contrast to previous devices based on conventional video standards, the present eye tracker is based on programmable CMOS image sensors, interfaced directly to digital processing circuitry to permit real-time image acquisition and processing. This architecture provides a number of important advantages, including image sampling rates of up to 400/sec measurement, direct pixel addressing for preprocessing and acquisition, and hard-disk storage of relevant image data. The reconfigurable digital processing circuitry also facilitatesin-line optimization of the front-end, time-critical processes. The primary acquisition algorithm for tracking the pupil and other eye features is designed around the generalized Hough transform. The tracker permits comprehensive measurement of eye movement (three degrees of freedom) and head movement (six degrees of freedom), and thus provides the basis for many types of vestibulo-oculomotor and visual research. The device has been qualified by the German Space Agency (DLR) and NASA for deployment on the International Space Station. It is foreseen that the device will be used together with appropriate stimulus generators as a general purpose facility for visual and vestibular experiments. Initial verification studies with an artificial eye demonstrate a measurement resolution of better than 0.1° in all three components (i.e., system noise for each of the components measured as 0.006° H, 0.005° V, and 0.016° T. Over a range of ±20° eye rotation, linearity was found to be <0.5% (H), <0.5% (V), and <2.0% (T). A comparison with the scierai search coil technique yieldednear equivalent values for the systemnoise and the thickness of Listing’s plane.     

Sexual Debut Ages in Heterosexual,Lesbian, Gay,and Bisexual Young Adults in Norway

This study estimates sexual debut ages in young heterosexual, lesbian, gay, and bisexual men and women in Norway. A questionnaire survey was completed online by 27.2 % of a representative national web sample of 2090 persons aged 18–29 years. Three self-selected samples of 924 respondents completed an extended version of the survey online. Lesbian and bisexual women reported earlier experience of orgasm through masturbation than heterosexual women (median 13.1 vs. 15.2 years), and heterosexual men (median 13.5) reported earlier debut than heterosexual women. There was a statistically significant difference between heterosexual and lesbian and bisexual women’s age at the first experience of receptive vaginal sex (median 16.8 vs. 15.4 years). As regards experience of insertive vaginal sex, a significantly higher percentage of heterosexual men than women, and of heterosexual and lesbian and bisexual women, reported experience. It was more common among lesbian and bisexual women than heterosexual women to have had oral sex with another woman, but in neither group did the cumulative percent reach 50 % by the age of 29 years and the median could not be estimated. Gay and bisexual men reported earlier receptive anal sex debut than heterosexual men. With regard to insertive anal sex, gay and bisexual men accumulated experience earlier than heterosexual men, and lesbian and bisexual women acquired this experience earlier than heterosexual women. Compared to heterosexuals, LGB persons of both genders engage in more varied sexual activities. Lesbian and gay persons have same-sex experiences at an earlier age than bisexuals.