We generalize the notion of analytic/Borel equivalence relations, orbit equivalence relations, and Borel reductions between them to their continuous and quantitative counterparts: analytic/Borel pseudometrics, orbit pseudometrics, and Borel reductions between them. We motivate these concepts on examples and we set some basic general theory. We illustrate the new notion of reduction by showing that the Gromov–Hausdorff distance maintains the same complexity if it is defined on the class of all Polish metric spaces, spaces bounded from below, from above, and from (...) both below and above. Then we show that [Formula: see text] is not reducible to equivalences induced by orbit pseudometrics, generalizing the seminal result of Kechris and Louveau. We answer in negative a question of Ben Yaacov, Doucha, Nies, and Tsankov on whether balls in the Gromov–Hausdorff and Kadets distances are Borel. In appendix, we provide new methods using games showing that the distance-zero classes in certain pseudometrics are Borel, extending the results of Ben Yaacov, Doucha, Nies, and Tsankov. There is a complementary paper of the authors where reductions between the most common pseudometrics from functional analysis and metric geometry are provided. (shrink)

Dawkins’ Ballet in the Garden of Theology. A Critical Assessment of Richard Dawkins’ Epistemological Theses on Theistic Beliefs from the God Delusion. Part II My paper presents an analysis and assessment of Richard Dawkins’ assumption from his book The God Delusion that there are no reason against treating belief in God as a scientific hypothesis, because even if the God existence is not disprovable, we could and maybe should ask if His existence is probable or highly improbable. My first aim (...) is to examine Dawkins' argumentation against if he is aware multiple possible ways interpretation of the claim that religious belief in God, construed as the hypothesis that existence of Creator may be treated as a scientific kind of hypothesis. My second aim is to show a nature of relation between his scientific God-hypothesis and his criticism of Thomas Henry Huxley agnosticism. I maintain that the he can't treat his probabilistic account of theism/atheism controversy as a ground for possible evidence for his controversial claim, that scientific knowledge could solve the problem of God's existence. As the matter of facts , things are just the opposite. I argue for claim that his construal of belief in God in terms of probabilistic scientific hypothesis is normatively weak and he can't use it in argumentation against rationality of belief in God even if he would be succesfully show that God-hypothesis is very weak and improbable explanation of origins and complexity of life. (shrink)

For a complete Heyting lattice , we define a category Etale (). We show that the category Etale () is equivalent to the category of the sheaves over , Sh(), hence also with -valued sets, see [2], [1]. The category Etale() is a generalization of the category Etale (X), see [1], where X is a topological space.

On Relation between the Individual Character of Propositional Knowledge and Its Value -/- The paper presents two aspects of human propositional knowledge, objective and subjective. The former is based on the truth condition, and the latter on the belief condition. Then several problems of the value of knowledge are briefly presented. The last part contains two arguments for the sine qua non belief condition of knowledge, one of which concerns the problem of epistemic luck assumed in virtue.

Multi-agent systems where the agents are developed by parties with competing interests, and where there is no access to an agent’s internal state, are often classified as ‘open’. The members of such systems may inadvertently fail to, or even deliberately choose not to, conform to the system specification. Consequently, it is necessary to specify the normative relations that may exist between the members, such as permission, obligation, and institutional power. We present a framework being developed for executable specification of open (...) multi-agent systems. We adopt a bird’s eye view of these systems, as opposed to an agent’s perspective whereby it reasons about how it should act. This paper is devoted to the presentation of various examples from the NetBill protocol formalised in terms of institutional power, permission and obligation. We express the system specification in the Event Calculus and execute the specification by means of a logic programming implementation. We also give several example formalisations of sanctions for dealing with violations of permissions and obligations. We distinguish between an open multi-agent system and the procedure by which an agent enters and leaves the system. We present examples from the specification of a role-management protocol for NetBill, and demonstrate the interplay between such a protocol and the corresponding multi-agent system. (shrink)

