Inspired by Hintikka’s ideas on constructivism, we are going to ‘effectivize’ the game-theoretic semantics for independence-friendly first-order logic, but in a somewhat different way than he did in the monograph ‘The Principles of Mathematics Revisited’. First we show that Nelson’s realizability interpretation—which extends the famous Kleene’s realizability interpretation by adding ‘strong negation’—restricted to the implication-free first-order formulas can be viewed as an effective version of GTS for FOL. Then we propose a realizability interpretation for IF-FOL, inspired by the so-called ‘trump (...) semantics’ which was discovered by Hodges, and show that this trump realizability interpretation can be viewed as an effective version of GTS for IF-FOL. Finally we prove that the trump realizability interpretation for IF-FOL appropriately generalises Nelson’s restricted realizability interpretation for the implication-free first-order formulas. (shrink)

The paper aims to present a critical analysis of the phenomenon and notion of exceptionalism in bioethics. The authors demonstrate that exceptionalism pertains to phenomena that are not (yet) entirely familiar to us and could potentially bear risks regarding their regulation. After an overview of the state of the art, we briefly describe the origins and evolution of the concept, compared to exception and exclusion. In the second step, they look at the overall development debates on genetic exceptionalism, compared to (...) other bioethical debates on exceptionalism, before presenting a detailed analysis of a specific case of early regulation of genetic screening. In the last part, the authors explain the historical background behind the connection between exceptionalism and exclusion in these debates. Their main conclusion is that while the initial stage of the discussion is shaped by the concept of exceptionalism and awareness of risks of exclusion, the later development centers around exceptions that are needed in detailed regulatory procedures. (shrink)

Scholars usually distinguish between testimonial and hermeneutical epistemic injustice in healthcare. The former arises from negative stereotyping and stigmatization, while the latter occurs when the hermeneutical resources of the dominant community are inadequate for articulating the experience of one’s illness. However, the heuristics provided by these two types of epistemic predicaments tend to overlook salient forms of epistemic injustice. In this paper, we prove this argument on the example of the temporality of patients with drug dependence. We identify three temporal (...) dimensions of epistemic injustice affecting drug-dependent patients: the temporal features of their cognitive processes, their individual temporal experience, and the mismatch of social temporality. Notably, the last aspect, which highlights the disparity between the availability of care and its accessibility, does not fit neatly into the categories of testimonial or hermeneutical injustice. (We should note that the International Network of People Who Use Drugs (INPUD) and The Asian Network of People who use Drugs (ANPUD) consider the term “drug addiction” to be associated with disempowerment and negative stereotyping. Instead, they suggest the expression “drug dependence” (INPUD 2020). However, the concept of “drug addiction” is still being used in the current public health, philosophy, and sociology debates that concern the specific field of addiction studies. Replacing the notion of drug addiction with “drug dependence” would not eliminate existing epistemic injustices or allow us to avoid creating new ones, such as those related to ignoring pain claims (O’Brien 2011). Still, for the sake of clarity we will use the notion “drug dependence” when speaking of people while retaining the term “drug addiction” for labelling healthcare practices and the topic for philosophy of healthcare.). (shrink)

In their target article, Cohen and Marks (2025) argue that recognizing something as exceptional is a contextual matter. The authors consider the question of whether psychedelics are exceptional by...

