We show that Pitts' modeling of propositional quantification in intuitionistic logic (as the appropriate interpolants) does not coincide with the topological interpretation. This contrasts with the case of the monadic language and the interpretation over sufficiently regular topological spaces. We also point to the difference between the topological interpretation over sufficiently regular spaces and the interpretation of propositional quantifiers in Kripke models.

We introduce the notion of bisimulation for first-order Kripke models. It is defined as a relation that satisfies certain zig-zag conditions involving back-and-forth moves between nodes of Kripke models and, simultaneously, between the domains of their underlying structures. As one of our main results, we prove that if two Kripke models bisimulate to a certain degree, then they are logically equivalent with respect to the class of formulae of the appropriate complexity. Two applications of the notion introduced in the paper (...) are given. First, we consider bisimulations in the context of Kripke models of Heyting Arithmetic. Next, we discuss the notion of elementary submodel of a Kripke model and provide a suitable example. (shrink)

A one-premiss rule is said to be archetypal for a consequence relation when not only is the conclusion of any application of the rule a consequence of the premiss, but whenever one formula has another as a consequence, these formulas are respectively equivalent to a premiss and a conclusion of some application of the rule. We are concerned here with the consequence relation of classical propositional logic and with the task of extending the above notion of archetypality to rules with (...) more than one premiss, and providing an informative characterization of the set of rules falling under the more general notion. (shrink)

We study the monadic fragment of second order intuitionistic propositional logic in the language containing the standard propositional connectives and propositional quantifiers. It is proved that under the topological interpretation over any dense-in-itself metric space, the considered fragment collapses to Heyting calculus. Moreover, we prove that the topological interpretation over any dense-in-itself metric space of fragment in question coincides with the so-called Pitts' interpretation. We also prove that all the nonstandard propositional operators of the form q $\mapsto \exists$p ), where (...) F is an arbitrary monadic formula of the variable p, are definable in the language of Heyting calculus under the topological interpretation of intuitionistic logic over sufficiently regular spaces. (shrink)

The aim of this paper is to describe from a semantic perspective the problem of conservativity of classical first-order theories over their intuitionistic counterparts. In particular, we describe a class of formulae for which such conservativity results can be proven in case of any intuitionistic theory T which is complete with respect to a class of T-normal Kripke models. We also prove conservativity results for intuitionistic theories which are closed under the Friedman translation and complete with respect to a class (...) of conversely well-founded Kripke models. The results can be applied to a wide class of intuitionistic theories and can be viewed as generalization of the results obtained by syntactic methods. (shrink)

In this paper, we study natural language constructions which were first examined by Barwise: The richer the country, the more powerful some of its officials. Guided by Barwise’s observations, we suggest that conceivable interpretations of such constructions express the existence of various similarities between partial orders such as homomorphism or embedding. Semantically, we interpret the constructions as polyadic generalized quantifiers restricted to finite models. We extend the results obtained by Barwise by showing that similarity quantifiers are not expressible in elementary (...) logic over finite models. We also investigate whether the proposed readings are sound from the cognitive perspective. We prove that almost all similarity quantifiers are intractable. This leads us to first-order variants, which only approximate the strong readings, but are cognitively more plausible. Driven by the question of ambiguity, we recall Barwise’s argumentation in favour of strong readings, enriching it with some arguments of our own. Given that Barwise-like sentences are indeed ambiguous, we use a generalized Strong Meaning Hypothesis to derive predictions for their verification. Finally, we propose a hypothesis according to which conflicting pressures of communication and cognition might give rise to an ambiguous construction, provided that different semantic variants of the construction withstand different pressures involved in its usage. (shrink)

We examined the influence of identity fusion and status of evaluator on willingness to fight for one’s group after group-descriptive or not group-descriptive feedback. The valence of evaluative information was varied as well: feedback either support negative group-stereotype or contradict negative group-stereotype. In two studies we partially replicated previous findings on self-verification. Individuals fused with one’s group were more prone than non fused to fight for group members after receiving, challenging, not group-describing feedback, but only when evaluator’s status was high. (...) When the evaluator’ status was low, fused participants engaged in self-enhancement strategies: that is they endorse radical behavior after negative, even if group-describing, feedback. We discuss the importance of identity fusion and evaluator’s status for determining when self-enhancement and self-verification will and will not be evoke. (shrink)

