Book review: Polska filozofia chrześcijańska XX wieku. Stanisław Kamiński, Kazimierz Marek Wolsza [Polish Christian Philosophy: Stanisław Kamiński and Kazimierz Marek Wolsza]. Kraków: Wydawnictwo Naukowe Akademii Ignatianum w Krakowie, 2019, ss. 232.

We show that the relational semantics of the Lambek calculus, both nonassociative and associative, is also sound and complete for its extension with classical propositional logic. Then, using filtrations, we obtain the finite model property for the nonassociative Lambek calculus extended with classical propositional logic.

This paper contributes to the principled construction of tableau-based decision procedures for hybrid logic with global, difference, and converse modalities. We also consider reflexive and transitive relations. For converse-free formulas we present a terminating control that does not rely on the usual chain-based blocking scheme. Our tableau systems are based on a new model existence theorem.

It is shown that de re formulas are eliminable in the modal logic S5 extended with the axiom scheme □∃xφ ⊃ ∃x□φ.

In some presentations of classical and intuitionistic logics, the objectlanguage is assumed to contain (two) truth-value constants: ⊤ (verum) and ⊥ (falsum), that are, respectively, true and false under every bivalent valuation. We are interested to define and study analogical constants ‡, 1 ≤ i ≤ n, that in an arbitrary multi-valued logic over truth-values V = {v1,..., vn} have the truth-value vi under every (multi-valued) valuation. As is well known, the absence or presence of such constants has a significant (...) deductive impact on the logics studied. We define such constants proof-theoretically via their associated I/E-rules in a natural-deduction proof system. In particular, we propose a generalization of the notions of contradiction and explosiveness of a logic to the context of multi-valued logics. (shrink)

In contrast to apes’ seemingly sophisticated skill at producing pointing gestures referentially, the comprehension of other individual’s pointing gestures as a source of indexical information seems to be less pronounced.One reason for apes’ difficulty at comprehending pointing gestures might be that in former studies they were mainly confronted with human declarative pointing gestures, whereas apes have largely been shown to point imperatively and towards humans. In the present study bonobos, chimpanzees and orangutans were confronted with a conspecific’s imperative pointing gesture (...) in a competitive context, therefore mirroring former studies that have investigated apes’ skills at producing these gestures.However, apes in the present study did not use their conspecific’s pointing gestures. Apes have been shown to use indexical information when provided noncommunicatively and to interpret other individuals’ actions in terms of motives. Thus, it is discussed whether apes treat a pointing gesture as intentional act of indexical reference. (shrink)

In contrast to apes' seemingly sophisticated skill at producing pointing gestures referentially, the comprehension of other individual's pointing gestures as a source of indexical information seems to be less pronounced.One reason for apes' difficulty at comprehending pointing gestures might be that in former studies they were mainly confronted with human declarative pointing gestures, whereas apes have largely been shown to point imperatively and towards humans. In the present study bonobos, chimpanzees and orangutans were confronted with a conspecific's imperative pointing gesture (...) in a competitive context, therefore mirroring former studies that have investigated apes' skills at producing these gestures.However, apes in the present study did not use their conspecific's pointing gestures. Apes have been shown to use indexical information when provided noncommunicatively and to interpret other individuals' actions in terms of motives. Thus, it is discussed whether apes treat a pointing gesture as intentional act of indexical reference. (shrink)

We study structural rules in the context of multi-valued logics with finitely-many truth-values. We first extend Gentzen’s traditional structural rules to a multi-valued logic context; in addition, we propos some novel structural rules, fitting only multi-valued logics. Then, we propose a novel definition, namely, structural rules completeness of a collection of structural rules, requiring derivability of the restriction of consequence to atomic formulas by structural rules only. The restriction to atomic formulas relieves the need to concern logical rules in the (...) derivation. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:684 Feminist Studies 43, no. 3. © 2017 by Feminist Studies, Inc. Megan Kaminski This Century This century is full-on burning the past past carrying back lost to re-memory the year brings millennial want: a bright new coat red shoes an end to oil pipelines and student loans encase us all in warmth not waged labor drab curtains pulled aside reveal window onto window echo us many permutations bring (...) responses wrought and metaled down empty that treasury steal back from church coffers there is something that binds more than moth-eaten sweaters more than stripped-soled shoes we wanting we to mean banks burning profits redistributed we holding the soft hands of we Megan Kaminski 685 This Century This century is not so good filled with tsunamis and snowstorms people displaced by capital and rising waters threaten to make even Kansas beach-front I’d like to stick a fork in the eye of the governor and the Koch brothers too help liberate people from bad shit minimum wage jobs and medical bills give all of us something real to be happy about like city parks clean water and a few fewer grams of rocket fuel in the arugula cats sunning themselves on warm days no old dudes wanting to mess with my uterus and a new sundress trimmed with ribbon This Century This century makes me say things about burning and baddies and whether poetry can really do much of anything unacknowledged legislator or just a lady ass atrophying perched in front of a laptop this century makes me write about changing and loving all of you and getting closer with warm-nosed nudges under your chin embraces while wearing my softest of sweaters these poems want to get out of my chair out of the house and the neighborhood out of capital and with people in favor of all of us animals and plants 686 Megan Kaminski This Century This century takes place in the streets in living rooms of friends in shared words exchanged across borders bridging the distance between you and me and we and ours and taking from board rooms and markets this century is full of things eroding making way for bodies for gardens for libraries for a commoning a burning of gates and fences and debts we spring forth in multitudes occupy more than street corners cordoned off we singing we and the streets the open fields... (shrink)

Authorized Polish translation of Rabinowicz, Wlodek "Preference utilitarianism by way of preference change?" In: Grüne-Yanoff, Till and Hansson, Sven Ove, 'Preference change: approaches from philosophy, economics and psychology.' Theory and decision library A. Springer, Dordrecht, Netherlands, pp. 185-206. ISBN 9789048125920. Translated by Krzysztof Saja.

Blumenberg has sometimes described his work as a phenomenology of history. The connection between history and phenomenology is particularly striking in the context of Blumenberg’s contributions to the philosophy of technology. In the course of his analysis of Husserl’s Krisis, Blumenberg develops, as my contribution aims to show, a conception of history in which complete technologization leads to a perfected lifeworld. Blumenberg formulates this partly explicitly within the framework of a three-stage model of history, but there are also implicit insights (...) in Blumenberg’s texts that seem to work with such a structuring of history. (shrink)

Abstract:The term stoic pragmatism was coined by John Lachs for a theory and practice of the good life in individual, social, and cultural contexts. My intention is not only to promote this interesting idea but also to develop it at some points. In the first instance, I propose something that we may call digital-culture public intellectual as a way for stoic pragmatists to be more visible with their teachings nowadays. Indirectly, and at least to some degree, stoic pragmatists may contribute (...) to the task of the humanization of cyberspace despite its massive algorithmizing according to the Big Tech business models. (shrink)

It is shown that the expressive power of second-order propositional modal logic whose modalities are S4.2 or weaker is the same as that of second-order predicate logic.