This is the first, out of two papers, devoted to Andrzej Grzegorczyk’s point-free system of topology from Grzegorczyk :228–235, 1960. https://doi.org/10.1007/BF00485101). His system was one of the very first fully fledged axiomatizations of topology based on the notions of region, parthood and separation. Its peculiar and interesting feature is the definition of point, whose intention is to grasp our geometrical intuitions of points as systems of shrinking regions of space. In this part we analyze separation structures and Grzegorczyk structures, and (...) establish their properties which will be useful in the sequel. We prove that in the class of Urysohn spaces with countable chain condition, to every topologically interpreted representative of a point in the sense of Grzegorczyk’s corresponds exactly one point of a space. We also demonstrate that Tychonoff first-countable spaces give rise to complete Grzegorczyk structures. The results established below will be used in the second part devoted to points and topological spaces. (shrink)

Legal probabilism is the view that juridical fact-finding should be modeled using Bayesian methods. One of the alternatives to it is the narration view, according to which instead we should conceptualize the process in terms of competing narrations of what happened. The goal of this paper is to develop a reconciliatory account, on which the narration view is construed from the Bayesian perspective within the framework of formal Bayesian epistemology.

We generalize the Bolzano-Weierstrass theorem on ideal convergence. We show examples of ideals with and without the Bolzano-Weierstrass property, and give characterizations of BW property in terms of submeasures and extendability to a maximal P-ideal. We show applications to Rudin-Keisler and Rudin-Blass orderings of ideals and quotient Boolean algebras. In particular we show that an ideal does not have BW property if and only if its quotient Boolean algebra has a countably splitting family.

In this article, I discuss parthood status in mereologi- cally interpreted Daoist metaphysics, based on the Daodejing. I depart from the dao and you interrela- tion, which mereologically overlap by sharing parts. I consider the case of a complete overlap, which (a) challenges proper parthood, according to which a part cannot be identical with the whole that it com- poses, and (b) entails the question of identity that, while complying with classical mereology, cannot be consis- tent with Daoist metaphysics. The (...) discussion leads to abandoning proper parthood and antisymmetry axiom from classical axiomatics. It also shows a plausible fur- ther direction for mereological reconstruction. (shrink)

The goal is to sketch a nominalist approach to mathematics which just like neologicism employs abstraction principles, but unlike neologicism is not committed to the idea that mathematical objects exist and does not insist that abstraction principles establish the reference of abstract terms. It is well-known that neologicism runs into certain philosophical problems and faces the technical difficulty of finding appropriate acceptability criteria for abstraction principles. I will argue that a modal and iterative nominalist approach to abstraction principles circumvents those (...) difficulties while still being able to put abstraction principles to a foundational use. (shrink)

With material on his early philosophical views, his contributions to set theory and his work on nominalism and higher-order quantification, this book offers a uniquely expansive critical commentary on one of analytical philosophy’s great ...

Let $\mathcal {I}$ be an ideal on $\omega $. For $f,\,g\in \omega ^{\omega }$ we write $f \leq _{\mathcal {I}} g$ if $f(n) \leq g(n)$ for all $n\in \omega \setminus A$ with some $A\in \mathcal {I}$. Moreover, we denote $\mathcal {D}_{\mathcal {I}}=\{f\in \omega ^{\omega }: f^{-1}[\{n\}]\in \mathcal {I} \text { for every } n\in \omega \}$ (in particular, $\mathcal {D}_{\mathrm {Fin}}$ denotes the family of all finite-to-one functions).We examine cardinal numbers $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathcal {I}} \times \mathcal {D}_{\mathcal (...) {I}}))$ and $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathrm {Fin}}\times \mathcal {D}_{\mathrm {Fin}}))$ describing the smallest sizes of unbounded from below with respect to the order $\leq _{\mathcal {I}}$ sets in $\mathcal {D}_{\mathrm {Fin}}$ and $\mathcal {D}_{\mathcal {I}}$, respectively. For a maximal ideal $\mathcal {I}$, these cardinals were investigated by M. Canjar in connection with coinitial and cofinal subsets of the ultrapowers.We show that $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathrm {Fin}} \times \mathcal {D}_{\mathrm {Fin}})) =\mathfrak {b}$ for all ideals $\mathcal {I}$ with the Baire property and that $\aleph _1 \leq \mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathcal {I}} \times \mathcal {D}_{\mathcal {I}})) \leq \mathfrak {b}$ for all coanalytic weak P-ideals (this class contains all $\bf {\Pi ^0_4}$ ideals). What is more, we give examples of Borel (even $\bf {\Sigma ^0_2}$ ) ideals $\mathcal {I}$ with $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathcal {I}} \times \mathcal {D}_{\mathcal {I}}))=\mathfrak {b}$ as well as with $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathcal {I}} \times \mathcal {D}_{\mathcal {I}})) =\aleph _1$.We also study cardinals $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathcal {J}} \times \mathcal {D}_{\mathcal {K}}))$ describing the smallest sizes of sets in $\mathcal {D}_{\mathcal {K}}$ not bounded from below with respect to the preorder $\leq _{\mathcal {I}}$ by any member of $\mathcal {D}_{\mathcal {J}}\!$. Our research is partially motivated by the study of ideal-QN-spaces: those cardinals describe the smallest size of a space which is not ideal-QN. (shrink)

