15 found
Order:
See also
  1.  22
    Gödel's "Slingshot" Argument and His Onto-Theological System.Srećko Kovač & Kordula Świętorzecka - 2015 - In Kordula Świętorzecka (ed.), Gödel's Ontological Argument: History, Modifications, and Controversies. Semper. pp. 123-162.
  2.  15
    Some Remarks on Formal Description of God's Omnipotence.Kordula Świętorzecka - 2011 - Logic and Logical Philosophy 20 (4):307-315.
    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 against the possibility of reference God’s omnipotence (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3. Metody urabiania definicji. Na marginesie artykułu O filozofii analitycznej Andrzeja Dąbrowskiego.Anna Brożek, Jacek Jadacki & Kordula Świętorzecka - 2012 - Przeglad Filozoficzny - Nowa Seria 81 (1):127-137.
    Translate
     
     
    Export citation  
     
    My bibliography  
  4.  26
    The Formalised Conception of Substantial Change in Terms of Some Modal Sentential Calculus (Logic LCG).Kordula Świętorzecka - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:113-120.
    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 - it pertains to the existence of those substances. (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  5.  4
    Bolzano’s Argument for the Existence of Substances: A Formalization with Two Types of Predication.Kordula Świętorzecka - 2017 - Acta Analytica 32 (4):411-426.
    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 to his argument for the existence of God from (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  13
    Some Calculus for a Logic of Change.Kordula Świetorzecka & Johannes Czermak - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):3-10.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  7. Discreteness of Time and Change.Johannes Czermak & Kordula Świętorzecka - 2011 - Studia Philosophiae Christianae 47 (4):5-17.
     
    Export citation  
     
    My bibliography  
  8. Ontologiczny dowód Gödla z ograniczoną redukcją modalności.Kordula Świętorzecka - 2012 - Przeglad Filozoficzny - Nowa Seria 83 (3):21-34.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  9.  14
    Sformalizowana Ontologia Orientacji Klasycznej [Formalized Ontology Inspired by Classical Philosophy].Kordula Świętorzecka - 2009 - Polish Journal of Philosophy 3 (2):140-142.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  10. W Kierunku Filozofii Klasycznej: Inspiracje I Kontynuacje: Księga Jubileuszowa Ofiarowana Profesorowi Edwardowi Nieznańskiemu.Jan Krokos, Kordula Świętorzecka & Roman Tomanek (eds.) - 2008 - Wydawn. Uniwersytetu Kardynała Stefana Wyszyńskiego.
    Translate
     
     
    Export citation  
     
    My bibliography  
  11. Arystotelesa modalny rachunek nazw W ujeciu OJM bochenskiego.Kordula Swietorzecka - 2006 - Studia Philosophiae Christianae 42 (1):71-94.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  12. O pewnych formalnych założeniach semantycznych niektórych sformalizowanych argumentów ontologicznych.Kordula Swietorzecka - 2002 - Studia Philosophiae Christianae 38 (2):55-86.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  13. LCG - logika zmian.Kordula Świętorzecka - 2007 - Filozofia Nauki 1.
    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 (...)
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  14. O stosowalności niektórych modalnych reguł inferencji w rozumowaniach pozalogicznych.Kordula Świętorzecka - 2002 - Filozofia Nauki 1.
    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 being derivable in (...)
    Translate
     
     
    Export citation  
     
    My bibliography  
  15. [rec.] Kazimierz Pawłowski, Zarys logiki. Skrypt dla studentów kierunków humanistycznych, Wydawnictwo UKSW, Warszawa 2012, ss. 199. [REVIEW]Kordula Świętorzecka - 2012 - Studia Philosophiae Christianae 48 (1):205-214.
    Translate
     
     
    Export citation  
     
    My bibliography