In this interview, Tomasz Zarębski speaks with Allan Janik, co-author of _Wittgenstein’s Vienna_ (1973, with Stephen Toulmin), on the occasion of the 50 th anniversary of the publication of this pathbreaking book. The conversation concerns the circumstances, motivations and reasons for his undertaking the work on the book, as well as its reception and place in Wittgenstein scholarship. A large part of the discussion refers to his perspective of Wittgenstein, Toulmin’s philosophical writings, and Janik’s own vision of philosophy. The (...) interview took place in Innsbruck on 23 rd and 25 th August 2023. (shrink)

Here, we discuss historical, philosophical and technical problems associated with relating logic and relating semantics. To do so, we proceed in three steps. First, Section 1 is devoted to providing an introduction to both relating logic and relating semantics. Second, we address the history of relating semantics and some of the main research directions and their philosophical applications. Third, we discuss some technical problems related to relating semantics, particularly whether the direct incorporation of the relation into the language of relating (...) logic is needed. The starting point for our considerations presented here is the 1st Workshop On Relating Logic and the selected papers for this issue. (shrink)

The main aim of this political philosophy study is to analyze the two fundamental ideas developed by Jean Monnet, namely, the idea of a federally united Europe and its sovereignty. This analysis is combined with an attempt to capture at least some of the essential assumptions of his philosophical ideas and their evolution. The source materials on which the article is based are primarily Monnet’s Memories, his notes and official memoranda, the correspondence from the war and postwar period and the (...) speeches he gave as the President of the High Authority of the European Coal and Steel Community in 1952-1955. They were supplemented with Memorandum of Aristide Briand, the speech of Winston Churchill in Zurich, Convention for European Economic Cooperation and Erinnerungen 1945-1953 by Konrad Adenauer. When it comes to literature, the author referred to the extensive bibliography on the subject contained in Suwerenność by Jacek Czaputowicz. The study uses the method of multidisciplinary analysis of sources and their historical, political and philosophical interpretation. The research conducted allows us to speak of certain philosophical assumptions in Monnet’s thinking about a united Europe and its future. Among the main components of his understanding we can enumerate: necessity, change, specific strength, development in stages and incompleteness which is essentially characteristic to nature. The carried out analysis also allows us to formulate the hypothesis about Monnet’s philosophy of life and action, which can be understood as a certain phenomenology of the community in its becoming, and to situate it, at least partially, within the framework of the phenomenology of Europe as formulated by Erich Przywara in this treatise Idee Europe. (shrink)

The paper explores two pivotal concepts of Moore’s philosophy: sense data and immediate knowledge, examining their mutual relations. While the concept of sense data is commonly known and has often been extensively discussed, that of immediate knowledge is usually not explicitly mentioned. Nevertheless, Moore, in his arguments for the philosophy of common sense (e.g. in A Defence of Common Sense or Proof of an External World ), often referred to examples of empirical knowledge that can be defined as immediate knowledge, (...) i.e. knowledge acquired directly, not inferentially, and constituting a foundation for drawing all further conclusions concerning the empirical world, e.g. “Here is one hand”. The opposite of it is mediate knowledge, which is always a result of inferring from statements expressing bits of immediate knowledge. Although the two terms in question rarely appear explicite in Moore, they are widely discussed in his lectures from 1910—1911, published only in 1953 as Some Main Problems of Philosophy . The present analysis refers mostly to this work. (shrink)

In the article "Podstawy analizy metodologicznej kanonów Milla" [2] Jerzy Łoś proposed an operator that refered sentences to temporal moments. Let us look, for example, at a sentence ‘It is raining in Toruń’. From a logical point of view it is a propositional function, which does not have any logical value, unless we point at a temporal context from a fixed set of such contexts. If the sentence was considered today as a description of a state of affairs, it could (...) be true. If it was considered yesterday, it could be false. 1 The operator enables us to connect any sentence p with any temporal context t. Such a complex sentence we read as: a sentence p is realized at a temporal context t (a point of time, an interval of some kind, etc). (shrink)

