Transhumanism has enormous effect on temporary philosophical thought by forcing philosophers to take on many intellectual challenges. Not only philosophers deal with transhumanism but also scientists who try to create technological solutions that enable implementation of transhumanistic ideas. The question is whether all these ideas will be realized. The purpose of the article is to show that not all transhumanist aspirations can be put into practice. The first reason is that transhumanism limits human’s understanding to the material dimension. While this (...) is understandable in the naturalistic paradigm, this approach is insufficient when it comes to all complexity of human being and for this reason tanshumanism represents too narrow a human’s understanding to be able to implement its all assumptions. The second reason is that to enable people to become posthumans the latest technologies would have to be available to everyone and this seems impossible. If so, such a situation will divide people into ordinary people and posthumans and this could lead to conflicts that transhumanists want to avoid after all. Finally, the body-mind problem is essentially limited to emergentism, which corresponds to the naturalistic paradigm. It seems, however, that without the concept of the soul it is impossible to understand who a man is, his/her identity and consciousness and this is crucial for mind uploading. (shrink)

The problem that I present in this paper concerns the issue of ethical evaluation of algorithms, especially those used in social media and which create profiles of users of these media and new technologies that have recently emerged and are intended to change the functioning of technologies used in data management. Systems such as Overton, SambaNova or Snorkel were created to help engineers create data management models, but they are based on different assumptions than the previous approach in machine learning (...) and deep learning. There is a need to analyze both deep learning algorithms and new technologies in database management in terms of their actions towards a person who leaves their digital footprints, on which these technologies work. Then, the possibilities of applying the existing deep learning technology and new Big Data systems in the economy will be shown. The opportunities offered by the systems mentioned above seem to be promising for many companies and—if implemented on a larger scale—they will affect the functioning of the free market. (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)

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)

David Lewis has formulated a well-known challenge to his Best System account of lawhood: the content of any system whatever can be formulated very simply if one allows for perverse choices of primitive vocabulary. We show that the challenge is not that dangerous, and that to account for it one need not invoke natural properties or relativized versions of the Best System account. This way, we help to move towards an even better Best System account. We discuss extensions of our (...) strategy to the discussions about the indexicality of the notion of laws of nature, and to another trivialization argument. (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 ...

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.

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.

Polish medical law does not explicitly regulate the possibility of off-label use of medicines. Such procedures therefore raise doubts in medical practice, where medicines are often prescribed beyond the Characteristic of Medicinal Product. This phenomenon particularly affects the treatment of children, as there is a lack of registered medicines in this age group, but they are registered for use in adults. Since such treatment goes beyond the scope of registration, a dilemma arises as to whether it is permissible and, if (...) so, under what conditions and whether sanctions are imposed on the medical professional using the off-label medicine. These issues are addressed in an article by Dr Maria Gutowska-Ibbs, entitled 'Off label - practical consequences of unclear legislation". The present study complements these considerations and is in part an ad vocem statement. The article attempts to differentiate between the use of off-label medicines and medical experiments, following the criterion of the purpose for which a given medical action is performed. The limits of admissibility of such actions under criminal law are also discussed in more detail. Off-label treatment is considered through the prism of the required precautionary rules, compliance with which is the antithesis of inadvertence. It is assumed that if the drug was administered in accordance with current medical knowledge and the treatment is adequate to the patient's condition, there is no violation of these rules, which excludes the imputation of inadvertence. An extensive section of the study is devoted to the issue of the patient's consent to treatment outside the indications. Above all, it emphasises the need to explain in detail to the patient the circumstances of prescribing such a drug and, on this basis, to obtain informed consent. It also stresses the importance of the written form of consent, which can have a significant evidentiary impact in potential litigation. (shrink)

A summarized fragment of an interview conducted on April 22, 2016, as an installment of the cycle “Conversations with Mentors,” sponsored by the Centre for Film Documentation of Polish Scholarship, Pedagogical University of Kraków and the Polish Society of Ancient Studies. Available online at the Oral History Archive of the Polish Society for Ancient Studies (SHS). The summary covers only Prof. Wipszycka’s biography until the change of regime.

In some cases one is provided with inconsistent information and has to reason about various consistent scenarios contained within that information. Our goal is to argue that filtered paraconsistent logics are not the right tool to handle such cases and that the problems generalise to a large class of paraconsistent logics. A wide class of paraconsistent logics is obtained by filtration: adding conditions to the classical consequence operation . We start by surveying the most promising candidates and comparing their strengths. (...) Then we discuss the mainstream views on how non-classical logics should be chosen for an application and argue that none of these allows us to choose any of the filtered logics for action-guiding reasoning with inconsistent information, because such reasoning has to start with the selection of possible scenarios – and such a.. (shrink)

A summary of an interview conducted by Adrian Szopa and Andrzej Gillmeister on April 22, 2016, in the cycle “Conversations with Mentors,” sponsored by the Centre for Film Documentation of Polish Scholarship, Pedagogical University of Kraków and the Polish Society of Ancient Studies. Available online at the Oral History Archive of the Polish Society for Ancient Studies (SHS). Translated by ElŻbieta Olechowska.

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)

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)

