We give a syntactic translation from first-order intuitionistic predicate logic into second-order intuitionistic propositional logic IPC2. The translation covers the full set of logical connectives ∧, ∨, →, ⊥, ∀, and ∃, extending our previous work, which studied the significantly simpler case of the universal-implicational fragment of predicate logic. As corollaries of our approach, we obtain simple proofs of nondefinability of ∃ from the propositional connectives and nondefinability of ∀ from ∃ in the second-order intuitionistic propositional logic. We also show (...) that the ∀-free fragment of IPC2 is undecidable. (shrink)

To evoke the impression of movement in the “immobile” image is one of the central motivations of the visual art, and the activating effect of images has been discussed in art psychology already some hundred years ago. However, this topic has up to now been largely neglected by the researchers in cognitive psychology and neuroscience. This study investigates – from an interdisciplinary perspective – the formation of lateralised instances of motion when an observer perceives movement in an image. A first (...) step was to identify images that evoke a perception of movement in a certain direction and to give this a rating. Reaction times leading to the engagement of a joystick following the presentation of images are used to evidence the postulated movement occasioned by the perception of movement in an image. Where the required direction of joystick moves matched the expected perception of movement direction in the image, considerably shorter reaction times were recorded. The experiment was able to prove a “movement-image compatibility effect” in observers of images. Based on this, the paper revisits and brings up to date the theses on motor sensory response to images which were developed in art psychology at the beginning of the 20th century. It furthermore contributes an embodiment theory interpretation to the prevalent representational explanation of compatibility effects. (shrink)

According to the predictive coding theory of cognition , brains are predictive machines that use perception and action to minimize prediction error, i.e. the discrepancy between bottom–up, externally-generated sensory signals and top–down, internally-generated sensory predictions. Many consider PCT to have an explanatory scope that is unparalleled in contemporary cognitive science and see in it a framework that could potentially provide us with a unified account of cognition. It is also commonly assumed that PCT is a representational theory of sorts, in (...) the sense that it postulates that our cognitive contact with the world is mediated by internal representations. However, the exact sense in which PCT is representational remains unclear; neither is it clear that it deserves such status—that is, whether it really invokes structures that are truly and nontrivially representational in nature. In the present article, I argue that the representational pretensions of PCT are completely justified. This is because the theory postulates cognitive structures—namely action-guiding, detachable, structural models that afford representational error detection—that play genuinely representational functions within the cognitive system. (shrink)

The article reviews the book Konstytucja wolności [The Constitution of Liberty], by Friedrich August von Hayek.

This paper centers around the notion that internal, mental representations are grounded in structural similarity, i.e., that they are so-called S-representations. We show how S-representations may be causally relevant and argue that they are distinct from mere detectors. First, using the neomechanist theory of explanation and the interventionist account of causal relevance, we provide a precise interpretation of the claim that in S-representations, structural similarity serves as a “fuel of success”, i.e., a relation that is exploitable for the representation using (...) system. Then, we discuss crucial differences between S-representations and indicators or detectors, showing that—contrary to claims made in the literature—there is an important theoretical distinction to be drawn between the two. (shrink)

This book presents a new approach to semantics based on Kazimierz Ajdukiewicz’s Directival Theory of Meaning, which in effect reduces semantics of the analysed language to the combination of its syntax and pragmatics. The author argues that the DTM was forgotten because for many years philosophers didn’t have conceptual tools to appreciate its innovative nature, and that the theory was far ahead of its time. The book shows how a redesigned and modernised version of the DTM can deliver a new (...) solution to the problem of defining linguistic meaning and that the theory can be understood as a new type of functional role semantics. The defining feature of the DTM is that it presents meaning as a product of constraints on the usage of words. According to the DTM meaning is not use, but the avoidance of misuse. Readers will see how the DTM was shelved for reasons that we don’t find so dramatic anymore, and how it contains enough original ideas and solutions to warrant developing it into a full-blown contemporary account. It is shown how many of the underlying ideas of the theory have been embraced later by philosophers and treated simply as brute facts about natural languages or even as new philosophical discoveries. Philosophers of language and researchers with an interest in how languages and the mind work will find this book a fascinating read. (shrink)

Perceptual experience usually comes with “phenomenal force”, a strong sense that it reflects reality as it is. Some philosophers have argued that it is in virtue of possessing phenomenal force that perceptual experiences are able to non‐inferentially justify beliefs. In this article, I introduce an alternative, inferentialist take on the epistemic role of phenomenal force. Drawing on Bayesian modeling in cognitive science, I argue that the sense of reality that accompanies conscious vision can be viewed as epistemically appraisable in light (...) of its rational etiology. (shrink)

