Mary Nielsen

This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997. The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state of the art in the area.

Religion has a serious impact on our world. Most people in the world consider themselves to be religious or those to whom religion has a significant impact. It also helps to determine the type of culture that forms political and economic views. In an individual dimension, religion affects human communication. Although it can be viewed as a means by which society controls its members, it is more than just a social and managerial phenomenon. Religion is a human attempt to achieve spirituality. It is our attempt to gain and maintain the meaning of our destination in the world, which sometimes seems pointless.

I suggest a description of the theory that I find applicable to understanding self-knowledge. The theory of its own complexity focuses on the structure of individual thoughts about themselves. Own complexity concerns two features of a person's self-determination: the number of social roles that a person has, and the ability of a person to differentiate among these roles. For example, I would be considered a weak bearer of the idea of ​​my own complexity if I considered myself as the bearer of a relatively small number of roles and I would describe existing roles as similar to those that I carry out. I would have a greater degree of my own complexity if I looked at the number of roles I increased and made more distinctions between them.