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ę "predicate calculus" wg kryterium: Temat


Wyświetlanie 1-1 z 1
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ł
    Wyświetlanie 1-1 z 1

    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