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)

In 2011, Andrzej Grzegorczyk formulated Logic of Descriptions, a new logical system in which the classical equivalence has been replaced with the descriptive equivalence. Two sentences are descriptively equivalent whenever they describe the same state of affairs. Grzegorczyk’s logic LD is built from the ground up by revising the axioms of classical propositional logic and rejecting those that do not correspond to the intended interpretation of the descriptive equivalence as the connective expressing equimeaning relations between sentences. Grzegorczyk’s last paper, which (...) introduced in detail philosophical motivations of LD and its axiomatization, has become an inspiration for investigating the properties of LD and its various modifications. In this paper we present the basics of Grzegorczyk’s logic LD and then we survey the recent results on LD that have shed light on mysterious properties of the Grzegorczyk’s descriptive equivalence connective. (shrink)

We study the non-Fregean propositional logic with propositional quantifiers, denoted by $\mathsf{SCI}_{\mathsf{Q}}$. We prove that $\mathsf{SCI}_{\mathsf{Q}}$ does not have the finite model property and that it is undecidable. We also present examples of how to interpret in $\mathsf{SCI}_{\mathsf{Q}}$ various mathematical theories, such as the theory of groups, rings, and fields, and we characterize the spectra of $\mathsf{SCI}_{\mathsf{Q}}$-sentences. Finally, we present a translation of $\mathsf{SCI}_{\mathsf{Q}}$ into a classical two-sorted first-order logic, and we use the translation to prove some model-theoretic properties of (...) $\mathsf{SCI}_{\mathsf{Q}}$. (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)

We show that there are continuum many different extensions of SCI (the basic theory of non-Fregean propositional logic) that lie below WF (the Fregean extension) and are closed under substitution. Moreover, continuum many of them are independent from WB (the Boolean extension), continuum many lie above WB and are independent from WH (the Boolean extension with only two values for the equality relation), and only countably many lie between WH and WF.

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)

Qualitative description of movements can be very important for representation and reasoning about dynamic systems which are complex in structure or whenever numerical data are incomplete or inaccessible. For this reason, we present a hybrid approach based on the combination of qualitative reasoning, quantitative data and logical methods. In this article, we introduce a new propositional dynamic logic QM for representation and reasoning with relative movements of objects. In this way, we can infer additional information about movements by using axioms (...) and the logic apparatus. We present a sound and complete deduction system in dual tableaux style for the logic QM. The system can be used for verification of validity of formulas of the logic in question. (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)

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.

