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ę "modal logic" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-11 z 11
    Tytuł:
    Najkrótsze aksjomaty modalnej logiki Łukasiewicza
    The Shortest Axioms of Łukasiewicz’s Modal Logic
    Autorzy:
    Dywan, Zdzisław
    Powiązania:
    https://bibliotekanauki.pl/articles/488405.pdf
    Data publikacji:
    2016
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    aksjomatyzacja
    logika modalna
    axiomatization
    modal logic
    Opis:
    Pokazujemy, że formuła CLpEqLq aksjomatyzuje logikę modalną Łukasiewicza i nie istnieje krótszy aksjomat dla tej logiki.
    We show that the formula CLpEqLq axiomatizes Łukasiewicz’s modal logic and that there exists no shorter axiom for it.
    Źródło:
    Roczniki Filozoficzne; 2016, 64, 2; 5-9
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Założeniowe systemy normalnych logik modalnych
    Natural Deduction Systems of Normal Modal Logics
    Autorzy:
    Tkaczyk, Marcin
    Powiązania:
    https://bibliotekanauki.pl/articles/2013342.pdf
    Data publikacji:
    2007
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika modalna
    normalna logika modalna
    dedukcja naturalna
    system założeniowy
    modal logic
    normal modal logic
    natural deduction
    Opis:
    Most normal modal logics have been constructed as axiomatic systems rather than natural deduction. However, a lot of them have Gentzen-style or Kalish-Montague-style counterparts. Unfortunately, very few systems have Słupecki-Borkowski-style natural deduction counterparts. To fill in the gap is an aim of the present paper. The system K is developed as a Leśniewski-Borkowski-style natural deduction system in two ways. Equivalence of the systems is proved. A way is described to develop other normal systems beginning with the given system K.
    Źródło:
    Roczniki Filozoficzne; 2007, 55, 1; 219-228
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zastosowanie systemów pośrednich między S4 A S5 w kontekstach epistemicznych
    Application of Systems that are Intermediate between S4 and S5 in Epistemic Contexts
    Autorzy:
    Lechniak, Marek
    Powiązania:
    https://bibliotekanauki.pl/articles/2012906.pdf
    Data publikacji:
    2010
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika modalna
    systemy logiki modalnej
    wiedza
    przekonanie
    pojęcia epistemiczne
    modal logic
    systems of modal logic
    knowledge
    belief
    epistemic concepts
    Opis:
    The article presents systems of modal logics that are stronger than the S4 and weaker than the S5 systems. After a syntactic and semantic presentation of the systems, they are presented as applied to expressing the property of time. Then, after a discussion of some of Hintikka’s arguments concerning “the only” logic proper for the concept of knowledge and belief, against the background of a discussion of various concepts of knowledge and convictions, the application of the S4.2, S4.3, S4F systems as well as of the S4.4 system for expressing properties of epistemic concepts is shown.
    Źródło:
    Roczniki Filozoficzne; 2010, 58, 2; 41-60
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Teodycea a logika modalna. Bogusława Wolniewicza polemika z krytyką teodycei u Pierre’a Bayle’a
    Autorzy:
    Mirosławski, Mateusz
    Powiązania:
    https://bibliotekanauki.pl/articles/668025.pdf
    Data publikacji:
    2017
    Wydawca:
    Uniwersytet Papieski Jana Pawła II w Krakowie
    Tematy:
    theodicy
    modal logic
    possibility
    evil
    Teodycea
    logika modalna
    możliwość
    zło
    Opis:
    The essay aims at presenting original ideas of Bogusław Wolniewicz in the field of modal logic, which improve the traditional theodicy, criticized by Pierre Bayle. The classical theodicy attempts to reconcile divine omnipotence and God’s goodness. According to classical theodicy both of these elements can be reconciled, because evil is not the work of God, but a work of man – freedom is in fact necessary for a man so that he could do good, but to do good, a person automatically has to be able to do the evil (understood morally, not physically). Bayle’s argument says that freedom implies the possibility of evil and it does not imply its existence, and this means that evil can be avoided even with the assumption of freedom. Wolniewicz tries to refute that argument. He quotes a little known definitions of possibility derived from the logic of Megarian. It turns out to be an inspiration for him to introduce an original definition of possibility – “what is possible = what happened or what will happen in the future.” With this interpretation of possibility classic theodicy seems to be efficient.
    Referat ma na celu zaprezentowanie oryginalnych pomysłów Bogusława Wolniewicza z dziedziny logiki modalnej, które służą usprawnieniu tradycyjnej teodycei, krytykowanej przez Pierre'a Bayle'a. Klasyczna teodycea stara się pogodzić boską wszechmoc z bożą dobrocią. Według klasycznej teodycei oba te elementy dają się pogodzić, ponieważ zło nie jest dziełem Boga, lecz człowieka – wolność jest bowiem konieczna dla człowieka, aby ten mógł czynić dobro, ale aby czynić dobro, człowiek automatycznie musi móc czynić także zło (rozumiane moralnie, nie fizycznie). Argumentacja Bayle'a mówi natomiast, że choć wolność implikuje możliwość zła, to nie implikuje jednak jego istnienia, a to oznacza, że zła można uniknąć nawet przy założeniu wolności. Wolniewicz stara się obalić tę argumentację. W tym celu przywołuje on mało znane definicje możliwości wywodzące się z logiki megarejskiej, które dostarczają inspiracji do wprowadzenia oryginalnej definicji możliwości – „to co możliwe = to, co się zdarzyło lub to co zdarzy się w przyszłości". Przy takiej interpretacji modalnej teodycea klasyczna wydaje się być sprawna
    Źródło:
    Racjonalia. Z punktu widzenia humanistyki; 2017, 7
    2391-6540
    2083-9952
    Pojawia się w:
    Racjonalia. Z punktu widzenia humanistyki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Temporalna interpretacja logiki modalnej
    Temporal Interpretation of Modal Logic
    Autorzy:
    Tkaczyk, Marcin
    Powiązania:
    https://bibliotekanauki.pl/articles/2013148.pdf
    Data publikacji:
    2008
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika temporalna
    logika tensalna
    logika modalna
    semantyka relacyjna
    temporal logic
    tense logic
    modal logic
    relational semantics
    Opis:
    Temporal interpretation of modal logic consists in replacing possible worlds with temporal states of the world or any time determinates and the accessibility relation with a relation of passage of time. That issue has been raised by A. N. Prior, who was thinking of propositions as things which could change their truth-values (could become true or become false) with the passage of time. Under such interpretation Prior was reading a formula  as: it (is and) will allways be the case that  or: it (is and) has allways been the case that . The formula  should be read respectively. In the present paper the interpretation in question is examined. Its sources are presented and its consequences are analysed. It is claimed, the interpretation to be highly disputable because of its disagreement with physical meaning of temporal statements, established in the special relativity theory.
    Źródło:
    Roczniki Filozoficzne; 2008, 56, 2; 273-297
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A certain approach to Kripke semantics for normal modal logics
    Autorzy:
    Bryll, G.
    Sochacki, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/121860.pdf
    Data publikacji:
    2009
    Wydawca:
    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
    Tematy:
    logika modalna
    semantyka Kripke
    logika czasowa
    logika matematyczna
    modal logic
    Kripke’s semantics
    mathematical logic
    Opis:
    In this paper the authors propose a method of verifying formulae in normal modal logics. In order to show that a formula α is a thesis of a normal modal logic, a set of decomposition rules for any formula is given. These decomposition rules are based on the symbols of assertion and rejection of formulae.
    Źródło:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2009, 14; 13-20
    2450-9302
    Pojawia się w:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    All splitting logics in the lattice NEXT(KTB:30A)
    Autorzy:
    Kostrzycka, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/121995.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
    Tematy:
    logika modalna
    ramka Kripkego
    klastry rozłączne
    modal logic
    Kripke’s frome
    disjoint clusters
    Opis:
    We examine a special modal logic which is a normal extension of the Brouwer modal logic. It is determined by linearly ordered chains of clusters and the relation between clusters is reflexive and symmetric. The appropriate axiomatization of this logic is proposed in the papers [11] and [12]. There is also proved that all normal extensions of the investigated logic are Kripke complete and have f.m.p. Unfortunately, the cardinality of this family is continuum [13]. One may imagine that the structure of the lattice of these extensions is immensely complex. Then we use the technics of splitting to characterize this lattice and to describe some quite simple fragments. We characterize all the logics that split the lattice.
    Źródło:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2016, 21; 31-61
    2450-9302
    Pojawia się w:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    O logice modalnej
    On Modal Logic
    Autorzy:
    Kiczuk, Stanisław
    Powiązania:
    https://bibliotekanauki.pl/articles/2015670.pdf
    Data publikacji:
    2004
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    konieczność logiczna
    możliwość logiczna
    logika modalna
    funktor modalny
    ścisła implikacja
    logical necessity
    logical possibility
    modal logic
    modal operator
    strict implication
    Opis:
    The paper appreciates six conditions which, according to G.E. Hughes and M.J. Cresswell, must be respected by those formal systems which aspire to be systems of modal logic. There are few such systems. The sense of modal functors “it is necessary that,” “it is possible that,” in this type of systems is in no way made precise. The paper undermines the validity of some conditions shown by Hughes and Cresswell. It outlines the way by which to construct a system of modal logic in which the functor of logical necessity and logical possibility would be unambiguously characterised by methods of contemporary logic.
    Źródło:
    Roczniki Filozoficzne; 2004, 52, 1; 199-213
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zagadnienie konstruowalności logik modalnych i relewantnych
    The Problem of Possibility of Construction of Modal and Relevance Logics
    Autorzy:
    Januszewski, Ernest
    Powiązania:
    https://bibliotekanauki.pl/articles/2015846.pdf
    Data publikacji:
    2020-10-15
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika modalna
    logika relewantna
    filozofia logiki
    reguła Gödla
    reguła koniecznościowania
    modal logic
    relevance logic
    philosophy of logic
    Gödel's rule
    rule of necessitation
    Opis:
    In the paper various ways are shown of constructing both modal and relevance logics. An attempt is undertaken of interpreting modal functors occurring in these logics. In the discussion special attention is paid to logical necessity. Connection of this necessity and tautologies of the classical sentential calculus is pointed to. Next, some intuitive considerations are quoted that resulted in accepting or refusing certain theses or rules on the ground of both modal and relevance logics. Especially much attention is paid to Gödel's rule. It is stated that at the moment when modal and relevance logics were constructed satisfactory philosophical considerations were not made. In particular, it was not decided if the constructed systems give correct formalization of modal notions, and if they may be used for formalization of deductive ways of infering.
    Źródło:
    Roczniki Filozoficzne; 2003, 51, 1; 85-112
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Bóg, modalność, esencjalizm. Pewna wersja szkotystycznego dowodu tezy o istnieniu Boga
    God, Modality and Essentialism. A Version of the Scotist Proof for God’s Existence
    Autorzy:
    Tkaczyk, Marcin
    Powiązania:
    https://bibliotekanauki.pl/articles/2013049.pdf
    Data publikacji:
    2009
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    Duns Szkot
    dowód na istnienie Boga
    logika modalna
    esencjalizm
    Duns Scotus
    proof for God’s existence
    modal logic
    essentialism
    Opis:
    A proof for God’s existence, inspired by Duns Scotus’s Tractatus de primo principio, is analyzed. The conclusion is based on three premises arranged in the matrix of a specific modal logic. The premises are: 1. it is possible for the world to be created by God; 2. if the world is created by God, then God exists; 3. if God exists, then God exists necessarily. In comparison to the original Scotus’s work the concept of essential order has been removed and replaced with a concept of creation. Modal expressions of the proof have been analyzed with an application of essentialism of Aristotle and Ibn Sina – the version of essentialism accepted by Scotus. Scotus’s underlying modal logic has been reconstructed and discussed in two versions: 1. as a modal logic with one pair of natural modalities; 2. as a multimodal logic with two pairs of modalities – natural and logical. The concept of natural modality is based on the essentialism discussed, the concept of logical modality is based on Scotus’s idea of non repugnantia terminorum.
    Źródło:
    Roczniki Filozoficzne; 2009, 57, 1; 231-256
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Knowability as De Re Modality: A Certain Solution to Fitch Paradox
    Poznawalność jako modalność de re: pewne rozwiązanie paradoksu Fitcha
    Autorzy:
    Jarmużek, Tomasz
    Krawczyk, Krzysztof
    Palczewski, Rafał
    Powiązania:
    https://bibliotekanauki.pl/articles/1791006.pdf
    Data publikacji:
    2021-01-04
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    antyrealizm
    modalność de dicto
    modalność de re
    logika epistemiczna
    paradoks Fitcha
    logika poznawalności
    zasada poznawalności
    logika modalna
    metody tablicowe
    anti-realism
    de dicto modality
    de re modality
    epistemic logic
    Fitch Paradox
    knowability logic
    knowability principle
    modal logic
    tableaux methods
    Opis:
    In the paper, we try to find a new, intuitive solution to the Fitch paradox. We claim that traditional expression of Knowability Principle (p → ◊Kp) is based on erroneous understanding of knowability as de dicto modality. Instead, we propose to understand knowability as de re modality. In the paper we present the minimal logic of knowability in which Knowability Principle is valid, but Fitch Paradox does not hold anymore. We characterize the logic semantically as well as by an axiomatic and tableaux procedure approach.
    W artykule staramy się znaleźć nowe, intuicyjne rozwiązanie paradoksu Fitcha. Twierdzimy, że tradycyjne wyrażenie zasady poznawalności (p → ◊Kp) opiera się na błędnym rozumieniu poznawalności jako modalności de dicto. Zamiast tego proponujemy rozumieć poznawalność jako modalność de re. W artykule przedstawiamy minimalną logikę poznawalności, w której zasada poznawalności jest ważna, ale paradoks Fitcha już nie obowiązuje. Logikę charakteryzujemy semantycznie, a także poprzez podejście aksjomatyczne i tabelaryczne.
    Źródło:
    Roczniki Filozoficzne; 2020, 68, 4; 291-313
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-11 z 11

      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