论证的形式模型概述及其在哲学上的应用

论证是一个用理由支持观点以及回应其所受攻击的过程.在过去的几十年里,论证已经成为哲学和人工智能研究领域中的一个重要主题.在哲学方面,十九世纪50年代和60年代图尔敏和佩雷尔曼对形式逻辑的批判,促进了非形式逻辑这一学科的产生,它研究推理和论证的非形式模型.在人工智能方面,论证的形式模型也发展成为常识推理和多主体冲突解决的基本模型.本文将讨论后一领域中所研究发展的形式模型如何能够用以澄清一些哲学领域、以及非形式逻辑领域中的理论问题和争议.本文的一个重要观点是,图尔敏和佩雷尔曼时代的形式逻辑只关注数学化的推理,但那些非数学化的推理形式其实同样也能够被形式化.     

Sand training: Exercise-induced muscle damage and inflammatory responses to matched-intensity exercise

This study compared markers of muscle damage and inflammation elevated by a matched-intensity interval running session on soft sand and grass surfaces. In a counterbalanced, repeated-measures and crossover design, 10 well-trained female athletes completed 2 interval-based running sessions 1 week apart on either a grass or a sand surface. Exercise heart rate (HR) was fixed at 83–88% of HR maximum. Venous blood samples were collected pre-, post- and 24?h post-exercise, and analysed for myoglobin (Mb) and C-reactive protein (CRP). Perceptual ratings of exertion (RPE) and muscle soreness (DOMS) were recorded immediately post- and 24?h post-exercise. A significant time effect showed that Mb increased from pre- to post-exercise on grass (p?=?.008) but not on sand (p?=?.611). Furthermore, there was a greater relative increase in Mb on grass compared with that on sand (p?=?.026). No differences in CRP were reported between surfaces (p?>?.05). The HR, RPE and DOMS scores were not significantly different between conditions (p > .05). These results suggest that in response to a matched-intensity exercise bout, markers of post-exercise muscle damage may be reduced by running on softer ground surfaces. Such training strategy may be used to minimize musculoskeletal strain while still incurring an equivalent cardiovascular training stimulus.