Search results

Items from 1 to 5 out of 5 results

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

Extended MR with Nesting of Predicate Expressions as a Basic Logic for Social Phenomena

Aleksander Parol, Krzysztof Pietrowicz, Joanna Szalacha-Jarmużek

Bulletin of the Section of Logic > 2021 > 50 > 2 > 205-227

In this article, we present the positional logic that is suitable for the formalization of reasoning about social phenomena. It is the effect of extending the Minimal Realisation (MR) logic with new expressions. These expressions allow, inter alia, to consider different points of view of social entities (humanistic coefficient). In the article, we perform a metalogical analysis of this logic. Finally,...

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

Problem wszechwiedzy logicznej. Krytyka światów nienormalnych i propozycja nowego rozwiązania

Mateusz Klonowski, Krzysztof Krawczyk

Filozofia Nauki > 2019 > 27 > 1(105) > 27-48

In this paper, we bring up the problem of logical omniscience in epistemic logic. One way of avoiding the problem is through Rantala models, where non-normal worlds are introduced. Such models are vulnerable to criticism, as we show. One of many issues that occur is the Bjerring result, which states that incorporating non-normal worlds makes the agent logically incompetent. For this reason, we propose...

article

Distribution Laws in Weak Positional Logics

Marcin TKACZYK

Roczniki Filozoficzne > 2018 > 66 > 3 > 163-179

A formal language is positional if it involves a positional connecitve, i.e. a connective of realization to relate formulas to points of a kind, like points of realization or points of relativization. The connective in focus in this paper is the connective R, first introduced by Jerzy Łoś. Formulas RtA involve a singular name t and a formula A to the effect that RtA is satisfied (true) relative to...

Filter options

Publication date

Set your own date range

Data set

CEJSH (4)
DML (1)

INFONA - science communication portal

Search results

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

Extended MR with Nesting of Predicate Expressions as a Basic Logic for Social Phenomena

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

Problem wszechwiedzy logicznej. Krytyka światów nienormalnych i propozycja nowego rozwiązania

Distribution Laws in Weak Positional Logics

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.

Content availability

Publication language

Keywords

Data set

Reporting an error / abuse

Sending the report failed

Accessibility options