Search results

1

A Conceptual Framework for Formalization of National Innovation Systems

100%

Nasierowski W.

Foundations of Management

|

2009

|

vol. 1

|

issue 2

159-166

EN

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

Some Remarks on Formal Description of God’s Omnipotence

100%

Świętorzecka K.

Logic and Logical Philosophy

|

2011

|

vol. 20

|

issue 4

307-315

EN

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.

3

Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction

100%

Cordes M., Reinmuth F.

Logic and Logical Philosophy

|

2017

|

vol. 26

|

issue 2

163–196

EN

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.

4

The study of EFL teachers’ instruction formalization in LMS

88%

Kostareva E. V., Permyakova T. M.

The New Educational Review

|

2016

|

vol. 43

212-221

EN

The paper focuses on the formalization of English as foreign language teachers’ instruction in LMS eFront. Instruction is considered as a minimum teaching method unit with (in)variable parameters in relation to the knowledge object, students’ activity, and control. The two approaches, i.e., information-centered and student-centered, are studied in its formalization. The paper provides the results of a two-stage analysis: 1) semi-structured interviews with EFL teachers at the tertiary level, and 2) teachers’ and students’ survey evaluating EFL instruction. Important findings include advantages of instruction formalization in technological simplification and quality control in course development, and also serve to enhance further research agenda.

5

Ocena okresowa nauczyciela akademickiego na kierunkach pedagogicznych w polskich uniwersytetach. Analiza dokumentów regulacyjnych

88%

Babicka-Wirkus A., Pasikowski S., Szplit A.

Rocznik Pedagogiczny

|

2015

|

vol. 38

37-63

EN

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.

6

Directions of Changes in Organizational Structures of SME - Results of Empirical Research

75%

Mierzejewska W.

Foundations of Management

|

2014

|

vol. 6

|

issue 3

83-92

EN

The article presents results of empirical research concerning the directions of changes in organizational structures of SME which have occurred during the last few years. The research was carried out in a group of 380 enterprises running their businesses in Poland. The organizational structure generally described in respect of parameters such as centralization, formalization, standardization and configuration. The main part of this article is dedicated to changes that have occurred in organizational structures of SME.

7

In searching for science understanding. Applying the sociology of a science based approach

75%

Jedlikowska D.

Journal of Education Culture and Society

|

2016

|

vol. 7

|

issue 2

11-19

EN

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

8

Formalization and Institutionalization of Research Institutes in the Police

75%

Tomaszycki K.

Security Dimensions: International & National Studies

|

2016

|

vol. 17(17)

116-139

EN

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.

9

„PIĄTA DROGA” ŚW. TOMASZA Z AKWINU W FORMALIZACJACH J.M. BOCHEŃSKIEGO I P. WEINGARTNERA

75%

Porwolik M.

|

2013

|

vol. 61

|

issue 3

77-99

EN

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.

10

Analysis of changes in the organizational structure of municipal offices

63%

Snopko J.

Management

|

2012

|

vol. 16

|

issue 2

373-387

EN

Organisational Structure of Municipal Offices - Key Determinats 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

Główne determinanty struktury organizacyjnej urzędów gmin 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.

11

Kilka uwag o formalizacji wnioskowań w trybie analogia legis i a contrario

63%

Malinowski A.

Archiwum Filozofii Prawa i Filozofii Społecznej

|

2017

|

vol. 2(15)

26-37

PL

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.

12

Logika chronologiczna i jej zastosowania w analizie niektórych rozumowań prawniczych

63%

Kozanecka-Dymek A.

Analiza i Egzystencja. Czasopismo Filozoficzne

|

2014

|

issue 26

21 - 42

EN

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.

13

Formalizacja wszczęcia postępowania administracyjnego na żądanie strony

63%

Sienkiewicz T.

Studia Prawnicze KUL

|

2013

|

issue 1 (53)

79-107

PL

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роны”.

14

Próby formalizacji zdań opartych na predykatach rzeczownikowych języka polskiego

