Temat: formalizacja - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: „PIĄTA DROGA” ŚW. TOMASZA Z AKWINU W FORMALIZACJACH J.M. BOCHEŃSKIEGO I P. WEINGARTNERA
ST. THOMAS AQUINAS’ “FIFTH WAY” IN J.M. BOCHENSKI’S AND P. WEINGARTNER’S FORMALIZATIONS
Autorzy:: Porwolik, Marek
Tematy:: formalizacja
quinque viae
Bocheński
formalization; Pokaż więcej
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Powiązania:: https://bibliotekanauki.pl/articles/1373519.pdf Link otwiera się w nowym oknie
Opis:: The present state of research reveals that basically Fr. J.M. Bochenski (1902-1995) left three versions of the formalizations of St. Thomas Aquinas’ fifth way. The first version comes from the article Die fünf Wege, published in 1989, and the third one, which is unauthorized, from the book Gottes Dasein und Wesen. Logische Studien zur Summa Theologiae I, qq. 2-11, published in Munich in 2003. These works are completed by the second version from two manuscripts of the book: one German (1989) and one Polish (1993). The above mentioned texts have shown the contribution made by Fr. J.M. Bochenski into the realization of the intended application of the tools of contemporary logic in the field of philosophy of God as well as theology. One of the main followers of these ideas in Austria has been Paul Weingartner (born 1931). In 2010 he published God’s Existence? A Logical Commentary on the Five Ways of Thomas Aquinas, a book which makes direct references to J.M. Bochenski’s works, and like Bochenski’s work it is a logical commentary to certain fragments of St. Thomas Aquinas’ Summa Theologiae.
Obecny stan badań wskazuje, że formalizacje piątej drogi św. Tomasza z Akwinu pozostawił o. J. M. Bocheński (1902-1995) zasadniczo w trzech wersjach. Pierwsza z nich pochodzi z artykułu zatytułowanego Die fünf Wege z 1989 r., trzecia (nieautoryzowana) z książki Gottes Dasein und Wesen. Logische Studien zur Summa Theolgiae I, qq. 2-11 wydanej w Monachium w 2003 r. Uzupełnieniem tych opracowań stanowi wersja druga, pochodząca z manuskryptów książki: jeden w języku niemieckim (1989 r.), drugi w polskim (1993 r.). Publikacje te ukazują wkład jaki poczynił o. J. M. Bocheński w realizację zamierzenia stosowania narzędzi współczesnej logiki na terenie filozofii Boga i teologii. Jednym z głównych, współczesnych kontynuatorów tych idei w Austrii jest Paul Weingartner (ur. 1931 r.). W roku 2010 opublikował on książkę: God’s Existence? A Logical Commentary on the Five Ways of Thomas Aquinas, która w wielu miejscach nawiązuje wprost do prac J. M. Bocheńskiego i tak jak praca tego ostatniego jest komentarzem logicznym do pewnych fragmentów Sumy Teologicznej św. Tomasza z Akwinu.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 2.

Tytuł:: Straight Separatism: Ten Theses on the Queer Archive
Heterycki separatyzm: dziesięć tez o kłirowym archiwum
Autorzy:: Panayotov, Stanimir
Tematy:: archiwum
upamiętnianie
formalizacja
instytucjonalizacja
heterycki separatyzm; Pokaż więcej
Wydawca:: Uniwersytet Warszawski. Ośrodek Studiów Amerykańskich
Powiązania:: https://bibliotekanauki.pl/articles/458974.pdf Link otwiera się w nowym oknie
Opis:: This text is a revised version of a paper presented at the conference In/visible: The Sexual and Political Regimes of the Archive, in a panel titled “The Queer Location of Culture: Nationalism, History, Sexuality” (Skopje, National Gallery of Macedonia – Chifte Hamam, 25 February 2012).
Cała kultura jest archiwum heteroseksualności i tożsamości, bowiem jedno implikuje drugie. Odczuwane przez kłirów pragnienie własnego archiwizowania się i przybrania tożsamości jest odwróconą formą heteryckiego sadyzmu. Kłirowe archiwum jest ciemną, tanatologiczną i eschatologiczną otchłanią pragnień, której formalizacja nie prowadzi do zreformowania fałszywego uniwersalizmu heteryckiego separatyzmu. Należy albo zmienić formę instytucji, albo w ogóle porzucić pamięć.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 3.

