In this paper we analyze how the semantics of the Alternating-time Temporal Logic ATL$^*$ deals with agents' commitments to strategies in the process of formula evaluation. In (\acro{atl}$^*$), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal $\phi$ such as: ``agent $i$ can choose a strategy such that, if $i$ follows this strategy then, no matter what other agents do, $\phi$ will always be true''. However, strategies in \acro{atl} are (...) \emph{revocable} in the sense that in the evaluation of the goal $\phi$ the agent $i$ is no longer restricted by the strategy she has chosen in order to reach the state where the goal is evaluated. -/- Here we discuss some alternatives leading to amendments of that semantics. In particular, we consider variants of \acro{atl}$^*$ where strategies, on the contrary, are \emph{irrevocable}. Unlike in the standard semantics of \acro{atl}, memory plays an essential role in the semantics based on irrevocable strategies. -/- Further, we propose and discuss various syntactic and semantics mechanisms for handling commitments to strategies and release from such commitments in the semantics of ATL$^*$, leading to more expressive and semantically refined versions of that logic. (shrink)

Lawrence Nelson (2018) criticizes conscientious objection (CO) to abortion statutes as far as they permit health care providers to escape criminal liability for what would otherwise be the legally wrongful taking of a pregnant woman’s life by refusing treatment (i.e. abortion). His key argument refers to the U.S. Supreme Court judgment (Roe v. Wade 1973) that does not treat the unborn as constitutional persons under the Fourteenth Amendment. Therefore, Nelson claims that within the U.S. legal system any vital interests of (...) pregnant women must always take precedence over fetuses’ interests. While agreeing with the main thesis of the article, we believe that the author’s argument neither vindicates his claim, nor explains why those who believe that fetuses are equally protectable human beings do not have the right to refuse to perform an abortion in lifethreatening emergency circumstances (AE). Therefore, the main aim of our commentary is to outline, by referring to our earlier works on conscientious objection in health care (Z_ uradzki 2016) and cultural exemptions (Ciszewski 2016), a better and universalizable argumentative path that would lead to the same conclusion. (shrink)

Through an analysis of Kierkegaard’s and Dostoevsky’s approaches to the theme of the death of Christ – one of the major leitmotifs in the debate of their contemporaries conveyed through theological and philosophical considerations, but also expressed in novels and in art – I show how the thinkers comprehended and articulated in their works the religious challenges awaiting the modern man.

This paper addresses a certain objection to the quantificational theory of definite descriptions. According to this objection, the quantificational account cannot provide correct interpretations of definite descriptions embedded in the non-doxastic attitude ascriptions and therefore ought to be rejected. In brief, the objection says that the quantificational theory is committed to the view that a sentence of the form “The F is G” is equivalent to the claim that there is a unique F and it is G, while the ascription (...) such as, e.g., “S wants the F to be G” is not equivalent to the statement that S wants there to be a F and for it to be G. I argue that this objection is invalid as it rests on a false assumption concerning the substitutivity of the relative clauses in the non-doxastic attitude ascriptions. (shrink)

In this paper, a formal theory is presented that describes syntactic and semantic mechanisms of philosophical discourses. They are treated as peculiar language systems possessing deep derivational structures called architectonic forms of philosophical systems, encoded in philosophical mind. Architectonic forms are constituents of more complex structures called architectonic spaces of philosophy. They are understood as formal and algorithmic representations of various philosophical traditions. The formal derivational machinery of a given space determines its class of all possible architectonic forms. Some of (...) them stand under factual historical philosophical systems and they organize processes of doing philosophy within these systems. Many architectonic forms have never been realized in the history of philosophy. The presented theory may be interpreted as falling under Hegel’s paradigm of comprehending cultural texts. This paradigm is enriched and inspired with Propp’s formal, morphological view on texts. The peculiarity of this modification of the Hegel-Propp paradigm consists of the use of algebraic and algorithmic tools of modeling processes of cultural development. To speak metaphorically, the theory is an attempt at the mathematical and logical history of philosophy inspired by the Internet metaphor. And that is why it belongs to the tradition of doing metaphilosophy in The Lvov-Warsaw School, which is continued today mainly by Woleński, Pelc, Perzanowski, and Jadacki. (shrink)

