Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "dowód" wg kryterium: Temat


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ł
Tytuł:
WYBRANE ZAGADNIENIA Z KRYMINALISTYKI. ŚLADY ROŚLINNYCH PYŁKÓW I ZARODNIKÓW
Autorzy:
Andrzej, Zachuta,
Powiązania:
https://bibliotekanauki.pl/articles/891881.pdf
Data publikacji:
2018-08-22
Wydawca:
Wyższa Szkoła Bezpieczeństwa Publicznego i Indywidualnego Apeiron w Krakowie
Tematy:
dowód
kryminalistyka
palinologia
pyłki
ślad
Opis:
W opracowaniu przybliżono problematykę palinologiczną od początków tej najmłodszej gałęzi botaniki, ze szczególnym uwzględnieniem tzw. palinologii sądowej (kryminalistycznej). Zwięźle omówiono fenomen spektrum pyłkowo – zarodnikowego, sposoby jego analizy, wartość uzyskanych wyników i zakres ich zastosowania. Przykładami z praktyki śledczej i sądowej, chociaż nie tylko, zilustrowano przydatność metody palinologicznej w procesie dowodzenia, ze specjalnym zwróceniem uwagi na przydatność w postępowaniach karnych. Ponadto wskazano na przesłanki pozwalające przyznać naukowy charakter pyłkowozarodnikowej metodzie i stosowanym w niej technikom.
Źródło:
Kultura Bezpieczeństwa. Nauka – Praktyka – Refleksje; 2012, 12; 28-50
2299-4033
Pojawia się w:
Kultura Bezpieczeństwa. Nauka – Praktyka – Refleksje
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dowód z zeznań świadka w formie pisemnej – praktyczne aspekty dopuszczenia i przeprowadzenia dowodu
Autorzy:
Telusiewicz, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/2082960.pdf
Data publikacji:
2021
Wydawca:
Akademia Leona Koźmińskiego w Warszawie
Tematy:
dowód
świadek
zeznania
forma pisemna
Opis:
Od dnia 7 listopada 2019 r. obowiązuje przeważająca część przepisów zawartych w ustawie z dnia 4 lipca 2019 r. o zmianie ustawy – Kodeks postępowania cywilnego oraz niektórych innych ustaw. Wśród wielu rewolucyjnych zmian w zakresie prowadzenia postępowania procesowego warto zwrócić uwagę na treść dodanego art. 2711 k.p.c. Dotyczy on sposobu przeprowadzenia dowodu z zeznań świadka, ale w innej niż dotychczasowej i tradycyjnej formie ustnej. Przedmiotowe opracowanie zawiera rozważania w przedmiocie praktycznych problemów związanych z dopuszczeniem i przeprowadzeniem dowodu z zeznań świadka w formie pisemnej. Podejmowane są kwestie skierowania do świadka odpowiednich wezwań, formularzy, pouczeń oraz listy pytań, na które świadek ma udzielić pisemnej odpowiedzi. Ponadto proponowane są praktyczne rozwiązania, tak aby ten nowy przepis prawny był przez sąd stosowany, a tym samym przyczynił się do zwiększenia sprawności postępowania. Przedmiotowe opracowanie, przedłożone do publikacji w styczniu 2020 r., stanowi niejako wstępną propozycję podjęcia naukowej i praktycznej dyskusji odnośnie zasadności wprowadzenia opisywanego rozwiązaniaoraz jego skutecznego wykorzystania.
Źródło:
Krytyka Prawa. Niezależne Studia nad Prawem; 2021, 13, 2; 145-157
2080-1084
2450-7938
Pojawia się w:
Krytyka Prawa. Niezależne Studia nad Prawem
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł:
Wartość dowodowa confessio iudicialis w świetle Mitis Iudex Dominus Iesus papieża Franciszka
The value of confessio iudicilias in Mitis Iudex Dominus Iesus
Autorzy:
LESZCZYŃSKI, GRZEGORZ
Powiązania:
https://bibliotekanauki.pl/articles/661190.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:
dowód
przyznanie
proces
proof
confession
process
Opis:
Taking up the value of confessio iudicialis for declaring a marriage null and voit, the author begins his reflections with a look at different forms of declarations of the parties. From the point of view of marriage validity, of special significance is also the analysis of confessio iudicialis in the Code of Canon Law from 1917 and 1983. The last part of the author’s reflections is devoted to the analysis of new canon 1678 of the Code of Canon Law, declaring in Pope’s Francis Mitis Iudex Dominus Iesus.
Prawodawca w Kodeksie Prawa Kanonicznego z roku 1983, w sprawach o stwierdzenie nieważności małżeństwa, oddaje do dyspozycji sądów kościelnych cztery podstawowe środki dowodowe. Jednym z nich są oświadczenia stron. Przyznanie się sądowe, będące jednym z oświadczeń stron, nabiera nowego wymiaru w świetle przepisów zawartych w Liście Apostolskim Ojca Świętego Franciszka Mitis Iudex Dominus Iesus, obowiązujących od 8 grudnia 2015 r. Przepisy zawarte w Mitis Iudex Dominus Iesus Ojca Świętego Franciszka nie zmieniają rozumienia środka dowodowego, jakim jest confessio iudicialis, ani też nie dokonują zmian co do jej stosowania w aspekcie proceduralnym. Wprowadzają natomiast istotną zmianę co jej wartości dowodowej w procesie o stwierdzenie nieważności małżeństwa czyli uściślają walor dowodowy sądowego przyznania się i oświadczeń stron procesowych. Zgodnie, bowiem, z kan. 1678 § 1 Mitis Iudex Dominus Iesus w sprawach o nieważność małżeństwa przyznanie się sądowe oraz oświadczenia stron, poparte ewentualnymi zeznaniami świadków potwierdzającymi ich wiarygodność, mogą mieć pełną wartość dowodową, którą winien ocenić sędzia, po dokładnym rozważeniu wszystkich wskazówek i poszlak, chyba że pojawiają się inne elementy, które je obalają. W świetle Mitis Iudex Dominus Iesus zeznania świadków potwierdzających wiarygodność strony powodowej lub pozwanej nabiera zupełnie nowego wymiaru. Potwierdzenie, bowiem, wiarygodności strony przez zeznających w procesie świadków jest elementem wystarczającym do nadania przyznaniu się sądowemu lub innemu oświadczeniu strony mocy dowodu pełnego.
Źródło:
Prawo Kanoniczne; 2015, 58, 4; 121-137
2353-8104
Pojawia się w:
Prawo Kanoniczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zmowy przetargowe – praktyczny przegląd rodzajów ryzyka. Wyrok Sądu Ochrony Konkurencji i Konsumentów z dnia 8 listopada 2018 r., XVII AmA 26/16
Autorzy:
Falandysz-Zięcik, Antonina
Powiązania:
https://bibliotekanauki.pl/articles/2168013.pdf
Data publikacji:
2019-06-03
Wydawca:
Uniwersytet Warszawski. Wydawnictwo Naukowe Wydziału Zarządzania
Tematy:
domniemanie faktyczne
dowód pośredni
zmowa przetargowa
Źródło:
internetowy Kwartalnik Antymonopolowy i Regulacyjny; 2019, 8, 4; 127-134
2299-5749
Pojawia się w:
internetowy Kwartalnik Antymonopolowy i Regulacyjny
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ł:
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ł:
MOŻLIWOŚCI WYKORZYSTANIA BADAŃ POLIGRAFICZNYCh W POLSKIM PROCESIE KARNYM
Autorzy:
Szczepaniec, Maria
Powiązania:
https://bibliotekanauki.pl/articles/663787.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:
evidence
the polygraph (the lie detector).
dowód
badanie poligraficzne.
Opis:
SummaryThe article discusses the potential use of lie detectors in Polish criminal proceedings. The basic purpose of the polygraph test (viz. the lie detector) is to eliminate erroneous diagnoses of evidence given by witnesses in criminal investigations, but the validity of the method is still controversial. The author of this article expresses her opinion in favour of the polygraph as a potentially useful instrument in the collection of evidence in criminal proceedings.
StreszczenieW artykule zaprezentowane zostały rozważania dotyczące możliwości wykorzystania wyników badań poligraficznych na użytek postępowania karnego. Zasadniczym celem takiego badania jest eliminacja błędnych wersji osobowych, jakkolwiek w doktrynie nadal pozostaje sporna kwestia możliwości dowodowego wykorzystania ekspertyzy poligraficznej. W artykule wyrażone zostało stanowisko, że wyniki ekspertyzy poligraficznej mogą stanowić dowód w procesie karnym.
Źródło:
Zeszyty Prawnicze; 2017, 17, 2
2353-8139
Pojawia się w:
Zeszyty Prawnicze
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Postępowanie kontradyktoryjno-inkwizycyjne — rozważania w przedmiocie modelu procesu karnego na przykładzie wybranych regulacji
Autorzy:
Porwisz, Monika
Powiązania:
https://bibliotekanauki.pl/articles/1920675.pdf
Data publikacji:
2019-11-15
Wydawca:
Wyższa Szkoła Policji w Szczytnie
Tematy:
proces karny
nowelizacja
zasada kontradyktoryjności
strona procesowa
dowód
biegły
opinia
Opis:
Przedmiotem artykułu jest wskazanie funkcjonowania w procesie karnym zasady kontradyktoryjności, w obliczu dokonanych zmian przepisów ustawy — Kodeks postępowania karnego obowiązujących od 1 lipca 2015 r., a także ustawy z 11 marca 2016 r. o zmianie ustawy — Kodeks postępowania karnego oraz niektórych innych ustaw, które weszły w życie 15 kwietnia 2016 r. Przedmiotem rozważań są wybrane regulacje odnoszące się do aktywności dowodowej stron postępowania. W optyce zainteresowań znalazły się także takie zagadnienia, jak: katalog uprawnień przysługujących stronom w zakresie gromadzenia dowodów, dostępu do akt postępowania. Podniesiono krytyczne uwagi dotyczące dopuszczalności opinii prywatnych w postępowaniu karnym, w kontekście art. 393 § 3 kodeksu postępowania karnego
Źródło:
Przegląd Policyjny; 2016, 1(121); 172-186
0867-5708
Pojawia się w:
Przegląd Policyjny
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Elektroniczny dowoód osobisty jako element informatyzacji służby zdrowia
Electronic ID as element of informatisation of healtk care
Autorzy:
Perkowski, Bartosz
Powiązania:
https://bibliotekanauki.pl/articles/539879.pdf
Data publikacji:
2013
Wydawca:
Uniwersytet Ekonomiczny w Poznaniu
Tematy:
e-zdrowie
e-administracja
elektroniczny dowód osobisty
elektroniczna karta pacjenta
Opis:
Artykuł przedstawia możliwość wykorzystania elektronicznych dowodów osobistych w służbie zdrowia. Zastąpienie obecnych dowodów osobistych wersją elektroniczną stwarza podstawy do rozwoju informatycznego nie tylko w administracji, ale także w innych dziedzinach, na przykład w medycynie. Zaprezentowano koncepcję powiązania dowodu elektronicznego z elektroniczną kartą pacjenta, odnosząc się do rozwiązań już stosowanych na świecie, oraz dokonano analizy wymagań. Przeprowadzono także analizę pozwalająca na ocenę proponowanego rozwiązania.
The article presents a potential of use of the electronic ID in e-Health systems. Replacement of the existing personal ID cards with electronic version creates opportunities not only for e-Government but also for other fields, such as medicine. The article details the usage of electronic ID cards in Belgium and Italy, and summarizes the activities carried out in Poland. The solutions used in medical healthcare in European countries and the current state of information systems used in the Polish healthcare are also discussed and the concept of computerization of the Polish health care using electronic patient record is presented. The summary of this article clarifies the requirements of e-Health systems that use electronic ID cards and specifies the benefits and drawbacks of such a solution.
Źródło:
Studia Oeconomica Posnaniensia; 2013, 1, 2(251)
2300-5254
Pojawia się w:
Studia Oeconomica Posnaniensia
Dostawca treści:
Biblioteka Nauki
Artykuł

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