W artykule omawiam zawartość archiwum emigracyjnego grafika i typografa Stanisława Gliwy w kontekście badań nad genezą dzieł literackich. Nieskatalogowane materiały przechowywane w Wojewódzkiej Bibliotece Publicznej w Toruniu są mało znane badaczom, a mogą być interesujące dla edytorów, którzy chcieliby prześledzić dossier genezy utworów powstałych na emigracji, a zatem w warunkach ograniczonego dostępu do publiczności. Skupiam się na teczkach z korespondencją, w których oprócz listów można znaleźć dodatkowe dokumenty w postaci makiet, wydruków próbnych, umów i rozliczeń. Na przykładach pokazuję, jak wiele (...) różnych wypadków może się wydarzyć od momentu, gdy autor składa do druku – zdawałoby się – gotowy tekst dzieła. (shrink)

The paper concerns Grzegorczyk’s non-Fregean logics that are intended to be a formal representation of the equimeaning relation defined on descriptions. We argue that the main Grzegorczyk logics discussed in the literature are too strong and we propose a new logical system, \, which satisfies Grzegorczyk’s fundamental requirements. We present a sound and complete semantics for \ and we prove that it is decidable. Finally, we show that many non-classical logics are extensions of \, which makes it a generic non-Fregean (...) logic. (shrink)

This paper introduces Basic Intuitionistic Set Theory BIST, and investigates it as a first-order set theory extending the internal logic of elementary toposes. Given an elementary topos, together with the extra structure of a directed structural system of inclusions on the topos, a forcing-style interpretation of the language of first-order set theory in the topos is given, which conservatively extends the internal logic of the topos. This forcing interpretation applies to an arbitrary elementary topos, since any such is equivalent to (...) one carrying a dssi. We prove that the set theory BIST+Coll is sound and complete relative to forcing interpretations in toposes with natural numbers object . Furthermore, in the case that the structural system of inclusions is superdirected, the full Separation schema is modelled. We show that all cocomplete and realizability toposes can be endowed with such superdirected systems of inclusions.A large part of the paper is devoted to an alternative notion of category-theoretic model for BIST, which, following the general approach of Joyal and Moerdijkʼs Algebraic Set Theory, axiomatizes the structure possessed by categories of classes compatible with BIST. We prove soundness and completeness results for BIST relative to the class-category semantics. Furthermore, BIST+Coll is complete relative to the restricted collection of categories of classes given by categories of ideals over elementary toposes with nno and dssi. It is via this result that the completeness of the original forcing interpretation is obtained, since the internal logic of categories of ideals coincides with the forcing interpretation. (shrink)

In critical care medicine, teaching and mentoring practices are extremely important in regard to attracting and retaining young trainees and faculty in this important subspecialty that has a scarcity of needed personnel in the USA. To this end, we argue that Foucault’s Technologies of the Self is critical background reading when endeavoring to effect the positive transformation of faculty into effective teachers and mentors.

A study was carried out involving persons representing high-anxious, low-anxious and repressor types according to the classification of Weinberger, Davidson & Schwartz, selected using the Marlowe-Crowne Social Desirability Scale and the trait anxiety scale of the Spielberger State-Trait Anxiety Inventory. In seeking indicators of anxiety in repressors and high-anxious groups, the authors decided to analyse the level of dogmatism observed in utterance texts. The research was intended to determine whether styles of coping with threatening stimuli condition the level of dogmatism, (...) which was regarded as a cognitive defence mechanism against anxiety. The method of formal analysis of texts was used to identify their level of dogmatism, measured using the Dogmatism Quotient developed by Ertel. The highest value of the Dogmatism Quotient was recorded for repressors, and the lowest for the low-anxious subjects; a similar pattern was also observed for certain particular dimensions of dogmatism. Statistically significant differences in the level of dogmatism were found between the repressor and lowanxious groups and between the high-anxious and low-anxious groups. The study confirmed the previously discovered pattern whereby repressors exhibit more similarities to high-anxious than to low-anxious persons. (shrink)