Aἰών. Eternity in the Theology of Heraclitus of Ephesus -/- This article presents an attempt to establish the Heraclitean meaning of the word αἰών in the fragment B52 (Diels-Kranz). In the author’s view the very starting-point and only sound basis for that kind of endeavor should be meticulous, unbiased analysis of relevant aphorisms of the Ephesian sage and corresponding testimonies. Synoptic scrutiny of them substantiates the understandable conclusion that proud Heraclitus had an unambiguous and independent opinion about eternity. His God (...) – identified with the one and common world – is eternal not only in his „material” aspect as πῦρ ἀείζωον (‘an ever-living fire’, B30), but also in „rational” one as Λόγος ἐὼν ἀεί (‘Logos existing always’, B1). Consequently, one of his various names is Aἰών (‘He Who Always Is’). (shrink)

Consciousness attracts the attention of researchers representing various disciplines. Hence, there is a demand for a theoretical tool that could integrate data and theoretical concepts originating from distinct fields. The paper proposes to use the framework of the theory of integrative levels. The development and the definitions of the concept of levels are briefly discussed. The final part of the paper presents a proposal for incorporating the levels of consciousness into the framework of the integrative levels theory.

The paper provides an analysis of the relationship between the concepts of justice and solidarity. The point of departure of the analysis is Ruud ter Meulen’s claim that these concepts are different but mutually complementary, i.e. are two sides of the same coin. In the paper two alternative accounts of the relationship are proposed. According to the first one, solidarity can be defined in terms of justice, i.e. is a special variety of liberal justice, viz. social liberal justice, which, apart (...) from the value of liberty, also stresses the importance of the value of equality. An example of such a theory is Rawls’s theory of justice, within which the value of equality is ‘encoded’ in the principle of fair equality of opportunity and in the difference principle. According to the second account, solidarity is an expression of a special type of social relationships – the so-called ‘thick relationships’, which are non-superficial, positive, their paradigmatic examples being family and friendship; in other words, the rules of solidarity are rules that are built into ‘thick relationships’. On the first account, justice and solidarity are not different, while on the second account they are different but mutually exclusive rather than mutually complementary. In the last part of the paper some remarks on the social causes of solidarity are made. (shrink)

English title: The Problem of the Synthetic a priori Judgements According to Hermann Lotze. The present article compares Kant’s and Lotze’s concepts of synthetic judgements. Lotze’s aim is a renewing of the Kant’s solutions, what he achieves thanks to introduction of the distinction between analytic (identical) content and synthetic form of these judgements which Kant recognised as synthetic. This distinction makes possible to lay down the concept of intentional sense which has influence over Frege and Husserl.

Amongst the entities making up social reality, are there necessary relations whose necessity is not a mere reflection of the logical connections between corresponding concepts? We distinguish three main groups of answers to this question, associated with Hume and Adolf Reinach at opposite extremes, and with Searle who occupies a position somewhere in the middle. We first set forth Reinach’s views on what he calls ‘material necessities’ in the realm of social entities. We then attempt to show that Searle has (...) not identified a sustainable position somewhere between the Humean and the Reinachian extremes. This is because Searle’s position is threatened by circularity, and to steer clear of that danger it must incorporate at least some elements of Reinach’s essentialism. (shrink)

As systems based on opaque Artificial Intelligence (AI) continue to flourish in diverse real-world applications, understanding these black box models has become paramount. In response, Explainable AI (XAI) has emerged as a field of research with practical and ethical benefits across various domains. This paper not only highlights the advancements in XAI and its application in real-world scenarios but also addresses the ongoing challenges within XAI, emphasizing the need for broader perspectives and collaborative efforts. We bring together experts from diverse (...) fields to identify open problems, striving to synchronize research agendas and accelerate XAI in practical applications. By fostering collaborative discussion and interdisciplinary cooperation, we aim to propel XAI forward, contributing to its continued success. Our goal is to put forward a comprehensive proposal for advancing XAI. To achieve this goal, we present a manifesto of 27 open problems categorized into nine categories. These challenges encapsulate the complexities and nuances of XAI and offer a road map for future research. For each problem, we provide promising research directions in the hope of harnessing the collective intelligence of interested stakeholders. (shrink)

With the limited initial availability of COVID-19 vaccines in the first months of 2021, decision-makers had to determine the order in which different groups were prioritized. Our aim was to find out what normative approaches to the allocation of scarce preventive resources were embedded in the national COVID-19 vaccination schedules. We systematically reviewed and compared prioritization regulations in 27 members of the European Union, the United Kingdom, and Israel. We differentiated between two types of priority categories: groups that have increased (...) infection fatality rate (IFR) compared to the average for the general population and groups chosen because their members experience increased risk of being infected (ROI). Our findings show a clear trend: all researched schedules prioritized criteria referring to IFR (being over 65 years old and coexisting health conditions) over the ROI criteria (eg occupation and housing conditions). This is surprising since, in the context of treatment, it is common and justifiable to adopt different allocation principles (eg introducing a saving more life-year approach or prioritizing younger patients). We discuss how utilitarian, prioritarian, and egalitarian principles can be applied to interpret normative differences between the allocation of curative and preventive interventions. (shrink)

