Encoding Modal Logics in Logical Frameworks

We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deduction-style proof systems for representing both truth (local) and validity (global) consequence relations for various Modal Logics. We introduce several techniques for encoding the structural peculiarities of necessitation rules, in the typed -calculus metalanguage of the Logical Frameworks. These formalizations yield readily proof-editors for Modal Logics when implemented in Proof Development Environments, such as Coq or LEGO.     

Unintelligibility or Defeat: The Issue of Engagement in Philosophical Debates

A recognition of the acutely terministic and agonistic character of philosophizing has led to the perception of a dilemma in philosophical debates: differing positions are capable of being maintained only at the expense of mutual unintelligibility, and a real contact of minds could never be achieved without one side of the controversy abandoning its position and the enabling argumentative tension ceasing to exist. This perception is sustainable, however, only if we continue to accept the assumption that a direct, unmediated confrontation between disputants personifying two sets of rigidly defined terms is the mode of philosophical argumentation. A triadic rather than diadic conception of a typical debate between opposing schools of thought, which differentiates between the opponent and the audience, would address the theoretical misgivings caused by the perceived predicament.     

Bringing “The Dead” to Life: Reading James Joyce

The author offers a personal reading of James Joyce's The Dead. She focuses on how the sounds of the language are used to portray the main character's deadness and his beginning to come to life once the barriers to inner self and self-knowledge are broken.     

Ethical attentiveness

Kantian virtue can be construed as a condition of an agent which secures adherence to the requirements of morality in the face of the ever-present possibility of inner conflict with counter-ethical considerations. This paper claims that this conception of virtue does not fit in well with one essential characteristic of the virtuous agent; that he or she is attentive to the well-being of others. After some preliminary remarks about virtue-related evaluations, the paper criticises the Kantian conception of virtue in the light of certain characteristics of ethical attentiveness. The paper concludes by developing a notion of ethical habituation which includes the training of attention.     

Rereading sophistical arguments: A political intervention

This essay argues that Aristotle's categories of oratory are not as useful in judging the methods of Sophistical rhetoric as his presentation of time. The Sophistical argumentative method of making the weaker the stronger case is re-evaluated as a political practice. After showing this argument's relation to power and ideology, Aristotle's philosophy, which privileges a procedure of argument consistent with the politics of a polis-ideal rhetoric, is offered as reason for objecting to Sophistical rhetoric. The essay concludes that Sophistical rhetoric prefers the concept of possibility over Aristotelian actuality, and offers a need for an ideological space of radical, generative possibility in rhetorical theory.     

Online daters' reactions to sexually explicit initiation messages

This study used expectancy violations theory and uses and gratifications theory to conduct an experiment investigating how the content of relationship initiation messages, recipients' gender, and recipients' motives for using online dating applications shape whether and how the initiation message violates recipients' expectations. Participants (N = 275) were recruited through an emergent adult population at a large Midwestern university and identified primarily as women (66.7%), heterosexual (79%), and white (64.5%). Participants were randomly assigned to imagine matching with someone through online dating who sent either a traditional greeting or sexually explicit content in their initial message. As predicted, receiving a sexually explicit message was more unexpected and perceived more negatively than receiving an ordinary greeting, but the intensity of that negative reaction was moderated by users' motives for using online dating apps and gender. Negative reactions to receiving sexually explicit content were amplified for women and individuals interested in long-term relationships. Negative reactions were dampened for men and online daters interested in casual sexual relationships. The implications of the findings are discussed in relation to expectancy violations theory and research on relationship initiation in online contexts.     

标签位置和内容对女性网购影响的眼动研究

本研究参照广告效果评估的研究方法,考察标签位置（上,下）和标签内容（新款, 秒杀, 热销）对35名女性被试浏览网店服装图片过程中眼动特征以及主观购买意愿的影响。早期眼动指标（首次注视时间）和晚期眼动指标（注视时间比和注视次数比）均表明,标签位置受到标签内容的调节;晚期眼动指标（注视时间比和注视次数比）表明,标签内容也受到标签位置的调节。主观购买意愿表明,标签内容为新款和热销时,被试购买意愿显著高于秒杀情况。以上结果说明在浏览网店服装时,服装标签内容和标签位置共同调节女性被试对服装图片的加工过程,但调节方式在加工早期和加工晚期并不完全相同。     

认知诊断CAT中具有非统计约束选题方法的比较

项目曝光控制和内容约束关系到测验安全、测验的信度和效度, 是计算机化自适应测验(Computerized Adaptive Testing, CAT)中两类重要的非统计约束条件。本文在认知诊断CAT中针对内容约束和项目曝光控制要求, 运用5种方法选择测验项目。它们分别是：(1) Monte Carlo方法与项目合格方法相结合, 记为MC-IE; (2) Monte Carlo方法与最大优先指标方法相结合, 记为MC-MPI; (3) Monte Carlo方法与限制阈值方法相结合, 记为MC-RT; (4) Monte Carlo方法与限制进度指标方法相结合, 记为MC-RPG以及(5) Monte Carlo方法与最大后验概率方法相结合, 记为MC-PP。然后通过在线性、收敛、发散、无结构和独立五种属性结构下构建题库并运用重参化融融统和模型模拟被试反应比较它们的选题表现。研究发现, (1) 相同选题方法在不同属性结构下项目曝光率的分布类似, 测量精度按线性、收敛、发散、无结构和独立结构的顺序依次降低; (2) 相同属性结构下, 不同方法的测量精度高低依次为MC-PP、MC-IE、MC-RT、MC-MPI和MC-RPG方法; 项目曝光均匀性优劣依次为MC-RPG、MC-MPI、MC-RT、MC-IE和MC-PP方法。统一量纲值表明, MC-RPG方法的综合表现最好, MC-MPI方法的表现次之。     

顾客参与内容创造的个体心理和群体创造机制

顾客参与内容创造是顾客创造媒体(consumer-generated media, CGM)发展的基石, 对互联网企业和传统企业的发展影响巨大而深远。CGM研究刚刚起步, 顾客参与创造的研究有限, 而为数不多的群体创造多针对组织、团队, 针对顾客群体的甚少。针对蓬勃发展的CGM中顾客参与内容创造的个体研究和群体研究都很缺乏。研究试图在相关研究基础上, 从顾客视角, 使用动机理论、情绪理论、个体创造力和群体创造理论, 科学采用实验、社会网络分析和调查等多种方法, 并尝试采用心理学仪器(如近红外等)采集客观数据, 对CGM中顾客参与内容创造的个体心理反应、群体创造过程、群体创造方式和环境机制进行深入探索。预期成果将有助于互联网企业建立科学的用户参与网络机制以提高竞争力, 有助于传统企业更有效的利用顾客参与进行营销推广、促进销售并建立持久的顾客关系。     

小学生阅读迁移机制的初步研究--字词表征还是内容表征

探讨文章字词与内容在小学生篇章阅读迁移中的作用。结果发现,阅读水平和阅读条件均对阅读迁移效果有显著主效应。阅读水平低的被试的阅读准确性提高得更大;完全重复条件和词汇重复条件在阅读时间和准确性上都没有显著差异,完全重复条件下的阅读时间和准确性均比意义重复及无相关条件的阅读时间和准确性提高得更多;词汇重复条件下的阅读时间和准确性显著高于意义重复条件下的成绩;词汇相同的阅读准确性也显著高于无相关条件下的阅读准确性。据此,我们可以初步得出小学生的篇章阅读迁移主要依赖词汇表征,即词汇表征是小学生篇章阅读迁移的主要机制。