We prove that the theory of the extensional compositional truth predicate for the language of arithmetic with \Delta 0 -induction scheme for the truth predicate and the full arithmetical induction scheme is not conservative over Peano Arithmetic. In addition, we show that a slightly modified theory of truth actually proves the global reflection principle over the base theory.

A first-order language with a defined identity predicate is proposed whose apparatus for atomic predication is sensitive to grammatical categories of natural language. Subatomic natural deduction systems are defined for this naturalistic first-order language. These systems contain subatomic systems which govern the inferential relations which obtain between naturalistic atomic sentences and between their possibly composite components. As a main result it is shown that normal derivations in the defined systems enjoy the subexpression property which subsumes the subformula property with respect (...) to atomic and identity formulae as a special case. The systems admit a proof-theoretic semantics which does not only apply to logically compound but also to atomic and identity formulae—as well as to their components. The potential of the defined systems for a meticulous first-order analysis of natural inferences whose validity crucially depends on expressions of some of the aforementioned categories is demonstrated. (shrink)

Despite the great expansion and many benefits of information and communication technologies in healthcare, the attitudes of Polish general practitioners to e-health have not been explored. The aim of this study was to determine the GPs’ perception of ICT use in healthcare and to identify barriers to the adoption of EMR in the Podlaskie Voivodeship. Online and telephone surveys were conducted between April and May 2013. Responses from 103 GP practices, 43% of all practices in the region, were analysed. The (...) results showed that 67% of the respondents agreed that IT systems improve quality of healthcare services. In the GP group who declared at least partial EMR implementation, 71.4% see the positive impact of IT on practice staff processes and 66.1% on personal working processes. In this group, more than three-quarters of GPs did not see any positive impact of ICT on the average number of patients treated per day, number of patients within the practice or scope of services. The four most common barriers to EMR implementation were: lack of funds, risk of a malfunction in the system, resistance to change, and lack of training and proper information. Although the use of ICT by Polish GPs is limited, their attitude to e-health is generally positive or neutral and resembles the overall pattern in Europe. Barriers identified by GPs need to be taken into account to ensure the effective implementation of e-health across the country. (shrink)

In proof-theoretic semantics the meaning of an atomic sentence is usually determined by a set of derivations in an atomic system which contain that sentence as a conclusion (see, in particular, Prawitz, 1971, 1973). The paper critically discusses this standard approach and suggests an alternative account which proceeds in terms of subatomic introduction and elimination rules for atomic sentences. A simple subatomic normal form theorem by which this account of the semantics of atomic sentences and the terms from which they (...) are composed is underpinned, shows moreover that the proof-theoretic analysis of first-order logic can be pursued also beneath the atomic level. (shrink)

Boreal forests store a globally significant pool of carbon (C), mainly in tree biomass and soil organic matter (SOM). Although crucial for future climate change predictions, the mechanisms underlying C stabilization are not well understood. Here, recently discovered mechanisms behind SOM stabilization, their level of understanding, interrelations, and future directions in the field are provided. A recently unraveled mechanism behind C stabilization via interaction of root‐derived tannins with fungal necromass emphasizing fungal necromass chemistry is brought forth. The long‐lasting dogma of (...) the stability of SOM on minerals is challenged and the newest insights from the field of soil fauna and their influence on SOM stabilization are provided. In conclusion, mechanisms unraveled during the last decade are crucial steps forward to draw a holistic view of the main drivers of SOM stabilization. (shrink)

ARE NEURAL CORRLEATES OF CONSCIOUSSNESS NECESSARY FOR PHILOSOPHY? This article discusses philosophical issues concerning theory of neural correlates of consciousness (NCC) and the possible philosophical interpretation of the positions taken by scholars dealing with these issues, whether these views expressly refer to the philosophy of mind, or not. In the first part I will present existing theories regarding the NCC, and try to find their common ground. The concept of NCC was defined by D. Chalmers, by F. Crick and Ch. (...) Koch, and by A. Damasio and it is argued that those definitions are perfectly complementary. The summary of this section presents the methodological problems associated with the theory of NCC pointed out by J. Bremer. In the second part, the intersection of the positions is contrasted with the classical discussion concerning the philosophy of mind and interpreted from a philosophical point of view. In particular, the issue of possible points of contact between the classical phenomenological method and NCC is pursued. (shrink)

