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.

Biology tries to answer the central theoretical question of ethics, namely the question of the origins of the moral behaviour. Biologists formulated three different conceptions: classical etiology, sociobiology and cognitive etiology which tried to answer the problem. Classical etiology has been falsified by the progress made in biology in recent years. Sociobiology denies the altruistic behaviour among the animals and thus excludes the possibility of biological explanation of the origins of ethics. Cognitive etiology, on the contrary, points out some phenomena (...) which can serve as the testimony of the presence of the beginnings of the moral behaviour among the animals. (shrink)

The studies of health care systems are conducted intensively on various levels. They are important because the systems suffer from numerous pathologies. The health care is analyzed, first of all, in economic aspects but their functionality in the framework of systems theory is studied, as well. There are also attempts to work out some general values on which health care systems should be based. Nevertheless, the aforementioned studies, however, are fragmentary ones. In this paper holistic approach to the philosophical basis (...) of health care is presented. The levels on which the problem can be considered are specified explicitly and relations between them are analyzed, as well. The philosophical basis on which the national health care systems could be based is proposed. Personalism is the basis for the proposal. First of all, the values, that are derived from the personalistic philosophy, are specified as the basic ones for health care systems. Then, general organizational and functional properties of the system are derived from the assumed values. The possibility of adaptation of solutions from other fields of social experiences are also mentioned. The existing health care systems are analyzed within the frame of the introduced proposal. (shrink)

In this article, an analysis was made of what’s new in the debate on the condition of the contemporary political community brought up by the discussion about the relationship between care and justice. The author introduces the category of care in philosophy and its understanding and with particular emphasis on the views of Virginia Held. He analyzes the importance of a relationship of care as the foundation for the proper functioning of the socio-political community and criticism of the idea of (...) a social contract undertaken by representatives of the ethics of care. Critically, he presents the consequences of the assumptions of the civic community accepted by Held. (shrink)

entailment; families of sets; logic of questions.

National healthcare systems in all countries do not act effectively. Therefore, especially strategies for introducing organizational innovation to public organization should be considered. The problem is how to organize the research in this field. One of the generally accepted solutions is the systemic approach to healthcare systems. In this paper multiagent systems theory and autonomous systems theory are applied to the analysis of main types of healthcare systems. Such analysis allows us to consider the system properties: the level of the (...) autonomy, energy dissipation in the system, the payoff specificity, functional role of the agents in the system, the level of the agents’ cooperation, and delays in flows of money, requests, rules, and controls. As a result, some new functionalities of the healthcare system on the national level have been found and analysed. The aforementioned parameters are good tools to analyse the system functionality. (shrink)

This article defends the thesis that, in light of the postulates of liberal ethics, it is not possible to put forward universal arguments in support of any form of marriage. The existing forms of marriage should be either deemed unjust or founded on specific arguments recognized within a particular political community and determining the understanding of justice in a particular society. It defends the thesis that the requirement of universality, and consequently of impartiality, is not met, since behind every form (...) of marriage there is a certain “minimum” anthropological approach. Marriage is discussed as a privilege granted to particular groups by the political community. The comments are made with reference to the discussion between Krzysztof Saja and Tomasz Sieczkowski concerning the problem of discrimination against same-sex couples in Polish legislation. (shrink)

This is a summary of a talk delivered at the Winter School of Logic held in Rabka, 24.02 – 04.03.1986 by the Department of Logic of the Jagiellonian University. We wish to announce here several results on embeddability of quotient algebras of certain kind into algebras of some varieties related to the class of Heyting algebras. A “by product” is the deduction theorem for a large family of intermediate consequence operations.

The paper analyzed opinions, provoked or initiated by Mickiewicz’s thoughts, claimed by Russian thinkers: Vladimir Soloviev, Vladimir Herzen and others. Thethoughts concern mainly Slavophile messianism.

In this paper we study pseudo-BCH algebras which are semilattices or lattices with respect to the natural relations ≤; we call them pseudo-BCH join-semilattices, pseudo-BCH meet-semilattices and pseudo-BCH lattices, respectively. We prove that the class of all pseudo-BCH join-semilattices is a variety and show that it is weakly regular, arithmetical at 1, and congruence distributive. In addition, we obtain the systems of identities defininig pseudo-BCH meet-semilattices and pseudo-BCH lattices.

The paper presents political views of Roman Dmowski, an leader of integral nationalism in Poland. The author of the paper analyzes also contemporary interpretations of Dmowski’s ideas and their influence on nowadays held political ideas in Poland. Antiliberal, anti-democratic, one-sided trends in the current receptions of Dmowski’s ideas are stressed.

The article analyses Alain Badiou`s philosophy from the point of view of his relation to postmodernity. Alain Badiou is a political activist, mathematician, writer, playwright and literary critic. However, above all, he is a philosopher of the totality who attempts to give a thoroughgoing explanation of the world. This is the sense in which he is an anti-postmodernist. His whole philosophy is directed against sophistry. Badiou consistently builds his own system in order to oppose it to the philosophy of the (...) twentieth century. He does not engage in dogmatic criticism. He goes further and repeatedly finds inspiration in the postmodern thought. Although his philosophy is evidently opposed to it, his anti-postmodernity should be considered a synthetic attempt to exceed two competing traditions. (shrink)