Mycobacterium tuberculosis is the causative agent of pulmonary tuberculosis which has infected one third of the mankind and causes 2–3 million deaths worldwide each year. The persistence of the infection ensues from the ability of M. tuberculosis to subvert host immune responses in favor of survival and growth of mycobacteria in macrophages. The mechanisms by which M. tuberculosis manipulates the host immune system have only recently come to light. These activities are attributed to lipoarabinomannans (LAM) and their precursors lipomannans (LM), (...) two predominant glycolipids of M. tuberculosis cell wall. LM are able to skew anti‐mycobacterial immune responses into un‐protective ones, while LAM evoke immunosupression upon binding to macrophage and dendritic cell receptors specialized in binding to “self” host components. A newly emerging idea implicates plasma membrane rafts in LM and LAM signaling. Depending on acylation patterns, the glycolipids may either directly incorporate into the raft membrane via mannosylphosphatidylinositol anchors or interact with raft‐associated proteins to affect the assembly of receptor signaling complexes. BioEssays 30:943–954, 2008. © 2008 Wiley Periodicals, Inc. (shrink)

This paper argues for the idea that the logic of questions should focus its attention on the analysis of arguments in which questions play the role of conclusions. The relevant concepts of validity are discussed and the concept of the logic of questions of a semantically interpreted formalized language is introduced.

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.

We present a proof-theoretical analysis of the theory of definite descriptions which emerges from Frege’s approach and was formally developed by Kalish and Montague. This theory of definite descriptions is based on the assumption that all descriptions are treated as genuine terms. In particular, a special object is chosen as a designatum for all descriptions which fail to designate a unique object. Kalish and Montague provided a semantical treatment of such theory as well as complete axiomatic and natural deduction formalization. (...) In the paper we provide a sequent calculus formalization of this logic and prove cut elimination theorem in the constructive manner. (shrink)

The paper presents a uniform proof-theoretic treatment of several kinds of free logic, including the logics of existence and definedness applied in constructive mathematics and computer science, and called here quasi-free logics. All free and quasi-free logics considered are formalised in the framework of sequent calculus, the latter for the first time. It is shown that in all cases remarkable simplifications of the starting systems are possible due to the special rule dealing with identity and existence predicate. Cut elimination is (...) proved in a constructive way for sequent calculi adequate for all logics under consideration. (shrink)

Listening and polyphony lead us directly to reflection on the musical form of the fugue. Starting with M. Heidegger’s considerations about the juncture of beyng, we will phe-nomenologically ask about the essence of the fugue, and the musical work put under analysis will be The Art of Fugue by J.S. Bach. The article aims to show the convergence between Heidegger’s philosophy and the essence of the musical form of fugue as an artis-tic mode of the essential occurrence of beyng as (...) an event. (shrink)

This article addresses the subject of the ekphrastic description of experiencing music. It shows the main differences between ekphrasis and commonly used analysis in music theory and musicology. In approaching the problem of ekphrasis with what is called pure music, I emphasize its ancient understanding, thus differing from Lydia Goehr (2010) and Siglind Bruhn (2000, 2001, 2019). The ekphrastic analysis of the first movement of Arnold Schoenberg’s Six Little Piano Pieces Op. 19 conducted in this article uses the methodology developed (...) by Gottfried Boehm (2014) and Georges Didi-Huberman (2005, 2015, 2017, 2018) in the discipline of art history. This article aims to delineate a new way of researching the art of music, an essential feature of which is the combination of the traditions of analytic philosophy and phenomenology. (shrink)

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)

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.

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 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)

The paper is a brief survey of some sequent calculi which do not follow strictly the shape of sequent calculus introduced by Gentzen. We propose the following rough classification of all SC: Systems which are based on some deviations from the ordinary notion of a sequent are called generalised; remaining ones are called ordinary. Among the latter we distinguish three types according to the proportion between the number of primitive sequents and rules. In particular, in one of these types, called (...) Gentzen’s type, we have a subtype of standard SC due to Gentzen. Hence by nonstandard ones we mean all these ordinary SC where other kinds of rules are applied than those admitted in standard Gentzen’s sequent calculi. We describe briefly some of the most interesting or important nonstandard SC belonging to the three abovementioned types. (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.

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)

Hypersequent calculi can formalize various non-classical logics. In [9] we presented a non-commutative variant of HC for the weakest temporal logic of linear frames Kt4.3 and some its extensions for dense and serial flow of time. The system was proved to be cut-free HC formalization of respective temporal logics by means of Schütte/Hintikka-style semantical argument using models built from saturated hypersequents. In this paper we present a variant of this calculus for Kt4.3 with a constructive syntactical proof of cut elimination.

