Naming and Diagonalization, from Cantor to Godel to Kleene

We trace self-reference phenomena to the possibility of namingfunctions by names that belong to the domain over which thefunctions are defined. A naming system is a structure of theform (D, type( ),{ }), where D is a non-empty set; for everya D, which is a name of a k-ary function, {a}: D^k D is thefunction named by a, and type(a) is the type of a, which tellsus if a is a name and, if it is, the arity of the named function.Under quite general conditions we get a fixed point theorem,whose special cases include the fixed point theorem underlyingGödel's proof, Kleene's recursion theorem and many othertheorems of this nature, including the solution to simultaneousfixed point equations. Partial functions are accommodated byincluding "undefined" values; we investigate different systemsarising out of different ways of dealing with them. Many-sortednaming systems are suggested as a natural approach to generalcomputatability with many data types over arbitrary structures.The first part of the paper is a historical reconstruction ofthe way Gödel probably derived his proof from Cantor'sdiagonalization, through the semantic version of Richard. Theincompleteness proof–including the fixed point construction–resultfrom a natural line of thought, thereby dispelling the appearanceof a "magic trick". The analysis goes on to show how Kleene'srecursion theorem is obtained along the same lines.     

Consequences of Ethical Relativism

The aim of this paper is to investigate the temporal content of perceptual experience. I argue for a view according to which we must recognize the existence of perceptions the content of which cannot be spelled out simply by looking at what is the case at an isolated instant. Acts of apprehension can cover a succession of events. Howev er, a subject who has such perceptions can still fall short of having a concept of time. I compare this with arguments which have been put forward to show that a subject who has spatial perceptions can fall short of having a concept of space. In both cases, it is the fact that perception is from a point of view which stands in the way of it constituting an exercise of a concept of how things are objectively. However, I also show that the way in which perception is perspectival takes a different form in each of the two cases.     

Reviews

A.W. Moore, Points of View
Monique Canto-Sperber, Jonathan Barnes, Luc Brisson, Jacques Brunschwig, and Gregory Vlastos, Philosophie grecque
Nancy Sherman, Making a Necessity of Virtue: Aristotle and Kant on Virtue
Robin Le Poidevin, Arguing for Atheism: An Introduction to the Philosophy of Religion
Paul Griffiths, What Emotions Really Are
Quassim Cassam, Self and World     

Rhetoric,reasonableness and ethics: An essay on Perelman

The article deals with an interpretation of the work of Ch. Perelman. The author tries to determine the meaning of reasonableness in a hermeneutical and anthropological perspective. He then places the work of Perelman in the light of the theory of symbolic interactionism of G.H. Mead.     

短时距估计中的标量特性

使用单任务研究程序,采用预期式研究范式和再现时距的研究方法,从心理物理学的视角,通过三个实验系统地考查了人类短时距估计的标量特性、变异源、时距估计中的转换点和韦伯函数的形态等问题。结果表明,刺激物的运动、变化、速度和物理时距是被试进行短时距估计的重要变异源;被试在实验中表现出高估较短时距和低估较长时距的倾向,时距估计的转换点为11.1s;计时过程中得到的韦伯函数是个分段连续函数, 韦伯函数的拐点有两个12s和21s,这两点与本研究得到的时距估计转换点具有部分一致性     

Danger and usefulness are detected early in auditory lexical processing: evidence from electroencephalography

Visual emotionally charged stimuli have been shown to elicit early electrophysiological responses (e.g., [Ihssen et al., 2007], [Schupp et al., 2003] and [Stolarova et al., 2006]). We presented isolated words to listeners, and observed, using generalized additive modeling, oscillations in the upper part of the delta range, the theta range (Bastiaansen & Hagoort, 2003), and the lower part of the alpha range related to degree of (rated) danger and usefulness (Wurm, 2007) starting around 150 ms and continuing to 350 ms post stimulus onset. A negative deflection in the oscillations tied to danger around 250-300 ms fits well with a similar negativity observed in the same time interval for visual emotion processing. Frequency and competitor effects emerged or reached maximal amplitude later, around or following the uniqueness point. The early effect of danger, long before the words’ uniqueness points, is interpreted as evidence for the dual pathway theory of LeDoux (1996).     

The Bottoming‐Out Experience and the Turning Point: A Phenomenology of the Cognitive Shift From Drinker to Nondrinker

The bottoming‐out experience (BOE) is commonly considered the catalyst to sobriety. A phenomenological study was conducted to gain an understanding about this occurrence for alcoholics. Results indicated two distinct experiences: the BOE and the turning point.     

Validating the Beck Depression Inventory-II in Indonesia's general population and coronary heart disease patients

This study assesses the validity and determines the cut-off point for the Beck Depression Inventory-II (the BDI-II) among Indonesians. The Indonesian version of the BDI-II (the Indo BDI-II) was administered to 720 healthy individuals from the general population, 215 Coronary Heart Disease (CHD) patients, and 102 depressed patients. Confirmatory factor analysis indicated factorial similarity across the three samples. Significant correlations between the Indo BDI-II and other self-report measures related to depression demonstrated construct validity of the Indo BDI-II. Furthermore, there was a highly significant difference in the Indo BDI-II scores between depressed patients and non-depressed participants. Internal consistency and re-test reliability of the Indo BDI-II were acceptable. The receiver operating characteristic (ROC) curve indicated that the cut-off point of the Indo BDI-II for a mild severity of depression in Indonesian population should be 17. We conclude that the Indo BDI-II is a valid measure of depression, both in the Indonesian general population and in CHD patients.     

Perceptual and response components in repetition priming of spoken words and pseudowords

Two experiments explored repetition priming effects for spoken words and pseudowords in order to investigate abstractionist and episodic accounts of spoken word recognition and repetition priming. In Experiment 1, lexical decisions were made on spoken words and pseudowords with half of the items presented twice (～12 intervening items). Half of all repetitions were spoken in a “different voice” from the first presentations. Experiment 2 used the same procedure but with stimuli embedded in noise to slow responses. Results showed greater priming for words than for pseudowords and no effect of voice change in both normal and effortful processing conditions. Additional analyses showed that for slower participants, priming is more equivalent for words and pseudowords, suggesting episodic stimulus–response associations that suppress familiarity-based mechanisms that ordinarily enhance word priming. By relating behavioural priming to the time-course of pseudoword identification we showed that under normal listening conditions (Experiment 1) priming reflects facilitation of both perceptual and decision components, whereas in effortful listening conditions (Experiment 2) priming effects primarily reflect enhanced decision/response generation processes. Both stimulus–response associations and enhanced processing of sensory input seem to be voice independent, providing novel evidence concerning the degree of perceptual abstraction in the recognition of spoken words and pseudowords.     

Locating Potential Leverage Points In A Systems Thinking Causal Loop Diagram Toward Policy Intervention

Outcomes depending on various interacting and adaptive parts and actors in a volatile, uncertain, complex, and ambiguous (VUCA) world are challenging to analyze using traditional thinking. Hence, Systems Thinking (ST) can be applied as a tool to aid policy makers in designing interventions that anticipates various ways in which a system might react to policy changes through the practice of integrating multiple perspectives into a causal loop diagram (CLD). We formalize criteria for identifying potential leverage points (PLP) in a CLD. Identifying PLPs enable policy makers to apply ST tools to devise strategies that are capable of addressing VUCA problems.