This article proposes a mereological approach to the dao-you relation in the Daodejing. It is claimed here that dao and you can be conceived of as two integrated subregions, defined in terms of rules of composition and their persistence through time. It is shown that dao is an atemporal object (a fourdimensional unrestricted composition), whereas you is a temporal object (a three-dimensional restricted composition). This particular approach can provide a new understanding of essential issues in Daoist metaphysics.

According to contrastivism in epistemology - advocated chiefly by Jonathan Schaffer - the knowledge relation is not binary (s knows that p) but ternary (s knows that p rather than q). Thus knowledge ascriptions are contrast-sensitive. The aim of this paper is to portray, investigate and assess the details of this view. In the first three sections I focus mainly on arguments for contrastivism. Section fourth is devoted to the contrastivist solution to the skeptical puzzle. In the last three sections (...) I present several problems for contrastivism as well as three main binary explanations for contrast-sensitivity. (shrink)

The goal is to sketch a nominalist approach to mathematics which just like neologicism employs abstraction principles, but unlike neologicism is not committed to the idea that mathematical objects exist and does not insist that abstraction principles establish the reference of abstract terms. It is well-known that neologicism runs into certain philosophical problems and faces the technical difficulty of finding appropriate acceptability criteria for abstraction principles. I will argue that a modal and iterative nominalist approach to abstraction principles circumvents those (...) difficulties while still being able to put abstraction principles to a foundational use. (shrink)

This article investigates the structures of an identifiably Buddhist philosophy of religion, understood as the philosophical exposition and exploration of Buddhist religiosity. I thus theorize what forms a philosophy of religion structured according to Buddhist principles and paradigms might take, address various theoretical and methodological considerations, and survey a range of candidate schemas, which latter are arranged under textual, sectarian, and doctrinal rubrics. Overall, this project is undertaken on the understanding that the study of Buddhism, among other global traditions, need (...) not and should not replicate conceptual structures imposed upon it from without, and that philosophy of religion is enriched by attention to the resolutely plural philosophies of religions worldwide. (shrink)

In the second installment to Gruszczyński and Pietruszczak we carry out an analysis of spaces of points of Grzegorczyk structures. At the outset we introduce notions of a concentric and \-concentric topological space and we recollect some facts proven in the first part which are important for the sequel. Theorem 2.9 is a strengthening of Theorem 5.13, as we obtain stronger conclusion weakening Tychonoff separation axiom to mere regularity. This leads to a stronger version of Theorem 6.10. Further, we show (...) that Grzegorczyk points are maximal contracting filters in the sense of De Vries, but the converse inclusion is not necessarily true. We also compare the notions of a Grzegorczyk point and an ultrafilter, and establish several properties of topological spaces based on Grzegorczyk structures. The main results of the paper are representation and completion theorems for G-structures. We prove both set-theoretical and topological representation theorems for various classes of G-structures. We also present topological object duality theorem for the class of complete G-structures and the class of concentric spaces, both restricted to structures which satisfy countable chain condition. We conclude the paper with proving equivalence of the original Grzegorczyk axiom with the one accepted by us as axiom. (shrink)

