Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Nieznański, Edward" wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-6 z 6
    Tytuł:
    Aksjomatyczne ujęcie problemu teodycei
    Axiomatic Approach to the Problem of Theodicy
    Autorzy:
    Nieznański, Edward
    Powiązania:
    https://bibliotekanauki.pl/articles/2013345.pdf
    Data publikacji:
    2007
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    Bóg
    teodycea
    aksjologia
    zło egzystencjalne
    błąd fatalizmu religijnego
    God
    theodicy
    existential evil
    error of religious fatalism
    Opis:
    The problem of justification of the almighty and perfect Creator in the face of the fact that there is evil in the world was posed as early as the 3rd century BC by Epicureans and Stoics. The author of the article uses St. Thomas Aquinas’ and G.W. Leibniz’s philosophical inspirations to demonstrate by means of formal-logical means that inferring non-existence of evil from existence of God, as well as non-existence of God from existence of evil is a logical error. The analysis begins with the theory of an omniscient, infallible and omnipotent being, identified with God. “Will”, “allowance” and “objection” with respect to facts are differentiated and the law of logical squares with respect to acts of will and the iteration of states of God’s will are presented. A theistic axiology is suggested, religious fatalism and the superstition of predestination are refuted. The whole of the axiomatic calculus tends to the conclusion that evil in the world of the omnipotent Creator results from the purposefully established fortuitousness within the laws of nature, in the name of man’s freedom of choice and possibilities of development.
    Źródło:
    Roczniki Filozoficzne; 2007, 55, 1; 201-217
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    World models in formalized systems of theodicy
    Modele świata w sformalizowanych systemach teodycei
    Autorzy:
    Nieznański, Edward
    Powiązania:
    https://bibliotekanauki.pl/articles/431381.pdf
    Data publikacji:
    2011
    Wydawca:
    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
    Tematy:
    formal theodicy
    proofs of God's existence
    concepts of God
    teodycea formalna
    dowody istnienia Boga
    koncepcje Boga
    Opis:
    The article illustrates various images of the world described by selected formalized systems of theodicy. The first of the formalizations discussed reconstruct the argument ‘ex motu’ and present reality as a finite chain of the relation of moving. They also indicate the existence of ‘primum movens’ or ‘movens immobile’. The idea of a chain was questioned by Francesca Rivetti-Barbo, who regarded the coherence axiom in the relation of moving as false. Peter Geach suggested, however, that the relation of becoming of the later material world from the previous ones was total. This relation is a chain. Korneliusz Policki advocated the view that the world is a partial order of the relation of moving. Also, he used the Kuratowski-Zorn lemma in proving the existence of ‘primum movens immobile’. Rivetti-Barbo and Ivo Thomas viewed the world as a multiplicative quasi half–lattice. Kurt Gödel assumed that the world is Boolean algebra, in which the generator of the ultrafilter of positive attributes is ‘summum bonum’. Finally, there were formalizations presenting Leibniz’ world which is governed by the principle of the sufficient reason of being.
    W artykule prezentuje się różne wizje świata opisywane przez wybrane sformalizowane systemy teodycei. Pierwsze z omawianych formalizacji rekonstruują argument "ex motu" i prezentują rzeczywistość jako łańcuchową relację poruszania. Dowodzi się w tym przypadku "primum movens" lub "movens immobile". Idę łańcucha zakwestionowała Francesca Rivetti-Barbò w związku z fałszywym postulatem o spójności relacji poruszania. Peter Geach zasugerował jednak, że postulat ten da się utrzymać w przypadku relacji stawania się światów materialnych. Korneliusz Policki wyznaczył z kolei wizję świata, którą generuje częściowy porządek relacji poruszania. W swoim dowodzie istnienia "primum movens immobile" wykorzystał lemat Kuratowskiego-Zorna. Rivetti-Barbò i Ivo Thomas zaproponowali wizję świata opartą na quasipółstrukturze multiplikatywnej. Kurt Gödel założył natomiast, że świat jest algebrą Boole’a, w której generatorem ultrafiltru własności pozytywnych jest "summum bonum". Na koniec charakteryzuje się formalizacje prezentujące Leibniza koncepcję świata, w której kluczową rolę pełni zasada dostatecznej racji istnienia.
    Źródło:
    Studia Philosophiae Christianae; 2011, 47, 1; 89-96
    0585-5470
    Pojawia się w:
    Studia Philosophiae Christianae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Algebra pojęć deontycznych
    Algebra of Deontic Notions
    Autorzy:
    Nieznański, Edward
    Powiązania:
    https://bibliotekanauki.pl/articles/2013199.pdf
    Data publikacji:
    2020-09-03
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    pojęcia deontyczne
    modalności deontyczne
    związek pojęć deontycznych z wartościami moralnymi
    algebra zbiorów
    algebra Boole’a
    deontic notions
    deontic modalities
    connection of deontic concepts with the moral values
    algebra of sets
    the Boolean algebra
    Opis:
    Leibniz suggested that deontic modalities can be defined in terms of the alethic modalities; according to him, the permitted (licitum) is what possible for a good man to do and the obligatory (debitum) is what is necessary for a good man to do. The paper starts from specifying a connection of deontic concepts with the moral values. The connection comes down to define an isomorphism of two Boolean algebras: from deontic one onto axiological one. The work presents theories of two algebras of deontic notions: the algebra of sets and the Boolean algebra. The theory of deontic set is based on the two axioms: xÎV (an act x is an element of the set of acts subordinated to some norm or law) and x''=x (an act x is identical with double denial of x). By means of definitions following notions are introduced: Λ (the empty set of acts), N (the set of ordered acts), Z (the set of forbidden acts), P (the set of obligatory acts), F (the set of optional acts), D (the set of permitted acts), I (the set of indifferent acts).The calculus is structured by rules of the Słupecki-Borkowski’s suppositional deduction. Forty five theorems are proven in this calculus. The second theory presented in the paper, is a Boolean algebra of deontic notions. Added to the theory of equality, it takes axioms from the theory of Boolean algebras with addition of a specific axiom for the deontic system i.e., N = N∩D. Sixty four theorems are proven in this calculus.
    Źródło:
    Roczniki Filozoficzne; 2008, 56, 1; 239-251
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Philosophy as a system of conditionals
    Autorzy:
    Nieznański, Edward
    Powiązania:
    https://bibliotekanauki.pl/articles/1070377.pdf
    Data publikacji:
    2020-12-31
    Wydawca:
    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
    Tematy:
    Leibniz
    theodicy
    supposition
    conditionals
    Opis:
    Philosophical statements are often suppositions. Gottfried Wilhelm Leibniz proposes in Nouveaux Essais sur l’entendement humain, 1704, a method of the construction of assertive conditionals occurring between any philosophical suppositions. If we can infer a philosophical statement from any suppositions then the implication between these suppositions and the obtained statement is assertive. In the article, some examples of the application of Leibniz’s method are considered.
    Źródło:
    Studia Philosophiae Christianae; 2020, 56, S1; 85-93
    0585-5470
    Pojawia się w:
    Studia Philosophiae Christianae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On the concept of truth in an intended model of the logic of beliefs
    O pojęciu prawdy w modelu zamierzonym logiki przekonań
    Autorzy:
    Wesserling, Janusz
    Nieznański, Edward
    Powiązania:
    https://bibliotekanauki.pl/articles/431129.pdf
    Data publikacji:
    2013
    Wydawca:
    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
    Tematy:
    logic of beliefs
    intuitionistic logic
    semantics of intended models
    concept of truth
    logika przekonań
    logika intuicjonistyczna
    semantyka modeli zamierzonych
    pojęcie prawdy
    Opis:
    First of all the article looks at the building of an a posteriori logic of beliefs i.e. observation developed on the principle of how, people usually think, what kind of judgments they make about reality and what actually is described by the truth of the judgments under the influences of beliefs. In this situation, we have to depart from the customary practice of a priori semantics of possible worlds in favour of semantics for models intended. Secondly, we find that in practice, human judgments indirectly accept a logic of thinking generally, which leads us - thirdly - to define this logical system as an extension of intuitionistic logic. Fourthly, and finally, our empirically generated logic of beliefs, proves to be logic of hypotheses and suppositions, because judgments made on the basis of intuitionistic logic are not assertive judgments.
    W artykule chodzi – po pierwsze – o zbudowanie aposteriorycznej logiki przekonań, czyli wypracowanej na zasadzie obserwacji, jak ludzie zwykle myślą, jakiego rodzaju sądy wydają o rzeczywistości i jakiej rzeczywistości dotyczy prawda sądów, którymi rządzą przekonania. W tej sytuacji musimy odstąpić od zwyczaju uprawiania apriorycznej semantyki światów możliwych na rzecz semantyki modeli zamierzonych. Po wtóre, odnajdujemy, że w praktyce ludzkiego wydawania sądów, pośrednią rolę pełni pewnego rodzaju logika myślenia w ogóle, której metajęzykowy rozbiór skłania nas – po trzecie – do określenia jej jako systemu nadbudowanego nad logiką intuicjonistyczną. A po czwarte, nasza logika przekonań, empirycznie generowana, okazała się być logiką przekonań hipotetycznych i supozycyjnych, ponieważ sądy wydawane na gruncie logiki intuicjonistycznej nie są sądami asertywnymi.
    Źródło:
    Studia Philosophiae Christianae; 2013, 49, 1; 135-149
    0585-5470
    Pojawia się w:
    Studia Philosophiae Christianae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-6 z 6

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies