-
12W kierunku filozofii klasycznej: inspiracje i kontynuacje: księga jubileuszowa ofiarowana profesorowi Edwardowi Nieznańskiemu (edited book)Wydawn. Uniwersytetu Kardynała Stefana Wyszyńskiego. 2008.
-
18Metody urabiania definicji. Na marginesie artykułu O filozofii analitycznej Andrzeja DąbrowskiegoPrzeglad Filozoficzny - Nowa Seria 81 (1): 127-137. 2012.
-
17Logic and Its History in the Lvov-Warsaw SchoolHistory 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
-
30Mereology with super-supplemention axioms. A reconstruction of the unpublished manuscript of Jan F. DrewnowskiLogic and Logical Philosophy 1. forthcoming.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
-
41A Leibnizian Logic of Possible LawsLogic 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
-
384Gödel's "slingshot" argument and his onto-theological systemIn Kordula Świętorzecka (ed.), Gödel's Ontological Argument: History, Modifications, and Controversies, Semper. pp. 123-162. 2015.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
-
43Formal Methods and Science in Philosophy: Introduction to the Special IssueBulletin 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.
-
8Bolesław Sobociński on UniversalsIn 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
-
8Jan SalamuchaIn 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.
-
3Bolesław Sobociński: The Ace of the Second Generation of the LWSIn 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
-
18Wprowadzenie. U podstaw syntezy wiedzy. O szlifowaniu narzędzi myślenia wedle Jana Franciszka DrewnowskiegoStudia 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
-
29First-Order Logic of ChangeLogic 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
-
35The Consistency of a Certain Medieval-Like Solution to the Liar Paradox. Proof Given by Bolesław SobocińskiHistory and Philosophy of Logic 43 (3): 275-283. 2022.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
-
42Bolzano’s Argument for the Existence of Substances: a Formalization with Two Types of PredicationActa Analytica 32 (4): 411-426. 2017.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 zmianFilozofia 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
-
133Some Remarks on Formal Description of God's OmnipotenceLogic 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
-
69The 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
-
41Sformalizowana ontologia orientacji klasycznej [Formalized Ontology inspired by Classical Philosophy] (review)Polish Journal of Philosophy 3 (2): 140-142. 2009.
-
O stosowalności niektórych modalnych reguł inferencji w rozumowaniach pozalogicznychFilozofia Nauki 1. 2002.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
-
[rec.] Kazimierz Pawłowski, Zarys logiki. Skrypt dla studentów kierunków humanistycznych, Wydawnictwo UKSW, Warszawa 2012, ss. 199 (review)Studia Philosophiae Christianae 48 (1): 205-214. 2012.
-
O modalnej naturze argumentu św. Anzelma. Uwagi do artykułu „Logika modalna a dowód ontologiczny” Andrzeja BiłataFilozofia Nauki 22 (1): 131-138. 2014.
-
10Ontologiczny dowód Gödla z ograniczoną redukcją modalnościPrzeglad Filozoficzny - Nowa Seria 83 (3): 21-34. 2012.
-
44Some calculus for a logic of changeJournal 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
-
1Gödel's Ontological Argument: History, Modifications, and Controversies (edited book)Semper. 2015.
-
6
-
36Two Formal Interpretations of Bolzano’s Theory of Substances and AdherencesAxiomathes 29 (3): 265-284. 2019.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 bochenskiegoStudia Philosophiae Christianae 42 (1): 71-94. 2006.
-
O pewnych formalnych założeniach semantycznych niektórych sformalizowanych argumentów ontologicznychStudia Philosophiae Christianae 38 (2): 55-86. 2002.
Kordula Świętorzecka
Cardinal Stefan Wyszyński University In Warsaw
-
Cardinal Stefan Wyszyński University In WarsawProfessor
Areas of Specialization
Science, Logic, and Mathematics |
Metaphysics and Epistemology |