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)

This Research Topic focuses on the first Sustainable Development Goal (SDG) by the UN, which aims to “end poverty in all its forms everywhere.” Progress toward this goal is evaluated through various targets and indicators. The most recent SDG progress report highlighted how poverty reduction has significantly slowed and worsened, mainly due to the COVID-19 pandemic (United Nations, 2024). This unprecedented emergency has particularly affected informal workers, young people, and women. With the goal of eradicating poverty by 2030 currently off (...) track, intensified action is crucial. Moreover, amid a growing climate crisis, significant efforts are needed to bring the 2030 targets within reach. This Research Topic examines SDG1 from a sociological perspective, focusing on its framing, geographic adaptations, stakeholder involvement, and the influence of social mobility and stratification studies, especially in the context of the challenges of the post-COVID-19 pandemic. (shrink)

Author: Zaporowski Andrzej Title: CULTURE AND CAUSALITY (Kultura a przyczynowość) Source: Filo-Sofija year: 2011, vol:.12, number: 2011/1, pages: 279-289 Keywords: CULTURE, CAUSALITY, ACTION, EVENT, SYMBOLIC RELATIONSHIP Discipline: PHILOSOPHY Language: POLISH Document type: ARTICLE Publication order reference (Primary author’s office address): E-mail: www:The essay addresses the problem of how to link culture and causality. The starting point is an appeal to J. Kmita’s socio-regulative conception of culture where culture is given in terms of the propositional attitudes communally defined. Since human (...) actions are physical events, one can ask if they can enter into the causal relationship with other physical events. The problem is that this relationship is given to an agent through the cultural mediation. The mediation in question is possible due to the symbolic relationship embedded in the so-called symbolic sphere presupposed by Kmita’s conception. The causal relationship is therefore derived from the symbolic relationship. It is also the communal language which expresses the attitudes in question that is of a symbolic nature. Kmita’s conception then allows one to understand not only the communal nature of culture. It also shows how the human beings culturally defined live in a world of causality. (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.

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)

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.

Hypersequent calculus, developed by A. Avron, is one of the most interesting proof systems suitable for nonclassical logics. Although HC has rather simple form, it increases significantly the expressive power of standard sequent calculi. In particular, HC proved to be very useful in the field of proof theory of various nonclassical logics. It may seem surprising that it was not applied to temporal logics so far. In what follows, we discuss different approaches to formalization of logics of linear frames and (...) provide a cut-free HC formalization ofKt4.3, the minimal temporal logic of linear frames, and some of its extensions. The novelty of our approach is that hypersequents are defined not as finite sets but as finite lists of ordinary sequents. Such a solution allows both linearity of time flow, and symmetry of past and future, to be incorporated by means of six temporal rules. Extensions of the basic calculus with simple structural rules cover logics of serial and dense frames. Completeness is proved by Schütte/Hintikka-style argument using models built from saturated hypersequents. (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)

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)

Resumen El objetivo del presente artículo es analizar en la historia del español dos tipos de fórmulas de saludo, entendidas como unidades discursivas propias del acto de habla expresivo que sirven para abrir el canal comunicativo de las relaciones sociales. A través de la búsqueda sistemática en textos del CORDE de hasta finales del siglo XIX, intentaremos hallar (i) los factores sociopragmáticos que desempeñan el papel más importante en cada tipo de saludo, (ii) el origen paradigmático de cada fórmula, (iii) (...) su distribución sociocultural y las preferencias discursivas e informativas, y (iv) su nivel de predominio en determinadas épocas. (shrink)

Bridging Social Inequality Gaps - Concepts, Theories, Methods, and Tools focuses on contemporary discussions around multifaceted causes, explanations, and responses to social disparities. The contributors provide studies related to social and cultural dimensions of inequality, economic and technological dimensions of inequality, environmental dimensions of inequality, and political, ethical, and legal dimensions of inequality, as well as a variety of other perspectives on disparities. The volume also covers crucial issues and challenges for the global, national, regional, and local implementation of public (...) policies to reduce inequalities, including innovative actions, projects, and programs focused on achieving the United Nations Sustainable Development Goals (SDGs). The collection includes chapters encompassing research and practical recommendations from various disciplines such as sociology, economics, management, political science, administrative science, development studies, public health, peace and conflict studies, cultural studies, educational studies, communication studies, and social work. This book is an asset to academic and expert communities interested in theories of social inequality as well as effective measurement tools, public services, and strategies. Moreover, the volume helps students, practitioners, and people working in government, business, and nonprofit organizations to build more equitable social relationships. (shrink)