Tytuł:: Formalization of operational management and its impact on the innovativeness of IT companies from Lubuskie Voivodeship
Autorzy:: Inków, Monika
Tematy:: IT industry
formalization
innovation
branża IT
formalizacja
innowacyjność; Pokaż więcej
Wydawca:: Uniwersytet Zielonogórski. Wydział Ekonomii i Zarządzania
Powiązania:: https://bibliotekanauki.pl/articles/2064457.pdf Link otwiera się w nowym oknie
Opis:: In the changing environment, innovation gives organizations a chance to survive and develop. Researchers indicate that successfully implemented innovations are a source of competitive advantage for an organization. In source literature we can find examples of various tools recommended by the authors that increase the probability of innovation success. As some researchers note, the role of these tools has been questioned, which is related to the impact of formalization on innovation. In recent years, researchers have focused their efforts on determining whether formalization improves or deteriorates innovation; however, when analyzing the literature, it can be noticed that the number of studies on innovation and its determinants is significant, while the number of publications on the impact of formalization on organizational innovation is low. In addition, it can be noted that so far, researchers have not come to a consensus regarding the impact of formalization on either organizational results or innovation; therefore, the assumption of the presented work is to fill this gap to some extent. The aim of this article is to present the preliminary results of a broader research project on the relationship between the formalization of operational management and the innovation of IT organizations in Lubuskie Voivodeship.
W obecnym zmiennym otoczeniu szansą na przetrwanie organizacji oraz jej rozwój jest innowacyjność. wielu badaczy wskazuje na to, że z sukcesem wdrażane innowacje są źródłem przewagi konkurencyjnej organizacji. W literaturze znaleźć można przykłady różnych narzędzi rekomendowanych przez różnych autorów zwiększających prawdopodobieństwo odniesienia sukcesu przez innowacje. Jak zauważa jednak część badaczy, rola tych narzędzi w sukcesie innowacji została postawiona pod znakiem zapytania. Związane jest to z wpływem jaki wywiera formalizacja na wyniki organizacyjne, w tym innowacyjność. Nadmienić warto, że w ostatnich latach badacze skupiali swoje wysiłki na ustaleniu, czy formalizacja poprawia, czy pogarsza wydajność organizacyjną, w tym również innowacyjność, jednakże analizując literaturę można zauważyć, że liczba opracowań dotyczących innowacyjności, i jej determinant jest znaczna, natomiast liczba publikacji dotyczących wpływu formalizacji na innowacyjność organizacji jest nieduża. Dodatkowo analizując literaturę dotycząca formalizacji zauważyć można, że jak do tej pory badacze nie doszli do konsensusu odnośnie jej wpływu zarówno na wyniki organizacji, jak i ich innowacyjność, w związku z tym założeniem prezentowanej pracy jest w pewnym stopniu wypełnienie tej luki. Celem zaś niniejszego artykułu jest przedstawienie wstępnych wyników szerszych badań, które dotyczą związku pomiędzy formalizacją zarządzania operacyjnego a innowacyjnością organizacji z branży IT w województwie lubuskim.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 4.

