Remarks on the development of computability

The purpose of this article is to examine aspects of the development of the concept and theory of computability through the theory of recursive functions. Following a brief introduction, Section 2 is devoted to the presuppositions of computability. It focuses on certain concepts, beliefs and theorems necessary for a general property of computability to be formulated and developed into a mathematical theory. The following two sections concern situations in which the presuppositions were realized and the theory of computability was developed. It is suggested in Section 3 that a central item was the problem of generalizing Gödel's incompleteness theorem. It is shown that this involved both the characterization of recursiveness and the attempt to clarify and formulate the notion of an effective process as it relates to the syntax of deductive systems. Section 4 concerns the decision problems which grew from the Hilbert program. Section 5 is devoted to the development of an informal' technique in the theory of computability often called ‘argument by Church's thesis’.     

Mental models and temporal reasoning

We report five experiments investigating reasoning based on temporal relations, such as: “John takes a shower before he drinks coffee”. How individuals make temporal inferences has not been studied hitherto, but we conjectured that they construct mental models of events, and we developed a computer program that reasons in this way.As the program shows, a problem of the form:

1. a before b

2. b before c

3. d while b

4. e while c

What is the relation between d and e?

where a, b, c, etc. refer to everyday events, calls for just one model, whereas a problem in which the second premise is modified to c before b calls for multiple models because a may occur before c, after c, or at the same time as c.

Experiments 1–3 showed that problems requiring one mental model elicited more correct responses than problems requiring multiple models, which in turn elicited more correct answers than multiple model problems with no valid answers. Experiment 4 contrasted the predictions of the model theory with those based on formal rules of inference; its results corroborated the model theory. Experiment 5 confirmed that a premise leading to multiple models took longer to read than the corresponding premise in one-model problems, and that latency to respond correctly was greater for multiple-model problems than for one-model problems. We conclude that the experiments corroborate the mental model theory.     

The schematic representation of effector function underlying perceptual-motor skill

Conceptual and methodological problems related to Schmidt' (1975) motor schema theory are discussed. In particular, the motor schema is interpreted as representing the dynamics of the system being controlled, which may or may not be associated with a referent movement pattern. Furthermore, it is suggested that prior familiarity with a control system's dynamics is a critical but uncontrolled factor in tests of the theory, and largely accounts for their equivocal findings. These ideas are examined by two experiments in which subjects had to bimanually control the movement of a computer-displayed cursor along a track on a CRT screen. Different track orientations required different patterns of movement not entailing a single generalized motor program. Experiment 1 shows that variable track performance with a given control system, results in better transfer to novel tracks than does fixed practice. Experiment 2 demonstrates that altering the control system disrupts performance whether or not the required movements remain the same. These results indicate the need for a fundamental modification of schema theory, such that a schematic representation of effector-environment relations (effector function) is available independently of particular movement patterns used in its acquisition.     

Using logic programming for theory representation and scientific inference

The aim of this paper is to show that logic programming is a powerful tool for representing scientific theories and for scientific inference. In a logic program it is possible to encode the qualitative and quantitative components of a theory in first order predicate logic, which is a highly expressive formal language. A theory program can then be handed to an algorithm that reasons about the theory. We discuss the advantages of logic programming with regard to building formal theories and present a novel software package for scientific inference: Theory Toolbox. Theory Toolbox can derive any conclusions that are entailed by a theory, explain why a certain conclusion follows from a theory, and evaluate a theory with regard to its internal coherence and generalizability. Because logic is, or should be, a cornerstone of scientific practice, we believe that our paper can make an important contribution to scientific psychology.     

The Schematic Representation of Effector Function Underlying Perceptual-Motor Skill

