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)

Druck der Zensur, nicht Aufhebung der Zielvorstellungen ist die richtige Begründung für das Vorherrschen der ober-flächlichen Assoziationen. Die oberflächlichen Assoziationen ersetzen in der Darstellung die tiefen, wenn die Zensur diese normalen Verbindungswege ungangbar macht. Es ist, wie wenn ein allgemeines Verkehrshindernis, z.B. eine Überschwemmung, im Gebirge die großen und breiten Straßen unwegsam werden läßt; der Verkehr wird dann auf unbequemen und steilen Fußpfaden aufrechterhalten, die sonst nur der Jäger begangen hat.

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)

Critics of SRI have said little about the integrity of corporate representations resulting in screening inclusion or exclusion. This is surprising given social and environmental accounting research that finds corporate posturing and deception in the absence of external verification, and a parallel body of literature describing corporate "greenwashing" and other forms of corporate disinformation. In this paper I argue that the problems and challenges of ensuring fair and accurate corporate social reporting mirror those accompanying corporate compliance with law. Similarities and (...) points of convergence between social reporting and corporate compliance are discussed, along with proposals for reform. (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)

There is a simple technique, due to Dragalin, for proving strong cut-elimination for intuitionistic sequent calculus, but the technique is constrained to certain choices of reduction rules, preventing equally natural alternatives. We consider such a natural, alternative set of reduction rules and show that the classical technique is inapplicable. Instead we develop another approach combining two of our favorite tools—Klop's l-translation and perpetual reductions. These tools are of independent interest and have proved useful in a variety of settings; it is (...) therefore natural to investigate, as we do here, what they have to offer the field of sequent calculus. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:New Rhetoric's Empire:Pragmatism, Dogmatism, and SophismRomain LauferPragmatism vs. RationalismThere are at least two reasons to devote some attention to sophism when dealing with the relationship between philosophy and rhetoric in the context of Franco-American intellectual exchanges. The first reason is that it lies at the very origin of classical philosophy which could be described as resulting directly from the way in which Plato and Aristotle succeeded in separating the (...) realm of rhetoric from the realm of philosophy. The second reason arises out of the way in which Durkheim, the founder of French academic sociology, thought it necessary to establish a clear distinction between sociology and pragmatism. This was done in a course given at the Sorbonne during the academic year 1913–14. The course could be considered a direct answer to the lectures on pragmatism given by William James at the Lowell Institute in Boston in 1906–7 (Durkheim 1955).From the very beginning of his talk, Durkheim expresses an extremely ambivalent point of view. On the one hand, pragmatism, better than any other doctrine, allows one to feel the necessity of reforming or renovating the type of "traditional rationalism" that dominated the French intellectual atmosphere of the time. On the other hand, it represents a real threat for this same rationalist tradition. Is it not a declaration of war that pragmatism launches on rationalism when William James writes that "against [End Page 326] rationalism as a pretension and a method pragmatism is fully armed and militant" (1975, 32)? In the face of this attack Durkheim declares that what is at stake are the very foundations of French culture: "Our whole French culture is essentially based on rationalism. Here the eighteenth century lives on. Thus, a radical negation of rationalism would constitute a danger: it would imply a complete disruption of our national culture. The whole French spirit would have to be transformed if the form of irrationalism that pragmatism represents were to be admitted" (1955, 28). Durkheim adds that this threat is not limited to the French tradition: "Not only our culture but the whole of the philosophical tradition has been, since the very beginnings of philosophical speculation—apart from a single exception that will be dealt with later—of a rationalist tendency. Therefore it is toward the disruption of all this tradition that one would have to proceed if pragmatism were valid" (1955, 28).Durkheim insists that what pragmatism tends to destroy is the "cult of truth," the fact that there are judgments that are necessary, which he will allude to throughout his analysis as corresponding to a dogmatic conception of truth that is repeatedly criticized by William James. James writes in his lectures on pragmatism that "rationalism is comfortable only in the presence of abstractions[;]... objective truth must be something non-utilitarian, haughty, refined, remote, august, exalted. It must be the absolute correspondence of our thoughts with an equally absolute reality.... Down with psychology, up with logic, in all this question!" (1975, 38).This allows Durkheim to declare that by stating that the human mind is free in front of the truth, pragmatism approaches the single exception he mentioned, namely, sophism, which in a similar manner negated truth. This connection is not arbitrary: it is avowed by the pragmatists themselves (1955, 28–29). Thus F. C. S. Schiller proclaims himself a "Protagorean" and recalls the axiom that "man is the measure of all things."Thus the debate between rationalism and pragmatism—between, according to Durkheim, a French philosophical tradition characterized by its link with a Cartesian dogmatic form of rationalism and an American philosophy characterized by its link with pragmatism—can be seen as the continuation of the debate between Plato and Aristotle, on the one hand, and the Sophists, on the other, at the origin of Western philosophy. Moreover, Durkheim tells us that the resurgence of the debate between pragmatism and philosophy corresponds to a historical transformation that affects the whole Western world. Pragmatism is becoming the only and dominant philosophy of the time. The central trait of this intellectual orientation is its [End Page 327] focus on action, a focus it shares with sociology itself: both are "daughters of... (shrink)