63%

Vetulani G.

Linguistica Copernicana

|

2017

|

vol. 14

EN

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.

15

What is a good formalization?

51%

Wójtowicz A., Wójtowicz A.

Przegląd Filozoficzny. Nowa Seria

|

2018

|

issue 3

16

Causal and Functional Determination vs. Foreknowledge about the Future

51%

JADACKI J. J.

|

2018

|

vol. 66

|

issue 4

81-98

EN

The author of the paper critically analyzes a quasi-theory of future contingents (PFC) given by Marcin Tkaczyk and proposes his own explication of its theses and terms. The author makes it by introducing operational definitions of temporal and modal concepts, distinguishing between the causal and functional determination, discussing the status of the principle of bivalence, and re¬placing Tkaczyk’s theses by their new formulations. As a result, the author states, among other things, that (contrary to Tkaczyk) there is no contradiction between the thesis about the opened fu¬ture and the thesis about divine omniscience, because it requires the causal (but not functional as it is a case) determination between a true proposition and its determined fact. The author also shows that Tkaczyk’s examples of the retroactive causes are not an accurate solution of the anti-nomy because they are, at most, the examples of the factors which change the picture of the past but not the past itself.

PL

Autor artykułu krytycznie analizuje sformułowaną przez Marcina Tkaczyka pseudoteorię przy¬szłych zdarzeń przygodnych (PFC) oraz proponuje własną eksplikację jej tez i terminów. Czyni to poprzez wprowadzenie operacyjnych definicji pojęć temporalnych i modalnych, roz-różnienie między determinacją kauzalną a determinacją funkcjonalną, rozważenie statusu zasady dwuwartościowości oraz zastąpienie tez Tkaczyka ich nowymi sformułowaniami. W rezultacie au¬tor (przeciwnie niż jego Adwersarz) stwierdza, między innymi, że nie zachodzi sprzeczność między tezą o otwartości przyszłości a tezą o wszechmocy Boga, ponieważ sprzeczność ta zacho¬dziłaby wyłącznie w przypadku kauzalnej, a nie (jak faktycznie jest) funkcjonalnej determinacji między prawdziwym zdaniem a faktem, którego ono dotyczy. Autor pokazuje również, że poda¬wane przez Tkaczyka przykłady retroaktywnej przyczynowości nie stanowią właściwego rozwią¬zania tytułowej antynomii, ponieważ są one przykładami czynników, które co najwyżej zmieniają obraz przeszłości, a nie przeszłość samą.

17

On the Representation if States of Affairs in the Antinomy of Future Contingents

51%

GARBACZ P.

|

2018

|

vol. 66

|

issue 4

55-80

EN

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.

Refine search results

A Conceptual Framework for Formalization of National Innovation Systems

Some Remarks on Formal Description of God’s Omnipotence

Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction

The study of EFL teachers’ instruction formalization in LMS

Ocena okresowa nauczyciela akademickiego na kierunkach pedagogicznych w polskich uniwersytetach. Analiza dokumentów regulacyjnych

Directions of Changes in Organizational Structures of SME - Results of Empirical Research

In searching for science understanding. Applying the sociology of a science based approach

Formalization and Institutionalization of Research Institutes in the Police

„PIĄTA DROGA” ŚW. TOMASZA Z AKWINU W FORMALIZACJACH J.M. BOCHEŃSKIEGO I P. WEINGARTNERA

Analysis of changes in the organizational structure of municipal offices

Kilka uwag o formalizacji wnioskowań w trybie analogia legis i a contrario

Logika chronologiczna i jej zastosowania w analizie niektórych rozumowań prawniczych

Formalizacja wszczęcia postępowania administracyjnego na żądanie strony

Próby formalizacji zdań opartych na predykatach rzeczownikowych języka polskiego

What is a good formalization?

Causal and Functional Determination vs. Foreknowledge about the Future

On the Representation if States of Affairs in the Antinomy of Future Contingents