Tytuł:: The impact of formalization process on organization’s development.
Znaczenie formalizacji w procesie rozwoju organizacji
Autorzy:: Sepczyński, Paweł
Opis:: Poniższa praca ma na celu opis rozwoju organizacji na przykładzie niewielkiego przedsiębiorstwa świadczącego usługi z zakresu telefonii komórkowej, określanego na potrzeby poniższego opracowania, mianem Przedsiębiorstwa X. Praca rozpoczyna się przeglądem teorii, w rożny sposób definiujących organizacje i jej rozwój. Organizacja jest prezentowana jako zbiór elementów w interakcji, który pomimo wielorakości definicji, odwołuje się do tych samych części składowych, takich jak cele, elementy zasobów ludzkich, zasobów produkcyjnych i struktury formalnej. Jak wskazuje Krupski (2004, s.15), organizacja, aby istnieć i się rozwijać, musi utrzymywać ekwiwalentną wymianę z otoczeniem, adaptować się do zachodzących w nim zmian, czyli utrzymywać stan zbliżony do pewnej równowagi z otoczeniem. Otoczenie jednak poddane jest nieustającym zmianom, prowokowanym przez przemiany społeczne, gospodarcze czy wydarzenia polityczne. W konsekwencji, analogiczna do tych przemian zmienność organizacji stała się jedną z jej podstawowych cech.Przekształcenia w organizacji tłumaczone są w odniesieniu do szeregu modeli i teorii. Ich wspólną cechą jest nawiązanie do modelu cyklu życia organizacji i modelu ewolucyjnego, które wskazują pewną analogię do procesu życia „organizmu”. W procesie swojego rozwoju organizacja przechodzi przez kolejne etapy, takie jak fazę przedsiębiorczości, fazę delegacji, fazę formalizacji i fazę współpracy. W poniższej pracy szczególną uwagę poświęcono rozwoju formalnemu przedsiębiorstwa jako etapowi, który nadaje przejrzystość jego struktury i funkcjonowania, i który przyczynia się do propagowania korzystnych dla przedsiębiorstwa rozwiązań i zachowań. Przejrzystość ta przyczynia się do zwiększenia efektywności pracy, a przestrzeganie wyznaczonych standardów formalnych do utrzymania wysokiej jakości usług. Formalizacja zostaje przedstawiona jako narzędzie świadomego zarządzania przedsiębiorstwem.
The aim of below dissertation is to present the process of organization’s development, based on an example of a small enterprise specialised in cell phone technologies, which for the purpouse of this paper is called Enterprise X.Disseration starts with a review of the theories describing the meaning of the term „organization” and the mechanisms of its development. Organization is presented as a compilation of multiple elements remaining in constant interaction. Despite of the variety of definitions, they all refer to the same basic components, such as: organization’s goals, human resources, production capabilities and formal structure. As indicated by Krupski (2004, p.15), organization requires for its existance and development an equivalent exchange with the environment, successful adaptation to its changes and in consequence the ability to maintain the state of balance with it. Environement however it is not constant itself. It is under perpetual changes provoked by sociological, economic and political factors and events. Inconstant nature of our reality is reflected in inconstancy of an organzation itself, being one of its basics characteristics.There are several models and theories that tend to describe and explain organizational changes. Their common ground is a refference to the model of ‘organization’s life’ and its evolution, that presents some analogies to the living process of an organism.During its life, organization goes through several stages, such as: entrepreneurship phase, delegation phase, formalization phase and cooperation phase. In presented paper, the most interest has been given to the phase of formalization, as an important stage of developing structural and functional transparency, and as a proccess which contributes to a propagation of beneficial solutions and behaviours. This aquired transparency increases work efficency, while following designed formal standards and allows to maintain a high quality of provided services.
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Skocz do pozycji: 5.

Tytuł:: Ontologiczny dowód Gödla z ograniczoną redukcją modalności
Autorzy:: Świętorzecka, Kordula
Tematy:: dowód ontologiczny
K. Gödel
dowód na istnienie Boga
teodycea,formalizacja; Pokaż więcej
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Powiązania:: https://bibliotekanauki.pl/articles/705971.pdf Link otwiera się w nowym oknie
Opis:: Prezentowane rozważania są efektem poszukiwania możliwie słabej podstawy formalnej dla modalnej wersji ontologicznego argumentu na konieczne istnienie Boga, naszkicowanego przez K. Gödla. Dotychczasowe modalne rekonstrukcje notatki Gödla Ontologischer Beweis (1970) najczęściej opierają argumentację Gödla na różnych kwantyfikatorowych rozszerzeniach logiki modalnej S5 lub B. System S5, jako podstawa formalna zamierzona przez samego autora, umożliwia określoną konstrukcję argumentu ontologicznego, jednak z drugiej strony ten sposób rozumienia modalności może być uważany także za źródło słabości opartej na nim teorii Absolutu - redukcja modalności S5 (i B) może dawać okazję do formułowania krytyki w stylu Gaunilona. Standardowe rozszerzenie S5 lub B do logiki kwantyfikatorowej jest uwikłane w dalsze komplikacje: w odpowiednio rozbudowanej standardowej semantyce światów możliwych rozstrzyga się, że modele tych logik mają stałe uniwersum indywiduów. Tymczasem to rozstrzygnięcie nie ma związku z zasadniczym problemem rozważanym w formalizmie Gödla. W proponowanej wersji argumentu Gödla ograniczam redukcję modalności S5 do wybranego specyficznego kontekstu dotyczącego istnienia Absolutu. Logiką, która pozwala zachować konstrukcję argumentacji Gödla, okazuje się system S4. Otrzymaną teorię wiążę z semantyką światów możliwych z możliwie zmiennymi uniwersami. Istnienie indywiduów wyrażam za pomocą kwantyfikatora Ǝ interpretowanego aktualistycznie, bez użycia pierwotnego predykatu istnienia.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 6.