Despite the fact that the notion of internal representation has - at least according to some - a fundamental role to play in the sciences of the mind, not only has its explanatory utility been under attack for a while now, but it also remains unclear what criteria should an explanation of a given cognitive phenomenon meet to count as a representational explanation in the first place. The aim of this article is to propose a solution to this latter problem. (...) I will assume that representational explanations should be construed as a form of mechanistic explanations and proceed by proposing a general sketch of a functional architecture of a representational cognitive mechanism. According to the view on offer here, representational mechanisms are mechanisms that meet four conditions: the structural resemblance condition, the action-guidance condition, the decouplability condition, and the error-detection condition. (shrink)

Psychedelic substances elicit powerful, uncanny conscious experiences that are thought to possess therapeutic value. In those who undergo them, these altered states of consciousness often induce shifts in metaphysical beliefs about the fundamental structure of reality. The contents of those beliefs range from contentious to bizarre, especially when considered from the point of view of naturalism. Can chemically induced, radically altered states of consciousness provide reasons for or play some positive epistemic role with respect to metaphysical beliefs? In this paper, (...) I discuss a view that has been underexplored in recent literature. I argue that psychedelic states can be rationally integrated into one’s epistemic life. Consequently, updating one’s metaphysical beliefs based on altered states of consciousness does not have to constitute an instance of epistemic irrationality. (shrink)

Name der Zeitschrift: Frühmittelalterliche Studien Jahrgang: 50 Heft: 1 Seiten: 129-162.

Debunking arguments aim to undermine common sense beliefs by showing that they are not explanatorily or causally linked to the entities they are purportedly about. Rarely are facts about the aetiology of common sense beliefs invoked for the opposite aim, that is, to support the reality of entities that furnish our manifest image of the world. Here I undertake this sort of un-debunking project. My focus is on the metaphysics of ordinary physical objects. I use the view of perception as (...) approximate Bayesian inference to show how representations of ordinary objects can be extracted from sensory input in a rational and truth-tracking manner. Drawing an analogy between perception construed as Bayesian hypothesis testing and scientific inquiry, I sketch out how some of the intuitions that traditionally inspired arguments for scientific realism also find application with regards to proverbial tables and chairs. (shrink)

This paper is the first part of an exploration into the logical properties of relative identity. After providing the semantic grounds for various monadic logics of relative identity, I define the minimal system and its nine extensions. It is suggested that despite their purely formal origin at least some of them may contain nontrivial philosophical insights. All logics are axiomatized by means of sound and complete sequent calculi. I show their affinities with existing formalizations.

According to unconscious perception hypothesis (UP), mental states of the same fundamental kind as ordinary conscious seeing can occur unconsciously. The proponents of UP often support it with empirical evidence for a more specific hypothesis, according to which colours can be seen unconsciously (UPC). However, UPC is a general claim that admits of many interpretations. The main aim of this paper is to determine which of them is the most plausible. To this end, I investigate how adopting various conceptions of (...) colour and perceptual phenomenal character affects UPC’s resilience to objections. This brings me to the conclusion that the most plausible reading of UPC is the one according to which the phenomenal character of colour perception (i) is constituted by colours qua primitive mind-independent qualities of the environment and (ii) is not essentially tied to consciousness. My conclusion not only identifies the most plausible interpretation of UPC, but also highlights and supports an unorthodox version of the relational theory of perception, which is a perfectly viable yet so far overlooked stance in the debate about unconscious perception. (shrink)

Like most goods‐producing sectors in the West, modern health‐care systems have been profoundly changed by globalization and the neoliberal policies that attend it. Since the 1970s, the role of the welfare state has been considerably reduced; funding and management of health systems have been subjected to wave upon wave of reorganization and assimilated to the private sector. At the same time, neoliberal policy has imposed the notion of patient empowerment, thus turning patients into consumers of health. The literature on nursing (...) has accordingly reported on the significant repercussions on all aspects of the profession, from delivery of care and treatment, through training for new nurses, to legislated policy reforms regarding the role and responsibilities of modern nurses. In light of these developments, this paper analyses and theorizes about the way the injection of neoliberal policy is linked to and affects the practice of nursing. Drawing on a number of Nietzschean arguments, we begin with an exploration of the complex effects of neoliberalism, bureaucratization, and technocratization on the health system and the practice of nursing. Our main theoretical point here is that neoliberal policy engenders and promotes a neoliberal tide, which results in the conversion of the values that drive modern nursing practice. We then examine this tide in the light of Nietzsche's concepts. Starting with an analysis based on the ontology of the will to power, we show that nurses are dominated by neoliberal values embedded in technocratic and bureaucratic ideologies. Finally, we argue that the application of neoliberal policy constitutes a form of domestication from which one might potentially be freed through the Nietzschean concept of transvaluation of values. This transvaluation, as its freeing from some of the neoliberal tide, may be accomplished in accordance with a hierarchy of specific life‐affirming values for nursing culture and practice. (shrink)

