The immediate inspiration for this text is Tomasz Polak's book "System kościelny czyli przewagi pana K" (The Church System or the Advantages of Mr. K). The author analyses in detail how the "system" works, claiming that it has taken over the church from the very beginning of its existence, absorbing the original vitality of the community. The conclusion he reaches is that the "system" is unreformable. In this article I compare T. Polak's basic thought with what Tomasz (...) class='Hi'>Węcławski wrote years ago about the church. I emphasize that this is the same person who changed his name due to life circumstances. I try to analyze how far the thinking, the way of argumentation, and finally the formulated conclusions have changed. The key word for these considerations is "phantasm." In this light, the question of God "with me, in me, and over me" dies in the face of the workings of the "church system." The phantasm prevails over man and his living relationship to God. "The Church System or the Advantages of Mr. K", is a very sad story about an individual, even though told in an expert and difficult language. Religion, faith, which someone makes the determinant and meaning of life, is something that from the beginning is doomed to drift towards an unshakeable phantasm, something that, in fact, will never come true, except in the most intimate and private dimension. (shrink)

It is argued that recent discussion of the principle of the identity of indiscernibles (PII) and quantum mechanics has lost sight of the broader philosophical motivation and significance of PII and that the `received view' of the status of PII in the light of quantum mechanics survives recent criticisms of it by Muller, Saunders, and Seevinck.

In this paper we investigate computable isomorphisms of Boolean algebras with operators (BAOs). We prove that there are examples of polymodal Boolean algebras with finitely many computable isomorphism types. We provide an example of a polymodal BAO such that it has exactly one computable isomorphism type but whose expansions by a constant have more than one computable isomorphism type. We also prove a general result showing that BAOs are complete with respect to the degree spectra of structures, computable dimensions, expansions (...) by constants, and the degree spectra of relations. (shrink)

Recent experimental work has shown that the truth-value judgments of color predications, i.e. utterances of the form “the leaves on my tree are green” or “these walls are brown,” are influenced by slight changes in the context of utterance (Hansen and Chemla 2013, Ziółkowski, 2021). Most explanations of this phenomenon focus on the semantics of color adjectives. However, it is not clear if these explanations do justice to the nuances of the empirical data on context-sensitivity of color predications (Ziółkowski, 2021). (...) In contrast to the adjectival explanations, Agustin Vicente (2015) has recently proposed that the context-sensitivity of color predications can be explained by invoking the polysemy of the noun. In this paper, we present the results of three studies designed to empirically test this hypothesis: a traditional survey experiment (Study 1), an exploratory correlational study inspired by the semantic integration paradigm (Study 2a), and a follow-up experiment (Study 2b) that was designed to mitigate possible shortcomings of Study 2a. The results of our studies present preliminary evidence against Vicente’s theory. (shrink)

We extend results of Elekes and Máthé on monotone Borel hulls to an abstract setting of measurable space with negligibles. This scheme yields the respective theorems in the case of category and in the cases associated with the Mendez σ-ideals on the plane. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

The classical arguments against metaphysics provided by Immanuel Kant, neopositivists and recently by analytical philosophers focus on the problem of meaning. In my paper I would like to shed a little bit of light on different dimensions of this problem in the metaphysical discourse and make a proposition how to overcome the difficulties that arise from this kind of discourse.

We present the (Lascar) Galois group of any countable theory as a quotient of a compact Polish group by an F_σ normal subgroup: in general, as a topological group, and under NIP, also in terms of Borel cardinality. This allows us to obtain similar results for arbitrary strong types defined on a single complete type over ∅. As an easy conclusion of our main theorem, we get the main result of [K. Krupiński, A. Pillay and T. Rzepecki, Topological dynamics and (...) the complexity of strong types, Israel J. Math.228 (2018) 863–932] which says that for any strong type defined on a single complete type over ∅, smoothness is equivalent to type-definability. We also explain how similar results are obtained in the case of bounded quotients of type-definable groups. This gives us a generalization of a former result from the paper mentioned above about bounded quotients of type-definable subgroups of definable groups. (shrink)

In this interview, Tomasz Zarębski speaks with Allan Janik, co-author of _Wittgenstein’s Vienna_ (1973, with Stephen Toulmin), on the occasion of the 50 th anniversary of the publication of this pathbreaking book. The conversation concerns the circumstances, motivations and reasons for his undertaking the work on the book, as well as its reception and place in Wittgenstein scholarship. A large part of the discussion refers to his perspective of Wittgenstein, Toulmin’s philosophical writings, and Janik’s own vision of philosophy. The (...) interview took place in Innsbruck on 23 rd and 25 th August 2023. (shrink)

Reclamation of a slur involves the creation of a new, positively-valenced meaning that gradually replaces the old pejorative meaning. This means that at a critical stage, the slur is ambiguous. It has been claimed that this ambiguity is polysemy. However, it is far from clear whether the view can explain why the introduction of the new meaning forces the old one out of existence. I argue that this datapoint can be explained by invoking the mechanism of homonymic conflict, and, therefore, (...) that the ambiguity involved in reclamation is homonymy. One generalization that follows from my account is that conventionalized verbal irony, unlike conventionalized metonymy and metaphor, begets homonymy. Along the way, I criticize the standard ways of drawing the distinction between polysemy and homonymy in terms of semantic and etymological relatedness. If the notions of polysemy and homonymy are to be invoked in explanations, they should be understood in terms of how meanings are stored in the mental lexicon. My account also provides an elegant way of conceptualizing the difference between two types of conceptual engineering, namely reclamation and amelioration. (shrink)

My paper builds on the conceptual tools from three interrelated philosophical debates that—as I believe—may help structure important if chaotic discussions about surrogates for living human brains and resolve some practical issues related to regulatory matters. In particular, I refer to the discussions about the “moral precautionary principle” in research ethics (Koplin and Wilkinson 2019); about normative uncertainty in ethics (MacAskill, Bykvist, and Ord 2020), and about the inductive risk problem for animal welfare scientists (Birch 2018). I elucidate upon the (...) possible meanings of the phrase “a too good human brain surrogate” used by Henry T. Greely (2021), and I demonstrate that the evaluation of the practical and regulatory implications of the “goodness” of such surrogates created for research purposes should be sensitive to the possible consequences of two types of errors: the under-attribution and over-attribution of moral status to such beings. Many authors writing about this topic (including Greely 2021, but see also, e.g., Koplin and Savulescu 2019) concentrate only on the first type of error, neglecting the negative consequences of the second type, i.e., over-attribution. (shrink)

Here, we discuss historical, philosophical and technical problems associated with relating logic and relating semantics. To do so, we proceed in three steps. First, Section 1 is devoted to providing an introduction to both relating logic and relating semantics. Second, we address the history of relating semantics and some of the main research directions and their philosophical applications. Third, we discuss some technical problems related to relating semantics, particularly whether the direct incorporation of the relation into the language of relating (...) logic is needed. The starting point for our considerations presented here is the 1st Workshop On Relating Logic and the selected papers for this issue. (shrink)

The paper puts forward a theory of historical modalities that is framed in terms of possible continuations rather than possible worlds or histories. The proposal is tested as a semantic theory for a language with historical modalities, tenses, and indexicals.

Its interpretation, however, is as unsettled now as in the heroic days of Einstein and Bohr.This book focuses on quantum non-locality, the curious quantum ...

We prove that all semisimple varieties of FL ew-algebras are discriminator varieties. A characterisation of discriminator and EDPC varieties of FL ew-algebras follows. It matches exactly a natural classification of logics over FL ew proposed by H. Ono.

Standard deontic logic (SDL) is defined on the basis of possible world semantics and is a logic of alethic-deontic modalities rather than deontic modalities alone. The interpretation of the concepts of obligation and permission comes down exclusively to the logical value that a sentence adopts for the accessible deontic alternatives. Here, we set forth a different approach, this being a logic which additionally takes into consideration whether sentences stand in relation to the normative system or to the system of values (...) under which we predicate the deontic qualifications. By taking this aspect into account, we arrive at a logical system which preserves laws proper to a deontic logic but where the standard paradoxes of deontic logic do not arise. It is a logic of strictly-deontic modalities DR. (shrink)

Św. Tomasz nie napisał nigdy własnego traktatu, w którym wykładałby zasady uprawiania psychologii, podobnie jak nie napisał takiego traktatu odnośnie do innych nauk filozoficznych. Wyjątkiem pozostaje teologia. Pierwsza kwestia, I części Sumy Teologii i piąta oraz szósta kwestia Komentarza do Boecjańskiego dziełka O Trójcy Świętej stanowi bowiem takie traktaty metodologiczne, gdzie Akwinata wyłożył ewidentnie własne poglądy. W przypadku psychologii pozostawił jednak dwie lekcje otwierające Komentarz do Arystotelesowego Traktatu o duszy, w których choć dość literalnie omawia tekst Stagiryty, to formułuje (...) w nim pewien schemat metodologiczny psychologii. Można by sądzić, że przedstawia tam jedynie zawartość komentowanego dzieła, zwłaszcza że styl całej pierwszej części Komentarza jest dość literalny i na pierwszy rzut oka mało znajdujemy tu elementu interpretacyjnego. Uważna analiza pokazuje jednak coś innego. (shrink)