This article is a systematic analysis of Derrida’s concept of deconstruction in terms of its critical implications regarding the function of the concept of „God” in Western theology. First, the concept of „metaphysics of presence” and its significance for the topic is explained. Then, the article considers the structure of metaphysical discourse exposed by Derrida, along with its indispensable concept of the „Absolute”. This figure turns out to have the logos function, consisting in stabilizing meanings, centralizing the discursive system, and (...) containing the influence of chaotic différance. Finally, Derridean criticism of the figure of „God” is related to an existential problem that he discovers. This concept, thanks to its centralizing function, turns out to be a response to the terrifying experience of being entangled in the unceasing game of differentiation, a response to the instability of discourse and, finally, to human finitude. (shrink)

We show that for every countable recursively saturated model M of Peano arithmetic and every subset A⊆M, there exists a full satisfaction class SA⊆M2 such that A is definable in (M,SA) without parameters. It follows that in every such model, there exists a full satisfaction class which makes every element definable, and thus the expanded model is minimal and rigid. On the other hand, as observed by Roman Kossak, for every full satisfaction class S there are two elements which have (...) the same arithmetical type, but exactly one of them is in S. In particular, the automorphism group of a model expanded with a satisfaction class is never equal to the automorphism group of the original model. The analogue of the first result proved here for full satisfaction classes was obtained also by Roman Kossak for partial inductive satisfaction classes. However, the proof relied on the induction scheme in a crucial way, so recapturing the result in the setting of full satisfaction classes requires quite different arguments. (shrink)

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.

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)

This paper addresses the black-box problem in artificial intelligence (AI), and the related problem of explainability of AI in the legal context. We argue, first, that the black box problem is, in fact, a superficial one as it results from an overlap of four different – albeit interconnected – issues: the opacity problem, the strangeness problem, the unpredictability problem, and the justification problem. Thus, we propose a framework for discussing both the black box problem and the explainability of AI. We (...) argue further that contrary to often defended claims the opacity issue is not a genuine problem. We also dismiss the justification problem. Further, we describe the tensions involved in the strangeness and unpredictability problems and suggest some ways to alleviate them. (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)

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)

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)

The goal in this short paper is to argue that so-called intermediary concepts play an essential role in organizing and generating legal knowledge. The point of departure is a reconstruction and a critique of Alf Ross’s analysis of such concepts. His goal was to argue that there exist concepts in the law which have no semantic reference, yet it is reasonable to use them as they perform some useful function regarding the presentation of legal rules. The author believes that Ross (...) is wrong on both counts: his argument to the effect that intermediary concepts have no reference is flawed, and his characterization of the functions such concepts play in the law is too limiting. (shrink)

Surveys are the most widely used research tool in experimental philosophy. In this paper, I analyze two types of criticism of the questionnaire method put forward in the literature. The first type is metaphilosophical. It asserts that the surveys used by experimental philosophers are based on a flawed and unproductive method of cases. The second type is methodological. It argues that currently used questionnaires are unfit to measure philosophically relevant phenomena. I show that these objections can be met by a) (...) improving questionnaires used in research practice and b) expanding the methodological repertoire of experimental philosophy. (shrink)

Topics in Cognitive Science, Volume 14, Issue 3, Page 508-527, July 2022.

(1996). The future of Europe and the problem of national minorities. The European Legacy: Vol. 1, Fourth International Conference of the International Society for the study of European Ideas, pp. 504-508.

The goal of the paper is to reply to David Duarte’s critique of the partial reducibility thesis―a claim I defended in one of my books that analogy is partly reducible to the balancing of legal principles. In the first part of the paper I sketch the framework against which the thesis was formulated, i.e. Robert Alexy’s theory of legal reasoning. In the second part I attempt to rebut Duarte’s objections, pointing out that they do not take into account the Alexian (...) background of my considerations. Finally, I suggest that some aspects of my theory of analogical reasoning are independent of its theoretical background and may be of value for any conceptualization of analogy in the law. (shrink)

This collection of essays - written by philosophers, logicians, and theologians - is devoted to the problem of the utilization of logic in theological discourse. Viewed from the perspective of logic, the issues covered include such topics as the logic of miracles, the problem of God's omniscience, the application of non-classical logics to theology, and the relationships between science and theology.

Recenzja książki: _Panorama współczesnej filozofii_, Jacek Hołówka, Bogdan Dziobkowski, Wydawnictwo Naukowe PWN, Warszawa 2016, ss. 559.

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)

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)

Beebe and Buckwalter (2010) made the surprising discovery that people are more inclined to attribute knowledge when norms are violated than when they are conformed to. The epistemic side-effect effect (ESEE) is the analogue of the Knobe effect (Knobe 2003a). ESEE was replicated in a number of experiments. It was also studied under various conditions. We have carried out a meta-analysis of research on ESEE. The results suggest that ESEE is a robust finding but its magnitude is highly variable. Two (...) study-level covariates influence its size: the subject of the knowledge attribution (agent vs third-party) and the type of norm that is violated or complied with. The effect size is not influenced, however, by the manipulation of chances, by whether the story is about a side effect or not, by language or by question phrasing. The impact of the Gettierization of the story is marginally significant. (shrink)