Uncertainty can’t be understood without taking into account both properties of the problem situation and agent’s knowledge about it. The correspondence of knowledge and situation of decision-making is crucial for understanding the onto-epistemological nature of uncertainty. At the same time, this correspondence is the key topic in virtue epistemology, especially in its ‘non-classical’, regulatory, branch, related to works of R. Roberts and W.J. Wood. In this article, genetic consultation is chosen as an example of such a problematic situation since a (...) doctor and a patient explicitly deal with the uncertainty of genetic risks. The problems of communication and joint decision-making in the context of medical-genetic consultation are comprehensively described in bioethics. At the same time, its social dimension is limited to the direct interaction of two individual agents, that allows us to use it as a model for constructing the ethics of uncertainty. In this article, four forms of uncertainty are identified: descriptive, normative and radical uncertainties, and translation uncertainty. Referring to the approaches of virtue epistemology, the author brings each of these forms into conformity with the proposed regulatory principle. The regulations assume that generating or disseminating knowledge under conditions of uncertainty require taking into account the incompleteness of the presented model of reality in its four aspects. A modelled fragment of reality could change in a predictable (descriptive uncertainty) or unexpected (radical uncertainty) way. The goals and values of a model’s user can not be hierarchically ordered, and may also change in the future (normative uncertainty). User’s interpretations of the model may be diverse, and can never be strictly defined by the intentions of the model’s author (indeterminancy of translation, or uncertainty whether success of co-reference is achieved). (shrink)

Semantic framework of the discussion about the equivalence and interchangeability of the original drugs and generics is considered in the article. Generics are identical to the original drugs in terms of chemical structure, nevertheless some patients and doctors consider that generics are less effective and have more severe side effects than original drugs. These discussions are considered as an example of a public deliberation concerning the achievements of technoscience. The conflicting parties determined the identity either from the chemical structure of (...) the drug (according to D. Chalmers – secondary intensional) or from the phenomenal characteristics of the situation of its application (primary intensional). In this regard, the method of resolving the conflict is the alignment of the hierarchy of methods for determining equivalence in biomedicine. The methodology of evidence-based medicine already has such a hierarchy, which makes it possible to determine the validity of outcomes of clinical trial. According to this hierarchy, the phenomenal characteristics of the outcome of treatment (quality and life expectancy of patients) are more important than instrumentally established indicators. Thus, new clinical data on the efficacy and safety of a generic should give the opportunity to cancel the recognition of drug equivalence. More generally, this means that technoscience achievement which directly affects a person can only be assessed by him/her. The recognition of such priority is the basis of the ‘division of linguistic labor’ during public deliberation concerning the achievements of technoscience. (shrink)

The article deals with the problem of compatibility of the extended mind thesis with the concept of epistemic responsibility. This compatibility problem lies at the intersection of two current trends in Virtue Epistemology (VE): the study of extended cognition, and the return of VE to the topic of epistemic responsibility. I give objections to two seemingly independent positions; their acceptance makes it difficult or even impossible to make the concept of epistemic responsibility applicable to the agents of digital society whose (...) cognition is extended. The core of both positions can be illustrated by the following thesis: “Since the subject cannot voluntarily change his/her beliefs, we cannot ascribe to him/her either epistemic responsibility or intellectual virtues that allow him/her to take responsibility”. The counter-arguments to this thesis are based on the distinction between the causal (responsibility-in) and normative (responsibility-for) components of responsibility. The absence of the former allows us to characterize the subject as not responsible, the absence of the latter as irresponsible. I propose two conceptual foundations that can make possible the consistent talk about the epistemic responsibility of an extended subject. 1) The subject may not be responsible for the beliefs taken from the epistemic environment, but the subject bears significant responsibility for what environment he finds himself in. 2) Being epistemically responsible means deliberately reducing the number of possible causal excuses – excuses based on agent’s unresponsibiity due to his causal dependence on his epistemic environment (‘cognitive extensions’). (shrink)

We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertions t: F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs. It contributes to the studies of the well-known Justified True Belief vs. Knowledge problem. We state a general Correspondence Theorem showing that behind each epistemic modal logic, there is a (...) robust system of justifications. This renders a new, evidence-based foundation for epistemic logic. As a case study, we offer a resolution of the GoldmanRed Barns in Justification Logic. Furthermore, we formalize the well-known Gettier example and reveal hidden assumptions and redundancies in Gettier’s reasoning. (shrink)

Justification Logic provides an axiomatic description of justifications and delegates the question of their nature to semantics. In this note, we address the conceptual issue of the logical type of justifications: we argue that justifications in the logical setting are naturally interpreted as sets of formulas which leads to a class of epistemic models that we call modular models . We show that Fitting models for Justification Logic naturally encode modular models and can be regarded as convenient pre-models of the (...) former. (shrink)

Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong negation. These concepts are studied in the setting of paraconsistent logic.

