Search results

1

Najkrótsze aksjomaty modalnej logiki Łukasiewicza

100%

Dywan Z.

Roczniki Filozoficzne

|

2016

|

vol. 64

|

issue 2

5-9

PL

Pokazujemy, że formuła CLpEqLq aksjomatyzuje logikę modalną Łukasiewicza i nie istnieje krótszy aksjomat dla tej logiki.

EN

We show that the formula CLpEqLq axiomatizes Łukasiewicz’s modal logic and that there exists no shorter axiom for it.

2

Teodycea a logika modalna. Bogusława Wolniewicza polemika z krytyką teodycei u Pierre’a Bayle’a

63%

Mirosławski M.

Racjonalia. Z punktu widzenia humanistyki

|

2017

|

vol. 7

EN

The essay aims at presenting original ideas of Bogusław Wolniewicz in the field of modal logic, which improve the traditional theodicy, criticized by Pierre Bayle. The classical theodicy attempts to reconcile divine omnipotence and God’s goodness. According to classical theodicy both of these elements can be reconciled, because evil is not the work of God, but a work of man – freedom is in fact necessary for a man so that he could do good, but to do good, a person automatically has to be able to do the evil (understood morally, not physically). Bayle’s argument says that freedom implies the possibility of evil and it does not imply its existence, and this means that evil can be avoided even with the assumption of freedom. Wolniewicz tries to refute that argument. He quotes a little known definitions of possibility derived from the logic of Megarian. It turns out to be an inspiration for him to introduce an original definition of possibility – “what is possible = what happened or what will happen in the future.” With this interpretation of possibility classic theodicy seems to be efficient.

PL

Referat ma na celu zaprezentowanie oryginalnych pomysłów Bogusława Wolniewicza z dziedziny logiki modalnej, które służą usprawnieniu tradycyjnej teodycei, krytykowanej przez Pierre'a Bayle'a. Klasyczna teodycea stara się pogodzić boską wszechmoc z bożą dobrocią. Według klasycznej teodycei oba te elementy dają się pogodzić, ponieważ zło nie jest dziełem Boga, lecz człowieka – wolność jest bowiem konieczna dla człowieka, aby ten mógł czynić dobro, ale aby czynić dobro, człowiek automatycznie musi móc czynić także zło (rozumiane moralnie, nie fizycznie). Argumentacja Bayle'a mówi natomiast, że choć wolność implikuje możliwość zła, to nie implikuje jednak jego istnienia, a to oznacza, że zła można uniknąć nawet przy założeniu wolności. Wolniewicz stara się obalić tę argumentację. W tym celu przywołuje on mało znane definicje możliwości wywodzące się z logiki megarejskiej, które dostarczają inspiracji do wprowadzenia oryginalnej definicji możliwości – „to co możliwe = to, co się zdarzyło lub to co zdarzy się w przyszłości". Przy takiej interpretacji modalnej teodycea klasyczna wydaje się być sprawna

3

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

54%

Jarmużek T., Krawczyk K., Palczewski R.

Roczniki Filozoficzne

|

2020

|

vol. 68

|

issue 4

291-313

EN

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.

PL

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

Refine search results

2 Roczniki Filozoficzne

1 Racjonalia. Z punktu widzenia humanistyki

1 Dywan Z.

1 Jarmużek T.

1 Krawczyk K.

1 Mirosławski M.

1 Palczewski R.

1 2020

1 2017

1 2016

Najkrótsze aksjomaty modalnej logiki Łukasiewicza

Teodycea a logika modalna. Bogusława Wolniewicza polemika z krytyką teodycei u Pierre’a Bayle’a

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