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ę "definition," wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-10 z 10
    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ł:
    Antyesencjalizm jako założenie antydefinicjonizmu Karla R. Poppera
    Antiessentialism as the Presupposition of Karl R. Popper’s Antidefinitionism
    Autorzy:
    Kublikowski, Robert
    Powiązania:
    https://bibliotekanauki.pl/articles/2015634.pdf
    Data publikacji:
    2004
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    antyesencjalizm
    esencjalizm
    antydefinicjonizm
    definicja
    antiessentialism
    essentialism
    antidefinitionism
    definition
    Opis:
    The paper aims at reconstructing Karl R. Popper's critical standpoint with regard to essentialism, as antiessentialism is the main presupposition of his antidefinitionism. Popper criticised essentialism for claiming that it is justified to apply the concept of things' essential properties within the procedure of scientific explanation. He argued that the essentialists' ”faith in essence” is not scientific because of the lack of a criterion which would allow us to tell whether a certain definition grasps the essential properties of a given object. He doubted also that it is justified to apply the concept of intellectual intuition to the procedure of scientific explanation. Popper claimed that falsificationism gives a better concept of explanation, than that motivated by essentialism. He was convinced that falsificationism is logically more correct and more appropriately describes the real practice of scientists.
    Źródło:
    Roczniki Filozoficzne; 2004, 52, 2; 267-274
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Początek życia ludzkiego. Czy ludzka zygota ma status osoby?
    The Origin of Human Life: Does the Human Zygote Have the Status of a Person?
    Autorzy:
    Chyrowicz, Barbara
    Powiązania:
    https://bibliotekanauki.pl/articles/2015921.pdf
    Data publikacji:
    2002
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    osoba
    zygota
    definicja osoby
    indywiduum
    person
    zygote
    definition of person
    individual
    Opis:
    The above question can be answered briefly: the human zygote is a person, for man is a person. Thus formulated question is not a question that is asked by the biologist who does research on the origins of human life. Its answer is involved in the philosophical debate on the very concept of person. Here we deal with two separate scientific disciplines: philosophy (philosophical anthropology, to be precise) and biology (especially embryology). The discussion on the status of the human zygote demands respect for the competencies of either science. Otherwise, we might neutralize the concept of person, or demand of the biologist (as a biologist) to transcend the empirical character of his discipline towards philosophical abstraction. Let us add that the concept of person functions also in theology and law. Therefore the question about the personal status of the human zygote transcends the competencies of biology. The biologist, precisely speaking embryologist, will not dwell on the anthropological disputes about the concept of the human person. Rather, he will ask whether the human zygote is a man, that is a representative of the homo sapiens species, according to generic category. Respectively, we have two questions referring to the same zygote, or the primary stadium of our human existence: the questions about its human and personal status. Do they in fact concern the same, or we are dealing here with two, equal dimensions of human existence? The large number of answers given today to the question about the status of the zygote and successive developmental stages of man arouse doubts as to the unambiguous status of the zygote. One thing is certain in this discussion: we were all zygotes in the beginning. The way to answer them is, as it seems, first to make the concept of person more accurate, and then to answer how for we can refer this concept to the human zygote.
    Źródło:
    Roczniki Filozoficzne; 2002, 50, 3; 205-218
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Content Analysis of the Demonstration of the Existence of God Proposed by Leibniz in 1666
    Analiza treściowa„Dowodu na istnienie Boga” zaproponowanego przez Leibniza w 1666 roku
    Autorzy:
    Krauze-Błachowicz, Krystyna
    Powiązania:
    https://bibliotekanauki.pl/articles/488681.pdf
    Data publikacji:
    2017-06
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    Leibniz
    substance
    physics
    whole
    part
    definition
    substancja
    fizyka
    całość
    część
    definicja
    Opis:
    Leibniz’s juvenile work De arte combinatoria of 1666 included the “Proof for the Existence of God.” This proof bears a mathematical character and is constructed in line with Euclid’s pattern. I attempted to logically formalize it in 1982. In this text, on the basis of then analysis and the contents of the proof, I seek to show what concept of substance Leibniz used on behalf of the proof. Besides, Leibnizian conception of the whole and part as well as Leibniz’s definitional method have been reconstructed here.
    Młodzieńcze dzieło Leibniza De arte combinatoria z 1666 r. opatrzone zostało na końcu „Dowodem na istnienie Boga”. Dowód ma charakter „matematyczny” i jest zbudowany zgodnie z wzorcem Euklidesowym. Dowód ten w 1982 r. został poddany przeze mnie próbie formalizacji logicznej. W niniejszym tekście, wykorzystując wyniki tamtej analizy, staram się na podstawie treści zawartych w wierszach dowodu pokazać, jakim pojęciem substancji posługiwał się Leibniz na użytek dowodu. Zostaje ponadto zrekonstruowana Leibnizjańska koncepcja całości i części oraz jego metoda definicyjna Leibniza.
    Źródło:
    Roczniki Filozoficzne; 2017, 65, 2; 57-75
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Czy Gottlob Frege pierwszy zdefiniował liczby naturalne?
    Was Gottlob Frege First to Define Natural Numbers?
    Hat Gottlob Frege als erster die natürlichen Zahlen definiert?
    Autorzy:
    Dadaczyński, Jerzy
    Powiązania:
    https://bibliotekanauki.pl/articles/2015917.pdf
    Data publikacji:
    2002
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    liczby naturalne
    definicje liczb naturalnych
    natural numbers
    definition of natural numbers
    Opis:
    Powszechnie mówi się, że liczby naturalne po raz pierwszy zdefiniował G. Frege (1884), a niezależnie B. Russell (1903). Artykuł ten, oparty na spostrzeżeniach słynnego badacza twórczości życiowej B. Bolzano, J. Berga, udowadnia, że filozof i matematyk z Pragi już w latach trzydziestych XIX wieku posługiwał się swoją definicją liczb naturalnych - tak zwanych liczb abstrakcyjnych, nienazwanych. Definicja B. Bolzano znajduje się na tej samej linii rozwoju, co koncepcja G. Frege i B. Russella, ponieważ opiera się na koncepcji równości zbiorów. Koncepcja liczb naturalnych B. Bolzano pozostaje nieznana, ponieważ nie oparł on swojej arytmetyki na pojęciach abstrakcyjnych, nienazwanych liczb. Ponadto manuskrypt Pure Numbers został opublikowany dopiero w 1976 roku.
    It is commonly thought that natural numbers were first defined by G. Frege (1884), and independently, by B. Russell (1903). This article based on the J. Berg's observations (who was a famous researcher of B. Bolzano's life's work)  proves that the philosopher and mathematician from Prague, as early as the 1830s applied his definition of the natural numbers - the so-called abstract, unnamed numbers. Bolzano's definition follows the same line of development as  the conception of G. Frege and B. Russell because it is based on the concept of equality of sets. Bolzano's concept of natural numbers has remained unknown because he did not base his arithmetic on the concept of abstract, unnamed numbers. In addition, the manuscript Pure Numbers was not published until 1976.
    Gewöhnlich wird es behauptet, daß die natürlichen Zahlen zum ersten Male von G. Frege (1884) und unabhängig davon, von B. Russell (1903) definiert wurden. Dieser Artikel, welcher auf den Wahrnehmungen des berühmten Forschers des Lebenswerks von B. Bolzano, J. Berg, basiert, erweist, daß der Philosoph und Mathematiker aus Prag, schon in der dreißiger Jahren des XIX. Jahrhunderts über seine Definition der natürlichen Zahlen − der sogenannten abstrakten, unbenannten Zahlen − verfügt hat. Die Begriffsbestimmung von B.Bolzano steht auf derselben Entwicklungslinie wie die Konzeption von G. Frege und B.Russell, weil sie auf dem Begriff der Gleichzähligkeit der Mengen basiert. Die Konzeption von B.Bolzano, bezüglich der natürlichen Zahlen, ist aber unbekannt geblieben, weil er seine Arithmetik nicht auf dem Begriff der abstrakten unbenannten Zahlen gestützt hat. Außerdem wurde das Manuskript Reine Zahlenlehre bis zum Jahre 1976 nicht publiziert.
    Źródło:
    Roczniki Filozoficzne; 2002, 50, 3; 241-247
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Alfreda Tarskiego schemat T jako równość definicyjna
    Alfred Tarski’s T-Scheme as a Definitional Equivalence
    Autorzy:
    Kublikowski, Robert
    Powiązania:
    https://bibliotekanauki.pl/articles/2013929.pdf
    Data publikacji:
    2005
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    Umowa P (Konwencja T)
    schemat T
    T-równoważności
    prawda
    definicja
    definicja cyrkularna
    cyrkularność
    rewizja
    rewizyjna teoria definicji
    rewizyjna teoria prawdy
    Convention T
    T-scheme
    T-sentences
    truth
    definition
    circular definition
    circularity
    revision
    revision theory of definition
    revision theory of truth
    Opis:
    The goal of this paper is to present a way of reading Alfred Tarski’s T-scheme as a definitional – and not material – equivalence. Anil Gupta and Nuel Belnap in their book The Revision Theory of Truth (MIT 1993), develop a theory of truth and a theory of definition, which are called Revision Theories – of Truth (RTT) and of Definition (RTD). They accept Tarski’s T-sentences (such as: “snow is white” is true iff snow is white) and their central role for the signification of truth. According to RTT and RTD the centrality of Tarski’s T-sentences can be maintained only by accepting interdependent definitions. Gupta and Belnap claim that it is worthy to read the T-scheme as a definitional equivalence rather than as a material equivalence, for the former understanding allows us to solve the Liar paradox. To obtain this result, it is important to notice a structural similarity between the T-scheme and the general scheme of definition. Gupta and Belnap reject Tarski’s demand for formal correctness of definitions and claim that it is logically justified to accept circular definitions. This is why they modify a general scheme of definition by adding a predicate which is being defined (definiendum) – e.g. an arbitrary predicate G – to the definiens, i.e. to the defining formula which occurs on the right side of the definitional scheme. A circular definition, which is constructed in such a way, is helpful in showing that different patterns of behaviour of the predicate G are similar to respective patterns of behaviour of the predicate “true”. Such a result suggests that the concept of truth is itself circular.
    Źródło:
    Roczniki Filozoficzne; 2005, 53, 1; 143-156
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Klasyczna definicja prawdy w epistemologicznych poglądach Désiré Merciera
    The Classical Definition of Truth in Désiré Mercier’s Epistemological Thought
    Autorzy:
    Bańka, Aleksander R.
    Powiązania:
    https://bibliotekanauki.pl/articles/2013037.pdf
    Data publikacji:
    2009
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    pewność
    prawda
    sąd
    definicja
    podmiot
    predykat
    certainty
    truth
    judgement
    definition
    subject
    predicate
    Opis:
    The main aim of this article is to present an outline of the most important part of a theoretical-cognitive conception by Désiré Mercier, a founder of a Neo-scholastic Louvain school, showing not only the issue crucial to his philosophy, but also an evolution of an epistemological thought by a Belgian cardinal. In this main part, the article examines an evolution of Mercier’s means of interpretation of a classical definition of truth, and shows a prospect for the analysis of his understanding of a judgement’s nature, especially the nature of the references between its two basics constituents: a subject and predicate. In Mercier’s opinion, it is the most important problem in all theory of certainty, and he defines it like a first fundamental problem – a synthesis of the subject and predicate, i.e. the question on the status and cognitive value of different kinds of opinion. His effort in solution of this problem concerns mainly A general criteriology, Mercier’s main work in which a systematic theory of cognition is derived from Thomas Aquinas’s classical texts, confirming a Thomistic epistemology on the paths of a philosophical realism.
    Źródło:
    Roczniki Filozoficzne; 2009, 57, 2; 5-23
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Krytyka operacjonizmu z uwzględnieniem operacyjnej definicji czasu
    Critique of Operationalism Including the Problem of the Operational Definition of Time
    Autorzy:
    Róg, Jakub
    Powiązania:
    https://bibliotekanauki.pl/articles/31232820.pdf
    Data publikacji:
    2023
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    operationalism
    operational definition
    Bridgman
    definition of time
    operational definetion of time
    quantum mechanics
    problem of time
    operacjonizm
    operacyjna definicja
    definicja czasu
    operacyjna definicja czasu
    mechanika kwantowa
    problem czasu
    Opis:
    W artykule omówiono ważniejsze argumenty przeciw operacjonizmowi Percy’ego W. Bridgmana sformułowane na przestrzeni ostatnich dekad oraz przedyskutowano operacyjne sposoby definiowania czasu w mechanice klasycznej oraz nierelatywistycznej mechanice kwantowej. O ile w mechanice klasycznej nie napotyka się większych trudności w sformułowaniu operacyjnej definicji czasu, o tyle w formalizmie teorii kwantowej zadanie to staje się niemożliwe. Co, niezależnie od dyskusyjnego statusu czasu w mechanice kwantowej, prowadzi do ogólniejszego pytania, czy można pogodzić mechanikę kwantową z podejściem operacyjnym.
    The article discusses concerns against Percy W. Bridgman’s operationalism raised within the last few decades and analyses possibilities of defining the operational definition of time in classical and quantum mechanics. Although it seems unproblematic in the classical case, in quantum mechanics, this task seems to be impossible. It leads to a major question of whether quantum mechanics and operationalism can be reconciled.
    Źródło:
    Roczniki Filozoficzne; 2023, 71, 3; 231-250
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On the Philosophical-Logical Views of Ludwik Borkowski
    O poglądach filozoficzno-logicznych Ludwika Borkowskiego
    Autorzy:
    CZERNECKA-REJ, Bożena
    Powiązania:
    https://bibliotekanauki.pl/articles/488523.pdf
    Data publikacji:
    2018-06
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    Ludwik Borkowski
    systemy założeniowe
    zasada dwuwartościowości
    modalności
    definicja prawdy
    natural deduction
    principle of bivalence
    modalities
    definition of truth
    Opis:
    Dzięki zdobytej wiedzy filozoficznej Ludwik Borkowski widział problemy formalne w szerszym kontekście. Był w uprawianiu logiki kontynuatorem tradycji szkoły lwowsko-warszawskiej. Podejmował problemy podstawowe dla szeroko pojętej logiki oraz mające doniosłe konsekwencje filozoficzne, np. logiki nieklasyczne, teoria prawdy, metoda założeniowa, teoria konsekwencji, teoria definicji. Dbał o intuicyjną interpretację swych wyników logicznych, a samą logikę traktował jako naukę autonomiczną, która ma pełnić funkcję służebną wobec innych nauk. Choć nie pisał typowych dzieł filozoficzno-logicznych, dociekanie filozoficznych źródeł, inspiracji i konsekwencji wyników logiki towarzyszyło mu przez cały czas twórczej aktywności.
    Ludwik Borkowski’s vast knowledge of philosophy allowed him to put his logical studies in a philosophical context. As a logician, he continued the tradition of the Lvov-Warsaw school. He dealt with the basic issues of the widely understood logic as well as with those having strong philosophical implications (e.g. non-classical logics, the theory of truth, natural deduction, the theory of consequence). He also worked on the theory of definition and the intuitive interpretation of logical results. For Borkowski, logic was an autonomous science whose function is supposed to be ancillary towards the other sciences. Although he did not write any typical philosophical-logical works, investigating philosophical sources, inspirations and the implications of logical results was something he did throughout the whole period of his creative activity.
    Źródło:
    Roczniki Filozoficzne; 2018, 66, 2; 149-171
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Koncepcja filozofii religii
    A Conception of the Philosophy of Religion
    Autorzy:
    Moskal, Piotr
    Powiązania:
    https://bibliotekanauki.pl/articles/2013200.pdf
    Data publikacji:
    2008
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    religia
    definicja religii
    filozofia religii
    koncepcja filozofii religii
    religion
    definition of religion
    philosophy of religion
    conception of the philosophy of religion
    Opis:
    This paper depicts my conception of the philosophy of religion. I think that there nothing like religion in general. The world of what is customarily called religion is a very different and analogous reality. I make Catholic Christianity the starting point of this philosophy of religion. I treat it as the main analogy to the world of religion. The objective aim of the philosophy of religion is threefold:1) description of religion,2) justification of religion,3) epistemology of religious beliefs. In the philosophy of religion understood in this manner I use methods proper to general metaphysics, philosophical anthropology, and theory of knowledge.
    Źródło:
    Roczniki Filozoficzne; 2008, 56, 1; 221-238
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-10 z 10

      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