Two notions of compactness in Gödel logics

Compactness is an important property of classical propositional logic. It can be defined in two equivalent ways. The first one states that simultaneous satisfiability of an infinite set of formulae is equivalent to the satisfiability of all its finite subsets. The second one states that if a set of formulae entails a formula, then there is a finite subset entailing this formula as well.In propositional many-valued logic, we have different degrees of satisfiability and different possible definitions of entailment, hence the questions of compactness is more complex. In this paper we will deal with compactness of Gödel, Gödel_Δ, and Gödel_～ logics.There are several results (all for the countable set of propositional variables) concerning the compactness (based on satisfiability) of these logic by Cintula and Navara, and the question of compactness (based on entailment) for Gödel logic was fully answered by Baaz and Zach (see papers [3] and [2]).In this paper we give a nearly complete answer to the problem of compactness based on both concepts for all three logics and for an arbitrary cardinality of the set of propositional variables. Finally, we show a tight correspondence between these two concepts     

William James, Mind-Cure, and the Religion of Healthy-Mindedness

At the turn of the twentieth century, the mind-cure movement emphasized the healing power of positive emotions and beliefs. William James defended mind-cure during the Massachusetts legislature's debates on licensing physicians in 1894 and 1898. In The Varieties of Religious Experience (1902) he used the movement's therapeutic claims to illustrate the typically American, practical turn of the religion of healthy-mindedness. Varieties sympathetically surveys mind-cure literature, but also criticizes healthy-minded religion for its limited range and refusal to confront tragedy and radical evil. Many of today's mind/body therapies continue the mind-cure tradition and retain the limitations that James noted.     

Formation of plate-shaped Guinier–Preston zones during natural aging of an Al–Zn–Mg–Cu–Zr Alloy

Plate-shaped Guinier–Preston (G–P) zone formation in an Al–Zn–Mg–Cu–Zr alloy has been studied using transmission electron microscopy. The results provide, for the first time, direct evidence showing nucleation and growth of plate-shaped coherent G–P zones during natural aging.     

Kant and German idealisms

This paper considers whether Hegel's master/slave dialectic in the Phenomenology of Spirit should be considered as a refutation of solipsism. It focuses on a recent and detailed attempt to argue for this sort of reading that has been proposed by Frederick Beiser – but it argues that this reading is unconvincing, both in the historical motivations given for it in the work of Jacobi and Fichte, and as an interpretation of the text itself. An alternative reading of the dialectic is proposed, where it is argued that the central problem Hegel is concerned with is not solipsism, but the sociality of freedom.     

Frank Weston,the Kikuyu Controversy,and the necessity of episcopacy

This article provides a historical and theological account of the controversy that erupted in 1913 when Frank Weston, Bishop of Zanzibar, appealed to the Archbishop of Canterbury, Randall Davidson, to try W.G. Peel, the Bishop of Mombasa, and J.J. Willis, the Bishop of Uganda, for ‘heresy and schism’ for their having participated in an interdenominational conference in Kikuyu in British East Africa. By agreeing to a Scheme of Federation with non-episcopal churches and holding a joint communion service at which non-conformists received communion from an Anglican Bishop, Peel and Willis had undermined the principle of episcopacy, thereby endangering the status of the Church of England as the English Section of the universal, Catholic Church. This article considers the theological arguments Weston advances for his condemnation of the Kikuyu Conference and examines his grounds for holding that episcopacy is an indispensable doctrine of the Christian faith.     

Evolution by Natural Selection: Darwin's Gift to Science and Religion

The argument-from-design, based on biological evidence, was elaborated by William Paley in his Natural Theology (1802). It was revived in the 1990s by several authors, with a new moniker, the theory of intelligent design. In The Origin of Species (1859), Darwin advanced a scientific explanation of the design of organisms: evolution by natural selection. Organisms are pervaded by imperfections, dysfunctions, cruelties, and even sadism. The theory of evolution accounts for these mishaps, by natural selection, so that they need not be attributed to God's explicit design. The theory of evolution by natural selection is Darwin's gift to religion, in addition to its centrality in biology.     

From Atheism to Theodicy to Intelligent Design: Responding to the Work of Francisco J. Ayala

This article responds to a few of the major themes found in the work of Francisco Ayala. The author praises Ayala for strongly challenging the assumptions of many contemporary atheists, like Richard Dawkins, who believe that the scientific method can be used in service of scientistic conclusions. The author then goes on to examine Ayala's understanding of the relationship between science and religion. Finally, the author asks critical questions about Ayala's contributions to the theodicy problem and the critique of Intelligent Design.     

Treadmill Gait Analysis Characterizes Gait Alterations in Parkinson's Disease and Amyotrophic Lateral Sclerosis Mouse Models

The effect of anxiety on learning and performance of a complex motor task was determined. In addition the effects of two stressors—competition and failure—and the interactions between these stressors and anxiety were investigated. 40 high and 40 low anxiety Ss (selected by the Taylor Manifest Anxiety Scale) learned and performed a coincident timing task. Competition was presented by offering the Ss a monetary reward for the best performance, while failure was manipulated by giving false knowledge of results and indicating that the performance level was inferior. Results showed that Ss low in anxiety performed significantly better than Ss high in anxiety during the initial learning of a complex motor task. No difference was found between Ss extreme in anxiety once the task was well-learned. Competition and failure did not affect performance or interact with the anxiety level of Ss.     

Secular and religious: the intrinsic doubleness of analytical psychology and the hegemony of naturalism in the social sciences

In recent years a number of prominent social theorists, including Jürgen Habermas and Charles Taylor, have voiced concern about the hegemony of naturalistic, secular assumptions in the social sciences, and in their different ways have sought to address this by establishing greater parity between secular and religious perspectives. This paper suggests that C.G. Jung's analytical psychology, which hitherto has been largely ignored by social theory, may have something to contribute on this issue as it can be understood coherently both empirically, without reference to transcendent reality, and metaphysically, with reference to transcendent reality. It is argued that, despite his denials of any metaphysical intent, Jung does in fact engage in metaphysics and that together the empirical and metaphysical vectors of his thought result in a rich and distinctive double perspective. This dual secular and religious perspective can be seen as part of Jung's own critique of the hegemony of naturalism and secularism, which for Jung has profound social as well as clinical relevance. The concern and approach that Habermas and Taylor share with Jung on this issue may provide some grounds for increased dialogue between analytical psychology and the social sciences.