The article presents a new view on the problem of educating the spiritual security of the personality from the positions of axiological, culturological, civilizational, systemic, and anthropological approaches, on which the research methodology is based. The article describes the basic concepts of research: spirituality, culture, spiritual awakening, spiritual security, and presents the author’s definition of the concept of spiritual security of the personality. The article describes the cultural ideals of coziness in different countries of the world, which allowed us to (...) highlight the features and prove the importance of leading a spiritual way of life, the essence of which is a person’s acquiring of a state of inner peace, coziness, security and which is accompanied by the achievement of pleasure from life. The principles of educating the spiritual security of the personality have been defined. They include the principle of spiritualization, the principle of cooperation, the principle of “live” dialogue based on spiritual and cultural values. The authors have identified the main threats to the spiritual security of the personality and described the ways to overcome them, among which special attention is paid to the importance of reviving the spiritual and cultural educational component, which will be the first step towards educating a positive personality with a human face, the humane, altruistic, creative personality focused on creation, not destruction. (shrink)

While Foucault’s work on biopolitics continues to inspire diverse studies in a variety of disciplines, it has largely been missing from the debates on the possibility of “affirmative biopolitics” which have been primarily influenced by the work of Agamben and Esposito. This article restores Foucault’s work to these debates, proposing that his final lecture course at the Collège de France in 1983–1984 developed a paradigm of affirmative biopolitics in the reading of the Cynic practice of truth-telling ( parrhesia). The Cynic (...) problematization of the relation between truth and life and their transvaluation of conventional truths by relocating them to the domain of bare life not only seeks to transform one’s life in accordance with the truth but also, through the confrontation with the existing conventions and norms, to transform the world as such. Cynic parrhesia is thus biopolitical, insofar as it reclaims the power of one’s life from the social order and its rationalities of government and applies it to oneself, investing one’s existence with truth. Since Foucault developed this reading of Cynicism in the context of his political engagement on behalf on East European dissidents, the article proceeds to analyse the resonances between parrhesia and Václav Havel’s idea of “living within the truth,” elaborating the biopolitical significance of both practices. We conclude by addressing the implications of our interpretation for Foucault scholarship and the wider debates on biopolitics. (shrink)

У статті досліджується проблема розрізнення та інтерпретації екзистенціального та академічного екзистенціалізму в теології Жака Марітена. Автор аналізує також основні положення концепції «інтегрального гума- нізму» Жака Марітена. Доводиться, що неотомізм Марітена поєднав раціонально-філософські ідеї з істинами богослов'я, синтезував погляди феноменології, екзистенціалізму, герменевтики, персоналізму та інших напрямків сучасної філософії.

Earlier algebraic semantics for Belnapian modal logics were defined in terms of twist-structures over modal algebras. In this paper we introduce the class of BK -lattices, show that this class coincides with the abstract closure of the class of twist-structures, and it forms a variety. We prove that the lattice of subvarieties of the variety of BK -lattices is dually isomorphic to the lattice of extensions of Belnapian modal logic BK . Finally, we describe invariants determining a twist-structure over a (...) modal algebra. (shrink)

The article introduces the concept of mega-essay as an integrated format into literary circulation in the era of postmodernism. Its specificity is outlined in other forms of ensemble association of essay works: mega-essay as an integrated formation is a consolidated format, it differs from other forms of essay compilations with greater completeness, more thorough basis of design. It has a closed structure, because all its structural components are interconnected. They are closely related to the author's intention, outlined in the preface (...) or introduction, concluded on the basis of causal and associative principles. Based on the analyzed works of Ortega y Gasset, O. Zabuzhko’s «Notre Dame dʼUkraine», N. Zborovska’s «My Lesia Ukrainka», etc. conclusions are made about specific features of the mega-essays, in which the phenomenon chosen for comprehension is described in detail by incorporating internal and external contexts, authoritative references, other works, and if necessary, with the dominance of the essayistic method of presentation of opinions, related to the personal views of the author. Emphasis is placed on the affinity of ideas and selected essay formats of Ortega y Gasset and O. Zabuzhko, given their content and structural organization. Conclusions are made about the role and significance of essays of this format in postmodern European literature. (shrink)