Tytuł:: Formalizacja współpracy a zaufanie w łańcuchach dostaw w budownictwie
Autorzy:: Ryciuk, Urszula
Wydawca:: Towarzystwo Naukowe Organizacji i Kierownictwa
Cytata wydawnicza:: Ryciuk U., Formalizacja współpracy a zaufanie w łańcuchach dostaw w budownictwie, „Przegląd Organizacji” 2016, nr 6, s. 25-31.
Opis:: Problem zaufania międzyorganizacyjnego jest ściśle związany z ryzykiem sprzeniewierzenia zaufania. Zgodnie z teorią kosztów transakcyjnych, mechanizmem koordynacji w przypadku hybrydowych form współpracy międzyorganizacyjnej są umowy. Jednakże, elementem przyczyniającym się do zmniejszenia ryzyka pojawienia się zachowań oportunistycznych może być też zaufanie. Zaufanie wskazywane jest jako element mechanizmu relacyjnego wpływającego na obniżenie ryzyka zachowań oportunistycznych, a przez to kosztów transakcyjnych dzięki: niższym kosztom kontraktowania, monitoringu i adaptacji. Ze względu na nierozstrzygnięty w literaturze problem substytucyjności lub komplementarności umów i zaufania zbadano, czy poziom zaufania międzyorganizacyjnego w łańcuchach dostaw w budownictwie w Polsce związany jest istnieniem formalnych kontraktów między podmiotami. Celem badania było także sprawdzenie, czy współpraca przedsiębiorstw w budownictwie jest tymczasowa i jaki ma to wpływ na poziom zaufania międzyorganizacyjnego w łańcuchach dostaw. Podjęta w artykule problematyka jest szczególnie interesująca, ponieważ przeprowadzone studia literaturowe wskazują, że budownictwo charakteryzuje się wyjątkowo niskim poziomem zaufania międzyorganizacyjnego oraz przewagą relacji konkurencyjnych. Głównym kryterium doboru partnerów biznesowych jest cena, a współpraca podmiotów opiera się na umowach, które nigdy nie są wystarczająco szczegółowe i kompletne oraz nie gwarantują wykonania inwestycji budowlanej w terminie, zgodnie z kosztorysem oraz według zakładanej jakości. W artykule wykorzystano wyniki badań jakościowych (FGI) and oraz ilościowych (CATI) przeprowadzonych wśród polskich przedsiębiorstw budowlanych.
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Artykuł

na półce

Skocz do pozycji: 7.

Tytuł:: Assessment of the economic efficiency of industrial enterprise management during the Kazakhstan integration into the EAEU
Ocena efektywności ekonomicznej zarządzania przedsiębiorstwem przemysłowym w czasie integracji Kazachstanu z EUG
Autorzy:: Nurekenova, Elvira S.
Sholpanbayeva, Kanshaim Zh.
Apysheva, Assel A.
Rakhimberdinova, Madina U.
Shaikhanova, Nurgul K.
Tematy:: crisis
structure
formalisation
integration
efficiency
kryzys
struktura
formalizacja
integracja
efektywność; Pokaż więcej
Wydawca:: Politechnika Częstochowska
Powiązania:: https://bibliotekanauki.pl/articles/27315256.pdf Link otwiera się w nowym oknie
Opis:: The purpose of this study is to examine the effectiveness of the measures taken and to identify areas for further integration cooperation. The originality of the study is determined by the fact that the formalisation of Kazakhstan integration into the Eurasian Economic Union (EAEU) structures allows expanding the possibilities of building cooperative ties. This requires greater involvement of enterprises in the integration and the development of a unified state system to assess the effectiveness of integration associations. The authors show that, in general, the integration of Kazakhstan and the EAEU can be assessed based on a common methodology for the economic efficiency of individual enterprises. The authors suggest the adapted methodology of the balanced scorecard system since it is appropriate in this case. The practical significance of the study is determined by the need to clarify the structural features of integration and calculate efficiency in general based on the results of the cooperation of Kazakh enterprises with external partners. The development of such an assessment system can also be implemented taking into account the need to counter the global economic crisis.
Celem niniejszego opracowania jest zbadanie skuteczności podejmowanych działań oraz zidentyfikowanie obszarów dalszej współpracy integracyjnej. O oryginalności opracowania decyduje fakt, że sformalizowanie integracji Kazachstanu ze strukturami Eurazjatyckiej Unii Gospodarczej (EUG) pozwala na rozszerzenie możliwości budowania powiązań kooperacyjnych. Wymaga to większego zaangażowania przedsiębiorstw w integrację i budowy jednolitego systemu państwowego do oceny efektywności stowarzyszeń integracyjnych. Autorzy pokazują, że generalnie integrację Kazachstanu i EUG można oceniać w oparciu o wspólną metodologię efektywności ekonomicznej poszczególnych przedsiębiorstw. Autorzy proponują zaadaptowaną metodologię systemu zrównoważonej karty wyników, ponieważ jest ona w tym przypadku odpowiednia. Praktyczne znaczenie badania przesądza o potrzebie doprecyzowania cech strukturalnych integracji i obliczenia efektywności w ogóle na podstawie wyników współpracy kazachskich przedsiębiorstw z partnerami zewnętrznymi. Opracowanie takiego systemu oceny może być również realizowane z uwzględnieniem konieczności przeciwdziałania światowemu kryzysowi gospodarczemu.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 8.