Conceptual and methodological problems related to Schmidt’s (1975) motor schema theory are discussed. In particular, the motor schema is interpreted as representing the dynamics of the system being controlled, which may or may not be associated with a referent movement pattern. Furthermore, it is suggested that prior familiarity with a control system’s dynamics is a critical but uncontrolled factor in tests of the theory, and largely accounts for their equivocal findings. These ideas are examined by two experiments in which subjects had to bimanually control the movement of a computer-displayed cursor along a track on a CRT screen. Different track orientations required different patterns of movement not entailing a single generalized motor program. Experiment 1 shows that variable track performance with a given control system, results in better transfer to novel tracks than does fixed practice. Experiment 2 demonstrates that altering the control system disrupts performance whether or not the required movements remain the same. These results indicate the need for a fundamental modification of schema theory, such that a schematic representation of effector-environment relations (effector function) is available independently of particular movement patterns used in its acquisition.     

中文版无手机恐惧量表的修订

该研究以国外学者Caglar Yildirim和Ana-Paula Correia于2015年编制的Nomophobia量表为基础,修订出了适用于国内的中文版无手机恐惧量表。研究首先使用探索性结构方程模型对量表结构进行初探; 其次使用项目反应模型进行项目分析并根据其分析结果对项目进行修改和筛选,最终形成正式版量表; 最后对正式版量表其进行信效度检验,并再次对量表题目进行项目分析。最终量表共16道题目,包括害怕无法获得信息、害怕失去便利、害怕失去联系和害怕失去网络连接4个维度; 总量表的Cronbach α系数为0.931,四维度的α系数分别为:0.789,0.816,0.887和0.896。CFA验证性结果显示量表结构较好(χ2/df=3.91,RMSEA=0.067,TLI=0.941,CFI=0.952,SRMR=0.04); 使用手机成瘾倾向量表作为校标的结果显示二者之间相关为0.626,效度良好。最终量表项目区分度在[1.734,4.806]之间,四维度区分度均值为2.1765,2.72,3.2925和3.883,项目难度参数在[-1.830,4.806]之间。综上结果显示该研究编制的无手机恐惧量表各项指标均达到了心理测量学要求,可供后续研究使用     

Enhancing Social Responsibility and Prosocial Leadership to Prevent Aggression,Peer Victimization,and Emotional Problems in Elementary School Children

