Scientific Discovery on Positive Data via Belief Revision

A model of inductive inquiry is defined within a first-order context. Intuitively, the model pictures inquiry as a game between Nature and a scientist. To begin the game, a nonlogical vocabulary is agreed upon by the two players along with a partition of a class of structures for that vocabulary. Next, Nature secretly chooses one structure (the real world) from some cell of the partition. She then presents the scientist with a sequence of atomic facts about the chosen structure. With each new datum the scientist announces a guess about the cell to which the chosen structure belongs. To succeed in his inquiry, the scientist's successive conjectures must be correct all but finitely often, that is, the conjectures must converge in the limit to the correct cell. A special kind of scientist selects his hypotheses on the basis of a belief revision operator. We show that reliance on belief revision allows scientists to solve a wide class of problems.     

Varieties of Monadic Heyting Algebras. Part III

This paper is the concluding part of [1] and [2], and it investigates the inner structure of the lattice (MHA) of all varieties of monadic Heyting algebras. For every n , we introduce and investigate varieties of depth n and cluster n, and present two partitions of (MHA), into varieties of depth n, and into varieties of cluster n. We pay a special attention to the lower part of (MHA) and investigate finite and critical varieties of monadic Heyting algebras in detail. In particular, we prove that there exist exactly thirteen critical varieties in (MHA) and that it is decidable whether a given variety of monadic Heyting algebras is finite or not. The representation of (MHA) is also given. All these provide us with a satisfactory insight into (MHA). Since (MHA) is dual to the lattice NExtMIPC of all normal extensions of the intuitionistic modal logic MIPC, we also obtain a clearer picture of the lattice structure of intuitionistic modal logics over MIPC.     

Posture recognition in Alzheimer's disease

BACKGROUND: Apraxia is neurologically induced deficit in the ability perform purposeful skilled movements. One of the most common forms is ideomotor apraxia (IMA) where spatial and temporal production errors are most prevalent. IMA can be associated Alzheimer's disease (AD), even early in its course, but is often not identified possibly because the evaluation of IMA by inexperienced judges using performance tests is unreliable. The purpose of this study, therefore, is to learn if the Postural Knowledge Test (PKT), a praxis discrimination test that assesses knowledge of transitive (PKT-T subtest) and intransitive (PKT-I subtest) postures and does not require extensive training, is as sensitive and specific as the praxis performance tests. METHODS: We studied 15 subjects with probable AD as well as 18 age-matched controls by having them perform transitive and intransitive gestures to command and imitation, as well as having them discriminate between correct and incorrect transitive and intransitive postures. RESULTS: Overall on all tests, the control subjects performed better than those with AD. In addition all subjects had more trouble with transitive than intransitive gestures. Using a stepwise discriminative analysis, 81.8% of the subjects could be classified according to Group (94.4% of Controls, 66.7% of AD subjects). In this analysis, the PKT-T (transitive posture subtest) was the only measure that contributed to the discrimination of subjects. CONCLUSION: We found that having subjects select the correct transitive hand postures in this "booklet test" was more sensitive than grading their praxis performances even when using judges with extensive training. This suggests that this discrimination test might be an excellent means for diagnosing and screening patients for AD. The reason why recognition of transitive postures is relatively more difficult for our AD subjects is not known. Two possibilities are that the representations for intransitive movements are stronger than those for transitive movements, and hence, more resistant to degradation, or that intransitive acts are stored in parts of the brain not affected by AD.     

Preembryo Personhood: An Assessment of the President’s Council Arguments

The President’s Council on Bioethics has addressed the moral status of human preembryos in its reports on stem cell research and human therapeutic cloning. Although the Council has been criticized for being hand-picked to favor the right-to-life viewpoint concerning human preembryos, it has embraced the idea that the right-to-life position should be defended in secular terms. This is an important feature of the Council’s work, and it demonstrates a recognition of the need for genuine engagement between opposing sides in the debate over stem cell research. To promote this engagement, the Council has stated in secular terms several arguments for the personhood of human preembryos. This essay presents and critiques those arguments, and it concludes that they are unsuccessful. If the best arguments in support of the personhood of human preembryos have been presented by the Council, then there are no reasonable secular arguments in support of that view.     

