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ę "Murawski, Roman" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 29
Tytuł:
Formacja katechetów w Europie
Autorzy:
Murawski, Roman
Powiązania:
https://bibliotekanauki.pl/articles/496369.pdf
Data publikacji:
1997-06-30
Wydawca:
Towarzystwo Naukowe Franciszka Salezego
Źródło:
Seminare. Poszukiwania naukowe; 1997, 13; 75-93
1232-8766
Pojawia się w:
Seminare. Poszukiwania naukowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Churchs thesis and its epistemological status
Autorzy:
Murawski, Roman
Powiązania:
https://bibliotekanauki.pl/articles/764479.pdf
Data publikacji:
2004
Wydawca:
Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Źródło:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica; 2004, 2, 1
1732-1360
2083-3628
Pojawia się w:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kilka uwag o filozofii matematyki w Polsce przedwojennej
Autorzy:
Murawski, Roman
Powiązania:
https://bibliotekanauki.pl/articles/2012705.pdf
Data publikacji:
2007
Wydawca:
Polskie Towarzystwo Matematyczne
Opis:
W XIX wieku nie było w Polsce znaczących prac na temat logiki i filozofii matematyki. Można tu wspomnieć jedynie o Józefie Marii Hoene-Wrońskim (1776–1853), ale jego pomysły nie znalazły uznania i kontynuatorów. Powodem tego była przede wszystkim niejasność jego prac i nieścisły język, jakim były napisane, jak również podporządkowanie matematyki mętnym w istocie ideom filozoficznym
Źródło:
Antiquitates Mathematicae; 2007, 1; 73-79
1898-5203
2353-8813
Pojawia się w:
Antiquitates Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kilka uwag o dowodzie w matematyce
Some Words on a Proof in Mathematics
Autorzy:
Murawski, Roman
Powiązania:
https://bibliotekanauki.pl/articles/965238.pdf
Data publikacji:
2013-03-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The aim of the paper is to study the role and features of proofs in mathematics. Formal and informal proofs are distinguished. It is stressed that the main roles played by proofs in mathematical research are verification and explanation. The problem of the methods acceptable in informal proofs, in particular of the usage of computers, is considered with regard to the proof of the Four-Color Theorem. The features of in-formal and formal proofs are compared and contrasted. It is stressed that the concept of an informal proof is not precisely defined, it is simply practised and any attempts to define it fail. It is - so to speak - a practical notion, psychological, sociological and cultural in character. The second one is precisely defined in terms of logical con-cepts. Hence it is a logical concept which is rather theoretical than practical in char-acter. The first one is - in part at least - semantical in nature, the second is entirely syntactical. A proof-theoretical thesis, similar to the Turing-Church Thesis in the re-cursion theory, is formulated. It says that both concepts of a proof in mathematics are equivalent. Arguments for and against it are formulated.
Źródło:
Filozofia Nauki; 2013, 21, 1; 7-22
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Decidability vs. undecidability. Logico-philosophico-historical remarks
Autorzy:
Murawski, Roman
Powiązania:
https://bibliotekanauki.pl/articles/764733.pdf
Data publikacji:
2005
Wydawca:
Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Źródło:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica; 2005, 3, 1
1732-1360
2083-3628
Pojawia się w:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
W świecie robotów i teologów – pokusy matematyki (S. Krajewski, Czy matematyka jest nauką humanistyczną?, Kraków 2011)
Autorzy:
Murawski, Roman
Powiązania:
https://bibliotekanauki.pl/articles/705651.pdf
Data publikacji:
2011
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Źródło:
Przegląd Filozoficzny. Nowa Seria; 2011, 3
1230-1493
Pojawia się w:
Przegląd Filozoficzny. Nowa Seria
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Conception of Logic in the Cracow Circle: Salamucha, Drewnowski, Bocheński
Autorzy:
Murawski, Roman
Powiązania:
https://bibliotekanauki.pl/articles/1926893.pdf
Data publikacji:
2021-07-31
Wydawca:
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:
formal logic
philosophy
theology
Thomism
Cracow Circle
Opis:
The aim of this paper is to present and analyse the views on logic of the members of the so-called Cracow Circle, namely the Dominican Father Józef (Innocenty) M. Bocheński, Rev. Jan Salamucha, and Jan Franciszek Drewnowski. They tried to apply the methods of modern formal/mathematical logic to philosophical and theological problems. In particular, they attempted to modernise contemporary Thomism (the trend which was then prevailing) by employing logical tools. The influence of Jan Łukasiewicz, the co-founder of the Warsaw School of Logic will be also discussed.
Źródło:
Studia Philosophiae Christianae; 2021, 57, 1; 109-125
0585-5470
Pojawia się w:
Studia Philosophiae Christianae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dowód w matematyce - dziś i jutro
Proof in Mathematics: Today and Tomorrow
Autorzy:
Murawski, Roman
Powiązania:
https://bibliotekanauki.pl/articles/964003.pdf
Data publikacji:
2013-06-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The paper is a review of the book by Krzysztof Wójtowicz, O pojęciu dowodu w matematyce [On the Concept of Proof in Mathematics]. It presents the main theses of the book and evaluates them.
Źródło:
Filozofia Nauki; 2013, 21, 2; 201-203
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Jana Franciszka Drewnowskiego filozofia matematyki i logiki
Jan Franciszek Drewnowski’s philosophy of mathematics and logic
Autorzy:
Murawski, Roman
Powiązania:
https://bibliotekanauki.pl/articles/431137.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:
Drewnowski J.F.
mathematics
symbolic logic
matematyka
logika symboliczna
Opis:
This paper illustrates and critically evaluates Jan Franciszek Drewnowski’s philosophical views on mathematics and logic. It is based on four sources. The main source is his “Zarys programu filozoficznego” (“Outline of a Philosophical Program”) (1934). Further sources include two of Drewnowski’s papers, “Stosowanie logiki symbolicznej w filozofii” (“Application of symbolic logic in philosophy”) (1965) and “Uwagi o stosowaniu logiki symbolicznej” (“Remarks on applying symbolic logic”) (1967), as well as fragments from his diary. This paper aims to show how Drewnowski understood mathematics and mathematical theories, how he conceived logic and its role in science, as well as to what extent he was familiar with contemporary achievements in mathematical logic and the foundations of mathematics and his awareness of their relevance for the philosophy of mathematics.
Praca poświęcona jest prezentacji i krytycznej ocenie poglądów filozoficznych Jana Franciszka Drewnowskiego na matematykę i logikę. Podstawą rozważań są cztery źródła. Podstawowym źródłem jest Drewnowskiego "Zarys programu filozoficznego" (1934), dalej dwa artykuły, a mianowicie "Stosowanie logiki symbolicznej w filozofii" (1965) oraz "Uwagi o stosowaniu logiki symbolicznej" (1967), w końcu fragmenty dziennika. Pokazuje się w niej, jak Drewnowski rozumiał matematykę i teorie matematyczne, jak widział logikę i jej rolę w nauce oraz na ile był zaznajomiony ze współczesnymi osiągnięciami w zakresie logiki matematycznej i podstaw matematyki oraz z ich konsekwencjami dla filozofii matematyki.
Źródło:
Studia Philosophiae Christianae; 2019, 55, 2; 87-102
0585-5470
Pojawia się w:
Studia Philosophiae Christianae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Karolińskie Ordo de catechizandis rudibus
The Carolingian Ordo de catechizandis rudibus
Autorzy:
Murawski, Roman
Powiązania:
https://bibliotekanauki.pl/articles/611960.pdf
Data publikacji:
2012
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II
Tematy:
Ordo de catechizandis rudibus
ordo
Opis:
The document presented in the article dates from the time of Charlemagne and was part of his reform program of religious and intellectual life. Its origins must be sought in Alcuins’ letter of 796, addressed to Charlemagne (a copy of this letter was also sent to Arno, the Archbishop of Salzburg), which – after a failed mission to the Saxons – offered rulers a new form of evangelising the Avars. Recalling the disappointment of attempts to evangelise in Saxony, he warns against making too rapid and violent actions. They have to be taught first, and then baptised. At the end of the letter, referring to St. Augustine’s De catechizandis rudibus, he states what teachings in the truths of the faith they must receive before baptism. This letter sent to both the king and the bishop Arno gave the unknown author (editor) a framework and plan for the drafting of Ordo de catechizandis rudibus. The document appeared in the surroundings of the bishop Arno about the year 800. The word Ordo used in the title indicates that it is a kind of guide with guidelines for teaching adults before baptism. Although the title of the document was taken from the work of Saint Augustine of the same title, it differs substantially from its original. The Carolingian Ordo can be divided into four parts or sections. The first part (1-13) is a comprehensive introduction showing the need to instruct catechumens and the overall characteristics of the process of Christian initiation. The second part (14-44) includes the initiatory catechesis and provides topics covered in teaching converts. The content consists of biblical texts and the writings of various Fathers of the Church and practical instructions derived from the work of St. Augustine. The third part (45-74) presents the liturgical rites of baptism. In the fourth part (75-94), the document explains the baptismal rite itself and the other celebrated sacraments of Christian initiation – the Eucharist and Confirmation. The Ordo text ends with a call to neophytes to faithfully fulfil in practice what has been communicated to them.
Źródło:
Vox Patrum; 2012, 57; 419-426
0860-9411
2719-3586
Pojawia się w:
Vox Patrum
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 29

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