Resumen El objetivo del presente artículo es analizar en la historia del español dos tipos de fórmulas de saludo, entendidas como unidades discursivas propias del acto de habla expresivo que sirven para abrir el canal comunicativo de las relaciones sociales. A través de la búsqueda sistemática en textos del CORDE de hasta finales del siglo XIX, intentaremos hallar (i) los factores sociopragmáticos que desempeñan el papel más importante en cada tipo de saludo, (ii) el origen paradigmático de cada fórmula, (iii) (...) su distribución sociocultural y las preferencias discursivas e informativas, y (iv) su nivel de predominio en determinadas épocas. (shrink)

The changes brought about in Poland and elsewhere in Europe by the fall of Communism have given rise to hopes for the establishment of a political system differing from the one which had been the fate of these countries. In place of totalitarianism, a new political system is to be created based on the democratic principles of a state under the rule of law. The transformation from totalitarianism to democracy is a process which has not yet been completed in Poland (...) and still requires many efforts to be made before this goal may be achieved. One may also enumerate various pitfalls jeopardising this process even now. The dangers cannot be avoided if their sources and nature are not identified. Attempts to pervert the law and the political system may only be counteracted by legal means if the system based on the abuse of the law has not yet succeeded in establishing itself. Resistance by means of the law only has any real chance of success provided it is directed against attempts to set up a totalitarian system. Once the powers which are hostile to the state bound by the rule of law take over the institutions of the state, such resistance is doomed to failure. (shrink)

First-order logic is formalized by means of tools taken from the logic of questions. A calculus of questions which is a counterpart of the Pure Calculus of Quantifiers is presented. A direct proof of completeness of the calculus is given.

This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.

This paper develops a new proof method for two propositional paraconsistent logics: the propositional part of Batens' weak paraconsistent logic CLuN and Schütte's maximally paraconsistent logic Φv. Proofs are de.ned as certain sequences of questions. The method is grounded in Inferential Erotetic Logic.

The conflict between religion and science is considered from the point of view of a tension between two types of knowledge: religious and scientific. These are indicative of a fundamental conflict between two attitudes towards the world: looking at the world either from the point view of revelation or natural knowledge. I argue that religion and science can be seen as complementary, not threatening the views of each other. Science itself is neither theistic nor atheistic. It becomes such due to (...) ideological interpretation. Scientific propositions and theories neither directly support nor threaten religion; the problem of existence of God and the supernatural is beyond the capabilities of science. The argument for the neutrality of science can be grounded in the fact that both theism and atheism derive support from science. (shrink)

In this brief note we would like to outline the main events of life and the main achievements of Stanisław Jaśkowski one of the important Polish logician and mathematician of the first half of twentieth century.

Quality is usually considered to be an attribute of an object, its degree of excellence or, more subjectively, fitness for use. Stemming from this point of view, the goal of most ranking systems is to find efficient ways of discovering, or rather uncovering, the quality of specific products or services. However, from a social psychological perspective it seems that the notion of quality belongs predominantly to the realm of social relationships. We argue that quality exists mainly between the users of (...) an object, not within the object itself, and its functions are predominantly social, i.e. promoting interactions, creating a shared reality, or building social relationships. Quality is constructed in social interactions and used as a token therein. In the present paper we outline the social functions of quality, and discuss the implications of this perspective for designing more useful recommendation systems. (shrink)

In the present paper we concentrate on fundamental problems concerning ω-operations over partial enumerated sets. The notion of “HOM-lifts” seems to be an adequate tool for this kind of investigations. MSC: 03D45, 18A30.

