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ę "dowód," wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 106
Tytuł:
Les exemples effectifs et laxiome du choix
Autorzy:
Sierpiński, Wacław
Powiązania:
https://bibliotekanauki.pl/articles/1385885.pdf
Data publikacji:
1921
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
moc zbioru
teoria mnogości
dowód niekonstruktywny
aksjomat wyboru
dowód przez przykład
zbiór dobrze uporządkowany
Opis:
Le but de cette note est de donner un example d'un objet défini effectivement (sans l'aide de l'axiome de Zermelo), mais la démonstration que cet objet jouit de propriétés désirées fait appel à l'axiome du choix.
Źródło:
Fundamenta Mathematicae; 1921, 2, 1; 112-118
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Jak oszacować prawdopodobieństwo Zmartwychwstania
How to Assess the Probability of Resurrection
Autorzy:
Swinburne, Richard
Powiązania:
https://bibliotekanauki.pl/articles/2015805.pdf
Data publikacji:
2003
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
zmartwychwstanie
wcielenie
Jezus
dowód historyczny
dowód z tła
prawdopodobieństwo
twierdzenie Bayesa
resurrection
incarnation
Jesus
historical evidence
background evidence
probability
Bayes' theorem
Opis:
The author argues that a historical hypothesis h is probable in so far as it is intrinsically a simple hypothesis and (1) the posterior historical evidence is such as probably would occur if h is true, but not otherwise, (2) the general background evidence makes it probable that h is to be expected under certain conditions, and not otherwise, (3) there is evidence, the ‘prior historical evidence' such as probably would occur if these conditions were satisfied, but not otherwise. By the `posterior historical evidence' is meant the testimony of witnesses and physical traces caused by what happened at the time in question. In the case of the resurrection of Jesus the general background evidence which makes it probable that there is a God of the traditional kind who has good reason to become incarnate in order to provide atonement, to identify with us in our suffering, and to reveal teaching. The prior historical evidence that there was prophet who led the kind of life that incarnate God would need to lead if he had become incarnate for these reason. He will need to show us when some prophet has led the right sort of life that God has lived it, and that can be achieved by his life being culminated by a super-miracle such as the resurrection. The posterior historical evidence is the evidence of witnesses to the empty tomb and the appearances of Jesus. The stronger is the general background evidence, and the stronger is the prior historical evidence showing that one and only one prophet (Jesus) led the right sort of life, the less our need of posterior historical evidence. Given some modest values for (1), (2), (3), there is a very high probability that the resurrection occurred. This is illustrated by feeding some artificially precise values for these probabilities into the relevant theorem of the probability calculus, Bayes' Theorem.
Źródło:
Roczniki Filozoficzne; 2003, 51, 2; 65-82
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metafizykalny dowód istnienia Boga
The Metaphysical Proof of the Existence of God
Autorzy:
Moskal, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/2015811.pdf
Data publikacji:
2003
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
dowód istnienia Boga
natura Boga
proof of God's existence
nature of God
Opis:
The paper consists of two parts. In the first one the author proposes his own formulation of the metaphysical proof of God's existence. The point of departure in this proof is the affirmation of the existence of many different beings (things). The second part is devoted to a more detailed metaphysical determination of the nature of God.
Źródło:
Roczniki Filozoficzne; 2003, 51, 2; 21-32
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
W sprawie pojęcia logiki klasycznej
On the Concept of Classical Logic
Autorzy:
Kwiatkowski, Tadeusz
Powiązania:
https://bibliotekanauki.pl/articles/2013423.pdf
Data publikacji:
2006
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika
sylogistyka
semiotyka
dowód
stoicy
Arystoteles
logic
syllogistic logic
semiotics
proof
stoics
Aristotle
Opis:
The subject matter of our considerations here is the concept of classical logic. The author begins with a brief etymological reflection and a presentation of some views ancient philosophers had (from Heraclitus to Plato) and inspired Aristotle’s and stoic discussion of logic. They brought about the first systems of formal logic and rich outlines of other branches of logic in their broad understanding, such as the methodology of sciences and semiotics. Aristotle’s logical discoveries (mainly syllogistic logic of assertoric propositions, syllogistic logic of modal propositions, and theory of scientific proof), and stoics’ discoveries (logic of propositions and semiotics) are the first, highly advanced approaches to classical logic. The later history of logic consisted mainly in the reception of those ancient achievements, or in their semantic enrichment.
Źródło:
Roczniki Filozoficzne; 2006, 54, 2; 87-118
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
„Twardy” problem realizmu metafizycznego i współczesny antyrealizm
The “Hard” Problem of Metaphysical Realism and Contemporary Anti- Realism
Autorzy:
Judycki, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/2013061.pdf
Data publikacji:
2009
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
realizm
idealizm
antyrealizm
partycypacja
zasada immanencji
dowód ontologiczny
realism
idealism
anti-realism
participation
principle of immanence
ontological proof
Opis:
The aim of the article is to consider the problem of metaphysical realism that is defined as the thesis that there are objects that are independent of human consciousness. The problem was not solved by I. Kant, since he assumed, without a justification, that there are objects (“things in themselves”) that are the causes of human mental states. The author interprets the problem of metaphysical realism in the context of the so-called principle of immanence (“principle of consciousness”), according to which every entity (object) may be treated exclusively as a correlate of consciousness. The principle of immanence is the cause why even causal relations have to be treated as only certain data for the consciousness, and hence they may not be referred to by asserting that there is a factor that is the cause of states of human consciousness. Contemporary anti-realism, as the so-called conceptual realism, does not consider the problem of metaphysical realism in the context of the principle of immanence, and hence it is not a part of the traditional dispute on the existence of the (external) world. The author sees the solution to the problem of metaphysical realism in combining two arguments: in the reference to the ontological proof, which – via God’s veracity – is to “lead outside” the immanence of consciousness, and in the reference to the concept of participation in such a way that the human mind participates in God and it is Him that is the real entity (ens realissimum) that is referred to by the dispute about the existence of the world and the problem of metaphysical realism.
Źródło:
Roczniki Filozoficzne; 2009, 57, 1; 49-74
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Bóg, modalność, esencjalizm. Pewna wersja szkotystycznego dowodu tezy o istnieniu Boga
God, Modality and Essentialism. A Version of the Scotist Proof for God’s Existence
Autorzy:
Tkaczyk, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/2013049.pdf
Data publikacji:
2009
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
Duns Szkot
dowód na istnienie Boga
logika modalna
esencjalizm
Duns Scotus
proof for God’s existence
modal logic
essentialism
Opis:
A proof for God’s existence, inspired by Duns Scotus’s Tractatus de primo principio, is analyzed. The conclusion is based on three premises arranged in the matrix of a specific modal logic. The premises are: 1. it is possible for the world to be created by God; 2. if the world is created by God, then God exists; 3. if God exists, then God exists necessarily. In comparison to the original Scotus’s work the concept of essential order has been removed and replaced with a concept of creation. Modal expressions of the proof have been analyzed with an application of essentialism of Aristotle and Ibn Sina – the version of essentialism accepted by Scotus. Scotus’s underlying modal logic has been reconstructed and discussed in two versions: 1. as a modal logic with one pair of natural modalities; 2. as a multimodal logic with two pairs of modalities – natural and logical. The concept of natural modality is based on the essentialism discussed, the concept of logical modality is based on Scotus’s idea of non repugnantia terminorum.
Źródło:
Roczniki Filozoficzne; 2009, 57, 1; 231-256
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Systemy sylogistyki dowodowej
Systems of Demonstrative Syllogistic
Autorzy:
Kulicki, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/2012933.pdf
Data publikacji:
2010
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
sylogistyka
dowód
aksjomatyczne odrzucanie
syllogistic
proof
rejected axiomatization
Opis:
Aristotle in Analytica Posteriora presented a notion of proof as a special case of syllogism. In the present paper the remarks of Aristotle on the subject are used as an inspiration for developing formal systems of demonstrative syllogistic, which are supposed to formalize syllogisms that are proofs. We build our systems in the style of J. Łukasiewicz as theories based on classical propositional logic. The difference between our systems and systems of syllogistic known from the literature lays in the interpretation of general positive sentences in which the same name occurs twice (of the form SaS). As a basic assumption of demonstrative syllogistic we accept a negation of such a sentence. We present three systems which differ in the interpretation of specific positive sentences in which the same name occurs twice (of the form SiS). The theories are defined as axiomatic systems. For all of them rejected axiomatizations are also supplied. For two of them a set theoretical  model is also defined. 
Źródło:
Roczniki Filozoficzne; 2010, 58, 1; 139-154
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An evaluation of Voyage Date Recorders and S(Simplified)-VDR by maritime experts
Ocena VDR i S-VDR (rejestratorów danych z podróży) w opinii ekspertów morskich
Autorzy:
Walczak, A.
Skotnicka, M.
Powiązania:
https://bibliotekanauki.pl/articles/359984.pdf
Data publikacji:
2011
Wydawca:
Akademia Morska w Szczecinie. Wydawnictwo AMSz
Tematy:
Konwencja SOLAS 1974
awarie i katastrofy morskie
dowód
bezpieczeństwo żeglugi
SOLAS Convention 1974
marine accidents and disasters
evidence
safety of navigation
Opis:
This study presents the results of research aimed at assessing the importance of a Voyage Data Recorder (black box) in an analysis of the ship conduct. The analysis was performed by teams of Polish maritime experts, judges, a ministry delegate and jurors of the Maritime Court in Szczecin, experienced captains, chief engineers and officers of the watch of the merchant fleet.
Opracowanie przedstawia wyniki badań oceny znaczenia rejestratorów danych z podróży (Voyage Data Recorder) ("czarna skrzynka") w analizie przebiegu prawidłowości prowadzenia statku przez zespoły polskich ekspertów morskich, sędziów, delegata i ławników Izby Morskiej w Szczecinie, doświadczonych kapitanów i starszych mechaników oraz oficerów wachtowych floty handlowej.
Źródło:
Zeszyty Naukowe Akademii Morskiej w Szczecinie; 2011, 26 (98); 108-113
1733-8670
2392-0378
Pojawia się w:
Zeszyty Naukowe Akademii Morskiej w Szczecinie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Internetowy dyskurs o współczesnych postawach i wartościach
Internet discourse about contemporary attitudes and values exemplified by website Demotywawtory.pl
Autorzy:
Kapusta, Ewa
Powiązania:
https://bibliotekanauki.pl/articles/460091.pdf
Data publikacji:
2011
Wydawca:
Fundacja Pro Scientia Publica
Tematy:
postawy
wartości
społeczny dowód słuszności
dyskurs internetowy
przedstawiciele młodego pokolenia
Attitudes
values
social proof of rightness
internet discourse
representatives of young generation
Opis:
We współczesnym świecie często usłyszeć można opinię przedstawicieli starszego pokolenia, iż młodzi ludzie pozbawieni są jakichkolwiek wyższych wartości, liczą się dla nich jedynie kwestie materialne. Warto zastanowić się, czy rzeczywiście tak jest. Rozważony zostaje przykład popularnej strony internetowej Demotywatory.pl, jako obiektu odwiedzanego każdego dnia przez tysiące młodych osób, a traktującego właśnie o problemie wartości bądź ich braku. Strona ta jest opiniotwórcza, stanowi jedno z tych miejsc, w których młodzi ludzie dzisiaj kształtują swoje postawy i wartości i konfrontują swoje poglądy z innymi. Internet daje bowiem możliwości przeprowadzania interaktywnego dyskursu o postawach i wartościach. Poprzez aplikacje przykładów teoretycznych z zakresu socjologii, antropologii i psychologii społecznej, przedstawiony jest proces kształtowania się wartości i postaw podczas odwiedzania popularnej strony oraz kwestia wyróżnienia, na jakie wartości użytkownicy strony Demotywatory.pl najczęściej zwracają uwagę. Poruszone zostaje też zagadnienie motywacji do regularnego odwiedzania strony.
In the contemporary world we can often hear representatives of older generation opinions that young people live without the higher values, and only material wealth matters. Is this really true? In the article website Demotywatory.pl will be analysed as an example of the website which is very popular and entered everyday by thousands of young people. This website brings up subjects connected with values. Demotywatory.pl is opinion-forming and this is the space where young people shape their attitudes and values and confront their opinions with others. The Internet gives them opportunity to hold an interactive discourse on values and attitudes. Applying the theories from sociology, anthropology and social psychology enables us to show the development of the attitudes and values while visiting the website as well as the motivations of entering the website.
Źródło:
Ogrody Nauk i Sztuk; 2011, 1
2084-1426
Pojawia się w:
Ogrody Nauk i Sztuk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ontologiczny dowód Gödla z ograniczoną redukcją modalności
Autorzy:
Świętorzecka, Kordula
Powiązania:
https://bibliotekanauki.pl/articles/705971.pdf
Data publikacji:
2012-09-01
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
dowód ontologiczny
K. Gödel
dowód na istnienie Boga
teodycea,formalizacja
Opis:
Prezentowane rozważania są efektem poszukiwania możliwie słabej podstawy formalnej dla modalnej wersji ontologicznego argumentu na konieczne istnienie Boga, naszkicowanego przez K. Gödla. Dotychczasowe modalne rekonstrukcje notatki Gödla Ontologischer Beweis (1970) najczęściej opierają argumentację Gödla na różnych kwantyfikatorowych rozszerzeniach logiki modalnej S5 lub B. System S5, jako podstawa formalna zamierzona przez samego autora, umożliwia określoną konstrukcję argumentu ontologicznego, jednak z drugiej strony ten sposób rozumienia modalności może być uważany także za źródło słabości opartej na nim teorii Absolutu - redukcja modalności S5 (i B) może dawać okazję do formułowania krytyki w stylu Gaunilona. Standardowe rozszerzenie S5 lub B do logiki kwantyfikatorowej jest uwikłane w dalsze komplikacje: w odpowiednio rozbudowanej standardowej semantyce światów możliwych rozstrzyga się, że modele tych logik mają stałe uniwersum indywiduów. Tymczasem to rozstrzygnięcie nie ma związku z zasadniczym problemem rozważanym w formalizmie Gödla. W proponowanej wersji argumentu Gödla ograniczam redukcję modalności S5 do wybranego specyficznego kontekstu dotyczącego istnienia Absolutu. Logiką, która pozwala zachować konstrukcję argumentacji Gödla, okazuje się system S4. Otrzymaną teorię wiążę z semantyką światów możliwych z możliwie zmiennymi uniwersami. Istnienie indywiduów wyrażam za pomocą kwantyfikatora Ǝ interpretowanego aktualistycznie, bez użycia pierwotnego predykatu istnienia.
Źródło:
Przegląd Filozoficzny. Nowa Seria; 2012, 3; 21-34
1230-1493
Pojawia się w:
Przegląd Filozoficzny. Nowa Seria
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 106

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