We present a relational proof system in the style of dual tableaux for a multimodal propositional logic for order of magnitude qualitative reasoning to deal with relations of negligibility, non-closeness, and distance. This logic enables us to introduce the operation of qualitative sum for some classes of numbers. A relational formalization of the modal logic in question is introduced in this paper, i.e., we show how to construct a relational logic associated with the logic for order-of-magnitude reasoning and its dual (...) tableau system which is a validity checker for the modal logic. For that purpose, we define a validity preserving translation of the modal language into relational language. Then we prove that the system is sound and complete with respect to the relational logic defined as well as with respect to the logic for order of magnitude reasoning. Finally, we show that in fact relational dual tableau does more. It can be used for performing the four major reasoning tasks: verification of validity, proving entailment of a formula from a finite set of formulas, model checking, and verification of satisfaction of a formula in a finite model by a given object. (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.

This book is a tribute to Professor Ewa Orłowska, a Polish logician who was celebrating the 60th year of her scientific career in 2017. It offers a collection of contributed papers by different authors and covers the most important areas of her research. Prof. Orłowska made significant contributions to many fields of logic, such as proof theory, algebraic methods in logic and knowledge representation, and her work has been published in 3 monographs and over 100 articles in internationally acclaimed journals (...) and conference proceedings. The book also includes Prof. Orłowska’s autobiography, bibliography and a trialogue between her and the editors of the volume, as well as contributors' biographical notes, and is suitable for scholars and students of logic who are interested in understanding more about Prof. Orłowska’s work. (shrink)

We study a new formal logic LD introduced by Prof. Grzegorczyk. The logic is based on so-called descriptive equivalence, corresponding to the idea of shared meaning rather than shared truth value. We construct a semantics for LD based on a new type of algebras and prove its soundness and completeness. We further show several examples of classical laws that hold for LD as well as laws that fail. Finally, we list a number of open problems. -/- .

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.

It is known that various complexity-theoretical problems can be translated into some special spectra problems. Thus, questions about complexity classes are translated into questions about the expressive power of some languages. In this paper we investigate the spectra of some logics with Henkin quantifiers in the empty vocabulary.

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 RLK in Prolog, and we show some of its advantages.

Qualitative description of the movement of objects can be very important when there are large quantity of data or incomplete information, such as in positioning technologies and movement of robots. We present a first step in the combination of fuzzy qualitative reasoning and quantitative data obtained by human interaction and external devices as GPS, in order to update and correct the qualitative information. We consider a Propositional Dynamic Logic which deals with qualitative velocity and enables us to represent some reasoning (...) tasks about qualitative properties. The use of logic provides a general framework which improves the capacity of reasoning. In this way, we can infer additional information by using axioms and the logic apparatus. In this paper we present sound and complete relational dual tableau that can be used for verification of validity of formulas of the logic in question. (shrink)

We introduce an Automatic Theorem Prover (ATP) of a dual tableau system for a relational logic for order of magnitude qualitative reasoning, which allows us to deal with relations such as negligibility, non-closeness and distance. Dual tableau systems are validity checkers that can serve as a tool for verification of a variety of tasks in order of magnitude reasoning, such as the use of qualitative sum of some classes of numbers. In the design of our ATP, we have introduced some (...) heuristics, such as the so called phantom variables, which improve the efficiency of the selection of variables used un the proof. (shrink)

A new deduction system for deciding validity for the minimal decidable normal modal logic K is presented in this article. Modal logics could be very helpful in modelling dynamic and reactive systems such as bio-inspired systems and process algebras. In fact, recently the Connectionist Modal Logics has been presented, which combines the strengths of modal logics and neural networks. Thus, modal logic K is the basis for these approaches. Soundness, completeness and the fact that the system itself is a decision (...) procedure are proved in this article. The main advantages of this approach are: first, the system is deterministic, i.e. it generates one proof tree for a given formula; second, the system is a validity-checker, hence it generates a proof of a formula ; and third, the language of deduction and the language of a logic coincide. Some of these advantages are compared with other classical approaches. (shrink)

We present a relational proof system in the style of dual tableaux for the relational logic associated with a multimodal propositional logic for order of magnitude qualitative reasoning with a bidirectional relation of negligibility. We study soundness and completeness of the proof system and we show how it can be used for verification of validity of formulas of the logic.

Monoidal triangular norm logic MTL is the logic of left-continuous triangular norms. In the paper we present a relational formalization of the logic MTL and then we introduce relational dual tableau that can be used for verification of validity of MTL-formulas. We prove soundness and completeness of the system.

We present several classes of logics for reasoning with information stored in information systems. The logics enable us to cope with the phenomena of incompleteness of information and uncertainty of knowledge derived from such an information. Relational inference systems for these logics are developed in the style of dual tableaux.

Qualitative Reasoning (QR) is an area of research within Artificial Intelligence that automates reasoning and problem solving about the physical world. QR research aims to deal with representation and reasoning about continuous aspects of entities without the kind of precise quantitative information needed by conventional numerical analysis techniques. Order-of-magnitude Reasoning (OMR) is an approach in QR concerned with the analysis of physical systems in terms of relative magnitudes. In this paper we consider the logic OMR_N for order-of-magnitude reasoning with the (...) bidirectional negligibility relation. It is a multi-modal logic given by a Hilbert-style axiomatization that reflects properties and interactions of two basic accessibility relations (strict linear order and bidirectional negligibility). Although the logic was studied in many papers, nothing was known about its decidability. In the paper we prove decidability of OMR N by showing that the logic has the strong finite model property. (shrink)

Logics of binary relations corresponding, among others, to the class RRA of representable relation algebras and the class FRA of full relation algebras are presented together with the proof systems in the style of dual tableaux. Next, the logics are extended with relational constants interpreted as point relations. Applications of these logics to reasoning in non-classical logics are recalled. An example is given of a dual tableau proof of an equation which is RRA-valid, while not RA-valid.

Logics of binary relations corresponding, among others, to the class RRA of representable relation algebras and the class FRA of full relation algebras are presented together with the proof systems in the style of dual tableaux. Next, the logics are extended with relational constants interpreted as point relations. Applications of these logics to reasoning in non-classical logics are recalled. An example is given of a dual tableau proof of an equation which is RRA-valid, while not RA-valid.

We present relational proof systems for the four groups of theories of spatial reasoning: contact relation algebras, Boolean algebras with a contact relation, lattice-based spatial theories, spatial theories based on a proximity relation.

This chapter provides a concise overview of Ewa Orłowska’s research contributions and the content of the volume.

The chapter is a transcription of editors’ discussion with Ewa Orłowska. It reveals some extracurricular flavors of Ewa Orłowska’s biography, brings to light a difficult historical context of her academic career and life, and shows how much internal fortitude she demonstrated while overcoming these difficulties.

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)

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)

