If knowledge is factive, it is not voluntary. In the paper, I discuss this relation within the framework of the theory of knowledge proposed by Adam Grobler. It directly questions the factivity of knowledge and indirectly assumes voluntariness. So, in fact, this theory shows how the acceptance of voluntariness leads to the rejection of factivity. I argue that the exact opposite is true by defending the factivity of knowledge. I also show that Grobler’s theory of knowledge is the variation of (...) Lewis’s relevant alternative approach to knowledge. (shrink)

Recently predominant forms of anti-realism claim that all truths are knowable. We argue that in a logical explanation of the notion of knowability more attention should be paid to its epistemic part. Especially very useful in such explanation are notions of group knowledge. In this paper we examine mainly the notion of distributed knowability and show its effectiveness in the case of Fitch’s paradox. Proposed approach raised some philosophical questions to which we try to find responses. We also show how (...) we can combine our point of view on Fitch’s paradox with the others. Next we give an answer to the question: is distributed knowability factive? At the end, we present some details concerning a construction of anti-realist modal epistemic logic. (shrink)

In this paper, we indicate how Jan Woleński’s non-linguistic concept of the norm allows us to clarify the deontic relationship between sentences and the given normative system. A relationship of this kind constitutes a component of the metalogic of relating deontic logic, which subjects the logical value of the deontic sentence to the logical value of the constituent sentence and its relationship with a given normative system in the accessible possible worlds.

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)

Contextualism is an epistemological claim that truth-conditions of knowledge ascribing sentences depend on context in which they are uttered. The discussion concerned with its background and assumptions is predominant in recent epistemology. However, contextualism is known better as the suggested solution for skepticism about the external world. In this paper I present one of the most important contextualist theory which have been proposed in 90's by Keith DeRose. In what follows I outline this proposal's main sources, i.e. i) a relevant (...) alternative theory, ii) Nozick's definition of knowledge and iii) two earlier contextualist ideas made by David Lewis and Gail Stine. Next, I consider some weak aspects of this theory that have been pointed out by critics. (shrink)

Praca jest poświęcona negacji dyskursywnej (metajęzykowej). Omawiane są jej funkcje (np. sprostowanie, uwypuklenie, zaskoczenie), rodzaje (np. implikacyjna, językowa, prozodyczna) i własności (np. pozorna sprzeczność, pragmatyczne odkodowanie, przytoczenie, a nie użycie, brak konstrukcji z prefiksem „nie”, brak konstrukcji z zaimkami negatywnymi). Następnie rozpatrzona została możliwość, że negacja dyskursywna jest jedynie szczególnym przypadkiem innych rodzajów negacji, w szczególności negacji kontrastywnej lub illokucyjnej. Dalej postawiono pytanie, czy w przypadku negacji dyskursywnej mamy do czynienia ze zjawiskiem semantycznym czy pragmatycznym, jak również, czy jest możliwe (...) ujęcie negacji dyskursywnej w ramach mechanizmu konwersacyjnego nazywanego „przywołaniem echem”. (shrink)

tom I. Między pragmatyką a semantyką -- tom 2. Między semantyką a epistemologią.

Poznawalność jako modalność de re: pewne rozwiązanie paradoksu Fitcha W artykule staramy się znaleźć nowe, intuicyjne rozwiązanie paradoksu Fitcha. Twierdzimy, że tradycyjne wyrażenie zasady poznawalności opiera się na błędnym rozumieniu poznawalności jako modalności de dicto. Zamiast tego proponujemy rozumieć poznawalność jako modalność de re. W artykule przedstawiamy minimalną logikę poznawalności, w której zasada poznawalności jest ważna, ale paradoks Fitcha już nie obowiązuje. Logikę charakteryzujemy semantycznie, a także poprzez podejście aksjomatyczne i tabelaryczne.

This book is dedicated to the life and work of logician Janusz Czelakowski on the topic of logical consequence. It consists of three parts – a biography, a survey and research sections. The volume begins with an autobiographic chapter by Janusz Czelakowski followed by a historical chapter written by Jacek Malinowski. The survey section forms the backbone of the volume with each chapter covering one of Janusz Czelakowski’s results. They focus on his results in the area of logical consequence, demonstrate (...) how his results influenced following research, and presents potential future results, problems and applications. This volume is of interest to logicians and mathematicians. (shrink)

According to a brief and very general definition Cognitive Science is an interdisciplinary scientific study of how information is represented and transformed in a human nervous system. “Information”, “representation” and “transformation” are keywords here. Many disciplines bring considerable contribution to Cognitive Science. Logic is one of them. Logic investigates these rules which allow us to recognize valid reasonings and distinguish them from those that fail to fulfill the condition of valid- ity. Thus logic investigates some representation (or representations) of reasoning. (...) Significant part of information transformed in nervous system is related to reasoning and inference. This fact opens special perspectives on applying Logic in Cognitive Science both in representing as well as in transforming information. Any formal logical system constitutes a kind of representation of a class of propositions considered as sentence content. In this way each logical system provides a representation of a broad class of belief states. At the same time any inference relation, related to a given logical system, represents a transformation of some type of information. As a consequence it would be hard to find logical investigations which could not be applied in Cognitive Science. Such an idea guided us while we were preparing the present volume. (shrink)

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)

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)

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)

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.

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)

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)

