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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-8 z 8
    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ł:
    Wielowartościowość a pojęcia epistemiczne
    Many Values and Epistemic Concepts
    Autorzy:
    Lechniak, Marek
    Powiązania:
    https://bibliotekanauki.pl/articles/2013395.pdf
    Data publikacji:
    2006
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika epistemiczna
    logika wielowartościowa
    przekonanie
    epistemic logic
    many-valued logic
    belief
    Opis:
    The paper presents several attempts to express intuition concerning the understanding of knowledge and conviction by means of the conceptual apparatus of many-valued logic. J. Łoś’s pioneer system has been presented here, the system constructed by Ngoc Duc Ho, in which the internal logic in this system is used by the knowing subject as the three-valued logic of Łukasiewicz and the third logical value is understood as “unjustified”, and the four-valued system of N. Belnap, the system that allows for the occurrence of propositions which are evaluated both as true and false.
    Źródło:
    Roczniki Filozoficzne; 2006, 54, 2; 375-390
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The Dynamic Epistemic Logic for Actual Knowledge
    Autorzy:
    Wójcik, Arkadiusz
    Powiązania:
    https://bibliotekanauki.pl/articles/750022.pdf
    Data publikacji:
    2020
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    Dynamic epistemic logic
    logic of public announcements
    knowledge representation
    problem of logical omniscience
    actual knowledge
    epistemic change
    multi-agent systems
    Opis:
    The dynamic epistemic logic for actual knowledge models the phenomenon of actual knowledge change when new information is received. In contrast to the systems of dynamic epistemic logic which have been discussed in the past literature, our system is not burdened with the problem of logical omniscience, that is, an idealized assumption that the agent explicitly knows all classical tautologies and all logical consequences of his or her knowledge. We provide a sound and complete axiomatization for this logic.
    Źródło:
    Bulletin of the Section of Logic; 2020, 49, 1
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Once More about Moore’s Paradox in Epistemic Logic and Belief Change Theory
    JESZCZE RAZ O PARADOKSIE MOORE’A W LOGICE EPISTEMICZNEJ I TEORII ZMIAN PRZEKONANIOWYCH
    Autorzy:
    LECHNIAK, Marek
    Powiązania:
    https://bibliotekanauki.pl/articles/488489.pdf
    Data publikacji:
    2018-09
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    Moore’s paradox
    epistemic logic
    belief change theory
    paradoks Moore’a
    logika epistemiczna
    teoria zmian przekonaniowych
    Opis:
    In this article, it was first presented Moore’s paradox per se and after the author focused on the logical perspective—at first he analyzed these considerations in the field of so-called standard epistemic logic and after on the formal theory of belief change.
    W niniejszym artykule najpierw został zaprezentowany paradoks Moore’a per se, a następnie autor skupił się na perspektywie logicznej,analizując wpierw problem w zakresie tak zwanej standardowej logiki epistemicznej, a potem formalnej teorii zmian przekonaniowych.
    Źródło:
    Roczniki Filozoficzne; 2018, 66, 3; 77-99
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Niektóre filozoficzne problemy logik zmian przekonań
    Some Philosophical Problems of Logics of Belief Change
    Autorzy:
    Lechniak, Marek
    Powiązania:
    https://bibliotekanauki.pl/articles/2013908.pdf
    Data publikacji:
    2005
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika epistemiczna
    ekspansja
    rewizja
    kontrakcja
    AGM-koncepcja zmiany przekonań
    zakorzenienie epistemiczne
    epistemic logic
    expansion
    revision
    contraction
    AGM theory of belief change
    epistemic entrenchment
    Opis:
    The article presents some problems of logical representation of belief change. The problem of beliefs (approached in a synchronic way) was analyzed on the ground of epistemic or intuitionist logics. In the 1980’s works concerning logical reconstruction of belief change appeared. The basic conception here is the conception of belief change formulated by C. Alchouron, P. Gärdenfors and D. Makinson (abbreviated as AGM), based on the assumption that the belief state is represented by a non-contradictory set of propositions and that a belief change should be minimal (the postulate of economy). However, the AGM theory, characterized by a good formal shape, gives rise to several problems of the intuitive nature. Some of them are: the way the object of beliefs is understood, logical value of propositions that induce a change, the propositional way of representing beliefs, putting beliefs in an order and the way this order is formally represented.
    Źródło:
    Roczniki Filozoficzne; 2005, 53, 2; 147-168
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Über Sokratische Weisheit als intellektuelle Bescheidenheit
    On Socratic wisdom as intellectual humility
    Autorzy:
    Löhrer, Guido
    Powiązania:
    https://bibliotekanauki.pl/articles/666033.pdf
    Data publikacji:
    2018
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    Weisheit
    intellektuelle Bescheidenheit
    Wissen zweiter Stufe
    epistemische Logik
    wisdom
    intellectual humility
    second-order knowledge
    epistemic modal logic
    Opis:
    In Plato’s Apology of Socrates, a humanly wise person is distinguished by her ability to correctly assess the epistemic status and value of her factual opinions. She knows whether she possesses knowledge or has mere opinion or is ignorant. It is also a widely shared view that intellectual humility, albeit not the same as wisdom, is one of a humanly wisdom’s necessary features. However, if the considerations presented here are valid and cover the spectrum of relevant interpretations, this is not tenable for Socratic wisdom. Fallible beings who claim to possess second-order knowledge of the epistemic status of their beliefs cannot be other than epistemically immodest. If Socratic wisdom requires epistemic humility, Socrates is not wise.
    In Platons Apologie des Sokrates zeichnet sich eine auf menschliche Art weise Person durch ihre Fähigkeit aus, den epistemischen Status und den Wert ihrer Meinungen über Sachverhalte korrekt zu beurteilen. Sie weiß, ob es sich bei ihnen um Wissen oder bloß um Meinung handelt, aber auch, ob sie etwas nicht weiß. Es ist zudem eine breit geteilte Auffassung, dass intellektuelle Bescheidenheit, obwohl nicht dasselbe wie Weisheit, ein bedeutender Aspekt der Weisheit ist. Doch wenn die hier vorgestellten Überlegungen triftig sind und das Spektrum der relevanten Deutungen abdecken, ist das für Sokratische Weisheit nicht haltbar. Denn die Bedingungen für korrekte Urteile über den epistemischen Status der eigenen Meinungen sind so anspruchsvoll, dass fehlbare Wesen, die ein entsprechendes Wissen zweiter Stufe beanspruchen, nicht anders als epistemisch unbescheiden sein können. Wenn Sokratische Weisheit epistemische Bescheidenheit verlangt, ist Sokrates nicht weise.
    Źródło:
    Acta Universitatis Lodziensis. Folia Philosophica. Ethica – Aesthetica – Practica; 2018, 32; 141-163
    0208-6107
    2353-9631
    Pojawia się w:
    Acta Universitatis Lodziensis. Folia Philosophica. Ethica – Aesthetica – Practica
    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ł
    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ł
      Wyświetlanie 1-8 z 8

      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