The Unity of a Tractarian Fact

It is not immediately clear from Wittgenstein’s Tractatus how to connect his idea there of an object with the logical ontologies of Frege and Russell. Toward clarification on this matter, this paper compares Russell’s and Wittgenstein’s versions of the thesis of an atomic fact that it is a complex composition. The claim arrived at is that whilst Russell (at times at least) has one particular of the elements of a fact – the relation – responsible for the unity of the whole, for Wittgenstein the unity of a fact is the product of copulative powers inherent in all its elements. All kinds of constituents of Tractarian facts – all kinds (forms) of object – are, to use Fregean terminology, unsaturated.     

The Logical Basis of the Tractarian Ontology

This paper focuses on the relation between logic and ontology. In particular, it demonstrates how classical logical theory can clarify the ontological part of Ludwig Wittgenstein’s Tractatus Logico-Philosophicus. To this end, the work examines the adequacy of a formal system that was devised by the Polish logician, mathematician and philosopher Roman Suszko (1919–1979) as a model for the Tractatus. Following a brief explanation of the Tractarian ontology, the main ideas of Suszko’s system and its philosophical significance will be considered. The latter will be illustrated in the context of central Tractarian concepts. Finally, two implications for a better understanding of the Tractarian ontology will be pointed out.

Tractarian objects and logical categories

It has been much debated whether Tractarian objects are what Russell would have called particulars or whether they include also properties and relations. This paper claims that the debate is misguided: there is no logical category such that Wittgenstein intended the reader of the Tractatus to understand his objects either as providing examples of or as not providing examples of that category. This is not to say that Wittgenstein set himself against the very idea of a logical category: quite the contrary. However, where Russell presents his logical variety of particulars and the various types of universal, and Frege presents his of objects and the various types of function, Wittgenstein denies the propriety of such a priori expositions. Wittgenstein envisages a variety of logical types of entity but insists that the nature of these types is something to be discovered only through analysis. This research was conducted whilst holding a Jacobsen Research Fellowship at the University of London.     

浅谈门诊手术中局部麻醉的彻底性

门诊手术没有麻醉师的介入,容易存在局部麻醉不彻底的情况。随着医学模式的转变,门诊手术中必须保证局部麻醉的彻底性。外科医师需要从人文关怀的角度出发,结合好几个具体环节,做到彻底的局部麻醉,才能赢得病人的终生信任。     

Metaphysical Nihilism and Cosmological Arguments: Some Tractarian Comments

Abstract: This paper explores the relevance of themes from Wittgenstein's Tractatus Logico‐Philosophicus to the ongoing discussion of metaphysical nihilism. I set out by showing how metaphysical nihilism is of paramount importance for cosmological arguments. Metaphysical nihilism is the position that there might have been nothing. Two conflicting intuitions emerge from a survey of discussions of metaphysical nihilism: Firstly, that metaphysical nihilism is true, and secondly, that formulations of the position are somehow unclear or nonsensical. By considering formalizations of philosophical language, the second intuition is sharpened, while the first intuition is given expression through the Tractarian distinction between what is said and what is shown by our symbolism. I conclude by exploring and rejecting objections to making metaphysical nihilism a scientific, rather than a philosophical question.     

Completeness and super-valuations

This paper uses the notion of Galois-connection to examine the relation between valuation-spaces and logics. Every valuation-space gives rise to a logic, and every logic gives rise to a valuation space, where the resulting pair of functions form a Galois-connection, and the composite functions are closure-operators. A valuation-space (resp., logic) is said to be complete precisely if it is Galois-closed. Two theorems are proven. A logic is complete if and only if it is reflexive and transitive. A valuation-space is complete if and only if it is closed under formation of super-valuations.     

二阶扩展逻辑的复杂性与表达能力

本文研究了在所有有穷结构上SO．HORN＊,SO—HORNτ和SO-HORNτ的表达能力。我们证明了SO-HORNτ,SO—HORN＊τ和FO（LFP）的表达能力是一致的,SO—HORN＊是SO-HORNτ的一个严格子逻辑。为了证明这一结果,我们提出了DATALOG＊程序,DATALOGτ程序以及它们的分层版本S-DATALOG＊程序利S-DATALOGτ程序。我们证明了在所有有穷结构上DATALOGτ和S-DATALOGτ是等价的,并且DATALOG。足DATALOGτ的一个严格子逻辑。最后我们还用两种方法证明了SO-HORN的一个扩展版本SO—EHORNτ逻辑可以在所有有穷结构有有结构上刻画co—NP。     

Expressive development and basic emotions

Abstract

One important emotion theory currently postulates an innate tie between specific infant facial expressions and a set of discrete basic emotions. The arguments and evidence relevant to this assertion are reviewed. New data are presented from a naturalistic study of one infant's early expressive development and a judgement study of infant facial, vocal, and body activity. These data challenge the innate tie hypothesis. Based on dynamical systems systems theory, an alternate conceptual framework is presented that may allow us to usefully retain the concept of basic emotions while accommodating the data on infant expressive development.     

Psychologism and Completeness in the Arts

