The concept of National Innovation System (NIS) is explored from the perspective of its propensity for formalization. It is observed that there are problems with formalization (measurement) of NIS and consequently, deficiency in assessment of efficiency of pro-innovative ventures. Based on an overview of the literature, subsystems of NIS are identified and the leading topics within these subsystems are presented. Results of this study are believed to create the platform for formalization of NIS.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We argue that the need for commentary in commonly used linear calculi of natural deduction is connected to the “deletion” of illocutionary expressions that express the role of propositions as reasons, assumptions, or inferred propositions. We first analyze the formalization of an informal proof in some common calculi which do not formalize natural language illocutionary expressions, and show that in these calculi the formalizations of the example proof rely on commentary devices that have no counterpart in the original proof. We then present a linear natural deduction calculus that makes use of formal illocutionary expressions in such a way that unique readability for derivations is guaranteed – thus showing that formalizing illocutionary expressions can eliminate the need for commentary.
There are proposed two simple formal descriptions of the notion of God’s omnipotence which are inspired by formalizations of C. Christian and E. Nieznański. Our first proposal is expressed in a modal sentential language with quantifires. The second one is formulated in first order predicate language. In frame of the second aproach we admit using self- referential expressions. In effect we link our considerations with so called paradox of God’s omnipotence and reconstruct some argumentation against the possibility of reference God’s omnipotence to a lack of itself.
The text analyses the documentation of the periodic evaluation of academic teachers at 22 Polish universities with the faculties of Pedagogy, shows the conditions of this evaluation and characterises its procedure. The content analysis reveals what issues in the internal regulatory documents establish the periodic evaluation of academic teachers and its procedure, as well as the extent to which they are represented in these documents. In order to fully describe the regulations and to explore the differences among the universities in the area of teacher evaluation, the authors used a statistical analysis. The results show a wide variation of the elements that are included in the internal documents regulating the periodic evaluation of academic teachers. The authors refer to the contemporary press and media discussion on the condition of universities and the directions of their development. They interpret the findings referring also to the contemporary perception of a university as an enterprise as well as to strong bureaucracy at the universities and its adverse impact on their evaluation system.
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.
PL
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.
Polska przez wiele lat była zarządzana w sposób biurokratyczny. Narzuciło to społeczeństwu pewien sposób myślenia i działania. W związku ze zmianą systemu polityczo-gospodarczego zmienia się również sposób zarządzania. Jednak zarządzaniem zajęło się także wielu przypadkowych ludzi bez właściwego przygotowania, wiedzy i doświadczenia.
EN
The bureaucratic management style dominated in Polish conditions during many, many years. The political and economic transformatio forces to changes in positive direction but the process is not so rapid. One of the causes is based on phenomena that on the different managerial functions appeared completely casual persons without correct preparation, knowledge and experience. The most important push-factor is fundamented on personal relationships (often only of the political and/or individual type). For the managerial effectiveness ploy very significative role the direct and personal contacts to subordinted, what is not considered in the practice. The crucial problem for the change is included in bureaucratic thinking and acting what is very difficult to overcome without superior support. The positive change of mentality could be a solution, but the starting point must begin from the highest managerial positions in companies or institutions. Many examples, proper research, observations, conclusions and indications are presented in the publication in aim to serve for potential users, where American and international experiences hove been utilized for comparison.
Formalization and institutionalization of research institutions in the Police are processes and influence its functioning. Changing environment wield influence on the operations of institution and its cooperation with objects participating in solving decent crime problems. The article contains the literature analysis in the range of factors impacting these processes and the empirical analysis of researches in the range of factors shaping both processes in decent research environment.
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.
PL
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.
9
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The paper discusses the chosen ongoing perspectives related to science understanding based problems. Science is viewed, following Robert Merton, as a functioning institution. Social context plays a significant role in defining the possibilities of developing science. The question arises how a functioning institution can be effectively analyzed and which perspectives can be implemented. Hence this paper’s goal is to reveal some ways of exploring science understanding. Consequently the paper touches the scientific discourses upon science discussing its academic functional ethos and on the other hand tension between bureaucratization and openness in science. More broadly how far science is democratized in an academic interaction. The proposition of examining the problem of the quality of science as an institution is to grasp two perspectives: first, the formal perspective, related to the legal field and its rationality and second, followed by Adele Clarke known as “situatedness”. The idea of joining formalization with situatedness can be regarded as an embodiment within John Meyer and Brian Rowan’s concept of an institutionalized organization. Hence science understanding is defined as a complex functioning institution escaping from a modern version of science into many postmodern ad-hoc made sciences. The paper’s intention is to provide problems and proposition of solving them through applying an integrating perspective
10
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Contrary to cognitive approaches of agency where a lot of effort is devoted to the formalization of agent concepts, little work has been done on the formalization of situated multi-agent systems (situated MASs). In this paper we present a generic model for situated MASs. This model formally describes an abstract architecture for situated MASs. In this architecture each agent is situated in its local context that it is able to perceive and in which it can act. Since intelligence in situated MASs results from the interactions of agents with the environment rather than from their individual capabilities, the model takes an action-centric approach. The model deals with (1) the actions of agents in the environment, (2) ongoing activities in the environment, such as moving objects, and (3) the interactions between agents and ongoing activities through the environment. One model for situated MASs was described by J. Ferber and J.P. Müller. In this model all agents of the MAS act at one global pace, i.e. the agents are globally synchronized. Drawbacks of global synchronization are centralized control and poor scalability. We present a model that allows agents to synchronize locally. In this model there is no centralized entity that imposes all agents to act at one global pace, but instead agents themselves decide when they perform their next actions. The model supports simultaneous actions through regional synchronization. With regional synchronization agents form synchronized groups on the basis of their actual locality. Different groups can act asynchronously, while agents within one group act synchronously. The result is a model that does not suffer from the drawbacks of global synchronization while it preserves the properties for handling simultaneous actions. In the paper we apply the model to a simple MAS application. We show how the abstract model can be instantiated for a practical application. Then we follow a trace in the evolution of the application and demonstrate how the model deals with each particular step.
The article is devoted to chronological logic and its applications in the analysis of legal reasoning. In Part I of the paper, there is given that time plays an important role in statutory law, in language of the law and in legal language appear many time expressions, and formal logic provides tools to logical analysis of reasoning performed in everyday discourse and in various sciences, also in legal discourse and in legal sciences. There are presented also conditions that temporal systems should satisfy to be used in an analysis of legal reasoning. In Part II of the paper, the origins and the profile of chronological logic are presented. Part III, the last part of the article, presents examples of formalization of some sentences of legal language containing at the time phrase, and of legal reasoning composed of such sentences, by means of symbols occurring in chronological logic. The position presented in the article says that some temporal logic could be used in a logical analysis such legal reasoning that would contain references to time. The main task of chronological logic would be then providing formal language to more precise express statements of legal language containing given time expression (exactly at the time phrase) and to model legal reasoning containing such expression; and also giving tools to evaluate formal correctness of these inferences.
12
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Nadmierna formalizacja wszczęcia postępowania administracyjnego stanowi pogłębienie nierównorzędności stron stosunku administracyjno-prawnego, prowadzi do nierealizowania praw podmiotowych oraz faktycznej dyskryminacji. Z tego powodu określanie przez ustawodawcę jej zakresu powinno być poprzedzone staranną analizą, czy nowe prawo nie będzie niosło ze sobą tego niebezpieczeństwa. Ocena ta jest obowiązkiem racjonalnego prawodawcy, który musi sam zadbać, by stosowanie norm prawa materialnego nie było utrudnione przez przeformalizowaną lub niedoformalizowaną procedurę. O tym, w jaki sposób wadliwa formalizacja żądania strony (wniosku, podania) może utrudnić realizację praw podmiotowych traktuje niniejszy artykuł p.t.: Formalizacja wszczęcia postępowania administracyjnego na żądanie strony.
EN
Excessive formalization of the initiation of the administrative proceedings constitutes an expand of the non-equal relationship between the parties in the legal-administrative proceedings and it leads to the failure in executing the legal rights and to factual discrimination. That is the reason that the legislator should determine its scope with an exhaustive analysis whether the new law would not be threatened by the excessive formalization. This kind of evaluation constitutes a duty of a rational legislator that is responsible for implementing the norms of the law without danger of over-formalized or under-formalized procedure. This article deals with the issue how the faulty formalization of a party’s request (motion, petition) can obstruct the legal rights’ implementation.
RU
Лишняя формализация административной процедуры является углублением нeэквивалентности сторон административно-правового отношения, что приводит к нeреализации юридических прав и фактической дискриминации. По этой причине, определениe законодателем еe объема должeн предшествовать точный анализ, действительно ли новый закон будет нести этy опасность. Эта оценка является обязанностью рационального законодателя, который сам должeн гарантировать, что применение норм материального права не утрудняется надмерной формализованной или недостаточно формализованнoй процедурoй. O том, как недостатoчнaя формализация требования стoроны (заявлениe, ходатайство) может препятствовать реализации юридических прав, говорит статья под названием: „Формализация инициирования административной процедуры по требованию стoроны”.
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.
EN
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.
In view of the needs related to automatic language processing, we emphasize the necessity of applying formal methods in linguistics in general, and particularly in creation of dictionary entries. We present some of our research achievements pertaining to the creation of a dictionary of Polish predicative nouns. As the dictionary is intended to be computer consulted, its entries take into account polysemy and contain information about the syntactic relations between elements of an elementary sentence. The dictionary is a kind of the lexicon grammar.
PL
Z uwagi na potrzeby związane z automatycznym przetwarzaniem języka w niniejszym artykule zwracamy uwagę na konieczność stosowania metod formalnych w językoznawstwie, a w szczególności na wymóg kodowania opisów w słownikach. W szczególności przedstawiamy rezultaty prac własnych, które są związane z budowanym od pewnego już czasu słownikiem predykatów rzeczownikowych języka polskiego. Ponieważ słownik przeznaczony jest do zastosowań komputerowych, hasła słownikowe otrzymały formę sformalizowaną uwzględniającą polisemię formy oraz łączliwość elementów w zdaniu elementarnym. Słownik ma charakter leksykonu gramatycznego.
The paper is a comment on the formalization of the antinomy of futura contigentia in the form of a (inconsistent) theory formulated by Marcin Tkaczyk in the language of classical pre-dicate calculus. I argue that some features of the formalization in question are contro¬versial from the viewpoint of formal semantics and ontology, and suggest two ways of removing some of those controversies.
PL
Artykuł jest komentarzem do formalizacji antynomii futura contigentia w postaci (sprzecz-nej) teorii sformułowanej przez Marcina Tkaczyka w języku klasycznej logiki predykatów. Argu¬men¬tuję w nim, że formalizacja ta posiada pewne kontrowersyjne, z punktu widzenia ontologii i semantyki formalnej, własności oraz sugeruję dwa sposoby melioracji niektórych z tych kontrowersji.
17
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
In this paper, we propose to establish traceability of functional requirements expressed in a SRS document in analysis and design phase that goes down to the coding phase. UML has become a de-facto standard for modeling object-oriented systems. To ensure traceability of requirements in different phases of software lifecycle, it is also mandatory to ensure consistency between different UML diagrams used in those different phases. Here, after specifying some rules to trace requirements and verify consistency, we formally represent functional requirement UML Use case diagram, and some other UML diagrams that are widely used for analyzing and designing object-oriented systems, using Z notation. At the end we represent the formalized functional requirement and the UML diagrams along with their relationship visually using Entity-Relationship (ER) diagram. Implementation of our approach would bridge the gap between a formal language, which is mathematical and difficult to understand and UML that is visual and easy to comprehend. Development of a tool based on this approach would generate a visual representation of formalized functional requirements and their traceability among different UML diagrams, from which automated traceability of requirement in different phases of software development and consistency verification between different UML diagrams can be achieved.
18
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The multitude of tasks and problem issued faced by local governments necessitates their evolution towards improvement of the existing organisational structures. Comparison of the existing organisational structures of various municipal offices could create a misleading that their organizational structures do not undergo any transformations. In reality, the type of an organisational structure remains unchanged while its elements change very frequently. These changes are activated when, according to the office management, they do not ensure proper performance of tasks faced by local government administration and appropriate customer service. Also note that, in the applied solutions, there is a strive for perfection which can be noticed, in a sense. It expresses the concept that this is not a structure which can effectively play its role today and is prepared for challenges of tomorrow. However, the process of transformations has not developed any new solutions. To this end, the local government must develop organisational structures appropriate for identifying and reaching its objectives. For this reason, it's worthwhile to consider solutions which combine elements of the existing and modern solutions or address new opportunities created by process-oriented structures. However, these transformations must, first and foremost, cause a transformation of bureaucratic-style municipal offices into modern organisations which apply modern methods of management. These are organisations which introduce deep-reaching organisational changes, i.e. transform their hierarchic interorganisational relations into more partner relations and transform their structural solutions into more flexible solutions as well as change their employees' way of thinking. Without such transformations in local government, municipal offices will be still referred to as bureaucracy and civil servants as bureaucrats.
PL
Mnogość zadań i problemów jakie stoją przed władzami lokalnymi powoduje konieczność ewoluowania w kierunku doskonalenia istniejących struktur organizacyjnych. Porównując ze sobą schematy organizacyjne różnych urzędów gmin można sądzić, że ich struktury organizacyjne nie podlegają żadnym zmianom. Nic bardziej mylnego. Rzeczywiście niezmienny pozostaje typ struktury organizacyjnej, ale jej elementy zmieniają się bardzo często. Zmiany aktywowane są w momencie kiedy w opinii kierownictwa urzędu nie zapewniają prawidłowego wykonywania zadań jakie stoją przed administracją samorządową oraz należytej obsługi interesanta. Należy również podkreślić, że w ramach stosowanych rozwiązań zauważa się, w pewnym sensie, dążenie do doskonałości. Jest to wyraz przekonania, że nie jest to struktura spełniająca skutecznie swoją funkcję na dziś i gotowa do podjęcia wyzwań przyszłości. Pomimo to w procesie zmian nie wykształciły się nowe rozwiązania. Dlatego należy rozważyć wdrażanie rozwiązań łączących elementy dotychczasowych i nowoczesnych rozwiązań lub zwrócić uwagę na zupełnie nowe możliwości jakie dają struktury procesowe. Jednak zmiany muszą, przede wszystkim, spowodować przekształcenie urzędów gmin, organizacji biurokratycznych, w nowoczesne organizacje stosujące nowoczesne metody zarządzania. Organizacje, które dokonują gruntownych zmian organizacyjnych tj. zmieniają hierarchiczne stosunki wewnątrzorganizacyjne na bardziej partnerskie oraz przekształcają rozwiązania strukturalne na bardziej elastyczne, ale także sposób myślenia wszystkich pracowników. Bez tych zmian w samorządzie urzędy gmin w dalszym ciągu będą nazywane biurokracją, a urzędnicy biurokratami.
In order to provide for safe navigation we have to improve and automate the processes of vessel comunication and cooperation. This article proposes the formalization of these processes. Ontology is proposed as a supplement to the navigational information ontology. The authors present the possibility of implementing the ontology using the Maritime Information Markup Language (MIML) in an automated system of ships communication and cooperation.
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ć.