The paper develops a proof-theoretic semantics for belief reports by extending the constructive type-theoretical formalism presented in Więckowski with a specific kind of set-forming operator suited for the representation of belief attitudes. The extended formalism allows us to interpret constructions which involve, e.g., iteration of belief, quantifying into belief contexts, and anaphora in belief reports. Moreover, constructive solutions to canonical instances of the problem of hyperintensionality are suggested. The paper includes a discussion of Ranta’s constructive account of belief reports.

The 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 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 analysis of atomic sentences and their subatomic components poses a special problem for proof-theoretic approaches to natural language semantics, as it is far from clear how their semantics could be explained by means of proofs rather than denotations. The paper develops a proof-theoretic semantics for a fragment of English within a type-theoretical formalism that combines subatomic systems for natural deduction [20] with constructive (or Martin-Löf) type theory [8, 9] by stating rules for the formation, introduction, elimination and equality of (...) atomic propositions understood as types (or sets) of subatomic proof-objects. The formalism is extended with dependent types to admit an interpretation of non-atomic sentences. The paper concludes with applications to natural language including internally nested proper names, anaphoric pronouns, simple identity sentences, and intensional transitive verbs. (shrink)

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

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)

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 present contribution is an attempt at showing that Tocqueville’s conception of liberty transcended the divisions between negative and positive aspects of freedom. The author starts by juxtaposing it with the opposition drawn by Constant between liberty of the ancients and liberty of the moderns. While Tocqueville and Constant shared a concern for the preservation of individual rights, as Claude Lefort has rightly pointed out, Tocqueville was much more reluctant to accept the modern loss of the communal dimension of liberty. (...) He did not accept the view that jouissances privées, private pleasures, are the main compensation that the modern world has to offer for the lost ancient treasure of political participation. The article then looks into the relevance of Tocqueville’s standpoint for current debates between liberal defenders of negative freedom and republican advocates of freedom as non-domination. Opponents in this discussion seem to be so devoted to demonstrating that their particular approach provides the best guarantees against any threats to liberty, both factual and potential, that they overlook the fact that their definitions of freedom remain significantly similar. By arguing that 'to be free is to be guided by one’s own will' contemporary republicans, as well as their liberal counterparts, move along the lines drawn by Constant and towards private pleasures. By questioning the inevitability of this turn, Tocqueville provides us with a valuable contribution to crucial discussions in contemporary political philosophy. (shrink)

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)