This is a sequel article to [10] where a hypersequent calculus for some temporal logics of linear frames includingKt4.3and its extensions for dense and serial flow of time was investigated in detail. A distinctive feature of this approach is that hypersequents are noncommutative, i.e., they are finite lists of sequents in contrast to other hypersequent approaches using sets or multisets. Such a system in [10] was proved to be cut-free HC formalization of respective logics by means of semantical argument. In (...) this article we present an equivalent variant of this calculus for which a constructive syntactical proof of cut elimination is provided. (shrink)

In 1934 Stanisław Jaśkowski published his groundbreaking work on natural deduction. At the same year Gerhard Gentzen also published a work on the same topic. We aim at presenting of Jaśkowski’s system and provide a comparison with Gentzen’s approach. We also try to outline the influence of Jaśkowski’s approach on the later development of natural deduction systems.

W artykule proponuje się aksjomatyzację fragmentu klasycznej logiki zdań, który zostaje nazwany logiką niesymplifikacyjną. Nazwa pochodzi stąd, że unika się w nim, jak przypuszcza pewna ilość badaczy – wskazanych w tekście – paradoksalnych własności klasycznej implikacji i równoważności. Twierdzenie o niewyprowadzalności tez paradoksalnych nie jest jeszcze definitywnie udowodnione. Ale cały bieg myśli wydaje się interesujący z filozoficznego punktu widzenia ze względu na możliwość odróżnienia kilku rodzajów implikacji i równoważności.

In the paper a decision procedure for S5 is presented which uses a cut-free sequent calculus with additional rules allowing a reduction to normal modal forms. It utilizes the fact that in S5 every formula is equivalent to some 1-degree formula, i.e. a modally-flat formula with modal functors having only boolean formulas in its scope. In contrast to many sequent calculi for S5 the presented system does not introduce any extra devices. Thus it is a standard version of SC but (...) with some additional simple rewrite rules. The procedure combines the proces of saturation of sequents with reduction of their elements to some normal modal form. (shrink)

This paper is concerned with n-localization property introduced by Newelski and Rosłanowski in [10] and getting it for CS iterations of forcing notions.

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)

Metafizyczny kreacjonizm a paradoksy teizmu ewolucyjnego: przyczynek do dyskusji w ramach współczesnego tomizmu Autor artykułu dowodzi, że metafizyczny kreacjonizm, z którym spotykamy się w filozofii św. Tomasza z Akwinu, w odróżnieniu od kreacjonizmu amerykańskiego oraz teologiczno-‑biblijnego, jest teorią, która wyrasta z czysto filozoficznego wyjaśnianie początków świata i człowieka. Nie jest zatem ideą biblijną przeniesioną na teren filozofii. Podobnie jak teizm metafizyki Arystotelesa, a także teizm metafizyki św. Tomasza z Akwinu nie jest teizmem religijnym, lecz teizmem czysto filozoficznym, gdyż wyrasta z (...) metafizycznego wyjaśniania rzeczywistości. Kreacjonizm metafizyczny jest ostatecznym wyjaśnieniem źródła istnienia bytów, które dane są nam w doświadczeniu, jako niekonieczne w istnieniu i zmienne. Natomiast kreacjonizm amerykański, jest interpretacja biologiczno-kosmologiczną biblijnej prawdy o stworzeniu świata w określonym przedziale czasowym i w punkcie wyjścia odwołuje się do danych Objawienia, które chce naukowo potwierdzić Artykuł został podzielony na dwie części. W części pierwszej zostały przedstawione węzłowe elementy metafizycznej teorii stworzenia ex nihilo i jej rozumienie. W drugiej zaś części artykułu zostały przywołane elementy teizmu ewolucyjnego, które z punktu metafizycznego kreacjonizmu są źródłem różnych paradoksów, a niekiedy i absurdów oraz domagają się ponownego przemyślenia. (shrink)

In the first part of his magnum opus Hans Urs von Balthasarpresents his project of theological aesthetics where the experience of art becomes an entrance to a religious act and an ennobling way leading to the contemplation of God. Defining the essence of being human as a spiritual being directed towards God bears a deep ethical meaning in this consideration. H.U. von Balthasar’s reflection over the religious dimension of the essence of art is shaped within theology but at the same (...) time in the opposition to aesthetic theology which is de-scribed as ‘aesthetisation’ of the Mystery of Revelation. The art of music occupies a particular place in this reflection. For this reason Mass in B Minor BWV 232 by Johann Sebastian Bach, which is an emblematic example of the revelation of the glory of the Lord (Herrlichkeit), will be analysed not only from the perspective of philosophical or musicological aesthetics, but also theological aesthetics. This article outlines characteristic features of theological aesthetics specifically developed from traditional philosophical aesthetics whose range was extended by the human being’s relation to God. (shrink)