One of the standard views on plural quantification is that its use commits one to the existence of abstract objects–sets. On this view claims like ‘some logicians admire only each other’ involve ineliminable quantification over subsets of a salient domain. The main motivation for this view is that plural quantification has to be given some sort of semantics, and among the two main candidates—substitutional and set-theoretic—only the latter can provide the language of plurals with the desired expressive power (given that (...) the nominalist seems committed to the assumption that there can be at most countably many names). To counter this approach I develop a modal-substitutional semantics of plural quantification (on which plural variables, roughly speaking, range over ways names could be) and argue for its nominalistic acceptability. (shrink)

Safety and care for the natural environment are two of the most important values that drive scientific enterprise in twentieth century. Researchers and innovators often develop new technologies aimed at pollution reduction, and therefore satisfy the strive for fulfilment of these values. This work is often incentivized by policy makers. According to EU directive 2006/40/EC on mobile air conditioning since 2013 all newly approved vehicles have to be filled with refrigerant with low global warming potential. Extensive and expensive research financed (...) by leading car manufacturers led to invention of R-1234yf refrigerant with GWP < 1, which was huge improvement. For the proper understanding of this case it will be useful to refer it to the idea of responsible innovation, which is now being developed and quickly attracts attention. I proceed in the following order. Firstly, I present the relevant properties of R-1234yf and discuss the controversy associated with its marketing. Secondly, I examine framework for responsible innovation. In greater detail I discuss the notions of care for future generations and collective responsibility. Thirdly, I apply the offered framework to the case study at hand. Finally, I draw some conclusions which go in two directions: one is to make some suggestions for improving the framework of RI, and the second is to identify missed opportunities for developing truly responsible refrigerant. (shrink)

The purpose of this paper is to compare the notion of a Grzegorczyk point introduced in [19] (and thoroughly investigated in [3, 14, 16, 18]) to the standard notions of a filter in Boolean algebras and round filter in Boolean contact algebras. In particular, we compare Grzegorczyk points to filters and ultrafilters of atomic and atomless algebras. We also prove how a certain extra axiom influences topological spaces for Grzegorczyk contact algebras. Last but not least, we do not refrain from (...) a philosophical interpretation of the results from the paper. (shrink)

Legal institutions are created at a certain point in time, intended to be applied to ‘life’ as it is perceived at the specific moment when they are elaborated and cast into legal form. As a result, legal institutions always already refer, in their original design, to a certain normality, but between the moment of creation of a legal institution and its application to future situations there is always a certain time lag. Some legal institutions—referred to in the paper as “legal (...) survivals” –outlive the epoch in which they were created and continue their legal life long after the conditions which lead to their creation had, in the meantime, disappeared. The aim of this paper is to put forward an archaeologico–genealogical perspective on legal survivals not only as a method of studying continuity of law and the resilience of juridical form, but also as a line of enquiry capable of enriching our understanding of the juridical in its relation to the changing circumstances of life. The study of legal survivals allows to combine three aspects of legal continuity: firstly, the continued use of the same legal forms in different circumstances and for different purposes, whereby the same juridical form is filled with different socio-economic substance; secondly, the gradual adaptation of legal forms to new circumstances; thirdly, the emergence of new legal forms in close reference to old ones. The study of legal survivals allows to address the foundations of law’s claims to authority, based on stability and predictability of juridical forms. It also reveals the complex and multilayered nature of legal form which effectively has the structure of a palimpsest. (shrink)

This article is devoted to the problem of ontological foundations of three-dimensional Euclidean geometry. Starting from Bertrand Russell’s intuitions concerning the sensual world we try to show that it is possible to build a foundation for pure geometry by means of the so called regions of space. It is not our intention to present mathematically developed theory, but rather demonstrate basic assumptions, tools and techniques that are used in construction of systems of point-free geometry and topology by means of mereology (...) and Whitehead-like connection structures. We list and briefly analyze axioms for mereological structures, as well as those for connection structures. We argue that mereology is a good tool to model so called spatial relations. We also try to justify our choice of axioms for connection relation. Finally, we briefly discuss two theories: Grzegorczyk’s point-free topology and Tarski’s geometry of solids. (shrink)

