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.

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)

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..

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

Social constructivists use to say that economists cannot study objective reality, absolute truth does not exist, and economic knowledge is being constructed, not discovered and it depends on temporary culture. Realists notice and admit social conditions which may affect economic theories and unrealistic assumptions of models, but they claim that these models describe the real world, at least to some extent. The notions of truth and reality are crucial in both of these concepts. In this papar they are analysed based (...) on Hilary Putnam theory developed by Adam Grobler. (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)

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

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)

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

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.

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)

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)

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)

“Il n’y a pas de hors-texte”. Intralinguistic Semantics and Its Philosophical and Cognitive Consequences The aim of this paper is to present and metatheoretically analyse the model of intralinguistic semantics as set forth by Umberto Eco in his Theory of Semiotics. The distinctive feature of this system is the rejection of the realistic category of reference, understood as a correspondence of meaningful units with the extralinguistic domain of interpretation, i.e., with a class of extralinguistic semantic correlates. As a result, the (...) main idea of Eco’s theory is to replace the traditional extralinguistic semantics with the new one, in which the meaning of each unit is determined solely by its relations with the other elements of the system. Language formed in this way is semantically autonomous, intralinguistically closed and self-explaining. Analysis of Eco’s theory by means of the appropriate conceptual apparatus reveals the far-reaching philosophical and cognitive implications of his approach in studies on language, meaning and truth. (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 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)

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)

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.

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)

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)

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)

In this paper I argue that logical multivalency is necessary for epistemology and has desirable structural properties. In support of this claim, I discuss the nonclassical logical values from an epistemological point of view. The question addressed is how many logical values logicians and philosophers need. Two standpoints are usually adopted regarding this issue: the fundamentality of bivalence and the necessity of multivalence. The first position, supported by Suszko, is summarized in the statement that due to the very nature of (...) logic, bivalency is all we need. The second position, motivated by research practice which requires making inferences under imperfect conditions, admits the multivalence. In the first part of the article, I focus on the very first manyvalued system L3, invented and explored by Jan Łukasiewicz. I recount the critique of L3, and then discuss Suszko’s thesis and Malinowski’s response. I also analyze the epistemological background of the Suszko-Łukasiewicz controversy which was related to the relation between logic, antirealism and externalism. I conclude fundamentalism regarding logical bivalence generates more problems than the adoption of multivalency. (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 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)

Several experimental studies on moral judgment and moral decision-making show that in virtual reality people tend to make more “characteristically utilitarian” decisions than when responding to standard questionnaires. An explanation of this phenomenon that has been considered by many authors states that the feature of VR studies that is responsible for this effect is the visual salience of the harmful consequences of “deontological” decisions. The present paper makes three points, the first of which is theoretical: we argue that this explanation, (...) which draws from Cushman’s dual-process account of moral judgment, is in fact not coherent with this account’s predictions with respect to behavior in VR. The second point is that this explanation does not sufficiently explain the existing empirical findings concerning the footbridge dilemma because these studies differ in important aspects of experimental design from studies on the switch dilemma. The third point is empirical: we present two original VR studies that were designed to check the robustness of the increased “utilitarian” tendency and directly test the explanation that is based on the visual salience of harmful consequences. The results of the experiments provide evidence that the effect is quite robust but the proposed explanation is inadequate. (shrink)

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

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

"A Special Case of Logical Contradiction – Content Implication Approach" The difference between so-called performative/pragmatic and logical contradiction seems to be one of the most firmly established philosophical distinctions. There are, however, some utterances, which fall outside this classification in its current form. Moreover, they reveal that the expressive power of the language of classical logic is too weak to express some form of the logical contradiction. The main aim of this paper is to characterize this special case of the (...) contradiction. By extending classical logic with a new connective, i.e. content implication, it also provides tools needed for adequate formal representation of this phenomenon. (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)