We show that taking together the principle ‘Ought’ Implies ‘Can’ (OIC) and The Knowledge Norm of Assertion (KNA) leads to a contradiction as long as we assume that there are situations in which we ought to assert what we cannot know. We call this The Paradox of Impossible to Know Assertion (PIKA) and argue that this is a genuine problem. At the end, we point out a generalization of PIKA.

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)

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)

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)

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)

Abstract:This article is concerned with the role of Buddhist philosophy, and more broadly of non-Western philosophies, within the discipline of philosophy as this is professed and practiced today. I begin by deliberately engaging in a game of definitions to demonstrate that, whichever of the definitions standardly employed to deny non-Western philosophy the prestigious moniker, Buddhism nevertheless wins: it does count as philosophy. Having made that point, however, I go on to effectively undermine it by pointing out that anyone can win (...) the game if they get to make up the rules. Given that the score is arbitrary, then, I show up the game itself as absurd. On this basis, I ultimately cry foul at the perpetuation of a game still so plainly played on fields far from level, and therefore argue against excusing philosophers engaged in it of the charge of racism. (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)

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)

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)

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.

The results of the linguistic interpretation should be verified through systemic and purposive methods of interpretation. That process is especially desirable in the cases where the result of the linguistic interpretation is not unequivocal. Whereas, as practice demonstrates, the quality of tax law is not the best, it is impossible to overestimate the role of the non-linguistic method of interpretation. The object of this paper was to present the role which the linguistic interpretation may play in interpreting the tax law. (...) However it was also important to: place the purposive interpretation among the methods of tax law interpretation and to present static and dynamic elements in tax law interpretation. Within the frames of this paper one can find out about historical interpretation of tax law, economic method of tax law interpretation and purposive interpretation directives. The above considerations allow for posit a thesis according to which purposive interpretation is an indispensable element of the process of interpreting a legal text. Its role in the scope of norms of tax law is, however, peculiar, since it serves only to verify the results of linguistic interpretation. However, it can be indicated that the growth in importance of purposive interpretation is direct proportional to the fall in the quality of tax law regulations. (shrink)