Testing the theories that form the basis of prevention programs can enhance our understanding of behavioral change and inform the development, coordination, and adaptation of prevention programs. However, theories of change showing the linkages from intervention program components to risk or protective factors to desired outcomes across time are rarely specified or tested. In this 2‐year longitudinal study, we test the theory that increases in two protective factors (i.e., children's prosocial leadership and their teachers’ expectations of social responsibility) targeted by the WITS Programs (Walk Away, Ignore, Talk it Out, and Seek Help) would be associated with declines in peer victimization, aggression, and emotional problems. Participants included Canadian students, in grades 1–4 at baseline (n = 1329) and their parents and teachers. Consistent with our theory of change, variability in program implementation (adherence and integration) and in children's use of program skills (child responsiveness) are related to increases in both protective factors. Increases in these protective factors are associated with subsequent declines in children's aggression, victimization, and emotional problems. We discuss how enhancement of these protective factors may operate to improve child outcomes and the need for theory‐based research to refine and improve the effectiveness of intervention strategies and to improve program scale‐up.     

The adolescent with a learning disability: a developmental perspective

The psychosocial difficulties that usually accompany learning disabilities are examined from a framework of developmental theory, particularly that of Erik Erikson. The implications of this perspective for treatment of adolescents with learning problems is discussed, and a specific program described.     

The Role of Bodily Perception in Emotion: In Defense of an Impure Somatic Theory

In this paper, we develop an impure somatic theory of emotion, according to which emotions are constituted by the integration of bodily perceptions with representations of external objects, events, or states of affairs. We put forward our theory by contrasting it with Prinz's (2004) pure somatic theory, according to which emotions are entirely constituted by bodily perceptions. After illustrating Prinz's theory and discussing the evidence in its favor, we show that it is beset by serious problems—i.e., it gets the neural correlates of emotion wrong, it isn't able to distinguish emotions from bodily perceptions that aren't emotions, it cannot account for emotions being directed towards particular objects, and it mischaracterizes emotion phenomenology. We argue that our theory accounts for the empirical evidence considered by Prinz and solves the problems faced by his theory. In particular, we maintain that our theory gives a unified and principled account of the relation between emotions and bodily perceptions, the intentionality of emotions, and emotion phenomenology.     

Maternal insightfulness and preschoolers' emotion and behavior problems: Reciprocal influences in a therapeutic preschool program

Mothers' insightfulness, which involves understanding the motives underlying the child's behavior in a complete, open, and accepting way, was examined both at the beginning and at the end of a therapeutic preschool program for preschoolers using the Insightfulness Assessment (Oppenheim & Koren‐Karie, 2002). The goal of the study was to examine the links between improvement in mothers' insightfulness and reduction in children's behavior problems. Thirty‐two children referred to a therapeutic preschool program for a range of behavioral and emotional problems and their mothers participated in the study. Results showed that mothers who shifted from noninsightfulness before treatment to insightfulness after treatment had children whose behavior problems decreased whereas mothers who did not make such gains had children whose behavior problems increased. The social skills of all children improved during treatment. The possible mechanisms linking the gains of mothers and children are discussed within the framework of attachment theory.     

A response to the critique of rational choice theory: Lakatos' and Laudan's conceptions applied

This paper analyzes the main features of rational choice theory and evaluates it with respect to the conceptions of Lakatos' research program and Laudan's research tradition. The analysis reveals that the thin rationality assumption, the axiomatic method and the reduction to the micro level are the only features shared by all rational choice models. On these grounds, it is argued that rational choice theory cannot be characterized as a research program. This is due to the fact that the thin rationality assumption cannot be understood as a hard core in Lakatos' terms. It is argued that Laudan's conception of a research tradition better characterizes rational choice theory. On the basis of this conclusion, certain important criticisms of rational choice theory are answered. First, the criticisms concerning the core assumptions of rational choice theory are countered. It is argued that this critique is based on a misunderstanding of rational choice theory as a unified set of models, such as Lakatos' research program. Second, Green and Shapiro's rational choice ‘pathologies’ – inconsistent predictions, post hoc theory development and arbitrary domain restrictions – are evaluated. Contrary to Green and Shapiro, it is argued that post hoc theory development is a more preferable strategy for developing RCT than domain restrictions based on ex ante rules.     

Standing in the Last Ditch: On the Communicative Intentions of Fiction Makers

Some of us have suggested that what fiction makers do is offer us things to imagine, that this is what is distinctive of fiction and what distinguishes it from narrative‐based but assertive activities such as journalism or history. Some of us hold, further, that it is the maker's intention which confers fictional status. Many, I think, feel the intuitive appeal of this idea at the same time as they sense looming problems for any proposal about fiction's nature based straightforwardly on the identification of fiction with the to‐be‐imagined. I formulate a very weak version of the proposal which is not vulnerable to some objections recently presented. My formulation is in terms of supervenience. But while this version is weak, it is also quite precise, and its precision brings into view certain other problems which have not so far been attended to. To the extent that these problems are serious, the prospects for an intentional theory of fiction look, I am sorry to say, poor; the version susceptible to the objections is weak, and anything weaker still but not so susceptible could hardly be thought of as a theory of fiction, though it might supplement such a theory.     

自闭症儿童是心灵盲吗?——Gallagher的互动理论述评

在自闭症研究领域占主导地位的心灵盲理论是建立在心灵主义假设和普遍性假设基础上的。这两个假设将他人的心理视为封闭的、隐藏在行为后面的,且我们主要使用读心的方式理解他人。互动理论拒绝这两个基本假设,并整合来自发展心理学和现象学的研究证据将人类社会互动的形式划分为三个层次:原初交互主体性、次级交互主体性与叙事能力。在个体发生学层面上三者前后相继,在成熟个体的社会互动层面上,三者互为补益,但基于感觉-运动的直觉式社会互动是理解他人心理的主要方式。自闭症儿童在原初与次级交互主体性上存在障碍。目前,互动理论既面临诸多挑战,也具有较大的发展与完善空间。     

Problem solving in semantically rich domains: An example from engineering thermodynamics

Recent research on human problem solving has largely focused on laboratory tasks that do not demand from the subject much prior, task-related information. This study seeks to extend the theory of human problem solving to semantically richer domains that are characteristic of professional problem solving. We discuss the behavior of a single subject solving problems in chemical engineering thermodynamics. We use as a protocol-encoding device a computer program called SAPA which also doubles as a theory of the subject's problem-solving behavior. The subject made extensive use of means-ends analysis, similar to that observed in semantically less rich domains, supplemented by recognition mechanisms for accessing information in semantic memory.     

A FORMAL CONSTRUCTION OF THE SPACETIME MANIFOLD

The spacetime manifold, the stage on which physics is played, is constructed ab initio in a formal program that resembles the logicist reconstruction of mathematics. Zermelo’s set theory extended by urelemente serves as a framework, to which physically interpretable proper axioms are added. From this basis, a topology and subsequently a Hausdorff manifold are readily constructed which bear the properties of the known spacetime manifold. The present approach takes worldlines rather than spacetime points to be primitive, having them represented by urelemente. Thereby it is demonstrated that an important part of physics is formally reducible to set theory.     

Non-dominance,third person and non-action Newcomb problems,and metatickles

It is plausible that Newcomb problems in which causal maximizers and evidential maximizers would do different things would not be possible for ideal maximizers who are attentive to metatickles. An objection to Eells's first argument for this makes welcome a second. Against it I argue that even ideal evidential and causal maximizers would do different things in some non-dominance Newcomb problems; and that they would hope for different things in some third-person and non-action problems, which is relevant if a good theory of rational choices of acts should fit smoothly into a good theory of rational desires for facts.This paper elaborates on Section V of Sobel. forthcoming.     

Theories of Practical Reason

Leading theories of practical reason can be grouped into one of four families: psychologism, realism, compatibilism, and Aristotelianism. Although there are many differences among the theories within each family, I ignore these in order to ask which family is most likely to deliver a satisfactory philosophical account of reasons for action. I articulate three requirements we should expect any adequate theory of practical reason to meet: it should account for (1) how reasons explain action, (2) how reasons justify action, and (3) how an agent can act for the reason that justifies her action. Only the Aristotelian theory, however, can meet all three requirements. It avoids the problems that plague the other theories by grounding reasons neither in psychological states nor in facts totally independent of the agent in question, but in the nature of the kind of creature the agent is. Our explanations of action need descend to the biographical only when explaining why a human being does not act in ways characteristic of her kind. The Aristotelian view of practical reason, then, appears to be the most promising program for future work.     

The Salience of Moral Character

In this essay I review an underappreciated strand of thought according to which the best Kantian moral theory has less in common with paradigmatically deontological theories and more in common with virtue theories than is standardly maintained. I then argue this program should be continued further, to provide not only a virtue‐based account of moral judgment but also a virtue‐based account of moral worth. I make a case that this fusion of Kantian theory with virtue theory provides the best account of moral rules, and I close by suggesting that it generates a promising new understanding of moral rights.     

Idealizing Reduction: The Microfoundations of Macroeconomics

The dominant view among macroeconomists is that macroeconomics reduces to microeconomics, both in the sense that all macroeconomic phenomena arise out of microeconomic phenomena and in the sense that macroeconomic theory—to the extent that it is correct—can be derived from microeconomic theory. More than that, the dominant view believes that macroeconomics should in practice use the reduced microeconomic theory: this is the program of microfoundations for macroeconomics to which the vast majority of macroeconomists adhere. The “microfoundational” models that they actually employ are, however, characterized by another feature: they are highly idealized, even when they are applied as direct characterizations of actual data, which itself consists of macroeconomic aggregates. This paper explores the interrelationship between reductionism and idealization in the microfoundational program and the role of idealization in empirical modeling.