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)

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

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)

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

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

We define intuitionistic subatomic natural deduction systems for reasoning with elementary would-counterfactuals and causal since-subordinator sentences. The former kind of sentence is analysed in terms of counterfactual implication, the latter in terms of factual implication. Derivations in these modal proof systems make use of modes of assumptions which are sensitive to the factuality status of the formula that is to be assumed. This status is determined by means of the reference proof system on top of which a modal proof system (...) is defined. The introduction and elimination rules for counterfactual (resp. factual) implication draw on this status. It is shown that derivations in the systems normalize and that normal derivations have the subexpression/subformula property. An intuitionistically acceptable proof-theoretic semantics is formulated in terms of canonical derivations. The systems are applied to so-called counterpossibles and to related constructions. (shrink)

It is argued that the intuitionistic conception of negation as implication of absurdity is inadequate for the proof-theoretic semantic analysis of negative predication and distinctness. Instead, it is suggested to construe negative predication proof-theoretically as subatomic derivation failure, and to define distinctness—understood as a qualified notion—by appeal to negative predication. This proposal is elaborated in terms of intuitionistic bipredicational subatomic natural deduction systems. It is shown that derivations in these systems normalize and that normal derivations have the subexpression (incl. subformula) (...) property. A proof-theoretic semantics for negative predication and distinctness is defined, and an intuitionistic conception of truth based on canonical derivations is proposed. An application to the doctrine of the Trinity, to which negative predication and distinctness are central, illustrates the systems and their proof-theoretic semantics. (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.

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)

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)

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)

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)

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)

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

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

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

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)

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)

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

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

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)

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)

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.

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)