Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "logical ontology" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-3 z 3
    Tytuł:
    O formalnej ontologii bytu i czasu
    On the Formal Ontology of Being and Time
    Autorzy:
    BIŁAT, Andrzej
    Powiązania:
    https://bibliotekanauki.pl/articles/488443.pdf
    Data publikacji:
    2018-03-26
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    pojęcia ontologiczne
    ontologia logiczna
    eksplikacyjna ontologia formalna
    empiryczna ontologia formalna
    monadyczna logika drugiego rzędu
    czas wypełniony
    świat realny
    ontological notions
    logical ontology
    explicative formal ontology
    empirical formal ontology
    monadic second order logic
    filled time
    real world
    Opis:
    W artykule pojęcie teorii ontologicznej zostało zdefiniowane zgodnie z ogólnymi zasadami wywodzącymi się z metaontologii Arystotelesa. Sformułowano problem struktury ontologii: Jakie są główne metodologiczne typy zaksjomatyzowanych teorii ontologicznych i jakie podstawowe relacje zachodzą między nimi? Zauważono, że zarówno w tradycyjnej, jak i we współczesnej filozofii bytu da się wyróżnić trzy odmienne idee formalnej ontologii: logicznej, eksplikacyjnej i empirycznej. Cel pracy jest dwojaki: 1) wskazanie jednolitej koncepcji formalnej ontologii uwzględniającej owe idee i dostarczającej rozwiązania problemu struktury ontologii oraz 2) zastosowanie wskazanej koncepcji w konstrukcji podstawowych przykładów teorii bytu i czasu. Artykuł składa się z następujących sekcji: Wprowadzenie. 1.1. Trzy koncepcje ontologii formalnej. 1.2. O ontologii logicznej. 1.3. O eksplikacyjnej ontologii formalnej. 2.1. Monadyczna teoria identyczności i należenia. 2.2. Eksplikacyjna teoria czasu wypełnionego. 2.3. W stronę empirycznej ontologii świata realnego. Zakończenie.
    In the paper the concept of ontological theory is defined according to the general principles of Aristotelian metaontology. The following question concerning the structure of ontology is formulated: What are the main methodological types of axiomatic ontological theories and what basic relationships occur between them? It is noted that there are three distinct ideas of formal ontology in both traditional and analytic philosophy: logical, explicative, and empirical ontology. The aim of the paper is twofold: 1) to indicate a homogeneous concept of formal ontology that takes into account these ideas and provides a solution to the question of the structure of ontology, and 2) to use this concept for the construction of basic examples of theories of being and time. The paper consists of the following sections: Introduction. 1.1 Three concepts of formal ontology. 1.2 On logical ontology. 1.3 On explicative formal ontology. 2.1 Monadic second order theory of identity and membership. 2.2 Explicative theory of filled time. 2.3 Towards the empirical ontology of real world. Conclusion
    Źródło:
    Roczniki Filozoficzne; 2018, 66, 1; 5-32
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Language and Idealism
    Autorzy:
    Marsonet, Michele
    Powiązania:
    https://bibliotekanauki.pl/articles/1968768.pdf
    Data publikacji:
    2021-01-01
    Wydawca:
    Academicus. International Scientific Journal publishing house
    Tematy:
    language
    philosophy of language
    metaphysics
    ontology
    epistemology
    logical empiricism
    Opis:
    In the philosophical inquiry adopted by logical empiricists, analysis of scientific language becomes something similar to a metaphysical endeavor which is meant to establish the bounds of sense, and this stance may be easily traced back to Wittgenstein’s Tractatus Logico-Philosophicus. On the other hand, the analytic tradition transferred this conception to the analysis of ordinary language, and this move, eventually, was able to restore the confidence of many philosophers in their own work. After all they were doing something important and worthwhile, that is to say, something no one else was doing, since linguists are certainly concerned with language, but from quite a different point of view. At this point we may well ask ourselves: What is wrong with this kind of approach, given the present crisis of the analytic tradition and the growing success of the so-called postanalytic thought? At first sight it looks perfectly legitimate and, moreover, it produced important results, as anybody can verify just reading the masterpieces of contemporary analytic philosophy. To answer the question: What is wrong?, we must first of all take into account language itself and check what it is meant to be within the analytic tradition. This will give our question a clear answer. We have to verify, furthermore, what kind of knowledge philosophy needs to be equipped with if it wants to preserve its autonomy. The logical positivists clearly claimed in their program that there is no synthetic a priori knowledge such as the one envisioned by Immanuel Kant. There is, however, an analytic and a priori knowledge which is supplied by mathematics and logic alone. Within this field, the techniques of contemporary formal logic are exalted because they allow us to build artificial languages which - at least theoretically - eliminate the ambiguities of everyday speech.
    Źródło:
    Academicus International Scientific Journal; 2021, 12, 23; 156-177
    2079-3715
    2309-1088
    Pojawia się w:
    Academicus International Scientific Journal
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    What is a good formalization?
    Jak tworzy się dobre formalizacje?
    Autorzy:
    Wójtowicz, Anna
    Powiązania:
    https://bibliotekanauki.pl/articles/2097146.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    formalization
    ontology of situations
    lattice of elementary situations
    logical dimension
    states of affairs
    formalizacja
    ontologia sytuacji
    krata sytuacji elementarnych
    wymiar logiczny
    stan rzeczy
    Opis:
    Formalizacja danego zbioru przekonań wyrażonych w pewnym języku polega na przekładzie ich na zdania innego języka. Dobra formalizacja charakteryzuje się tym, że język przekładu jest dobrany właściwie, a przełożone zdania oddają wiernie sens zdań oryginalnych. Na przykładzie ontologii sytuacji pokazuję, jak doskonale rozwiązywał problem formalizacji Profesor Bogusław Wolniewicz.
    Źródło:
    Przegląd Filozoficzny. Nowa Seria; 2018, 3; 175-188
    1230-1493
    Pojawia się w:
    Przegląd Filozoficzny. Nowa Seria
    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