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


Wyświetlanie 1-5 z 5
Tytuł:
Zerwanie z tradycją czy niezbędny rozwój? Dwa sposoby rozumienia posynodalnej adhortacji Amoris laetitia
Breaking with Tradition or Necessary Development? Two Types of Reading of the Apostolic Letter Amoris laetitia
Autorzy:
Schockenhoff, Eberhard
Powiązania:
https://bibliotekanauki.pl/articles/1047409.pdf
Data publikacji:
2018-09-18
Wydawca:
Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:
Amoris laetitia
development of the tradition
conscience
divorce
deductive method
Christian morality
rozwój tradycji
sumienie
rozwód
metoda dedukcyjna
moralność chrześcijańska
Opis:
W swojej adhortacji papież Franciszek podkreśla wprawdzie powiązanie z wypowiedziami poprzedników, dokonuje jednak w ramach tradycji Kościoła dotyczącym małżeństwa i rodziny istotnej zmiany paradygmatu. Umożliwia to nowe podejście do osób, które zawarły nowy związek po rozpadzie sakramentalnego małżeństwa. Zmiana paradygmatu dotyczy nie tylko kwestii powtórnie zaślubionych po rozwodzie, ale w ogóle etyki małżeńsko-rodzinnej. Papież zachęca do respektowania osądu sumienia małżonków, wyrażając daleko idący sceptycyzm wobec metody dedukcyjnej w kwestiach moralnych, w ramach której w dotychczasowym nauczaniu Kościoła z prawd ogólnych wyprowadzano daleko idące wnioski dla każdej pojedynczej sytuacji. Zdaniem Franciszka logika marginalizacji i potępienia nie może już określać drogi Kościoła. Nie może on rzucać moralnymi prawami jak kamieniami w życie osób, którzy nie we wszystkim są zgodni z ideałem, ale raczej powinien ich zaprosić do czynienia na drodze miłości dalszych kroków, które w swoim sumieniu rozpoznają jako tu i teraz możliwą odpowiedź na wezwanie Boże.
In his apostolic letter Pope Francis underlines indeed the connection with the statements of his predecessors, but he performs also an important paradigm shift in the tradition of the Church concerning the marriage and the family. This step allows the new approach to remarried people after the breakdown of their sacramental marriage. This paradigm shift concerns not only such situations but the marital and familial ethics as a whole. The pope encourages to respect towards the judgment of the spouses conscience and expresses his extensive skepticism towards the deductive methods in the moral considerations. In the previous Church teaching with the help of these methods,  conclusions concerning every single situation were derived from general truths. According to the Pope Francis the logics of marginalization and exclusion can no longer be the way of the Church. As the Pope says, the Church cannot throw the moral laws like stones at the people who do not follow the ideals. They should be rather invited to make next steps on the way of love, which they recognize in their conscience as an answer to the God’s call, here and now.
Źródło:
Teologia i moralność; 2018, 13, 1(23); 11-23
1898-2964
2450-4602
Pojawia się w:
Teologia i moralność
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O podobieństwie metod testowania teorii w naukach historycznych i "ścisłych"
The Similarity of Theory Testing in the Historical and “Hard” Sciences
Autorzy:
Miller, Keith B.
Powiązania:
https://bibliotekanauki.pl/articles/553173.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Zielonogórski. Instytut Filozofii
Tematy:
nauki historyczne
nauki ścisłe
metody testowania
metoda indukcyjna
metoda hipotetyczno-dedukcyjna
historical science
hard science
methods of testing
inductive method
hypothetico-deductive method
Opis:
W chrześcijańskiej literaturze na temat nauki i wiary, a także w opracowaniach popularnonaukowych, często pojawia się twierdzenie, że nauki historyczne (kosmologia, astronomia, geologia, biologia ewolucyjna, antropologia, archeologia) różnią się zasadniczo od nauk „ścisłych”, gdyż wnioski tych pierwszych są mniej precyzyjne i słabiej testowalne. Wysuwany jest argument, że nauki historyczne nie należą do nauk eksperymentalnych, ponieważ przedmiotem ich badań są niepowtarzalne zdarzenia. A skoro przeszłe zdarzenia i procesy nie są bezpośrednio obserwowalne, to należy uznać, że teorie wyjaśniające problemy pochodzenia częściej prowadzą do błędnych wniosków i są mniej wartościowe niż badania nad procesami zachodzącymi obecnie. Pogląd ten zwykle znajduje wyraz w tego typu stwierdzeniach: „Nikogo przy tym nie było, więc nigdy nie dowiemy się, co naprawdę zaszło”. Naukowe twierdzenia na temat historii Ziemi i ziemskiego życia spotykają się z lekceważeniem, uważa się je bowiem za niesprawdzalne spekulacje. Taki obraz nauk historycznych wynika jednak z niezrozumienia zarówno istoty eksperymentu i metod testowania teorii, jak również charakteru naukowego „dowodu”. Mam nadzieję, że w tym krótkim artykule zdołam ukazać powszechne nieporozumienia co do natury nauki oraz udowodnić, że twierdzenia nauk historycznych są sprawdzalne w równym stopniu, co twierdzenia nauk ścisłych.
Frequent claims appear in the Christian science/faith literature, and in popular discussions of science, that the historical sciences (cosmology, astronomy, geology, evolutionary biology, anthropology, archaeology) are fundamentally different from the “hard” sciences, and that their scientific conclusions are less rigorous and less testable. It is argued that the historical sciences deal with unrepeatable events and are therefore not experimental. Furthermore, because past events and processes are not directly observable, theories of origins are deemed inferior or less certain than studies of present processes. This view commonly finds expression in statements like: “No one was there so we can never know what really happened.” Scientific claims about Earth and biological history are then dismissed as untestable speculation. These various perceptions of historical science represent serious misunderstandings of both the nature of experiment and theory testing, and the character of scientific “proof.” It is my hope that this brief essay will serve both to expose widely held misconceptions about the nature of science and to demonstrate that historical science is rigorously testable.
Źródło:
Filozoficzne Aspekty Genezy; 2011, 8; 95-103
2299-0356
Pojawia się w:
Filozoficzne Aspekty Genezy
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Nota na temat pojmowania uogólnionej zasady korespondencji
Note on the understanding of the generalized correspondence principle
Autorzy:
KOKOWSKI, Michał
Powiązania:
https://bibliotekanauki.pl/articles/520402.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Umiejętności
Tematy:
uogólniona zasada korespondencji
kumulatywizm
skrajny antykumulatywizm
dialektyczny kumulatywizm
hipotetyczno‑dedukcyjna metoda myślenia korespondencyjnego
metodologia Kopernika
generalized correspondence principle
cumulativism
extreme anticumulativism
dialectical cumulativism
hypothetico‑deductive method of correspondence‑oriented thinking
Copernicus’s methodology
Opis:
Autor, w nawiązaniu do tekstu Jana Woleńskiego opublikowanego na łamach Prac Komisji Historii Nauki PAU w 2014 roku, podejmuje temat rozumienia uogólnionej zasady korespondencji w kontekście idei: kumulatywizmu (C.G. Hempel, P. Oppenhaim; E. Nagel), skrajnego antykumulatywizmu (P. Feyerabend, T.S. Kuhn), dialektycznego kumulatywizmu (W. Krajewski) oraz hipotetyczno dedukcyjnej metody myślenia korespondencyjnego i metodologii stosowanej przez Kopernika (M. Kokowski).
The author, referring to the text of Jan Woleński published on the pages of Prace Komisji Historii Nauki PAU in 2014, discusses the understanding of the generalized correspondence principle in the context of the following concepts: cumulativism (C.G. Hempel, P. Oppenhaim, E. Nagel), extreme anticumulativism (P. Feyerabend, T.S. Kuhn), dialectical cumulativism (W. Krajewski) and the hypothetico‑deductive method of correspondence‑oriented thinking as well as Copernicus’s methodology (M. Kokowski).
Źródło:
Prace Komisji Historii Nauki PAU; 2015, 14; 327-331
1731-6715
Pojawia się w:
Prace Komisji Historii Nauki PAU
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Application of deductive reasoning to the verification of archimate behavioral elements
Autorzy:
Klimek, Radosław
Szwed, Piotr
Jędrusik, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/431909.pdf
Data publikacji:
2013
Wydawca:
Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Tematy:
Deductive temporal reasoning
software verification
ArchiMate
semantics table¬aux method
Linear Temporal Logic
Opis:
The formal verification of business models has recently become an intensively researched area. It is expected that the application of formal tools may bring such benefits to organizations as the improved quality of products and services and a lower ratio of operational errors. In this paper we discuss the application of a deduction-based method for the verification of the behavioral aspects of ArchiMate models. The first step in our method consists in the translation of the ArchiMate model into Linear Temporal Logic (LTL) formulas. The resulting LTL formulas are then verified to check the expected temporal properties. The verification process is based on the semantics tableaux method and is conducted with an LTL prover. The method is discussed using an example of a business process implemented within a surveillance system.
Źródło:
Informatyka Ekonomiczna; 2013, 3(29); 76-97
1507-3858
Pojawia się w:
Informatyka Ekonomiczna
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Weryfikacja procesów biznesowych metodą dedukcyjną z wykorzystaniem logiki temporalnej
Deduction-based Formal Verification of Business Models using Temporal Logic
Autorzy:
Klimek, R.
Powiązania:
https://bibliotekanauki.pl/articles/274553.pdf
Data publikacji:
2011
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
modele biznesowe
BPMN
SOA
wzorce projektowe
logika temporalna
wnioskowanie dedukcyjne
metoda tablic semantycznych
generowanie specyfikacji
business models
workflow design patterns
temporal logic
deductive reasoning
semantic tableaux method
generating specifications
Opis:
Praca dotyczy formalnej analizy i weryfikacji modeli biznesowych wyrażonych w notacji BPMN. Weryfikacja oparta jest na wnioskowaniu dedukcyjnym. Jako metodę wnioskowania dla modeli biznesowych zaproponowano metodę tablic semantycznych, która cechuje się apagogicznością oraz analitycznością. Została przedstawiona metoda translacji podstawowych wzorców projektowych BPMN do formuł logiki temporalnej, stanowiących logiczną specyfikację analizowanegomodelu. Zarówno logiczna specyfikacja, jak i właściwości badanych procesów są wyrażone formułami tzw. najmniejszej logiki temporalnej. Formuły te są następnie przetwarzane z wykorzystaniem metody tablic semantycznych. Innowacyjność proponowanego podejścia może istotnie wpłynąć na redukcję kosztów wytwarzania oprogramowania, ze względu na możliwość wykrycia błędów oprogramowania już w fazie jego modelowania, wyprzedzając tym samym znacznie fazy implementacji i testowania.
The paper concerns formal analysis and verification of business models expressed in BPMN. This verification is based on a deductive reasoning. As a method of inference for business models semantic tableaux method is proposed. Automatic trans- formations of the basic BPMN workflow patterns to temporal logic formulas are proposed. These formulas constitute a logical specification of the analyzed model. Both the logical specification and the desired system properties are expressed as formulas of the smallest linear temporal logic. These formulas are later processed using semantic tableaux method. Applying this innovative concept might result in software development costs reduction as some errors might be addressed in the modeling phase not in implementation or testing phase.
Źródło:
Pomiary Automatyka Robotyka; 2011, 15, 12; 190-193
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-5 z 5

    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