We present two proof systems for first-order logic with identity and without function symbols. The first one is an extension of the Rasiowa-Sikorski system with the rules for identity. This system is a validity checker. The rules of this system preserve and reflect validity of disjunctions of their premises and conclusions. The other is a Tableau system, which is an unsatisfiability checker. Its rules preserve and reflect unsatisfiability of conjunctions of their premises and conclusions. We show that the two systems (...) are dual to each other. The duality is expressed in a formal way which enables us to define a transformation of proofs in one of the systems into the proofs of the other. (shrink)

The non-Fregean logic SCI is obtained from the classical sentential calculus by adding a new identity connective = and axioms which say ?a = ß' means ?a is identical to ß'. We present complete and sound proof system for SCI in the style of Rasiowa-Sikorski. It provides a natural deduction-style method of reasoning for the non-Fregean sentential logic SCI.

We show that there are continuum many different non-Fregean sentential logics that have adequate models. The proof is based on the construction of a special class of models of the power of the continuum.

Interval temporal logics provide both an insight into a nature of time and a framework for temporal reasoning in various areas of computer science. In this paper we present sound and complete relational proof systems in the style of dual tableaux for relational logics associated with modal logics of temporal intervals and we prove that the systems enable us to verify validity and entailment of these temporal logics. We show how to incorporate in the systems various relations between intervals and/or (...) various time orderings. (shrink)

Atypical emotion interpretation has been widely reported in individuals with borderline personality disorder ; however, empirical studies reported mixed results so far. We suggest that discrepancies in observations of emotion interpretation by iBPD can be explained by biases related to their fear of rejection and abandonment, i.e., the three moral emotions of anger, disgust, and contempt. In this study, we hypothesized that iBPD would show a higher tendency to correctly interpret these three displays of social rejection and attribute more negative (...) valence. A total of 28 inpatient iBPDs and 28 healthy controls were asked to judge static and dynamic facial expressions in terms of emotions, valence, and self-reported arousal evoked by the observed faces. Our results partially confirmed our expectations. The iBPD correctly interpreted the three unambiguous moral emotions. Contempt, a complex emotion with a difficulty in recognizing facial expressions, was recognized better by iBPD than by healthy controls. All negative emotions were judged more negatively by iBPD than by controls, but no difference was observed in the neutral or positive emotion. Alexithymia and anxiety trait and state levels were controlled in all analyses. (shrink)

We present a dual tableau system, RLK, which is itself a deterministic decision procedure verifying validity of K-formulas. The system is constructed in the framework of the original methodology of relational proof systems, determined only by axioms and inference rules, without any external techniques. Furthermore, we describe an implementation of the system in Prolog, and we show some of its advantages.

A non-Fregean framework aims to provide a formal tool for reasoning about semantic denotations of sentences and their interactions. Extending a logic to its non-Fregean version involves introducing a new connective $$\equiv $$ ≡ that allows to separate denotations of sentences from their logical values. Intuitively, $$\equiv $$ ≡ combines two sentences $$\varphi $$ φ and $$\psi $$ ψ into a true one whenever $$\varphi $$ φ and $$\psi $$ ψ have the same semantic correlates, describe the same situations, or (...) have the same content or meaning. The paper aims to compare non-Fregean paraconsistent Grzegorczyk’s logics (Logic of Descriptions $$\textsf{LD}$$ LD, Logic of Descriptions with Suszko’s Axioms $$\textsf{LDS}$$ LDS, Logic of Equimeaning $$\textsf{LDE}$$ LDE ) with non-Fregean versions of certain well-known paraconsistent logics (Jaśkowski’s Discussive Logic $$\textsf{D}_2$$ D 2, Logic of Paradox $$\textsf{LP}$$ LP, Logics of Formal Inconsistency $$\textsf{LFI}{1}$$ LFI 1 and $$\textsf{LFI}{2}$$ LFI 2 ). We prove that Grzegorczyk’s logics are either weaker than or incomparable to non-Fregean extensions of $$\textsf{LP}$$ LP, $$\textsf{LFI}{1}$$ LFI 1, $$\textsf{LFI}{2}$$ LFI 2. Furthermore, we show that non-Fregean extensions of $$\textsf{LP}$$ LP, $$\textsf{LFI}{1}$$ LFI 1, $$\textsf{LFI}{2}$$ LFI 2, and $$\textsf{D}_2$$ D 2 are more expressive than their original counterparts. Our results highlight that the non-Fregean connective $$\equiv $$ ≡ can serve as a tool for expressing various properties of the ontology underlying the logics under consideration. (shrink)