Die Beiträge dieses Buches untersuchen die Vielfalt der Herangehensweisen an die diversen Erscheinungsformen von Sprache, an das Wort und die Wortsemantik sowie an den Gebrauch von Sprache. Der Band enthält Arbeiten, die linguistische Fragestellungen zu sprachsystematischen Aspekten der Wort-, Satz-, Text- und Diskursebene behandeln sowie Perspektiven eröffnen, um diverse Aspekte von Sprache in einem über diese Domänen hinausgehenden Rahmen zu betrachten. Die Beiträger diskutieren Fragen der lexikalischen Semantik, Pragmalinguistik, Morphologie und der Lexikographie. Das Buch setzt seine Schwerpunkte neben der Wortsemantik (...) auf die Eingebundenheit lexikalischer Bedeutungen in registerspezifische Diskursmuster, öffentliche, interpersonelle und geschäftlich-beruflich orientierte Diskurse. (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.

Due to the rapid advances in medical technology, medical students are now being faced with increasingly complex and unparalleled ethical and practical dilemmas during their training. The new and future challenges of high-tech medicine demand improvements in current medical education, not only by meeting the needs of students through humanized training programs, but also by involving them in finding solutions to the ethical and legal quandaries they encounter. Today’s students of medical universities must acquire knowledge and understanding of the ethical (...) and legal issues relevant to the practice of medicine, and we have to do everything possible to introduce these students to the current discussions on more or less controversial ethical and legal topics. Although final answers may not be found, the very discussion, argumentation, and awakening of students’ interest should become an essential part of the core curriculum of every doctor. (shrink)

This note discusses P. Oppenheimer and E. Zalta's ?A Computationally-Discovered Simplification of the Ontological Argument? [this journal, 2011]. I try to explain why the simplification presented there was successful and comment on the technical aspects of the method they applied.

Author: Bytniewski Paweł Title: “WHAT IS AN AUTHOR?” ON FOUCAULT’S CONSCIOUSNESS OF AN AUTHORSHIP („Kim jest Autor?” O krytycznej świadomości autorstwa) Source: Filo-Sofija year: 2010, vol:.10, number: 2010/1, pages: 73-106 Keywords: FOUCAULT, AUTHOR, LITERATURE, LANGUAGE, EXPERIENCE Discipline: PHILOSOPHY Language: POLISH Document type: ARTICLE Publication order reference (Primary author’s office address): E-mail: www:One of the major obstacles to reconstructing Foucault’s attitude towards an authorship issue is multiplicity of his own roles which as an author he fulfilled. An Authorship as a (...) theme of his texts, as a prefiguration of nonexistent “Man” and his own authorship as a problem, as a way of “detaching myself from myself” – all these are the forms of Foucauldian ideas about an authorship and, at the same time, forms of his consciousness of his own authorship. Foucault historicizes and dissipates an authorship: an author is a function rather than the originator of texts. Writing, in this perspective, is a kind of conversion, decomposition of subjectivity into something else and even explosion. To say “I” doesn’t prove to be an ego. Additionally, Foucault notoriously suggests that his books are fiction. To be an author in this way is a way of being within the discourse and, as a consequence of it, to be trapped in its power. Foucault’s own rewriting of his theoretical biography includes turns and returns: as he repeatedly claims, he wrote in order to transform himself. He uses the processes of writing to simulate production of his subjective identity and, at the same time, to summarize, recapitulate his own oeuvre from current position. To cope with this suggestive and bizarre claims one should employ Roland Barthes distinction: écrivains (authors) et écrivants (writers). When Foucault-écrivain decomposes his ego, his own mode of existence by the use of writing, Foucault-écrivant, in an act of writing, writes himself, as an author. When Foucault-écrivain “writes fictions”, Foucault écrivant, in an act of “self-writing” (l’écriture de soi), establishes the object of a critique – Foucault. (shrink)

ABSTRACTPrior research on attention bias in anxious youth, often utilising a visual dot probe task, has yielded inconsistent findings, which may be due to how bias is assessed and/or variability in the phenomenon. The present study utilises eye gaze tracking to assess attention bias in socially anxious adolescents, and explores several methodological and within-subject factors that may contribute to variability in attention bias. Attention bias to threat was measured in forty-two treatment-seeking adolescents diagnosed with Social Anxiety Disorder. Bias scores toward (...) emotional stimuli and bias scores away from emotional stimuli were explored. Bias scores changed between vigilance and avoidance within individuals and over the course of stimulus presentation. These differences were not associated with participant characteristics nor with self-reported social anxiety symptoms. However, clinician rated severity of social anxiety, explained a signific... (shrink)

This paper aims to present and discuss an argumentation against the Turing test (TT), which we shall call the CCSC (Complete Conversation System Claim). Exemplary arguments of the CCSC type include Lem’s “Space Gramophone,” the “machine equipped with a dictionary” proposed by Shannon and McCarthy, Block’s “Aunt Bubbles,” and Searle’s “Chinese Room” argument. CCSC argumentation is constructed to show that the TT is not properly designed and, consequently, is not a good hallmark of intelligence. Based on the original TT rules (...) reconstruction, I argue that CCSC-type argumentation seems to be aimed at a certain interpretation of the TT, which, as I demonstrate, commits the straw man fallacy. In light of the results presented by Łupkowski and Wiśniewski, I also discuss whether a complete conversation system is theoretically possible. (shrink)

The article presents the results of a study investigating the links between emotion regulation and identity. The aim of this study was to explore the relationship between the two variables. On the basis of neo-eriksonian theories, an attempt to specify the role of emotion regulation in the process of identity formation was made. The study involved 849 people aged 14-25. The participants attended six types of schools: lower secondary school, basic vocational school, technical upper secondary school, general upper secondary school, (...) post-secondary school, and university. The research was conducted with the use of two questionnaires: Difficulties in Emotion Regulation Scale and Dimensions of Identity Development Scale. The analysis of the results points to a partial confirmation of the assumed hypotheses about the differences between people with different identity statuses in respect of the six investigated dimensions of emotion regulation. Also, the hypotheses about the links between the dimensions of emotion regulation and dimensions of identity in the subgroups with different identity statuses were partially confirmed. (shrink)

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)