I argue in this text that the economic mind is a culturally hegemonic, naturalistic interpretation of the behavior produced by the revolutionary nature of the economic and technical developments of the nineteenth and early twentieth centuries. Despite persistent criticism, people fulfilled the predictions of the economic model of a human being for so long that they committed an attribution error and took it to be the adequate vision of human nature. Neoclassical economic theory played a significant, even if involuntary, role (...) in the spread of this illusion. I also claim that the concept of economic mind—as the dominant interpretation of human nature—currently functions as a self-fulfilling prophecy, reproducing behaviors that would have a chance to change (refuting the theory developed on their basis), were it not for the popularity of this concept as commonsensical definition of human nature. (shrink)

One of the major objectives in a democratic state is ensuring health security of the citizens including combating epidemic diseases. The subject matter of this article is the presentation and analysis of legal regulations regarding preventive vaccination in Poland, in particular the aspect of imposing a legal obligation and restricting parents’ right to express consent for medical intervention. The reflections made herein are aimed at finding an answer to the question whether the adopted legal solutions are admissible in a democratic (...) state with regard to ensuring health security. The purpose of the analysis is also to assess whether the abovementioned legal regulations have been formulated in a clear way and do not raise interpretation doubts and, consequently, whether they are comprehensible to the parents obliged to comply with them. As it follows from analysis of the legal provisions, parents must not refuse to subject a child to obligatory preventive vaccination and their consent is not required by law, both as regards the medical qualifying examination to exclude contraindications to performing vaccination and the vaccination itself. It is a legal obligation, from which exemption is only possible on grounds of certain medical conditions that would render vaccination inadvisable. The legal provisions that concern obligatory preventive vaccination in Poland, including in particular those referring to its enforceability, have not been formulated in a way that is sufficiently comprehensible to parents who are under the obligation of complying with them, irrespective of the fact that the language of the provisions of law should be clear and raise no interpretative doubts. In a democratic state the protection of public health against epidemic hazards justifies the implementation of legal solutions that restrict an individual’s freedom of self-determination, thus limiting the right of patients or their statutory representatives to grant or refuse consent for a medical intervention in the form of preventive vaccination – the purpose of this legal solution being to prioritize the safeguarding of state health security. It is vitally important to engage in a social dialogue with the purpose of convincing the public of the need for vaccination, its significance and its implementation for the better good. (shrink)

The article contains an analysis of Georg Wilhelm Friedrich Hegel’s interpretation of Antigone by Sophocles contained in The Phenomenology of Spirit. The philosopher develops his concept of a tragic conflict occurring in the world of the Greek antiquity – a conflict between man’s law (a state representing generality) and underground law (a family representing individuality). The laws are embodied by Kreon and Antigone, respectively. Hegel’s interpretation indicates the privileged position of Antigone. The author argues that the heroine of the tragedy (...) is the anticipation of modern subjectivity: Antigone is killed because there is no place for an acting woman in ancient ethics. Hegel’s fascination with Antigone as a manifestation of feminine subjectivity therefore undermines stereotypical allegations about the philosopher’s sexism and patriarchalism. (shrink)

The history of the research on peptic ulcer disease is characterized by a premature abandonment of the bacterial hypothesis, which subsequently had its comeback, leading to the discovery of Helicobacter pylori – the major cause of the disease. In this paper we examine the received view on this case, according to which the primary reason for the abandonment of the bacterial hypothesis in the mid-twentieth century was a large-scale study by a prominent gastroenterologist Palmer, which suggested no bacteria could be (...) found in the human stomach. To this end, we employ the methodof digital textual analysis and study the literature on the etiology of PUD published in the decade prior to Palmer’s article. Our findings suggest that the bacterial hypothesis had already been abandoned before the publication of Palmer’s paper, which challenges the widely held view that his study played a crucial role in the development of this episode. In view of this result, we argue that the PUD case does not illustrate harmful effects of a high degree of information flow, as it has frequently been claimed in the literature on network epistemology. Moreover, we argue that alternative examples of harmful effects of a high degree of information flow may be hard to find in the history of science. (shrink)