BackgroundIn this study, we analyze the association of social isolation in the first phase of the pandemic with perceived stress among residents of Poland and Italy with a look at how these populations adjust to and comply with implemented regulations, guidelines, and restrictions.Materials and MethodsInternet survey with Perceived Stress Scale (PSS-10) and questions regarding mobility patterns, attitude, and propensity to adjust toward the implemented measures and current health condition was made among Polish and Italian residents (Cronbach’s alpha 0.86 and 0.79, (...) respectively). The sample size was 7,108 (6,169 completed questionnaires in Poland and 939 in Italy).ResultsThe Polish group had a higher stress level than the Italian group (mean PSS-10 total score 22,14 vs 17,01, respectively;p< 0.01). There was a greater prevalence of chronic diseases among Polish respondents. Italian subjects expressed more concern about their health, as well as about their future employment. Italian subjects did not comply with suggested restrictions as much as Polish subjects and were less eager to restrain from their usual activities (social, physical, and religious), which were more often perceived as “most needed matters” in Italian than in Polish residents.ConclusionHigher activity level was found to be correlated with lower perceived stress, but the causality is unclear. Difference in adherence to restrictions between Polish and Italian residents suggests that introducing similar lockdown policies worldwide may not be as beneficial as expected. However, due to the applied method of convenience sampling and uneven study groups, one should be careful with generalizing these results. (shrink)

Timeless Radcliffe: A Review of Ann Radcliffe, Romanticism and the Gothic - Tomasz Fisiak Yeats’s Genres and Tensions: A Review of Charles I. Armstrong’s Reframing Yeats: Genre, Allusion and History - Wit Pietrzak Review of Anna Pochmara’s The Making of the New Negro: Black Authorship, Masculinity, and Sexuality in the Harlem Renaissance - Antoni Górny “Artful Exaggeration” - Krzysztof Majer Interviews Bill Gaston Transcultural Theatre in the UK - Uilleam Blacker Talks to Joanna Kosmalska.

Timeless Radcliffe: A Review of Ann Radcliffe, Romanticism and the Gothic - Tomasz Fisiak Yeats’s Genres and Tensions: A Review of Charles I. Armstrong’s Reframing Yeats: Genre, Allusion and History - Wit Pietrzak Review of Anna Pochmara’s The Making of the New Negro: Black Authorship, Masculinity, and Sexuality in the Harlem Renaissance - Antoni Górny “Artful Exaggeration” - Krzysztof Majer Interviews Bill Gaston Transcultural Theatre in the UK - Uilleam Blacker Talks to Joanna Kosmalska.

In the first part of my paper I briefly present Jerzy Pelc’s functional approach to logical semiotics of natural language. This approach focuses on the use of natural language expressions and on its dependence on context and conversational situation. One of the important goals of this analysis is to appreciate the role of sentences in natural language and stress that it is by means of sentences that language fulfills its main roles. However, for Pelc almost any expression can be used (...) as a sentence, despite not being a grammatical sentence. In the second part I try to place Pelc’s standpoint within the framework of contemporary semantic minimalism – contextualism debate. I pay special attention to his treatment of subsentential expressions used to express propositions and argue that his view belongs to pragmatics-oriented approaches to subsentential speech acts. (shrink)