It is part of the phenomenology of perceptual experiences that objects seem to be presented to us. The first guide to objects is their perceptual presence. Further reflection shows that we take the objects of our perceptual experiences to be among the causes of our experiences. However, not all causes of the experience are also objects of the experience. This raises the question indicated in the title of this paper. We argue that taking phenomenal presence as the guide to the (...) objects of perception, we can see that at least in two sensory modalities, smell and touch, there is no uniform answer to this question. The objects of olfactory and tactile experiences can move along the causal chain. Accordingly, the content of olfactory and tactile experience may vary. (shrink)

The principles that govern the functioning of science and visions of the ethics of scientific research are changing. Many researchers who are examining these changes observe a shift from the academic ethos to the industrial — or “corporate” — ethos. Under the new law on higher education and science, which was passed by the Polish Parliament in 2018, new regulations to the Polish state university system have come into effect. The basic aim of my article has been to examine the (...) scientific ethos in Poland. I based my research on the new statutes adopted by university senates, in which I focused on the value statements and declarations that express the beliefs of university authorities about the most important and desirable model of science. I compared two groups of universities, those which have obtained the status of research universities and colleges from the Upper Silesian Metropolis. My goal was to answer the following questions: 1. What values create the declared ethos of science? 2. What is their hierarchy? 3. To what extent is the ethos of both groups of universities similar? 4. Has the scientific ethos present in the new statutes changed in relation to what was declared earlier? In order to answer these questions, I have applied the technique of document content analysis. My research shows that 1. The ethos of science is changing; 2. The set of declared values in the material under scrutiny is rich and varied. (shrink)

The article shows Sarmatism as an element of the Polish identity discourse in its community dimension, which mainly takes account of its civilisation and cultural aspect, defined by relations with modernity. Although this discourse includes Sarmatism in reflection on the key determinants of collective identity, such as community, Polishness and so on, it generally does so in a simplified manner, not free from prejudices and excessive bias. Liberal thought, which should have the greatest share in shaping the sphere of self-ideas (...) of modern society, shows a clear reluctance towards Sarmatian heritage, which is hardly surprising given its Enlightenment origin. However, one should understand the reasons for this reluctance, taking into account its stricter context, which is determined by the mechanism of programming Polish cultural projects in essentialist codes. Meanwhile, according to the author, the ‘post-mortem’ history of Sarmatism is part of the pan-European struggle of Tradition and modernity. When set on this plane, Sarmatism can be considered in terms of lack and compensation. The Sarmatian heritage, torn out of the vicious circle of stereotypes, myths and silences, should now be included in the debate on the foundations of Polish civic culture, because it belongs to the contingent history of the Polish habitus, and it is also characterised by the syndrome of un-working. It also needs to be made real by being located in the circle of geopolitical discourse. The perspective of the recontextualisation of Sarmatism, which neo-Sarmatism with its essentialist-nostalgic poetics has created in contemporary identity discourse and postcolonial thought with its binary schemas, seems insufficient. (shrink)

In this paper we investigate Boolean connexive logics in a language with modal operators: □, ◊. In such logics, negation, conjunction, and disjunction behave in a classical, Boolean way. Only implication is non-classical. We construct these logics by mixing relating semantics with possible worlds. This way, we obtain connexive counterparts of basic normal modal logics. However, most of their traditional axioms formulated in terms of modalities and implication do not hold anymore without additional constraints, since our implication is weaker than (...) the material one. In the final section, we present a tableau approach to the discussed modal logics. (shrink)