According to the expertise defense, practitioners of the method of cases need not worry about findings that ordinary people’s philosophical intuitions depend on epistemically irrelevant factors. This is because, honed by years of training, the intuitions of professional philosophers likely surpass those of the folk. To investigate this, we conducted a controlled longitudinal study of a broad range of intuitions in undergraduate students of philosophy (n = 226), whose case judgments we sampled after each semester throughout their studies. Under the (...) assumption, made by proponents of the expertise defense, that formal training in philosophy gives rise to the kind of expertise that accounts for changes in the students’ responses to philosophically puzzling cases, our data suggest that the acquired cognitive skills only affect single case judgments at a time. There does not seem to exist either a general expertise that informs case judgments in all areas of philosophy, or an expertise specific to particular subfields. In fact, we argue that available evidence, including the results of cross-sectional research, is best explained in terms of differences in adopted beliefs about specific cases, rather than acquired cognitive skills. We also investigated whether individuals who choose to study philosophy have atypical intuitions compared to the general population and whether students whose intuitions are at odds with textbook consensus are more likely than others to drop out of the philosophy program. (shrink)

We have taken a look at the rules of games in order to acquire some knowledge concerning constitutive rules and, probably, institutional phenomena in general. In this paper we tried to elaborate a system account of constitutive rules. We claim that all accounts that put emphasis on the form of rules are vulnerable. It appears that constitutive rules are interconnected and always form a system that can be internally differentiated. Thanks to adopting certain qualitative criterion we were able to distinguish (...) central and peripheral constitutive rules. Moreover, that very account makes it possible to distinguish between different types of practices that are determined by types of systems of rules. Secondly, it appears there are three “layers” of games that should not be confused: deep conventions, constitutive rules that establish the game and determine games’ identities, and “rules of efficiency” that are some sort of recommendations as to how to play well. (shrink)

In this paper I present how the normative inferentialist can make the distinction between sentence meaning and content of the utterance. The inferentialist can understand sentence meaning as a role conferred to that sentence by the rules governing inferential transitions and content of the utterance as just a part of sentence meaning. I attempt to show how such a framework can account for prominent scenarios presented by contextualists as a challenge to semantic minimalism/literalism. I argue that inferentialism can address contextualist (...) challenges in a simple and effective manner by understanding sentence meaning as broad, but invariant. (shrink)

The history of the research on peptic ulcer disease is characterized by a premature abandonment of the bacterial hypothesis, which subsequently had its comeback, leading to the discovery of Helicobacter pylori—the major cause of the disease. In this paper we examine the received view on this case, according to which the primary reason for the abandonment of the bacterial hypothesis in the mid-twentieth century was a large-scale study by a prominent gastroenterologist Palmer, which suggested no bacteria could be found in (...) the human stomach. To this end, we employ the method of digital textual analysis and study the literature on the etiology of PUD published in the decade prior to Palmer’s article. Our findings suggest that the bacterial hypothesis had already been abandoned before the publication of Palmer’s paper, which challenges the widely held view that his study played a crucial role in the development of this episode. In view of this result, we argue that the PUD case does not illustrate harmful effects of a high degree of information flow, as it has frequently been claimed in the literature on network epistemology. Moreover, we argue that alternative examples of harmful effects of a high degree of information flow may be hard to find in the history of science. (shrink)

This article outlines the contributions of the Kraków School to the field of science and religion. The Kraków School is a group of philosophers, scientists, and theologians who belong to the milieu of the Copernicus Center for Interdisciplinary Studies. The members of the group are engaged in inquiries pertaining to the relationship between theology and various sciences, in particular cosmology, evolutionary theory, and neuroscience. The article includes a presentation of the historical background of the School, as well as its main (...) original contributions pertaining to the history of the interactions between science and religion, the rationality and mathematicity of the universe, theology of science, and the role of logic in theology. (shrink)

In the presented article, I consider what the process of designing the future can be. In detail, I am interested in what role touch plays in this process, combined with the practice of speculative imagination. In order to better understand this phenomenon, I use the transdisciplinary model of knowledge production, whose specific feature is the crossing and blurring of boundaries between fields of knowledge. The goal of this activity is to produce new forms of knowledge by combining methods and cognitive (...) tools derived from science, art, humanities, and crafts. In such a context, I am interested in how discursive practices and body practices are complementary. As a research perspective, I adopt the currents of posthumanism and new materialism oriented toward the analysis of human and nonhuman expressions of agency and processes of self-organization of matter. The starting point for the considerations presented here is a critical analysis of the vision of the future in the form of the absence of any future inscribed in the concept of the Anthropocene. Referring to the considerations of feminist thinkers such as Rosi Braidotti, Donna Haraway, and Karen Barad, I analyze what the future, understood as the commonality of the human and nonhuman, in the perspective of planetary changes, can be. (shrink)