W artykule zwracam uwagę na trudności jakie napotyka ktoś, kto chce wcielać w życie postulaty krytycyzmu dotyczące precyzji językowej. Zgodnie z tymi postulatami powinno się mówić jednoznacznie i precyzyjnie, a zatem unikać wyrażeń wieloznacznych, nieostrych i chwiejnych znaczeniowo. Jednakże postulaty te jest znacznie trudniej spełnić niż mogłoby się wydawać, bowiem istotne wątpliwości dotyczą samych zjawisk niejasności, nieostrości czy wieloznaczności. Wydaje się, że chcąc nauczyć innych unikania na przykład wypowiedzi wieloznacznych, powinniśmy dysponować adekwatną charakterystyką wieloznaczności i potrafić ją właściwie diagnozować. Tymczasem, (...) sytuacja jest niesamowicie zagmatwana i w literaturze czy to filozoficznej, czy językoznawczej, nie ma jednej ustalonej definicji, czy choćby zgody co do tego, które wyrażenia są wieloznaczne. Nie ma także zgody co do tego, w jaki sposób charakteryzować polisemię i jak odróżniać ją np. od zależności kontekstowej. Wątpliwości budzi także charakterystyka nieostrości i właściwego klasyfikowania przypadków granicznych wyrażeń nieostrych. Nie ma natomiast wątpliwości, że większość wyrażeń języka naturalnego jest i nieostra, i zależna od kontekstu, i jednocześnie polisemiczna. Co więcej w wielu wypadkach te cechy wcale nie są defektami naszego języka, a wręcz usprawniają komunikację i umożliwiają nam szybkie przekazanie treści. Postulat unikania tego rodzaju wyrażeń jest po prostu nierealizowalny. Kierowanie się zasadami krytycyzmu pozwala jednak na łatwiejsze dostrzeżenie i unikanie wadliwości i uchybień wobec poprawności językowej w tych sytuacjach, gdy takie wadliwości utrudniają sprawną komunikację. (shrink)

W dniach 9–13 września 2016 roku na Uniwersytecie Humboldtów w Berlinie odbyła się konferencja „What is said – what is meant”. Konferencja miała dwie wyraźnie oddzielone części: pierwsza „What is said” odbywała się w dniach 9–10 września, a druga „What is meant” – w dniach 12–13 września. Odróżnienie tego, co powiedziane, od tego, co w inny sposób komunikowane, wywodzi się zwykle z filozofii Paula Grice’a...

The book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valued logics) and to various applied theories of computational logic (such as temporal reasoning, spatial reasoning, fuzzy-set-based reasoning, rough-set-based reasoning, order-of magnitude reasoning, reasoning about programs, threshold logics, logics of conditional decisions). The distinguishing feature of most of these applications is that the corresponding dual tableaux are built in a (...) relational language which provides useful means of presentation of the theories. In this way modularity of dual tableaux is ensured. We do not need to develop and implement each dual tableau from scratch, we should only extend the relational core common to many theories with the rules specific for a particular theory. (shrink)

Unprecedented advances in medicine, genetic engineering, and demographic forecasting raise new questions that strain the categories and assumptions of traditional ethical theories. Heyd's approach resolves many paradoxes in intergenerational justice, while offering a major test case for the profound problems of the limits of ethics and the nature of value.

The question of whether AI systems such as robots can or should be afforded moral agency or patiency is not one amenable either to discovery or simple reasoning, because we as societies constantly reconstruct our artefacts, including our ethical systems. Consequently, the place of AI systems in society is a matter of normative, not descriptive ethics. Here I start from a functionalist assumption, that ethics is the set of behaviour that maintains a society. This assumption allows me to exploit the (...) theoretical biology of sociality and autonomy to explain our moral intuitions. From this grounding I extend to consider possible ethics for maintaining either human- or of artefact-centred societies. I conclude that while constructing AI systems as either moral agents or patients is possible, neither is desirable. In particular, I argue that we are unlikely to construct a coherent ethics in which it it is ethical to afford AI moral subjectivity. We are therefore obliged not to build AI we are obliged to. (shrink)

A CHOICE Outstanding Academic Title 2012! Contemporary picturebooks open up spaces for philosophical dialogues between people of all ages. As works of art, picturebooks offer unique opportunities to explore ideas and to create meaning collaboratively. This book considers censorship of certain well-known picturebooks, challenging the assumptions on which this censorship is based. Through a lively exploration of children's responses to these same picturebooks the authors paint a way of working philosophically based on respectful listening and creative and authentic interactions, rather (...) than scripted lessons. This dialogical process challenges much current practice in education. The authors propose that a courageous and critical practice of listening is central to the facilitation of mutually educative dialogue. This book will be of interest to scholars and students of education studies, philosophy of education, literacy teaching and learning, children's literature, childhood and pedagogy. (shrink)

Conferring legal personhood on purely synthetic entities is a very real legal possibility, one under consideration presently by the European Union. We show here that such legislative action would be morally unnecessary and legally troublesome. While AI legal personhood may have some emotional or economic appeal, so do many superficially desirable hazards against which the law protects us. We review the utility and history of legal fictions of personhood, discussing salient precedents where such fictions resulted in abuse or incoherence. We (...) conclude that difficulties in holding “electronic persons” accountable when they violate the rights of others outweigh the highly precarious moral interests that AI legal personhood might protect. (shrink)

