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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-12 z 12
    Tytuł:
    Towards a Formal Ontology of Information. Selected Ideas of K. Turek
    Autorzy:
    Krzanowski, Roman
    Powiązania:
    https://bibliotekanauki.pl/articles/690802.pdf
    Data publikacji:
    2016
    Wydawca:
    Copernicus Center Press
    Tematy:
    information
    formal ontology of information
    set theory
    form-matter complex
    substance
    structures
    relations
    Opis:
    There are many ontologies of the world or of specific phenomena such as time, matter, space, and quantum mechanics1. However, ontologies of information are rather rare. One of the reasons behind this is that information is most frequently associated with communication and computing, and not with ‘the furniture of the world’. But what would be the nature of an ontology of information? For it to be of significant import it should be amenable to formalization in a logico-grammatical formalism. A candidate ontology satisfying such a requirement can be found in some of the ideas of K. Turek, presented in this paper. Turek outlines the ontology of information conceived of as a part of nature, and provides the ‘missing link’ to the Z axiomatic set theory, offering a proposal for developing a formal ontology of information both in its philosophical and logicogrammatical representations.
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2016, 61; 23-52
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    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ł:
    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ł:
    Modelowanie dynamicznych zjawisk w planowaniu przestrzennym z wykorzystaniem ontologii formalnych
    Modeling of dynamic phenomena in spatial planning with the use of formal ontology
    Autorzy:
    Łukowicz, J.
    Iwaniak, A.
    Strzelecki, M.
    Kaczmarek, I.
    Powiązania:
    https://bibliotekanauki.pl/articles/345837.pdf
    Data publikacji:
    2014
    Wydawca:
    Polskie Towarzystwo Informacji Przestrzennej
    Tematy:
    ontologia
    modelowanie
    planowanie przestrzenne
    Description Logic
    ontologia formalna
    model czasoprzestrzenny
    ontology
    modeling
    spatial planning
    description logic
    formal ontology
    spatio-temporal model
    Opis:
    Zarówno gospodarka przestrzenna jak i planowanie przestrzenne maja charakter multidyscyplinarny oraz odnoszą się do dynamicznie zmieniającej się rzeczywistości. Decyzje projektowe oddziałują na spójność systemu środowiska przyrodniczego. Poprawa jakości zarządzania przestrzenią zależy od wypracowania lepszych metod planowania i przewidywania skutków przekształceń przestrzennych dla środowiska. Takie możliwości dają ontologie oparte na logice opisowej (Description Logic) i związanych z nim systemami wnioskowania. Ontologie mogą być wzbogacane o dodatkowe systemy formalne. Autorzy prezentują sposoby budowania ontologii dziedzinowych dla planowania przestrzennego uzupełnionych przez konstrukcje logiki temporalnej. Jako rezultat, analizy relacji przestrzennych będą rozszerzone o badanie relacji czasowych. Modele czasoprzestrzenne z konstrukcjami logiki temporalnej mogą być przedmiotem wnioskowania wykorzystującego tzw. reasonery (resoning engines). Czasoprzestrzenne reprezentacje są oferowane przez tzw. ontologie wyższego rzędu, w tym przypadku ontologie fundamentalne (formalne). Do tych ontologii można zaliczyć GFO, BFO, DOLCE, OCHRE i inne. Takie ontologie są użyteczne dla modelowania danych przestrzennych z uwzględnieniem ich dynamiki i zmian. Czynią one możliwe przewidywanie scenariuszy przekształceń przestrzennych i przewidywania przyszłego stanu zagospodarowania oraz środowiska.
    Spatial management and spatial planning both have a multidisciplinary nature and refer to dynamically changing reality. Design decisions can affect the integrity of the environmental system. Improvement of spatial management depends on better methods of planning and forecasting about the environmental effects of development change. Such approach is offered by ontologies, based on Description Logics (DL) and related to them inference systems. Ontologies can be enriched with additional logical systems. The authors present a way of building domain ontologies for spatial planning supplemented by structures of temporal logic. As a result, the analysis for exploring the topological relations between spatial objects will be extended to include temporal relationships. Spatiotemporal models with temporal logic structures could be a subject of inference process, performed by reasoner engines. Spatiotemporal representations are offered by so-called upper ontologies in this case group of fundamental ontologies. The set of such ontologies includes GFO, BFO, OCHRE and others. Such ontologies are useful for modeling of spatial data with focus on their dynamics of changes. They make possible a prediction of scenarios of expected spatial transformation and forecasting a future state of spatial development and environmental conditions.
    Źródło:
    Roczniki Geomatyki; 2014, 12, 1(63); 81-91
    1731-5522
    2449-8963
    Pojawia się w:
    Roczniki Geomatyki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On an episode in academic contacts of Jacek Hawranek and Jan Zygmunt with Professor Bogusław Wolniewicz
    O pewnym epizodzie w kontaktach naukowych Jacka Hawranka i Jana Zygmunta z Profesorem Bogusławem Wolniewiczem
    Autorzy:
    Zygmunt, Jan
    Powiązania:
    https://bibliotekanauki.pl/articles/2097360.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    semilattice
    formal ontology of situations
    algebraic logic
    history of Polish logic
    Bogusław Wolniewicz
    półkrata
    formalna ontologia sytuacji
    logika algebraiczna
    historia logiki polskiej
    Opis:
    W eseju przedstawione zostały wybrane kontakty naukowe Jacka Hawranka i Jana Zygmunta z Profesorem Bogusławem Wolniewiczem w okresie od końca lat osiemdziesiątych XX w. do początku XXI w. Kontakty dotyczyły algebraicznych aspektów ontologii sytuacji, a od pewnego momentu – jednego tylko pytania sformułowanego w nocie A question about join-semilattices (Wolniewicz 1990). Esej streszcza dyskusję naukową między B. Wolniewiczem a J. Hawrankiem i J. Zygmuntem, w rezultacie której powstał artykuł Wokół pewnego zagadnienia z dziedziny półkrat górnych z jednością (Hawranek, Zygmunt 1993), zawierający próbę odpowiedzi na pytanie Wolniewicza. Artykuł Hawranka i Zygmunta jest niżej przedrukowany, a niniejszy esej jest też pomyślany jako wstęp historyczno-analityczny do jego lektury. Historia kontaktów: Wolniewicz – Hawranek & Zygmunt została ukazana za pomocą zachowanej korespondencji, która jest dość obficie cytowana. W listach Profesor Wolniewicz jawi się jako badacz-pasjonat, otwarty na dyskusję, gotowy do dzielenia się z innymi swoimi trudnościami i sukcesami badawczymi.
    Źródło:
    Przegląd Filozoficzny. Nowa Seria; 2018, 3; 149-162
    1230-1493
    Pojawia się w:
    Przegląd Filozoficzny. Nowa Seria
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Identity and identification of objects (with reference to P.F. Strawson’s ontological/metaphysical ideas)
    Identyczność przedmiotów i ich identyfikacja (z odniesieniem do ontologicznych/metafizycznych idei P.F. Strawsona)
    Autorzy:
    Kaczmarek, Janusz
    Powiązania:
    https://bibliotekanauki.pl/articles/2095920.pdf
    Data publikacji:
    2019
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    object identity
    object identification
    P.F. Strawson
    G.W. Leibniz
    topological ontology
    formal ontology
    g-sorted
    qualities
    identyczność przedmiotów
    identyfikacja przedmiotów
    ontologia topologiczna
    ontologia formalna
    o-rodzaje
    jakości
    Opis:
    In this article I present the problem of identity of objects (that persist in time and space) and their identification (also in time and space, when these objects persist and change their location) indicated in the title of the paper. I therefore present an outline of P.F. Strawson’s proposal, but also a purely formal approach that can be found in formal sciences (logic and mathematics). In the final part I give some ontological solution to Strawson’s research. It is a solution based on formal considerations within the so-called ontologically oriented versions of modal and temporal logics, which I proposed in my book Indywidua. Idee. Pojęcia (2008).
    Źródło:
    Przegląd Filozoficzny. Nowa Seria; 2019, 4; 183-198
    1230-1493
    Pojawia się w:
    Przegląd Filozoficzny. Nowa Seria
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Ingardenowskie rozumienie pojęć treść i forma dzieła sztuki literackiej
    Ingarden’s understanding of the notions of content and form of a literary work of art
    Autorzy:
    Garlej, Beata
    Powiązania:
    https://bibliotekanauki.pl/articles/445546.pdf
    Data publikacji:
    2013
    Wydawca:
    Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
    Tematy:
    content and form of a literary work of art
    formal ontology
    layers of a literary work of art
    intentional objects
    phenomenology
    Roman Ingarden
    Opis:
    The article reconstructs the development of Ingarden’s viewpoint on the notions of content and form of a literary work of art. The author of the article thus calls up a specific methodological proposition formulated by the phenomenologist, emphasizing the fact that he presented an innovative and original understanding of both these notions. He built his own understanding of content and form on the basis of the layered structure of literary works of art. Assumptions of the latter became the source of concrete and precise formulations of the meaning of both categories, which – in accordance with the message of the article – seem commendable and worth of being employed by the contemporary researchers of literature.
    Źródło:
    Annales Universitatis Paedagogicae Cracoviensis. Studia Poetica; 2013, 1; 31-47
    2353-4583
    2449-7401
    Pojawia się w:
    Annales Universitatis Paedagogicae Cracoviensis. Studia Poetica
    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ł:
    Some comments on a question about semilattices with a unit
    Wokół pewnego zagadnienia z dziedziny półkrat górnych z jednością
    Autorzy:
    Hawranek, Jacek
    Zygmunt, Jan
    Powiązania:
    https://bibliotekanauki.pl/articles/2097443.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    join-semilattice
    minimal element
    B. Wolniewicz’s question
    formal ontology of situations
    topological space
    dense set
    Boolean algebra
    filter
    consequence operation
    independent set
    półkrata górna
    element minimalny
    pytanie B. Wolniewicza
    formalna ontologia sytuacji
    przestrzeń topologiczna
    zbiór gęsty
    algebra Boole’a
    filtr
    operacja konsekwencji
    zbiór niezależny
    Opis:
    Artykuł w całości poświęcony jest rozważaniom nad pytaniem Bogusława Wolniewicza postawionym w jego nocie A question about join-semilattices („Bulletin of the Section of Logic” 1990, T. 19, nr 3). Część pierwsza artykułu dotyczy oryginalnego sformułowania tego pytania, w którym chodzi o podanie warunków dostatecznych na to, by w pewnej określonej rodzinie BM podzbiorów półkraty górnej z jednością istniały elementy minimalne. W kolejnych czterech częściach pytanie roztrząsane jest w odniesieniu do innych analogicznych rodzin zbiorów, których elementami są: dowolne zbiory (abstrakcyjne), zbiory gęste w przestrzeni topologicznej; filtry w algebrze Boole’a oraz zbiory domknięte względem operacji konsekwencji.
    Źródło:
    Przegląd Filozoficzny. Nowa Seria; 2018, 3; 163-174
    1230-1493
    Pojawia się w:
    Przegląd Filozoficzny. Nowa Seria
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    De la définition formelle du concept à la définition en langue du terme
    From the Formal Definition of Concept to the Linguistic Definition of Term
    Autorzy:
    Roche, Christophe
    Powiązania:
    https://bibliotekanauki.pl/articles/2015073.pdf
    Data publikacji:
    2021
    Wydawca:
    Komisja Nauk Filologicznych Polskiej Akademii Nauk, Oddział we Wrocławiu
    Tematy:
    conceptual terminology
    ontology
    formal definition of concept
    definition of term in natural language
    pattern of definitions
    Opis:
    This article deals with the contribution of formal definition of concepts to the definition of terms in natural language in the context of the ontological turn of terminology. Ontology in the sense of knowledge engineering constitutes one of the most promising perspectives for conceptual terminology, for which a term is a verbal designation of a concept, and a concept a unit of knowledge. The contribution of ontology is not limited to the operationalization of terminology for IT applications. By making concepts explicit, i.e., by defining them in a formal language, ontology strongly impacts terminology, both in its principles and methods. Specifying concepts in a formal language allows guaranteeing “good” properties, such as the objectivity of definitions whose interpretation is governed by theory alone. The definition of terms in a natural language can then be considered as a translation of the formal definition of a concept. How these two types of definition are linked to each other remains to be clarified, and in particular whether it is possible to generate patterns of term definition based on formal concept definition. This will depend on the formal language which will be used, and on the underlying concept theory.
    Źródło:
    Academic Journal of Modern Philology; 2021, 13; 275-290
    2299-7164
    2353-3218
    Pojawia się w:
    Academic Journal of Modern Philology
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    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ł
      Wyświetlanie 1-12 z 12

      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