Im Zentrum der Monographie von Claudia Rapp steht die Figur des christlichen Bischofs im Kontext der spätantiken Gesellschaft. Das Buch besteht aus zwei Teilen und einem Epilog. Der erste Teil (S. 1–152) erfüllt eine zweifache Aufgabe: Er bietet (1.) eine Übersicht über die relevante Forschungsliteratur und Positionierung der vorliegenden Arbeit in der Forschungslandschaft und (2.) die Präsentation des von der Verf. entworfenen Erklärungsmodells, das die gesamte Untersuchung konzeptuell bestimmt. Im zweiten Teil (S. 155–289) betrachtet die Verf. die Entwicklung der Rolle (...) des christlichen Bischofs im Kontext spätantiker Städte und Römischen Reiches vom 3. bis zum 6. Jahrhundert anhand von archäologischem, hagiographischem und juristischem Quellenmaterial. Im Epilog (S. 290–302) wird die Figur des Bischofs im Spiegel der Grabinschriften prominenter Amtsträger skizziert. Ein Quellen- und Literaturverzeichnis sowie ein Index beschließen den Band (S. 303–346). (shrink)

In the article the author analyzes the phenomenon of ideological work from the socio-philosophical point of view and conducts general conceptualization of ideological work process in the Armed Forces of Ukraine. The author proposes his own variant of definition of object, functions, the main tasks of ideological work in the Ukrainian army. The main goal of ideological work in the Armed Forces of Ukraine is to achieve and maintain high morale of the Armed Forces personnel, to train in military servicemen (...) the sense of personal responsibility for protection of Motherland, to understand the principles of state policy and measures taken in the interest of ensuring national and international security. The above goal is achieved through realization of the objective function, which lies in the ideological motivation of military servicemen towards conscientious performance of military duty and defense of the homeland, implemented under the formula "knowledge - attitude - motivation." After decomposition of the objective function of ideological work in the Armed Forces of Ukraine, the author has singled out a number of working functions - genetic, epistemological, logical, methodological, methodical, informational, propagandistic, agitational, worldview, regulatory, mobilizational, educational, counter propagandistic, protective, cultural educational, spiritually educational, evaluative ones. The author has defined situations in which genetic function of ideological work in the Armed Forces can be noticeably manifested: the formation of a qualitatively new principles of state construction in the context of social transformation; formation of a qualitatively new principles of military construction and military-political course of the state in the context of military and political changes in the international arena, as well as in the middle of military- political alliances; in the period of preparation for the war, during the direct military operations, in the postwar period with the aim of establishing of "victory image" and "victorious war image " in the media and in the public consciousness. (shrink)

The purpose of the research is to determine the degree of influence of the participants of any system on the organization of operational and strategic projects, the specifics of organizing interaction with stakeholders in order to meet their own needs and the needs of stakeholders for security, and an increase in personal satisfaction. In the article, the authors focus on key groups of stakeholders and consider the issues of managing relations with media organizations, government bodies, business partners, the scientific community, (...) investors and the organization's personnel. Scientific novelty lies in the combination of previously incompatible managerial functions of leaders to achieve the best result. As a result, recommendations were developed for the direction of development of the activities of stakeholders in Russia. (shrink)

The cult and ritual sphere is an important component of the religious complex, which is usually understood as a collection of ritual acts related to the worship of supernatural reality and aimed at achieving the bond of the believer with the object of worship. As an inalienable attribute of the religious phenomenon, the cult was created along with its occurrence and is characterized by the complication of manifestation in the process of historical development. Having an amazingly wide arsenal of expression, (...) the ritual is usually formed on a specific religious basis and includes the cultural and artistic means of realization, ethnological features of embodiment, political and ideological factors of the order. In addition, at the level of interreligious interaction, the ritual ritual complex accumulates many elements of previous beliefs, symbolic and symbolic nature of which allows us to speak about the continuity of the religious tradition. In fact, this feature of ceremonial actions gives grounds to speak of a ritual ritual complex as a unique symbiotic entity, in spite of the fact that religious adherents are often considered to be an exclusive ritual, that is to say, the indisputable nature of their cult professed, whereas in the perception and appreciation of the wider public, associate with the top national achievements, sacred property. (shrink)

