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ę "Leśniewski's ontology" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-7 z 7
    Tytuł:
    On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories
    Autorzy:
    Łyczak, Marcin
    Pietruszczak, Andrzej
    Powiązania:
    https://bibliotekanauki.pl/articles/749926.pdf
    Data publikacji:
    2018
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    elementary ontology
    quantifier-free fragment of ontology
    ontology-like theories
    copula ‘is’
    calculus of names
    Leśniewski's ontology
    subtheories of Leśniewski’s ontology
    Opis:
    We formulate a certain subtheory of Ishimoto’s [1] quantifier-free fragment of Leśniewski’s ontology, and show that Ishimoto’s theory can be reconstructed in it. Using an epimorphism theorem we prove that our theory is complete with respect to a suitable set-theoretic interpretation. Furthermore, we introduce the name constant 1 (which corresponds to the universal name ‘object’) and we prove its adequacy with respect to the set-theoretic interpretation (again using an epimorphism theorem). Ishimoto’s theory enriched by the constant 1 is also reconstructed in our formalism with into which 1 has been introduced. Finally we examine for both our theories their quantifier extensions and their connections with Leśniewski’s classical quantified ontology.
    Źródło:
    Bulletin of the Section of Logic; 2018, 47, 4
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    O NAZYWANIU PRZEDMIOTÓW – CZYLI JAK TADEUSZ KOTARBIŃSKI UCZY ROZUMIEĆ ONTOLOGIĘ STANISŁAWA LEŚNIEWSKIEGO
    ABOUT THE PUTTING NAMES TO OBJECTS, I.E. HOW TADEUSZ KOTARBIŃSKI TEACHES UNDERSTAND STANISŁAW LEŚNIEWSKI’S ONTOLOGY
    Autorzy:
    Trypuz, Robert
    Powiązania:
    https://bibliotekanauki.pl/articles/488559.pdf
    Data publikacji:
    2014
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    Ontologia Leśniewskiego
    denotacja
    nazwa
    Leśniewski’s Ontology
    denotation
    name
    Opis:
    This article presents an attempt to fund Ontology of StanisOaw Leeniewski on a simple theory with one primitive relation “being denoted by”. Developed theory shows that to the linguistic model of the Ontology can belong only such general names that in their extensions have at least two objects (references) denoted by individual names.
    Artykuł jest próbą ufundowania małej, elementarnej Ontologii Stanisława Leśniewskiego na prostej teorii relacji „podpadania przedmiotu pod nazwę”. Skonstruowana teoria pokazuje, że do lingwistycznego modelu Ontologii mogą należeć tylko takie nazwy ogólne, które maja co najmniej dwa desygnaty mające swoje nazwy indywidualne.
    Źródło:
    Roczniki Filozoficzne; 2014, 62, 1; 37-51
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Czy monady mają części? Witkiewicz i jego krytyka mereologii jako ontologii
    Have Monads Any Parts? Witkiewicz on Mereology as Ontology
    Autorzy:
    Szachniewicz, Artur
    Powiązania:
    https://bibliotekanauki.pl/articles/1621979.pdf
    Data publikacji:
    2017
    Wydawca:
    Uniwersytet Szczeciński. Wydawnictwo Naukowe Uniwersytetu Szczecińskiego
    Tematy:
    Witkiewicz
    Leśniewski
    mereology
    monads
    ontology
    Opis:
    This paper reconstructs Stanisław Ignacy Witkiewicz’s understanding of logic, accentuating the differences in his evaluation of logic and systems of ‘logistics’. Leśniewski’s theory of collective sets (mereology) exemplifies logistics as understood by Witkiewicz. I present an outline of Leśniewski’s nominalism, which entails a belief in a non-abstract nature of sets. I focus on these features of mereology that could have led Witkiewicz to interpreting it as an ontological system. Witkacy (Witkiewicz’s penname) was skeptical of the usefulness of formal systems (or logistics), and of mereology in particular, for the purposes of designing a unified ontological system describing essential properties of objects (the world). According to Witkiewicz, such formal systems assumed the role of ontology but severely lacked in philosophical justification. I argue that regardless of his nominalism and corporeal conception of individuals, mereology cannot be considered a formal theory of Witkiewicz’s monads.
    Źródło:
    Analiza i Egzystencja; 2017, 37; 79-99
    1734-9923
    2300-7621
    Pojawia się w:
    Analiza i Egzystencja
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Definicje w systemie ontologii Stanisława Leśniewskiego. Problem definicji twórczych
    Definitions in Stanisław Leśniewskis System of Ontology. The Problem of Creative Definitions
    Autorzy:
    Grygierzec, Ewa
    Powiązania:
    https://bibliotekanauki.pl/articles/2015847.pdf
    Data publikacji:
    2003
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika
    S. Leśniewski
    ontologia
    definicja
    logic
    ontology
    definition
    Opis:
    In the first part of the article S. Leśniewski's system of ontology is characterized. It is a name system, one of the broadest systems of this type built in the first half of the 20th century. Ontology is built on the basis of only one axiom; hence definitions play such an important role in this system. The second part of the article is devoted to a characteristic of definitions in ontology. Two kinds of definitions are most often mentioned in ontology: protothetic and ontological ones. This division results from the kind of functor that the given definition introduces into the system. Protothetic definitions introduce functors that generate propositions and ontological ones introduce functors that generate names. In the third part of the article comments are made on creative definitions in ontology. An important feature of definitions in ontology is their creativity. A definition is creative if after it is included in a system it allows proving such a theorem that could not be proved without this definition. The most important motive for selecting creative definitions for building a deduction system is the postulate of formulating a minimum number of the strongest axioms and primary rules. In ontology some of the protothetic and ontological definitions are distinguished by the creative property.
    Źródło:
    Roczniki Filozoficzne; 2003, 51, 1; 67-83
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    ONTOLOGIA ELEMENTARNA I KLASYCZNY RACHUNEK RELACJI
    ELEMENTARY ONTOLOGY AND THE CLASSICAL CALCULUS OF RELATIONS
    Autorzy:
    Wojciechowski, Eugeniusz
    Powiązania:
    https://bibliotekanauki.pl/articles/488626.pdf
    Data publikacji:
    2013
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    ontologia elementarna
    systemy Leśniewskiego
    sylogizmy ukośne
    klasyczna teoria relacji
    elementary ontology
    Leśniewski’s systems
    oblique syllogisms
    classical calculus of relations
    Opis:
    The notion of relation is one of the most important concepts present in our language. This study propose some extension of elementary ontology (OE) for relational variables and defining in his framework the concepts of the classical calculus of relations. Such enriched elementary ontology (OER) is a better tool for the analysis of natural language. It is shown that syllogistic with the negative terms enriched by so called oblique syllogisms (SNU with the axioms C1–C5) is a fragment of OER system (Theorem 1). The OER system is enriched next with individual variables (a,b,c) and by assuming the individual term referentiality (axiom A2) we obtain OER* system. The Proof that the classical calculus of relations (KRR) is a part of the system OER* (Theorem 2) is given.
    Źródło:
    Roczniki Filozoficzne; 2013, 61, 2; 27-38
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Rachunek nazw z listami
    The Calculus of Names with Lists
    Autorzy:
    Wojciechowski, Eugeniusz
    Powiązania:
    https://bibliotekanauki.pl/articles/2012863.pdf
    Data publikacji:
    2011
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    bezkwantyfikatorowy rachunek nazw
    lista
    Operator listowy
    ontologia elementarna
    systemy Leśniewskiego
    quantifier-less calculus of names
    list
    list Operator
    elementary ontology
    Leśniewski’s Systems
    Opis:
    In its suppositional phrasing the quantifier-less calculus of names has rules of introduction and Omission of the all (π) and some (σ) functors of the n/n category. The functors are the equivalents of quantifiers. A certain extension of its language by individual variables and a list Operator ([…]) is proposed here. In so extended language the quantifier-less calculus of names with lists is constructed, where axiom AI (a Substitute of the axiom of the theory of identity) and the rules characterising the list Operator are adopted.
    Źródło:
    Roczniki Filozoficzne; 2011, 59, 1; 35-50
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Bezkwantyfikatorowy rachunek nazw z regułą ekstensjonalności
    A quantifier-less calculus of names with the rule of extensionality
    Autorzy:
    Wojciechowski, Eugeniusz
    Powiązania:
    https://bibliotekanauki.pl/articles/2013180.pdf
    Data publikacji:
    2008
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    bezkwantyfikatorowy rachunek nazw
    reguła ekstensjonalności dla funktora inkluzji jednostkowej
    ontologia elementarna
    systemy Leśniewskiego
    quantifier-less calculus of names
    extensionality rule for the functor of singular inclusion
    elementary ontology
    Leśniewski’s systems
    Opis:
    Ludwik Borkowski has constructed a quantifier-less calculus of names (BRN1), which is regarded as a base system here. The system can be extended with the use of the deductive power of rules of introduction and omission of functors π and σ (BRN2), which serve here as the substitutes of quantifiers. If we adopt the extensionality rule for the functor of singular inclusion (REε), we obtain yet another extending of the system (BRN3) accompanied by simultaneous considerable reduction of the primary rules. The interpretation of the last system in elementary ontology is included.
    Źródło:
    Roczniki Filozoficzne; 2008, 56, 1; 417-429
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-7 z 7

      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