At the invitation of the Commission for World Mission and Evangelism (CWME) of the World Council of Churches (WCC) in collaboration with different associations involved in mission and ecumenical studies, the Regional Center for Central and Eastern Europe convened at the Faculty of Orthodox Theology of the Babes-Bolyai University, Cluj-Napoca, Romania, through its Center for Mission and Nomocanonical Studies (CMNS, in collaboration with the Central and Eastern European Association for Mission Studies (CEEAMS). Its aim was to reflect on how the (...) International Missionary Council (IMC) has influenced mission theology and practice in Central and Eastern Europe, taking into account different contextual realities. (shrink)

The phenomenological tradition is commonly understood as the domain of “philosophy of the subject”, and in this regard it is often criticized in contemporary thought. In respect to it, the originality of Michel Henry is to enter into this tradition by formulating to it an inverse objection: a mistake of the “historic” phenomenology is that it has not been able to conceive the subject in its own being or better, in its “interiority”. The aim of this paper is to determine (...) the meaning and scope of such criticism, the development of its consequences, not only regarding the positive concept of subjectivity but also in the sense of opening its possibilities to renew the understanding of artistic phenomenon. (shrink)

For some contemporary liberal philosophers, a huge concern is liberal neutrality, which is the idea that the state should be neutral among competing conceptions of the moral good pursued by the people. In The Morality of Freedom, Joseph Raz argues that we can neither achieve nor even approximate such neutrality. He shows that neutrality and fairness are different ideas. His notion of neutrality is stricter than John Rawls's and Ronald Dworkin's. Raz shows that both helping and not helping can be (...) neutral or non-neutral, thus neutrality is chimerical. Wojciech Sadurski's appeal to rational expectations does not necessarily tell us which action is neutral. Distinguishing between comprehensive and narrow neutrality, Raz also claims that only the former is a proper response to conflicts. Sadurski criticizes it, claiming that conflicts are comprehensive in a sense which does not deny the adequacy of the narrow neutrality. In reality, however, it is almost impossible to achieve even the narrow neutrality. A theory is presented to explain why political neutrality is almost impossible to achieve. Philosophically, there is no neutral ground for neutral politics. (shrink)

Festschrift in Honor of Barry Smith on the occasion of his 65th Birthday. Published as issue 4:4 of the journal Cosmos + Taxis: Studies in Emergent Order and Organization. Includes contributions by Wolfgang Grassl, Nicola Guarino, John T. Kearns, Rudolf Lüthe, Luc Schneider, Peter Simons, Wojciech Żełaniec, and Jan Woleński.

A collection of papers presented at the First International Summer Institute in Cognitive Science, University at Buffalo, July 1994, including the following papers: ** Topological Foundations of Cognitive Science, Barry Smith ** The Bounds of Axiomatisation, Graham White ** Rethinking Boundaries, Wojciech Zelaniec ** Sheaf Mereology and Space Cognition, Jean Petitot ** A Mereotopological Definition of 'Point', Carola Eschenbach ** Discreteness, Finiteness, and the Structure of Topological Spaces, Christopher Habel ** Mass Reference and the Geometry of Solids, Almerindo E. (...) Ojeda ** Defining a 'Doughnut' Made Difficult, N .M. Gotts ** A Theory of Spatial Regions with Indeterminate Boundaries, A.G. Cohn and N.M. Gotts ** Mereotopological Construction of Time from Events, Fabio Pianesi and Achille C. Varzi ** Computational Mereology: A Study of Part-of Relations for Multi-media Indexing, Wlodek Zadrozny and Michelle Kim. (shrink)

The article is an attempt to pinpoint the areas of Ludwig Wittgenstein aesthetic thought, in which he is crossing the borders principally imposed upon the method and the language of his philosophy. I am directing my attention to metaphysical and mystical motifs of his reflection devoted to aesthetics, the essence of art and the essence of reality. I wish to discuss this issue based on the texts of Arthur C. Danto containing analysis of chosen notions of Wittgenstein’s aesthetic investigations. Additionally (...) in this matter I am appealing to appropriate theses of Leszek Sosnowski and Wojciech Sady, concerning above issues. (shrink)