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ę "formálne" wg kryterium: Temat

  Lista filtrów

Dostawca treści

Wyrównaj
Wyświetlanie 1-15 z 83
Tytuł:
Specyfikacja formalna protokołów prostych magistral polowych
Formal specyfication of small fieldbus protocols
Autorzy:
Pelc, L.
Trybus, L.
Powiązania:
https://bibliotekanauki.pl/articles/156290.pdf
Data publikacji:
2005
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
protokoły polowe
metody formalne
język LOTOS
Opis:
Scharakteryzowano problem formalnego specyfikowania protokołów komunikacyjnych dla magistral polowych. Wskazano dwa sposoby uwzględniania upływu czasu oraz omówiono zagadnienie jawnego specyfikowania ograniczeń czasowych komunikacji. Weryfikację poprawności systemu ze specyfikowanym protokołem ograniczono do testów. Zastosowano język specyfikacji LOTOS oraz jego czasowe rozszerzenie RT-LOTOS. Rozważania zilustrowano prostym przykładem protokołu Master-Slave, powszechnie stosowanym w małych systemach rozproszonych.
The problem of fieldbus protocol formal specification is characterized. Two techniques of time elapsing are indicated. Explicit specification of time constraints is described. Verification of a system that uses specified protocol is carried out by means of tests, LOTOS specification language and its RT-LOTOS real time extension is used. Considerations are illustrated by simple example of Master-Slave protocol employed for vertical communication in small distributed system.
Źródło:
Pomiary Automatyka Kontrola; 2005, R. 51, nr 1, 1; 14-15
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ontologia formalna. Przykład: ontologia w Polsce
Autorzy:
Kaczmarek, Janusz
Powiązania:
https://bibliotekanauki.pl/articles/705906.pdf
Data publikacji:
2012-09-01
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
ontologia
ontologia formalna
twierdzenia formalne
twierdzeniainterpretacyjne
parafraza
hermeneutyka logiczna
Opis:
Na przykładzie ontologii uprawianej w Polsce podjęta zostaje próba określenia, czym jest ontologia formalna. Wskazane zostają typy twierdzeń wypracowanych w ramach ontologii oraz podane są przykłady twierdzeń, które tu nazywamy twierdzeniami formalnymi i twierdzeniami interpretacyjnymi. Dzięki temu można zrozumieć, czym jest ontologia formalna, oraz jaki jest jej stosunek do ontologii jako takiej. Temat tu podjęty jest fragmentem szerszego programu, którego celem jest prezentacja podstawowych koncepcji i problemów opracowanych bądź analizowanych w dziedzinie formalnej ontologii w Polsce.
Źródło:
Przegląd Filozoficzny. Nowa Seria; 2012, 3; 165-175
1230-1493
Pojawia się w:
Przegląd Filozoficzny. Nowa Seria
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Przemiany instytucjonalne na rynku finansowym w Polsce – wybrane aspekty
Autorzy:
Jakubowska, Agata
Powiązania:
https://bibliotekanauki.pl/articles/584031.pdf
Data publikacji:
2017
Wydawca:
Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Tematy:
przemiany instytucjonalne
instytucje formalne
instytucje nieformalne
rynek usług finansowych
Opis:
Rozpoczęta w roku 1989 transformacja systemowa w Polsce doprowadziła do przemian zarówno instytucji formalnych, jak i nieformalnych we wszystkich obszarach gospodarki. Jednym z obszarów przemian w tym okresie był rynek usług finansowych i związane z nim instytucje. Banki i cały system bankowy z uwagi na swoją rolę w gospodarce zostały poddane przemianom w pierwszej kolejności. Rozpoczęte reformy instytucji formalnych doprowadzić miały do powstania nowego konkurencyjnego sektora bankowego. Przemiany nastąpiły zarówno w obszarze instytucji formalnych, jakimi były ustawowe normy i zasady regulujące reguły gry na rynku finansowym, jak i w obszarze instytucji nieformalnych, czyli np. zaufania do instytucji bankowych i całego systemu bankowego. Celem artykułu jest próba pokazania, w jaki sposób zmieniały się instytucje formalne i nieformalne rynku finansowego w Polsce po roku 1989.
Źródło:
Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu; 2017, 488; 59-67
1899-3192
Pojawia się w:
Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A safety related perspective for the power supply systems in railway industry
Bezpieczeństwo systemów zasilania w przemyśle kolejowym
Autorzy:
Oz, M. A.
Kaymakci, O. T.
Koyun, A.
Powiązania:
https://bibliotekanauki.pl/articles/301911.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Tematy:
Markov models
reliability
formal modeling
modele Markowa
niezawodność
modelowanie formalne
Opis:
Within its structure railway transportation systems contain very critical subsystems that can seriously harm the system itself, people or the environment if not properly controlled. Therefore, these critical subsystems are analysed according to the related standards and necessary safety functions are implemented, verified and operated. On the other hand, railway power supply system, which is a critical subsystems, is generally properly analysed from a reliability perspective whereas the corresponding safety related functions are roughly examined. This paper proposes that the railway power supply systems should be considered as safety critical systems and justifies this proposal using risk analysis as presented in the standard IEC 61508. The safety related functions of the system are examined and each function is modelled in detail using Markov modelling method. These models are implemented over a power supply system of Istanbul Transportation Co. and SIL values of the safety functions are calculated using these modular and easily adaptable Markov models. Furthermore the obtained results are compared with simplistic Fault Tree analysis (FTA) and the significance of accurate calculation is demonstrated.
W skład struktury kolejowych systemów transportowych wchodzą krytyczne podsystemy, które, nieodpowiednio monitorowane, mogą narażać sam system, a także ludzi oraz środowisko na poważne szkody. Dlatego też, podsystemy krytyczne analizuje się zgodnie z odpowiednimi normami oraz wdraża w nich, weryfikuje i realizuje niezbędne funkcje bezpieczeństwa. W przypadku systemów zasilania kolei, które należą do grupy podsystemów krytycznych, system na ogół analizuje się dokładnie z punktu widzenia niezawodności, natomiast funkcje bezpieczeństwa bada się jedynie pobieżnie. W prezentowanej pracy postuluje się że systemy zasilania kolei powinny być traktowane jako krytyczne dla bezpieczeństwa, co autorzy uzasadniają z wykorzystaniem analizy ryzyka przedstawionej w normie IEC 61508. W proponowanym rozwiązaniu, bada się funkcje bezpieczeństwa systemu, przy czym każda funkcja zostaje szczegółowo zamodelowana za pomocą metody modelowania Markowa. Modele tego typu wdrożono w systemie zasilania firmy Istanbul Transportation Co. Wartości poziomu nienaruszalności bezpieczeństwa (SIL) badanych funkcji bezpieczeństwa obliczano za pomocą wspomnianych modularnych modeli Markowa charakteryzujących się łatwością adaptacji. Ponadto, uzyskane wyniki porównano z symplistyczną analizą drzewa błędów (FTA), a także wykazano znaczenie prowadzenia dokładnych obliczeń.
Źródło:
Eksploatacja i Niezawodność; 2017, 19, 1; 114-120
1507-2711
Pojawia się w:
Eksploatacja i Niezawodność
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Instytucje formalne i nieformalne. Skutki antynomii
Autorzy:
Gruszewska, Ewa
Powiązania:
https://bibliotekanauki.pl/articles/581311.pdf
Data publikacji:
2017
Wydawca:
Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Tematy:
system instytucjonalny
instytucje formalne
instytucje nieformalne
antynomia instytucji
ewolucja instytucji
Opis:
W artykule zaprezentowano badania autorki nad systemem instytucjonalnym gospodarki, w tym nad relacjami między instytucjami. Celem badań było wskazanie przejawów antynomii instytucji formalnych i nieformalnych. Analizę przeprowadzono na przykładzie polskiej gospodarki na tle wybranych krajów. Fundamentalna kwestia sprawności systemu instytucjonalnego dotyczy zależności zachodzących na linii: instytucje formalne a nieformalne. Antynomia między nimi stanowi „tarcie” w kreowaniu spójnych bodźców przez ten system. Powstanie i narastanie konfliktu między instytucjami formalnymi i nieformalnymi staje się barierą rozwoju gospodarczego, ogranicza inwestycje i przedsiębiorczość poprzez spadek zaufania do innych instytucji i do państwa. Głównym przejawem dysonansu między instytucjami w Polsce jest niski stopień zaufania społecznego i akceptacji prawa. Zasadniczymi tego powodami są nieprzejrzystość i wysoki stopień skomplikowania prawa oraz erozja instytucji nieformalnych.
Źródło:
Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu; 2017, 493; 36-50
1899-3192
Pojawia się w:
Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Most łączący nauki biologiczne z techniką - biocybernetyka
Autorzy:
Tadeusiewicz, R.
Powiązania:
https://bibliotekanauki.pl/articles/846701.pdf
Data publikacji:
2015
Wydawca:
Polskie Towarzystwo Przyrodników im. Kopernika
Tematy:
biologia
medycyna
technika
biocybernetyka
modele formalne
schematy blokowe
modele biocybernetyczne
Źródło:
Wszechświat; 2015, 116, 04-06
0043-9592
Pojawia się w:
Wszechświat
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modyfikacje zwrotu podbijać komuś bębenka we współczesnej polszczyźnie
A modification of the expression podbijać komuś bębenka in the contemporary polish language
Autorzy:
Ignatowicz-Skowrońska, Jolanta
Powiązania:
https://bibliotekanauki.pl/articles/1591947.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Szczeciński. Wydawnictwo Naukowe Uniwersytetu Szczecińskiego
Tematy:
phraseology
formal innovations
semantic innovations
frazeologia
innowacje formalne
innowacje semantyczne
Opis:
Analizowany w artykule stary, pochodzący z XVI wieku zwrot podbijać komuś bębenka jest współcześnie często używany, ale w postaciach innowacyjnych zarówno na poziomie formalnym, jak i semantycznym. Takim aktualizacjom sprzyja mało dziś znana geneza związku i – jak z analizy wynika – jego słabe utrwalenie formalno-znaczeniowe w pamięci mówiących. Ponieważ z jakichś powodów zwrot dla użytkowników języka jest wciąż atrakcyjny, jest używany w formach zmodyfikowanych. Pod względem formalnym pojawiają się wszelkie możliwe transformacje jego struktury: leksykalne, gramatyczne i łączliwościowe. Pod względem semantycznym najbardziej czytelne okazują się aktualizacje tradycyjnej treści ‘pochlebiać komuś’. Pozostałe użycia są mniej wyraziste. Można wskazać konteksty, zdecydowanie mniej liczne, w których realizowane jest znaczenie ‘zachęcać do czegoś’, przy czym – jak przekonują badania – aktualizowany jest zarówno pozytywny odcień zachęcania: ‘zachęcać do czegoś dobrego’, jak i negatywny ‘judzić, podburzać, zachęcać do złego’. Obok nich występują liczne cytaty, w których innowacyjnie pod względem formalnym użyty zwrot staje się nośnikiem nowych treści: podbijać stawkę, potęgować coś’, ‘grać na jakichś nastrojach, emocjach, wykorzystywać je dla osiągnięcia jakichś interesów’ i ‘podgrzewać atmosferę, podsycać emocje’. Obecność takich treści jest efektem nawiązywania przez stary zwrot o genezie nieprzejrzystej dla współczesnych użytkowników języka wtórych relacji znaczeniowych z innymi wyrazami i związkami oraz wiązania go ze zjawiskami pozajęzykowymi, którym towarzyszy bicie, walenie w bębny.
An old expression, coming from the 16th century, podbijać komuś bębenka, ‘to flatter somebody’, which is analysed in the article, is now frequently used, but in some innovative forms both at the formal and semantic levels. Such updates are favoured by the fact that the genesis of the expression is not widely known, and – as suggested by the analysis – its formal and semantic consolidation in the memory of the speakers is rather weak. The expression is still used, although in modified forms, because it is somehow attractive for the speakers. From the formal point of view there appear all possible transformations of its structure: lexical, grammatical and collocative. From a semantic point of view the most clear are the updates with the original meaning: ‘to flatter somebody’. The other options are less clear. It is possible to find contexts, definitely less numerous, with the meaning: ‘to encourage somebody’, and – accord ing to the results of the research – both the positive and the negative connotations might appear: ‘to encourage somebody to do something positive’, ‘to stimulate’ or ‘to encourage somebody to do something negative’, ‘to egg on’. In addition, there are numerous quotations in which the expression – formally innovative – becomes a carrier of new meanings: ‘to bid up’, ‘to heighten’, ‘to play on somebody’s emotions’, and ‘to add fuel to something’. The occurrence of such meanings results from the fact that the old expression of unclear genesis for the present-day speakers has developed new semantic relations with other words and expressions, and because it associates with non-linguistic phenomena: drumming, beating the drum.
Źródło:
Studia Językoznawcze; 2016, 15; 145-165
1730-4180
2353-3161
Pojawia się w:
Studia Językoznawcze
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
El texto de El ser sobrenatural como contexto próximo para entender la noología, la metafísica y la visión de Dios sobre Zubiri
The text El ser sobrenatural as an indispensable context for understanding epistemology, metaphysics and the vision of God in the philosophy by Xavier Zubiri
Autorzy:
Niziński, Rafał S.
Powiązania:
https://bibliotekanauki.pl/articles/1402416.pdf
Data publikacji:
2021-07-30
Wydawca:
Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:
przyczynowanie formalne
napięcie
formatywność rzeczywistości
aprehensja pierwotna
logos
rozum
szkic
Opis:
The philosophy of Xavier Zubiri is recognized as one of the most diffi cult to understand because there is something unclear in it. Therefore one may guess that there is a hidden presumption done by Zubiri. Zubiri in the self-presentation of his philosophical backgrounds acknowledges that his philosophy owes most to the phenomenology of Husserl and metaphysics of Heidegger. He also admits of being infl uenced by Aristotle to a certain degree. Zubiri starts his analyses from perception of things, with which he fulfi lls phenomenological requirement of beginning philosophy with the description of reality. As the fi nal step he ads metaphysics, which explains the description of reality. Following this code of interpretation of Zubiri’s philosophy it is difficult to grasp its core meaning. What is this hidden supposition? In The Supernatural Being: God and Deifi cation in Saint Paul’s Theology, which he wrote in the 30s’ and 40s’ of the 20th century, Zubiri presents early Christian Neoplatonic theology. In the same work Zubiri also states that it is possible to discover the same ideas following the way up, i.e. departing from the creatures and ascending to God. And this will be the hidden supposition of his philosophy. This paper tries to show the philosophy of Zubiri can be understood as a kind of proof that the Neoplatonic vision of the reality presented in The Supernatural Being: God and Deifi cation in Saint Paul’s Theology is true and can be discovered by reason alone, i.e. departing only from description of facts.
Filozofia Xavier Zubiriego jest jedną z trudniejszych do zrozumienia, ponieważ zawiera pewne niezrozumiałe elementy. Dlatego zasadnym jest przypuszczenie, że może zawierać ona pewne ukryte założenie, które nie jest ujawnione ani przez Zubiriego, ani przez kontynuatorów jego myśli. Zubiri, omawiając wpływy różnych nurtów na jego myśl, przywołuje jedynie fenomenologię Husserla i metafizykę Heideggera. Przyznaje się także do sięgania do myśli Arystotelesa. Zubiri zaczyna swoje analizy od percepcji rzeczy, przez co czyni zadość fenomenologicznemu wymogowi rozpoczynania refleksji filozoficznej od opisu rzeczywistości. Końcowym etapem tej refleksji jest metafizyka, która wyjaśnia opisywaną rzeczywistość. Jednakże podążając tym tropem, jest trudną rzeczą do końca zrozumieć istotę jego filozoficznej refleksji. Co jest tym ukrytym założeniem? W dziele El ser sobrenatural: Dios y la deifi cación en la teología paulina, które Zubiri napisał w latach 30. i 40. XX wieku Zubiri interpretuje wczesno chrześcijańską neoplatońską teologię. W tym samym dziele Zubiri stwierdza, że jest możliwe dojście do podobnego rozumienia rzeczywistości poczynając od analizy rzeczy wznosząc się ku Bogu. I właśnie to będzie ukrytym założeniem jego filozofii. Tezą tego artykułu jest to, że filozofia Zubiriego może być rozumiana jako pewna próba wykazania, że neoplatońska wizja rzeczywistościu kazana w El ser sobrenatural: Dios y la deifi cación en la teología paulina jest prawdziwa i można do niej dojść na drodze dociekań rozumowych, to znaczy zaczynając od odpisu faktów.
Źródło:
Filozofia Chrześcijańska; 2020, 17; 137-165
1734-4530
2450-0399
Pojawia się w:
Filozofia Chrześcijańska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Socjologia a praktyka rozwiązywania problemów społecznych – między naukowymi a nieformalnymi teoriami problemów społecznych
Autorzy:
Kudlińska, Iwona
Powiązania:
https://bibliotekanauki.pl/articles/652356.pdf
Data publikacji:
2014
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
teorie formalne
teorie nieformalne
praktyczna mądrość
socjologia problemów społecznych
społeczny konstrukcjonizm
Opis:
W artykule została poruszona problematyka relacji między naukami społecznymi (szczególnie socjologicznymi teoriami problemów społecznych) a praktyką rozwiązywania problemów społecznych. Związki między akademickimi teoriami a ich rozumieniem i zastosowaniem w praktyce często nie są oczywiste, a czasem w ogóle nie istnieją. Dzieje się tak, ponieważ socjologowie obawiają się, że angażowanie się w rozwiązywanie problemów społecznych może być postrzegane jako mało profesjonalne i obniży wartość ich pracy jako nauki. Praktycy z kolei są krytyczni i niechętni wobec aplikowania teorii akademickich, skłonni są raczej do tworzenia i posługiwania się własnymi teoriami (nieformalnymi będącymi konstrukcjami) opartymi na praktycznej mądrości. W artykule przedstawiono również wyniki badań nad społecznym konstruowaniem problemu bezradności opiekuńczo-wychowawczej jako przykładu nieformalnych teorii problemów społecznych, którymi posługują się praktycy w codziennej pracy socjalnej. Teorie formalne i nieformalne są do siebie podobne i pełnią podobne funkcje, przenikają się, a ich celem jest stworzenie znaczących opowieści o problemie społecznym i przekonanie społeczeństwa do proponowanych sposobów rozwiązywania problemu. Celem artykułu, odwołującego się do literatury przedmiotu oraz badań własnych, jest ułatwienie poszukiwania odpowiedzi na pytanie, w jaki sposób prywatne, oparte na osobistych doświadczeniach teorie pracowników socjalnych stają się konstruktami społecznymi porządkującymi ich pracę w sposób podobny, jak czynią to teorie akademickie, mimo że nimi nie są. Takie teorie nieformalne mogą stanowić z jednej strony przejaw podejścia eklektycznego, z drugiej zaś ‒ mogą zmienić pracę socjalną w rytuał, który potwierdza i utrwala problemy społeczne.
Źródło:
Acta Universitatis Lodziensis. Folia Sociologica; 2014, 50
0208-600X
2353-4850
Pojawia się w:
Acta Universitatis Lodziensis. Folia Sociologica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Prognozy wskaźnika zatrudnienia i ich weryfikacja w krajach Unii Europejskiej w świetle strategii „Europa 2020”
Employment rate forecasts and their verification in the European Union member states in the light of the Europe 2020 strategy
Autorzy:
Krupowicz, Joanna
Powiązania:
https://bibliotekanauki.pl/articles/424982.pdf
Data publikacji:
2017
Wydawca:
Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Tematy:
strategia „Europa 2020”
prognozy wskaźnika zatrudnienia
weryfikacja prognoz
subiektywne modele formalne
Opis:
Jednym z celów strategii „Europa 2020” jest osiągnięcie wskaźnika zatrudnienia osób w wieku 20-64 lata na poziomie co najmniej 75%. Celem badania było ustalenie, jakiego tempa zmian w czasie należy spodziewać się, aby kraje wspólnoty osiągnęły założone wartości wskaźnika w 2020 roku. Zbudowano subiektywne modele formalne o różnych postaciach funkcji trendu dla krajów członkowskich Unii. Wyznaczono prognozy wskaźnika do 2020 roku. Zweryfikowano prognozy wyznaczone na lata 2010-2015. Posłużono się średnimi błędami ex post (ME, MAE, MAPE), współczynnikami: Theila i rozbieżności dla różnic. Prognozy były generalnie obarczone małymi błędami, ale systematycznie zawyżane, a przyczynami złej jakości prognoz było nieodgadnięcie średniej wartości zmiennej. Stosując kryterium minimalizacji błędu średniego ex post, ustalono, że w 18 krajach oraz całej wspólnocie charakterystyczny był przyspieszony wzrost, w 4 krajach – stały wzrost, w 3 – spowolniony wzrost, a w 2 – spowolniony spadek wskaźnika zatrudnienia.
Źródło:
Econometrics. Ekonometria. Advances in Applied Data Analytics; 2017, 1 (55); 25-42
1507-3866
Pojawia się w:
Econometrics. Ekonometria. Advances in Applied Data Analytics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wnioskowanie materialne z perspektywy inferencjalizmu znaczeniowego Roberta B. Brandoma
Material Inference from the Perspective of Robert B. Brandom’s Meaning Inferentialism
Autorzy:
Kublikowski, Robert
Powiązania:
https://bibliotekanauki.pl/articles/1046404.pdf
Data publikacji:
2020-10-09
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II
Tematy:
wnioskowanie materialne
wnioskowanie formalne
wynikanie, prawda
material inference
formal inference
consequence
truth
Opis:
W języku naturalnym występują wnioskowania trudne do wyrażenia przy użyciu aparatury formalnej (logicznej). Celem artykułu jest odpowiedź na pytanie, czym są takie wnioskowania, a dokładniej: czym są rozumowania – zwane niekiedy „wnioskowaniami materialnymi” – których poprawność zależy nie tylko od ich logicznej formy, ale przede wszystkim od treści (znaczenia) użytych stałych pozalogicznych. Wnioskowania formalne natomiast są poprawne (niezawodne) na podstawie tylko formy logicznej. W artykule są przedstawione i przeanalizowane kontrowersje związane z różnymi przykładami takich wnioskowań, między innymi podanymi przez Roberta B. Brandoma w inferencjalizmie znaczeniowym, który nawiązuje do poglądów Wilfrida Sellarsa. Brandom kwestionuje dotychczasową teorię wnioskowań, w której forma logiczna jest uznawana za podstawę ich poprawności. Akcentuje on, że wymogiem przeprowadzenia wnioskowania materialnego jest rozumienie treści wyrażeń informujących nie tylko o związkach formalnych, ale przede wszystkim o związkach pozaformalnych (treściowych). Wnioskowania formalne i materialne są normowane przez formalne i materialne warunki poprawności. Formalny warunek poprawności wnioskowania formalnego zależy od relacji wynikania logicznego zachodzącego między przesłankami i wnioskiem. Z kolei we wnioskowaniu materialnym warunek formalny jest spełniony, gdy między przesłankami a wnioskiem zachodzi relacja wynikania, której nie można przedstawić przy użyciu samego tylko słownika logicznego. Oba typy wnioskowań są również normowane przez materialny warunek poprawności (wymóg prawdziwości przesłanek i stąd wniosku).
In a natural language there are inferences which are difficult to express by means of a formal language. The goal of this article is to answer the question: what are such inferences, sometimes called “material inferences”? Material inferences are correct not only by means of their logical form but mainly on the basis of the content (meaning) of nonlogical vocabulary which is used in such inferences. Formal inferences are correct only on the basis of their logical form. Various, sometimes controversial examples of such inferences are presented and analysed in the article. Some of them were given by Robert B. Brandom in his meaning inferentialism inspired by the ideas of Wilfrid Sellars. Brandom challenges the existing theory of inference in which a logical form is acknowledged as a basis of correctness of inference. He emphasises that the essential condition of a material inference is an understanding of a content of expressions which inform not only about formal relations but mainly about informal (material) relations. Formal and material inferences are governed by formal and material conditions of correctness. A formal condition of correctness of a formal inference relies on a logical consequence which relates premises and a conclusion. In the case of a material inference such a condition is fulfilled if premises and a conclusion are connected by a consequence which cannot be expressed only by logical vocabulary. A material condition is obligatory for both types of inferences and it requires premises and a conclusion to be true.
Źródło:
Zeszyty Naukowe KUL; 2018, 61, 3; 153-168
0044-4405
2543-9715
Pojawia się w:
Zeszyty Naukowe KUL
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wpływ instytucji formalnych i nieformalnych na działalność innowacyjną polskich przedsiębiorstw sektora MSP
Impact of formal and informal institutions on innovative activity of Polish small and medium-sized enterprises
Autorzy:
Godlewska, Małgorzata
Powiązania:
https://bibliotekanauki.pl/articles/548301.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Rzeszowski. Wydawnictwo Uniwersytetu Rzeszowskiego
Tematy:
instytucje formalne i nieformalne,
MSP,
innowacje.
formal and informal institutions,
SMEs,
innovation
Opis:
Sektor małych i średnich przedsiębiorstw w Polsce (inaczej niż np. w Stanach Zjednoczonych) jest znacznie mniej aktywny, jeśli chodzi o podejmowanie działalności innowacyjnej, niż przedsiębiorstwa duże. Małe i średnie przedsiębiorstwa podejmując działalność innowacyjną borykają się z wieloma problemami generowanymi przez ich otoczenie, a związanymi z ich małą skalą działalności, jak problemy dotyczące braku wewnętrznych i zewnętrznych środków finansowych na nakłady na innowacje. Ponadto ponoszone przez małe i średnie przedsiębiorstwa nakłady na innowacje dotyczą w przeważającej mierze inwestycji w środki trwałe, jak budynki i budowle, czy środki transportu i maszyny, a nie działalności badawczo-rozwojowej. Ponadto z racji na niski współczynnik przetrwania na rynku, w okresie pierwszych pięciu lat małe i średnie przedsiębiorstwa nie są w stanie prowadzić działalności innowacyjnej bez wsparcia ze strony instytucji formalnych i nieformalnych. Celem niniejszego artykułu, w oparciu o badania statystyczne GUS i PARP za lata 2004–2015, jest wskazanie na kluczowe obszary, w których współpraca pomiędzy instytucjami formalnymi i nieformalnymi w zakresie działalności innowacyjnej małych i średnich przedsiębiorstw, da efekt synergii w postaci wzrostu innowacyjności polskiej gospodarki narodowej. Współpraca instytucji formalnych z instytucjami nieformalnymi ma wpływ zarówno na tworzenie środowiska sprzyjającego rozwojowi przedsiębiorczości, jak i działalności innowacyjnej. Instytucje formalne mogą wpływać na wyższy poziom wydatków małych i średnich przedsiębiorstw na działalność B+R poprzez zwiększenie dostępności wsparcia nakładów na B+R w ramach dotacji, grantów czy ulg podatkowych, jak i zapewnienie stabilności otoczenia prawnego oraz ochrony praw własności intelektualnej. Natomiast instytucje nieformalne stymulują oddolną energię przedsiębiorczości, kreatywności i innowacyjności poprzez kulturowy system norm sprzyjających podejmowaniu ryzyka, indywidualizmowi, współpracy i samorealizacji.
The sector of small and medium-sized enterprises in Poland (unlike in the US) is much less active in terms of undertaking innovative activities, than large companies. Small and medium-sized enterprises engaging in innovative activity, face many problems connected with their small-scale activities, such as lack of internal or external funding for innovation. In addition, innovation spending involves mainly fixed assets, such as buildings and structures, means of transport and machinery, not R & D. Due to low survival rate on the market during the first five years, small and medium-sized enterprises are not able to carry out innovative activities without the support of formal and informal institutions. The aim of this article is to identify key areas, where the cooperation between formal and informal institutions result in synergies innovativeness of Polish national economy. Article is based on statistical studies of Central Statistical Office of Poland and the Polish Agency for Enterprise Development for years 2004–2015. Cooperation between formal and informal institutions has an influence both on the creation of an environment supportive for the development of entrepreneurship and innovation. Formal institutions can influence the higher level of R & D expenditures by increasing the availability of R & D expenditure support through grants or tax credits, as well as by ensuring the stability of the legal environment and the protection of intellectual property rights. Informal institutions, on the other hand, stimulate the bottom-up energy of entrepreneurship, creativity and innovation through a cultural system of standards conducive to risk-taking, individualism, cooperation and self-fulfillment.
Źródło:
Nierówności Społeczne a Wzrost Gospodarczy; 2018, 54; 289-300
1898-5084
2658-0780
Pojawia się w:
Nierówności Społeczne a Wzrost Gospodarczy
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Grammaticalization of modality in natural languages: The case of the noun tsumori in Japanese
Autorzy:
Pietrow, Jarosław Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/2081462.pdf
Data publikacji:
2021
Wydawca:
Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Tematy:
Japanese
nominalization
formal nouns
aim/intention
język japoński
nominalizacja
rzeczowniki formalne
znaczenie zamiaru
Opis:
The Japanese noun tsumori is used as the so-called formal noun and the head of syntactic nominalization. Its main meaning of ‘aim, intention’ is expressed through the basic sentence pattern of (suru) tsumori da. The modal meanings of this noun reveal close connections with the pragmatics of linguistic politeness and manifestation of attitudes in interpersonal communication. The article deals with the main sentential patterns and functions from the comparative perspective.
Japoński rzeczownik tsumori występuje w zdaniach jako tzw. rzeczownik formalny, będący konstytutywnym członem nominalizacji zdaniowej i komunikuje znaczenie zamiaru, intencji poprzez główny schemat (suru) tsumori da. Jego funkcje modalne wykazują silne związki z pragmatyką grzeczności językowej i manifestowaniem postaw w relacjach interpersonalnych. W artykule zostały zaprezentowane główne schematy składniowe i typowe funkcje semantyczne tego leksemu na tle konfrontatywnym z innymi językami.
Źródło:
Etnolingwistyka. Problemy Języka i Kultury; 2021, 33; 255-270
0860-8032
Pojawia się w:
Etnolingwistyka. Problemy Języka i Kultury
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Prototyping self-healing behavior for NASA swarm-based systems with ASSL
Autorzy:
Vassev, Emil
Hinchey, Mike
Powiązania:
https://bibliotekanauki.pl/articles/1954581.pdf
Data publikacji:
2021
Wydawca:
Politechnika Gdańska
Tematy:
intelligent swarms
formal methods
autonomic computing
ASSL
ANTS
inteligentne roje
metody formalne
obliczenia autonomiczne
Opis:
Autonomic computing promises computer systems capable of self-management, which augurs great promise for unmanned spacecraft. Such spacecraft are extremely appropriate for deep space exploration missions because the former bring onboard intelligence and less reliance on control links. The Autonomic System Specification Language (ASSL) is a framework for developing autonomic systems. As part of our research on ASSL, we have successfully specified autonomic properties, verified their consistency, and generated implementation for both the NASA ANTS (Autonomous Nano-Technology Swarm) concept mission and the NASA Voyager mission. This paper presents concrete results on the use of ASSL to develop a self-healing behavior model for NASA ANTS swarm-based exploration missions. Here, we present specification and implementation results. Moreover, we experiment with the ASSL-generated code to demonstrate that the implemented ANTS system is capable of self-management in respect of the specified self-healing model.
Źródło:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2021, 25, 2; 203-231
1428-6394
Pojawia się w:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Przesłanki wdrażania cyfryzacji jednostek samorządu lokalnego finansowanej ze środków unijnych
EU funded digitization of local government and its rationale
Autorzy:
Drgas, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/692639.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:
digitization
e-services
EU funds
formal premises
cyfryzacja
e-usługi
środki unijne
przesłanki formalne
Opis:
The subject of this article is the factors influencing the acquisition of EU subsidies for the purpose of digitizing local government units. The theoretical part describes the issues underlying the digitization process, which is associated with a new approach to the office-client relationship as well as data collection and data management. In the empirical part, the premises for the digitizationof local government units financed from EU funds are reviewed and verified on the basis of a pilot study consisting of telephone interviews with staff employed in selected offices. Apart from formal reasons, such as the municipal budget or previous experience in obtaining EU funds, informal reasons also turned out to be important, such as the introduction of a project in a neighbouring municipality.
Tematem artykułu jest opisanie czynników wpływających na pozyskiwanie dotacji unijnych w celu przeprowadzenia cyfryzacji jednostek samorządu lokalnego. W części teoretycznej zostały opisane zagadnienia leżące u podstaw procesu cyfryzacji, związane także z nowym spojrzeniem na relację urząd–klient, a także gromadzeniem i zarządzaniem danymi. W części empirycznej dokonano przeglądu przesłanek cyfryzacji jednostek samorządu lokalnego finansowanej ze środków unijnych, które zostały zweryfikowane na podstawie badania pilotażowego, polegającego na przeprowadzaniu wywiadów telefonicznych z osobami zatrudnionymi w wybranych urzędach. Obok przesłanek formalnych, jak budżet gminy czy wcześniejsze doświadczenia w pozyskiwaniu środków unijnych, istotne okazały się także przesłanki nieformalne, jak np. wprowadzenie projektu w sąsiedniej gminie.
Źródło:
Ruch Prawniczy, Ekonomiczny i Socjologiczny; 2019, 81, 1; 191-206
0035-9629
2543-9170
Pojawia się w:
Ruch Prawniczy, Ekonomiczny i Socjologiczny
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 83

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