This article is an attempt to both reconstruct and sort out the hermeneutics of upbuilding emerging from Kierkegaard’s discourses. This hermeneutics turns out to be a method of transferring the Christian ideal from the level of idea to the level of life within the larger Christian anthropological project that Kierkegaard’s discourses constitute. What is shown herein is that this general hermeneutics of upbuilding consists of three dialectical movements defining, respectively, the relation between: the discourse and the reader (the hermeneutic of (...) spiritual life), Scripture and the reader (the hermeneutic of content internalization) and the reader and the temporal world (the hermeneutic of repetition). At the center of Kierkegaard’s Christian anthropological project is the relation between Scripture and the reader, a relation to whose description three hermeneutic levels (presentation—understanding—appropriation) are introduced here. These levels are in line both with three movements of the upbuilding process (the terrifying—consolation—upbuilding), which one can identify on the basis of a reading of the discourses, and with three conditions that are, in the opinion of the Danish philosopher, required in order “to look at oneself with true blessing in the mirror of the word.”. (shrink)

We will present an elementary theory in which we can speak of mereological sets composed of distributive classes. Besides the concept of a distributive class and the membership relation , it will possess the notion of a mereological set and the relation of being a mereological part. In this theory we will interpret Morse’s elementary set theory (cf. Morse [11]). We will show that our theory has a model, if only Morse’s theory has one.

There are many religions in the human world, and people manifest their religiousness in many different ways. The main problem this paper addresses concerns the possibility of sorting out this complex world of human religiousness by showing that it can be phenomenologically reduced to a few very basic existential attitudes. These attitudes express the main types of ways in which a human being relates to his or herself and the world, independently of the worldview or religion professed by the individual. (...) I use Kierkegaard’s theories of the stages of existence and subjective truth as a model. The theory of the stages of existence provides five basic existential attitudes on the basis of which religious attitudes can develop: spiritlessness, the aesthetic, the ethical, religiousness A, and religiousness B. The theory of subjective truth shows how the concept of truth functions in an ethical and existential sense as the personal truth of an individual engaged in building their religious identity. In turn, I discuss the problem of the relation of Kierkegaard’s philosophy to phenomenology, briefly introduce his concept of subjective truth and the stages of existence, and show how existential attitudes can be transformed into religious ones. I also consider the problem of the demonic as the inverted order of this anthropological and existential model. Finally, I argue that the model developed herein may be useful for further research into the phenomenology of religious attitudes. (shrink)

Provability, Computability and Reflection.

The concepts of question evocation and erotetic implication play central role in Inferential Erotetic Logic. In this paper, deduction theorems for question evocation and erotetic implication are proven. Moreover, it is shown how question evocation by a finite non-empty set of declaratives can be reduced to question evocation by the empty set, and how erotetic implication based on a finite non-empty set of declaratives can be reduced to a relation between questions only.

The paper contains an exposition of some non standard approach to gentzenization of modal logics. The first section is devoted to short discussion of desirable properties of Gentzen systems and the short review of various sequential systems for modal logics. Two non standard, cut-free sequent systems are then presented, both based on the idea of using special modal sequents, in addition to usual ones. First of them, GSC I is well suited for nonsymmetric modal logics The second one, GSC II (...) is devised specially for symmetric, i.e. Blogics. GSC I and GSC II are not different formalizations, from the theoretical point of view GSC I may be seen as a simplification of the more general approach present in GSC II. They are considered separately, mainly because Blogics demand different, and more complicated, strategy in completeness proof, whereas non symmetric logics are easily and uniformly characterised by means of Fitting's Consistency Properties. The weakest modal logic captured by this formalization is minimal regular logic C, but many stronger logics are obtainable by addition of suitable structural rules, which conforms to Do en's methodology. Both variants of GSC satisfy also other, besides cut-freedom, desirable properties. (shrink)

We provide an application of a sequent calculus framework to the formalization of definite descriptions. It is a continuation of research undertaken in [20, 22]. In the present paper a so-called free description theory is examined in the context of different kinds of free logic, including systems applied in computer science and constructive mathematics for dealing with partial functions. It is shown that the same theory in different logics may be formalised by means of different rules and gives results of (...) varying strength. For all presented calculi a constructive cut elimination is provided. (shrink)