У статті розглядається проблема концептуального визначення методологічних та ідейних підвалин екзистенціальної діалектики М. Бердяєва, яка світоглядно трансформувала православ’я, а також інтерпретація ним екзистенціальної природи духовного. Доводиться, що М. Бердяєв розглядає людське пізнання і віру як динамічні форми людського буття, що зближує його погляди не лише з ідеями С. К’єркеґора, але й з систематичною теологією П. Тілліха. Аналізуються особливості екзистенціальної христології М. Бердяєва, в якій роль людини значно підвищується саме за рахунок применшення значення Бога, тобто, коли людина стає співтворцем «нового» духовного (...) світу поряд з Богом. (shrink)

And so that there may be less difficulty in understanding what I shall say on this matter, I should like that those not versed in anatomy should take the trouble, before they read this, to have cut up before their eyes the heart of some large animal that has lungs—for it is in all respects sufficiently similar to the heart of man….

Byzantine intellectuals not only had direct access to Neoplatonic sources in the original language but also, at times, showed a particular interest in them. During the Early Byzantine period Platonism significantly contributed to the development of Christian doctrines and, paradoxically, remained a rival world view that was perceived by many Christian thinkers as a serious threat to their own intellectual identity. This problematic relationship was to become even more complex during the following centuries. Byzantine authors made numerous attempts to harmonize (...) Neoplatonic doctrines with Christianity as well as to criticize, refute and even condemn them. The papers assembled in this volume discuss a number of specific questions and concerns that drew the interest of Byzantine scholars in different periods towards Neoplatonic sources in an attempt to identify and explore the central issues in the reception of Neoplatonic texts during the Byzantine era. This is the first volume of the sub-series "Byzantinisches Archiv - Series Philosophica", which will be dedicated to the rapidly growing field of research in Byzantine philosophical texts. (shrink)

This paper sheds light on the relationship between the logic of generalized truth values and the logic of bilattices. It suggests a definite solution to the problem of axiomatizing the truth and falsity consequence relations, \ and \ , considered in a language without implication and determined via the truth and falsity orderings on the trilattice SIXTEEN 3 . The solution is based on the fact that a certain algebra isomorphic to SIXTEEN 3 generates the variety of commutative and distributive (...) bilattices with conflation. (shrink)

Coronavirus disease 2019 (COVID-19) first appeared in China in late 2019 and since then it has become a pandemic. Various countries, in accordance with their cultures, have adopted different approaches to deal with the spread of this disease. The dimensions of this disease and its global spread are such that it will certainly have enormous effects on various aspects of human life for many years. One of these issues is examining the approach of religious countries in dealing with this crisis. (...) The issue of science and religion is one of the main issues in the philosophy of religion. A historical event that human society is struggling with today is the COVID-19 crisis. The issues of religion and science were intertwined during the COVID-19 outbreak, contrary to what some thought. This shows that the opposition between religion and science is not real but aims to attack religion without a valid reason. Given the importance of the subject, this article addresses two aspects of people’s exposure to religion during the COVID-19 period. On the one hand, the researchers’ field observations indicate that group of citizens has turned towards religious teachings since the beginning of the COVID-19 crisis. On the other hand, another group of citizens have distanced themselves from religiosity, raising the duality of science and religion.Contribution: This article describes the dual attitude of citizens towards religiosity due to the occurrence of COVID-19, which has not been previously considered in research. (shrink)