A family $$\mathcal {I}$$ I of subsets of a set X is an ideal on X if it is closed under taking subsets and finite unions of its elements. An ideal $$\mathcal {I}$$ I on X is below an ideal $$\mathcal {J}$$ J on Y in the Katětov order if there is a function $$f{: }Y\rightarrow X$$ f : Y → X such that $$f^{-1}[A]\in \mathcal {J}$$ f - 1 [ A ] ∈ J for every $$A\in \mathcal {I}$$ A (...) ∈ I. We show that the Hindman ideal, the Ramsey ideal and the summable ideal are pairwise incomparable in the Katětov order, where The Ramsey ideal consists of those sets of pairs of natural numbers which do not contain a set of all pairs of any infinite set (equivalently do not contain, in a sense, any infinite complete subgraph), The Hindman ideal consists of those sets of natural numbers which do not contain any infinite set together with all finite sums of its members (equivalently do not contain IP-sets that are considered in Ergodic Ramsey theory), The summable ideal consists of those sets of natural numbers such that the series of the reciprocals of its members is convergent. (shrink)

One of the standard axioms for Boolean contact algebras says that if a region __x__ is in contact with the join of __y__ and __z__, then __x__ is in contact with at least one of the two regions. Our intention is to examine a stronger version of this axiom according to which if __x__ is in contact with the supremum of some family __S__ of regions, then there is a __y__ in __S__ that is in contact with __x__. We study (...) a modal possibility operator which is definable in complete algebras in the presence of the aforementioned axiom, and we prove that the class of complete algebras satisfying the axiom is closely related to the class of modal KTB-algebras. We also demonstrate that in the class of complete extensional contact algebras the axiom is equivalent to the statement: _every region is isolated_. Finally, we present an interpretation of the modal operator in the class of the so-called _resolution contact algebras_. (shrink)

Autor ovog članka uspoređuje Kantov pojam kozmopolitskog prava sa suvremenim liberalnim kozmopolitanizmom teoretičara poput James Bohmana i Davida Helda . Ova dva teoretičara uzimaju Kantovo kozmopolitsko pravo i preoblikuju ga uzimajući u obzir proces globalizacije i činjenicu pluralizma. Nužno je istražiti koliko su duboko ovi autori promijenili uvid u Kantovo kozmopolitsko pravo i njegove implikacije te također koliko su ovi autori preoblikovali klasični liberalno-politički vokabular.

Karol Wojtyła—the future pope John Paul II—chose the human being, especially in its personalistic dimension, as the main point of his philosophical research. Inaccordance with the metaphysical rule agere sequitur esse, he investigated the dynamisms proper to a human being: the reactive dynamism of the human body, the emotive dynamism of the human psyche, and the personalistic dynamism associated with free choice of the will. These allowed him to experience and understand the human being as a complex yet integrated entity. (...) The personal structure of the human being is manifest in terms of selfpossession, self-determination, and self-governance. Thanks to self-possession, human beings experience freedom of the will, which expresses itself in each free act. Being endowed with a free will, the human being is able to grow in freedom but can also lose his freedom. Wojtyła’s philosophical investigations are innovative by way of the use that he made of the philosophy of being according to Thomas Aquinas and the philosophy of consciousness articulated by Husserl. He not only pointed out man’s structure but also presented man as an objective entity in an objective world. Each human being is constituted by his or her inner self, which is absolutely exceptional because it is completely irreducible to anything else in the world. (shrink)

This article departs from a mereological conceptualization of the Daoist metaphysi- cal system in the Daodejing 道德經. I discuss what parthood status applies to dao 道. Whereas it is quite intuitive that you 有—the region of concrete objects—has parthood relationships and compositions (entities made from parts), the other, undif- ferentiated region, dao, poses a considerable problem. This problem can be charac- terized in the following way: (a) dao cannot be characterized as a particular com- position, which entails that it does (...) not include parts. However, (b) dao underpins compositions in you, which entails that it contains compositions or at least parts that make compositions in you. This generates a problem of how compositions are possi- ble with an undifferentiated ontological foundation. I focus on one possible approach to this problem––mereological nihilism, according to which no composition is pos- sible. Assuming nihilism entails dao composed of mereological simples––funda- mental entities, which are not parts. (shrink)

