Axiomatizing Relativistic Dynamics without Conservation Postulates

A part of relativistic dynamics is axiomatized by simple and purely geometrical axioms formulated within first-order logic. A geometrical proof of the formula connecting relativistic and rest masses of bodies is presented, leading up to a geometric explanation of Einstein’s famous E = mc ². The connection of our geometrical axioms and the usual axioms on the conservation of mass, momentum and four-momentum is also investigated.     

Products of Modal Logics. Part 3: Products of Modal and Temporal Logics

In this paper we improve the results of [2] by proving the product f.m.p. for the product of minimal n-modal and minimal n-temporal logic. For this case we modify the finite depth method introduced in [1]. The main result is applied to identify new fragments of classical first-order logic and of the equational theory of relation algebras, that are decidable and have the finite model property.     

Connection Tableau Calculi with Disjunctive Constraints

Automated theorem proving amounts to solving search problems in usually tremendous search spaces. A lot of research therefore focuses on search space reductions. Our approach reduces the search space which arises when using so-called connection tableau calculi for first-order automated theorem proving. It uses disjunctive constraints over first-order equations to compress certain parts of this search space. We present the basics of our constrained-connection-tableau calculi, a constraint extension of connection tableau calculi, and deal with the efficient handling of constraints during the search process. The new techniques are integrated into the automated connection tableau prover Setheo.     

不同框架下的视觉定位

本实验探讨了对置于正方形、等边三角形和圆中的刺激点所进行的１点定位、２点定位、３点定位,并比较了在定位有框架和定位无框架时的情况。结果发现：（１）在刺激呈现时间为１００ｍｓ和３００ｍｓ时．在３种定位任务中,当定位有框架时被试定位的绝对误差均小于定位无框架的。（２）在两种呈现时间下被试在３种定位任务中的绝对误差均处于同一水平,表现出现了视觉定位中的结构效应,并且几个不同的框架没有不同的作用。     

Responses

This essay consists in my replies to Professors John Martin Fischer, Patricia Greenspan, Eleonore Stump, Peter van Inwagen and Gary Watson regarding various aspects of my analysis of moral responsibility.     

Clustering in the output of behavior

Pigeons exposed to fixed-interval schedules of 3, 5, 15, 40, and 120 minutes all maintained considerable variability in daily response rates for as many as 104 sessions. However, variations did not occur at random. Instead, rate in a session appeared dependent on those occurring previously. The series displayed a wave-like form arising because a group of high rates was followed by a group of low rates and vice versa. These sequential relations produced a curve having irregular periodicity, sometimes superimposed on a declining or rising linear trend. Whether grouping of response rates stemmed from experimental or extra-experimental sources was not determined. If the phenomenon was either totally or partially produced by the schedule itself, it suggests that response rate is determined by a combination of positive and negative feedback. Control by factors extrinisic to the experiment itself implies that response rate may be influenced by some rhythmic physiological process.     

Berkeley on the Activity of Spirits

This paper propounds a new reading of Berkeley's account of the activity of finite spirits. Against existing interpretations, the paper argues that Berkeley does not hold that we causally contribute to the movement of our bodies. In contrast, our volitions to move our bodies are but occasions for God to cause their movement. In answer to the question of wherein then consists our activity, the paper proposes that our activity consists in the dual powers to produce (1) our volitions – the acts of willing – and (2) our ideas of imagination.     

A new experimental method to identify the process of logical reasoning

Abstract: A new method to identify the process of logical reasoning is presented. In spite of its indispensability and importance, we have had few methods to identify a subject's reasoning process, except that of using verbal protocol data. In this paper, for the purpose of objective identification of the reasoning process, we propose a new method to obtain the subject's reasoning process, in terms of a resolution tree for a task of which the logical structure can be written by first-order predicate logic. The results of an experiment using this method are presented. They revealed some interesting features of human reasoning such as, large differences between subjects, remarkable parallel processes, and the existence of subgoals for each subject.