This article addresses the relationship between ontology and politics in Jean-Luc Nancy’s theory of democracy by probing the implications of his latest ontological innovation, the concept of struction. We argue that Nancy’s democracy is a mode of politics that makes the radical pluralism of struction legitimate, opening and guarding a political space for the coexistence of the incommensurable. From this perspective, and despite Nancy’s own skepticism about the concept of biopolitics, the notion of struction opens a pathway for theorizing democracy (...) in a biopolitical key as the regime of coexistence of radically incommensurable forms of life in the absence of any coordinating principle. We nonetheless take issue with Nancy’s prescription for democracy to remain devoid of any political affirmation of its own. Instead, we suggest that the prescriptive content of democracy consists in the affirmation of the contingency of all the forms of life that coexist in it, which implies their freedom, equality, and comm... (shrink)

This work treats the problem of axiomatizing the truth and falsity consequence relations, ⊨ t and ⊨ f, determined via truth and falsity orderings on the trilattice SIXTEEN 3 (Shramko and Wansing, 2005). The approach is based on a representation of SIXTEEN 3 as a twist-structure over the two-element Boolean algebra.

The relationships between various modal logics based on Belnap and Dunn’s paraconsistent four-valued logic FDE are investigated. It is shown that the paraconsistent modal logic \, which lacks a primitive possibility operator \, is definitionally equivalent with the logic \, which has both \ and \ as primitive modalities. Next, a tableau calculus for the paraconsistent modal logic KN4 introduced by L. Goble is defined and used to show that KN4 is definitionally equivalent with \ without the absurdity constant. Moreover, (...) a tableau calculus is defined for the modal bilattice logic MBL introduced and investigated by A. Jung, U. Rivieccio, and R. Jansana. MBL is a generalization of BK that in its Kripke semantics makes use of a four-valued accessibility relation. It is shown that MBL can be faithfully embedded into the bimodal logic \ over the non-modal vocabulary of MBL. On the way from \ to MBL, the Fischer Servi-style modal logic \ is defined as the set of all modal formulas valid under a modified standard translation into first-order FDE, and \ is shown to be characterized by the class of all models for \. Moreover, \ is axiomatized and this axiom system is proved to be strongly sound and complete with respect to the class of models for \. Moreover, the notion of definitional equivalence is suitably weakened, so as to show that \ and \ are weakly definitionally equivalent. (shrink)

The article is devoted to the systematic study of the lattice εN4⊥ consisting of logics extending N4⊥. The logic N4⊥ is obtained from paraconsistent Nelson logic N4 by adding the new constant ⊥ and axioms ⊥ → p, p → ∼ ⊥. We study interrelations between εN4⊥ and the lattice of superintuitionistic logics. Distinguish in εN4⊥ basic subclasses of explosive logics, normal logics, logics of general form and study how they are relate.

The subject of this article is the concept of natural liberation in classical Sāṃkhya. On the basis of the Sāṃkhyakārikā by Īśvarakṛṣṇa and its traditional commentaries, I will attempt to demonstrate that liberation from suffering in Sāṃkhya is not the result of rational inquiry—the prevailing view among contemporary scholars. The Sāṃkhya does not necessarily prescribe yogic practice as argued by other scholars. Instead, I will defend a position expressed by K.C. Bhattacharyya and Frank R. Podgorski, according to which liberation in (...) classical Sāṃkhya is a natural and spontaneous process of suffering transforming into its own cure. I will argue that although traditional authorities may disagree over the form the liberating process takes on the phenomenal level, there is a general agreement that the natural forces are the primary drives and agents of liberation. (shrink)

Neuroscience has established several brain pathways that process visual information. Distinct neural circuits analyze body appearance and movement providing information about the person’s cognitive and emotional states. The activity of the pathways depends on the salience of visual stimuli for the organism in the given circumstances. Since ballet performances are not among the crucial events for the viewer’s organism, not all viewers perceive and interpret bodily signs that express the mental state of the dancer. Treatment of the dancer as close (...) other activates the neural circuits that elaborate emotions, this enables the viewer to feel the internal state of the dancer and enrich the interpretation of the scenic action. (shrink)