An automatic theorem prover for a proof system in the style of dual tableaux for the relational logic associated with modal logic K has been introduced. Although there are many well-known implementations of provers for modal logic, as far as we know, it is the first implementation of a specific relational prover for a standard modal logic. There are two main contributions in this paper. First, the implementation of new rules, called (k1) and (k2), which substitute the classical relational rules (...) for composition and negation of composition in order to guarantee not only that every proof tree is finite but also to decrease the number of applied rules in dual tableaux. Second, the implementation of an order of application of the rules which ensures that the proof tree obtained is unique.As a consequence, we have implemented a decision procedure for modal logic K. Moreover, this work would be the basis for successive extensions of this logic, such as T, B and S4. (shrink)

It is known that various complexity-theoretical problems can be translated into some special spectra problems (see e.g. Fagin [Fa74] or Blass and Gurevich, [Bl-Gu86]). So questions about complexity classes are translated into questions about the expressive power of some languages. In this paper we investigate the spectra of some logics with Henkin quanti fiers in the empty vocabulary. This problem has been investigated fi rstly by Krynicki and Mostowski in [Kr-Mo 92] and [Kr- Mo 95]. All presented results can be (...) also treated as results about the expressive power of certain languages in fi nite models. (shrink)

Recenzja książki Teresy Hołówki "Błędy, spory, argumenty".

The article starts by offering a definition of fake kindness focused on the dissociation between the behavioural components of kindness and the intent to sincerely pay some heed to the needs of others. Using the sociological theory of Pierre Bourdieu, this definition is then used to articulate how fake kindness can be conceptualized as a specific form of symbolic violence. Such a view allows explanations as to how and why the prevalence and effectiveness of fake kindness vary according to microsociological (...) norms and values. The generic definition and conceptualization of fake kindness as a form of symbolic violence are then used to discuss how nursing’s enthrallment with the concept of caring and its operationalization as a moral compass likely fosters the growth of fake kindness within the profession. In this view, the institutional enforcement of propriety and well-behaved professionalism is more likely to lead to toxic environments than to healthy workplaces. We hope that being able to understand how professional norms and institutional rules are sometimes turned into social tools to enforce obedience and existing hierarchies can empower victims of those phenomena to resist them more effectively. It might also contribute to increasing the awareness of well-meaning nurses or people in position of authority who have been socialized in environments where fake kindness is normalized. (shrink)

Background: The law and literature about children’s consent generally assume that patients aged under-18 cannot consent until around 12 years, and cannot refuse recommended surgery. Children deemed pre-competent do not have automatic rights to information or to protection from unwanted interventions. However, the observed practitioners tend to inform young children s, respect their consent or refusal, and help them to “want” to have the surgery. Refusal of heart transplantation by 6-year-olds is accepted. Research question: What are possible reasons to explain (...) the differences between theories and practices about the ages when children begin to be informed about elective heart surgery, and when their consent or refusal begins to be respected? Research design, participants and context: Research methods included reviews of related healthcare, law and ethics literature; observations and conversations with staff and families in two London hospitals; audio-recorded semi-structured interviews with a purposive sample of 45 healthcare professionals and related experts; interviews and a survey with parents and children aged 6- to 15-years having elective surgery (not reported in this paper); meetings with an interdisciplinary advisory group; thematic analysis of qualitative data and co-authorship of papers with participants. Ethical considerations: Approval was granted by four research ethics committees/authorities. All interviewees gave their informed written consent. Findings: Interviewees explained their views and experiences about children’s ages of competence to understand and consent or refuse, analysed by their differing emphases on informed, signified or voluntary consent. Discussion: Differing views about children’s competence to understand and consent are associated with emphases on consent as an intellectual, practical and/or emotional process. Conclusion: Greater respect for children’s practical signified, emotional voluntary and intellectual informed consent can increase respectful understanding of children’s consent. Nurses play a vital part in children's practitioner-patient relationships and physical care and therefore in all three elements of consent. (shrink)

Several experimental studies on moral judgment and moral decision-making show that in virtual reality people tend to make more “characteristically utilitarian” decisions than when responding to standard questionnaires. An explanation of this phenomenon that has been considered by many authors states that the feature of VR studies that is responsible for this effect is the visual salience of the harmful consequences of “deontological” decisions. The present paper makes three points, the first of which is theoretical: we argue that this explanation, (...) which draws from Cushman’s dual-process account of moral judgment, is in fact not coherent with this account’s predictions with respect to behavior in VR. The second point is that this explanation does not sufficiently explain the existing empirical findings concerning the footbridge dilemma because these studies differ in important aspects of experimental design from studies on the switch dilemma. The third point is empirical: we present two original VR studies that were designed to check the robustness of the increased “utilitarian” tendency and directly test the explanation that is based on the visual salience of harmful consequences. The results of the experiments provide evidence that the effect is quite robust but the proposed explanation is inadequate. (shrink)

