A biographical note on Max Friedrich (1856-1887), Wundt's first PhD student in experimental psychology

This article unveils some previously unknown facts about the short life of Max Friedrich (1856-1887), the author in 1881 of the first PhD dissertation on experimental psychology, written under the supervision of Wilhelm Wundt: "On the Duration of Apperception for Simple and Complex Visual Stimuli." The article describes Friedrich's family background and life, professional career as a teacher, and works in psychology and mathematics.     

Gödelizing the Yablo Sequence

We investigate what happens when ‘truth’ is replaced with ‘provability’ in Yablo’s paradox. By diagonalization, appropriate sequences of sentences can be constructed. Such sequences contain no sentence decided by the background consistent and sufficiently strong arithmetical theory. If the provability predicate satisfies the derivability conditions, each such sentence is provably equivalent to the consistency statement and to the Gödel sentence. Thus each two such sentences are provably equivalent to each other. The same holds for the arithmetization of the existential Yablo paradox. We also look at a formulation which employs Rosser’s provability predicate.     

DEFLATIONISM,CONSERVATIVENESS AND MAXIMALITY

We discuss two desirable properties of deflationary truth theories: conservativeness and maximality. Joining them together, we obtain a notion of a maximal conservative truth theory – a theory which is conservative over its base, but can’t be enlarged any further without losing its conservative character. There are indeed such theories; we show however that none of them is axiomatizable, and moreover, that there will be in fact continuum many theories of this sort. It turns out in effect that the deflationist still needs some additional principles, which would permit him to construct his preferred theory of truth.     

Characteristics of Peer Review Reports: Editor-Suggested Versus Author-Suggested Reviewers

Science and Engineering Ethics - Peer review is widely recognized as a mechanism for quality control of academic content. This research article aims at comparing the review reports and decisions of...     

Coping of Judo Competitors in the Context of Gender,Age, Years of Practice and Skill Level

The purpose of this study is to determine the extent to which gender, age, skill level, and years of practice serve as predictors of coping styles in judo. Participants in the study consisted of 98 judo competitors (47 females and 51 males, aged 13–21 years). As a result of the agglomerative hierarchical cluster analysis four coping styles have been established for the Brief COPE inventory in approach–avoidance and cognitive–behavioral dimensions, with dominant approach coping style. The standard multiple regression analysis indicated that gender, age, and judo practice served as predictors for approach, avoidance, or behavioral coping styles.     

Deflationary Truth and Pathologies

By a classical result of Kotlarski, Krajewski and Lachlan, pathological satisfaction classes can be constructed for countable, recursively saturated models of Peano arithmetic. In this paper we consider the question of whether the pathology can be eliminated; we ask in effect what generalities involving the notion of truth can be obtained in a deflationary truth theory (a theory of truth which is conservative over its base). It is shown that the answer depends on the notion of pathology we adopt. It turns out in particular that a certain natural closure condition imposed on a satisfaction class—namely, closure of truth under sentential proofs—generates a nonconservative extension of a syntactic base theory (Peano arithmetic).     

Löb's Theorem in a Set Theoretical Setting

We present a semantic proof of Löb's theorem for theories T containing ZF. Without using the diagonalization lemma, we construct a sentence AUT _T, which says intuitively that the predicate autological with respect to T (i.e. applying to itself in every model of T) is itself autological with respect to T. In effect, the sentence AUT _T states I follow semantically from T. Then we show that this sentence indeed follows from T and therefore is true.