Self-concept clarity and religious orientations: prediction of purpose in life and self-esteem

The present study concerns the relationship between self-concept clarity, religiosity, and well-being, as well as the mediating influence of religiosity on the relationship between self-concept clarity and sense of meaning in life and self-esteem. Self-concept clarity was found to be a significant predictor of sense of meaning in life and self-esteem; intrinsic religious orientation was found to be a predictor of sense of meaning in life, while the quest religious orientation was a predictor for self-esteem. The cross-products of self-concept clarity and intrinsic religious orientation were found to be related to the sense of purpose in life, which would point to religiosity being a mediator of the relationship between self-concept clarity and sense of purpose in life. The cross-products of self-concept clarity and quest religious orientation were found to be a predictor of self-esteem, which indicates a mediating effect of this religious orientation in the relationship of self-concept clarity and self-esteem.     

Computable Isomorphisms of Boolean Algebras with Operators

In this paper we investigate computable isomorphisms of Boolean algebras with operators (BAOs). We prove that there are examples of polymodal Boolean algebras with finitely many computable isomorphism types. We provide an example of a polymodal BAO such that it has exactly one computable isomorphism type but whose expansions by a constant have more than one computable isomorphism type. We also prove a general result showing that BAOs are complete with respect to the degree spectra of structures, computable dimensions, expansions by constants, and the degree spectra of relations.     

A note on orthogonality of subspaces in Euclidean geometry

We show that Euclidean geometry in suitably high dimension can be expressed as a theory of orthogonality of subspaces with fixed dimensions and fixed dimension of their meet.     

Possibilities Without Possible Worlds/Histories

The paper puts forward a theory of historical modalities that is framed in terms of possible continuations rather than possible worlds or histories. The proposal is tested as a semantic theory for a language with historical modalities, tenses, and indexicals.     

Counterfactuals and Spatiotemporal Events

One of the basic assumptions of David Lewis's formal semantics of counterfactuals is that the crucial relation of comparative similarity between possible worlds is a linear ordering.Yet there are arguments that when we take into account relativistic features of space-time, this relationshould be only a partial ordering. The first part of the paper deals with the question of how to formulate appropriatetruth conditions for counterfactuals under the supposition of a partial ordering of possible worlds. Such truthconditions will be put forward, and it will be argued that they are more general than those proposed in recentliterature, because they turn out to be applicable also when the so-called Limit Assumption is not met. The secondpart analyzes two relativistically invariant ways of interpreting spatiotemporal counterfactuals with antecedentsreferring to free-chance point events. After briefly examining key differences between these two approaches,the issue of their extension for a broader class of antecedents will be addressed. Following the approach of Finkelstein (1999), who has proposed a specifically designed similarity relation between possible worlds, servingas a generalization tool in the case of one of the above intuitions, the possibility of a similar extension forthe second interpretation will be considered. The main result of the paper is the theorem to the effect that thegeneralization of the second intuition is impossible to obtain. More specifically, the theorem proved in the paperstates that there is no similarity relation which together with the Lewis-style truth conditions for counterfactualswould imply the second of the above interpretations as a special case. Some consequences of thistheorem for the applicability of the Lewis logic of counterfactuals to quantum phenomena will be briefly mentionedat the end of the paper.     

Semisimplicity,EDPC and Discriminator Varieties of Residuated Lattices

We prove that all semisimple varieties of FL _ew-algebras are discriminator varieties. A characterisation of discriminator and EDPC varieties of FL _ew-algebras follows. It matches exactly a natural classification of logics over FL _ew proposed by H. Ono.     

The role of religious and intellectual elements in overcoming Marxism in Poland

Born in 1948, professor of philosophy of science at the Pontifical Academy of Theology in Krakow, bishop of Tarnów; books and articles in Polish and English on the philosophy of science and the interaction of analytic and Christian philosophy.     

The logic of algebraic rules as a generalization of equational logic

In this paper we start an investigation of a logic called the logic of algebraic rules. The relation of derivability of this logic is defined on universal closures of special disjunctions of equations extending the relation of derivability of the usual equational logic. The paper contains some simple theorems and examples given in justification for the introduction of our logic. A number of open questions is posed.