ABSTRACTThe present study examined relationships between attention to negative words and daily rumination and daily adjustment in a sample of clinically depressed individuals. We recorded eye movements of 43 individuals diagnosed with major depression while they were freely viewing dysphoric, threat-related, neutral, and positive words. Then, each day for one week, participants provided measures of their daily rumination and psychological adjustment. Multilevel analyses found that attention to dysphoric and threat-related words was positively related to daily rumination and attention to threat-related (...) words was negatively related to daily adjustment. These findings suggest that the impaired ability to disengage from negative words is positively related to rumination in daily life and is negatively related to well-being, as defined in terms of Beck’s Triad. (shrink)

The advent of ChatGPT by OpenAI has prompted extensive discourse on its potential implications for science and higher education. While the impact on education has been a primary focus, there is limited empirical research on the effects of large language models (LLMs) and LLM-based chatbots on science and scientific practice. To investigate this further, we conducted a Delphi study involving 72 researchers specializing in AI and digitization. The study focused on applications and limitations of LLMs, their effects on the science (...) system, ethical and legal considerations, and the required competencies for their effective use. Our findings highlight the transformative potential of LLMs in science, particularly in administrative, creative, and analytical tasks. However, risks related to bias, misinformation, and quality assurance need to be addressed through proactive regulation and science education. This research contributes to informed discussions on the impact of generative AI in science and helps identify areas for future action. (shrink)

Efforts to institutionalize ethics in corporations have been discussed without first addressing the desirability of norm conformity or the possibility that the means used to elicit conformity will be coercive. This article presents a theoretical context, grounded in models of social control, within which ethics initiatives may be evaluated. Ethics initiatives are discussed in relation to variables that already exert control in the workplace, such as environmental controls, organizational controls, and personal controls.

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.

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)

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

Modernity and What Has Been Lost comes out of a conference held at the Jagiellonian University in Krakw̤, Poland, on June 4-5, 2009 that sought to identify Leo Strauss's intellectual background in re: the repudiation of a modern idea of homogenous, universal state (considered as an illegitimate synthesis of Jerusalem and Athens, i.e., the claims of Reason and Revelation). The world we live in, molded by science and historical relativism, may be described as hostile to human dignity or perfection, or (...) abhorrent to those who love the search for wisdom. Straussian teaching consisted in the steady effort to reopen "the quarrel between the Ancients and the Moderns," and refers to the esoteric way of writing practiced by the most profound thinkers of the past which has been apparently forgotten in the last three centuries. Strauss binds the concept of natural right with the question of maintenance of conditions for philosophizing, and it probably seems to him that such defense of philosophy is the highest task in our times. However, one must be well aware that philosophizing always means a perilous way of life. Indeed, it may be destructive of the city (polis) itself as far as the city exists due to some crucial beliefs the philosopher might put in doubt. Reflecting on those issues, Strauss engaged in several highly important debates with his contemporaries, in an open way with, e.g., Carl Schmitt, Karl Lw̲ith and Alexandre Kojv̈e, and more tacitly with Martin Heidegger"--Provided by publisher. (shrink)

In this paper, I identify the hard problem of access for epistemological disjunctivism (ED): given that perceptual experience E is opaque with respect to its own epistemic properties, subject S is not in a position to know epistemic proposition (i) (that E is factive with respect to empirical proposition p) just by having E and/or reflecting on E. This is the case even if (i) is true. I first motivate the hard problem of access (Section 2) and then reconstruct and (...) analyze three of the ways in which EDists have argued for the internal accessibility of the factive character of perceptual experience. These arguments explain internal access in terms of the unity of perceptual and rational capacities (Section 3), favoring support (Section 4), and the outward-looking model of self-knowledge (Section 5). My conclusion (Section 6) is that none of these responses works. I then suggest how ED might be modified to succeed as an access internalist epistemology. (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)

