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ę "Jarmużek, Tomasz" wg kryterium: Autor


Wyświetlanie 1-5 z 5
Tytuł:
Bayesian Propositional Logic
Autorzy:
Jarmużek, Tomasz
Klonowski, Mateusz
Malinowski, Jacek
Powiązania:
https://bibliotekanauki.pl/articles/750026.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
logical entailment
statistical inference
Bayesian inference
corroboration
confirmation
Opis:
We define and investigate from a logical point of view a family of consequence relations defined in probabilistic terms. We call them relations of supporting, and write: |≈w where w is a probability function on a Boolean language. A |≈w B iff the fact that A is the case does not decrease a probability of being B the case. Finally, we examine the intersection of |≈w , for all w, and give some formal properties of it.
Źródło:
Bulletin of the Section of Logic; 2017, 46, 3/4
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
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ł:
Modal Boolean Connexive Logics: Semantics and Tableau Approach
Autorzy:
Jarmużek, Tomasz
Malinowski, Jacek
Powiązania:
https://bibliotekanauki.pl/articles/749968.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Boolean connexive logics
connexive logic
modal Boolean connexive logics
modal logics
normal modal logics
possible worlds semantics
relatedness
relating logic
relating semantics
tableau methods
Opis:
In this paper we investigate Boolean connexive logics in a language with modal operators: □, ◊. In such logics, negation, conjunction, and disjunction behave in a classical, Boolean way. Only implication is non-classical. We construct these logics by mixing relating semantics with possible worlds. This way, we obtain connexive counterparts of basic normal modal logics. However, most of their traditional axioms formulated in terms of modalities and implication do not hold anymore without additional constraints, since our implication is weaker than the material one. In the final section, we present a tableau approach to the discussed modal logics.
Źródło:
Bulletin of the Section of Logic; 2019, 48, 3; 213-243
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On Some Language Extension of Logic MR: A Semantic and Tableau Approach
O pewnym językowym rozszerzeniu logiki MR: podejście semantyczne i tabelau
Autorzy:
Jarmużek, Tomasz
Parol, Aleksander
Powiązania:
https://bibliotekanauki.pl/articles/1791008.pdf
Data publikacji:
2021-01-04
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
rozszerzenie minimalnej logiki pozycyjnej
MR
logika pozycyjna
operator realizacji
metody tableau
extension of minimal positional logic
positional logic
realization operator
tableau methods
Opis:
In the article we present an extension of the minimal, normal positional logic, i.e., the logic with realization operator MR. Positional logic is a philosophical logic that makes it possible to relate sentences to contexts that can be understood in many ways. We enrich the basic language of minimal positional logic with additional expressions built with predicates and positional constants. We also accept expressions built with the realization operator and many positions, like: Ra1,K,an(A). Thanks to this, we increased the expressivity of minimal positional logic. In the article we point to many examples of the fact that, thanks to this small change, complex theories based on the proposed extension can be created. As a theory of proof for our logic, we assume tableau methods, showing soundness and completeness theorems. At the end, however, we show that the logic studied here is only a language extension of the MR: all theorems of the extension have their equivalents in pure MR theorems. However, theories built upon the proposed extension can express much more than theories built upon pure MR.
W artykule przedstawiamy rozszerzenie minimalnej, normalnej logiki pozycyjnej, czyli logiki z operatorem realizacji. Logika pozycyjna to logika filozoficzna, która umożliwia odniesienie zdań do kontekstów, które można rozumieć na wiele sposobów. Wzbogacamy podstawowy język minimalnej logiki pozycyjnej o dodatkowe wyrażenia zbudowane z predykatów i stałych pozycyjnych. Akceptujemy również wyrażenia zbudowane z operatorem realizacji oraz wiele pozycji, takich jak: Ra1,K,an(A) Dzięki temu zwiększyliśmy wyrazistość minimalnej logiki pozycyjnej. W artykule wskazujemy na wiele przykładów na to, że dzięki tej niewielkiej zmianie mogą powstać złożone teorie oparte na proponowanym rozszerzeniu. Jako teorię dowodu dla naszej logiki zakładamy metody tableau, pokazujące twierdzenia o poprawności i zupełności. Na koniec jednak pokazujemy, że badana tutaj logika jest tylko rozszerzeniem językowym MR: wszystkie twierdzenia o przedłużeniu mają swoje odpowiedniki w czystych twierdzeniach MR. Jednak teorie oparte na proponowanym rozszerzeniu mogą wyrazić znacznie więcej niż teorie oparte na czystej MR.
Źródło:
Roczniki Filozoficzne; 2020, 68, 4; 345-366
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