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.

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)

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.

Tekst dotyczy krytyki neoliberalizmu. Kierunek ten narodził się w gronie zwolenników tradycji klasycznego liberalizmu wywodzącego się od Johna Locke'a i Adama Smitha. Von Hayek, Mises, Friedman, Eucken i inni wprowadzili tę nazwę niejako w reakcji na zawłaszczenie terminu "liberalizm" przez myśl lewicową. Zastrzeżenia wobec neoliberalizmu dotyczą między innymi niszczenia tkanki społecznej, równości, czy demokracji. Autor rozważa zasadność tych zarzutów w odniesieniu do dwóch różnych rozumień neoliberalizmu: teorii społeczno-ekonomicznej z jednej strony i praktyki politycznej niektórych rządów z drugiej.

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)

The article presents some conclusions arising from an educational experiment conducted by the University Centre for Distance Learning. The aim of the experiment was to verify the applicability of Second Life for educational purposes. The most important conclusion of the experiment is that SL is not as much productive as an e-learning platform but it is quite efficient for the realization of multi-disciplinary projects. It is also effective as a tool for creating digital animations and simulations. Moreover, the article presents (...) some factors indispensable for the successful application of SL observed during the realization of the project. (shrink)