In this essay we analyse and elucidate the method to establish and clarify the scope of logic theorems offered within the theory of institutions. The method presented pervades a lot of abstract model theoretic developments carried out within institution theory. The power of the proposed general method is illustrated with the examples of interpolation and definability, as they appear in the literature of institutional model theory. Both case studies illustrate a considerable extension of the original scopes of the two classical (...) theorems. Our presentation is rather narrative with the relevant logic and institution theory concepts introduced and explained gradually to the non-expert reader. (shrink)

We study logic translations from an abstract perspective, without any commitment to the structure of sentences and the nature of logical entailment, which also means that we cover both proof- theoretic and model-theoretic entailment. We show how logic translations induce notions of logical expressiveness, consistency strength and sublogic, leading to an explanation of paradoxes that have been described in the literature. Connectives and quantifiers, although not present in the definition of logic and logic translation, can be recovered by their abstract (...) properties and are preserved and reflected by translations under suitable conditions. (shrink)

The purpose of a logical framework such as LF is to provide a language for defining logical systems suitable for use in a logic-independent proof development environment. All inferential activity in an object logic is to be conducted in the logical framework via the representation of that logic in the framework. An important tool for controlling search in an object logic, the need for which is motivated by the difficulty of reasoning about large and complex systems, is the use of (...) structured theory presentations. In this paper a rudimentary language of structured theory presentations is presented, and the use of this structure in proof search for an arbitrary object logic is explored. The behaviour of structured theory presentations under representation in a logical framework is studied, focusing on the problem of “lifting” presentations from the object logic to the metalogic of the framework. The topic of imposing structure on logic presentations, so that logical systems may themselves be defined in a modular fashion, is also briefly considered. (shrink)

W ostatnich latach obserwujemy intensywną debatę publiczną dotyczącą implementacji koncepcji miast i gmin przyjaznych starzeniu się (age-friendly cities and communities) oraz jej nowszej i szerszej odsłony związanej z inteligentnymi i zdrowymi przestrzeniami przyjaznymi starzeniu się (smart healthy age-friendly environments, SHAFE). Rozdział koncentruje się na zwięzłym przeglądzie obejmującym te zagadnienia. W pierwszej części artykuł przybliża podstawowe pojęcia i wybrane działania Komisji Europejskiej w obszarze upowszechniania dialogu międzypokoleniowego oraz programowania polityk relacji międzypokoleniowych. Następnie zaprezentowano krótkie omówienia studiów przypadku dotyczące wybranych projektów innowacji (...) społecznych i metodyk mających na celu: (1) wzmocnienie pozycji facylitatorów koncepcji miast i gmin przyjaznych starzeniu się oraz inteligentnych, zdrowych i inkluzywnych przestrzeni; (2) ułatwienie obywatelom, szczególnie osobom starszym, radzenia sobie z sytuacjami kryzysowymi w obszarze zdrowia publicznego; oraz (3) wspieranie głosu seniorów i seniorek w podejmowaniu decyzji co do celów i zadań polityk publicznych (współprojektowanie), ich wdrażania (współzarządzanie, współrealizowanie/koprodukcja usług publicznych) oraz ich monitorowania i ewaluacji (współocena). Ostatnia część zawiera rekomendacje dla wybranych podmiotów odpowiedzialnych za politykę publiczną wobec starzenia się ludności oraz propozycje kierunków dalszych badań. (shrink)

The paper consists of two parts, outlined in the title.I. In the historical science time appears as an element of the historian’s workshop. The historian collects source information, evaluates them and assigns respective dates. Only on the ground of thus “processed” sources may he reproduce the past: events and longer development processes, setting them in time. This dated time is understood colloquially as something objective, which runs one way and may be measured.II. A historian who studies the past reality depends (...) on the extent to which those sources are preserved. As a result of their interpretation, with the use of increasingly excellent research methods, he reproduces that reality. He must carry out an ongoing selection of historical facts found. This exposes him to temptations of such selection of those facts so as to adjust the historical knowledge to serve well the national interests, his own political opinions, etc. In this way the historian exerts influence on social awareness, which may consists of various myths and stereotypes, which sometimes lead to negative social behaviors: aggression, chauvinism, etc. Therefore, for researcher honesty’s sake and in the sense of moral responsibility, he must be careful to be as impartial as possible in his work. (shrink)

