Kordula Świętorzecka

Cardinal Stefan Wyszyński University In Warsaw
  •  28
    Józef M. Bocheński. Two Anniversaries
    Studies in East European Thought 74 (2): 145-148. 2022.
  •  18
    Metody urabiania definicji. Na marginesie artykułu O filozofii analitycznej Andrzeja Dąbrowskiego
    with Anna Brożek and Jacek Jadacki
    Przeglad Filozoficzny - Nowa Seria 81 (1): 127-137. 2012.
  •  17
    Logic and Its History in the Lvov-Warsaw School
    History and Philosophy of Logic 45 (2): 93-97. 2024.
    We take into account two areas of the logical research of the Lvov-Warsaw School. First, we consider a new approach to research in the history of logic introduced and practiced by Łukasiewicz and some of his followers. In this style of doing history of logic, the knowledge of original philosophical and logical texts was combined with competence in modern logic. This method resulted in many important discoveries both in history and in logic and philosophy. At the same time, we pay attention to co…Read more
  •  30
    We present a study of unpublished fragments of Jan F. Drewnowski’s manuscript from the years 1922–1928, which contains his own axiomatics for mereology. The sources are transcribed and two versions of mereology are reconstructed from them. The first one is given by Drewnowski. The second comes from Leśniewski and was known to Drewnowski from Leśniewski’s lectures. Drewnowski’s version is expressed in the language of ontology enriched with the primitive concept of a (proper) part, and its key axi…Read more
  •  41
    A Leibnizian Logic of Possible Laws
    Logic and Logical Philosophy 1-22. forthcoming.
    The so-called Principle of Plenitude was ascribed to Leibniz by A. O. Lovejoy in The Great Chain of Being: A Study of the History of an Idea. Its temporal version states that what holds always, holds necessarily. This temporal formulation is the subject of the current paper. Lovejoy’s idea was criticised by Hintikka. The latter supported his criticisms by referring to specific Leibnizian notions of absolute and hypothetical necessities interpreted in a possible-worlds semantics. In the paper, Hi…Read more
  •  384
    The paper shows that it is possible to obtain a "slingshot" result in Gödel's theory of positiveness in the presence of the theorem of the necessary existence of God. In the context of the reconstruction of Gödel's original "slingshot" argument on the suppositions of non-Fregean logic, this is a natural result. The "slingshot" result occurs in sufficiently strong non-Fregean theories accepting the necessary existence of some entities. However, this feature of a Gödelian theory may be considered …Read more
  •  43
    Formal Methods and Science in Philosophy: Introduction to the Special Issue
    Bulletin of the Section of Logic 49 (2): 105-107. 2020.
    Introduction to the Special Issue containing selected contributions to the conference "Formal Methods and Science in Philosophy IV", Inter-University Center, Dubrovnik, April 11-13, 2019.
  •  8
    Bolesław Sobociński on Universals
    with Marek Porwolik
    In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present, Springer- Birkhauser,. pp. 615-632. 2018.
    The present paper proposes a comparative analysis of two standpoints on the existence and nature of universals hold by Stanisław Leśniewski and Bolesław Sobociński. We consider first the nominalistic argumentation of Leśniewski formalized by Sobocińki and described in the correspondence with J. M. Bocheński in 1956. Sobociński’s formalization revealed a fundamental pragmatic weakness of the reconstructed argumentation which was also mentioned by Sobociński. He himself was aware of the difficulti…Read more
  •  8
    Jan Salamucha
    In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present, Springer- Birkhauser,. pp. 279-283. 2018.
    Father Jan Salamucha was one of the most prominent Polish Catholic intellectuals of the first half of the twentieth century. He was a victim of the World War II, killed in the Warsaw Uprising. We present his intensive academic research and mention his didactic, pastoral, and pro-independence activities.
  •  3
    Bolesław Sobociński: The Ace of the Second Generation of the LWS
    In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present, Springer- Birkhauser,. pp. 599-613. 2018.
    The here presented biography of Bolesław Sobociński describes the history of his life, his patriotic activity and scientific results. Sobociński, as a pupil of Jan Łukasiewicz and Stanisław Leśniewski, was one of the main representatives of the second generation of the Lvov-Warsaw School, a member of the Warsaw School of Logic. He is known as the most influential popularizer of Leśniewski’s systems of prothotetics, ontology and mereology, on the international stage, as well as the author of many…Read more
  •  18
    Wprowadzenie. U podstaw syntezy wiedzy. O szlifowaniu narzędzi myślenia wedle Jana Franciszka Drewnowskiego
    with Michał Adamczyk
    Studia Philosophiae Christianae 55 (2): 5-8. 2019.
    Jan Franciszek Drewnowski był filozofem zaliczanym do środowiska szkoły lwowsko-warszawskiej, współtwórcą koła krakowskiego, oficerem wojska polskiego, pracownikiem wydawnictw technicznych. Drewnowski doktoryzował się u T. Kotarbińskiego, jego niedoścignionym mistrzem był Stanisław Leśniewski. Był jednym z pierwszych słuchaczy akademickich wykładów Leśniewskiego. Studiował na Wydziale Filozoficznym Uniwersytetu Warszawskiego: matematykę, logikę matematyczną i – jak to wtedy nazywano – filozofię …Read more
  •  29
    First-Order Logic of Change
    Logic Journal of the IGPL. forthcoming.
    We present the first-order logic of change, which is an extension of the propositional logic of change $\textsf {LC}\Box $ developed and axiomatized by Świętorzecka and Czermak. $\textsf {LC}\Box $ has two primitive operators: ${\mathcal {C}}$ to be read it changes whether and $\Box $ for constant unchangeability. It implements the philosophically grounded idea that with the help of the primary concept of change it is possible to define the concept of time. One of the characteristic axioms for $…Read more
  •  35
    In Formale Logik, published in 1956, J. M. Bocheński presented his first proposal for the solution to the liar paradox, which he related to Paul of Venice's argumentation from Logica Magna. A formalized version of this solution was then presented in Formalisierung einer scholastischen Lösung der Paradoxie des ‘Lügners’ in 1959. The historical references of the resulting formalism turn out to be closer to Albert de Saxon's argument and the later solution by John Buridan. Bocheński did not pose th…Read more
  •  42
    The topic of our analysis is the argument for the existence of substances given by Bernard Bolzano in Athanasia, where he essentially employs two ontological categories: substance and adherence. Bolzano considers the real and conditioned Inbegriff of all adherences, which are wirklich and nicht selbst bestehen. He claims that the formed collection is dependent on something external and non-adherential, which therefore is a substance. Bolzano’s argumentation turns out to be structurally similar t…Read more
  • LCG - logika zmian
    Filozofia Nauki 1. 2007.
    The subject of the presented work is the analysis of situations changeability in frame of constructed logic LCG. In the suggested interpretation, substantial change ( substantial movement ), which consists of the disappearing of a certain substance a 1 and the coming into being of substance a 2 , for which a 1 is an active potentia , is understood in the following manner - the elementary fact: essence a 1 exists becomes fiction and a new fact arises: essence a 2 exists , which is enabled by the …Read more
  •  133
    Some Remarks on Formal Description of God's Omnipotence
    Logic and Logical Philosophy 20 (4): 307-315. 2011.
    There are proposed two simple formal descriptions of the notion of God’s omnipotence which are inspired by formalizations of C. Christian and E. Nieznański. Our first proposal is expressed in a modal sentential language with quantifires. The second one is formulated in first order predicate language. In frame of the second aproach we admit using self-referential expressions. In effect we link our considerations with so called paradox of God’s omnipotence and reconstruct some argumentation agains…Read more
  •  69
    The Formalised Conception of Substantial Change in Terms of Some Modal Sentential Calculus (logic LCG)
    Proceedings of the Xxii World Congress of Philosophy 13 113-120. 2008.
    The intention of the presented paper is to establish within a certain modal semantic based on the situational ontology a description of the phenomenon of substantial change, which originally had been formulated within Aristotelian metaphysics – a theory based in reistic ontology. We understand substantial changesto be such changes whose subjects are primary substances (πρωται ουσι αι ) conceived as actually existing individual essences. The analysed changeability is of an existential character -…Read more
  •  41
  • The presented paper takes up the attempt to analyse and specify the suspicion that some modal rules of inference are paralogical in application to non-logical reasonings (s.c. modal fallacy). The considerations have been limited to modal prepositional calculi: K and S5, which are intended to be a formal base of these non-logical reasonings - proofs of so called specific thesis on the grounds of the particular specific theories. Pointing out the properties of being permitted, being valid and bein…Read more
  •  10
    Ontologiczny dowód Gödla z ograniczoną redukcją modalności
    Przeglad Filozoficzny - Nowa Seria 83 (3): 21-34. 2012.
  •  44
    Some calculus for a logic of change
    with Johannes Czermak
    Journal of Applied Non-Classical Logics 22 (1-2): 3-10. 2012.
    To sentential language we add an operator C to be read as ‘it changes that…’ and present an axiomatic system in the frame of classical logic to catch some meaning of the term ‘change’. A typical axiom is e.g.: CA implies, a basic rule is: from A it may be inferred (theorems do not change). So this system is not regular. On the semantic level we introduce stages (of the development of some world, of some agents’ convictions or of some argumentation) at which a sentence may be true or false. It tu…Read more
  •  6
    Discreteness of time and change
    with Johannes Czermak
    Studia Philosophiae Christianae 47 (4): 5-17. 2011.
  •  36
    Our research concerns a formal representation of Bolzano’s original concepts of Substanz and Adhärenz. The formalized intensional theory enables to articulate a question about the consistency of a part of Bolzano’s metaphysics and to suggest an answer to it in terms of contemporary model theory. The formalism is built as an extension of Zalta’s theory of abstract objects, describing two types of predication, viz. attribution and representation. Bolzano was aware about this distinction. We focus …Read more
  • Arystotelesa modalny rachunek nazw W ujeciu OJM bochenskiego
    Studia Philosophiae Christianae 42 (1): 71-94. 2006.