The article "Protestantism: to the causes of growth and spread at an early stage of its development" by V.Shevchenko deals with the epochmaking phenomenon of Protestantism, its exceptional place, role and significance in the history of Christian progress during past five hundred years. Special attention is dedicated to disclosure of number of some reasons, which caused the appearance of Protestantism.

We outline an intuitionistic view of knowledge which maintains the original Brouwer–Heyting–Kolmogorov semantics for intuitionism and is consistent with the well-known approach that intuitionistic knowledge be regarded as the result of verification. We argue that on this view coreflectionA→KAis valid and the factivity of knowledge holds in the formKA→ ¬¬A‘known propositions cannot be false’.We show that the traditional form of factivityKA→Ais a distinctly classical principle which, liketertium non datur A∨ ¬A, does not hold intuitionistically, but, along with the whole of (...) classical epistemic logic, is intuitionistically valid in its double negation form ¬¬(KA¬A).Within the intuitionistic epistemic framework the knowability paradox is resolved in a constructive manner. We argue that this paradox is the result of an unwarranted classical reading of constructive principles and as such does not have the consequences for constructive foundations traditionally attributed it. (shrink)

Let K be the least normal modal logic and BK its Belnapian version, which enriches K with ‘strong negation’. We carry out a systematic study of the lattice of logics containing BK based on: • introducing the classes of so-called explosive, complete and classical Belnapian modal logics; • assigning to every normal modal logic three special conservative extensions in these classes; • associating with every Belnapian modal logic its explosive, complete and classical counterparts. We investigate the relationships between special extensions (...) and counterparts, provide certain handy characterisations and suggest a useful decomposition of the lattice of logics containing BK. (shrink)

The book represents a comprehensive account of the principles of the philosophy of the pseudoabsolute and is intended for readers interested in the issues of theoretical philosophy. It is also meant for a wide range of readers interested in the relative and absolute nature of human mentality.

In this paper individual proofs are integrated into provability logic. Systems of axioms for a logic with operators “A is provable” and “p is a proof of A” are introduced, provided with Kripke semantics and decision procedure. Completeness theorems with respect to the arithmetical interpretation are proved.

We prove here that the intuitionistic theory $T_{0}\upharpoonright + UMID_{N}$ , or even $EEJ\upharpoonright + UMID_{N}$ , of Explicit Mathematics has the strength of $\prod_{2}^{1} - CA_{0}$ . In Section I we give a double-negation translation for the classical second-order $\mu-calculus$ , which was shown in [ $M\ddot{o}02$ ] to have the strength of $\prod_{2}^{1}-CA_{0}$ . In Section 2 we interpret the intuitionistic $\mu-calculus$ in the theory $EETJ\upharpoonright + UMID_{N}$ . The question about the strength of monotone inductive definitions in (...) $T_{0}$ was asked by S. Feferman in 1982, and - assuming classical logic - was addressed by M. Rathjen. (shrink)

The article addresses Giorgio Agamben’s critical commentary on the global governance of the Covid-19 pandemic as a paradigm of his political thought. While Agamben’s comments have been criticized as exaggerated and conspiratorial, they arise from the conceptual constellation that he has developed starting from the first volume of his Homo Sacer series. At the centre of this constellation is the relation between the concepts of sovereign power and bare life, whose articulation in the figure of homo sacer Agamben traces from (...) the Antiquity to the present. We shall demonstrate that any such articulation is impossible due to the belonging of these concepts to different planes, respectively empirical and transcendental, which Agamben brings together in a problematic fashion. His account of the sovereign state of exception collapses a plurality of empirical states of exception into a zone of indistinction between different exceptional states and the normal state and then elevates this very indistinction to the transcendental condition of intelligibility of politics as such. Conversely, the notion of bare life, originally posited as the transcendental condition of possibility of positive forms of life, is recast as an empirical figure, whose sole form is the absence of form. We conclude that this problematic articulation should be abandoned for a theory that rather highlights the non-relation between sovereign power and bare life, which conditions the possibility of resistance and transformation that remains obscure in Agamben’s thought. (shrink)

