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.

Singh asserts that the parent–child relationship engenders a moral responsibility for the newborn. Simultaneously, he contends, drawing on the argument from potentiality, that the fetal stage of human development does not establish the parent–child relationship. Consequently, within Singh’s proposed relational framework, moral responsibility for the developing fetus does not manifest. Thus, Singh advocates for abortion, citing the absence of moral responsibilities arising for the pregnant woman for the fetus. In this article, I critique Singh’s argument from potentiality, identifying flaws and (...) highlight the incoherence of the argument pertaining to the parent–child relationship. (shrink)

The main aim of the present paper is to explain a nature of relationships exist between Nelson and Heyting algebras. In the realization, a topological duality theory of Heyting and Nelson algebras based on the topological duality theory of Priestley for bounded distributive lattices are applied. The general method of construction of spaces dual to Nelson algebras from a given dual space to Heyting algebra is described. The algebraic counterpart of this construction being a generalization of the Fidel-Vakarelov construction is (...) also given. These results are applied to compare the equational category N of Nelson algebras and some its subcategories with the equational category H of Heyting algebras. It is proved that the category N is topological over the category H. (shrink)

Three semantic relations are analyzed: the relation of implication of a question by a question and a set of declarative sentences, the relation of implication of a question by a question, and the relation of strong implication of a question by a question and a set of declarative sentences. The connections between these concepts and the concepts of relative soundness, partial answerhood and presupposition are examined. The principal results are theorems about, to speak generally, epistemic reducibility of well-posed questions to (...) sequences of implied yes-no questions. (shrink)

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.

The famous theory of undecidable sentences created by Kurt Godel in 1931 is presented as clearly and as rigorously as possible. Introductory explanations beginning with the necessary facts of arithmetic of integers and progressing to the theory of representability of arithmetical functions and relations in the system (S) prepare the reader for the systematic exposition of the theory of Godel which is taken up in the final chapter and the appendix.

Inferential erotetic logic and inquisitive semantics give accounts of questions and model various aspects of questioning. In this paper we concentrate upon connections between inquisitiveness, being the core concept of INQ, and question raising, characterized in IEL by means of the concepts of question evocation and erotetic implication. We consider the basic system InqB of INQ, remain at the propositional level and show, inter alia, that: a disjunction of all the direct answers to an evoked question is always inquisitive; a (...) formula is inquisitive if, and only if it evokes a yes–no question whose affirmative answer expresses a possibility for the formula; inquisitive formulas evoke questions whose direct answers express all the possibilities for the formulas, and each question erotetically implies a question whose direct answers express the possibilities for the direct answers to the implying question. (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)

By the classical mereology I mean a theory of mereological structures in the sense of [10]. In [7] I proved that the class of these structures is not elementarily axiomatizable. In this paper a new version of this result is presented, which according to my knowledge is the first such presentation in English. A relation of this result to a certain Hsing-chien Tsai’s theorem from [13] is emphasized.

The concept of erotetic argument is introduced. Two relations between sets of declarative sentences and questions are analysed; and two classes of erotetic arguments are characterized.

We examine some extensions of the constructive propositional logic with strong negation in the setting of varieties of $\mathcal{N}$ -lattices. The main aim of the paper is to give a description of all pretabular, primitive and preprimitive varieties of $\mathcal{N}$ -lattices.

By and large, Inferential Erotetic Logic (IEL, for short) is an approach to the logic of questions which puts in the centre of attention inferential aspects of questioning. IEL is not an enterprise of the last few years only. The idea originates from the late 1980s. It evolved through time. Initially, the stress was put on the phenomenon of question raising. This changed gradually, as some forms of reasoning that involve questions have appeared to be analyzable by means of the (...) conceptual apparatus developed. In this essay I present the basics of IEL and comment on them. Most, though not all, of the ideas discussed here have been scattered across my earlier publications. The invitation from the organizers of the Asking and Answering workshop (Greifswald, September 2020) resulted in an attempt of presenting the themes of IEL in a concise but, as I hope, also comprehensible way. (shrink)

The transitivity of the relation of part to whole is often questioned. But it is among the most basic principles of mereology. In this paper we present a general solution to the problem of transitivity of parthood which may be satisfactory for both its advocates and its opponents. We will show that even without the transitivity of parthood one can define—basic in mereology—the notion of being a mereological sum of some objects. We formulate several proposals of general approaches to the (...) concept of being a part of a whole, none of which contains any existential assumptions. By adding the transitivity of parthood we obtain an axiomatization of “existentially neutral” mereology. (shrink)

