In several applications of sequent calculi going beyond pure logic, an introduction of suitably defined rules seems to be more profitable than addition of extra axiomatic sequents. A program of formalization of mathematical theories via rules of special sort was developed successfully by Negri and von Plato. In this paper a general theorem on possible ways of transforming axiomatic sequents into rules in sequent calculi is proved. We discuss its possible applications and provide some case studies for illustration.

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)

Advanced Virgo detector joined advanced LIGO twin detectors on 1st August 2017 in the quest to look for the gravitational waves. The global network of three detectors was operational for 25 days until the LIGO shut down on 25th August 2017. Two gravitational wave events were registered during this period. One of them was the binary black hole merger dubbed as GW170814 and other one is binary neutron star merger referred to as GW170817. Electromagnetic counterpart associated with binary neutron star (...) merger was promptly identified which marks the beginning of multi-messenger astronomy. This article describes these events emphasizing on the crucial role played by the Virgo and focusing on some methodological issues. (shrink)

Głównym przedmiotem badań jest sens nadawany idei sprawiedliwości społecznej w katolickiej nauce społecznej. Równie ważną kwestię stanowi to, jaki wpływ wywiera jej rozumienie na koncepcję wspólnoty politycznej. Doktryna katolicka została w tej dziedzinie zestawiona z, jedynie szkicowo zarysowanymi, rozstrzygnięciami w innych tradycjach refleksji społecznej. Punktem odniesienia były propozycje zawarte w myśli liberalnej i lewicowej. Z racji rozległości tematyki konieczne stało się ograniczenie do prezentacji jedynie wybranych wątków tego zagadnienia.

Ein Grundbedürfnis der Menschheitsgeschichte ist die Suche nach gemeinsamen ethischen Massstäben. Das Naturrecht hat sich besonders in der christlichen Interpretation zu einem universalen "Wegweiser" in der abendländischen Geistesgeschichte herausgestellt. Es bietet allgemein gültige Handlungsorientierungen. Die gegenwärtige Pluralisierung durch verschiedene normative anthropologische Entwürfe bewirkt eine allgemeine Verunsicherung. Diese globalen Entwicklungen sind der Anlass, das Naturrecht neu zur Geltung zu bringen, um den heutigen ethischen Herausforderungen gerecht zu werden.

We classify ultrafilters on ω with respect to sequential contours (see [4].[5]) of different ranks. In this way we obtain an ω1 sequence {Pα}1≤α≤ω1 of disjoint classes. We prove that non-emptiness of Pα for successor α ≥ 2 is equivalent to the existence of P-point. We investigate relations between P-hierarchy and ordinal ultrafilters (introduced by J. E. Baumgartner in [1]), we prove that it is relatively consistent with ZFC that the successor classes (for α ≥ 2) of P-hierarchy and ordinal (...) ultrafilters intersect but are not the same. (shrink)

Artykuł przedstawia koncepcję tzw. srebrnej gospodarki jako systemu gospodarczego związanego ze starzeniem się populacji, którego rozwój ma cechy idei polityki publicznej. Opracowanie w pierwszej kolejności przybliża dyskurs i etapy procesu konstruowania tego systemu przez międzynarodowych i krajowych aktorów polityki publicznej wobec starzenia się ludności. Następnie przeprowadzono krytyczną analizę wymiarów i obszarów wdrażania i rozwoju koncepcji srebrnej gospodarki oraz przegląd jej zewnętrznych i wewnętrznych ograniczeń. Podsumowanie zawiera propozycje dalszych kierunków badań.

The objective of the paper is a presentation and an interpretation of Władysław Stróżewski’s views on aesthetics. Built upon the foundation provided by classical metaphysics, Stróżewski’s aesthetics is simultaneously a continuation of the tradition of phenomenological interpretation of art. Stróżewski extends Roman Ingarden’s aesthetic theory by including the idea of numinous concretion, largely inspired by the works of Rudolf Otto. As a result, this new phenomenological perspective transcends the narrowly understood ‘aesthetics’ of the work of art towards the inherent dimension (...) of the sacred. Moreover, Stróżewski’s scrutiny of the aspect of art that goes beyond the aesthetic reveals an important relationship obtaining between his insights and the theological aesthetics of Hans Urs von Balthasar. Thus Stróżewski’s ideas turn out to be of significance to contemporary aesthetic and theological debates. In particular, he shows the movement of beauty from aesthetic to transcendental, and ultimately towards the sacred, where numinosum is manifested as Mystery. (shrink)

