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 text considers the possibility of studying the Freudian psychoanalysis as a certain form of transcendentalism. In particular, it analyses the relation of Freud’sproposition concerning the strangeness within the subject—a strangeness called unconsciousness—to Kant’s claim about the necessity of the synthetic unity ofapperception. The study commences with Ricoeur’s reading of Freud’s teachings in order to demonstrate how, by introducing the language of transcendental philosophy into the reading of Freud’s works, Ricoeur omits the issue of the subjective conditions for the constitution (...) of any possible meaning. Next, searching for the possibility to formulate these conditions on the grounds of Freudian psychoanalysis, the text investigates relevant Heidegger’s reading of Kant. It finds in it the model justification for such understanding of the unity of “I think” which makes it, already at its core, conditioned by diversity identified with temporality. By attempting to grasp the contradiction between such a temporal condition for subjectivity and Freud’s postulate on the timeless nature of unconsciousness, the text applies Derrida’s criticism of the metaphysical conception of time, which is directed exactly at Heidegger’s metaphysics of Dasein. In consequence, it turns out that a profound justification seems to exist for the seemingly paradoxical Freudian statement about unconsciousness as linked with, on the one hand, the most primal intuitions still grounded in animism, and on the other, with a continuation of Kant’s teachings. (shrink)

Stosunek do Innego rzutuje i będzie rzutował na konkretne wybory i losy polskiego społeczeństwa.Podejmując dyskusję znanej uwagi J.T. Grossa, łączącej podejście do imigrantówz nieprzepracowanym problemem polskich „marginesów Zagłady”, autor próbuje umieścićją w kontekście kwestii upodmiotowienia Polaków jako zbiorowości. Stawia tezę, że historycznieuwarunkowana, słaba umiejętność zbiorowego podejmowania odpowiedzialności zatrudne sprawy w podobny sposób określa oba zagadnienia. Tak wzięcie odpowiedzialnościza przeszłość, jak podjęcie jej za teraźniejsze wybory, wymaga bowiem takiej zbiorowejumiejętności. Słabość w tej sferze ogranicza samą możliwość praktykowania zalecanej przezJacques’a Derridę „gość-inności”.

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.

The article presents a proposal of explanation what practical rationality is, how it works and what are its criteria. In order to define practical rationality, the author starts from the general characteristics of reason, and then in the realm or reason activity distinguishes practical rationality from theoretical rationality. The necessary conditions of practical rationality are presented, as well as its standing between freedom and values. Next, the sources and nature of practical reasons are characterized, as well as their relation to (...) values and desires. The problem of practical syllogism is briefly commented on. In the final part of the article the author proposes five criteria of practical rationality. (shrink)

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.