Tytuł:: Uogólniona opozycja monizm-pluralizm
Generalized Opposition Monism-Pluralism
Autorzy:: Garbacz, Paweł
Tematy:: metafilozofia
monizm
pluralizm
formalizacja
relacja
metaphilosophy
monism
pluralism
formalisation
relation; Pokaż więcej
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Powiązania:: https://bibliotekanauki.pl/articles/2012835.pdf Link otwiera się w nowym oknie
Opis:: The article concerns the distinction between monistic and pluralistic positions in philosophical ontology. I present a formal scheme, which, on the one hand, consistently describes historically recognised versions of this distinction, and which, on the other hand, shows some conceptual perspectives for new versions thereof.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 9.

Tytuł:: Kilka uwag o formalizacji wnioskowań w trybie analogia legis i a contrario
A few comments on the formalization of legal reasonings under analogy legis and a contrario
Autorzy:: Malinowski, Andrzej
Tematy:: formalizacja
wnioskowanie prawnicze
analogia legis
a contrario
formalization
legal reasoning; Pokaż więcej
Wydawca:: Stowarzyszenie Filozofii Prawa i Filozofii Społecznej – Sekcja Polska IVR
Powiązania:: https://bibliotekanauki.pl/articles/531650.pdf Link otwiera się w nowym oknie
Opis:: Artykuł ukazuje niektóre problemy związane z formalizacją wnioskowań prawniczych w trybie analogia legis oraz w trybie a contrario, a także omawia wybrane, charakterystyczne propozycje w tym zakresie. Budowane sformalizowane modele są oparte na pojęciach logiki monotonicznej oraz logik niemonotonicznych. Modele te mają głównie charakter poglądowy i posiadają ograniczoną moc wyjaśniającą. Ich niezawodność może być uzyskana tylko przy spełnieniu pewnych dodatkowych warunków.
The paper shows some of the problems related to the formalization of legal reasonings under analogia legis and a contrario, and discusses some of the specific proposals in this regard. Built formal models are based on the concept of monotonic logic and nonmonotonic logic. These models are mainly illustrative and have limited explanatory power. Their reliability can only be achieved under certain additional conditions.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 10.

Tytuł:: O warunkach formalizacji ontologii stanów rzeczy. Studium przypadku
On the Conditions of the Formalisation of the Ontology of the State of Affairs. A Case Study
Autorzy:: Garbacz, Paweł
Tematy:: stan rzeczy
ontologia
formalizacja
Roman Ingarden
state of affairs
ontology
formalisation; Pokaż więcej
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Powiązania:: https://bibliotekanauki.pl/articles/2013210.pdf Link otwiera się w nowym oknie
Opis:: These considerations seek to show whether it is possible to build a formal theory of the state of affairs, which would be sufficiently well founded in philosophy. Our analysis focuses on a case study in the form of the ontology of the state of affairs proposed by Roman Ingarden. The principal part of this analysis is devoted to Ingarden’s exposition. As its result, the author formulates a list of conditions that should be fulfilled by a formal theory, so that it could aspire to be called “Ingarden’s ontology of the state of affairs.”
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Informacja

Wyszukujesz frazę "formalizacja" wg kryterium: Temat