Podstawowym założeniem artykułu jest uznanie, że złożoność wyzwań związanych ze starzeniem się populacji wymusza rozwój powiązań kooperacyjnych między podmiotami polityki publicznej reprezentującymi różne sektory. Innymi słowy: niezbędna jest bardziej intensywna i lepiej skoordynowana współpraca między organizacjami sektora publicznego, komercyjnego, pozarządowego, nieformalnego oraz sektora obejmującego podmioty gospodarki społecznej (np. spółdzielnie). Zasadnicze znaczenie ma w tym kontekście wdrażanie założeń teorii współzarządzania (governance), koprodukcji oraz mieszanej gospodarki dobrobytu (inaczej: wielosektorowej polityki społecznej). W konsekwencji artykuł wskazuje na wybrane wątki dyskursu dotyczącego relacji procesu starzenia (...) się ludności z przedsiębiorczością społeczną i innowacjami społecznymi. Tekst przytacza także przykłady dobrych praktyk i inicjatyw z obszaru gospodarki społecznej. Podsumowanie zawiera rekomendacje dla podmiotów polityki publicznej oraz proponowane kierunki dalszych badań. (shrink)

The book deals with post-analytical philosophy of law, which departs from the traditional view which considers philosophical cognition as a sense-making and optimizing activity. It seeks to deconstruct the analytical, both philosophical and legal, narrative to expose it as a collection of schemes which oversimplify the legal and political reality.

Das Buch ist eine systematische Bearbeitung der neukantischen Philosophie und enthält einen Überblick über die wichtigsten Vertreter aller sieben neukantianischen Richtungen und Schulen: physiologische, metaphysische, relativistische, psychologische, realistische, so wie auch Badische Schule und Marburger Schule.

There is a long-lasting controversy concerning our mind and consciousness. The book proposes a connection between the mind the brain and the multiverse. We introduce the main philosophical ideas concerning mind and freedom. Explain the basic principles of computer science, artificial intelligence of brain research, quantum physics and quantum artificial intelligence. We indicate how we can provide an answer to the problem of the mind and consciousness by describing the nature of the physical world. Our proposed explanation includes the Everett (...) Many-worlds theory. The book tries to avoid any non-essential metaphysical speculations. The book is an essential compilation of knowledge in philosophy, computer science, biology, and quantum physics. It is written for readers without any requirements in mathematics, physics, or computer science. (shrink)

Celem badań jest odpowiedź na pytanie o to, jakie są efekty dotychczasowej realizacji warsztatów typu medialab z inicjatywy Fundacji Ortus w Polsce oraz jakie są uwarunkowania ich dalszego rozwoju w kierunku budowy stałej instytucji. Podjęta analiza została ukierunkowana na osiągnięcie następujących celów teoretycznych i praktycznych: identyfikacja cech wizerunku warsztatów medialab organizowanych przez Fundację Ortus; określenie zakresu upowszechniania w Polsce koncepcji nowych instytucji kultury poprzez warsztaty medialab; określenie opinii i postaw wobec inicjatyw medialab ich uczestników i nie-uczestników; identyfikacja zakresu wykorzystania technik (...) i form działań poznanych na warsztatach medialab przez ich uczestników; oszacowanie trwałości zawiązanych między uczestnikami warsztatów więzi i zakresu współpracy przez wspólnych przedsięwzięciach; identyfikacja dotychczasowych i potencjalnych korzyści i barier w realizacji inicjatyw medialab; ustalenie czynników wspierających i hamujących przyszłą działalność instytucji medialab w stałej lokalizacji; określenie cech potencjalnej roli instytucji medialab w regionalnej polityce kulturalnej i polityce innowacji; wskazanie potencjalnych rozwiązań na rzecz budowy polskiego modelu instytucji medialab. (shrink)