Predictive Processing (PP) framework construes perception and action (and perhaps other cognitive phenomena) as a matter of minimizing prediction error, i.e. the mismatch between the sensory input and sensory predictions generated by a hierarchically organized statistical model. There is a question of how PP fits into the debate between traditional, neurocentric and representation-heavy approaches in cognitive science and those approaches that see cognition as embodied, environmentally embedded, extended and (largely) representation-free. In the present paper, I aim to investigate and clarify (...) the cognitivist or ‘conservative’ reading of PP. I argue that the conservative commitments of PP can be divided into three distinct categories: (1) representationalism, (2) inferentialism, and (3) internalism. I show how these commitments and their relations should be understood and argue for an interpretation of each that is both non-trivial and largely ecumenical towards the 4E literature. Conservative PP is as progressive as conservatism gets. (shrink)

In this paper, I use the predictive processing theory of perception to tackle the question of how perceptual states can be rationally involved in cognition by justifying other mental states. I put forward two claims regarding the epistemological implications of PP. First, perceptual states can confer justification on other mental states because the perceptual states are themselves rationally acquired. Second, despite being inferentially justified rather than epistemically basic, perceptual states can still be epistemically responsive to the mind-independent world. My main (...) goal is to elucidate the epistemology of perception already implicit in PP. But I also hope to show how it is possible to peacefully combine central tenets of foundationalist and coherentist accounts of the rational powers of perception while avoiding the well-recognized pitfalls of either. (shrink)

The article reviews the book Metodologia nauk [Methodology of the Sciences], by Adam Grobler.

Infertility is a serious social problem. Very often the only treatment possibility are IVF methods. This study explores the possibility of outcome prediction in the early stages of treatment. The data, collected from the previous treatment cycles, were divided into four subsets, which corresponded to the selected stages of treatment. On each such subset, sophisticated data mining analysis was carried out, with appropriate imputations and classification procedures. The obtained results indicate that there is a possibility of predicting the final outcome (...) at the beginning of treatment. (shrink)

The aim of this article is to critically examine what I call Action-Centric Theories of Representation (ACToRs). I include in this category theories of representation that (1) reject construing representation in terms of a relation that holds between representation itself (the representational vehicle) and what is represented, and instead (2) try to bring the function that representations play for cognitive systems to the center stage. Roughly speaking, according to proponents of ACToRs, what makes a representation (that is, what is constitutive (...) of it being a representation) is its being functionally involved in preselecting or guiding the actions of cognitive systems. I intend to argue that while definitely valuable, ACToRs are underconstrained and thus not entirely satisfying, since there exist structures that would count as representations according to ACToRs, but which do not play functional roles that could be nontrivially or in an explanatorily valuable way classified as representing something for a cognitive system. I outline a remedy for this theoretical situation by postulating that a fully satisfying theory of representation in cognitive science should have two factors; i.e., it should combine the pragmatic, action-oriented aspect present in ACToRs with an element that emphasizes the importance of the relation holding between a representational vehicle and what is represented. (shrink)

The aim of the article is to assess the situation in terms of wage inequality and identify factors influencing changes in the levels, dynamics and relations of wages in voivodeships in Poland in 2012–2021. In Poland, during the analyzed period, an economic crisis occurred in 2012 as a consequence of the crisis of 2008–2009 and since 2020. Average monthly gross wages in Poland will be used for this purpose. Based on this data, deviations, relationships, and rates of change will be (...) calculated. To carry out the analysis and evaluation, I will use statistical data published in the Statistical Yearbooks of the Central Statistical Office in Warsaw for the years 2012–2021. In this article, the region will be identified with the voivodeship, according to the administrative division. (shrink)

Recent developments in virtual reality technology raise a question about the experience of presence and immersion in virtual environments. What is immersion and what are the conditions for inducing the experience of virtual presence? In this paper, we argue that crucial determinants of presence are perception of affordances and sense of embodiment. In the first section of this paper, we define key concepts and introduce important distinctions such as immersion and presence. In the second and third sections, we respectively discuss (...) presence, immersion and their determinants in detail. In the fourth and fifth sections, we argue for the importance of perception of affordances and sense of embodiment in increasing the degree of presence. Finally, we show the consequences of our view and discuss possible future implications. (shrink)