Cleve Staples Lewis w książce Cuda sformułował argument antynaturalistyczny, który nazwał kardynalną trudnością naturalizmu. Trudność ta ma polegać na tym, że jeśli przyjmiemy naturalizm z zasadą domknięcia kauzalnego, to wszystkie przekonania są faktami, których istnienie można w pełni wyjaśnić poprzez przeszły stan wszechświata oraz jego przemiany rządzone prawami fizyki. Naturalizm jest stanowiskiem, które składa się z przekonań i jeśli aspiruje do oceny bycia racjonalnym stanowiskiem, to powinien być przyjęty ze względu na rozumowanie. To jednak wydaje się być wykluczone ze względu (...) na naturalizm. Peter Van Inwagen w 2011 r. przedstawił krytykę argumentu Lewisa, sugerując, że opiera się on na nieuzasadnionym przekonaniu, że wyjaśnienia kauzalne jako takie oraz wyjaśnienia poprzez rozumowanie wykluczają się. Badam argumentacje obu autorów, dokładnie analizując argument Van Inwagena. Twierdzę, że: po pierwsze, nie uzasadnił on twierdzenia, że powyższe przekonanie przypisane Lewisowi jest faktycznie przesłanką jego rozumowania. Po drugie, przedstawiam na czym polega wytworzenie pewnego przekonania zarazem kauzalnie jak i poprzez rozumowanie. Po trzecie, analizuję tekst Lewisa, wykazując, że wspiera on możliwość spójności dwóch odmiennych rodzajów poprawnych wyjaśnień, ale argumentuję, że zasadniczą dla Lewisa jest teza, iż naturalizm nie pozostawia miejsca na wglądy będące elementem rozumowania i dlatego naturalizm wyklucza ową spójność. Po czwarte, badam przykład Phoebe podany przez Van Inwagena i konkluduję, że nie wystarcza on do stwierdzenia spójności obu typów wyjaśnień. Konkluduję, że artykuł Van Inwagena nie zawiera argumentu podważającego stanowisko Lewisa. (shrink)

In this article, it was first presented Moore’s paradox per se and after the author focused on the logical perspective — at first he analyzed these considerations in the field of so-called standard epistemic logic and after on the formal theory of belief change.

Alvin Plantinga claims that Christian believer can rationally disbelieve in some elements of the theory of evolution: the Common Ancestry Thesis; Darwinism, taken as explanation of origin of life by the mechanism of natural selection operating on random genetic mutation, and Naturalistic Origins Thesis - the view that present life itself developed from nonliving matter without special activity of God. After the justification of the possibility of conflicts between faith and science, Plantinga's arguments are examined and assessed as successful, with (...) a few exceptions. The main thesis of this paper is that Plantinga is right claiming that rational disbelieving in evolution is possible, but his arguments are not enough to justify special creationism as theistic knowledge, supposing that knowledge warrants the truth. (shrink)

W artykule analizuje się pojęcie „proposition" (sądu w sensie logicznym) wprowadzone w pracy D. Vandervekena "What is a Proposition", stosując metody algebraiczne. Analiza ta umożliwia głębsze zrozumienie tego pojęcia, prowadzi m.in. do uogólnienia pojęcia „mocnej implikacji" (§5), jej głównym rezultatem jest pewna reprezentacja pojęcia „proposition” (§ 6).

The Uppsala School in philosophy and the Vienna Circle are prima facie similar currents in contemporary philosophy. Both reject metaphysics, claim that reality is a spatio­‑temporal realm and adhere to noncognitivism in terms of values. However, justifications of these assumptions are quite different. In the following article we reconstruct main theses of both mentioned currents and then we indicate their impact on one of the major jurisprudential movements, namely Scandinavian Legal Realism. We focus on Alf Ross’ legal philosophy, as it (...) was an attempt to accommodate both: the philosophy of the Uppsala School and of the Vienna Circle. We trace those two sources of inspiration in Ross’ theory of legal validity and of legal concepts. (shrink)

The uniqueness of Poland’s experience with the 2020 coronavirus lays in the interplay of two factors: the decisive governmental response to the pandemic, and the overlap of the pandemic with the country’s presidential election scheduled on May 10, 2020. The government’s fast reaction, combined with the citizens’ discipline, resulted in the suppression of the virus’s spread. The ratings of the current President Duda skyrocketed well above 50% needed for re-election in the first round. However, the expectation was that they would (...) be going down with the pandemic and lockdown fatigue. For almost two months, the government tried to organize the elections under the normal schedule while the opposition tried to block them. Finally, the opposition won, and the elections were rescheduled on June 28, with the President Duda’s ratings substantially lower. Nevertheless, in the runoff on July 11, Duda won. Our conclusion goes against the common opinion that electoral engineering is always one-sided. The reconstruction of the pre-electoral political maneuvers shows that many independent players were simultaneously involved in complex engineering, and that the final outcome was hard to predict until almost the very end. (shrink)

Artykuł jest odpowiedzią na krytyczne uwagi zgłaszane pod adresem książki Ukrytość i Wcielenie. Teistyczna odpowiedź na argument Johna L. Schellenberga za nieistnieniem Boga przez Stanisława Judyckiego, Ryszarda Mordarskiego, Marka Peplińskiego i Jana Sochonia. Główny zarzut wobec mojego stanowiska głosi, że jest ono zbyt przychylne wobec argumentu J.L. Schellenberga, który niekoniecznie powinien być wzorem ujęcia problematyki ukrytości. Jednym z przejawów przyjęcia założeń kanadyjskiego autora jest zgoda na tezę o istnieniu niewierzących przy braku oporu.

