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ę "formal ontology" wg kryterium: Temat


Wyświetlanie 1-2 z 2
Tytuł:
O stosowaniu narzędzi i struktur formalnych w filozofii. Ontologia formalna. Ontologia topologiczna
On the use of formal tools and structures in philosophy. Formal ontology and topological ontology
Autorzy:
Kaczmarek, Janusz
Powiązania:
https://bibliotekanauki.pl/articles/431346.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:
formal philosophical tools
formal structures
Cracow circle
formal ontology
topological ontology
narzędzia i metody formalne w filozofii
kraty
koło krakowskie
ontologia formalna
ontologia topologiczna
Opis:
According to Aristotle, logic is a tool for philosophy. After nearly two and a half thousand years, we can say that not only logic, but also other formal tools and structures (algebra, topology, branched proof, induction) are tools for philosophical and also scientific consideration. Jan F. Drewnowski supported the use of formal tools in philosophy. In this article I describe Drewnowski’s position in relation to the formal study of philosophical problems (using logic and mathematical concepts). I also present contemporary formal solutions to certain philosophical problems, which can be understood as a justification for Drewnowski’s anticipation of the „power of formalism” and which in his time -were not always well received.
Za Arystotelesem logika postrzegana jest jako narzędzie filozofii. Po blisko 2 i pół tysiąca lat dostrzegamy, że nie tylko logika, ale także różne formalne narzędzia i struktury są narzędziami namysłu filozoficznego – i również – naukowego. Zwolennikiem takiego postrzegania sprawy był Jan F. Drewnowski. Narzędzia, o których mówię w tytule, to różnego rodzaju techniki i reguły wypracowane w naukach formalnych. Zaliczyć do nich możemy np. regułę modus ponens czy technikę dowodu rozgałęzionego. Z kolei przez strukturę formalną rozumiem pewien obiekt formalny np. algebrę Boole’a albo przestrzeń topologiczną, które pozwalają modelować przedmioty różnych dziedzin naukowych, w tym filozofii. W niniejszym artykule zarysuję główne idee Drewnowskiego (i tzw. Koła Krakowskiego na temat konieczności stosowania współczesnych jemu dokonań logicznych i matematycznych oraz pokażę, w jaki sposób ontologię Wittgensteina można modelować w strukturach krat (por. Wolniewicz) i w jaki sposób przestrzeń topologiczna pozwala na analizę tak różnych pojęć filozoficznych jak możliwy świat czy monada. Przykłady te posłużą do argumentacji za prawdziwością metodologicznych tez Drewnowskiego, że (1) stosowanie logiki symbolicznej (oraz różnych struktur formalnych) służy uściślaniu dowolnych dziedzin wiedzy (w tym filozofii) i – jak sądzę – (2) nie narusza bogactwa treści właściwych danej dziedzinie.
Źródło:
Studia Philosophiae Christianae; 2019, 55, 2; 103-124
0585-5470
Pojawia się w:
Studia Philosophiae Christianae
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-2 z 2

    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