The article argues that altruistic giving based on anonymity, which is expected to promote social solidarity and block trade in human body parts, is conceptually defective and practically unproductive. It needs to be replaced by a more adequate notion which responds to the human practices of giving and receiving. The argument starts with identification of the main characteristics of the anonymous altruistic donation: social separation of the organ donor from the recipient, their mutual replaceability, non-obligatoriness of donation, and non-obligatoriness of (...) reciprocation on the recipient’s part. Since these characteristics are also central to typical market relations, anonymous altruistic donation not only cannot promote solidarity but may encourage proposals for markets of transplantable organs. Thus, transplant ethics needs to be reframed. It needs to be rooted in, rather than promote, the practices of giving and receiving known to human societies. As the basis for such reframing, the idea of sharing in another’s misfortune is proposed. It relies on the human practices of giving and receiving and, with appropriate regulatory safeguards, can provide a better conceptual basis for blocking commercial exchanges of human body parts. (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)

No more than a few years ago could open an article concerning neurophenomenology with a statement describing recent rediscovery of the problem of consciousness by the cognitive sciences and pointing to the fact that right now, explaining conscious experience in neuroscientific or computational terms poses the greatest challenge for those sciences. Today however, constatations of this sort start to sound like trivial descriptions of a universally recognized state of affairs. The question of “how the water of the physical brain is (...) turned into a wine of consciousness” is now among the mainstream problems of cognitive science. (shrink)

Philosophy in technology is a research program that studies the philosophical roots of engineering and technology. Technologists, by virtue of their education, believe that the limits, goals, possibilities, and effects of technology on society and humankind are exclusively technological problems, hence their solutions must lie exclusively in technology. In contrast, philosophy in technology asserts that the resolutions to these problems need to be rooted in an understanding of their philosophical origins. This program paper defines the objectives of philosophy in technology, (...) the kinds of questions it explores, the methods it uses, and how it differs from the philosophy of technology. (shrink)

Unfounded—conspiracy and health—beliefs about COVID-19 have accompanied the pandemic worldwide. Here, we examined cross-nationally the structure and correlates of these beliefs with an 8-item scale, using a multigroup confirmatory factor analysis. We obtained a two-factor model of unfounded (conspiracy and health) beliefs with good internal structure (average CFI = 0.98, RMSEA = 0.05, SRMR = 0.04), but a high correlation between the two factors (average latent factor correlation = 0.57). This model was replicable across 50 countries (total N = 13,579), (...) as evidenced by metric invariance between countries (CFI = 0.96, RMSEA = 0.06, SRMS = 0.07) as well as scalar invariance across genders (CFI = 0.98, RMSEA = 0.04, SRMS = 0.03) and educational levels (CFI = 0.98, RMSEA = 0.04, SRMS = 0.03). Also, lower levels of education, more fear of COVID-19, and more cynicism were weakly associated with stronger conspiracy and health beliefs. The study contributes to knowledge about the structure of unfounded beliefs, and reveals the potential relevance of affective (i.e., fear of COVID-19) and cognitive (i.e., cynicism) factors along with demographics, in endorsing such beliefs. In summary, we obtained cross-cultural evidence for the distinctiveness of unfounded conspiracy and health beliefs about COVID-19 in terms of their structure and correlates. (shrink)

Paweł Gładziejewski, Is empathy is mental simulation? Remarks on the representative approach based on the concept of mirror neurons., Diametros 27 This paper draws on the theoretical achievements of analytic philosophy of mind and the empirical results of psychology and cognitive neuroscience in order to understand the nature of empathy and the sub-personal mechanisms upon which it is based. The paper distinguishes two types of empathy, which are often not sufficiently clearly distinguished in the literature, empathy as a kind (...) of social perception and empathy as compassion. The argument attempts show to that neither of these can be identified with a mental simulation process understood as a sub-personal process. Nevertheless mental simulation may play a limited explanatory role with respect to these two types of empathy. (shrink)