In 'The Work of Music and the Problem of Its Identity' by Roman Ingarden we are presented with a philosophical theory of the structure of the musical work. The author includes melody, rhythm and harmony among the primary elements of the musical work while dynamics, tempo and colouration (sonoristics) are classified as its secondary elements. The elements designated by the score constitute a schematic prescription for creating a particular work. Still, the scheme also includes numerous gaps and indeterminacies which can (...) be filled in only through performance which makes the work an individualized concretum. However, it is puzzling why the list of the elements of the musical work does not include articulation. In this article I claim that the absence of articulation in the theory of the structure of the musical work indicates its omnipresence, thus the broader we understand the term articulation, the better it penetrates into the remaining elements of the musical work, preserving its distinctiveness at the same time. (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)

Phenomenological reflection on the essence of art goes towards the revelation of its ultimate Source, which is also the Source of spirituality of a man and, finally, of artistic works. Art occupies a prominent place in the works of Martin Heidegger, Hans Urs von Balthasar and Michel Henry, and what they have in common is pointing out the ability of transcending artistic work towards beyond-aesthetic and over-aesthetic dimensions. For those philosophers the work of art is a ‘way’ which may lead (...) human spirit towards Transcendence (the Absolute, God), but also towards the inner self. In this article the reflection over a religious dimension of the essence of art is extended by the analysis of St John Passion, BWV 245 by Johann Sebastian Bach, as a particular example of an artistic realization of phenomenologically rooted philosophical and theological reflection. (shrink)

The paper presents a comparison of two generalised sequent calculi for temporal logics. In both cases the main technical solution is the multiplication of the sorts of sequents and, additionally, the application of some kind of labelling to formulae. The first approach was proposed by Kaziemierz Trzęsicki at the 1980s. The second, called Multiple Sequent Calculus (MSC), was proposed in the beginning of the present century. Both approaches are examples of the family of multisequent calculi.

Martin Heidegger in 'The Origin of the Work of Art' (Der Ursprung des Kunstwerkes) developed a whole new way of thinking about art, going beyond traditionally understood aesthetics or even philosophy of art. Some of Heidegger’s thoughts, however, appear to be understated and only signal a huge complexity of both experiencing works of art and the very issue of the origin of the work of art. The analysis of the terms ‘anxiety’ and ‘eyeblink’ from 'Being and Time' presented in this (...) article complement and develop Heidegger’s ideas included in his essay. Linking art to these two crucial phenomena of fundamental ontological analysis of Dasein casts light on the status of art and its existential significance. The author aims mainly at demonstrating the aletheic connection (based on unclosedness) between the experience of ‘originary source’ of a piece of art and ‘anxiety’, and also, in conclusion, he points to the ‘event of beyng’ as the essential, non-metaphysical origin of art. (shrink)

Interest in “the flesh” (Leib, la chair) in phenomenological research leads to revealing the original (ursprünglich) and non-phenomenal essence of the very appearance. Contemporary phenomenological aesthetics is heading in the same direction. While describing the intentional content of particular, i.e. subjectively “embodied” aesthetic objects, it reveals the ultimate origin (Ursprung) thanks to which the appearance of phenomena is possible at all. At the same time, revealing the ultimate origin — differently named but always meaning the furthest horizon of the possibility (...) of the appearance of phenomena — sometimes claims to be called “first philosophy”. However, such ambitious cognitive aspirations of phenomenological aesthetics may arouse suspicion. This is why, first, we should ask about its differentia specifica and its position among other types of aesthetics, and then consider whether its most significant essential statements are not just as insightful as questionable. I argue for admitting that phenomenological aesthetics has the broadest cognitive horizon and at the same time for limiting its validity for individual actualizations (concretions) of potentiality (potentia) of given phenomena. I also point out that the basic cognitive procedure within phenomenological aesthetics is reductive reasoning, which goes in the opposite direction to logical entailment. (shrink)

In the field of phenomenology philosophers more and more frequently show interest in early Christian thought – including apophatic theology – which, in result, affects the understanding of the role and significance of art. „Invisibility” in art and the manifestation of God through the work of art is a mystery which cannot be satisfactorily explained by traditional philosophical aesthetic models. Negative theology, together with its key apophatic way brings a new perspective of understanding art into contemporary aesthetic debates. Its 'reductive' (...) application can be found especially in the theory of the icon. Paweł Florenski's icon analysis and Jean-Luc Marion's category of the ‘saturated phenomenon’ converge in many points. Henry Dume ry’s henological reduction which is complementary to, but at the same time exceeds Edmunda Husserl's reductions, extends the horizon of the 'invisible' dimension of art by the relation the Spirit (intelligibility) makes with Transcendence. In the article I will show the cohesion of contemporary phenomenological thought, early Christian apophatics and the theory of the icon. I will also consider whether an aesthetic and theological framework so structured could be valid and useful as a general philosophical theory of art. (shrink)

