PL
 |
EN
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 17

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  dedukcja
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Co zostało z geniuszu? Dziedzictwo Sherlocka Holmesa we współczesnych kryminałach
100%
Mydla J.
Świat i Słowo
|
2021
|
tom 36(1)
137-150
PL
Arthur Conan Doyle zasłynął popularyzacją nauki w utworach detektywistycznych, obdarzając swojego bohatera Sherlocka Holmesa umiejętnością posługiwania się jej trzema komponentami (tj. wiedzą naukową, zbieraniem dowodów i sztuką wnioskowania). Dziedzictwo to jest także obecne we współczesnym kryminale, ale te kompetencje zostały rozdzielone między większą grupę osób zaangażowanych w śledztwo. Rozdział ten wpłynął na pozycję detektywa i zmienił jej funkcjonowanie w kontekście wiedzy naukowej. Nauka, przede wszystkim w zakresie różnych dziedzin medycyny sądowej, jest więc tak samo niezbędna jak detektyw, a współcześni autorzy wypracowali różne sposoby ukazywania ich współdziałania. Jako przykład tej współpracy, artykuł analizuje powieść Marka Billinghama Czas śmierci z 2015 roku.
2
Content available Polityka rodzinna i edukacyjna - główny priorytet polityki społecznej państwa
88%
Skawińska M.
|
2012
|
nr 3
129-149
PL
Ewolucja współczesnej rodziny w Polsce związana jest z dynamicznymi przemianami życia społecznego, politycznego i gospodarczego w kraju. Kierunki tych przemian Implikują działanie państwa w kierunku zwiększonej pomocy rodzinom. Przed polityka rodzinną stoi obecnie wyzwanie dotyczące nie tylko łagodzenia ujemnych skutków ubożenia i ubóstwa rodzin, ale także godzenia potrzeb związanych z aspiracjami materialnymi i zawodowymi rodziny i potrzebami dzieci. Jednym z zadań, jakie stawia przed sobą polityka społeczna, jest także wyrównywanie szans edukacyjnych na różnych etapach ich życia jednostki i rodziny. Edukacja to przede wszystkim przekazywanie wiedzy i umiejętności. Dlatego też jednym z celów, bodaj najważniejszym, jaki dzisiaj stoi przed polityką edukacyjną państwa na progu XXI wieku, jest rozwój społeczeństwa opartego na wiedzy, poprzez dostosowanie oferty edukacji szkół i placówek kształcenia zawodowego do potrzeb rynku, wzmocnienie edukacji ustawicznej dla dorosłych oraz rozwój kadr nowoczesnej gospodarki i przedsiębiorczości.
EN
The Polish society traditionally attaches great importance to values that are carried out in a family. For that reason, the need of Family Policy being pursued by the country results from social functions performed by a family. For instance, realization of the procreation function decides upon the population structure, through fulfilling the educational and socialization functions family participates in a formation and development of human capital. Bonds upon which family is based, create foundations for a development of social capital, which is substructure of civil society.
3
Dedukcja naturalna w logice stoickiej
75%
Kostrzycka Z.
Zeszyty Naukowe. Matematyka / Politechnika Opolska
|
1999
|
tom z. 15
77-86
PL
W pracy podejmuje się próbę rekonstrukcji stoickiego rachunku zdań, w szczególności dowodu stoickiego. Porównuje się również rachunek stoicki z klasycznym rachunkiem zdań.
EN
In this paper an attempt is made of reconstruction of the stoic propositional calculus, especially the stoic proof. The stoic calculus is also compared with clasical propositional calculus.
4
O przyczynowej dedukcji societas civilis cum imperio. Kilka uwag o wpływie Hobbesa na pojmowanie prawa
63%
Polaczuk P.
Humanistyka i Przyrodoznawstwo. Uniwersytet Warmińsko-Mazurski w Olsztynie
|
2015
|
tom 21
5
The Methodology of the Austrian School of Economics
63%
Jędruchniewicz A.
Argumenta Oeconomica Cracoviensia
|
2016
|
nr 14
9-28
EN
The aim of this paper is to discuss and evaluate the main problems in the research methodology of the Austrian school of economics. This methodology is considerably different from the mainstream approach. Representatives of the Austrian school claim that research methods cannot be transferred from the natural sciences to the economic sciences. They advocate, therefore, the application of praxeology. Research should be done by means of deductive reasoning, beginning with accepted axioms. The Austrians reject the use of mathematical formalism. Instead, they propose that research should be based on realistic assumptions, verbal logic, and cause-and-effect relationships. Furthermore, they reject precise, quantitative prediction in favour of general, qualitative prediction.
PL
Celem opracowania jest omówienie i ocena głównych zagadnień metodologii badań austriackiej szkoły ekonomii. Jej metodologia znacząco różni się od podejścia szkół głównego nurtu. Przedstawiciele szkoły austriackiej twierdzą, że nie można przenosić sposobów badań z nauk przyrodniczych do ekonomicznych. Proponują używanie prakseologii. Badania powinny być prowadzone za pomocą rozumowania dedukcyjnego, wychodząc od przyjętych aksjomatów. Austriacy odrzucają stosowanie formalizmu matematycznego. Zamiast tego proponują, aby badania oprzeć na realistycznych założeniach, logice werbalnej oraz zależnościach przyczynowo-skutkowych. Wyrzekają się również ilościowego, precyzyjnego prognozowania na rzecz przewidywania ogólnego i jakościowego.
6
Content available Dedukcyjne aspekty abdukcji. Krytyka i postulaty
63%
Wolak Z.
|
|
nr 2(39)
177–200
PL
Artykuł przedstawia krytykę pewnych ujęć i zastosowań abdukcji, która jest przedstawiana jako przeciwieństwo rozumowań dedukcyjnych. Analizując pewne schematy formalne i kilka przykładów, wskazuję na rzeczywistą obecność schematów dedukcyjnych tam, gdzie miały występować abdukcyjne. Staram się wskazać najważniejsze powody takich pomyłek, są nimi m.in. niewłaściwe rozumienie związku przyczynowego, wieloznaczność pojęcia wyjaśnienia, braki w logicznej analizie rozumowań, nieumiejętność właściwego rozróżnienia rozumowań dedukcyjnych i redukcyjnych. Na zakończenie formułuję postulaty, które mogą pomóc w unikaniu najważniejszych błędów związanych z niewłaściwym posługiwaniem się rozumowaniami abdukcyjnymi.
7
Content available remote Creating an algorithm of encryption based on prime numbers in positional systems of calculating residual classes
63%
Wójcik W. , Kalimoldayev M. , Biyashev R. , Kapalova N. , Akhmetova A. , Nugmanova S. , Mergenbayev Y.
|
2018
|
tom R. 94, nr 2
164--169
EN
Building a secure local and remote data warehouse requires data transfer over network channels, identification and authentication of objects and subjects of information protection. Development of reliable and efficient cryptographic tools for information protection and security is needed. The goal is achieved through the development of encryption algorithms, formation and exchange of secret keys on the basis of the residual class system. In the article an unconventional algorithm of enciphering an electronic message of a given length consisting of two stages has been proposed.
PL
Budowanie bezpiecznej lokalnej i zdalnej hurtowni danych rymaga przesyłu danych przez kanały sieciowe, identyfikacji i uwierzytelniania obiektów i podmiotów ochrony informacji. Potrzebne jest opracowanie niezawodnych i wydajnych narzędzi kryptograficznych do ochrony i bezpieczeństwa informacji. Cel ten jest osiągany poprzez rozwój algorytmów szyfrowania, tworzenie i wymianę tajnych kluczy na podstawie systemu klas resztkowych. W artykule zaproponowano niekonwencjonalny algorytm szyfrowania wiadomości elektronicznej o zadanej długości, składający się z dwóch etapów.
8
Content available Strukturalność a dedukcyjność matematyki: współczesny strukturalizm w filozofii matematyki
54%
Czakon M.
Roczniki Filozoficzne
|
2021
|
tom 69
|
nr 2
241-268
EN
It is common for different types of mathematical structuralism that the conjunction of two statements ( a) mathematics is science about structures and b) mathematics is deductive science) is true, Distinct arguments for this two features of mathematics are exanimated therefore the main concepts (structurality and deductivity) are understood differently, the results are various types of structuralism. We claim that it is possible to establish the way of understood of this two concepts in witeh they are equivalent. We argue that can interpret mathematical structuralism as equivalence: a) mathematics is science about structures if and only, if b) mathematics is deductive science
PL
Wspólne dla różnego typu strukturalizmów matematycznych jest stwierdzenie, że dla matematyki jako nauki prawdziwa jest koniunkcja: a) matematyka jest nauką o strukturach oraz b) matematyka jest nauką dedukcyjną. Przedstawiane są odmienne argumenty na rzecz tych dwóch własności matematyki i różnie rozumiane są pojęcia strukturalności i dedukcyjności, co skutkuje powstawaniem różnego rodzaju strukturalizmów. Twierdzimy, że przy pewnym ustalonym sposobie rozumienia tych pojęć możliwa jest ich równoważność. Argumentujemy na rzecz takiego rozumienia strukturalizmu, które streszcza się w stwierdzeniu: a) matematyka jest nauką o strukturach wtedy i tylko wtedy, gdy b) matematyka jest nauką dedukcyjną.
9
Content available A Commentary on Kant’s Introduction of the Concept of Transcendental Deduction
51%
Woleński J.
Acta Universitatis Lodziensis. Folia Iuridica
|
2022
|
tom 100
11-19
PL
Celem artykułu jest pokazanie miejsca analogii prawniczej przy wprowadzeniu przez Kanta pojęcia dedukcji transcendentalnej, rozumianej jako metoda uzasadniająca konieczne twierdzenia o przedmiotach i zawierające element normatywne. To prowadzi do stwierdzenia, że, w perspektywie filozofii transcendentalnej, zachodzą podobieństwa pomiędzy powinnością epistemiczną a powinnością prawną.
EN
The aim of this paper is to show the place of legal analogy in Kant’s introduction of the concept of transcendental deduction. After remarks on Kant’s use of the term “deduction,” transcendental deduction is characterised as the method justifying necessary statements about objects. It is argued that this method has normative elements. This leads to asserting similarities between epistemic obligation and legal obligation in the framework of transcendental philosophy.
10
Content available Intuition and deduction in the process of explaining the correctness of proof in architectural diagrams
51%
Maryńczuk P.
|
2021
|
tom nr 45
39--54
EN
Creating diagrams is an occasion for a sophisticated analysis of notions and exploring their meaning. It is also a form of direct contact with psychological phenomena and juxtaposing intuition and deduction as sources of cognition. Analysis of the development of philosophical stances can present the process of a departure from the classical view that holds that this argumentation can have a purely formal character (while the role of intuition is significantly reduced). The by-product shall be an explanation of often encountered simplifications associated with understanding both positions associated with their extreme versions: the intuitive relict or the version of formalism that produces an impression of being a sterile and even absurd argument. I argue in favour of the utility of both positions, as they can present interesting aspects of certain problems in architectural proofs at different stages of design, and used to distinguish different diagrams.
PL
Tworzenie diagramów to okazja do wyrafinowanej analizy pojęć i swoistego wnikania w ich treść. To również bezpośredni kontakt ze zjawiskami o charakterze psychologicznymi i przeciwstawieniem intuicji i dedukcji, jako źródeł poznania. Analiza rozwoju stanowisk filozoficznych pozwoli na ukazanie procesu odchodzenia od poglądu klasycznego w myśl, którego w sposób intuicyjny ujmujemy poszczególne etapy rozumowania na rzecz poglądu zgodnie, z którym ta argumentacja może mieć charakter czysto formalny (zaś rola intuicji zostaje mocno zredukowana). Natomiast „produktem ubocznym” będzie wyjaśnienie, pewnych często spotykanych uproszczeń związanych ze zrozumieniem obu stanowisk utożsamianych ze skrajnymi ich wersjami. Intuicyjnego reliktu bądź wersją formalizmu sprawiającej wrażenie, że jest to stanowisko jałowe i wręcz absurdalne. Chcę podkreślić użyteczność obu stanowisk, gdyż pozwalają one na ukazanie ciekawych aspektów problemów w dowodach architektonicznych, na rożnych etapach projektowania i wyodrębnienie różnych diagramów.
11
Content available From workflow design patterns to logical specifications
51%
Klimek R.
Automatyka / Automatics
|
2013
|
tom Vol. 17, no. 1
59--63
EN
This work concerns issues related to automatic generation of logical specifications. Logical specifications can be extracted directly from developed software models. Received specification can be used in the process of a system formal verification using a deductive approach. The generated logical specification is just a set of temporal logie fonnulas as well as verified system properties are expressed in temporal logie. The extraction process is based on the idea of organizing the whole analyzed model as a set of certain design patterns of control flows. A method of automatic transformation of workflow design patterns to temporal logie formulas is proposed. These formulas constitute a logical specification and may be the first step towards a formal verification of system correctness using any method of the deduction-based reasoning. Applying the presented concepts enables bridging the gap between naturalness and intuitive of the deductive inference and the difficulty of its practical application in the case of software models.
PL
Praca dotyczy zagadnień związanych z automatyczną generacją i modelowaniem specyfikacji logicznej. Specyfikacja logiczna może być wygenerowana bezpośrednio z modeli oprogramowania. Tak uzyskana specyfikacja następnie może być wykorzystana w procesie formalnej weryfikacji przy wykorzystaniu podejścia dedukcyjnego. Wygenerowana specyfikacja reprezentowana jest przez zbiór formuł logiki temporalnej, również weryfikowane własności systemu mogą i powinny być wyrażone w logice temporalnej. Proces ekstrakcji opiera się na założeniu, aby cały analizowany model oprogramowania został zbudowany w oparciu o przyjęte, dowolne, ale najlepsze dla danej klasy zastosowań, wzorce projektowe. Została zaproponowana metoda automatycznej translacji wzorców projektowych (przepływów) do postaci formuł logiki temporalnej. Formuły te składają się na logiczną specyfikację i mogą stanowić pierwszy krok w kierunku formalnej weryfikacji poprawności systemów z wykorzystaniem dowolnej metody wnioskowania dedukcyjnego. Zastosowanie przedstawionych koncepcji umożliwia połączenie naturalności i intuicyjności samego wnioskowania logicznego oraz praktycznego zastosowania tych metod w przypadku modeli oprogramowania.
12
Content available Główne podejścia oraz metody i techniki badania procesów zarządzania organizacjami
51%
Bieniok H.
|
2018
|
tom z. 120
15--34
PL
Autor zaprezentował tylko w zarysie podstawowe założenia metod badawczych stosowanych we wszelkich badaniach organizatorskich. Są one niestety mało znane, w związku z czym większość badań podejmowanych w naukach o zarządzaniu ma charakter płytki i niedokończony. Autorzy takich badań poprzestają na ogół tylko na zastosowaniu socjologicznych technik zbierania informacji takich jak ankieta, a przecież jest to dopiero połowa całego procesu badawczego. Brakuje im całej części analityczno-projektowej, którą silnie akcentuje prezentowana w opracowaniu metoda diagnostyczna.
EN
In the paper there is a sketch of a foundation for assumptions of research methods used in any organization research. The assumptions are not so well-known which effects in the fact that the most of organization research is not deep and not completed. The authors of such organization research used to apply only the sociological techniques, such as a survey technique. Nevertheless, it is not only a half of the whole research procedure. There is a lack of the analytical part and the design which are the elements of the presented diagnostic method.
13
Content available Linguistics and philosophy: the dimensions of the 21st century
51%
Biskub I.
Language. Culture. Politics. International Journal
|
2018
|
tom 1/2018
7-18
EN
The article highlights the new dimensions for the integral interaction between linguistics and philosophy in the 21st century. Starting from the philosophical conceptions of B. Russel and L Wittgenstein the question of how to acquire the linguistic knowledge – by experience or reasoning – still brings about scientific debate. In the present paper we give reasons to the idea that philosophy based on language analysis is one thing; the basing of language analysis on philosophy is quite another. Modern applications of the linguistic analysis based on the use of philosophical methods and categories are suggested; the choice of language means for the effective human-computer interaction via graphical user interfaces of computer software is one of them. The main focus of the article is explaining the mechanisms of formal inductive modeling and deductive reasoning that are involved in selecting appropriate language means for the software discourse. Special attention is given to linguistic categorization that serves as a bridge between deductive reasoning and formal inductive modeling.
PL
Artykuł przedstawia nowe kierunki zintegrowanego badania nad językiem w filozofii XXI wieku. Poczynając od filozoficznych koncepcji Russela i Wittgensteina, do dziś kontynuuje się debatę naukową poświęconą problematyce determinacji znaczenia lingwistycznego – przez doświadczenie lub myślenie. W artykule podjęto próbę wykazania, że filozofia oparta na analizie językowej - to jedno, zaś analiza językowa wywodząca się z filozofii – to zupełnie coś innego. Artykuł proponuje nowoczesną analizę opartą na wykorzystaniu filozoficznych metod i kategorii; jedną z kwestii jest wybór narzędzi językowych w celu skutecznej komunikacji człowiek-komputer za pomocą interfejsu graficznego. Badanie koncentruje się na wyjaśnieniu metod formalnego modelowania indukcyjnego i wnioskowania dedukcyjnego. Powyżej wspomniane metody są wykorzystane w procesie wyboru odpowiednich narzędzi językowych dla oprogramowania komputerowego. Szczególną uwagę zwraca się na kategoryzację językową, która służy jako pomost między wnioskowaniem dedukcyjnym a formalnym modelowaniem indukcyjnym.
14
Zastosowanie logistyki w forensyce
51%
Kulińska E.
Logistyka
|
2015
|
tom nr 3
21--23
PL
Przedmiotem artykułu jest wykazanie, ze wykorzystanie prawidłowości funkcjonowania łańcuchów dostaw oraz systemów logistycznych, wraz z całym aparatem narzędzi w forensyce rozumianej jako dyscyplinie mającej na celu dostarczenie materiału dowodowego dla sądu, daje możliwość opracowania modeli referencyjnych przestępstw i aktów terrorystycznych dając narzędzie do walki z przestępczością i terroryzmem. Zaprezentowany materiał jest próbą odpowiedzi na problem badawczy postawiony w formie pytania: czy w jakim zakresie logistyka może wspierać działania forensyczne? Do zweryfikowania tak postawionego problemu użyto narzędzi badawczych teoretycznych (analiza, synteza, uogólnienia, porównania) i praktycznych (metoda porządkowania).
EN
The article is to demonstrate that the use of the principles of functioning of supply chains and logistics systems, along with the entire camera tools in forensics, understood as a discipline aimed at providing evidence for court, gives you the opportunity to develop reference models of crimes and terrorist acts by giving a tool to fight crime and terrorism. The presented material is an attempt to answer the research problem posed in the form of a question: is, and to what the extent, logistics able to support forensics? To examine this particular problem there were used theoretical research tools (analysis, synthesis, generalization, comparison) and the practical ones (method of ordering).
15
Content available Weryfikacja procesów biznesowych metodą tablic semantycznych
51%
Klimek R. , Skrzyński P. , Turek M.
|
2010
|
tom T. 14, z. 3/2
905-914
PL
Artykuł opisuje wyniki prac nad ustabilizowaniem metodyki umożliwiającej formalne weryfikowanie poprawności procesów zapisanych za pomocą zbioru wzorców procesowych w notacji BPMN. Główną ścieżką rozwiązania jest prowadzenie konwersji modelu BPMN do postaci zbioru specjalnie opracowanych formuł logiki temporalnej. Następnie - formalnie zadana weryfikacja poprawności zbioru formuł z zastosowaniem opracowanego przez autorów rachunku. W procesie weryfikacji została wykorzystana metoda wnioskowania bazująca na zastosowaniu tablic semantycznych. Może ona przebiegać automatycznie i jest ciekawą alternatywą dla tradycyjnego podejścia - umożliwiając m.in. względnie łatwe wskazanie błędów w specyfikacji procesu.
EN
This paper describes the results of work on stabilizing the methodology for formal correctness verification of processes recorded in a process model with BPMN notation. The main path of a solution is to carry out the conversion of BPMN model to set of specially designed logic formulas. Afterwards - to formal verify the correctness of formulas using the calculation provided by the authors. A semantic table method has been applied in the verification process. The approach could provide interesting alternative to the traditional approach, allowing relatively easy errors identification in the specification process.
16
Content available Rozumowanie dedukcyjne w procesie uczenia się języka niemieckiego jako drugiego języka obcego na przykładzie podsystemu gramatycznego
51%
Bawej I.
|
2022
|
nr 58/1
85-98
EN
The role of the first foreign language in second foreign language learning is an interesting research question. The main purpose of the research was to relate if and how the learners make deductions about German grammar based on English language skills. Therefore, this study presents the results of a survey conducted among students of Applied Linguistics who learn German after English. Participants were interviewed to state their opinion about the usefulness of English in learning German structures. The results of this inquiry allow the conclusions that learners use and transfer the previously acquired knowledge and information from what they have in first foreign language in order to understand, learn or form structures in the second foreign language. They compare both languages, look for similarities in the creation of the construction and the application of the structures or constructions, conclude by analogies between English and German in grammatical subsystem. In this way they deduce that English makes possible and facilitates to memorize grammatical forms while learning German, e.g. passive voice, articles, tenses, irregular verbs, comparative and superlative adjectives.
17
Content available Wittgenstein i argumentacja krytyczna
44%
Shusterman R.
Przestrzenie Teorii
|
2016
|
nr 25
323-345
EN
In his paper Wittgenstein and Critical Reasoning, Richard Shusterman analyses the influence which Wittgensteinian aesthetics has had on contemporary criticism. Concentrating primarily on the second phase of Wittgenstein’s philosophy, Shusterman first demonstrates how the idea of language games and related concepts undermined both essentialist deductive and quasi-scientific inductive models of criticism. In place of these two approaches, Shusterman argues, Wittgensteinian aesthetics offers a new one, which he describes as perceptual-persuasive. In the next step, however, Shusterman observes that Wittgenstein’s followers often commit the very fallacy that Wittgenstein wanted to avoid, by imposing the perceptual persuasive model as the only valid solution for criticism. However, in order to be more in line with Wittgensteinian aesthetics, he argues, we should rather recognise the plurality of possibilities – perceptual-persuasive, deductive or inductive – whose choice depends on the language game currently played.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.