"It's magic!" The effects of presentation modality on children's event memory, suggestibility, and confidence judgments

The current study investigated the influence of presentation modality (live, video, and slide show) on children's memory, suggestibility, recognition, and metamemorial monitoring processes. A total of 270 children in three age groups (5- and 6-year-olds, 7- and 8-year-olds, and 9- and 10-year-olds) watched a magic show and were questioned about it 1 week later. The live show yielded more correct answers to nonleading questions, higher resistance to misleading questions, and better recognition memory than did the video condition, which in turn resulted in better performance than did the slide show. Although presentation modality raised the general level of memory performance, the effects were equally strong in all age groups and did not affect memory phenomena such as the size of the misinformation effect and confidence judgments.     

Inviting witnesses to speculate: effects of age and interaction on children's recall

Inviting speculation has been found to increase children's false recall. In this study, kindergartners and third graders saw a clown perform actions alone or in interaction with a child. Two weeks later, the speculation group recalled all actions and was asked to speculate on half the actions. The control group recalled all actions without speculating. Four weeks after the show, all children recalled all actions again. The speculation group gave more false answers to the speculated items than the control group. Surprisingly, older children tended to report as many if not more false responses than younger children, regardless of speculation. In the speculation group, there were fewer false answers for interactions than actions, but false answers did not differ across observation types in the control group. Finally, speculation did not affect free and cued recall differentially.     

Frege,Boolos, and Logical Objects

In this paper, the authors discuss Frege's theory of logical objects (extensions, numbers, truth-values) and the recent attempts to rehabilitate it. We show that the eta relation George Boolos deployed on Frege's behalf is similar, if not identical, to the encoding mode of predication that underlies the theory of abstract objects. Whereas Boolos accepted unrestricted Comprehension for Properties and used the eta relation to assert the existence of logical objects under certain highly restricted conditions, the theory of abstract objects uses unrestricted Comprehension for Logical Objects and banishes encoding (eta) formulas from Comprehension for Properties. The relative mathematical and philosophical strengths of the two theories are discussed. Along the way, new results in the theory of abstract objects are described, involving: (a) the theory of extensions, (b) the theory of directions and shapes, and (c) the theory of truth values.     

Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤ω

Quantified propositional intuitionistic logic is obtained from propositional intuitionistic logic by adding quantifiers p, p, where the propositional variables range over upward-closed subsets of the set of worlds in a Kripke structure. If the permitted accessibility relations are arbitrary partial orders, the resulting logic is known to be recursively isomorphic to full second-order logic (Kremer, 1997). It is shown that if the Kripke structures are restricted to trees of at height and width at most , the resulting logics are decidable. This provides a partial answer to a question by Kremer. The result also transfers to modal S4 and some Gödel–Dummett logics with quantifiers over propositions.     

A New Representation Theorem for Contranegative Deontic Logic

The logic of an ought operator O is contranegative with respect to an underlying preference relation if it satisfies the property Op & (¬p)(¬q) Oq. Here the condition that is interpolative ((p (pq) q) (q (pq) p)) is shown to be necessary and sufficient for all -contranegative preference relations to satisfy the plausible deontic postulates agglomeration (Op & OqO(p&q)) and disjunctive division (O(p&q) Op Oq).     

Past tense formation and comprehension of passive sentences in Parkinson's disease: evidence from Greek

The present study investigates the production of regular and irregular verbs in the past tense and the comprehension of passive sentences by Greek-speaking PD patients, and compares their behavior to that of normal speakers. Although the two groups manifest large scale differences at all the above constructions, the behavior of PDs is not different at regular vs. irregular past tense formation neither did we obtain strong evidence that they do not comprehend passives, most importantly, they certainly do not perform at chance. On the basis of the above, we conclude that there are no indications for a clearly linguistic deficit of the PD group, hence, their difference with the control group should be attributed to other factors, such as the computational demands of the tasks.