Zygmunt Bauman is not only a sociologist and philosopher reputable in the world of science, he is also a father figure for people interested in the phenomenon of globalization. Bauman investigates how current economic and political changes influence the lives of particular societies. It was important to underline that also economists can make use of Bauman’s ideas but with a few reservations That is why the following crucial areas were proposed relating to economic aspects: the meaning of consumptionism and wastage; (...) global inequalities; the reasons and consequences of the global economic crisis, and some heterodox matters such as happiness, welfare, and well-being, all of which can be helpful in understanding the multidimensional globalization process. (shrink)

The aim of this article is to identify the main challenges for global ethics as an academic discipline. This article assesses the moral and practical justifications for common global principles. Individual and institutional responsibility on the supranational level is connected with the standard of human rights and the relational aspects of the globalised world. It also points out two separate problems which global ethics should aim to solve. The first is metatheoretical and methodological and concerns the discipline's lack of self-reflexiveness. (...) The second is essential and concerns the clash of values . Regarding the second problem, the main future challenge of global ethics is to construct a measurement to bring political decisions closer to morality and more strongly connect rights with responsibilities. (shrink)

This article compares two philosophical traditions and their attitudes to war and violence within the context of international relations. The first refers to Hobbes’ political realism, the second to the Grotian idea of international community. Each of these traditions understands the role of violence and war at an international level differently. From the perspective of political realism, violence is part of anarchistic relations between states and a means for achieving their goals. From the perspective of international community, violence is a (...) factor that needs to be minimized via the mechanisms of peaceful international cooperation between states. Based on the analysis of these two approaches, it is claimed that the Hobbesian perspective can be partly included in the perspective of the English School, which is based on the Grotian tradition. (shrink)

This paper offers a critical reconstruction of the motivations that led to the development of mereology as we know it today, along with a brief description of some problems that define current research in the field.

Mereology in its formal guise is usually couched in a language whose signature contains only one primitive binary predicate symbol representing the part of relation, either the proper or improper one. In this paper, we put forward an approach to mereology that uses mereological sum as its primitive notion, and we demonstrate that it is definitionally equivalent to the standard parthood-based theory of mereological structures.

Brown (The laboratory of the mind. Thought experiments in the natural science, 1991a , 1991b ; Contemporary debates in philosophy of science, 2004 ; Thought experiments, 2008 ) argues that thought experiments (TE) in science cannot be arguments and cannot even be represented by arguments. He rest his case on examples of TEs which proceed through a contradiction to reach a positive resolution (Brown calls such TEs “platonic”). This, supposedly, makes it impossible to represent them as arguments for logical reasons: (...) there is no logic that can adequately model such phenomena. (Brown further argues that this being the case, “platonic” TEs provide us with irreducible insight into the abstract realm of laws of nature). I argue against this approach by describing how “platonic” TEs can be modeled within the logical framework of adaptive proofs for prioritized consequence operations. To show how this mundane apparatus works, I use it to reconstruct one of the key examples used by Brown, Galileo’s TE involving falling bodies. (shrink)

Nagarjuna (c. 150-250), founder of the Madhyamaka or Middle Way school of Buddhist philosophy and the most influential of all Buddhist thinkers aside from the Buddha himself, concludes his masterpiece, Fundamental Verses on the Middle Way, with these baffling verses: -/- For the abandonment of all views He taught the true teaching By means of compassion I salute him, Gautama -/- But how could anyone possibly abandon all views? In Buddhism between Religion and Philosophy, Rafal K. Stepien shows not only (...) how Nagarjuna's radical teaching of no-view or “abelief” makes sense within his Buddhist philosophy, but also how it stands at the summit of his religious mission to care for all living beings. Rather than treating any one aspect of Nagarjuna's ideas in isolation, here his metaphysics, epistemology, and ethics emerge as a single coherent and convincing philosophical-religious system of thought and practice. -/- Grounded in meticulous study of original texts from classical India and China but innovating on the theories and methods underpinning contemporary scholarship East and West, this study shows how profoundly important voices from the diverse religious and philosophical traditions of the world have until now been diminished, distorted, and silenced. In opening up truly global horizons of existing and co-existing in the world, this work challenges the very ways in which we think about religion and philosophy. (shrink)