Roman Ingarden has exerted an immense influence on the development of aesthetics, and his texts in this field continue to inspire in-depth studies on art, despite the passage of several decades since the publication of his major works. At the same time, however, phenomenology – especially in France – brought about crucial changes during the second half of the twentieth century with regard to thinking about art, undermining its own methodological principles and tenets, as well as redefining fundamental phenomenological concepts. (...) In this article, I address the question of the continued relevance of Roman Ingarden’s approach to the musical work within the context of current phenomenological research, in particular that which concerns the subject of aesthetic concretisation. (shrink)

The concepta question is reducible to a non-empty set of questions is defined and examined. The basic results are: (1) each question which is sound relative to some of its presuppositions is reducible to some set of binary (i.e. having exactly two direct answers) questions; (b) each question which has a finite number of direct answers is reducible to some finite set of binary questions; (c) if entailment is compact, then each normal question (i.e. sound relative to its presuppositions) is (...) reducible to some finite set of binary questions. (shrink)

Description logics refer to a family of formalisms concentrated around concepts, roles and individuals. They belong to the most frequently used knowledge representation formalisms and provide a logical basis to a variety of well known paradigms. The main reasoning tasks considered in the area of description logics are those reducible to subsumption. On the other hand, any knowledge representation system should be equipped with a more advanced reasoning machinery. Therefore in the current paper we make a step towards integrating description (...) logics with second-order reasoning. One of the important motivations behind introducing second-order formalism follows from the fact that many forms of commonsense and nonmonotonic reasoning used in AI can be modelled within the second-order logic. To achieve our goal we first extend description logics with a possibility to quantify over concepts. Since one of the main criticisms against the use of second-order formalisms is their complexity, we next propose second-order quantifier elimination techniques applicable to a large class of description logic formulas. Finally we show applications of the techniques, in particular in reasoning with circumscribed concepts and approximated terminological formulas. (shrink)

W latach 40. XIX wieku Luigi Taparelli i Antonio Rosmini wprowadzili do publicznego obiegu termin „sprawiedliwość społeczna”. Od tamtego czasu znaczenie tego pojęcia znacznie się poszerzyło. Literatura przedmiotu notuje liczne identyfikacje tego konceptu. Niniejszy tekst koncentruje się na wskazaniu kilku jego ujęć. Autor, w siłą rzeczy skrótowo zaprezentowanych analizach, stara się pokazać specyfikę kilku znaczeń nadawanych „sprawiedliwości społecznej”. Sprawiedliwość społeczna będąca przedmiotem analizy w tym artykule utożsamiana jest ze sprawiedliwością ogólną (prawną) i rozdzielczą.

Artykuł dotyczy pewnych problemów związanych z relacją między ideą sprawiedliwości a państwem. W tekście zostały przedstawione następujące problemy: państwo opiera się na źródłowej niesprawiedliwości; współczesne państwo demokratyczne niweczy możliwość ustalenia podstaw dopuszczalnej niesprawiedliwości; powyższy stan redukuje podmiotowość moralną osób i transferuje ją do instytucji politycznych. Aby uniknąć takich konsekwencji, państwo winno zostać ustanowione na jakiejś formie umowy społecznej. Fundamentalna zgodna co do sprawiedliwych warunków powinna zostać uzgodniona pomiędzy pojedynczymi osobami oraz pomiędzy osobami a państwem.

W latach 40 XIX wieku Luigi Taparelli i Antonio Rosmini wprowadzili do publicznego obiegu termin „sprawiedliwość społeczna”. Od tamtego czasu znaczenie tego pojęcia znacznie się poszerzyło. W tej części wskazane zostały utożsamienia sprawiedliwości społecznej ze sprawiedliwością wyrównawczą (w odmianach: karzącej, naprawczej i wymiennej). Niektóre z tego rodzaju identyfikacji zakładają istnienie podmiotów kolektywnych. Występują one jako czasowe bądź przestrzenne grupy społeczne i kohorty.