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.

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)

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 paper is a follow-up to [4], in which a mistake in [6] (which spread also to [9]) was corrected. We give a strenghtening of the main result on the semantical nonconservativity of the theory of PT−with internal induction for total formulae${(\rm{P}}{{\rm{T}}^ - } + {\rm{INT}}\left( {{\rm{tot}}} \right)$, denoted by PT−in [9]). We show that if to PT−the axiom of internal induction forallarithmetical formulae is added (giving${\rm{P}}{{\rm{T}}^ - } + {\rm{INT}}$), then this theory is semantically stronger than${\rm{P}}{{\rm{T}}^ - } + (...) {\rm{INT}}\left( {{\rm{tot}}} \right)$. In particular the latter is not relatively truth definable (in the sense of [11]) in the former. Last but not least, we provide an axiomatic theory of truth which meets the requirements put forward by Fischer and Horsten in [9]. The truth theory we define is based on Weak Kleene Logic instead of the Strong one. (shrink)

Ali Enayat had asked whether two halves of Disjunctive Correctness ([Formula: see text]) for the compositional truth predicate are conservative over Peano Arithmetic (PA). In this paper, we show that the principle “every true disjunction has a true disjunct” is equivalent to bounded induction for the compositional truth predicate and thus it is not conservative. On the other hand, the converse implication “any disjunction with a true disjunct is true” can be conservatively added to [Formula: see text]. The methods introduced (...) here allow us to give a direct nonconservativeness proof for [Formula: see text]. (shrink)

Let ${\cal T}$ be any of the three canonical truth theories CT^− (compositional truth without extra induction), FS^− (Friedman–Sheard truth without extra induction), or KF^− (Kripke–Feferman truth without extra induction), where the base theory of ${\cal T}$ is PA. We establish the following theorem, which implies that ${\cal T}$ has no more than polynomial speed-up over PA. Theorem.${\cal T}$is feasibly reducible to PA, in the sense that there is a polynomial time computable function f such that for every ${\cal T}$-proof (...) π of an arithmetical sentence ϕ, f(π) is a PA-proof of ϕ. (shrink)

We introduce a principle of local collection for compositional truth predicates and show that it is arithmetically conservative over the classically compositional theory of truth. This axiom states that upon restriction to formulae of any syntactic complexity, the resulting predicate satisfies full collection. In particular, arguments using collection for the truth predicate applied to sentences occurring in any given (code of a) proof do not suffice to show that the conclusion of that proof is true, in stark contrast to the (...) case of the induction scheme. We analyse various further results concerning end-extensions of models of compositional truth and the collection scheme for the compositional truth predicate. (shrink)

We show that a typed compositional theory of positive truth with internal induction for total formulae (denoted by PT tot ) is not semantically conservative over Peano arithmetic. In addition, we observe that the class of models of PA expandable to models of PT tot contains every recursively saturated model of arithmetic. Our results point to a gap in the philosophical project of describing the use of the truth predicate in model-theoretic contexts.

We introduce a tool for analysing models of$\text {CT}^-$, the compositional truth theory over Peano Arithmetic. We present a new proof of Lachlan’s theorem that the arithmetical part of models of$\text {CT}^-$are recursively saturated. We also use this tool to provide a new proof of theorem from [8] that all models of$\text {CT}^-$carry a partial inductive truth predicate. Finally, we construct a partial truth predicate defined for a set of formulae whose syntactic depth forms a nonstandard cut which cannot be (...) extended to a full truth predicate satisfying$\text {CT}^-$. (shrink)

In the following paper we propose a model-theoretical way of comparing the “strength” of various truth theories which are conservative over $$ PA $$. Let $${\mathfrak {Th}}$$ denote the class of models of $$ PA $$ which admit an expansion to a model of theory $${ Th}$$. We show (combining some well known results and original ideas) that $$\begin{aligned} {{\mathfrak {PA}}}\supset {\mathfrak {TB}}\supset {{\mathfrak {RS}}}\supset {\mathfrak {UTB}}\supseteq \mathfrak {CT^-}, \end{aligned}$$ where $${\mathfrak {PA}}$$ denotes simply the class of all models of (...) $$ PA $$ and $${\mathfrak {RS}}$$ denotes the class of recursively saturated models of $$ PA $$. Our main original result is that every model of $$ PA $$ which admits an expansion to a model of $$ CT ^-$$, admits also an expansion to a model of $$ UTB $$. Moreover, as a corollary to one of the results (brought to us by Carlo Nicolai) we conclude that $$ UTB $$ is not relatively interpretable in $$ TB $$, thus answering the question from Fujimoto (Bull Symb Log 16:305–344, 2010). (shrink)

