On Different Intuitionistic Calculi and Embeddings from Int to S4

In this paper, we compare several cut-free sequent systems for propositional intuitionistic logic Intwith respect to polynomial simulations. Such calculi can be divided into two classes, namely single-succedent calculi (like Gentzen's LJ) and multi-succedent calculi. We show that the latter allow for more compact proofs than the former. Moreover, for some classes of formulae, the same is true if proofs in single-succedent calculi are directed acyclic graphs (dags) instead of trees. Additionally, we investigate the effect of weakening rules on the structure and length of dag proofs.The second topic of this paper is the effect of different embeddings from Int to S4. We select two different embeddings from the literature and show that translated (propositional) intuitionistic formulae have sometimes exponentially shorter minimal proofs in a cut-free Gentzen system for S4than the original formula in a cut-free single-succedent Gentzen system for Int. Moreover, the length and the structure of proofs of translated formulae crucially depend on the chosen embedding.     

‚Was Ist Begründung?’ Schwierigkeiten durch den Primat der Pragmatik vor der Semantik am Beispiel des Erlanger/Konstanzer Konstruktivismus

‘What is justification?’-Constructivism of Erlangen/Constanceschool as an example for problems resulting from priority of pragmatics to semantics. - R. Brandom's ‘Making it explicit’ is an attempt to work out how semantics is rooted in pragmatics: meaning in use and conceptual content in social functional roles. A philosophy that also focuses on reconstructing those norms that are implicit in pragmatics and constitutive to semanticsis developed by Constructivism of Erlangen/Constance school. This enquiry tries to work out that a discussion of constructivism might be useful for a comprehension of Brandom's ‘theory of expression’, because both philosophical positions meet themselves in a pragmatic way of justification that makes it impossible to justify claims to all rational beings but only to members of those communities that share the same interests and institutions.     

音乐与语言的关系：来自句法、语义与音调节奏感知的神经活动证据

音乐和语言加工神经基础的关系研究,近年来发展迅速,获得了越来越多的关注。“共享结构整合资源假说”主张音乐的句法加工和语言的句法加工具有较大程度的神经资源的共享。在听觉语言实验中反映句法违例的ERP ELAN与音乐句法违例引发的ERAN极为相似,唯一的区别仅在于它们的分布有所不同——ERAN就像是一个两半球对称的ELAN。而且ERAN的引发不受是否接受过音乐训练这一因素的影响,虽然音乐人被试引发的ERAN波幅更大。一些研究发现音乐语义加工的神经基础为N400和N500。前者可以由音乐和语言两种刺激引发,后者只能由音乐意义的加工引发。然而,音乐的音调感知和语言的音调感知是否共享了神经资源,却还没有确定的结论。     

The association of personal semantic memory to identity representations: insight into higher-order networks of autobiographical contents

Identity representations are higher-order knowledge structures that organise autobiographical memories on the basis of personality and role-based themes of one’s self-concept. In two experiments, the extent to which different types of personal semantic content are reflected in these higher-order networks of memories was investigated. Healthy, young adult participants generated identity representations that varied in remoteness of formation and verbally reflected on these themes in an open-ended narrative task. The narrative responses were scored for retrieval of episodic, experience-near personal semantic and experience-far (i.e., abstract) personal semantic contents. Results revealed that to reflect on remotely formed identity representations, experience-far personal semantic contents were retrieved more than experience-near personal semantic contents. In contrast, to reflect on recently formed identity representations, experience-near personal semantic contents were retrieved more than experience-far personal semantic contents. Although episodic memory contents were retrieved less than both personal semantic content types to reflect on remotely formed identity representations, this content type was retrieved at a similar frequency as experience-far personal semantic content to reflect on recently formed identity representations. These findings indicate that the association of personal semantic content to identity representations is robust and related to time since acquisition of these knowledge structures.     

Semantics for Analytic Containment

In 1977, R. B. Angell presented a logic for analytic containment, a notion of relevant implication stronger than Anderson and Belnap's entailment. In this paper I provide for the first time the logic of first degree analytic containment, as presented in [2] and [3], with a semantical characterization—leaving higher degree systems for future investigations. The semantical framework I introduce for this purpose involves a special sort of truth-predicates, which apply to pairs of collections of formulas instead of individual formulas, and which behave in some respects like Gentzen's sequents. This semantics captures very general properties of the truth-functional connectives, and for that reason it may be used to model a vast range of logics. I briefly illustrate the point with classical consequence and Anderson and Belnap's tautological entailments.     

The Advantage of First Mention in Korean The Temporal Contributions of Syntactic,Semantic, and Pragmatic Factors

Using Korean, we investigated how syntactic, semantic, and pragmatic factors influence the representation of a sentence, in particular, the relative accessibility of different components of a sentence representation. In six experiments, participants performed a probe recognition task after reading each of a series of sentences. We manipulated the rate at which each word of the sentence was presented (250 ms and 500 ms) and the interval between the sentence-final word and the probe-recognition test word (immediate, 500 ms delay, and 1000 ms delay). We also manipulated the syntactic position (subject versus object), semantic role (agent versus patient), and order of mention (first-versus second-mentioned participant) of the probed item. Pragmatic factors (the order of mention) strongly influenced accessibility immediately and through the longest delay, whereas syntactic and semantic factors had little effect.     

Validity and Necessity

In this paper I argue against the commonly received view that Kripke’s formal Possible World Semantics (PWS) reflects the adoption of a metaphysical interpretation of the modal operators. I consider in detail Kripke’s three main innovations vis-à-vis Carnap’s PWS: a new view of the worlds, variable domains of quantification, and the adoption of a notion of universal validity. I argue that all these changes are driven by the natural technical development of the model theory and its related notion of validity: they are dictated by merely formal considerations, not interpretive concerns. I conclude that Kripke’s model theoretic semantics does not induce a metaphysical reading of necessity, and is formally adequate independently of the specific interpretation of the modal operators.