The paper concerns the problem of the legal responsibility of autonomous machines. In our opinion it boils down to the question of whether such machines can be seen as real agents through the prism of folk-psychology. We argue that autonomous machines cannot be granted the status of legal agents. Although this is quite possible from purely technical point of view, since the law is a conventional tool of regulating social interactions and as such can accommodate various legislative constructs, including legal (...) responsibility of autonomous artificial agents, we believe that it would remain a mere ‘law in books’, never materializing as ‘law in action’. It is not impossible to imagine that the evolution of our conceptual apparatus will reach a stage, when autonomous robots become full-blooded moral and legal agents. However, today at least, we seem to be far from this point. (shrink)

In this paper we consider a claim that in the natural world there is no fact of the matter about the spatio-temporal separation of events. In order to make sense of such a notion and construct useful models of the world, it is proposed to use elements of a non-classical logic. Specifically, we focus here on causality, as a concept tightly related with the assumption of there being distinct, separate events, proposing a model according to which it can be considered (...) to be spatio-temporally graded. It is outlined how this can be described using the formalism of fuzzy sets theory, with the degree of causality varying between 1, that is no separation between causes and effects, and 0, that is perfect separation between causes and their effects as in classical ’billiard balls’ models of physical systems, namely such based on the notion of ideal mathematical point. Our model posits that subjective moments of time are like fuzzy sets, with their extension determined by local degrees of causality, resulting from information integration processes extended gradually in space and time. This, we argue, is how a notion of causality could be, to a certain degree, spared and reconciled with a variant of Bergsonian duration theory as formulated in the theory of continuous change. Relation of the proposed viewpoint to other theories, as well as possible solutions it suggests to various problems, in particular the measurement problem, are also discussed. (shrink)

Although there have been many efforts in the last decade to reconcile the humanities and the information sciences, they have not radically changed the research standards prevailing in most humanistic departments. Against all appearances, the abrupt opening to quantitative methods in the digital humanities still has the character of a minority avant-garde movement. The article looks at the scientometric tradition, largely forgotten by the humanities, which may prove to be another interface bringing the two academic cultures back together. An account (...) of scientometric networks highlights the advantages and disadvantages of this orientation. The broader implications regarding the use of visual networks in the humanities are framed by the category of prostheticity, which aims to encapsulate their ambivalent status as both substitutes and cognitive enhancers. (shrink)

The paper presents an alternative substitutional semantics for first-order modal logic which, in contrast to traditional substitutional (or truth-value) semantics, allows for a fine-grained explanation of the semantical behavior of the terms from which atomic formulae are composed. In contrast to denotational semantics, which is inherently reference-guided, this semantics supports a non-referential conception of modal truth and does not give rise to the problems which pertain to the philosophical interpretation of objectual domains (concerning, e.g., possibilia or trans-world identity). The paper (...) also proposes the notion of modality de nomine as an alternative to the denotational notion of modality de re. (shrink)

The aim of study was to investigate the relationship between proactive coping strategies and the dimensions of identity formation, along with the role of biological sex and psychological gender as moderators for this relationship. We conducted analyses aimed at showing differences in terms of identity dimensions levels and proactive coping strategies used by a group of individuals with different biological sex and psychological gender. A group of 101 students from upper secondary schools from Pomeranian Voivodeship took part in the study. (...) We used in our research The Dimensions of Identity Development Scale; The Psychological Gender Inventory and The Proactive Coping Inventory for Adolescents. We found, among others, that in the case of a proactive strategy, biological sex turned out to be a significant moderator in the relationship between this variable and identity dimensions: ruminative exploration, commitment-making and identification with commitment. In the case of instrumental support seeking, psychological gender turned out to be a significant moderator for the relationship between these variables and a part of identity dimensions. The obtained results show that, regardless of whether young people, in terms of characteristics that are stereotypically associated with biological sex, are described as aschematic or schematic when entering adulthood and attempting to constitute themselves, more often cope in a task-oriented manner by trying to create a set of information useful in difficult situations and aspire to obtain informational support from individuals in one’s own social network, who are regarded as safe people. (shrink)

