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)

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

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)

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)

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.

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)

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)

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)

The article concerns the situation of the judicial application of the law where the entity applying the law refers in a decision-making process to moral principles. The decision should be based on the directives of interpretation, which indicate the need for such a determination of the meaning of the applicable norms so that it remains in harmony with commonly accepted moral rules of the society. The equity has one more purpose; namely, it allows for the process of decision-making—and not just (...) for the process of unifying the decisions—since the mere rule does not specify the algorithm of undertaking them. This rule thus assumes that it will be further specified by phronesis judge who in a given situation will determine—for the purposes of a particular decision—a hierarchy between the criteria of substantive justice “embedded” in this rule. The reference to equity stands for the concretization of an unspecified general rule. We deal here with an indefinite general rule, the application of which is facilitated by a reference to rightness. (shrink)

Respondents in a southern state telephone survey agreed that media coverage of public leaders' private lives is an important news media responsibility, with agreement greater for legacy media than for online media, and differing depending on hypothetical scenario. The data also suggest increasing tolerance for such coverage and growing belief in responsibility of media to report on private indiscretions relative to previous studies.

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)

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)

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

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.

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

The purpose of this article is to analyze the issue of delusions as natural kinds in the context of the problem of scientific basis of psychiatry. In the analysis the author points out that the claim that delusions are a natural kind (perceived rather classically) cannot be maintained and delusions should be analyzed rather as a homeostatic property clusters. This concept is very popular recently in philosophy of psychiatry and will be the subject of analysis of the second part of (...) the article. (shrink)

CAN VIRTUE EPISTEMOLOGY SOLVE THE GETTIER PROBLEM? The aim of this paper is to investigate if ideas developed by philosophers representing the current called Virtue Epistemology are able to resolve the Gettier problem. First of all, I am going to remind what classical concept of knowledge as justified true belief consists in, then I present co-called Gettier cases that are counterexamples to the classical idea of knowledge. Then I investigate how the idea of evaluating beliefs formulated by Ernest Sosa is (...) able to deal with hard cases made by Gettier, but also Chisholm and Goldman. I argue that Sosa’s conception could be viewed as satisfactory analysis of knowledge, if we slightly modify it to accommodate Goldman’s case. (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)

The aim of the present article is to reconstruct the theory of the moral perception held by G.E. Moore, with a special regard to its ontological and epistemological features. The author tries to prove first that Moore’s theory of ethical reality has been strongly influenced by his ontology and epistemology. Secondly, he indicates that the two mentioned views are interdependent ones. However the article is intended not only to give an account of the doctrine of Moore but also to be (...) a particular interpretation of it. A discerning analysis of Moore’s act of the moral perception shows that he understood it on the analogy with the sense perception. The author tries therefore to interpret the theory of the moral perception in the sense-data language. (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 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.

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)

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

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)

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)