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ę "logika modalna" wg kryterium: Temat


Wyświetlanie 1-14 z 14
Tytuł:
Najkrótsze aksjomaty modalnej logiki Łukasiewicza
The Shortest Axioms of Łukasiewicz’s Modal Logic
Autorzy:
Dywan, Zdzisław
Powiązania:
https://bibliotekanauki.pl/articles/488405.pdf
Data publikacji:
2016
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
aksjomatyzacja
logika modalna
axiomatization
modal logic
Opis:
Pokazujemy, że formuła CLpEqLq aksjomatyzuje logikę modalną Łukasiewicza i nie istnieje krótszy aksjomat dla tej logiki.
We show that the formula CLpEqLq axiomatizes Łukasiewicz’s modal logic and that there exists no shorter axiom for it.
Źródło:
Roczniki Filozoficzne; 2016, 64, 2; 5-9
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Założeniowe systemy normalnych logik modalnych
Natural Deduction Systems of Normal Modal Logics
Autorzy:
Tkaczyk, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/2013342.pdf
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika modalna
normalna logika modalna
dedukcja naturalna
system założeniowy
modal logic
normal modal logic
natural deduction
Opis:
Most normal modal logics have been constructed as axiomatic systems rather than natural deduction. However, a lot of them have Gentzen-style or Kalish-Montague-style counterparts. Unfortunately, very few systems have Słupecki-Borkowski-style natural deduction counterparts. To fill in the gap is an aim of the present paper. The system K is developed as a Leśniewski-Borkowski-style natural deduction system in two ways. Equivalence of the systems is proved. A way is described to develop other normal systems beginning with the given system K.
Źródło:
Roczniki Filozoficzne; 2007, 55, 1; 219-228
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Teodycea a logika modalna. Bogusława Wolniewicza polemika z krytyką teodycei u Pierre’a Bayle’a
Autorzy:
Mirosławski, Mateusz
Powiązania:
https://bibliotekanauki.pl/articles/668025.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:
theodicy
modal logic
possibility
evil
Teodycea
logika modalna
możliwość
zło
Opis:
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.
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
Źródło:
Racjonalia. Z punktu widzenia humanistyki; 2017, 7
2391-6540
2083-9952
Pojawia się w:
Racjonalia. Z punktu widzenia humanistyki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A certain approach to Kripke semantics for normal modal logics
Autorzy:
Bryll, G.
Sochacki, R.
Powiązania:
https://bibliotekanauki.pl/articles/121860.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:
logika modalna
semantyka Kripke
logika czasowa
logika matematyczna
modal logic
Kripke’s semantics
mathematical logic
Opis:
In this paper the authors propose a method of verifying formulae in normal modal logics. In order to show that a formula α is a thesis of a normal modal logic, a set of decomposition rules for any formula is given. These decomposition rules are based on the symbols of assertion and rejection of formulae.
Źródło:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2009, 14; 13-20
2450-9302
Pojawia się w:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Temporalna interpretacja logiki modalnej
Temporal Interpretation of Modal Logic
Autorzy:
Tkaczyk, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/2013148.pdf
Data publikacji:
2008
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika temporalna
logika tensalna
logika modalna
semantyka relacyjna
temporal logic
tense logic
modal logic
relational semantics
Opis:
Temporal interpretation of modal logic consists in replacing possible worlds with temporal states of the world or any time determinates and the accessibility relation with a relation of passage of time. That issue has been raised by A. N. Prior, who was thinking of propositions as things which could change their truth-values (could become true or become false) with the passage of time. Under such interpretation Prior was reading a formula  as: it (is and) will allways be the case that  or: it (is and) has allways been the case that . The formula  should be read respectively. In the present paper the interpretation in question is examined. Its sources are presented and its consequences are analysed. It is claimed, the interpretation to be highly disputable because of its disagreement with physical meaning of temporal statements, established in the special relativity theory.
Źródło:
Roczniki Filozoficzne; 2008, 56, 2; 273-297
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
All splitting logics in the lattice NEXT(KTB:30A)
Autorzy:
Kostrzycka, Z.
Powiązania:
https://bibliotekanauki.pl/articles/121995.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:
logika modalna
ramka Kripkego
klastry rozłączne
modal logic
Kripke’s frome
disjoint clusters
Opis:
We examine a special modal logic which is a normal extension of the Brouwer modal logic. It is determined by linearly ordered chains of clusters and the relation between clusters is reflexive and symmetric. The appropriate axiomatization of this logic is proposed in the papers [11] and [12]. There is also proved that all normal extensions of the investigated logic are Kripke complete and have f.m.p. Unfortunately, the cardinality of this family is continuum [13]. One may imagine that the structure of the lattice of these extensions is immensely complex. Then we use the technics of splitting to characterize this lattice and to describe some quite simple fragments. We characterize all the logics that split the lattice.
Źródło:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2016, 21; 31-61
2450-9302
Pojawia się w:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zagadnienie konstruowalności logik modalnych i relewantnych
The Problem of Possibility of Construction of Modal and Relevance Logics
Autorzy:
Januszewski, Ernest
Powiązania:
https://bibliotekanauki.pl/articles/2015846.pdf
Data publikacji:
2020-10-15
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika modalna
logika relewantna
filozofia logiki
reguła Gödla
reguła koniecznościowania
modal logic
relevance logic
philosophy of logic
Gödel's rule
rule of necessitation
Opis:
In the paper various ways are shown of constructing both modal and relevance logics. An attempt is undertaken of interpreting modal functors occurring in these logics. In the discussion special attention is paid to logical necessity. Connection of this necessity and tautologies of the classical sentential calculus is pointed to. Next, some intuitive considerations are quoted that resulted in accepting or refusing certain theses or rules on the ground of both modal and relevance logics. Especially much attention is paid to Gödel's rule. It is stated that at the moment when modal and relevance logics were constructed satisfactory philosophical considerations were not made. In particular, it was not decided if the constructed systems give correct formalization of modal notions, and if they may be used for formalization of deductive ways of infering.
Źródło:
Roczniki Filozoficzne; 2003, 51, 1; 85-112
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ł
Tytuł:
Bóg, modalność, esencjalizm. Pewna wersja szkotystycznego dowodu tezy o istnieniu Boga
God, Modality and Essentialism. A Version of the Scotist Proof for God’s Existence
Autorzy:
Tkaczyk, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/2013049.pdf
Data publikacji:
2009
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
Duns Szkot
dowód na istnienie Boga
logika modalna
esencjalizm
Duns Scotus
proof for God’s existence
modal logic
essentialism
Opis:
A proof for God’s existence, inspired by Duns Scotus’s Tractatus de primo principio, is analyzed. The conclusion is based on three premises arranged in the matrix of a specific modal logic. The premises are: 1. it is possible for the world to be created by God; 2. if the world is created by God, then God exists; 3. if God exists, then God exists necessarily. In comparison to the original Scotus’s work the concept of essential order has been removed and replaced with a concept of creation. Modal expressions of the proof have been analyzed with an application of essentialism of Aristotle and Ibn Sina – the version of essentialism accepted by Scotus. Scotus’s underlying modal logic has been reconstructed and discussed in two versions: 1. as a modal logic with one pair of natural modalities; 2. as a multimodal logic with two pairs of modalities – natural and logical. The concept of natural modality is based on the essentialism discussed, the concept of logical modality is based on Scotus’s idea of non repugnantia terminorum.
Źródło:
Roczniki Filozoficzne; 2009, 57, 1; 231-256
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O logice modalnej
On Modal Logic
Autorzy:
Kiczuk, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/2015670.pdf
Data publikacji:
2004
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
konieczność logiczna
możliwość logiczna
logika modalna
funktor modalny
ścisła implikacja
logical necessity
logical possibility
modal logic
modal operator
strict implication
Opis:
The paper appreciates six conditions which, according to G.E. Hughes and M.J. Cresswell, must be respected by those formal systems which aspire to be systems of modal logic. There are few such systems. The sense of modal functors “it is necessary that,” “it is possible that,” in this type of systems is in no way made precise. The paper undermines the validity of some conditions shown by Hughes and Cresswell. It outlines the way by which to construct a system of modal logic in which the functor of logical necessity and logical possibility would be unambiguously characterised by methods of contemporary logic.
Źródło:
Roczniki Filozoficzne; 2004, 52, 1; 199-213
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Relatywizm wyrażeń „autorytet niepodważalny” i „autorytet podważalny”
Relativism expressions „authority to challenge” and „authority of indisputable”
Autorzy:
Karaskiewicz, Katarzyna
Powiązania:
https://bibliotekanauki.pl/articles/2142662.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet w Białymstoku. Wydawnictwo Uniwersytetu w Białymstoku
Tematy:
authority to challenge
authority of indisputable
hypostasis error
language competence
bivalent modal logic
autorytet podważalny
autorytet niepodważalny
błąd hipostazy
kompetencja językowa
logika modalna dwuwartościowa
Opis:
I will present my considerations in the context of classic bivalent modal logics, and on the direct basis I made two expressions “authority to challenge" and "authority of indisputable". From the point of view of semantics, they are least understood. The reason is that every external authority, regardless of how it will be called (eg tradition, person, institution, charismatic etc., etc.) a priori is a contestable or irrefutable authority. It results from time relativism, relativism of the place, relativism of language competence and relativism of knowledge. Therefore, I argue that all evaluation should be formulated in problematic sentences about the possibility of bilateral.
Źródło:
IDEA. Studia nad strukturą i rozwojem pojęć filozoficznych; 2018, 30/1; 122-135
0860-4487
Pojawia się w:
IDEA. Studia nad strukturą i rozwojem pojęć filozoficznych
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ł:
Towards leibnizian possibility. Formal frame of modal theory of individual concepts
Autorzy:
Świętorzecka, Kordula
Powiązania:
https://bibliotekanauki.pl/articles/430896.pdf
Data publikacji:
2013
Wydawca:
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:
formal ontology
Leibniz Gottfried Wilhelm
theory of concepts
possible worlds semantics
modal free logic
ontologia formalna
Leibniz Godfryd Wilhelm
teoria pojęć
semantyka światów możliwych
modalna logika wolna
Opis:
In the presented analyses we propose a formal complement to a certain version of the semantics of possible worlds inspired by Leibniz’s ideas and provide an adequate logic of it. As the starting point we take the approach of Benson Mates (Leibniz on possible worlds). Mates refers to Leibniz’ philosophy, but also uses tools of contemporary semantics of possible worlds and elaborates on an original conception of predication due to which possible worlds can be identified with collections of certain concepts, and not individuals. We complete a fragmentary description given by Mates in order to analyze if his conception allows for the establishment of this specific idea of a possible world. Our first step is to define a notion of the individual concept and describe possible world semantics in which possible worlds consist of individual concepts of compossible individuals (s-worlds). Our second step is to choose some version of modal free logic with the identity (S5MFLID), which is complete in our reformulation of Mates’ semantics. The connections between standard interpretation of S5MFLID and semantics inspired by Mates show that our logic does not distinguish s-worlds from i-worlds – counterparts of s-worlds that are collections of individuals.
Źródło:
Studia Philosophiae Christianae; 2013, 49, 3; 71-84
0585-5470
Pojawia się w:
Studia Philosophiae Christianae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
„Normy wirtualne” a obowiązki realne. O instrumentalnym wynikaniu norm i jego konsekwencjach dla prakseologicznej prawidłowości zmian w prawie
„Virtual Norms” but Real Obligations. On Instrumental Inference of Legal Norms and its Consequences for Praxeological Correctness of Changes in Law
Autorzy:
Zajęcki, Maurycy
Powiązania:
https://bibliotekanauki.pl/articles/2082859.pdf
Data publikacji:
2021
Wydawca:
Akademia Leona Koźmińskiego w Warszawie
Tematy:
teoria prawa
normy prawne
legislacja
inferencja modalna
logika norm
vacatio legis
Trybunał Konstytucyjny
theory of law
legal norms
legislation
modal inference
logic of norms
Constitutional Tribunal
Opis:
Artykuł podejmuje problematykę inferencji modalnej: jeśli adresaci normy mają nakazane coś czynić, zobowiązani są także zrealizować stany rzeczy, które są warunkiem niezbędnym dla zrealizowania zasadniczego obowiązku; analogicznie, są oni zobowiązani do powstrzymania się od zrealizowania stanów rzeczy, które są warunkiem wystarczającym, by zasadniczy obowiązek nie mógł być zrealizowany. Te typy inferencji są nazywane w polskiej teorii prawa „wynikaniem instrumentalnym”. Twierdzi się w artykule, że czasami normy instrumentalne muszą być zrealizowane (inaczej: muszą być podjęte „czynności wstępne”) zanim zrealizowany zostanie obowiązek zasadniczy. Prawodawca pomaga adresatom poprzez oznaczenie odpowiedniej vacatio legis. To może prowadzić do dalszych paradoksalnych konsekwencji – do kreacji „norm wirtualnych” – norm, które nigdy nie wchodzą w życie, ale ich adresaci są zobowiązani do podjęcia czynności przygotowawczych. Artykuł stara się opisać teoretycznie to zjawisko. W konkluzji postawiona zostaje jedna hipoteza dogmatyczna: czynności przygotowawcze, które nałożyły na adresatów realny ciężar czynności przygotowawczych, mogą rodzić po stronie organów władzy publicznej obowiązek kompensacyjny (art. 4171 § 1 k.c.), jeśli obowiązek zasadniczy okaże się być „wirtualny”. W Polsce organem mogącym stwierdzić zajście opisanej przesłanki jest Trybunał Konstytucyjny.
The article deals with the problem of modal inference: if some addressees are obliged to do something, they are also obliged to realize states of affairs which constitute a necessary condition for the main obligation. Likewise, they are obliged to refrain from realizing states of affairs which constitute a sufficient condition for the action contradicting the main obligation. This type of inference is called in Polish legal theory “instrumental inference”. It is argued in the article that sometimes instrumental norms in law must be fulfilled (“preparatory actions” must be undertaken) before the main obligation is fulfilled. Lawgiver helps addressees of norms by applying vacatio legis. It can lead to new paradoxical consequences – to the creation of “virtual norms” – norms which never come into force, but addressees are obliged to undertake preparatory actions. The article presents theoretical description of this phenomenon. In conclusion one dogmatic claim is proposed: there is a potential way (art. 4171 § 1 k.c.) of getting from public officials compensation for preparatory actions which caused burden for addressees, when the main obligation turned out to be “virtual”. In Poland this procedure should be based on the rulings of the Constitutional Tribunal.
Źródło:
Krytyka Prawa. Niezależne Studia nad Prawem; 2021, 13, 2; 227-247
2080-1084
2450-7938
Pojawia się w:
Krytyka Prawa. Niezależne Studia nad Prawem
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-14 z 14

    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