In the present paper we examine very weak modal logics C1, D1, E1, S0.5◦, S0.5◦+(D), S0.5 and some of their versions which are closed under replacement of tautological equivalents (rte-versions). We give semantics for these logics, formulated by means of Kripke style models of the form , where w is a «distinguished» world, A is a set of worlds which are alternatives to w, and V is a valuation which for formulae and worlds assigns the truth-vales such that: (i) for (...) all formulae and all worlds, V preserves classical conditions for truth-value operators; (ii) for the world w and any formula ϕ, V(⬜ϕ,w) = 1 iff ∀x∈A V(ϕ,x) = 1; (iii) for other worlds formula ⬜ϕ has an arbitrary value. Moreover, for rte-versions of considered logics we must add the following condition: (iv) V(⬜χ,w) = V(⬜χ[ϕ/ψ],w), if ϕ and ψ are tautological equivalent. Finally, for C1, D1and E1 we must add queer models of the form in which: (i) holds and (ii') V(⬜ϕ,w) = 0, for any formula ϕ. We prove that considered logics are determined by some classes of above models. (shrink)

This article continues Rosłanowski and Shelah (Int J Math Math Sci 28:63–82, 2001; Quaderni di Matematica 17:195–239, 2006; Israel J Math 159:109–174, 2007; 2011; Notre Dame J Formal Logic 52:113–147, 2011) and we introduce here a new property of (<λ)-strategically complete forcing notions which implies that their λ-support iterations do not collapse λ + (for a strongly inaccessible cardinal λ).

In pre-revolutionary Russia, law was criticized from many points of view: in the name of Christ or the name of Marx, in defense of anarchism or of an idealized autocracy, on behalf of the "Russian soul" or of universal progress towards socialism. Examining the rich tradition of hostility to law, Walicki presents those Russian thinkers who boldly challenged this legacy of anti-legal prejudice by developing liberal philosophies of law, vindicating the value of human rights and rule of law. He discusses (...) six leading theorists--Boris Chicherin, Vladimir Soloviev, Leon Petrazycki, Pavel Novgorodtsev, Bogdan Kistiakovsky, and Sergius Hessen--all of whom viewed law in the context of wider philosophical and social problems. (shrink)

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.

The concepts of question evocation and erotetic implication play central role in Inferential Erotetic Logic. In this paper, deduction theorems for question evocation and erotetic implication are proven. Moreover, it is shown how question evocation by a finite non-empty set of declaratives can be reduced to question evocation by the empty set, and how erotetic implication based on a finite non-empty set of declaratives can be reduced to a relation between questions only.

This is the first, out of two papers, in which we identify all logics between C1 and S5 having the same theses without iterated modalities. All these logics canbe divided into certain groups. Each such group depends only on which of thefollowing formulas are theses of all logics from this group:,,, ⌜∨ ☐q⌝,and for any n > 0 a formula ⌜ ∨ ⌝, where has not the atom ‘q’, and and have no common atom. We generalize Pollack’s result from [12],where (...) he proved that all modal logics between S1 and S5 have the same theseswhich does not involve iterated modalities. (shrink)

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)

The epidemiological situation resulting from the SARS-CoV-2 pandemic caused the Polish universities to fully switch to distance education in March 2020. Medical e-learning has not yet been broadly implemented into the education process. Therefore, examples of successful e-learning implementations or the organization of the process of medical e-learning offer a valuable source of knowledge today, which is needed immediately. The article presents e-learning practices at the Polish medical universities during the SARS-CoV-2 epidemic during the period from March to September 2020, (...) covering seven universities in Poland that offer medical and health studies. The organization and implementation of e-learning classes is presented, including knowledge evaluation practices, providing example decisions issued by university rectors, on which the teaching process was based. A detailed presentation of the schools’ organizational units or workgroups that played an important role in the process of coordination of measures supporting e-education is also included. The article also presents a description of the software applications, utilities, and services used at the schools in the course of the process of online education. Below are some examples of specific such implementations in selected university courses. (shrink)

