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ę "Świętorzecka, Kordula" wg kryterium: Autor


Wyświetlanie 1-8 z 8
Tytuł:
O stosowalności niektórych modalnych reguł inferencji w rozumowaniach pozalogicznych
On the Application of Some Modal Rules of Inference to Non-logical Reasonings
Autorzy:
Świętorzecka, Kordula
Powiązania:
https://bibliotekanauki.pl/articles/966821.pdf
Data publikacji:
2002-03-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The presented paper takes up the attempt to analyse and specify the suspicion that some modal rules of inference are paralogical in application to non-logical reasonings (s.c. modal fallacy). The considerations have been limited to modal prepositional calculi: K and S5, which are intended to be a formal base of these non-logical reasonings - proofs of so called specific thesis on the grounds of the particular specific theories. Pointing out the properties of being permitted, being valid and being derivable in case of inferences rules and also semantical relations of point, structure, frame and inferential consequence in standard semantics of possible worlds, enables to define two kinds of paralogism: point and structural. Justification of the suspicion of modal fallacy occurrence in the case of a given inference rule, depends on pointed metalogical properties of this rule and also on what kind of the notion of paralogism is being discussed. It appears that when a given rule is paralogical only pointly (and not structurally), the sufficient condition of avoiding modal fallacy is to consider the specific axioms of the given specific theory as the sentences which are structurally true (structural truth is of course not equivalent to logical truth). If we want to treat these axioms as sentences which are pointly true, we have to eliminate pointly paralogical rules. In this case it is enough to construct such axiomatisation of calculi K and S5, in which we use the notion of modal closure (it eliminates the primitive rule of Goedel and all rules derivable from it - rules which are structurally but not pointly correct).
Źródło:
Filozofia Nauki; 2002, 10, 1; 109-138
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
LCG - logika zmian
The LCG Logic of Changes
Autorzy:
Świętorzecka, Kordula
Powiązania:
https://bibliotekanauki.pl/articles/968507.pdf
Data publikacji:
2007-03-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The subject of the presented work is the analysis of situations changeability in frame of constructed logic LCG. In the suggested interpretation, substantial change (substantial movement), which consists of the disappearing of a certain substance a1 and the coming into being of substance a2, for which a1 is an active potentia, is understood in the following manner - the elementary fact: essence a1 exists becomes fiction and a new fact arises: essence a2 exists, which is enabled by the previous one. In the language of our formalisation this "transition" from fact to fiction, which occurs in the case of the situation: essence a1 exists, described as C-change. The second component of substantial movement (or rather its situational equivalent) is the occurring of a new fact: essence a2 exists, which is possible under the condition of an earlier occurring of the fact: essence a1 exists. We describe this aspect of movement as G-change, which is an expansion of a set of formulas by a new elementary sentence and expressions in which this sentence occurs. Within the range of the LCG calculus operators C and G obtain an interpretation wider than the one which can be determined upon the basis of the Aristotelian theory of change expressed in terms of situational ontology. Semantical and syntactical characteristics of the LCG logic gives the possibility to compare it with such known calculi of changes like sentential systems of von Wright, Clifford and Wajszczyk.
Źródło:
Filozofia Nauki; 2007, 15, 1; 19-46
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ontologiczny dowód Gödla z ograniczoną redukcją modalności
Autorzy:
Świętorzecka, Kordula
Powiązania:
https://bibliotekanauki.pl/articles/705971.pdf
Data publikacji:
2012-09-01
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
dowód ontologiczny
K. Gödel
dowód na istnienie Boga
teodycea,formalizacja
Opis:
Prezentowane rozważania są efektem poszukiwania możliwie słabej podstawy formalnej dla modalnej wersji ontologicznego argumentu na konieczne istnienie Boga, naszkicowanego przez K. Gödla. Dotychczasowe modalne rekonstrukcje notatki Gödla Ontologischer Beweis (1970) najczęściej opierają argumentację Gödla na różnych kwantyfikatorowych rozszerzeniach logiki modalnej S5 lub B. System S5, jako podstawa formalna zamierzona przez samego autora, umożliwia określoną konstrukcję argumentu ontologicznego, jednak z drugiej strony ten sposób rozumienia modalności może być uważany także za źródło słabości opartej na nim teorii Absolutu - redukcja modalności S5 (i B) może dawać okazję do formułowania krytyki w stylu Gaunilona. Standardowe rozszerzenie S5 lub B do logiki kwantyfikatorowej jest uwikłane w dalsze komplikacje: w odpowiednio rozbudowanej standardowej semantyce światów możliwych rozstrzyga się, że modele tych logik mają stałe uniwersum indywiduów. Tymczasem to rozstrzygnięcie nie ma związku z zasadniczym problemem rozważanym w formalizmie Gödla. W proponowanej wersji argumentu Gödla ograniczam redukcję modalności S5 do wybranego specyficznego kontekstu dotyczącego istnienia Absolutu. Logiką, która pozwala zachować konstrukcję argumentacji Gödla, okazuje się system S4. Otrzymaną teorię wiążę z semantyką światów możliwych z możliwie zmiennymi uniwersami. Istnienie indywiduów wyrażam za pomocą kwantyfikatora Ǝ interpretowanego aktualistycznie, bez użycia pierwotnego predykatu istnienia.
Źródło:
Przegląd Filozoficzny. Nowa Seria; 2012, 3; 21-34
1230-1493
Pojawia się w:
Przegląd Filozoficzny. Nowa Seria
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ł:
O modalnej naturze argumentu w. Anzelma. Uwagi do artykułu „Logika modalna a dowód ontologiczny” Andrzeja Biłata
On the Modal Nature of St. Anselm's Argument. Remarks on Andrzej Biłat's Paper Modal Logic vs Ontological Argument
Autorzy:
Świętorzecka, Kordula
Powiązania:
https://bibliotekanauki.pl/articles/968577.pdf
Data publikacji:
2014-03-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The paper examines the justification of two theses put forward in the article Modal Logic vs Ontological Argument by Andrzej Biłat: (1) the Anselmian ontological argument does not essentially engage modalities, and its force is not dependent on any specific logical modal laws (but only on classical logic); (2) the only source of modal force of the ontological proof is the Leibnizian theory of perfections. Biłat considers Hartshorne's version of the ontological proof and proposes his own formalization based on classical logic alone. We compare the presented theories and their formal background. We follow the proposed justification of Biłat's main opinion, point out its problematic (and not valid) fragments, and discuss its formal and material correctness. In conclusion, we consider the known possibilities of nontrivial application of modal logics to the analysis of St. Anselm's argument and some of its modern versions.
Źródło:
Filozofia Nauki; 2014, 22, 1; 131-137
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wprowadzenie. U podstaw syntezy wiedzy. O szlifowaniu narzędzi myślenia wedle Jana Franciszka Drewnowskiego
Introduction. At the foundation of knowledge synthesis. On grinding tools of thought according to Jan Franciszek Drewnowski
Autorzy:
Adamczyk, Michał
Świętorzecka, Kordula
Powiązania:
https://bibliotekanauki.pl/articles/431285.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Źródło:
Studia Philosophiae Christianae; 2019, 55, 2; 5-8
0585-5470
Pojawia się w:
Studia Philosophiae Christianae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Formal Methods and Science in Philosophy: Introduction to the Special Issue
Autorzy:
Blackburn, Patrick
Kovač, Srećko
Świętorzecka, Kordula
Powiązania:
https://bibliotekanauki.pl/articles/750028.pdf
Data publikacji:
2020
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
methods and science in philosophy
Opis:
Introduction to the Special Issue.
Źródło:
Bulletin of the Section of Logic; 2020, 49, 2
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metody urabiania definicji. Na marginesie artykułu<i>O filozofii analitycznej</i>Andrzeja Dąbrowskiego
Autorzy:
Brożek, Anna
Jadacki, Jacek
Świętorzecka, Kordula
Powiązania:
https://bibliotekanauki.pl/articles/705867.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
definicja enumeracyjna
definicja konotacyjna
filozofia analityczna
Opis:
W praktyce naukotwórczej miewamy do czynienia z jedną z dwóch następujących sytuacji: wiedząc, że dana klasa przedmiotów stanowi denotację jakiejś nazwy, ustalamy jej konotację (i w ten sposób konstruujemy defi nicję konotacyjną), lub mając ustaloną konotację, próbujemy wyznaczyć przedmioty, którym przysługują własności na nią się składające (i w ten sposób konstruujemy defi nicję enumeracyjną). Zdarzają się jednak wyrażenia, dla których z jakichś powodów nie potrafi my podać pełnej konotacji i denotacji – inaczej mówiąc, nie potrafi my podać defi nicji równościowej (normalnej) tych wyrażeń. Stoją przed nami wtedy dwie możliwości: (a) zdecydować się na defi nicję cząstkową – lub (b) zmodyfi kować zastane znaczenie i zamiast równościowej defi nicji analitycznej skonstruować równościową defi nicję syntetyczną. Dlatego kluczową sprawą, którą powinna rozstrzygnąć osoba przystępująca do zdefi niowania jakiejś nazwy, jest to, czy chce zrekonstruować jej defi nicję analityczną, czy też chce skonstruować jej defi nicję syntetyczną. Całkowicie odmienne to zadania i różnymi rządzące się regułami. Ale jeszcze ważniejsze jest, aby defi niujący miał pełną świadomość tego, którą mianowicie nazwę defi niuje. Co innego np. defi niować „fi lozofi ę analityczną”, co innego „fi lozofa analitycznego”, a co innego jeszcze „analityczny tekst fi lozofi czny”. Bywa, że brak precyzji w takiej sprawie prowadzi do błędu przesunięcia kategorialnego. Wskazujemy także inne możliwe uchybienia będące skutkiem nieprzestrzegania niektórych znanych prawideł teorii defi nicji.
Źródło:
Przegląd Filozoficzny. Nowa Seria; 2012, 1; 127-137
1230-1493
Pojawia się w:
Przegląd Filozoficzny. Nowa Seria
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-8 z 8

    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