In the article I analyse the phenomenological possibilities of sanctioning a religious revelation through the experience of art. First, I present the context for reflections on the religious dimension of art on the grounds of contemporary phenomenological research. Next, I analyse the main methodological problems within the research area under consideration. I also propose an interdisciplinary approach to the issue of art and revelation, which allows for a complementary presentation of this complex research problem at the intersection of aesthetics, phenomenology, (...) philosophy of religion and theology. (shrink)

In this article, the author notes that Thomas Aquinas, in his brief work entitled De Ente et Essentia, proved that at the base of understanding the world, the human being, and God in particular, there is our understanding of being and its essence. When we make a small mistake at the beginning in our understanding of being and its essence, it will turn to be a big one in the end. And what is “at the end” of our knowledge is (...) the discovery of the First and Ultimate Cause of all things, known as: Ipsum Esse, God, the Absolute, The Most Perfect Substance, on whom everything depends, and who depends not on anything else. These present inquiries about the proper understanding of being and its essence are aimed at formulating proof of the necessity of existence of a Being that is the First Cause, and which, existing as Ipsum Esse, is the source and reason of existence of all beings. Without these inquiries, the proof itself would be incomprehensible, and more importantly it would be a purely a priori one. Furthermore, without the existential conception of being, which Thomas first formulated, one could not discover the First Cause which, as Ipsum Esse, is the source of the existence of every being. This issue seems to have escaped the attention of the author of the book Aquinas’s Way to God. The Proof in “De Ente et Essentia.”. (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)

Artykuł zawiera przegląd wybranych powiązań pandemii COVID-19 z teoriami ryzyka. W pierwszej kolejności przedstawiono podstawowe pojęcia dotyczące przygotowania i mobilizowania sieci podmiotów polityki publicznej do wspólnych działań w warunkach niepewności. W dalszej części omówiono zagadnienie gotowości na ryzyko wystąpienia pandemii i jej zwalczania. Następnie przedstawiono wybrane możliwe efekty społeczne, gospodarcze i polityczne pandemii COVID-19. W podsumowaniu wskazane zostały rekomendacje dotyczące zarządzania podmiotami publicznymi na dalszych etapach rozwoju pandemii i w okresie po pandemii oraz propozycje dalszych kierunków badań. // The article (...) presents an overview of selected connections of the COVID-19 pandemic with risk theories. The study first explores the basic concepts of preparing and mobilizing networks of public policy actors to act together under conditions of uncertainty. The following section discusses the pandemic risk preparedness and fighting. Then, selected possible social, economic and political effects of the COVID-19 pandemic are discussed. In summary, recommendations regarding the public management in the further stages of the pandemic development and in the post-pandemic period were indicated, as well as proposals for further research directions. (shrink)

The paper contains an exposition of standard ND-formalizations for modal logics. For the sake of simplicity, it is limited to propositional monomodal logics because focus is on methods not on logics. Some of the discussed approaches, however, may be easily extended to first order modal logics of different sorts or to multimodal logics . Natural Deduction is understood in the strict sense, explained below; neither Gentzen Sequent Calculus, nor Tableau Systems belong to that group. Moreover, some ND-systems with generalized apparatus, (...) like [2] or [3] are also omitted in this survey. There are four basic approaches to modality via NDformalization, which are compared and evaluated with respect to their generality: modalization of assumptions, modalization of reiteration rule, modalization of rules, application of modal assumptions. We focus on practical matters, especially on the applicability of discussed approaches, the only exception is the discussion of independent rules for necessity and possibility in the last section. (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)

We classify two of Bertrand Russell's theories of events within the point-free ontology. The first of such approaches was presented informally by Russell in ‘The World of Physics and the World of Sense’ (Lecture IV in Our Knowledge of the External World of 1914). Based on this theory, Russell sketched ways to construct instants as collections of events. This paper formalizes Russell's approach from 1914. We will also show that in such a reconstructed theory, we obtain all axioms of Russell's (...) second theory from 1936 and all axioms of Thomason's theory of events from 1989. Russell's work certainly influenced the works of Stanisław Leśniewski, his student Alfred Tarski, and Czesław Lejewski – prominent members of the Lvov-Warsaw School (LWS). We see our work in the tradition of the research of Leśniewski and Tarski. Building on the technical tools developed in this environment and in the spirit of the traditional research of the LWS, we engage here, in particular, with two classic works by Russell on fundamental ontology. (shrink)