Graham Priest claims that Asian philosophy is going to constitute one of the most important aspects in 21st-century philosophical research. Assuming that this statement is true, it leads to a methodological question whether the dominant comparative and contrastive approaches will be supplanted by a more unifying methodology that works across different philosophical traditions. In this article, I concentrate on the use of empirical evidence from nonphilosophical disciplines, which enjoys popularity among many Western philosophers, and examine the application of this approach (...) to early Chinese philosophy. I specifically focus on Confucian ethics and the study of altruism in experimental psychology. (shrink)

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)

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)

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)

The present paper puts forward a first outline of a possible agonistic theory of adjudication, conceived of as an extension of Chantal Mouffe’s agonistic theory of democracy onto the domain of the juridical, and specifically, judicial decision-making. Mouffe’s concept of the political as the dimension of inherent and unalienable conflicts (antagonisms) which, nonetheless, need to be tamed for a pluralist democracy to function, creates an excellent vantage point for a critical theory of adjudication. The paper argues for perceiving all judicial (...) decisions as having a double nature—juridical and political. Cloaked in legal form, judgments nonetheless decide on individual instances of on-going collective conflicts, opposing workers to employers, consumers to traders, tenants to landlords, moral progressives to traditionalists, minorities to majorities and so forth. Judges, when handing down judgments, enjoy a ‘relative sovereignty’, being always already inscribed into the institutional imperatives of the juridical, on one hand, and ideological influences, on the other, but at the same time called upon to decide in the terrain of the undecidable and contingent (after all, law does not ‘apply itself’ on its own). Indeed the determinacy of legal decisions is only relative: in many cases judges can, by performing a sufficient amount of legal interpretive work, reach a conclusion which will be different from theprima facieinterpretation. The collective conflicts of a various nature (economic, ideological, socio-political), once they are juridified, become the object of judicial decisions which, in light of Mouffe’s theory, can be seen as temporary hegemonic fixations. The goal of critical legal scholarship is to destabilise such hegemonies in the name of justice. This can be done not only through an external critique of the law, but also through an internal one. The methodological approach advanced in the latter part of the paper emphasises the need for a critique of judicial decisions based on the consideration of all possible alternative decisions a court could have reached, and their evaluation in the light of conflicting interests and ideologies. (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)

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.

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)

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.

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 ...

This is a spin-off paper to [3, 4] in which we carried out an extensive analysis of Andrzej Grzegorczyk’s point-free topology from [5]. In [1] Loredana Biacino and Giangiacomo Gerla presented an axiomatization which was inspired by the Grzegorczyk’s system, and which is its variation. Our aim is to compare the two approaches and show that they are slightly different. Except for pointing to dissimilarities, we also demonstrate that the theories coincide in presence of axiom stipulating non-existence of atoms.

The paper is devoted to the analysis of two seminal definitions of points within the region-based framework: one by Whitehead (1929) and the other by Grzegorczyk (Synthese, 12(2-3), 228-235 1960). Relying on the work of Biacino & Gerla (Notre Dame Journal of Formal Logic, 37(3), 431-439 1996), we improve their results, solve some open problems concerning the mutual relationship between Whitehead and Grzegorczyk points, and put forward open problems for future investigation.

The essay reviews references to Immanuel Kant’s transcendental philosophy in the work of Helmuth Plessner. First discussed is the Krisis der transzendentalen Wahrheit im Anfang, in which Plessner effects a critique of the transcendental method and shows that overcoming its crisis requires philosophy to rigorously restrict the applicability of theory to the experimental sphere and put it up for judgment by the tribunal of practical reason. Next under scrutiny is Plessner’s programmatic text in philosophical anthropology, in which he strives to (...) employ Kant’s deductive method for the construction of his own system of organic forms. (shrink)

Main task of the paper is to recall sociologist and philosopher – Zygmunt Bauman’s observations and concepts on the fears, anxieties, and uncertainties that appear in the modern world. Main focus was directed to Europe as Bauman was particularly concerned about its future and its role in the global society. The paper is illustrated using current examples from political, social, and economic life to confirm and/or negate Bauman’s concepts. We ask: are fears stable or changeable? Are they stronger or weaker? (...) Are they constant, coming to an end, or are they replaced by new ones? Additionally, we confront Bauman’s concepts with the ideas of other sociologists who applied the interpretative perspective. We define fear following Bauman’s various proposals, and we distinguish many kinds of fears, giving examples from Western societies and socio-economic realities during the time of globalization. We refer to a few relevant sociological concepts to understand Bauman’s view better, e.g. the strategy of detour or the term of generalized other. In conclusions, we state that most fears remain the same (especially ontological ones). However, in the 21st century, we can observe the emergence of new ones (also artificial ones). (shrink)