The article attempts to define the concept of “post-neo-Kantianism” based on the nature of its relationship to the concept of “neo-Kantianism”. Concerning this matter, the author poses the following tasks: to characterize the phenomenon of neo-Kantianism, to point out the problems of its definition, to identify the relevance of the term “post-neo-Kantianism” and its relation to the philosophy of I. Kant in particular. The author emphasizes the need to introduce this term in the classification of philosophy of the XX century (...) with the appropriateness of building the model of “Kantianism - Neo-Kantianism - Neo-Neo-Kantianism - Post-Neo-Kantianism”, where each new stage is determined by the nature of the reflection of thinkers of a certain period over the fundamental philosophical problems articulated in Kant's “Critics”. Among the post-Neo-Kantians, A. Noras names thinkers traditionally considered to be german phenomenologists, such as E. Husserl and M. Heidegger: it is from the philosophical concept of Husserl that one can speak of the emergence of post-Neo-Kantianism, and the semantically correct interpretation of Heidegger, according to author, is most clearly understood in the framework of Baden Neo-Kantianism. Investigating the phenomenon of post-Neo-Kantianism, the need is established for answering a question regarding the preceding Neo-Kantian tradition, within which there is still a number of contradictions unresolved in the history of philosophy regarding the classification of Neo-Kantian schools and the distinction between the two periods of Neo-Kantianism: early and late. Neo-Kantianism shows the relevance of Kantian philosophy, highlighting the ongoing debate about understanding the Kantian “Critique of Pure Reason”. Post-Neo-Kantianism plays an important role in terms of the perspectives of modern Kant studies, which include Gottfried Martin, Manfred Brelage, or Hans-Michael Baumgartner. (shrink)

We prove that the Sacks forcing collapses the continuum onto ${\frak d}$ , answering the question of Carlson and Laver. Next we prove that if a proper forcing of the size at most continuum collapses $\omega_2$ then it forces $\diamondsuit_{\omega_{1}}$.

We continue developing the general theory of forcing notions built with the use of norms on possibilities, this time concentrating on ccc forcing notions and classifying them.

There are inferences from a sentence or a set of sentences to a question. The relation between the premises and conclusions of such inferences is sometimes called arising.

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.

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)

This article presents an integrative, analytic, and interactive approach to explaining corruption. We find that extant research, while empirically rich, often lacks grounding on the micro level of analysis, operates on unspecified or implausible decision-making models, does not clearly distinguish between proximal and distal causes, and does not attempt to study the interactions between individual propensities and corruption-conducive settings (situational analysis). The theoretical traditions of rational choice and culture provide insight into some but not all corrupt acts, and are limited (...) in the extent to which they explain why and how an individual chooses to act corruptly. Drawing on analytic criminology, we propose situational action theory (SAT) as an alternative explanation of corruption as moral action that forefronts rule guidance, conditional relevance of controls, and the interplay of people and settings. This conceptual framework will allow researchers to build on existing empirical work while distinguishing causes of corruption from its mere correlates. The article concludes with some reflections on bridging the gap between situational theory and empirical research into corruption. (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)

A work of music as an artefact is a particular acoustic material. However, the sounds are not identical with music since they only constitute the external appearance of a musical work and its most explicit layer, while aesthetic perception is certainly not limited to the superficial perception of sounds. Contemporary research in the field of fine arts by Gottfried Boehm and Georges Didi-Huberman showed new possibilities of revealing the hidden inner phenomenality of a work of art. Yet, is it possible (...) to apply the methodology of research on the invisible visuality of a painting to the field of non-acoustic sound of a musical work? What kind of additional research problems does a work of music cause, taking into account the fact that it is not only created by its author-composer, but it also requires a re-creational performance to phenomenally exist? The article provides the critical analysis of Roman Ingarden’s views on the subject of a musical work and indicates the need to expand the research horizon as regards the issue of nonsounding elements of music. The article aims mainly at bringing new research perspectives on a work of music in the light of contemporary phenomenology. (shrink)

We continue investigations of reasonable ultrafilters on uncountable cardinals defined in Shelah [8]. We introduce a general scheme of generating a filter on λ from filters on smaller sets and we investigate the combinatorics of objects obtained this way.

The article considers the problem of the meaning of a musical discourse from the perspec-tive of hermeneutic phenomenology. The analysis is based on the collected essays by Paul Ricoeur, included in the book 'Language, Text, Interpretation'. The author of the article aims at contextualization of such terms as discourse, event, meaning, distance, appropriation, interpretation, self-understanding, projection of ‘the world of work’ and the projection of the possibility of ‘being-in-the-world’ with reference to a musical work of art.

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