The paper extends the framework of outcomes in branching space-time (Kowalski and Placek [1999]) by assigning probabilities to outcomes of events, where these probabilities are interpreted either epistemically or as weighted possibilities. In resulting models I define the notion of common cause of correlated outcomes of a single event, and investigate which setups allow for the introduction of common causes. It turns out that a deterministic common cause can always be introduced, but (surprisingly) only special setups permit the introduction of (...) truly stochastic common causes. I analyse next the Bell-Aspect experiment and derive the Bell-CH inequalities. I observe that we postulate there not a common cause for outcomes of a single event but rather a common common cause that accounts for outcomes of many events, where 'events' mean 'measurements with (different) directions of polarization'. Since the inequalities are violated, I claim that no causal story can be told about the Bell correlations, where causality is subliminal and restricted by screening-off condition. Similarly, given certain intuitive principles, no deterministic story can be told about these correlations. (shrink)

Standard deontic logic (SDL) is defined on the basis of possible world semantics and is a logic of alethic-deontic modalities rather than deontic modalities alone. The interpretation of the concepts of obligation and permission comes down exclusively to the logical value that a sentence adopts for the accessible deontic alternatives. Here, we set forth a different approach, this being a logic which additionally takes into consideration whether sentences stand in relation to the normative system or to the system of values (...) under which we predicate the deontic qualifications. By taking this aspect into account, we arrive at a logical system which preserves laws proper to a deontic logic but where the standard paradoxes of deontic logic do not arise. It is a logic of strictly-deontic modalities DR. (shrink)