Zasadniczym przedmiotem analiz tego opracowania jest pojęcie godności w Karcie praw podstawowych Unii Europejskiej z 7 grudnia 2000 r. Interpretacja Karty prowadzona jest z uwzględnieniem postanowień Traktatu z Lizbony z 13 grudnia 2007 r., który podniósł Kartę do rangi prawa traktatowego. Uwyraźnienie treści pojęcia godności w Karcie dokonywane jest przez pryzmat paradygmatu rozumienia godności utrwalonego już w prawie międzynarodowym praw człowieka na poziomie uniwersalnym, czyli prawa kształtowanego i funkcjonującego w ramach Organizacji Narodów Zjednoczonych. Paradygmat uniwersalny, w którego centrum znajduje się (...) uznanie godności za przyrodzoną (inherent – „nieoddzielalną), powszechną, równą i za źródło wszystkich praw człowieka, był dotąd w systemach prawnych powszechnie akceptowany. Obejmował on elementy prawnonaturalne, które po doświadczeniach z dwudziestowiecznymi systemami totalitarnymi i systemami – mówiąc słowami Gustawa Radbrucha – „ustawowego bezprawia”, uważane były za pożądane, nie tylko w prawie międzynarodowym. Przy bliższym przyjrzeniu się najważniejszym postanowieniom prawa europejskiego dotyczącym godności i podstaw praw człowieka okazuje się, że paradygmat uniwersalny został radykalnie zakwestionowany – w miejsce ugruntowania praw człowieka w czymś obiektywnym, przyjęto ich ugruntowanie w kulturze. (shrink)

Paper reconstructs three different accounts of the rationality of religious belief that we found in Plantinga's epistemology of theistic and religious belief. Taken into account are works (papers and books) from GAOM to first two books about a warrant. In the end, the article formulates some questions about rationality and evaluation of the importance of property of rationality of religious belief concerning other positive epistemic statuses.

Cover -- Title -- Copyright -- Contents -- Citation Information -- Introduction -- 1 The Philosophy of Early Childhood: Examining the Cradle of the Evil, Rational and Free Child -- 2 Child-Rearing: On Government Intervention and the Discourse of Experts -- 3 Out of Place: Economic Imperialisms in Early Childhood Education -- 4 The Politics of Processes and Products in Education: An Early Childhood Metanarrative Crisis? -- 5 Narrative Identity and Early Childhood Education -- 6 Global Crisis: Local Reality? An (...) International Analysis of 'Crisis' in the Early Years -- 7 Otherness 'Without Ostracism or Levelling': Towards Fresh Orientations to Teacher Foreigners in Early Childhood Education -- 8 Meetings Across the Paradigmatic Divide -- 9 An Encounter with 'Sayings' of Curriculum: Levinas and the Formalisation of Infants' Learning -- 10 My Feelings: Power, Politics and Childhood Subjectivities -- 11 In Early Childhood: What's Language About? -- Index. (shrink)

W projekcie badawczym, który w zamyśle będzie składał się z dwóch merytorycznie i logicznie powiązanych artykułów, formułujemy taki schemat pojęciowy, w którym adekwatna staje się charakterystyka struktur fraktalnych w kategoriach filozoficznej koncepcji emergencji. W pracy pierwszej przedstawiamy główne idee filozofii emergencji oraz dokonujemy prób uchwycenia w procesie generowania fraktali jednostek emergentnych. Pozostajemy jednak w obrębie klasycznego rozumienia badanej relacji. W pracy drugiej, na podstawie zademonstrowanych słabości ujęć klasycznych, jako niewystarczających w specyficznym kontekście badanych struktur matematycznych, pokazujemy, że dyskurs nad emergencją (...) w matematyce staje się sensowny i uprawniony w ugruntowanym w filozofii nauk formalnych quasi-empirycznym podejściu do niektórych zagadnień w matematyce. (shrink)

This paper deals with the problem of what otherness consists in, and what its foundation is, within the I–Other relation. In this way, the study also explores the limits of ethics and of a quasi-religious attitude, in order to establish what is required to shape interpersonal relations in a non-violent way, when faced with the radical otherness of another human being. Such an investigation also intersects with a broader ethical discussion that aims to take account of glorious or heroic acts, (...) focused on the issue of supererogation. The aim of the present study is to demonstrate the degree to which a neglect of reciprocity and justice in the context of such philosophical research constitutes a risky step. To this end, the main aspects of the debate between Emmanuel Levinas and Paul Ricoeur are introduced. After examining the position of Levinas, and how Ricoeur interprets the I–Other relation in Levinas, an attempt is made to assess whether the latter’s line of criticism is pertinent and helpful for attempts to arrive at the core of the disagreement between the two thinkers. (shrink)

This book concerns the history of Austrian philosophy, including the Vienna Circle, Wittgenstein, Meinong, Brentano, and Haller. It exhibits the continuity of empiricism and analysis in Austrian philosophy past and present.