This volume addresses the ninth Sustainable Development Goal. It focuses particularly on the challenges and complexities of industrial development after the COVID-19 crisis. Issues covered by the volume include, among others, social and cultural aspects of technology transfer and global diffusion of groundbreaking technologies, supply chains and the global economy, redesign of the transport systems, multi-level, cross-sectoral, and multi-sectoral cooperation of various stakeholders, regional and local bottom-up responses to crises, the advances in the access to digital infrastructures as well as (...) information and communications technologies, and the new ideas and approaches relevant for the fields of technological policy, industrial policy, and innovative policy. (shrink)

This volume addresses the eighth Sustainable Development Goal. It not only enquires into its global promulgation and into individual local, national, and international cooperative programs in support of it, but it also considers the framing and elaboration of the goal, its adaptation to particular geographical contexts, stakeholder involvement in it, and the issues concerning decent work conditions worldwide.

This paper shows that Wittgenstein’s situational approach applied to Hume’s is-ought problem leads to the conclusion that this famous Hume thesis is false both in its original version (lack of logical value of deontic sentences) and in its modern understanding (logical separation of deontic sentences and sentences about facts).

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)

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.

This is an extended version of the lectures given during the 12-thConference on Applications of Logic in Philosophy and in the Foundationsof Mathematics in Szklarska Poręba. It contains a surveyof modal hybrid logic, one of the branches of contemporary modal logic. Inthe first part a variety of hybrid languages and logics is presented with adiscussion of expressivity matters. The second part is devoted to thoroughexposition of proof methods for hybrid logics. The main point is to showthat application of hybrid logics (...) may remarkably improve the situation inmodal proof theory. (shrink)

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)

The paper is devoted to the concise description of some Natural Deduction System (ND for short) for Linear Temporal Logic. The system's distinctive feature is that it is labelled and analytical. Labels convey necessary semantic information connected with the rules for temporal functors while the analytical character of the rules lets the system work as a decision procedure. It makes it more similar to Labelled Tableau Systems than to standard Natural Deduction. In fact, our solution of linearity representation is rather (...) independent of the underlying proof method, provided that some form of (analytic) cut is admissible. We will also discuss some generalisations of the system and compare it with other formalizations of linearity. (shrink)

This is a study about man who is a part of the world of physical events, including actions. As a bunch of actions which are conditioned by beliefs and other attitudes, man co-creates communities which emerge and vanish along time. While generating and undergoing changes man is potentially a dynamic and flexible creature who at least partially manages relations with the world, including other men. This study is of an interdisciplinary nature, where the author merges philosophy and cultural anthropology with (...) insight into sociology and communication studies. At the same time, the author takes an anti-essentialist position, where the study is a hypothetical construct. While doing this, the author assembles a particular vocabulary, where action, belief and community are addressed by communication, culture, thickness and the like concepts. (shrink)

We present a detailed proof of the admissibility of cut in sequent calculus for some congruent modal logics. The result was announced much earlier during the Trends in Logic Conference, Toruń 2006 and the proof for monotonic modal logics was provided already in Indrzejczak [5]. Also some tableau and natural deduction formalizations presented in Indrzejczak [6] and Indrzejczak [7] were based on this result but the proof itself was not published so far. In this paper we are going to fill (...) this gap. The delay was partly due to the fact that the author from time to time was trying to improve the result and extend it to some additional logics by testing other methods of proving cut elimination. Unfortunately all these attempts failed and cut elimination holds only for these logics which were proved to satisfy this property already in 2005. (shrink)