The Crimea Conference is by all means an extremely complex historical event. Any attempt to estimate its role and significance without analyzing its ethical components would unavoidably result in unduly simplifying the historical reality of the time, as well as in forming erroneous assumptions that would necessarily be used in the analysis of the causes of Cold War. A thorough examination will show that as far as the ‘ethical’ issues are concerned, there are significant developments with regard to general methodology, (...) as well as its application to the sources. Generations of historians who have addressed the issue of Yalta Conference, although they have not been able to form a scientific, distinct ‘ethical’ tradition so far, have developed all the necessary prerequisites for its establishment. This is evident in the possibility of segmenting the issue in two parts on the one hand, and on the other in the availability of sufficient sources, structured databases, and selected outstanding works. Still, there are no studies about the Yalta Conference so far that address exclusively ethical issues concerning ‘good’ and ‘evil,’ ‘morality,’ ‘duty,’ and ‘honor.’ Although historiographical approaches are to a large extent dependent upon ethical viewpoints, in the case of Yalta agreements so far there have been no techniques available, so as to connect historical accounts with ideology, and historical facts with their philosophical background. In a sense, the situation is quite the same as it is with the study of prehistory: although there is an abundance of data and facts that can be primarily processed, there are no methodological guidelines, nor any devices to classify and explain them. This is also typical for any question raised about the ethics of the Yalta agreements in February 1945. (shrink)

The problematic of biopolitics has become increasingly important in the social sciences. Inaugurated by Michel Foucault's genealogical research on the governance of sexuality, crime and mental illness in modern Europe, the research on biopolitics has developed into a broader interdisciplinary orientation, addressing the rationalities of power over living beings in diverse spatial and temporal contexts. The development of the research on biopolitics in recent years has been characterized by two tendencies: the increasingly sophisticated theoretical engagement with the idea of power (...) over and the government of life that both elaborated and challenged the Foucauldian canon and the detailed and empirically rich investigation of the concrete aspects of the government of life in contemporary societies. Unfortunately, the two tendencies have often developed in isolation from each other, resulting in the presence of at least two debates on biopolitics: the historico-philosophical and the empirical one. This Handbook brings these two debates together, combining theoretical sophistication and empirical rigour. The volume is divided into five sections. While the first two deal with the history of the concept and contemporary theoretical debates on it, the remaining three comprise the prime sites of contemporary interdisciplinary research on biopolitics: economy, security and technology. Featuring previously unpublished articles by the leading scholars in the field, this wide-ranging and accessible companion will both serve as an introduction to the diverse research on biopolitics for undergraduate students and appeal to more advanced audiences interested in the current state of the art in biopolitics studies. (shrink)

_Purpose._ The authors of this article aim to reveal how motivation and legitimacy ensure the normativity of the structuring and genesis of multiple social identity. _Theoretical basis._ Social constructivism was chosen as a research methodology. It reveals social identity as an identity constructed by its bearer on the basis of ready-made versions of social identity proposed by social groups and society. Social circles, identified by Georg Simmel, unite representatives of different social groups into a wider oneness, which can be interpreted (...) as a multiple social identity, and the motivation for its formation can be identified on the basis of Weber’s concept of legitimacy. _Originality._ Identifying the structure and genesis of a multiple social identity creates prerequisites for establishing its normative foundations, as well as for a specific analysis of the procedures for achieving its motivation and legitimacy. Georg Simmel’s concept of social virtues promotes consideration of the basic virtues of an individual as those that enable one’s to be a member of various social groups in which these virtues are manifested. _Conclusions._ The social virtues present in the social identities that are part of a multiple social identity determine not only the social status of these individuals in these social groups but also the ranking and normative significance of these groups for this individual. If the observance of virtues in a certain social group causes a higher motivation of an individual’s behavior, then this group acquires a higher legitimacy for her/him. Using the example of virtues, it is possible to search for other possible grounds for the formation of multiple social identity. Such grounds are primarily other characteristics of key social practices that support different social groups. (shrink)