Semen Frank (1877–1950) was one of the first and most ardent advocates of the ontological argument in the twentieth century. He proposed an original interpretation of the ontological argument based on its analogy to Descartes’ Cogito. Frank believed that it is possible to develop Cogito ergo sum into Cogito ergo est ens absolutum. In this paper, I analyze his version of the ontological argument. First, I propose a simple reconstruction of his reasoning, paying attention to its hidden premise. Second, departing (...) from the classical logical interpretations of Descartes’ argument, I show that for Frank the claim that God exists had the same logical properties as Cogito. As a result, it seems that his argument was formally correct, though based on a premise which could hardly be convincing for a non-believer. This should not be surprising, however, since Frank, as most Russian religious philosophers, was not interested in the project of philosophical theology. His main concern was rather the development of philosophy based on religious premises, which might be called “theological philosophy”. (shrink)

Any serious attempt to give an account of the cognitive aspect of science – as contrasted with e.g. its social or cultural aspects – cannot ignore the automation revolution. In the conception presented in this paper the results of computer science are taken seriously and integrated with many of the ideas concerning what constitutes scientific inquiry that have been proposed at least since the early Middle Ages. The central idea is that of reliable inquiry. Science makes explicit and elaborates on (...) the methods of acquiring beliefs in our daily life. The central question a scientific method applied to inquiry needs to face is if it is reliable in getting to the truth. On the reliabilist criteria presented here, if a method is logically warranted to get to the right answer – given data and background knowledge available – and to stick to it afterwards, then it is reliable. This is a normative theory, but the standard of reliability is adjusted to the domain of the inquiry at hand. This paper presents the central tenets of the reliabilist conception of science and briefly outlines the main results underlying it. Roughly, the aim of science is interesting truth about the world around us (scientific realism) and reliabilist epistemology affords us precise answers as to how far science can succeed in this task – given the methods, goals and background assumptions available. The philosophical task to deliver an adequate understanding of science is taken to be continuous with scientific research itself (naturalism), a major part of which is concerned with delivering causal explanations (causality) and can only be carried out with limited resources (computability). Many of the ideas integrated into the reliabilist conception of science and precisely articulated therewith have appeared earlier in both philosophy and science (history of ideas). I conclude the exposition of the ideas integrated into the reliabilist conception of science with discussions of sample case studies where the reliabilist conception of science has been applied to actual scientific research. For obvious reasons none of the grand conceptions of science from the distant past is adequate. Towards the end of this paper I give some substance to the claim that among the few contemporary conceptions of science reliabilist epistemology is the the most comprehensive account. For only it systematically elaborates the ideas of reliability and computability accompanying science from its inception. None of the past or contemporary alternatives to a thoroughly revised understanding of science offered by the reliabilist approach can embrace the recent outburst of new sciences such as computer science, Bayesian statistics and cognitive science. An outline of open problems and directions for future research concludes the paper. (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)

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)

Bioethics, Volume 36, Issue 8, Page 821-828, October 2022.

Paweł Florenski starał się sformułować ontologiczną teorię miłości. Uważał on, że miłość jest nie tylko zjawiskiem psychicznym, lecz zakłada takżejakiegoś rodzaju rzeczywiste zjednoczenie. Florenski proponował, by rozumieć je jako współistotność. Dwa numerycznie różne podmioty mogą stać się czymś jednym dzięki swojej numerycznie tożsamej istocie. Prócz tego Florenski zarysował teorię ontologiczną opartą na odróżnieniu między rzeczami a osobami. Wydaje się, że uznawał on wiązkową teorię przedmiotów i nominalizm tropowy dla kategorii rzeczy i teorię substratu połączoną z realizmem dla kategorii osób. (...) Pogląd Florenskiego można więc uznać za jedno ze stanowisk w dyskusji o zasadzie identyczności nieodróżnialnych. Staram się także pokazać, że można przezwyciężyć pewne poważne problemy filozoficzne i teologiczne ontologii miłości Florenskiegojeśli doda się do niej patrystyczne rozróżnienie między istotą a energią. (shrink)