Search results for: Tomasz Jarmużek

Items from 1 to 9 out of 9 results

article

Knowability as De Re Modality: A Certain Solution to Fitch Paradox

Tomasz Jarmużek, Krzysztof Krawczyk, Rafał Palczewski

Roczniki Filozoficzne > 2020 > 68 > 4 > 291-313

Poznawalność jako modalność de re: pewne rozwiązanie paradoksu Fitcha 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,...

article

On Some Language Extension of Logic MR: A Semantic and Tableau Approach

Tomasz Jarmużek, Aleksander Parol

Roczniki Filozoficzne > 2020 > 68 > 4 > 345-366

O pewnym językowym rozszerzeniu logiki MR: podejście semantyczne i tabelau 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...

article

Reasoning about Social Phenomena

Tomasz Jarmużek, Fengkui Ju, Piotr Kulicki, Beishui Liao

Bulletin of the Section of Logic > 2021 > 50 > 2 > 125-129

article

Modal Boolean Connexive Logics: Semantics and Tableau Approach

Tomasz Jarmużek, Jacek Malinowski

Bulletin of the Section of Logic > 2019 > 48 > 3 > 213-243

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...

article

Jerzy Łoś Positional Calculus and the Origin of Temporal Logic

Marcin Tkaczyk, Tomasz Jarmużek

Logic and Logical Philosophy > 2019 > 28 > 2 > 259-276

Most accounts, including leading textbooks, credit Arthur Norman Prior with the invention of temporal (tense logic). However, (i) Jerzy Łoś delivered his version of temporal logic in 1947, several years before Prior; (ii) Henrk Hiż’s review of Łoś’s system in Journal of Symbolic Logic was published as early as 1951; (iii) there is evidence to the effect that, when constructing his tense calculi, Prior...

article

Pure Modal Logic of Names and Tableau Systems

Andrzej Pietruszczak, Tomasz Jarmużek

Studia Logica > 2018 > 106 > 6 > 1261-1289

By a pure modal logic of names (PMLN) we mean a quantifier-free formulation of such a logic which includes not only traditional categorical, but also modal categorical sentences with modalities de re and which is an extension of Propositional Logic. For categorical sentences we use two interpretations: a “natural” one; and Johnson and Thomason’s interpretation, which is suitable for some reconstructions...

article

Bayesian Propositional Logic

Tomasz Jarmużek, Mateusz Klonowski, Jacek Malinowski

Bulletin of the Section of Logic > 2017 > 46 > 3/4

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...

article

Bayesian Propositional Logic

Wydawnictwo Uniwersytetu Łódzkiego, Tomasz Jarmużek, Mateusz Klonowski, Jacek Malinowski, more

Bulletin of the Section of Logic > 2017 > 46 > 3-4

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...

article

The Tense Logic for Master Argument in Prior’s Reconstruction

Tomasz Jarmużek, Andrzej Pietruszczak

Studia Logica > 2009 > 92 > 1 > 85-108

In this paper we examine Prior’s reconstruction of Master Argument [4] in some modal-tense logic. This logic consists of a purely tense part and Diodorean definitions of modal alethic operators. Next we study this tense logic in the pure tense language. It is the logic K _t 4 plus a new axiom (P): ‘p Λ G p ⊃ P G p’. This formula was used by Prior in his original analysis of Master Argument. (P) is...

Filter options

Publication date

Set your own date range

INFONA - science communication portal

Search results for: Tomasz Jarmużek

Add recipient

Sending message cancelled

Are you sure you want to cancel sending this message?

Send message

Filter options

Publication date

Date range setting

Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.

Publication language

Keywords

Data set

Journal

Reporting an error / abuse

Sending the report failed

Accessibility options