Indeterminism, understood as a notion that an event may be continued in a few alternative ways, invokes the question what a region of chanciness looks like. We concern ourselves with its topological and spatiotemporal aspects, abstracting from the nature or mechanism of chancy processes. We first argue that the question arises in Montague-Lewis-Earman conceptualization of indeterminism as well as in the branching tradition of Prior, Thomason and Belnap. As the resources of the former school are not rich enough to study (...) topological issues, we investigate the question in the framework of branching space-times of Belnap (Synthese 92:385–434, 1992). We introduce a topology on a branching model as well as a topology on a history in a branching model. We define light-cones and assume four conditions that guarantee the light-cones so defined behave like light-cones of physical space-times. From among various topological separation properties that are relevant to our question, we investigate the Hausdorff property. We prove that each history in a branching model satisfies the Hausdorff property. As for the satisfaction of the Hausdorff property in the entire branching model, we prove that it is related to the phenomenon of passive indeterminism, which we describe in detail. (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.

The aim of this paper is to reconstruct and correct one argument in support of the symmetrization postulate in quantum mechanics. I identify the central premise of the argument as a thesis specifying a particular ontic property of quantum superpositions. The precise form of this thesis depends on some underlying assumptions of a metaphysical character. I compare the exchange degeneracy argument with alternative formal arguments for the symmetrization postulate, and I discuss the role and meaning of labels in the symmetric/antisymmetric (...) representations of the states of many particles. (shrink)

Its interpretation, however, is as unsettled now as in the heroic days of Einstein and Bohr.This book focuses on quantum non-locality, the curious quantum ...

Contemporary development of research methods and tools is often conducive to ambitious art studies, in which the research methodology and study protocol are the result of negotiations between creative and research strategies. The article discusses the key sources, possibilities, and threats of interdisciplinary projects often referred to as practice-as-research. The following comparison of the orders of the scientific methodology and the artistic convention allows one to show the similarities and potential points of contact between science and art, which are independent (...) of the different values and methods of evaluation in both of these areas. The research-based practice model by Pil Hansen and Bruce Barton is also presented as a solution that takes these issues into account. It is also used to present the project of Interdisciplinary Center for New Technologies of the Nicolaus Copernicus University in Toruń and the Art & Science Research Foundation om—organisms and machines in culture (FUNom) the project "Neurophysiology of the Artist in Performance", which is a bold example of the transdisciplinary activities of scientists and researchers. Its content is analyzed through the reports of artists, researchers, and participants taking part in public presentations of the project. (shrink)

Św. Tomasz nie napisał nigdy własnego traktatu, w którym wykładałby zasady uprawiania psychologii, podobnie jak nie napisał takiego traktatu odnośnie do innych nauk filozoficznych. Wyjątkiem pozostaje teologia. Pierwsza kwestia, I części Sumy Teologii i piąta oraz szósta kwestia Komentarza do Boecjańskiego dziełka O Trójcy Świętej stanowi bowiem takie traktaty metodologiczne, gdzie Akwinata wyłożył ewidentnie własne poglądy. W przypadku psychologii pozostawił jednak dwie lekcje otwierające Komentarz do Arystotelesowego Traktatu o duszy, w których choć dość literalnie omawia tekst Stagiryty, to formułuje (...) w nim pewien schemat metodologiczny psychologii. Można by sądzić, że przedstawia tam jedynie zawartość komentowanego dzieła, zwłaszcza że styl całej pierwszej części Komentarza jest dość literalny i na pierwszy rzut oka mało znajdujemy tu elementu interpretacyjnego. Uważna analiza pokazuje jednak coś innego. (shrink)

W artykule podjęta jest próba intuicyjnej syntetycznej interpretacji sokratejskiej maieutyki w duchu psychologii homeryckiej. Bazując na tej interpretacji, opracowano ćwiczenie uświadomionego mówienia, które zostało włączone do zajęć akademickich: „Jak praktycznie wykorzystać własną głupotę? – doradztwo filozoficzne w warsztacie psychologa”, prowadzonych na Uniwersytecie Warszawskim i w Szkole Wyższej Psychologii Społecznej w latach 2004–2012. Na gruncie akademickim były to pierwsze w Polsce seminaria poświęcone doradztwu filozoficznemu. Podczas ćwiczeń studenci byli proszeni o zapisywanie swoich obserwacji. Niektóre ćwiczenia były filmowane. W ten sposób został (...) zebrany bardzo ciekawy materiał, który może być podstawą do dalszych poszukiwań teoretycznych i empirycznych. W artykule krótko przedstawiam, czym jest uświadomione mówienie, prezentuję zapiski z ćwiczeń studentów oraz wskazuję na krótki materiał filmowy. (shrink)

In his pioneering study of Grande Dame Guignol (also referred to as hag horror or psycho-biddy), a female-centric 1960s subgenre of horror film, Peter Shelley explains that the grande dame, a stock character in this form of cinematic expression, “may pine for a lost youth and glory, or she may be trapped by idealized memories of childhood, with a trauma that haunts her past” (8). Indeed, a typical Grande Dame Guignol female protagonist/antagonist (as these two roles often merge) usually deals (...) with various kinds of traumatic experiences: loss of a child, domestic violence, childhood abuse, family conflicts or sudden end of career in the fickle artistic industry, etc. Unable to cope with her problems, but also incapable of facing the inevitable process of aging and dying, she gradually yields to mental and physical illnesses that further strengthen the trauma and lead to her social exclusion, making her life even more unbearable. Unsurprisingly, scholars such as Charles Derry choose to name psycho-biddies horrors of personality, drawing attention to the insightful psychological portrayal of their characters. Thus, it would be relevant and illuminating to discuss films such as Die! Die! My Darling! (1965) and Whoever Slew Auntie Roo? (1971) as narratives of trauma. This will be the main concern of my article. (shrink)

A genome of a living organism consists of a long string of symbols over a finite alphabet carrying critical information for the organism. This includes its ability to control post natal growth, homeostasis, adaptation to changes in the surrounding environment, or to biochemically respond at the cellular level to various specific regulatory signals. In this sense, a genome represents a symbolic encoding of a highly organized system of information whose functioning may be revealed as a natural multilayer structure in terms (...) of complexity and prominence. In this paper we use the mathematical theory of symbolic extensions as a framework to shed light onto how this multilayer organization is reflected in the symbolic coding of the genome. The distribution of data in an element of a standard symbolic extension of a dynamical system has a specific form: the symbolic sequence is divided into several subsequences (which we call layers) encoding the dynamics on various “scales”. We propose that a similar structure resides within the genomes, building our analogy on some of the most recent findings in the field of regulation of genomic DNA functioning. (shrink)