In this article I am going to argue that despite the fact that (1) there is nothing specific to the form of constitutive rules and (2) that in some broad sense every rule has a constitutive aspect, there is a substantial difference between what might be called trivially and genuinely constitutive rules, and the difference can be spotted by looking at practices that rules are supposed to constitute, not at these rules.

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)

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)

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.

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)

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 analysis of atomic sentences and their subatomic components poses a special problem for proof-theoretic approaches to natural language semantics, as it is far from clear how their semantics could be explained by means of proofs rather than denotations. The paper develops a proof-theoretic semantics for a fragment of English within a type-theoretical formalism that combines subatomic systems for natural deduction [20] with constructive (or Martin-Löf) type theory [8, 9] by stating rules for the formation, introduction, elimination and equality of (...) atomic propositions understood as types (or sets) of subatomic proof-objects. The formalism is extended with dependent types to admit an interpretation of non-atomic sentences. The paper concludes with applications to natural language including internally nested proper names, anaphoric pronouns, simple identity sentences, and intensional transitive verbs. (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)

"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)

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)

"Metaphysical Conditions of the Berkeleian Immaterialism" This paper discusses metaphysical conditions of the Berkeleian immaterialism. First, the abstract concept of existence is demonstrated to be inadequate for Berkeley’s metaphysics. The core of the argumentation involves showing that any attempt to establish immaterialism on the basis of the theory of existence cannot succeed without accepting the constitutiveness of idea’s mode of existence and rejecting the autonomy of an object in relation to its mode of existence. Second, it is shown that Berkeley’s (...) metaphysics demands a mono-existential theory of an object. Consequently, this paper shows that since Berkeley’s idea cannot have more than one mode of existence (i.e. in the human mind perceiving it), metaphysical analysis of Berkeleian philosophy allows one to refute all its multi-existential interpretations. (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)

This dissertation develops a substitutional semantics for first-order (modal) logic which, unlike truth-value semantics, allows a fine-grained analysis of the semantical behaviour of the terms and predicates from which atomic formulae are composed. Moreover, it proposes a nondenotational philosophical foundation for the semantics of substitutional quantified (modal) logic.

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)

The paper develops a proof-theoretic semantics for belief reports by extending the constructive type-theoretical formalism presented in Więckowski with a specific kind of set-forming operator suited for the representation of belief attitudes. The extended formalism allows us to interpret constructions which involve, e.g., iteration of belief, quantifying into belief contexts, and anaphora in belief reports. Moreover, constructive solutions to canonical instances of the problem of hyperintensionality are suggested. The paper includes a discussion of Ranta’s constructive account of belief reports.

The Logic of Legal Requirements. Essays on Defeasibility, edited by Jordi Ferrer Beltrán and Giovanni Battista Ratti, and published by Oxford University Press in 2012, is a very much welcome contribution to one of the most discussed topics in the contemporary legal theory and philosophy. Defeasibility is connected to many essential issues such as the nature of legal reasoning, the structure of legal norms and legal system, the concept of legal validity, as well as the mechanisms and limits of..

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)

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)

Cilj članka je odgovoriti na kritiko, ki jo je David Duarte usmeril zoper tezo o delni zvedljivosti, tj. trditev, ki jo Brożek zagovarja v eni izmed svojih knjig in pravi, da je analogno sklepanje deloma zvedljivo na tehtanje pravnih načel. Prvi del članka oriše okvir, ki je avtorju služil pri oblikovanju teze o zvedljivosti, tj. Alexyjevo teorijo pravnega sklepanja. Drugi del je namenjen ovrženju Duartejevih ugovorov. Ti naj namreč ne bi upoštevali prej omenjenega okvira. V zadnjem delu avtor še zatrdi, (...) da so nekateri vidiki njegove teorije analognega sklepanja neodvisni od omenjenega teoretskega okvira in zato uporabni za katerokoli pojmovanje analogije v pravu. (shrink)

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

The Yearbook 2021 for Global Ethics, Compliance & Integrity offers an upto- date overview of the recent and most significant developments in the interdisciplinary area of organizational Ethics, Compliance & Integrity Management. The 2021 Yearbook focuses on (but is not limited to) integrity and ethics and consists of 40 highly valuable articles submitted by 55 experts. The authors include excellent ethics, compliance and integrity professionals, scholars and advisors from 20 different countries. As conceived, the publication offers exclusive insights both from (...) practical and theoretical perspectives. This year's edition consists of seven carefully arranged chapters dealing with governance and compliance management, integrity management, organizational ethics and culture, anti-bribery management, whistleblowing, the challenges of digitalization, and - last but not least - corporate incentives and sanctions. In each chapter, the yearbook provides a comprehensive range of views and expertise regarding Ethics, Compliance and Integrity in all kind of organizations. (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)

Beebe and Buckwalter 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 is the analogue of the Knobe effect. 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 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)

"Realitas formalis/realitas obiectiva. The Paradox of Descartes’ Representationism" The paper discusses some aspects of the highly original theory of representation, developed by Descartes in his ‘Meditations’, and based on the ontological isomorphism of ideas and their material correlates. In the course of the analysis it is shown that the Cartesian theory involves unavoidable problems with discrimination or correlation of the objects in question, which is connected with the problem of constitutiveness of their modes of existence. Consequently, the conclusion of the (...) paper is that representationism based on the isomorphistic theory of representation turns out to be self-contradictory. (shrink)