The status of the equality predicate as a logical constant is problematic. In the paper we look at the problem from the proof-theoretic standpoint and survey several ways of treating equality in formal systems of different sorts. In particular, we focus on the framework of sequent calculus and examine equality in the light of criteria of logicality proposed by Hacking and Došen. Both attempts were formulated in terms of sequent calculus rules, although in the case of Došen it has a (...) nonstandard character. It will be shown that equality can be characterised in a way which satisfies Došen’s criteria of logicality. In the case of Hacking’s approach the fully satisfying result can be obtained only for languages with a nonempty, finite set of predicate constants other than equality. Otherwise, cut elimination theorem fails to hold. (shrink)

The equivalence connective in ukasiewicz logic has its algebraic counterpart which is the distance function d(x,y) =|x–y| of a positive cone of a commutative -group. We make some observations on logically motivated algebraic structures involving the distance function.

SummaryStarting from late Classical-early Hellenistic age a series of witty, lighthearted and irreverent funerary verse-inscriptions aiming to produce some effect of amusement or laughter appeared on a number of monuments, reaching their apogee during Greek-Roman era. Most of them originated in Asia Minor and Rome. Some earliest examples were related to widespread hedonistic exhortations on tombs. Their later ramifications, consisting of ironical or playful expressions, amusing puns and instances of black humour, were written in a more satirical vein, except with (...) inscriptions dedicated for animals that were rife with sentimental motifs. Remarkably diverse as they were, such verse-inscriptions cannot be defined in terms of a distinctly separate, continuous tradition, but they shared some common features. Lacking – for the most part – conventional and formulaic elements, they struck us as heavily individualised, which sets them apart from the mainstream tradition of funerary poetry. This in turn might shed some light on social standing or/and mentality of individuals who opted for such expressive ways of remembering the dead. (shrink)

The subject of this paper is the controversy between cognitivist philosophy and phenomenology concerning the nature of emotions. This article has a limited scope restricted to the domain of the aesthetic emotions usually dependent on the works of art and literature. The author raises the criticism against the cognitivist stance, this criticism based chiefly on the principles of Max Scheler's phenomenology of emotions.

Philosophy in this text is considered under the model of mise en abyme, which is used in particular in the art of fiction narration. A novel about the process of novel writing is an example of mise en abyme. A film about movie directing is also an example of mise en abyme. A painting showing the artist working on the work of art also has features of mise en abyme. Likewise, mise en abyme philosophy is philosophy that discusses how philosophy (...) is created. Philosophy in such a shape is no longer understood as an endless space “inhabited” by situations, concepts, assertions, philosophical theses which are, however, perceived as if from the inside of that space; by contrast, it starts to be perceived from the outside, from the perspective of activities that form its frame, that frame it. For example, two such framing activities are considered – refining situations which is responsible for the “splendor of truth” that shines forth in them and defying the passage of time when constructing situations which is decisive for their isolation from the stream of life. Philosophy that notices its own frame is anchored in the foundations of everyday life which is something irrefutable in relation to the very inside of philosophy; as a consequence, the idea of epistemological foundationalism may be renewed and recovered for philosophy. (shrink)

The problem of precise characterisation of traditional forms of reasoning applied in mathematics was independently investigated and successfully resolved by Jaśkowski and Gentzen in 1934. However, there are traces of earlier interests in this field exhibited by the members of the Lvov-Warsaw School. We focus on the results obtained by Jaśkowski and Leśniewski. Jaśkowski provided the first formal system of natural deduction in 1926. Leśniewski also demonstrated in some of his papers how to construct proofs in accordance with intuitively correct (...) principles. (shrink)

We present a uniform characterisation of three-valued logics by means of a bisequent calculus (BSC). It is a generalised form of a sequent calculus (SC) where rules operate on the ordered pairs of ordinary sequents. BSC may be treated as the weakest kind of system in the rich family of generalised SC operating on items being some collections of ordinary sequents, like hypersequent and nested sequent calculi. It seems that for many non-classical logics, including some many-valued, paraconsistent and modal logics, (...) the reasonably modest generalisation of standard SC offered by BSC is sufficient. In this paper, we examine a variety of three-valued logics and show how they can be formalised in the framework of BSC. We present a constructive syntactic proof that these systems are cut-free, satisfy the subformula property, and allow one to prove the interpolation theorem in many cases. (shrink)