Informacja

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

Wyszukujesz frazę "epistemic logic" wg kryterium: Temat


Wyświetlanie 1-5 z 5
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ł:
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ł:
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-5 z 5

    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