When is an artwork complete? Most hold that the correct answer to this question is psychological in nature. A work is said to be complete just in case the artist regards it as complete or is appropriately disposed to act as if he or she did. Even though this view seems strongly supported by metaphysical, epistemological, and normative considerations, this article argues that such psychologism about completeness is mistaken, fundamentally, because it cannot make sense of the artist's own perspective on his or her work. For the artist, the question is not about his or her own psychology, but about the character of the work and the context in which he or she works. A nonpsychological account of completeness, on which completeness is a question of whether the work satisfies the conditions implicit in the artist's plan, avoids this problem and is equally or better able to explain the metaphysical, epistemic, and normative phenomena which appeared to support psychologism.     

Completeness of instruction and strategy transfer

Three experiments assessed the effects on strategy transfer of supplements to keyword method instruction. One supplement consisted of more comprehensive instructions regarding how, when, why, and where to apply the strategy. A second supplement involved additional practice with the strategy during instruction. The combined effects of more elaborate directions and practice were also examined. With grade-school children, the supplements generally increased transfer of the keyword strategy, but transfer was most successful when training included comprehensive information about the strategy. In contrast, with adults high transfer was obtained regardless of keyword instructional variation. The results are related to other developmental data and are particularly germane to claims that with more complete instruction younger children are capable of intellectual feats carried out by older individuals given minimal prompting.     

Expressive power, mood, and actuality

In Wehmeier (J Philos Log 33:607–630, 2004) we are presented with the subjunctive modal language, a way of dealing with the expressive inadequacy of modal logic by marking atomic predicates as being either in the subjunctive or indicative mood. Wehmeier claims that this language is expressively equivalent to the standard actuality language, and that despite this the marked-unmarked dichotomies are not the same in the two languages. In this paper we will attend to Wehmeier’s argument that this is the case, and show that this conclusion rests on what might be considered an uncharitable stipulation concerning what it is for a formula in the actuality language to be true in a model.     

Expressive Power and Incompleteness of Propositional Logics

Natural deduction systems were motivated by the desire to define the meaning of each connective by specifying how it is introduced and eliminated from inference. In one sense, this attempt fails, for it is well known that propositional logic rules (however formulated) underdetermine the classical truth tables. Natural deduction rules are too weak to enforce the intended readings of the connectives; they allow non-standard models. Two reactions to this phenomenon appear in the literature. One is to try to restore the standard readings, for example by adopting sequent rules with multiple conclusions. Another is to explore what readings the natural deduction rules do enforce. When the notion of a model of a rule is generalized, it is found that natural deduction rules express “intuitionistic” readings of their connectives. A third approach is presented here. The intuitionistic readings emerge when models of rules are defined globally, but the notion of a local model of a rule is also natural. Using this benchmark, natural deduction rules enforce exactly the classical readings of the connectives, while this is not true of axiomatic systems. This vindicates the historical motivation for natural deduction rules. One odd consequence of using the local model benchmark is that some systems of propositional logic are not complete for the semantics that their rules express. Parallels are drawn with incompleteness results in modal logic to help make sense of this.     

Maternal Expressive Style and Children's Emotional Development

Maternal expressive styles, based on a combination of positive and negative expressive patterns, were identified at two points in time and related to multiple aspects of preschool children's emotional development. Mother–child pairs from 260 families participated when the children were 3 years old, and 240 participated again at aged 4 years. Expressive styles were identified at age 3 using cluster analysis, replicated at age 4 and examined in relation to children's emotional understanding, expressiveness and regulation. Three expressive styles were identified: high positive/low negative, very low positive/average negative and average positive/very high negative. Cluster membership was stable in 63% of families from age 3 to 4 years; no systematic patterns of change were evident in the remaining families. Expressive style was related to aspects of children's emotional expression at 3 years and to emotion expression and regulation at 4 years. Children's expressiveness and regulation at age 3 were also related to changes in mothers' expressive styles over 1 year. Identifying mothers' expressive styles provides a unique way to understand the potential role of the emotional climates in which preschool‐aged children learn to express and regulate their own emotions. Copyright © 2011 John Wiley & Sons, Ltd.     

Importing Logics: Soundness and Completeness Preservation

Importing subsumes several asymmetric ways of combining logics, including modalization and temporalization. A calculus is provided for importing, inheriting the axioms and rules from the given logics and including additional rules for lifting derivations from the imported logic. The calculus is shown to be sound and concretely complete with respect to the semantics of importing as proposed in J. Rasga et al. (100(3):541–581, 2012) Studia Logica.     

Spirituality, Gender, and Expressive Selfhood

This article discusses contemporary spiritualities, focusing in particular on the recent growth of practices attending to "mind, body, and sprit" and centered on the goal of "holistic well-being." We argue that the growing popularity of such "holistic spirituality" since the 1980s can be greatly illuminated by reference to Charles Taylor's account of the expressive mode of modern selfhood. Taylor's account is limited, however, by its inability to explain why women are disproportionately active within the sphere of holistic spirituality. By paying closer attention to gender, we seek to refine Taylor's approach and to advance our understanding of contemporary spirituality. Drawing on findings from two qualitative studies of holistic spirituality and health carried out in the United Kingdom, this article offers an analysis of what the "subjective turn" may mean for women. We argue that holistic spiritualities align with traditional spheres and representations of femininity, while simultaneously supporting and encouraging a move away from selfless to expressive selfhood. By endorsing and sanctioning "living life for others" and "living life for oneself," holistic spiritualities offer a way of negotiating dilemmas of selfhood that face many women — and some men—in late modern contexts .