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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-6 z 6
    Tytuł:
    Dowód matematyczny z punktu widzenia formalizmu matematycznego. Część I
    Mathematical Proof from the Formalistic Viewpoint. Part I
    Autorzy:
    Wójtowicz, Krzysztof
    Powiązania:
    https://bibliotekanauki.pl/articles/2013332.pdf
    Data publikacji:
    2007
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    Descartes
    Berkeley
    Peacock
    Pasch
    formalism
    formalizm
    Opis:
    This article is the first one to examine the evolution of the notion of mathematical proof in a historical perspective. First I present the intuitive, approach of Descartes, according to which mathematical proof is based on self-evident principles. I follow with an analysis of Berkeley’s mathematical instrumentalism and argue that he can be considered a predecessor of modern formalism. The article also deals with the ideas of Peacock and Pasch, and their role in the development of the modern formalistic viewpoint.
    Źródło:
    Roczniki Filozoficzne; 2007, 55, 2; 123-138
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    O uzasadnianiu w matematyce
    On justification in mathematics
    Autorzy:
    Wójtowicz, Krzysztof
    Powiązania:
    https://bibliotekanauki.pl/articles/2015959.pdf
    Data publikacji:
    2002
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    filozofia matematyki
    formalizm
    instrumentalizm
    konceptualizm
    realizm
    philosophy of mathematics
    formalism
    instrumentalism
    conceptualism
    realism
    Opis:
    In this article the problem of justification of mathematical axioms (in the context of traditional standpoints in the philosophy of mathematics) is discussed. Stress is laid on the methodological analysis, which concerns the notion of “justification” itself. Concrete choices, known from mathematical practice are not discussed here. In the process of formulating an axiomatic theory, the problem of the choice of the appropriate axiom system and of the justification of this choice emerges. In particular, the following problems are connected with it:(1) The problem of the relation between the concept of “justification” and “truth” of mathematical sentences (when the classical definition of truth is assumed).(2) The problem which criteria of justification can be considered appropriate, and whether the problem of justification is well-posed.(3) The problem, whether these criteria can be applied only to axioms, in the process of constructing an axiomatic theory, or also to independent sentences (after their metamathematical status has been settled. In that case, extending a theory T by an independent sentence φ or ¬φ cannot be justified by a formal proof.) (4) The problem, whether the choice of a particular justificatory procedure is motivated philosophically; in particular, whether the problem of justification is considered well-posed. These questions are analysed in the context of classical philosophical standpoints in the philosophy of mathematics, such as: (1) strict formalism; (2) Hilbert's formalism; (3) mathematical instrumentalism; (4) intuitionism; (5) Quine's realism; (6) Gödel's realism. The standpoint of the “working mathematician” is also discussed.
    Źródło:
    Roczniki Filozoficzne; 2002, 50, 1; 527-551
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Penal Order Proceedings as a Manifestation of Permissible Simplification of Certain Procedural Institutions
    Autorzy:
    Kruk, Ewa
    Powiązania:
    https://bibliotekanauki.pl/articles/1803263.pdf
    Data publikacji:
    2019-10-28
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    ordinary proceedings
    special proceedings
    penal order proceedings
    order
    objection
    formalism
    positive and negative reasons
    Opis:
    Penal order proceedings are but one type of special procedure. They are characterised by a far-reaching reduction in formalism. The article discusses institutions which are characteristic for this type of proceedings, noting the admissibility of such solutions but also the dangers inherent in adjudication only on the basis of evidence collected by the public prosecutor. In addition, a detailed analysis of the positive and negative criteria for the use of penal order proceedings was presented.
    Źródło:
    Roczniki Nauk Prawnych; 2018, 28, 3; 71-88
    1507-7896
    2544-5227
    Pojawia się w:
    Roczniki Nauk Prawnych
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    O relacjach między matematyką a muzyką
    The Relationship between Mathematics and Music
    Autorzy:
    Grębski, Tomasz
    Powiązania:
    https://bibliotekanauki.pl/articles/1807137.pdf
    Data publikacji:
    2020-01-03
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    analiza
    dodekafonia
    formalizm
    matematyka
    muzyka
    nauka
    relacje
    sztuka
    analysis
    art
    dodecaphony
    formalism
    mathematics
    music
    relationships
    science
    Opis:
    Czy muzyka i matematyka mają coś ze sobą wspólnego? W artykule autor zajmuje się dwoma przejawami kultury należącymi do dwóch jej dziedzin – nauki i sztuki. Nauką, którą się zajmuje, jest matematyka, a sztuką – muzyka. Muzyka była, jest i zapewne będzie przedmiotem wielu badań i poszukiwań jej związków czy relacji z innymi dziedzinami. Celem tego artykułu jest przyjrzenie się tym dwom dziedzinom pod kątem matematycznych relacji i podobieństw, które można znaleźć w muzyce, oraz udowodnienie tezy, że relacje między matematyką i muzyką istnieją. Podczas analizy tych dwóch dziedzin przytoczanych jest kilka faktów, które pozwalają udowodnić tę tezę. Analizowane są kompozycje muzyczne pod kątem świadomego stosowania w nich zależności matematycznych, jak również utwory, w których można zauważyć struktury matematyczne u kompozytorów, którzy matematykami nie byli. Obydwie dziedziny to formy sztuki posiadające własny alfabet, a raczej własny język symboli. Studia matematyczne uczą wypowiadania się na bardzo abstrakcyjne zagadnienia matematyczne w sposób ścisły i uporządkowany. Muzyka zaś jest najbardziej abstrakcyjną i uporządkowaną formą sztuki. Tak więc jak matematykę nazywamy „królową nauk”, tak muzykę można by nazwać „królową sztuki”. Badając zatem relacje między tymi dwoma przejawami kultury, lepiej zrozumiemy i poznamy każdy z nich.
    Has music got something in common with mathematics? In this article the author deals with two expressions of culture belonging to its two disciplines: science and art. Mathematics belong to science, music to art. Music has always been and it will be the subject of profound research and exploration of its relationships with other domains. The aim of this article is to look at these two areas in the terms of mathematical relationships and similarities that can be found in music and to prove the thesis that the relationship between mathematics and music exist. While analyzing these two areas some facts are quoted that allow to prove this thesis. The author analyzes music compositions for deliberate use in their mathematical relationships, as well as songs in which mathematical structures can be seen in the works of composers who were not mathematicians. Both areas are art forms that have their own alphabet or rather their own language of symbols. Mathematical studies teach to talk on extremely abstract mathematical problems in a strict and orderly way. Music is the most abstract and an ordered art form. And while mathematics is called “the queen of science,” so music could be called “the queen of art.” Thus, examining the relationship between these two manifestations of the culture we can understand and know each of them better.
    Źródło:
    Roczniki Kulturoznawcze; 2016, 7, 4; 111-141
    2082-8578
    Pojawia się w:
    Roczniki Kulturoznawcze
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Conditions for the reinstatement of the statute of limitations in civil court proceedings and in general administrative proceedings (comparative remarks)
    Warunki przywrócenia prawa o przedawnieniu w cywilnym postępowaniu sądowym i w powszechnym postępowaniu administracyjnym (uwagi komparatywne)
    Autorzy:
    Gapska, Edyta
    Gapski, Maciej P.
    Powiązania:
    https://bibliotekanauki.pl/articles/38697104.pdf
    Data publikacji:
    2015
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    cywilne prawo materialne
    powszechne postępowanie administracyjne
    formalizm materialny
    przywrócenie ograniczenia czasowego
    civil procedural law
    general administrative proceedings
    procedural formalism
    reinstatement of the time limit
    Opis:
    Wszelkie postępowania przed organami administracji publicznej i wymiaru sprawiedliwości charakteryzuje formalizm, który jest warunkiem koniecznym dla respektowania zasady równości obu zainteresowanych stron. Jednym z najbardziej znaczących aspektów tego formalizmu jest – zarówno w procedurze cywilnej, jak i w powszechnym postępowaniu administracyjnym – podejmowanie działań proceduralnych z zastosowaniem ograniczenia czasowego. Waga spełnienia tego warunku jest ściśle związana z problemem efektywności działań proceduralnych dokonywanych przez uczestników postępowania. Porównanie ograniczeń czasowych i ich konsekwencji w procedurze cywilnej i powszechnej procedurze administracyjnej pokazuje relatywne podobieństwo w sferze warunków wstępnych dla przywrócenia ograniczenia czasowego, przy czym główne różnice skupiają się w sposobie procedowania i decydowania o temacie wniosku. Obie te procedury przewidują raczej zawieszający charakter wniosku o przywrócenie ograniczenia czasowego i możliwość przerwania postępowania albo wykonanie decyzji czy wyroku przez władzę lub sąd. Pomimo wielu podobieństw istnieje znacząca różnica dotycząca kwestii możliwości apelacji od decyzji odnoszącej się do przywrócenia ograniczenia czasowego.
    All proceedings before the organs of public administration and the administration of justice are characterized by formalism, which is a necessary condition of respecting the principle of equality of both interested parties. One of the most significant aspects of this formalism is – both in civil procedure and in general administrative proceedings – undertaking procedural actions with an adherence to a time limit. The importance of fulfilling this condition is strictly connected with the problem of effectiveness of procedural actions performed by the participants of litigation. The comparison of time limitations and its consequences in civil procedure and general administrative procedure reveals a relative similarity in the sphere of prerequisites to reinstate the time limit, with the major differences focusing on the manner of proceeding and deciding upon the subject matter of the motion. Both procedures provide a relatively suspensory character of the motion for reinstatement of the time limit and the possibility of discontinuing the proceedings or execution of the decision or judgment by the authority or the court. Despite many similarities, there is a significant difference concerning the issue of appealability of the decision referring to the reinstatement of the time limit.
    Źródło:
    Roczniki Wydziału Nauk Prawnych i Ekonomicznych KUL; 2014-2015, 10-11, 1; 103-114
    1896-6365
    Pojawia się w:
    Roczniki Wydziału Nauk Prawnych i Ekonomicznych KUL
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Postępowanie nakazowe jako wyraz dopuszczalnych uproszczeń niektórych instytucji procesowych
    Order/Writ Proceedings as an Expression of Acceptable Simplification of some Procedural Institutions
    Autorzy:
    Kruk, Ewa
    Powiązania:
    https://bibliotekanauki.pl/articles/1803856.pdf
    Data publikacji:
    2019-10-28
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    postępowanie zwyczajne
    postępowanie szczególne
    postępowanie nakazowe
    wyrok nakazowy
    sprzeciw
    formalizm
    przesłanki pozytywne i negatywne
    ordinary proceedings
    special proceedings
    order/writ proceedings
    penal order
    objec-tion
    formalism
    positive and negative grounds
    Opis:
    Postępowanie nakazowe stanowi jeden z rodzajów postępowania szczególnego. Cechuje to postępowanie daleko posunięta redukcja formalizmu. W artykule omówiono instytucje charakterystyczne dla tego rodzaju procedowania, zauważając dopuszczalność takich rozwiązań, ale i niebezpieczeństwa kryjące się w orzekaniu wyłącznie na podstawie materiału dowodowego zebranego przez oskarżyciela publicznego. Ponadto, przedstawiono szczegółową analizę przesłanek pozytywnych i negatywnych postępowania nakazowego.
    Order/writ procedure is a type of special procedure. It is characterized by a deep reduction of formalism. The article discusses the institutions characteristic of this type of procedure, pointing to the admissibility of this type of solutions and the risks related to examination of cases based solely on the evidence collected by the public prosecutor. A detailed analysis of positive and negative grounds for the order/writ procedure was provided.
    Źródło:
    Roczniki Nauk Prawnych; 2018, 28, 3; 83-99
    1507-7896
    2544-5227
    Pojawia się w:
    Roczniki Nauk Prawnych
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-6 z 6

      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