In this paper I take a closer look at Fr. Georges Florovsky’s original view on the relation between philosophy and theology. I argue that he tried to formulate an approach based on patristic experience and opposed to the dominating secular paradigm of philosophy. In some sense he wanted to reverse the traditional account. As Teresa Obolevitch aptly suggested, he wanted to replace the principle fides quaerens intellectum by the rule intellectus quaerens fidem. In that first default case the faith needs (...) to be justified or proved by the reason, in the second, unobvious one, the faith has an absolute priority and illuminates itself the natural thought. According to Florovsky, philosophy should not attempt to ground the theology, formulating arguments for the existence of God or proving the coherence of theism, but rather should accept theology as a fundamental premise and then develop a new, non-secular account for the old philosophical topics. (shrink)

Rankings of countries by perceived corruption have emerged over the past decade as leading indicators of governance and development. Designed to highlight countries that are known to be corrupt, their objective is to encourage transparency and good governance. High rankings on corruption, it is argued, will serve as a strong incentive for reform. The practice of ranking and labeling countries "corrupt," however, may have a perverse effect. Consistent with Social Labeling Theory, we argue that perceptual indices can encourage the loss (...) of needed investment and, thus, contribute to higher rates of corruption within unfavorably ranked countries. In effect, corruption indices may inhibit foreign direct investment, the effect of which is to encourage the status quo in terms of corruption ranking. Using an experimental study design, we test the effects of country corruption rankings on the assessment of country investment desirability and find ranking exposure causes shifts in country investment desirability for 10 of 12 countries studied. These findings suggest that corruption rankings, which are based on perceptions of corruption, may cause country isolation and a reduction in legitimate means of investment. (shrink)

Brain activity determines which relations between objects in the environment are perceived as differences and similarities in colour, smell, sound, etc. According to selectionism, brain activity does not create those relations; it only selects which of them are perceptually available to the subject on a given occasion. In effect, selectionism entails that perceptual experience is diaphanous, i.e. that sameness and difference in the phenomenal character of experience is exhausted by sameness and difference in the perceived items. It has been argued (...) that diaphaneity is undermined by phenomenological considerations and empirical evidence. This paper considers five prominent arguments of this sort and shows that none of them succeeds. (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)

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)

The first aim of this paper is to remind the reader of a very original theory of meaning which in many aspects has not been surpassed by subsequent theories. The theory in question is Kazimierz Ajdukiewicz’s Directival Theory of Meaning. In the first section I present a version of this theory which, I trust, retains the gist of the original but loses its outdated language. In the second section I analyze some problematic consequences of the directival theory and show how (...) they can be addressed. The second aim of this paper is exploiting some of the similarities between the directival theory and later theories of meaning. In the third section I argue that using the directival theory as an interpretative tool enables us to create explications of some of the notoriously vague notions which contemporary theories of meaning employ. (shrink)

Pavel Florensky (1882–1937), a Russian theologian, philosopher, and mathematician, argued that the religious discourse is essentially contradictory and put forward the idea of the logical theory of antinomies. Recently his views raised interesting discussions among logicians who consider him a forerunner of many non-classical logics. In this paper I discuss four interpretations of Florensky’s views: paraconsistent, L-contradictory, non-monotonic and rhetorical. In conclusion I argue for the integral interpretation which unites these four approaches.

This paper presents Michael Heller’s notion of “philosophy in science” and re-introduces Michael Heller’s classical text that first presented this concept of philosophy entitled How is “philosophy in science” possible?. The paper discusses the historical context of Heller’s idea as it emerged from the discussions and works of the Krakow philosophical scene and discusses the basic tenants of this philosophy, its analytic character, the role of intellectual tradition in the development of this philosophy, and the critical role played by an (...) interdisciplinary dialogue between philosophy, science, and theology. Despite the idea of philosophy in science having emerged about 40 years ago, this concept still inspires and fuels innovative research. The notion of “philosophy in science” lies at the foundations of the philosophy published in two journals: Philosophical Problems in Science and Philosophy in Science. (shrink)

This paper controverts the ability of intentionalism about perception to account for unique epistemic significance of phenomenal consciousness. More specifically, the intentionalist cannot explain the latter without denying two well-founded claims: the transparency of experience, and the possibility of unconscious perception. If they are true, intentionality of perception entails that phenomenal consciousness has no special epistemic role to play. Although some intentionalists are ready to bite this bullet, by doing so they effectively undermine one of the standard motivations of their (...) view, i.e. the claim that perceptual experiences justify beliefs. Consequently, whatever reason might there be to think that phenomenal consciousness has unique epistemic import, it is also a reason to reject intentionalism. I recommend replacing the latter with an unorthodox formulation of relationalism about 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)