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


Tytuł:
Związek między rozwojem myślenia moralnego a tendencją do zachowań agresywnych w sytuacjach trudnych w okresie dorastania
Autorzy:
Czyżowska, Dorota
Oleszkowicz, Anna
Powiązania:
https://bibliotekanauki.pl/articles/637063.pdf
Data publikacji:
2010
Wydawca:
Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:
aggression, development of moral reasoning, sense of responsibility
Opis:
The relationship between the development of moral reasoning and the tendency towards aggressive behaviour in difficult situations during adolescenceThe focus of this research was to establish the relationship between the development of moral reasoning and the tendency towards aggressive behaviour. Gender differences and the notion of responsibility were also considered in the research and the questions were constructed accordingly. Three different questionnaires were used in investigations: Defining Issues Test (DIT), Coping in Difficult Social Situations and Sense of Responsibility Scale. 136 subjects, age 15–19 years old (93 girls and 43 boys) participated in the research.  Results from the study show that moral reasoning is a major infl uencing factor in aggressive behaviour and this can be used to predict potential aggressive behaviour in adolescents. The study also showed that the relationship between development of moral reasoning and aggressive behaviour is moderated by the sense of the responsibility, as the sense of the responsibility clearly limits tendency towards aggressive behaviour. Genders differences also affected both the tendency towards aggressive behaviours, along with the relation between aggressive behaviour and sense of the responsibility. The study showed that sense of responsibility playing a larger role in boys.
Źródło:
Psychologia Rozwojowa; 2010, 15, 2
1895-6297
2084-3879
Pojawia się w:
Psychologia Rozwojowa
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Związek między Baconem, teleologią i analogią a doktryną naturalizmu metodologicznego
The Relationship of Bacon, Teleology, and Analogy to the Doctrine of Methodological Naturalism
Autorzy:
LeMaster, James C.
Powiązania:
https://bibliotekanauki.pl/articles/553314.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Zielonogórski. Instytut Filozofii
Tematy:
przyczyna celowa
przyczyna sprawcza
metafizyka
nauka
teleologia wewnętrzna
teleologia zewnętrzna
wnioskowanie teleologiczne
rozumowanie z analogii
biologia syntetyczna
final cause
efficient cause
metaphysics
science
intrinsic teleology
extrinsic teleology
teleological inference
analogical reasoning
synthetic biology
Opis:
Francis Bacon podzielił nauki przyrodnicze na fizykę i metafizykę. Twierdził, że z czterech przyczyn wskazanych przez Arystotelesa tylko przyczyny materialne i sprawcze należą do dziedziny fizyki, a przyczyny celowe, czy też twierdzenia teleologiczne, zaliczyć trzeba do dziedziny metafizyki. Bacon sprzeciwiał się włączaniu teleologii do fizyki, ponieważ doświadczenie podpowiadało mu, że twierdzenia teleologiczne zniechęcają do poszukiwania przyczyn sprawczych dla zjawisk przyrodniczych. Relegował on teleologię do metafizyki, a nauka w dużej mierze poszła jego śladem, wykształcając przez kolejne czterysta lat coraz większą awersję do uwzględniania czynników teleologicznych w wyjaśnieniach naukowych. Zdaniem Bacona człowiek, z racji swojej natury, „wymyśla […] paralele, odpowiedniości i stosunki, które w rzeczywistości nie istnieją”. Jednak wraz z rozwojem nauki w zakresie odkrywania przyczyn materialnych i sprawczych, jaki zachodził od czasów Bacona, zaczęły pojawiać się paralele, odpowiedniości i stosunki bardziej zasadne niż zapewne mógłby on sobie wyobrazić. Krótko mówiąc, poszukiwanie przyczyn materialnych i sprawczych w przyrodzie przyniosło imponujące uzasadnienie również dla wnioskowania o przyczynach celowych. Wnioskowania teleologiczne powinny być dopuszczone w nauce wówczas, gdy uprawomocniają je świadectwa empiryczne. Narzędzie pozwalające ustalić, czy wnioskowanie teleologiczne jest prawomocne, stanowi analogia. Bacon mógłby pomóc nauce uniknąć stopniowego, lecz i nieuchronnego przejścia w stronę naturalizmu metodologicznego, gdyby położył nacisk na to, jak analogia, zastosowana w roli narzędzia analitycznego w procesie indukcji, prowadzi do zasadnych wniosków o istnieniu teleologii w przyrodzie.
Francis Bacon divided natural science into physics and metaphysics. He claimed that of Aristotle’s four causes, only material and efficient causes belong to the realm of physics, and that final causes, or teleological claims, belong to the realm of metaphysics. Bacon objected to including teleology in physics because in his experience teleological claims tended to discourage the search for efficient causes for natural phenomena. Because Bacon relegated teleology to metaphysics science largely followed his lead, evolving over the next four hundred years a growing distaste for including any teleological implications in scientific explanations. Bacon claimed that human nature, “will yet invent parallels and conjugates and relatives, where no such thing is”. Yet, as the material and efficient causal discoveries by science have progressed since Bacon’s time, they have in turn revealed more legitimate parallels and conjugates and relatives than perhaps he could have ever imagined. Stated succinctly, the process of exploring material and efficient causes in nature has also given breathtaking justification for also inferring final causes as well. As such, inferences to teleology in science should be allowed where they are warranted by the empirical evidence. The tool for determining whether a teleological inference is warranted is analogy. Bacon could have helped science avoid its gradual but inexorable drift into methodological naturalism if he had emphasized how analogy, used as an analytical tool in the process of induction, legitimately leads to reasonable inferences of teleology in nature.
Źródło:
Filozoficzne Aspekty Genezy; 2017, 14; 99-133
2299-0356
Pojawia się w:
Filozoficzne Aspekty Genezy
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie logiki czterowartościowej w procesie wnioskowania w systemach diagnostycznych
Application of logic 4-valued in the process of reasoning in diagnostic systems
Autorzy:
Duer, S.
Zajkowski, K.
Duer, R.
Powiązania:
https://bibliotekanauki.pl/articles/209177.pdf
Data publikacji:
2016
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
diagnostyka techniczna
wnioskowanie diagnostyczne
logiki wielowartościowe
sztuczna inteligencja
technical diagnostics
diagnostic reasoning
multivalent logic
artificial intelligence
Opis:
W artykule zaprezentowano zastosowanie logiki czterowartościowej w procesie wnioskowania w systemach diagnostycznych. W tym celu przedstawiono i zdefiniowano strukturę inteligentnego systemu diagnostycznego DIAG 2. Opisano jego istotne moduły: pomiarowy, obliczenia i analizy (program sieci neuronowej) oraz wnioskowania diagnostycznego. W literaturze brakuje opracowań w zakresie opisu i zastosowania logiki czterowartościowej w systemach diagnostycznych. Prace autorów w tym zakresie są nowatorskie. Na uwagę zasługuje także zaprezentowanie metody diagnostycznej stosowanej w systemie DIAG 2. Proponowana metoda diagnozowania (oceny stanu badanego obiektu) polega na porównaniu wektorów sygnałów diagnostycznych z ich wektorami wzorcami. W wyniku porównania sygnałów wyznaczane są przez sieć neuronową elementarne metryki rozbieżności wektorów sygnałów diagnostycznych. Na podstawie metryk odległości różnicowej następuje wnioskowanie systemu co do rozpoznania stanu elementów podstawowych obiektu.
The article presents application of logic 4-valuable in the process of reasoning in diagnostic systems. For this purpose, the structure of an intelligent diagnostic system (DIAG 2) is presented and defined. Its essential modules: measurement, calculation, and analysis modules (program of neural network) and diagnostic inference are described. In the literature, there is no development in the field of description and implementation of the logic of the tetravalent in diagnostic systems. The author’s works in this field are innovative ones. Noteworthy is the present diagnostic method used in the system (DIAG 2). The proposed diagnostic method (assessment of the state of the examined object) is based on a comparison of vectors of diagnostic signals with their patterns’ vectors. By comparing the signals, elementary metrics of disparity vectors of diagnostic signals are determined by the neural network. On the basis of the metrics of differential distance, the system requests for diagnostics of the state of elements of the basic object.
Źródło:
Biuletyn Wojskowej Akademii Technicznej; 2016, 65, 2; 41-52
1234-5865
Pojawia się w:
Biuletyn Wojskowej Akademii Technicznej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wyznaczanie SM - pokrycia bezpiecznej sieci Petriego metodą komputerowego wnioskowania
Calculation of State Machine cover of safe Petri net by means of computer based reasoning
Autorzy:
Tkacz, J.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/153764.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
przestrzeń stanów lokalnych i globalnych sieci Petriego
transwersale
podsieci automatowe SM
logika sekwentów Gentzena
Petri net state space
transversal
formal reasoning
State Machine subnets
configurable logic controllers
Opis:
W artykule przedstawiono nowy sposób pokrywania bezpiecznej sieci Petriego minimalną liczbą podsieci automatowych. Metoda symboliczna polega na wczesnej selekcji odpowiednich transwersali, stopniowo wyznaczanych dla rodziny maksymalnych podzbiorów współbieżnych miejsc sieci. W przypadku bezpiecznej sterującej sieci Petriego, miejsca traktowane są jako stany lokalne, natomiast ich dopuszczalne konfiguracje określają jej stany globalne. Transwersale wyróżniają podzbiory miejsc niewspółbieżnych, przypisanych do odpowiednich SM-podsieci. Komputerowe wnioskowanie odbywa się w monotonicznym rachunku sekwentów Gentzena. Rezultaty wykorzystywane są podczas syntezy cyfrowych, konfigurowanych sterowników logicznych z zastosowaniem komercjalnego oprogramowania i języków opisu sprzętu.
The paper presents a way of finding a suitable Petri net cover by means of a minimal number of maximal State Machine subnets (SM-components). A new symbolic method of Petri net parallel decomposition is based on early selection of proper minimal transversals, taken from family of all global Petri net states. Global states are given in advance as maximal subsets, formed from mutually concurrent places. They can be found as reachable global states of Petri net. During digital design of a logic controller, the places of the safe Petri net are treated as local internal states of Concurrent State Machine, implemented in a reconfigurable logic device (FPGA). The minimal number of selected transversals, which characterizes subsets of sequentially related places, is assigned to separate State Machine subnets. The computer based reasoning is searching a logic expression describing transversals in Gentzen sequent logic. The obtained decomposition (or cover) is used for state encoding of configurable array based embedded logic controllers, implemented as microsystems.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 11, 11; 1397-1400
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wyjaśnianie za pomocą praw przyrody jako warunek naukowości w sporze o ewolucję i inteligentny projekt
Explaining by the laws of nature as a condition of scientific status in the controversy of evolution and Intelligent Design
Autorzy:
Sagan, Dariusz
Powiązania:
https://bibliotekanauki.pl/articles/431370.pdf
Data publikacji:
2013
Wydawca:
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:
laws of nature
historical sciences
experimental sciences
abductive reasoning
miracle
design detection
Intelligent Design
prawa przyrody
nauki historyczne
nauki eksperymentalne
rozumowanie abdukcyjne
cud
wykrywanie projektu
Inteligentny Projekt
Opis:
According to intelligent design theory, certain biological and cosmic phenomena were designed by an intelligent being, which could just as well be natural and supernatural, and this design can be detected scientifically. Critics claim that this theory is unscientific because it does not invoke the laws of nature in its explanations, but rather the purported actions of a designer, which violate these laws. However, this objection seems unsound. Intelligent design theory could be recognized as an instance of the so-called historical science, in which explanation by the laws of nature plays, at most, a subsidiary role and its main focus is on seeking out individual causes of individual effects. The requirement to invoke the laws of nature would also be a threat to evolutionary biology, which is another instance of historical science. Moreover, it could be shown that – contrary to the crtitis’ claims – the actions of a possible designer (even a supernatural one) in the world should not immediately be seen as inherent to a violation of the laws of nature, and even if it were the case, the conclusion of design could be well justified.
Zgodnie z teorią inteligentnego projektu pewne zjawiska biologiczne i kosmiczne zostały zaprojektowane przez istotę inteligentną, która równie dobrze może być naturalna, jak nadnaturalna, a projekt ten jest wykrywalny naukowo. Krytycy twierdzą jednak, że teoria ta nie jest naukowa, gdyż w swoich wyjaśnieniach nie odwołuje się do praw przyrody, lecz do rzekomych działań projektanta, które te prawa łamią. Zarzut ten wydaje się jednak chybiony. Teorię inteligentnego projektu można zaliczyć do tzw. nauk historycznych, w których wyjaśnianie za pomocą praw przyrody odgrywa co najwyżej pomocniczą rolę, zaś główny nacisk kładziony jest na poszukiwanie jednostkowych przyczyn dla jednostkowych skutków. Wymóg odwoływania się do praw przyrody godziłby też w biologię ewolucyjną, która również ma charakter nauki historycznej. Można ponadto wykazać, że – wbrew twierdzeniom krytyków – działanie ewentualnego projektanta (nawet nadnaturalnego) w świecie nie musi nieodłącznie wiązać się z łamaniem praw przyrody, a nawet gdyby tak było, to wniosek o projekcie i tak mógłby być dobrze uzasadniony.
Źródło:
Studia Philosophiae Christianae; 2013, 49, 1; 93-116
0585-5470
Pojawia się w:
Studia Philosophiae Christianae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wyjaśnianie empiryczne a wyjaśnianie interpretacyjne działań politycznych
Empirical Explanation and Interpretive Explanation of Political Activities
Autorzy:
Czajowski, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/1195288.pdf
Data publikacji:
2020
Wydawca:
Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:
wyjaśnianie empiryczne
wyjaśnianie interpretacyjne
wyjaśnianie integralne
działania polityczne
naturalizm
antynaturalizm
wnioskowanie abdukcyjne / empirical explanation
interpretive explanation
integral explanation
political actions
naturalism
anti-naturalism
abductive reasoning
Opis:
Artykuł porządkuje kwestie dotyczące wyjaśniania zjawisk społecznych, przede wszystkim działań politycznych. W literaturze wymienia się trzy rodzaje wyjaśnień: wyjaśnienie przyczynowe, wyjaśnienie interpretacyjne (humanistyczne, rozumiejące) oraz wyjaśnienie integralne, łączące te dwa. Autor omawia rodzaje wyjaśniania, przy czym termin „wyjaśnianie przyczynowe” zastępuje terminem „wyjaśnianie empiryczne”. Następnie charakteryzuje działania polityczne i ich rezultaty jako przedmiot wyjaśniania. W ostatniej części, na dwóch przykładach analizuje praktykę wyjaśniania empirycznego i interpretacyjnego. W odniesieniu do przykładu wyjaśniania interpretacyjnego przywołuje wnioskowanie abdukcyjne, czyli wnioskowanie do najlepszego wyjaśnienia. W procesie interpretacji, przy braku niezbitych dowodów, nie da się potwierdzić prawdziwości żadnej z hipotez. Można je tylko uprawdopodabniać lub uatrakcyjniać. Biorąc pod uwagę niedoskonałości wyjaśniania empirycznego i interpretacyjnego, należy dążyć do stosowania ich komplementarnie.
The article arranges issues related to explaining social phenomena, primarily political activities. Three types of explanation are mentioned in the literature: a reason explanation, an interpretative explanation (humanistic, understanding) and an integral explanation combining these two. The author discusses the types of explanation, where he replaces the term “causal explanation” with the term “empirical explanation”. Then he characterizes political activities and their results as an object of explanation. In the last part, on two examples, he examines the practice of empirical and interpretive explanation. With reference to the example of interpretive explanation, he recalls abductive reasoning, i.e. inference to the best explanation. In the interpretation process, in the absence of irrefutable evidence, none of the hypotheses can be confirmed. They can only be enhanced or made more attractive. Considering the imperfections of empirical and interpretive explanation, one should strive to use them complementarily.
Źródło:
Teoria Polityki; 2020, 4; 43-60
2543-7046
2544-0845
Pojawia się w:
Teoria Polityki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wspólna struktura ludzkich dociekań w pragmatyce komunikacji prawniczej
The common structure of human inquiry in the pragmatics of legal communication
Autorzy:
Osiejewicz, Joanna
Powiązania:
https://bibliotekanauki.pl/articles/555423.pdf
Data publikacji:
2019-09-23
Wydawca:
Uniwersytet Warszawski. Wydział Lingwistyki Stosowanej
Tematy:
legal communication;
experimental logic;
legal analysis;
legal reasoning;
pragmatics
Opis:
A lawyer who wants to go beyond matrix thinking must develop some mental and practical agility. Understanding and applying John Dewey's experimental logic allows this agility to be achieved. His concept of experimental logic assumes that creativity and subjectivity are the foundation of the functioning of a complex system of legal institutions. Dewey introduces the concept of a common structure or pattern of human inquiry, which remains largely the same regardless of the issue to which it is applied. The pragmatic pattern of legal reasoning is therefore based on a more general pattern of human reasoning. The purpose of the article is to discuss this concept and to present its assumptions in relation to legal reasoning and legal communication.
Źródło:
Applied Linguistics Papers; 2019, 26/3; 51-61
2544-9354
Pojawia się w:
Applied Linguistics Papers
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wnioskowanie w systemach z wiedzą niepełną w przedsięwzięciach inżynieryjnych
Inference processes in incomplete knowledge systems in engineering projects
Autorzy:
Szelka, J.
Wrona, Z.
Powiązania:
https://bibliotekanauki.pl/articles/391027.pdf
Data publikacji:
2014
Wydawca:
Politechnika Lubelska. Wydawnictwo Politechniki Lubelskiej
Tematy:
wnioskowanie w przedsięwzięciach inżynieryjnych
regułowe systemy wnioskowania
wnioskowanie przy niepełnej wiedzy
wnioskowanie w oparciu o przypadki
hybrydowe systemy wnioskowania inżynierskiego
inference in engineering projects
rule-based inference systems
inference with incomplete knowledge
case-based reasoning
hybrid engineering inference systems
Opis:
Rozwiązanie sytuacji problemowej w obszarze przedsięwzięć inżynieryjnych wymaga często wykorzystania metod heurystycznych. W procesie wnioskowania zazwyczaj wykorzystuje się typowe, charakteryzujące się znaczną dostępnością, narzędzia reprezentacji i przetwarzania wiedzy – regułowe systemy ekspertowe. Do istotnych ograniczeń tego typu systemów należy jednak zaliczyć możliwość wnioskowania jedynie w tych przypadkach, dla których wiedza o sytuacji problemowej jest kompletna. Warunek ten nie zawsze udaje się spełnić, a szczególnie trudne staje się to w sytuacjach kryzysowych, często nietypowych i obarczonych dodatkowymi ograniczeniami. Choć wypracowano wiele różnorodnych rozwiązań pozwalających na skuteczne wnioskowanie w warunkach niepełnej wiedzy, to dotychczasowe przypadki ich wykorzystania w procesach wnioskowania inżynierskiego należy uznać za nieliczne. Zasadną wydaje się próba oceny możliwości zastosowania tego typu rozwiązań w przedsięwzięciach inżynieryjnych, w kontekście specyfiki tych przedsięwzięć.
A substantial number of engineering problems can be qualified as heuristic ones. Inference processes, allowing for their solution, are most frequently performed with rule-based expert systems. Such systems, however, are significantly limited by their possibility of inference only if complete knowledge is possessed, which is not always the case in practice (in particular in crisis situations). It is then indispensable to employ other methods and tools. Given the specificity of engineering projects, it seems that case-based reasoning (CBR) is an appropriate solution in this respect. In conjunction with rule-based inference mechanisms, it may constitute a complementary solution, allowing for efficient inference in problem situations in which the level of knowledge completeness varies.
Źródło:
Budownictwo i Architektura; 2014, 13, 4; 407-415
1899-0665
Pojawia się w:
Budownictwo i Architektura
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wnioskowanie rozmyte do określenia własności powłok fosforanowo-wapniowych naniesionych metodą IBAD na podgrzane podłoża
Fuzzy reasoning approach to properties determination of calcium phosphate coatings processed using Ion Beam Assisted Deposition on heated substrates
Autorzy:
Sobieszczyk, S.
Powiązania:
https://bibliotekanauki.pl/articles/284339.pdf
Data publikacji:
2007
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Polskie Towarzystwo Biominerałów
Tematy:
wnioskowanie rozmyte
powłoki implantów medycznych
fuzzy reasoning
medical implants coatings
Opis:
Praca przedstawia rozmyty system wnioskowania dla zamodelowania związków pomiędzy temperaturą podłoża oraz stosunkiem molowym Ca/P w gradientowej powłoce hydroxyapatytowej na podłożu tytanowym. Przeprowadzono symulację działania sterownika rozmytego za pomocą oprogramowania Matlab.
A fuzzy approach has been demonstrated for modelling the relationship between substrate temperature and Ca/P ratio of the functionally graded HA coating on titanium substrate. A fuzzy logic controller (FLC) was utilized using Matlab Software.
Źródło:
Engineering of Biomaterials; 2007, 10, 62; 8-11
1429-7248
Pojawia się w:
Engineering of Biomaterials
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wnioskowanie rozmyte do określenia własności mechanicznych kompozytów z hydroksyapatytu pochodzenia naturalnego oraz tlenku cynku
Using fuzzy reasoning approach to mechanical properties determination of bovine hydroxyapatite and ZnO composites
Autorzy:
Sobieszczyk, S.
Powiązania:
https://bibliotekanauki.pl/articles/284656.pdf
Data publikacji:
2008
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Polskie Towarzystwo Biominerałów
Tematy:
kompozyty
hydroksyapatyt
własności mechaniczne
wnioskowanie rozmyte
composites
hydroxyapatite
mechanical properties
fuzzy reasoning
Opis:
Opracowano metodę wnioskowania rozmytego do określenia własności mechanicznych kompozytów utworzonych z hydroksyapatytu pochodzenia naturalnego oraz ZnO. Zaproponowana w pracy metoda wykazała możliwość skutecznego określenia wartości naprężeń ściskających, mikrotwardości Vickers’a oraz zagęszczenie kompozytu po obróbce cieplnej w różnych temperaturach. Zaprojektowano i przeprowadzono symulację działania sterownika rozmytego (FLC) za pomocą oprogramowania Matlaba.
Mechanical properties of bovine hydroxyapatite (BHA) and ZnO composites have been determinated by using fuzzy reasoning approach. A proposed method showed the possibility of estimation the value of compression strength, Vickers microhardness, and densification after sintering the composites at different temperatures. A fuzzy logic controller (FLC) was utilized using Matlab Software.
Źródło:
Engineering of Biomaterials; 2008, 11, no. 77-80; 89-91
1429-7248
Pojawia się w:
Engineering of Biomaterials
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wnioskowanie do najlepszego wyjaśnienia jako metodologiczna podstawa teorii inteligentnego projektu
Inference to the Best Explanation as the Methodological Basis of Intelligent Design Theory
Autorzy:
Sagan, Dariusz
Powiązania:
https://bibliotekanauki.pl/articles/577759.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
argument z niewiedzy
Bóg w lukach wiedzy
rozumowanie abdukcyjne
wnioskowanie do najlepszego wyjaśnienia
teoria ewolucji
teoria inteligentnego projektu
wykrywanie projektu
archeologia
kryminalistyka
argument from ignorance
God of the gaps
abductive reasoning
inference to the best explanation
evolutionary theory
intelligent design theory
design detection
archaeology
forensics
Opis:
Zgodnie z teorią inteligentnego projektu pewne zjawiska biologiczne i kosmiczne zostały zaprojektowane przez istotę inteligentną, która równie dobrze może być naturalna, jak nadnaturalna, a projekt ten jest wykrywalny naukowo. Krytycy twierdzą jednak, że teoria ta nie jest naukowa, gdyż stosuje wyłącznie argumentację negatywną, a więc jest niepoprawnym argumentem z niewiedzy czy też próbą umieszczenia Boga w lukach wiedzy naukowej. W artykule pokazuję, że teoria inteligentnego projektu posiłkuje się – i musi się posiłkować – zarówno argumentacją negatywną, jak pozytywną. Metodologiczną podstawą tej teorii nie jest argument z niewiedzy, lecz tzw. wnioskowanie do najlepszego wyjaśnienia, będące formą rozumowania abdukcyjnego. Można wykazać, że wnioskowanie do najlepszego wyjaśnienia ma szerokie zastosowanie w nauce – opiera się na nim również teoria ewolucji – zwłaszcza w naukach zajmujących się wykrywaniem projektu, jak archeologia czy kryminalistyka. Samo w sobie nie przesądza to o naukowości teorii inteligentnego projektu, ale może za tym mocno przemawiać.
According to intelligent design theory, certain biological and cosmic phenomena were designed by an intelligent being, which could just as well be natural as supernatural, and this design is scientifically detectable. Critics claim, however, that this theory is unscientific because it employs solely negative argumentation and thus it is an invalid argument from ignorance or an attempt to place God in the gaps of scientific knowledge. In the article, I show that intelligent design theory employs – and must employ – both negative and positive argumentation. The methodological basis of this theory is not an argument from ignorance but the so-called inference to the best explanation which is a form of abductive reasoning. It could be shown that inference to the best explanation has wide application in science – evolutionary theory is based on it too – especially in sciences engaged in the design detection, such as archaeology or forensics. In itself, it does not settle the scientific status of intelligent design theory but it could be a strong indication of this.
Źródło:
Zagadnienia Naukoznawstwa; 2014, 50, 1(199); 41-59
0044-1619
Pojawia się w:
Zagadnienia Naukoznawstwa
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wnioskowanie diagnostyczne o stanie obiektu technicznego w logice k-wartościowej
Inference diagnostic state of the technical object in logic k-valuable
Autorzy:
Duer, S.
Powiązania:
https://bibliotekanauki.pl/articles/210664.pdf
Data publikacji:
2017
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
diagnostyka techniczna
systemy nadzoru i bezpieczeństwa
wnioskowanie diagnostyczne
logiki wielowartościowe
sztuczna inteligencja
technical diagnostics
diagnostic reasoning
multivalent logic
artificial intelligence
Opis:
W prezentowanym artykule przedstawiono problematykę opisującą teoretyczne podstawy wnioskowania (podejmowania decyzji) w logice wielowartościowej. Znaczna część artykułu dotyczy opisu podstaw opracowania logik k-wartościowych, gdzie: k = 2, 3, 4. W pracy przyjęto za podstawę przy opracowaniu logik wielowartościowych przedział zdatności dla logiki dwuwartościowej. W rozdziale trzecim przedstawiono przykład diagnozowania obiektu technicznego w logice czterowartościowej.
The article presents the problem of describing the theoretical basis for inference (decision-making) in the multi-valued logic. A significant part of the article concerns the descrip-tion of the basis for the development of the logic k-value, where k = 2, 3, 4. In the work, as a basis for the development of multivalent logics, the interval suitability for two-valued logic has been taken. The third chapter is an example of diagnosing the technical object in the logic of 4-valuable.
Źródło:
Biuletyn Wojskowej Akademii Technicznej; 2017, 66, 1; 115-126
1234-5865
Pojawia się w:
Biuletyn Wojskowej Akademii Technicznej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wiedza testymonialna a rozumowanie ukryte
Testimonial Knowledge and Implicit Reasoning
Autorzy:
Gałecki, Sebastian
Powiązania:
https://bibliotekanauki.pl/articles/31233179.pdf
Data publikacji:
2023
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
faith
reasoning
first principles
epistemology
Jacek Wojtysiak
John Henry Newman
wiara
rozumowanie
pierwsze zasady
epistemologia
Juhn Henry Newman
Opis:
Problem ukrytości Boga staje się coraz częściej dyskutowanym tematem filozoficznym. W swoim artykule chciałbym zająć się kwestią nazwaną przez Jacka Wojtysiaka (w jego książce Między jawnością a ukryciem) (Wojtysiak 2023) „wiedzą testymonialną” i powiązać ją z Newmanowską koncepcją rozumowania implikatywnego. Odróżnienie od siebie dwóch rodzajów rozumowania — jednego spontanicznego, praktycznego, znajdującego swoje zastosowanie m.in. w obszarze wiary i moralności, oraz drugiego krytycznego, analitycznego i retrospektywnego, używanego w nauce, a także w filozofii i teologii – wydaje mi się kluczowe dla zrozumienia obserwowalnej ukrytości Boga.
The problem of the hiddenness of God is becoming an increasingly discussed philosophical topic. In my article, I would like to deal with the issue called by Jacek Wojtysiak (in his book Między jawnością a ukryciem [Between Hiddenness and Openness]) (Wojtysiak 2023) “testimonial knowledge” and connect it with Newman’s concept of implicit reasoning. Distinguishing between two types of reasoning — one spontaneous, practical, applicable to in the area of faith and morality, and the other: critical, analytical and retrospective, used in science, as well as in philosophy and theology — seems crucial to understanding the factual God’s hiddenness.
Źródło:
Roczniki Filozoficzne; 2023, 71, 4; 199-213
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Why Legal Reasoning has to be Unique
Autorzy:
Koszowski, Maciej
Powiązania:
https://bibliotekanauki.pl/articles/684942.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:
law
legal
lawyers
reason
reasoning
thinking
inference
peculiarity
specific
features
Opis:
This article addresses the issue of the uniqueness of legal reasoning and, specifically, the author advances the thesis that what makes legal reasoning different from the reasoning  employed in demonstrative and empirical sciences and matters of everyday life is not the actual form (scheme) of this reasoning but the legal milieu. Thus, he tries to demonstrate that some features of law – such as its normative and prescriptive nature, difficulties with the verification of its content on empirical grounds, its limitations stemming from the physical world and dependence on humans and their minds, as well as the ‘unspecialized’ character of law agents and the extraordinary role of authority – influence legal reasoning as well. At the same time these features also allow this reasoning to be unique, despite its adoption of forms of inference that are present elsewhere.
Źródło:
Adam Mickiewicz University Law Review; 2017, 7; 325-342
2450-0976
Pojawia się w:
Adam Mickiewicz University Law Review
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ł

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