In this paper, we investigate abstract model-theoretic properties which hold for models in which a truth or satisfaction predicate for a sublanguage of the signature is definable. We analyze in which cases those properties in fact ensure the definability of the respective truth predicate. In some cases, we formulate different axiomatic theories which are indispensable for such properties to hold and we analyze the mutual definability relations between those theories.

Journal of Mathematical Logic, Ahead of Print. In this paper, we investigate abstract model-theoretic properties which hold for models in which a truth or satisfaction predicate for a sublanguage of the signature is definable. We analyze in which cases those properties in fact ensure the definability of the respective truth predicate. In some cases, we formulate different axiomatic theories which are indispensable for such properties to hold and we analyze the mutual definability relations between those theories.

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)

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)

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)

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)

This massive book is an intensive inquest into the fate of the human subject as it passes through the primitive, despotic, passional and capitalist regimes found in Deleuze and Guattari. Emphatic, acerbic, loquacious, impassioned, and marshaling a considerable array of theoretical and literary frameworks--from Schelling, Kantorowicz, Agamben, Hegel, Nietzsche, Badiou, Rosenzweig, Lévinas, Derrida, Blanchot, Kierkegaard, Marx, Lazzarato, Berardi, Zizek and Plotinus to Solzhenitsyn, Pessoa, Fuentes, Dostoyevsky, Kafka, Beckett, Mann, Schreber, Dante, Milton, Shakespeare, Sade, the Midrash and Kabbalah--and cavorting through vast (...) expanses of world history, Bartosz Łubczonok scrutinizes the maladies of pain, resentment, bad conscience, ideology, immiseration, torture, death, depression and suicide that have and continue to afflict humanity, and the possibilities of its vertiginous liberation. All is here: the auto-genesis of God, the Crucifixion, the Holocaust, September 11. The Apotheosis of Nullity is a searing indictment of all forms of oppression and despotism, inclusive of neoliberal capitalism, and far surpasses any usage of Deleuze and Guattari to date. It is relentless. (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)

"The Problem of Intersubjectivity in Berkeley’s Immaterialism" The paper discusses the issue of intersubjectivity in Berkeley’s early philosophy. In the course of metaphysical analysis I argue that it is not possible to save within Berkeleian metaphysics intersubjectivity of the object of cognition and the unity of the world of experience, either in version of its strict identity or by taking perfect likeness as a criterion of its identity.

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)

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 idea for this volume stems from the symposium held in New York City in autumn 2016. The book consists of 11 chapters—the last one being an afterword of the editor—, a bibliography, and an index. The papers are preceded by the introduction of J.J. Peradotto. There are no internal divisions in the volume and the texts are presented in chronological order, ranging from Archaic and Classical to Roman period, focusing heavily on the former (8 out of 11 chapters). Literary (...) sources form the basi... (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)

Niniejszy artykuł jest recenzją książki The Network Turn. Changing Perspectives in the Humanities autorstwa Ruth Ahnert, Sebastiana E. Ahnerta, Catherine Nicole Coleman i Scotta B. Weingarta, wydanej w 2020 r. W tekście przedstawiam książkę jako udaną propozycję uhumanistycznienia nauk o sieci, oceniając poszczególne rozdziały i sytuując tę pracę w kontekście zastanej już literatury oraz zapotrzebowania.

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)

