Ray on Tarski on Logical Consequence

In Logical consequence: A defense of Tarski (Journal of Philosophical Logic, vol. 25, 1996, pp. 617–677), Greg Ray defends Tarski"s account of logical consequence against the criticisms of John Etchemendy. While Ray"s defense of Tarski is largely successful, his attempt to give a general proof that Tarskian consequence preserves truth fails. Analysis of this failure shows that de facto truth preservation is a very weak criterion of adequacy for a theory of logical consequence and should be replaced by a stronger absence-of-counterexamples criterion. It is argued that the latter criterion reflects the modal character of our intuitive concept of logical consequence, and it is shown that Tarskian consequence can be proved to satisfy this criterion for certain choices of logical constants. Finally, an apparent inconsistency in Ray"s interpretation of Tarski"s position on the modal status of the consequence relation is noted.     

近现代中西医教育课程内容和教育形式的演变

近现代的中西医教育从课程内容和学位教育形式方面表现出完全不同的发展态势,主要原因是在中西医的学术内部.中医学理论属于哲学范畴,缺少自我更新的能力,只停留在形式上的表面进步.而西医学是以自然科学为基础,科技水平的进步也会带动其迅速发展.这就是当前中医教育面临的结症所在,需要中医人士潜心研究,为中医教育开辟新路.     

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.     

政府环境伦理责任论

作为一种特殊经济主体,政府承担着必不可少的环境伦理责任。政府的环境伦理责任是指政府在参与社会经济活动过程中应该为环境保护事业承担的道德责任,它主要是通过政府制定和推行环境政策、法规、规划、标准的情况得到体现的。为了有效地开展环境保护工作,我们应该实行“政府为主,市场为辅”的环保机制。     

Note on the Scope of Truth-functional Logic

A plausible and popular rule governing the scope of truth-functional logic is shown to be indequate. The argument appeals to the existence of truth-functional paraphrases which are logically independent of their natural language counterparts. A more adequate rule is proposed.     

帕金森病人的图形辨别障碍

对56名帕金森病人用视觉形状辨别测验(VFDT)进行了测查,44名年龄、文化水平与帕金森组相当的正常人作为对照组。结果发现帕金森病人对图形辨别有明显障碍。对帕金森病人在图形辨别障碍中的特点进行了分析,并对其可能机制进行了讨论。     

The effects of video feedback on running form

Correct running form is important for injury prevention; as such, correct form promotes continued engagement in running as a long-term form of exercise. Researchers have shown video feedback to be an effective strategy to improve athletic form for a variety of sports, but it has not been evaluated in any behavior analytic research as a method for improving running form. The purpose of this study is to evaluate the effectiveness of video feedback to improve running form for regular runners. During baseline, each participant was video recorded while running without any feedback (verbal or video). During intervention, the researcher recorded the participant, then showed them the video and provided feedback on correct or incorrect form, according to a 9-step task analysis. Results show that all three participants achieved 100% correct steps on the task analysis when video feedback was used to maintain their form during follow-up.     

Strategy choice for arithmetic verification: effects of numerical surface form

Canadian university students (n=48) solved simple addition problems in a true/false verification task with equations in digit format (3+4=8) or written English format (three+four=eight). Participants reported their solution strategy (e.g. retrieval or calculation) after each trial. Reported use of calculation strategies was much greater with word (41%) than digit stimuli (26%), and this difference was exaggerated for numerically larger problems. Word-format costs on reaction time (RT) were correspondingly greater for large than for small problems, but this Format×Size RT effect was bigger for true than for false equations. The results demonstrate that surface format affects central, rather than only peripheral, stages of cognitive arithmetic.