The bioeconomy is becoming increasingly prominent in policy and scholarly literature, but critical examination of the concept is lacking. We argue that the bioeconomy should be understood as a political project, not simply or primarily as a technoscientific or economic one. We use a conceptual framework derived from the work of Karl Polanyi to elucidate the politically performative nature of the bioeconomy through an analysis of an influential Organization for Economic Cooperation and Development initiative, The Bioeconomy to 2030. We argue (...) that this initiative is a response to some of the most acute challenges facing the current neoliberal-capitalist accumulation regime, which seeks to protect and extend that regime, through both what it occludes and what it promotes. Rather than taking the bioeconomy as a description of some subset of economic activity, we regard it as a promissory construct that is meant to induce and facilitate some actions while deterring others; most explicitly, it is meant to bring about a particular set of political–institutional changes that will shape the parameters of possible future action. The bioeconomy concept highlights the potential dangers of failing to situate ethnographic examinations of horizontal micro-relations within a political–economic macro-context that enables and constrains. Scholarly work in science and technology studies and elsewhere that does not recognize the wider politics of the bioeconomy risks unintentionally contributing to the legitimation of this political project. (shrink)

Drawing on findings from the study of prejudice and prejudice reduction, we identify a number of mechanisms through which religious communities may influence the intergroup attitudes of their members. We hypothesize that religious participation could in principle either reduce or promote prejudice with respect to any given target group. A religious community’s influence on intergroup attitudes will depend upon the specific beliefs, attitudes, and practices found within the community, as well as on interactions between the religious community and the larger (...) social environment in which it is embedded. Basing our proposals on findings from the literature on prejudice formation and prejudice reduction allows us to outline useful directions for future studies of religion and prejudice. (shrink)

Przekład na podstawie: „Which Naturalism?”, New Blackfriars 2022: 1–16, DOI: https://doi.org/ 10.1111/nbfr.12765. Przekład za zgodą Autora. Program „naturalizacji” bywa we współczesnej laickiej filozofii przedstawiany w opozycji do tradycyjnego teizmu. Biorąc jednak pod uwagę historię terminów „natura” i „naturalny”, widać brak ciągłości między tym, jak owe terminy są rozumiane obecnie, a jak rozumiano je w przeszłości. Nowożytny „naturalista”, który domaga się, by wszystkie zjawiska umieścić w dziedzinie tego, co naturalne, stawia tezę, którą wielu klasycznych, średniowiecznych i wczesnonowożytnych filozofów i teologów uznałoby (...) za dość samooczywistą. Zmiana, która tu zaszła, nie polega na decyzji, by do dziedziny naturalnej włączyć to, co poprzednio było z niej wykluczone, lecz na zupełnie innym rozumieniu tejże dziedziny. W artykule argumentuję, że filozoficznie ciekawe jest nie tyle pytanie, czy powinniśmy być naturalistami, ile pytanie, który z dwóch naturalizmów należy przyjąć: świecki naturalizm, z jego neutralistyczną koncepcją natury w ogóle i ludzkiej natury w szczególności, czy teistyczny naturalizm, wedle którego świat naturalny i nasza własna natura noszą znamię boskości. Okazuje się, że ujęcie sekularystyczne musi zmierzyć się z poważnymi wyzwaniami epistemicznymi i moralnymi. (shrink)

One of the fundamental methodological problems of economics as a separate science is the question whether economic theorists are able to restrict themselves to the description of facts without assessing them. Is it possible to create an economic theory utterly deprived of value judgements? In other words – is economics a positive science? This problem is still debatable, notwithstanding efforts to eradicate all value judgements from economic analysis and to treat it as a touchstone of the scientificity of economic reasoning. (...) The main purpose of the article is to analyse Sedláček arguments and to confront his stance with other approaches. Furthermore, an attempt is made to assess whether his position could be attractive for contemporary mainstream economists. (shrink)

One of the most widely applied techniques used to examine associative memory errors is the Deese-Roediger- McDermott paradigm. The aim of the present studies was to demonstrate a Polish version of the DRM paradigm and to test the characteristics of memory illusions evoked by this procedure for both recall and recognition. A normative study was conducted to prepare Polish stimuli material sharing similar characteristics as the lists in the English language version. Subsequently, the lists were applied to examine the effect (...) of prior recall on recognition, as well as the influence of retention interval on recall. The results revealed that the Polish version of the DRM paradigm induced a robust effect of false recall and recognition. Moreover, it was revealed that immediate recall of a single list led to a higher rate of both correct and false recall and that prior recall positively influenced recognition, leading to a higher rate of hits. (shrink)