[ENG] The aim of this paper is to analyze the „possibility puzzle” presented by Shapiro (2011) in the context of the debate between conventionalism and non-conventionalism in speech act theory. Conventionalism claims that for every speech act there is a pattern (convention) which determines its illocutionary force. To perform a felicitous speech act is to fulfil necessary and sufficient conditions for this particular speech act. Non-conventionalism criticizes the view that for every speech act there is a conventional pattern and hidden (...) conditions, which are to be fulfilled. This view maintains the conventional thesis for the so-called strict conventional speech acts (e.g. performatives), but negates using universal quantifier for so-called communicative speech acts whose aim is, in short, to express an intention and force someone to act by virtue of this intention. As in (Shapiro 2011), Phil said: in order for someone to have the power to make, change and apply rules, there has to be a rule that empowers someone to do so. This objection concerned „The First Legis- lator” only from the conventional perspective on speech acts. If it can be maintained that The First Legislator’s speech acts may be non-conventional, then Phil’s argument misses the point. Finally, I will emphasize that only lawyers analyze „the very first speech acts” whereas for philosophers, the problem of e.g. „the very first question” is less absorbing. -/- [PL] Celem niniejszego artykułu jest przedstawienie tak zwanej Aporii Phila (possibility puz- zle) przedstawionej przez Shapiro (2011) w kontekście sporu konwencjonalizm–nonkon- wencjonalizm w teorii aktów mowy. Konwencjonalizm utrzymuje, że dla każdego aktu mowy istnieje konwencja, która determinuje moc illokucyjną aktu. Wykonać w pełni for- tunny akt mowy to spełnić wystarczające i konieczne warunki określone dla danego aktu mowy. Nonkonwencjonalizm krytykuje pogląd, że dla każdego aktu mowy istnieje okre- ślona konwencja oraz ukryte warunki, które należy spełnić. Ten pogląd utrzymuje kon- wencjonalną tezę dla tak zwanych stricte konwencjonalnych aktów mowy (na przykład performatywów), ale neguje użycie dużego kwantyfikatora dla tak zwanych komunika- cyjnych aktów mowy, których celem jest, w skrócie, wyrażenie pewnej intencji i zmusze- nie kogoś poprzez jej wyrażenie do określonego postępowania. Phil, bohater historii z książki Shapiro (2011), podkreślił, iż zawsze musi istnieć reguła upoważniająca do two- rzenia prawa. Ten zarzut dotyczący „Pierwszego Legislatora” jest zasadny tylko z per- spektywy konwencjonalizmu. Jeżeli można utrzymywać, że akt mowy Pierwszego Legislatora może być nonkonwencjonalny, wtedy argument Phila jest nietrafny. Na końcu scharakteryzowany jest następujący fenomen: tylko prawnicy analizują „pierwsze akty mowy”, natomiast dla filozofów problem „pierwszego pytania” nie jest tak absorbujący. (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)

Mimo ujmującej prostoty filozofia Berkeleya pozostaje przedmiotem niekończących się sporów interpretacyjnych. Toczą się one przede wszystkim wokół dwóch ściśle związanych ze sobą zagadnień. Po pierwsze, od dziesiątków lat spór między badaczami dotyczy kwestii właściwej klasyfikacji berkeleyowskiej filozofii – zażarte debaty wywołuje pytanie o to, czy należy uznać ją za system idealistyczny czy raczej realistyczny? Powodu do tego sporu dostarczył sam Berkeley, który redukując cały świat doświadczenia do zespołu istniejących jedynie w umyśle idei, zarazem wielokrotnie zapewniał, że owo upodmiotowienie rzeczywistości nie (...) przynosi w najmniejszym stopniu uszczerbku jej realności. Kontrowersja ta jest jednak tylko pochodną bardziej fundamentalnej kwestii – pytania o metafizyczną strukturę berkeleyowskiej idei. Nic więc dziwnego, że oba te zagadnienia zdominowały dwudziestowieczne studia nad myślą Berkeleya. Jakie są perspektywy zakończenia tych sporów? Czy możliwe jest rozstrzygnięcie obu wymienionych kwestii? Niewątpliwie. Niemożliwe jest jednak osiągnięcie tego celu metodami czysto historycznymi. Jego realizacja wymaga zmiany postawy metodologicznej, która „spór o Berkeleya” pozwoliłaby przenieść na bardziej teoretyczny grunt. Niniejsza książka ma spełnić właśnie taką rolę. (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)