Advanced search    

Search: authors:"Kordula Świętorzecka"

15 papers found.
Use AND, OR, NOT, +word, -word, "long phrase", (parentheses) to fine-tune your search.

Two Formal Interpretations of Bolzano’s Theory of Substances and Adherences

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...

Bolzano’s Argument for the Existence of Substances: a Formalization with Two Types of Predication

The topic of our analysis is the argument for the existence of substances given by Bernard Bolzano in Athanasia (1827), 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...

Discreteness of time and change

cans C, cl, c2, c 3 , ...) JOHANNES CZERMAK, KORDULA ŚWIĘTORZECKA As in the case o f the paradox o f Achilles and the tortoise, this para­ dox arises if an infinite process is actually completed. There

"Podstawy logiki modalnej", Kazimierz Świrydowicz, Poznań 2004 : [recenzja]

logicz­ nych między Częściami I a III, powinny one bezpośrednio po sobie następować. Część II znalazłaby się wówczas na ostatnim miejscu. Kordula Świętorzecka Instytut Filozofii UKSW 8Do takich uchybień

Formalizacja tomistycznej teodycei w wykonaniu o. J. M. Bocheńskiego

ŚWIĘTORZECKA-LACHOWICZ FORMALIZACJA TOMISTYCZNEJ TEODYCEI W WYKONANIU O.J.M BOCHEŃSKIEGO 0. Wstęp. 1. O.J.M.Boeheńskiego sformalizowane dowody na istnienie absolutu. 2. O.J.M.Boeheńskiego formalne analizy