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-13 z 13
    Tytuł:
    Siła i słabość logik modalnych
    The Strengths and Weaknesses of Modal Logics
    Autorzy:
    Czakon, Marcin
    Powiązania:
    https://bibliotekanauki.pl/articles/909495.pdf
    Data publikacji:
    2020-03-31
    Wydawca:
    Uniwersytet Warszawski. Wydział Filozofii
    Tematy:
    modal logic
    temporal logic
    epistemic logic
    Opis:
    This is a review of the book Jedność i wielość logik modalnych (The Unity and Diversity of Modal Logics) edited by Marcin Tkaczyk. The book contains discussions of the most recent results of contemporary modal logic, focusing on regular modal logics, epistemic logic, and temporal logic. The book comprises four chapter, each of which deals with selected formal-logical and philosophical problems associated with modal logic.
    Źródło:
    Filozofia Nauki; 2020, 28, 1; 125-132
    1230-6894
    2657-5868
    Pojawia się w:
    Filozofia Nauki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    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ł:
    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ł:
    Krata podwójna: próba opisu wydarzeń przyszłych za pomocą narzędzi logicznych
    Autorzy:
    Bażyk, Albert Przemysław
    Powiązania:
    https://bibliotekanauki.pl/articles/429119.pdf
    Data publikacji:
    2012
    Wydawca:
    Uniwersytet Papieski Jana Pawła II w Krakowie
    Tematy:
    two-valued logic
    many-valued logic
    expansion of classical logic
    modal logic
    semantic supervaluationism
    semantic subvaluationism
    the FOUR double lattice
    Belnap’s four-valued logic
    Opis:
    An unflagging interest in describing future events has continuously motivated investigations, particularly in the field of logic.Aristotle, universally acknowledged as the father of logic, proposed a set of certain bases from which we could depart with our investigations. However, these are tools in which, despite their great value, one can perceive certain shortcomings.Over the centuries many attempts have been made to discover a means of describing any sentence, expressed in any grammatical form. One of these attempts is bilattice theory, through which it has been attempted to describe future events. This theory makes use of tools such as vagueness and different forms of semantics including subvaluationism and supervaluationism.In lattice theory itself, the double lattice known as the FOUR lattice (four-valued bilattice logic) is directly employed.After analyzing the structure of a given theory one may easily make use of it in practice, providing examples of its usage.
    Źródło:
    Semina Scientiarum; 2012, 11
    1644-3365
    Pojawia się w:
    Semina Scientiarum
    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ł:
    Pragmatyczne znaczenia predykatu modalnego móc w konstrukcjach konwersacyjnych dzieci przedszkolnych
    Pragmatical senses of modal predicate móc in conversational constructions of preschool children
    Autorzy:
    Brzdęk, Ewa
    Powiązania:
    https://bibliotekanauki.pl/articles/475725.pdf
    Data publikacji:
    2016
    Wydawca:
    Polska Akademia Nauk. Instytut Języka Polskiego PAN
    Tematy:
    modalność intencjonalna
    modalność fakultatywna
    predykat modalny móc
    pragmalingwistyka
    pośrednie akty mowy
    kompetencja dyskursywna
    intentional modality
    modal logic
    modal predicate móc
    pragmalinguistics
    indirect acts of speech
    discourse competence
    Opis:
    W pracy koncentrujemy się głownie na określeniu zakresu użycia pragmatycznych wariantów znaczenia predykatu modalnego moc w konstrukcjach konwersacyjnych dzieci przedszkolnych. Opis konkretnych realizacji orzeczeń modalnych w wypowiedzeniach dotyczy niektórych aspektów modalności zdaniowej i fakultatywnej oraz wybranych zagadnień systemowych, sytuacyjnych i interakcyjnych języka. Biorąc pod uwagę kontekst pragmatycznojęzykowy i interakcyjny konstrukcji modalnych i innych, obecnych w tekstach, zwracamy uwagę na jakość kompetencji dyskursywnej dzieci przedszkolnych.
    The paper concerns the analysis of the modal logic and intentional constructions with the modal verb móc in preschool discourse. Some aspects of pragmalinguistic and systemic-functional theory provide tools to characterize the ways in which children use constructions in the colloquial-conversational language and text. Our analysis is focused on the sense of predicate móc in particular applications and on the process of creation of indirect acts of speech. It also provides information on the development of discourse competence of children.
    Źródło:
    Socjolingwistyka; 2016, 30; 245-259
    0208-6808
    Pojawia się w:
    Socjolingwistyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Relatywizm wyrażeń „autorytet niepodważalny” i „autorytet podważalny”
    Relativism expressions „authority to challenge” and „authority of indisputable”
    Autorzy:
    Karaskiewicz, Katarzyna
    Powiązania:
    https://bibliotekanauki.pl/articles/2142662.pdf
    Data publikacji:
    2018
    Wydawca:
    Uniwersytet w Białymstoku. Wydawnictwo Uniwersytetu w Białymstoku
    Tematy:
    authority to challenge
    authority of indisputable
    hypostasis error
    language competence
    bivalent modal logic
    autorytet podważalny
    autorytet niepodważalny
    błąd hipostazy
    kompetencja językowa
    logika modalna dwuwartościowa
    Opis:
    I will present my considerations in the context of classic bivalent modal logics, and on the direct basis I made two expressions “authority to challenge" and "authority of indisputable". From the point of view of semantics, they are least understood. The reason is that every external authority, regardless of how it will be called (eg tradition, person, institution, charismatic etc., etc.) a priori is a contestable or irrefutable authority. It results from time relativism, relativism of the place, relativism of language competence and relativism of knowledge. Therefore, I argue that all evaluation should be formulated in problematic sentences about the possibility of bilateral.
    Źródło:
    IDEA. Studia nad strukturą i rozwojem pojęć filozoficznych; 2018, 30/1; 122-135
    0860-4487
    Pojawia się w:
    IDEA. Studia nad strukturą i rozwojem pojęć filozoficznych
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    „Normy wirtualne” a obowiązki realne. O instrumentalnym wynikaniu norm i jego konsekwencjach dla prakseologicznej prawidłowości zmian w prawie
    „Virtual Norms” but Real Obligations. On Instrumental Inference of Legal Norms and its Consequences for Praxeological Correctness of Changes in Law
    Autorzy:
    Zajęcki, Maurycy
    Powiązania:
    https://bibliotekanauki.pl/articles/2082859.pdf
    Data publikacji:
    2021
    Wydawca:
    Akademia Leona Koźmińskiego w Warszawie
    Tematy:
    teoria prawa
    normy prawne
    legislacja
    inferencja modalna
    logika norm
    vacatio legis
    Trybunał Konstytucyjny
    theory of law
    legal norms
    legislation
    modal inference
    logic of norms
    Constitutional Tribunal
    Opis:
    Artykuł podejmuje problematykę inferencji modalnej: jeśli adresaci normy mają nakazane coś czynić, zobowiązani są także zrealizować stany rzeczy, które są warunkiem niezbędnym dla zrealizowania zasadniczego obowiązku; analogicznie, są oni zobowiązani do powstrzymania się od zrealizowania stanów rzeczy, które są warunkiem wystarczającym, by zasadniczy obowiązek nie mógł być zrealizowany. Te typy inferencji są nazywane w polskiej teorii prawa „wynikaniem instrumentalnym”. Twierdzi się w artykule, że czasami normy instrumentalne muszą być zrealizowane (inaczej: muszą być podjęte „czynności wstępne”) zanim zrealizowany zostanie obowiązek zasadniczy. Prawodawca pomaga adresatom poprzez oznaczenie odpowiedniej vacatio legis. To może prowadzić do dalszych paradoksalnych konsekwencji – do kreacji „norm wirtualnych” – norm, które nigdy nie wchodzą w życie, ale ich adresaci są zobowiązani do podjęcia czynności przygotowawczych. Artykuł stara się opisać teoretycznie to zjawisko. W konkluzji postawiona zostaje jedna hipoteza dogmatyczna: czynności przygotowawcze, które nałożyły na adresatów realny ciężar czynności przygotowawczych, mogą rodzić po stronie organów władzy publicznej obowiązek kompensacyjny (art. 4171 § 1 k.c.), jeśli obowiązek zasadniczy okaże się być „wirtualny”. W Polsce organem mogącym stwierdzić zajście opisanej przesłanki jest Trybunał Konstytucyjny.
    The article deals with the problem of modal inference: if some addressees are obliged to do something, they are also obliged to realize states of affairs which constitute a necessary condition for the main obligation. Likewise, they are obliged to refrain from realizing states of affairs which constitute a sufficient condition for the action contradicting the main obligation. This type of inference is called in Polish legal theory “instrumental inference”. It is argued in the article that sometimes instrumental norms in law must be fulfilled (“preparatory actions” must be undertaken) before the main obligation is fulfilled. Lawgiver helps addressees of norms by applying vacatio legis. It can lead to new paradoxical consequences – to the creation of “virtual norms” – norms which never come into force, but addressees are obliged to undertake preparatory actions. The article presents theoretical description of this phenomenon. In conclusion one dogmatic claim is proposed: there is a potential way (art. 4171 § 1 k.c.) of getting from public officials compensation for preparatory actions which caused burden for addressees, when the main obligation turned out to be “virtual”. In Poland this procedure should be based on the rulings of the Constitutional Tribunal.
    Źródło:
    Krytyka Prawa. Niezależne Studia nad Prawem; 2021, 13, 2; 227-247
    2080-1084
    2450-7938
    Pojawia się w:
    Krytyka Prawa. Niezależne Studia nad Prawem
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-13 z 13

      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