Niniejszy artykuł został poświęcony charakterystyce poglądów wybranych scholastyków i dekretalistów z XIII wieku dotyczących kwestii spożywania w poście słodkich wyrobów aptekarzy, zwanych po łacinie _electuaria_, w angielskiej literaturze przedmiotu znanych jako _electuary_. Autor omówił to zagadnienie, opierając się na analizie fragmentów dzieł autorstwa: Wilhelma z Auxerre (_Summa aurea_, znanym też jako _Summa in IV Sententiarum_), Aleksandra z Hales (_Summa teologii_), Tomasza z Akwinu (_Komentarz do czterech ksiąg Sentencji Piotra Lombarda_ (łac. _Scriptum super libros Sententiarum_) i _Summa teologii_), Innocentego IV (_Commentaria (...) super libros quinque decretalium_) oraz Henryka z Ostii (znanego jako Hostiensis, _Apparatus in Decretales_). Poglądy poszczególnych autorów niniejszej kwestii były zbieżne i sprowadzały się do stwierdzenia, że spożycie elekwarzy w poście jest dopuszczalne, o ile będą traktowane jako słodycze. Każdy z wymienionych autorów używał nieco odmiennych argumentów. I tak Wilhelm z Auxerre wskazał, że przyjmowanie powidełek leczniczych, choć prowadzi do złamania postu, nie skutkuje utratą zasługi, tj. nagrody do życia wiecznego. Aleksander z Hales dokonał analizy typologicznej produktów spożywczych i podzielił je na cztery kategorie, takie jak: lekarstwa, właściwa żywność, lekarstwa pokarmowe i żywność lecznicza. Elekwarze zostały zaliczone do grupy trzeciej i z tego względu mogły być spożywane w poście. Święty Tomasz z Akwinu podkreślił znaczenie czynnika ilościowego i roli walorów smakowych jako kryteriów oceny dopuszczalności spożywania elekwarzy w czasie postu. Zaś zarówno Innocenty IV, jak i Henryk z Suzy (Hostiensis) uwypuklili jedyny warunek spożycia powidełek leczniczych w czasie postu, jakim jest choroba. W konkluzji autor dochodzi do wniosku, że uwaga wybitnych przedstawicieli ówczesnej myśli teologicznej, jak i prawniczej, poświęcona zagadnieniu dopuszczalności spożywania w poście elekwarzy, czyli słodkich wyrobów aptekarskich, stanowiła odpowiedź na zmieniającą się wówczas rolę tego typu wyrobów aptekarskich. Traktowane uprzednio jako lekarstwa na różne dolegliwości (na ogół o podłożu gastrycznym), stawały się słodyczami jedzonymi dla przyjemności i w nadmiarze. Tym samym ich przyjmowanie w czasie postu, czyli umartwiania, rodziło istotny dylemat moralny. W zgodnej opinii zarówno scholastyków, jak i dekretalistów zostały one uznane jako medykamenty i jako takie mogły być przyjmowane w poście. W efekcie ten typ wyrobów aptekarskich, obok kontektów (łac. _confectes_), na trwałe wszedł do menu postnego u schyłku średniowiecza. Co więcej, postrzegane jako produkty postne, cieszyły się rosnącą popularnością, niezależnie od uwarunkowań ówczesnej medycyny, jak i poglądów myślicieli i dekretalistów z XIII wieku. (shrink)

This article presents Slavic loanwords in the Austrian variant of the German language. Its aim is twofold: it discusses words of Polish, Slovakian, Czech, Serbo­-Croatian, and Slovenian origin in the Austrian variant of German, as well as stressing the multicultural history of Austria and its influence on vocabulary. The analysis will not only deal with the meaning and etymology of particular words, but will also scrutinize their description in the “Duden” dictionaries: “Deutsches Universalwörterbuch” and “Duden. Wie sagt man in Österreich?”.

Artykuł podejmuje próbę rekonstrukcji teorii wyparcia Sigmunda Freuda. Punktem wyjścia jest wykazanie sprzeczności pomiędzy dwoma odmiennymi ujęciami wyparcia: według pierwszego z nich, wyparcie polega na całkowitym wykluczeniu patogennego impulsu z obszaru świadomości, według drugiego zaś, wyparcie pozbawia odrzucany impuls energii emocjonalnej, ale nie odcina go od świadomości. W dalszej części artykułu omówione są paradoksy, które pojawiają się w topicznym i ekonomicznym modelu psychiki.

Druga część artykułu omawia paradoksy teorii wyparcia w kontekście zakłóceń językowych oraz na przykładzie nerwicy natręctw. W obydwu przypadkach wykażemy sprzeczność polegającą na tym, że nieświadome wyparcie zostaje dokonane przez świadome Ja. Następnie analizie poddana zostaje koncepcja pierwotnego wyparcia oraz oparte na niej rozróżnienie między procesem wtórnym i pierwotnym. Na zakończenie podjęta zostanie problematyka utrwalenia w kontekście teorii seksualności i nerwicy pourazowej.

The purpose of this article is a critical reconstruction of the Platonic conception of laughter, which is presented primarily in Republic and Philebus. A comic quality calls, in his opinion, to lower emotions, it throws human mind out of balance and undermines the prevailing order of values. The philosopher associates a laughter with the feeling of envy, which comes down to the joy of humiliating of someone weaker. The comic envy - as opposed to passive jealousy - almost automatically leads (...) to the activity, to the enhancement of humiliation. Laughter is caused according to Plato by a defect resulting from the ignorance about himself. The key feature of the comic situation is the asymmetry between the victim's weakness and the strength of a laughing person. Plato's concept of laughter turns out to be one-sided, when we compare it with "laughter of Democritus" which serves as a therapeutic and catharctic means. Laughter is here a clear signal that initiates the critical reflection on himself and gives impetus to a change of attitude towards the world. In his writings Plato did not include such educational and cognitive aspects of laughter because in his philosophy it becomes a specific antagonist of true knowledge. The negative attitude towards laughter does not go hand in hand with Plato’s recognition of Socrates, who used irony as a key element in his method of inquiry leading to truth. (shrink)