This fully revised second edition suggests ways in which you can introduce philosophical enquiry to your Personal, Social and Health Education and Citizenship teaching and across the curriculum.

Saunkeah et al. analyze the aptness of extending the Belmont Principles of Respect for Persons, Beneficence and Justice to AI/AN tribal communities as a whole. They argue that to protect AI/...

Paying research subjects for their participation in biomedical studies is an increasingly common and acceptable practice. Nevertheless, it continues to raise numerous conceptual, ethical, and pract...

Since its advent in the 20th century, informed consent has become a cornerstone of ethical healthcare, and obtaining it a core obligation in medical contexts. In my dissertation, I aim to examine the theoretical underpinnings of informed consent and identify what values it is taken to protect. I will suggest that the fundamental motivation behind informed consent rests in something I’ll call bodily self-sovereignty, which I argue involves a coupling of two groups of values: autonomy and non-domination on the one (...) hand, and self-ownership and personal integrity on the other. I will then go on to consider two 'case studies' I take to shed light on what is at stake in securing informed consent - consent in psychiatrically ill populations, and consent to interventions that involve the modification of the genetic germline. (shrink)

Everyone knows what is feels like to be in pain. Scraped knees, toothaches, migraines, giving birth, cancer, heart attacks, and heartaches: pain permeates our entire lives. We also witness other people - loved ones - suffering, and we 'feel with' them. It is easy to assume this is the end of the story: 'pain-is-pain-is-pain', and that is all there is to say. But it is not. In fact, the way in which people respond to what they describe as 'painful' has (...) changed considerably over time. In the eighteenth and nineteenth centuries, for example, people believed that pain served a specific (and positive) function - it was a message from God or Nature; it would perfect the spirit. 'Suffer in this life and you wouldn't suffer in the next one'. Submission to pain was required. Nothing could be more removed from twentieth and twenty-first century understandings, where pain is regarded as an unremitting evil to be 'fought'. Focusing on the English-speaking world, this book tells the story of pain since the eighteenth century, addressing fundamental questions about the experience and nature of suffering over the last three centuries. How have those in pain interpreted their suffering - and how have these interpretations changed over time? How have people learnt to conduct themselves when suffering? How do friends and family react? And what about medical professionals: should they immerse themselves in the suffering person or is the best response a kind of professional detachment? (shrink)

Background:Data representing people’s behaviour, attitudes, feelings and relationships are increasingly being harvested from social media platforms and re-used for research purposes. This can be ethically problematic, even where such data exist in the public domain. We set out to explore how the academic community is addressing these challenges by analysing a national corpus of research ethics guidelines and published studies in one interdisciplinary research area.Methods:Ethics guidelines published by Research Councils UK, its seven-member councils and guidelines cited within these were reviewed. (...) Guidelines referring to social media were classified according to published typologies of social media research uses and ethical considerations for social media mining. Using health research as an exemplar, PubMed was searched to identify studies using social media data, which were assessed according to their coverage of ethical considerations and guidelines.Results:Of the 13 guidelines published or recom... (shrink)

In the recent philosophical literature, several counterexamples to the interpretative principle that symmetry-related models are physically equivalent have been suggested The Oxford handbook of philosophy of physics, Oxford University Press, Oxford, 2013, Noûs 52:946–981, 2018; Fletcher in Found Phys 50:228–249, 2020). Arguments based on these counterexamples can be understood as arguments from scientific practice of roughly the following form: because in scientific practice such-and-such symmetry-related models are treated as representing distinct physical situations, these models indeed represent distinct physical situations. In (...) this paper, a strategy for analysing arguments of this type is presented and applied to the examples that can be found in the literature. I argue that if we are exclusively interested in models understood as representing entire possible worlds, arguments from scientific practice should involve some additional assumptions to guarantee they are relevant for models understood in this way. However, none of the examples presented in the literature satisfy all these additional assumptions, which leads to the conclusion that arguments from scientific practice based on these examples do not undermine the interpretative principle that different symmetry-related models represent the same possible world. (shrink)