The operators of first-order logic, including negation, operate on whole formulae. This makes it unsuitable as a tool for the formal analysis of reasoning with non-sentential forms of negation such as predicate term negation. We extend its language with negation operators whose scope is more narrow than an atomic formula. Exploiting the usefulness of subatomic proof-theoretic considerations for the study of subatomic inferential structure, we define intuitionistic subatomic natural deduction systems which have several subatomic operators and an additional operator for (...) formula negation at their disposal. We establish normalization and subexpression property results for the systems. The normalization results allow us to formulate a proof-theoretic semantics for formulae composed of the subatomic operators. We illustrate the systems with applications to reasoning with combinations of sentential negation, predicate term negation, subject term negation, and antonymy. (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)

"Galileo on the Distinction between Primary and Secondary Qualities (I). A Superessentialist Argument" Galileo’s distinction between primary and secondary qualities has hitherto been examined almost exclusively from a contextual, historical perspective. This paper, the first of two planned, aims to fill this gap by providing a systematic, theoretical analysis of his principal argument for the distinction, as advanced in "The Assayer". I begin with a reconstruction of the key steps in the argument, and then proceed to identify and discuss the (...) epistemological and ontological presuppositions underpinning it. I argue that the most crucial and original assumption behind Galileo’s reasoning is the superessentialist principle, implying the mutual conditionality of the essentiality and reality of a material body’s properties. An in-depth analysis of the assumptions underlying Galileo’s reasoning paves the way for further examination of the most controversial aspect of his theory, that is, the ontological status of the secondary qualities. This issue will be addressed in the second forthcoming paper. (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)

In Cieśliński (J Philos Logic 39:325–337, 2010), Cieśliński asked whether compositional truth theory with the additional axiom that all propositional tautologies are true is conservative over Peano Arithmetic. We provide a partial answer to this question, showing that if we additionally assume that truth predicate agrees with arithmetical truth on quantifier-free sentences, the resulting theory is as strong as $$\Delta _0$$ Δ 0 -induction for the compositional truth predicate, hence non-conservative. On the other hand, it can be shown with a (...) routine argument that the principle of quantifier-free correctness is itself conservative. (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)

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 claim that the free energy principle is somehow related to Hamilton’s principle in statistical mechanics is ubiquitous throughout the subject literature. However, the exact nature of this relationship remains unclear. According to some sources, the free energy principle is merely similar to Hamilton’s principle of stationary action; others claim that it is either analogous or equivalent to it, while yet another part of the literature espouses the claim that it is a version of Hamilton’s principle. In this article, we (...) aim to clarify the nature of the relationship between the two principles by investigating the two most likely interpretations of the claims that can be found in the subject literature. According to the strong interpretation, the two principles are equivalent and apply to the same subset of physical phenomena; according to the weak interpretation, the two principles are merely analogous to each other by virtue of their similar formal structures. As we show, adopting the stronger reading would lead to a dilemma that is untenable for the proponents of the free energy principle, thus supporting the adoption of the weaker reading for the relationship between the two constructs. (shrink)

Wittgenstein's insights -- Imitation -- Is meaning normative? -- How to blunt Hume's guillotine? -- The miracle of mathematics -- Into Popper's world.

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)

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)

Avtor zatrjuje, da imajo t. i. posredniški pojmi ključno vlogo pri urejanju in tvorbi pravnega znanja. V izhodišču povzame Rossovo razmišljanje o takšnih pojmih, ki ga nato kritizira. Ross je skušal pokazati, da v pravu obstajajo pojmi, ki nimajo nobenega pomenskega ozira, a je njihova raba kljub temu nekaj razumnega, saj imajo pri predstavitvi pravnih pravil koristno vlogo. Avtor meni, da sta obe Rossovi trditvi napačni: zmoten je njegov sklep, da posredniški pojmi nimajo nobenega pomenskega ozira, Rossova opredelitev njihove vloge (...) v pravu pa je preveč omejujoča. (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)

Opposing ecology to Catholicism, or vice versa, has no dogmatic, theological or philosophical foundations – it is a purely rhetorical and political maneuver. Catholicism is, and must be, deeply ecological – although this necessity has not always been properly displayed. This is clearly evidenced by both biblical testimonies confirming the value of every being and the reflection of Tradition within the theology of creation. Similarly, in this context, there are no grounds for invoking the “holy property right” to justify the (...) robbery and destruction of nature. Within the Catholic doctrine, property law is by no means holy, only conditional, and does not absolve us from treating property as a common good at the same time. Of course, this does not mean that Catholic teaching promotes in any way formal and legal restrictions on the right to property – such ideas have been repeatedly and decisively rejected by the Church. The limitation of the right of ownership is moral here – it is a postulate of justice and responsibility. At the same time, it is an expression of anthropological realism: we, all individual people, die, all families and nations expire and the earth, air and water remain. We are obliged to respect it. Opposing the good of the environment to the welfare of human communities makes no sense. Only extremely shallow and superficial reflection can build and invoke such oppositions. In general, this is not a reflection at all, but only an attempt to create ad hoc justifications for obtaining an easy income at the expense of the environment. With the current population of our planet, no one can perceive themselves or their immovable property as absolutely autonomous. We will be able to meet most of the most serious challenges related to environmental changes only when we understand our own responsibility for all living creatures along with their and our entire environment. (shrink)