Results for 'Dorota Leszczy��ska-Jasion'

311 found
Order:
  1.  11
    Exploring the Effects of Suboptimal Affective Priming: Enhancement and Minimization.Dorota Karwowska & Dorota Kobylińska - 2014 - Frontiers in Psychology 5.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2. The Method of Socratic Proofs for Normal Modal Propositional Logics.Dorota Leszczynska-Jasion - 2007 - Wydawn. Naukowe Uniwersytetu Im. Adama Mickiewicza.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  48
    Socratic Trees.Dorota Leszczyńska-Jasion, Mariusz Urbański & Andrzej Wiśniewski - 2013 - Studia Logica 101 (5):959-986.
    The method of Socratic proofs (SP-method) simulates the solving of logical problem by pure questioning. An outcome of an application of the SP-method is a sequence of questions, called a Socratic transformation. Our aim is to give a method of translation of Socratic transformations into trees. We address this issue both conceptually and by providing certain algorithms. We show that the trees which correspond to successful Socratic transformations—that is, to Socratic proofs—may be regarded, after a slight modification, as Gentzen-style proofs. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  4.  29
    Assimilation and Contrast Effects in Suboptimal Affective Priming Paradigm.Dorota Kobylińska & Dorota Karwowska - 2014 - Frontiers in Psychology 5.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  26
    Erotetic Search Scenarios and Three-Valued Logic.Dorota Leszczyńska-Jasion & Paweł Łupkowski - 2016 - Journal of Logic, Language and Information 25 (1):51-76.
    Our aim is to model the behaviour of a cognitive agent trying to solve a complex problem by dividing it into sub-problems, but failing to solve some of these sub-problems. We use the powerful framework of erotetic search scenarios combined with Kleene’s strong three-valued logic. ESS, defined on the grounds of Inferential Erotetic Logic, has appeared to be a useful logical tool for modelling cognitive goal-directed processes. Using the logical tools of ESS and the three-valued logic, we will show how (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  35
    The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.Dorota Leszczyńska-Jasion - 2008 - Studia Logica 89 (3):365-399.
    The aim of this paper is to present the method of Socratic proofs for seven modal propositional logics: K5, S4.2, S4.3, S4M, S4F, S4R and G. This work is an extension of [10] where the method was presented for the most common modal propositional logics: K, D, T, KB, K4, S4 and S5.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  7.  24
    Generating Cooperative Question-Responses by Means of Erotetic Search Senarios.Paweł Łupkowskim & Dorota Leszczyńska-Jasion - 2014 - Logic and Logical Philosophy 24 (1):61-78.
    The concept of cooperative question-responses as an extension of cooperative behaviours used by interfaces for databases and information systems is proposed. A procedure to generate question-responses based on question dependency and erotetic search scenarios is presented. The procedure is implemented in Prolog.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  45
    Inferential Erotetic Logic Meets Inquisitive Semantics.Andrzej Wiśniewski & Dorota Leszczyńska-Jasion - 2015 - Synthese 192 (6):1585-1608.
    Inferential erotetic logic and inquisitive semantics give accounts of questions and model various aspects of questioning. In this paper we concentrate upon connections between inquisitiveness, being the core concept of INQ, and question raising, characterized in IEL by means of the concepts of question evocation and erotetic implication. We consider the basic system InqB of INQ, remain at the propositional level and show, inter alia, that: a disjunction of all the direct answers to an evoked question is always inquisitive; a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  9.  42
    Dual Erotetic Calculi and the Minimal LFI.Szymon Chlebowski & Dorota Leszczyńska-Jasion - 2015 - Studia Logica 103 (6):1245-1278.
    An erotetic calculus for a given logic constitutes a sequent-style proof-theoretical formalization of the logic grounded in Inferential Erotetic Logic ). In this paper, a new erotetic calculus for Classical Propositional Logic ), dual with respect to the existing ones, is given. We modify the calculus to obtain complete proof systems for the propositional part of paraconsistent logic CLuN and its extensions CLuNs and mbC. The method is based on dual resolution. Moreover, the resolution rule is non-clausal. According to the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  10.  14
    Functional Completeness in CPL Via Correspondence Analysis.Dorota Leszczyńska-Jasion, Yaroslav Petrukhin, Vasilyi Shangin & Marcin Jukiewicz - 2019 - Bulletin of the Section of Logic 48 (1).
    Kooi and Tamminga's correspondence analysis is a technique for designing proof systems, mostly, natural deduction and sequent systems. In this paper it is used to generate sequent calculi with invertible rules, whose only branching rule is the rule of cut. The calculi pertain to classical propositional logic and any of its fragments that may be obtained from adding a set of rules characterizing a two-argument Boolean function to the negation fragment of classical propositional logic. The properties of soundness and completeness (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  10
    The Method of Socratic Proofs Meets Correspondence Analysis.Dorota Leszczyńska-Jasion, Yaroslav Petrukhin & Vasilyi Shangin - 2019 - Bulletin of the Section of Logic 48 (2):99-116.
    The goal of this paper is to propose correspondence analysis as a technique for generating the so-called erotetic calculi which constitute the method of Socratic proofs by Andrzej Wiśniewski. As we explain in the paper, in order to successfully design an erotetic calculus one needs invertible sequent-calculus-style rules. For this reason, the proposed correspondence analysis resulting in invertible rules can constitute a new foundation for the method of Socratic proofs. Correspondence analysis is Kooi and Tamminga's technique for designing proof systems. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  28
    Automatic Proof Generation in an Axiomatic System for $\mathsf{CPL}$ by Means of the Method of Socratic Proofs.Aleksandra Grzelak & Dorota Leszczyńska-Jasion - 2018 - Logic Journal of the IGPL 26 (1):109-148.
  13.  5
    A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5.Dorota Leszczyńska-Jasion - 2009 - Journal of Philosophical Logic 38 (2):151-177.
    The aim of this paper is to present a loop-free decision procedure for modal propositional logics K4, S4 and S5. We prove that the procedure terminates and that it is sound and complete. The procedure is based on the method of Socratic proofs for modal logics, which is grounded in the logic of questions IEL.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  14.  3
    The Method of Socratic Proofs: From the Logic of Questions to Proof Theory.Dorota Leszczyńska-Jasion - 2021 - In Moritz Cordes (ed.), Asking and Answering: Rivalling Approaches to Interrogative Methods. Tübingen: Narr Francke Attempto. pp. 183–198.
    I consider two cognitive phenomena: inquiring and justifying, as complementary processes running in opposite directions. I explain on an example that the former process is driven by questions and the latter is a codification of the results of the first one. Traditionally, proof theory focuses on the latter process, and thus describes the former, at best, as an example of a backward proof search. I argue that this is not the best way to analyze cognitive processes driven by questions, and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  28
    Rasiowa–Sikorski Deduction Systems with the Rule of Cut: A Case Study.Dorota Leszczyńska-Jasion, Mateusz Ignaszak & Szymon Chlebowski - 2019 - Studia Logica 107 (2):313-349.
    This paper presents Rasiowa–Sikorski deduction systems for logics \, \, \ and \. For each of the logics two systems are developed: an R–S system that can be supplemented with admissible cut rule, and a \-version of R–S system in which the non-admissible rule of cut is the only branching rule. The systems are presented in a Smullyan-like uniform notation, extended and adjusted to the aims of this paper. Completeness is proved by the use of abstract refutability properties which are (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  50
    A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S.Dorota Leszczyńska-Jasion - 2009 - Journal of Philosophical Logic 38 (2):151 - 177.
    The aim of this paper is to present a loop-free decision procedure for modal propositional logics K4, S4 and S5. We prove that the procedure terminates and that it is sound and complete. The procedure is based on the method of Socratic proofs for modal logics, which is grounded in the logic of questions IEL.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  1
    Comments on Why We Need a Question Semanitcs by Ivano Ciardelli.Dorota Leszczyńska-Jasion - 2021 - In Moritz Cordes (ed.), Asking and Answering: Rivalling Approaches to Interrogative Methods. Tübingen: Narr Francke Attempto. pp. 48–54.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18. Comments on Dorota Leszczyńska-Jasion’s The Method of Socratic Proofs.Jared A. Millson - 2021 - In Moritz Cordes (ed.), Asking and Answering: Rivalling Approaches to Interrogative Methods. Tübingen: Narr Francke Attempto. pp. 199–209.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  2
    An Investigation Into Intuitionistic Logic with Identity.Szymon Chlebowski & Dorota Leszczyńska-Jasion - 2019 - Bulletin of the Section of Logic 48 (4).
    We define Kripke semantics for propositional intuitionistic logic with Suszko’s identity. We propose sequent calculus for ISCI along with cut-elimination theorem. We sketch a constructive interpretation of Suszko’s propositional identity connective.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  4
    “I Made This Munch”: Mieke Bal Talks to Dorota Filipczak About the Exhibition Emma & Edvard: Love in the Time of Loneliness, Opened in Munchmuseet, Oslo.Dorota Filipczak - 2017 - Text Matters - a Journal of Literature, Theory and Culture 7:11-24.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  1
    The Method of Socratic Proofs for Normal Modal Propositional Logics.Dorota Leszczyńska - 2007 - Wydawn. Naukowe Uniwersytetu Im. Adama Mickiewicza.
  22.  16
    Multitasking Ska in Chromosome Segregation: Its Distinct Pools Might Specify Various Functions.Qian Zhang, Yujue Chen, Lu Yang & Hong Liu - 2018 - Bioessays 40 (3):1700176.
    The human spindle and kinetochore associated complex is required for proper mitotic progression. Extensive studies have demonstrated its important functions in both stable kinetochore-microtubule interactions and spindle checkpoint silencing. We suggest a model to explain how various Ska functions might be fulfilled by distinct pools of Ska at kinetochores. The Ndc80-loop pool of Ska is recruited by the Ndc80 loop, or together with some of its flanking sequences, and the recruitment is also dependent on Cdk1-mediated Ska3 phosphorylation. This pool seems (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. Hur ska man förstå McTaggarts paradox?Rögnvaldur Ingthorsson - 2000 - Filosofisk Tidskrift 21 (3):13–24.
    I sitt berömda bevis för tidens overklighet påstod McTaggart att det sätt händelser tycks skifta position i tiden från framtid till nutid och till förfluten tid, innebär en motsägelse. Vad McTaggart egentligen menade har varit föremål för en livlig debatt ända sedan beviset först publicerades 1908. Beviset består av två delar. I den första argumenterar McTaggart för att ingenting kan förändras förutom genom att övergå från framtid till förfluten tid. I den andra argumenterar han för att en sådan övergång innebär (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  19
    O wykorzystaniu pojęć semiotycznych Jerzego Kmity w opisie komunikowania niewerbalnego.Dorota Angutek - 2011 - Filo-Sofija 11 (12 (2011/1)):329-346.
    Author: Angutek Dorota Title: ON THE ROLE OF JERZY KMITA’S SEMIOTIC CONCEPTS IN DESCRIPTION OF NONVERBAL COMMUNICATION (O wykorzystaniu pojęć semiotycznych Jerzego Kmity w opisie komunikowania niewerbalnego) Source: Filo-Sofija year: 2011, vol:.12, number: 2011/1, pages: 329-346 Keywords: SEMIOTICS, SIGN, NONVERBAL COMMUNICATION, HAPTIC COMMUNICATION, CULTURE, CONVENTION Discipline: PHILOSOPHY Language: POLISH Document type: ARTICLE Publication order reference (Primary author’s office address): E-mail: www:The author discusses various approaches to nonverbal communication and tries to provide a general descriptive account of the problem in (...)
    No categories
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  5
    Emotional Intelligence Buffers the Effects of Negative Emotions on Job Burnout in Nursing.Dorota Daniela Szczygiel & Moïra Mikolajczak - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  26.  8
    Ahıska Türklerinin Müzik Kültürlerine Yönelik Bir Araştırma.Ülkü Sevim ŞEN - 2014 - Journal of Turkish Studies 9 (Volume 9 Issue 5):1849-1849.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  86
    Privacy and Social Interaction.Beate Roessler & Dorota Mokrosinska - 2013 - Philosophy and Social Criticism 39 (8):771-791.
    This article joins in and extends the contemporary debate on the right to privacy. We bring together two strands of the contemporary discourse on privacy. While we endorse the prevailing claim that norms of informational privacy protect the autonomy of individual subjects, we supplement it with an argument demonstrating that privacy is an integral element of the dynamics of all social relationships. This latter claim is developed in terms of the social role theory and substantiated by an analysis of the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  28.  7
    John Dewey: A Culinary Perspective.Dorota Koczanowicz - 2016 - Pragmatism Today 7 (2):88-94.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  4
    O pamięci w eseistyce dotyczącej polskości - między esencjalizmem a konstruktywizmem.Dorota Dąbrowska - 2021 - Civitas. Studia Z Filozofii Polityki 28:165-180.
    Artykuł zawiera rozważania nad zróżnicowaniem tekstów eseistycznych dotyczących problematyki polskości, wynikającym z różnorodnej roli pamięci w poszczególnych koncepcjach narodowej tożsamości. Celem szkicu jest podjęcie refleksji nad relacją, w jaką wchodzą teksty, dające się określić jako tradycjonalistyczne oraz modernizacyjne, z orientacjami esencjalistycznymi i kontruktywistycznymi. Przedmiot analizy zawartej w tekście stanowią przede wszystkim dwie publikacje: Awangardowy konserwatyzm Pawła Rojka oraz Polska: wspólnota fantazmatyczna Agaty Bielik-Robson. Eseje te pozwalają się traktować jako reprezentatywne przykłady złożonych zależności ideowych występujących w obszarze refleksji nad polskością.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  4
    A Hybrid Qualitative Approach for Relative Movements.J. Goli ska-Pilarek & E. Munoz-Velasco - 2015 - Logic Journal of the IGPL 23 (3):410-420.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  5
    Flexible Emotion Regulation: How Situational Demands and Individual Differences Influence the Effectiveness of Regulatory Strategies.Dorota Kobylińska & Petko Kusev - 2019 - Frontiers in Psychology 10.
  32.  57
    Privacy and Autonomy: On Some Misconceptions Concerning the Political Dimensions of Privacy.Dorota Mokrosinska - 2018 - Law and Philosophy 37 (2):117-143.
    One of the most influential views in privacy scholarship is that privacy protects individual autonomy. On the early liberal view, the exercise of autonomy requires detachment from social and political life and privacy facilitates it. This view of privacy still informs current legal and political practice. As this view of privacy presupposes a tension between privacy and society, it is responsible for the underrating of privacy in legal and political practice. Over the last decades, liberal reflection on autonomy has shifted (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  33.  26
    Universality of Socio‐Moral Development: A Cross‐Sectional Study in Poland.Dorota Czyżowska & Adam Niemczyński - 1996 - Journal of Moral Education 25 (4):441-453.
    Abstract Lawrence Kohlberg's theory postulates a universal model of moral development. According to Kohlberg's cognitive?development theory, moral judgement represents underlying thought organisation rather than specific responses. Although the specific content of moral judgement may vary among cultures, the basic structures are said to be universal. Our cross?sectional study has been undertaken to test the validity of Kohlberg's measure in a Polish sample. The data were gathered between 1985?87. The sample includes 291 men and women, 15?80 years of age. This paper (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  11
    Intraindividual Variability in Executive Function Performance in Healthy Adults: Cross-Sectional Analysis of the NAB Executive Functions Module.Dorota Buczylowska & Franz Petermann - 2018 - Frontiers in Psychology 9.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35.  10
    Theories of Moral Philosophy Applied to Paediatric Nursing.Gosia M. Brykczyn’ska - 2011 - In Gosia M. Brykczyńska & Joan Simons (eds.), Ethical and Philosophical Aspects of Nursing Children and Young People. Wiley. pp. 23.
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  1
    Four Dilemmas: Theory, Criticism, History, Faith: Sketches on the Threshold of Literary Anthropology.Dorota Heck - 2010 - Księgarnia Akademicka.
    Dilemma one, Between the theoretical concepts and authorial intention -- Dilemma two, Good manners and eristic -- Dilemma three, Between strangeness and familiarity -- Dilemma four, Between scholarly research and faith.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  8
    SKA, Jean-Louis, Le Passage de la Mer : Étude de la Construction, du Style Et de la Symbolique d'Ex. 14, 1-31SKA, Jean-Louis, Le Passage de la Mer : Étude de la Construction, du Style Et de la Symbolique d'Ex. 14, 1-31. [REVIEW]Marc Girard - 1988 - Laval Théologique et Philosophique 44 (2):258-259.
  38.  27
    Art as the Rhythm of Life (Sztuka Jako Rytm Zycia)(Review).Dorota Frackiewicz - 2005 - Transactions of the Charles S. Peirce Society 41 (2):455-459.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  10
    Exploring the Creative Process: Integrating Psychometric and Eye-Tracking Approaches.Dorota M. Jankowska, Marta Czerwonka, Izabela Lebuda & Maciej Karwowski - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  40.  27
    Wykładnia kategorii Boga ukrytego na podstawie dialogu Mikołaja z Kuzy De deo abscondito.Dorota Brylla - 2018 - Diametros 55:91-111.
    The paper presents the theological and philosophical category of Deus absconditus and shows it in the perspective of Nicholas of Cusa’s ideas contained in his dialogue De Deo Abscondito. The hidden God is the totally transcendent God that is beyond creation both ontologically and logically. Deus absconditus is God that cannot be the object of rational cognition and positive knowledge, hence the only way to acquire any knowledge of him is the method of negative theology. Therefore, the hidden God is (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  41.  4
    Made to Connive: Revisioning Cinderella in a Music Video. From Disney to Arthur Pirozkhov: A Case Study.Dorota Filipczak - 2020 - Text Matters - a Journal of Literature, Theory and Culture 10:67-78.
    The article focuses on the way in which music videos can subvert and refigure the message of literature and film. The author sets out to demonstrate how a music video entitled “Зацепила” by Arthur Pirozkhov enters a dialogue with the recent Disney version of Cinderella by Kenneth Branagh, which, in turn, is an attempt to do justice to Perrault’s famous fairy tale. Starting out with Michèle Le Dœuff’s comment on the limitations imposed upon women’s intellectual freedom throughout the centuries, Filipczak (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Affective Connections: Towards a New Materialist Politics of Sympathy.Dorota Golańska - 2017 - Rowman & Littlefield International.
    Looking at a number of memorials, memory sites and artworks relating to the Holocaust the book uses this idea of synaesthetic perception to explore trauma, memory and the production of art in relation to painful memories.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Dialogic. And Universalism No. 7-8/1998.Jan Jasion - 1998 - Dialogue and Universalism 8 (7-12):157.
    No categories
     
    Export citation  
     
    Bookmark  
  44. Reflections on the Divine Sophia.Jan Jasion - forthcoming - Dialogue and Universalism.
     
    Export citation  
     
    Bookmark  
  45. Sir Sigmund Sternberg.J. Jasion - 1995 - Dialogue and Universalism 5 (1):115-119.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. The Macrocosm and the Microcosm of Universalism.Jan Jasion - 1995 - Dialogue and Universalism 5 (1):97-100.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  9
    Why States Have No Right to Privacy, but May Be Entitled to Secrecy: A Non-Consequentialist Defense of State Secrecy.Dorota Mokrosinska - 2020 - Critical Review of International Social and Political Philosophy 23 (4):415-444.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48. Archiving Dust.Dorota Chudzicka - 2009 - In Eva Ebersberger, Daniela Zyman & Thordis Arrhenius (eds.), Jorge Otero-Pailos: The Ethics of Dust. Dist. By Art Publishers.
    No categories
     
    Export citation  
     
    Bookmark  
  49. Misterium człowieka w misterium Boga – o antropologicznej myśli Cypriana Norwida.Dorota Klimanowska Cssf - 2001 - Sztuka I Filozofia 19.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  50. Transcendencja Boga jako czystego aktu w ujęciu Tomasza z Akwinu.Dorota Tobota - 2003 - Przeglad Filozoficzny - Nowa Seria 46 (2):49-57.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 311