Temat: formal structures - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: O stosowaniu narzędzi i struktur formalnych w filozofii. Ontologia formalna. Ontologia topologiczna
On the use of formal tools and structures in philosophy. Formal ontology and topological ontology
Autorzy:: Kaczmarek, Janusz
Tematy:: formal philosophical tools
formal structures
Cracow circle
formal ontology
topological ontology
narzędzia i metody formalne w filozofii
kraty
koło krakowskie
ontologia formalna
ontologia topologiczna; Pokaż więcej
Wydawca:: Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Powiązania:: https://bibliotekanauki.pl/articles/431346.pdf Link otwiera się w nowym oknie
Opis:: According to Aristotle, logic is a tool for philosophy. After nearly two and a half thousand years, we can say that not only logic, but also other formal tools and structures (algebra, topology, branched proof, induction) are tools for philosophical and also scientific consideration. Jan F. Drewnowski supported the use of formal tools in philosophy. In this article I describe Drewnowski’s position in relation to the formal study of philosophical problems (using logic and mathematical concepts). I also present contemporary formal solutions to certain philosophical problems, which can be understood as a justification for Drewnowski’s anticipation of the „power of formalism” and which in his time -were not always well received.
Za Arystotelesem logika postrzegana jest jako narzędzie filozofii. Po blisko 2 i pół tysiąca lat dostrzegamy, że nie tylko logika, ale także różne formalne narzędzia i struktury są narzędziami namysłu filozoficznego – i również – naukowego. Zwolennikiem takiego postrzegania sprawy był Jan F. Drewnowski. Narzędzia, o których mówię w tytule, to różnego rodzaju techniki i reguły wypracowane w naukach formalnych. Zaliczyć do nich możemy np. regułę modus ponens czy technikę dowodu rozgałęzionego. Z kolei przez strukturę formalną rozumiem pewien obiekt formalny np. algebrę Boole’a albo przestrzeń topologiczną, które pozwalają modelować przedmioty różnych dziedzin naukowych, w tym filozofii. W niniejszym artykule zarysuję główne idee Drewnowskiego (i tzw. Koła Krakowskiego na temat konieczności stosowania współczesnych jemu dokonań logicznych i matematycznych oraz pokażę, w jaki sposób ontologię Wittgensteina można modelować w strukturach krat (por. Wolniewicz) i w jaki sposób przestrzeń topologiczna pozwala na analizę tak różnych pojęć filozoficznych jak możliwy świat czy monada. Przykłady te posłużą do argumentacji za prawdziwością metodologicznych tez Drewnowskiego, że (1) stosowanie logiki symbolicznej (oraz różnych struktur formalnych) służy uściślaniu dowolnych dziedzin wiedzy (w tym filozofii) i – jak sądzę – (2) nie narusza bogactwa treści właściwych danej dziedzinie.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 2.

Tytuł:: Consistency concept in different organizational structures: functional, process and hybrid
Koncepcja spójności w różnych strukturach organizacyjnych: funkcjonalnej, procesowej oraz hybrydowej
Autorzy:: Flieger, Michał
Tematy:: consistency concept
organizational structure
process structure
hybrid organization
formal structures
koncepcja spójności
struktura organizacyjna
struktura procesowa
organizacja hybrydowa
struktury formalne; Pokaż więcej
Wydawca:: Akademia Wojsk Lądowych imienia generała Tadeusza Kościuszki
Powiązania:: https://bibliotekanauki.pl/articles/30145283.pdf Link otwiera się w nowym oknie
Opis:: Consistency problem in management has been present for some time now. However, organizational consistency usually deals with specific elements that are a given part of an organization, and that need to suit each other. In this article, consistency is seen from a different perspective – as a holistic problem that embraces every aspect of organizations. Moreover, even in the holistic approach, the problem of consistency profile is essential. In every organizational structure, consistency must be achieved, but differently. Thus, the question of what kind of consistency is possible or necessary in terms of a kind of organizational structure arises. The article tries to answer this question. In functional structures, managers have a kind of freedom when they decide on what the consistency platforms should be like. When the organization operates in process or hybrid structures, there is no freedom, and only process profile of consistency platforms should be chosen. The main subject of the article is to drive our attention to consistency as a whole. The article also provides the distinction of the consistency approach according to organizational structure. The outcome may have a great application value for managers.
Problem spójności jest już obecny w zarządzaniu od jakiegoś czasu. Jednak, zwykle odnosi się on do specyficznych elementów wydzielonych w organizacjach, które muszą do siebie pasować. W niniejszym artykule spójność rozpatrywana jest z innej perspektywy – jako całościowy system, który obejmuje całą organizację. Ponadto, nawet w podejściu holistycznym pozostaje problem profilu spójności – w każdej organizacji należy dążyć do spójności, ale w inny sposób. W ten sposób pojawia się kwestia dopasowania spójności do struktur organizacyjnych. Ta kwestia analizowana jest w artykule. W strukturach funkcjonalnych menadżerowie mają względna swobodę w decydowaniu o spójności organizacyjnej oraz o platformach spójności. W strukturach procesowych i hybrydowych takiej swobody nie ma. Głównym zadaniem artykułu jest zwrócenie uwagi na problem spójności oraz na konieczność zmiany podejścia w zależności od rodzaju struktury organizacyjnej. Rozważania mają charakter zarówno teoretyczny jak i sporą wartość aplikacyjną.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 3.

Tytuł:: Towards a Formal Ontology of Information. Selected Ideas of K. Turek
Autorzy:: Krzanowski, Roman
Tematy:: information
formal ontology of information
set theory
form-matter complex
substance
structures
relations; Pokaż więcej
Wydawca:: Copernicus Center Press
Powiązania:: https://bibliotekanauki.pl/articles/690802.pdf Link otwiera się w nowym oknie
Opis:: There are many ontologies of the world or of specific phenomena such as time, matter, space, and quantum mechanics1. However, ontologies of information are rather rare. One of the reasons behind this is that information is most frequently associated with communication and computing, and not with ‘the furniture of the world’. But what would be the nature of an ontology of information? For it to be of significant import it should be amenable to formalization in a logico-grammatical formalism. A candidate ontology satisfying such a requirement can be found in some of the ideas of K. Turek, presented in this paper. Turek outlines the ontology of information conceived of as a part of nature, and provides the ‘missing link’ to the Z axiomatic set theory, offering a proposal for developing a formal ontology of information both in its philosophical and logicogrammatical representations.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 4.

Tytuł:: Risk Assessment Approaches for Offshore Structures
Autorzy:: Shouman, M.
Ghoneim, N. I.
El-Khatib, M.
Tematy:: offshore structures
risk assessment
QRA
hazard identification
offshore platform
risk matrix
risk index
formal safety assessment; Pokaż więcej
Wydawca:: Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Powiązania:: https://bibliotekanauki.pl/articles/1841492.pdf Link otwiera się w nowym oknie
Opis:: Risk assessment and management was established as a scientific field some 30–40 years ago. Principles and methods were developed for how to conceptualize, assess, and manage risk. These principles and methods still represent largely the foundation of this field today, but many advances have been made, linked to both the theoretical platform and practical models and procedures. The purpose of the thesis is to perform a review of these advances, with a special focus on the fundamental ideas and thinking on which these are based. We have looked for trends in perspectives and approaches, and we reflect on where further development of the risk field is needed and should be encouraged. The present study is written for readers with different types of background, not only for experts on risk. However, there is a conflict between the cost impact and safety aspect. E&P managers as well as government supervisor authorities are constantly faced with decisions to be made regarding of safety. In order to ensure comparability and to set priorities application of QRA is a useful tool to justify choices made with regard to personnel safety, environmental protection, asset damage and business reputation, it is recommended to apply the systematic cause analysis method and develop the risk management models which contains an integral approach toward the health, safety and environmental aspect.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 5.

Tytuł:: Impact of socioeconomic factor on architectural formation of buildings for non-formal education in Ukraine
Autorzy:: Kravchenko, Iryna L.
Tematy:: socioeconomic factor
socio-ethnic structure
socio-demographic structure
socio-professional structure
socio-class and socio-territorial structures
architectural formation of buildings for non-formal education; Pokaż więcej
Wydawca:: Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydawnictwo Uczelniane ZUT w Szczecinie
Powiązania:: https://bibliotekanauki.pl/articles/369251.pdf Link otwiera się w nowym oknie
Opis:: The article analyzes the impact of socio-economic factor on development of the architecture of non-formal education institutions. The influence of this factor is considered from a sociological, pedagogical, economic viewpoint. The main components are sociodemographic, socio-professional and socio-territorial problems, which are closely related to the economic component. The main social and pedagogical problem is the socialization of the individual; economic problems are changes in the labour market and the growing role of human capital. The influence of these factors on formation of the architecture of non-formal education institutions is defined. The results of experimental design are presented on the basis of the Department of the Architectural Theory of KNUCA, that demonstrate certain trends in the development of architecture of such educational institutions.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 6.

Tytuł:: Adaptacja historycznych kanałów kanalizacyjnych na potrzeby podziemnych tras turystycznych (PTT)
Historic sewage channels adaptation regarding to underground touristic routes
Autorzy:: Wieja, T.
Wartak, K.
Tematy:: rewitalizacja
podziemne budowle inżynierskie
podziemne trasy turystyczne
adaptacja
diagnostyka
projektowanie
wymogi formalne
techniczne rozwiązania
underground engineering structures
underground tourist routs
revitalization
adaptation
diagnostics
design
formal requirements
technical solutions; Pokaż więcej
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Powiązania:: https://bibliotekanauki.pl/articles/349813.pdf Link otwiera się w nowym oknie
Opis:: Historyczne kanały kanalizacyjne są budowlami inżynierskimi, które cechuje interesująca forma architektoniczna i systemy konstrukcyjne. Konstrukcje te ze względu na swoje walory mogą być porównywane z zabytkowymi piwnicami, przejściami etc. Ich niepowtarzalny charakter sprawia, że bardzo poważnie rozważana jest możliwość ich adaptacji dla potrzeb tworzenia podziemnych tras turystycznych. W artykule zidentyfikowano zagrożenia, określono wymogi formalne i techniczne, jakie powinny być spełnione, aby takie obiekty mogły zostać włączone jako elementy trasy turystycznej lub stanowić je samoistnie. Kanały sanitarne ze względu na pełnioną pierwotnie funkcję powinny być szczegółowo przebadane z uwagi na możliwość wystąpienia zagrożeń bakteriologicznych.
Historic sewage channels are remarkable engineering structures of high architectural values. In consequence of their magnificence, they are compared to monumental basements, passages etc. Because of their uniqueness, the possibility of adaptation for touristic purposes is seriously considered. The article identifies threats, defines formal and technical requirements in terms of individual or partial adaptation. As far as the impact of impurities on health is considered it is of great importance to examine channels for the possibility of bacteriological threats.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Informacja

Wyszukujesz frazę "formal structures" wg kryterium: Temat