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ę "semantyka formalna" wg kryterium: Temat


Wyświetlanie 1-3 z 3
Tytuł:
Causal and Functional Determination vs. Foreknowledge about the Future
DETERMINACJA KAUZALNA I FUNKCJONALNA VS. PRZEDWIEDZA O PRZYSZŁOŚCI
Autorzy:
JADACKI, Jacek J.
Powiązania:
https://bibliotekanauki.pl/articles/488539.pdf
Data publikacji:
2018-11-04
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
antinomy
future contigents
formalization
classical predicate calculus
formal semantics
ontology
antynomia
futura contingentia
formalizacja
semantyka formalna
ontologia
Opis:
The author of the paper critically analyzes a quasi-theory of future contingents (PFC) given by Marcin Tkaczyk and proposes his own explication of its theses and terms. The author makes it by introducing operational definitions of temporal and modal concepts, distinguishing between the causal and functional determination, discussing the status of the principle of bivalence, and re¬placing Tkaczyk’s theses by their new formulations. As a result, the author states, among other things, that (contrary to Tkaczyk) there is no contradiction between the thesis about the opened fu¬ture and the thesis about divine omniscience, because it requires the causal (but not functional as it is a case) determination between a true proposition and its determined fact. The author also shows that Tkaczyk’s examples of the retroactive causes are not an accurate solution of the anti-nomy because they are, at most, the examples of the factors which change the picture of the past but not the past itself.
Autor artykułu krytycznie analizuje sformułowaną przez Marcina Tkaczyka pseudoteorię przy¬szłych zdarzeń przygodnych (PFC) oraz proponuje własną eksplikację jej tez i terminów. Czyni to poprzez wprowadzenie operacyjnych definicji pojęć temporalnych i modalnych, roz-różnienie między determinacją kauzalną a determinacją funkcjonalną, rozważenie statusu zasady dwuwartościowości oraz zastąpienie tez Tkaczyka ich nowymi sformułowaniami. W rezultacie au¬tor (przeciwnie niż jego Adwersarz) stwierdza, między innymi, że nie zachodzi sprzeczność między tezą o otwartości przyszłości a tezą o wszechmocy Boga, ponieważ sprzeczność ta zacho¬dziłaby wyłącznie w przypadku kauzalnej, a nie (jak faktycznie jest) funkcjonalnej determinacji między prawdziwym zdaniem a faktem, którego ono dotyczy. Autor pokazuje również, że poda¬wane przez Tkaczyka przykłady retroaktywnej przyczynowości nie stanowią właściwego rozwią¬zania tytułowej antynomii, ponieważ są one przykładami czynników, które co najwyżej zmieniają obraz przeszłości, a nie przeszłość samą.
Źródło:
Roczniki Filozoficzne; 2018, 66, 4; 81-98
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On the Representation if States of Affairs in the Antinomy of Future Contingents
O REPREZENTACJI STANÓW RZECZY W ANTYNOMII FUTURA CONTINGENTIA
Autorzy:
GARBACZ, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/488377.pdf
Data publikacji:
2018-11-04
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
antinomy
future contigents
formalization
classical predicate calculus
formal semantics
ontology
antynomia
futura contingentia
formalizacja
semantyka formalna
ontologia
Opis:
The paper is a comment on the formalization of the antinomy of futura contigentia in the form of a (inconsistent) theory formulated by Marcin Tkaczyk in the language of classical pre-dicate calculus. I argue that some features of the formalization in question are contro¬versial from the viewpoint of formal semantics and ontology, and suggest two ways of removing some of those controversies.
Artykuł jest komentarzem do formalizacji antynomii futura contigentia w postaci (sprzecz-nej) teorii sformułowanej przez Marcina Tkaczyka w języku klasycznej logiki predykatów. Argu¬men¬tuję w nim, że formalizacja ta posiada pewne kontrowersyjne, z punktu widzenia ontologii i semantyki formalnej, własności oraz sugeruję dwa sposoby melioracji niektórych z tych kontrowersji.
Źródło:
Roczniki Filozoficzne; 2018, 66, 4; 55-80
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ł
    Wyświetlanie 1-3 z 3

    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