Brandom (Citation1994) made inferentialism an intensely debated idea in the philosophy of language in the last three decades. Inferentialism is a view that associates the meaning of linguistic expression with the role said expression plays in inferences. It seems rather uncontroversial that the correct theory of meaning should distinguish between linguistic correctness and factual correctness. For instance, speaker S can be wrong in saying ‘I have arthritis’ in two distinct ways: (i) S fails to apply a word correctly to make (...) a true statement due to having made a factual error, and (ii) S uses an expression incorrectly because they are wrong about its meaning. In this paper, I show that properly understood normative inferentialism can make room for such a distinction. I propose that linguistic correctness is a structural issue: linguistic mistakes stem from the improper or insufficient acquisition of an inferential role. Factual correctness, on the other hand, is a one-off issue of the correct application of inferential rules to a particular situation. I argue that, by tying the issue of correctness to the game of giving and asking for reasons, inferentialism can establish a reliable method for distinguishing between two types of correctness (and mistakes). (shrink)

This article relates to the CJEU’s understanding of the concept of the spouse in Case C-673/16 and its effect on the process of law application by Polish administrative courts. The authors considerations are based on the assumption that the CJEU’s interpretation of EU law in Coman and Others is of a dynamic-deliberative nature, based on functional rules, and that at the same it time takes into account a specific legal and socio-cultural context in which one of the fundamental freedoms guaranteed (...) by EU law is implemented. This judgment, as authors underline, confirms that a proper understanding of the current legal context of the concept of a spouse requires that the social and cultural context and the plurality of values arising from different lifestyles be taken into account in the application and interpretation of the law, all with a view to empowering the individual in his or her relationship with the State and raising the level of protection of human rights. Authors observe in the practice od Polish administrative courts that this CJEU’s judgment is important in the argumentative layer, but not decisive for the resolution of the case in specific situations where there is a need to address the effect of same-sex marriage in a case related to the implementation of the EU right to free movement. In this context authors consider whether the justification for rulings of administrative courts may be sought in John Gray’s concept of modus vivendi liberalism. (shrink)

This paper is an attempt to examine Mattias Kiesselbach’s account of the thesis that meaning is normative that was presented in his recently published article titled “The normativity of meaning: from constitutive norms to prescriptions.” Kiesselbach’s account has three crucial points: the applicability of norms, the transtemporal character of the constitutive norms and commitments incurred by or attributed to the speaker within the scorekeeping practice. I will discuss all these crucial points, and I will argue that his account raises many (...) questions and the anti-prescriptivist about meaning can have reasonable doubts about all of them. (shrink)

The purpose of this article is to analyze the issue of delusions as natural kinds in the context of the problem of scientific basis of psychiatry. In the analysis the author points out that the claim that delusions are a natural kind (perceived rather classically) cannot be maintained and delusions should be analyzed rather as a homeostatic property clusters. This concept is very popular recently in philosophy of psychiatry and will be the subject of analysis of the second part of (...) the article. (shrink)

PRESCRIPTIVE EXPLICATION OF THE NORMATIVITY OF MEANING THESIS The aim of this paper is to analyse prescriptive interpretations of the thesis that meaning is normative, which was introduced by Saul Kripke and later developed by Paul Boghossian. We are going to show that meaning prescriptivism is counter-intuitive and has implausible consequences. Attempts to save prescriptive interpretations by appealing to prima facie obligations or „normativity of judgment” are unsuccessful.

Problematyka artykułu skupia się wokół zagadnienia awataryzacji w kontekście transhumanistycznej koncepcji cyberimmortalizmu. Awataryzacja jest omawiana jako proces uobecniania się człowieka pod postacią cyfrową, czego ostatecznym etapem ma być – według niektórych transhumanistów i futurystów – wyłonienie się cyfrowego post-człowieka. Celem artykułu jest charakterystyka cyberimmortalizmu na tle innych transhumanistycznych nurtów oraz omówienie wyzwań związanych z ideą transferu umysłu (antropologicznych, metafizycznych oraz społecznych).