The paper presents a novel method for the verification of security protocols’ time properties. The new method uses a translation to satisfiability modulo theories problem. In our approach, we model protocol users’ behaviours using networks of synchronized timed automata. Suitably specified correctness properties are defined as a reachability property of some chosen states in an automata network. Then, the network of timed automata and the property are translated to an SMT problem and checked using an SMT-solver and a BMC algorithm. (...) We consider the most important time properties of protocol executions using specially constructed time conditions. The new method was also implemented and experimentally evaluated for six well-known SPs. We also compared our new SMT-based technique with the corresponding SAT-based approach. (shrink)

This article regards the field of neuroscience and indicates on the proper or erroneous functioning of the human brain. Intellectual virtues, especially practical wisdom play a significant role in capturing the truth and implementing it in life. The agile formation of the cognitive function of man encompasses both his reason as well as the sensual judgment of utility with all the bodily backup. The brain possesses great plasticity in the production of neuronal connections. Habit as a permanent wont utilizes the (...) reactions being developed to the construction of often inappropriate mechanisms, that in turn are not easy or completely impossible to eliminate. When practical reason is introduced into a false ethos, the brain responds by forming “ruts” of neuronal connections which seem difficult to consider as something appropriate. The reparation of the existing situation and the removal of the wrong habit require relevant virtues so as to unblock the psychological resistance that is deeply rooted within the physiological neuronal substrate. The learning about the virtues of St. Thomas Aquinas is the best warranty not only for theoretical explanations, but also for the practical application of virtues in dealing with the arised situation. Only well-formed virtues give the opportunity to correct the false instinctive cognition and liberate from erroneous actions. (shrink)

Notwithstanding the opportunities it provides, the implementation of some measures of the EU Common Agricultural Policy (EU CAP), including agri-environment-climate measures (AECMs), also generates threats. The study identifies an extremely disturbing process that can be referred to as “internal neo-colonialism”, which has been driven by the technocratic agrarian policy of the EU and transformations in Poland at the turn of the twenty-first century. The associated disadvantageous practices mainly affect areas under threat of marginalisation and peripheralisation, including Poland with its post-Socialist (...) heritage, which has shaped the attitudes and behaviour of society and has consolidated linkages between politics and business. In order to retrace such activities, the study analyses EU funds granted in support of farmers implementing AECMs, with a focus on analysing the place of residence of the “farmer” and the location of the farm. As the research shows, the attractiveness of CAP support causes Polish agriculture and Poland’s countryside, including its natural and financial resources, to be drained by so-called “suitcase farmers”, i.e. people/entities not tied to the place where the agricultural activity is pursued, many of whom live in cities. One common practice is to take over land located in legally protected areas noted for their high quality of natural environment. Not only does the practice of land grabbing strengthen the social exclusion of rural communities and the peripheralisation and pauperisation of these areas, but it also hinders discussion about environmental justice and the ecological integrity of rural areas. (shrink)

Obóz Kultury 2.0 Mirosław Filiciak, Alek Tarkowski, Agata Jałosińska, Andrzej Klimczuk, Maciej Rynarzewski, Jacek Seweryn, Stunża M., D. Grzegorz, Marcin Wilkowski & Anna Orlik .

Investigating the role of visualisations in science (broadly defined) is a meta-scientific question, a self-reflexive inquiry into, among other things, the method of research activity itself. In the field of philosophy, such a self-reflective inquiry can be illustrated by the following questions: Can visualisations express philosophical content? Can visualisations serve as philosophical arguments? In this article, I will discuss—also with the help of a poster—some of the weaknesses of a certain anti-cognitivist line of argument against considering visualisations as philosophical argumentative (...) tools. (shrink)

Social constructivists use to say that economists cannot study objective reality, absolute truth does not exist, and economic knowledge is being constructed, not discovered and it depends on temporary culture. Realists notice and admit social conditions which may affect economic theories and unrealistic assumptions of models, but they claim that these models describe the real world, at least to some extent. The notions of truth and reality are crucial in both of these concepts. In this papar they are analysed based (...) on Hilary Putnam theory developed by Adam Grobler. (shrink)

W graficznym projekcie okładki najnowszego numeru _Rocznika Filozoficznego Ignatianum _przedstawiono bramę wjazdową na zamek królewski na Wawelu, czyniąc z niej łuk triumfalny otwierający się ku drodze, rozpoznawalnej dla każdego człowieka czującego więź z dziedzictwem kulturowym świata Zachodu. Ta zdefiniowana droga to via Appia, zbudowana niegdyś z woli Appiusza Klaudiusza Ślepego, uchodząca za jeden z najstarszych traktów rzymskich. Nazywana przez samych Rzymian „królową dróg”, u człowieka wychowanego na wartościach, jakie niesie ze sobą cywilizacja Zachodu, jest nierozłącznie związana z Wiecznym Miastem. To (...) o nim pisał w sławnym epitafium Mikołaj Sęp-Szarzyński: „dziś w Rzymie zwyciężonym Rzym niezwyciężony”, dając wyraz narzucającej się świadomości łączenia tego, co przeszłe, z tym, czego doświadczamy jako obecne. To na tej drodze rozegrała się legendarna scena przywołana przez Henryka Sienkiewicza, w której pytanie: _Quo vadis, Domine? _[dokąd zmierzasz, Panie?] zadaje uciekający z Wiecznego Miasta apostoł Piotr spotkanemu na trakcie apijskim Chrystusowi. Siłę tego pytania rozumie każdy, kto w korzeniach klasycznych i chrześcijańskich potrafi dostrzec to wszystko, co dla kultury zachodniej jest najważniejsze nie tylko w przeszłości, ale również w przyszłości. (shrink)

Truth is a value in that sense that a belief is correct just in case it is true, which is frequently expressed in the metaphor that beliefs aim at truth. But,what does it mean to say that beliefs aim at truth?There are three most prominent approaches to this issue:purposive(orcausal),teleological(orintentional), andnormative. A comprehensive discussion of these approaches is the goal of our article. We also offer the hierarchy of languages and meta-languages, which gives a fragmentary account of the concept of God’s (...) omniscience. (shrink)

In philosophical aesthetics, discussions on design objects place the notion of Functional Beauty at the fore. Such a philosophical approach can be found in Jane Forsey’s book The Aesthetics of Design that focuses on the notion of function to promote the aesthetic value of design and develops an interpretation of Kantian Dependent Beauty around it. Lucía Jiménez Sánchez has recently put forward several flaws of Functional Beauty accounts. She presented several practical cases as evidence for the narrowness of Functional Beauty (...) accounts. Two cases are presented against Jane Forsey’s theory of Dependent Beauty, holding that it excludes other properties from appreciation that are not necessarily related to functionality, i.e., expres- sive properties. The purpose of this article is to show that these criticisms leveled at Jane Forsey’s proposal for an aesthetic theory of design are unfounded and are based on a misun- derstanding of the structure of judgments of beauty in her system. Despite this, these criticisms highlight the need to clarify the purpose of the aesthetics of design. (shrink)

Pierre Hadot’s legacy is a vision of ancient philosophy not only as a system of abstract concepts and logical procedures but as a practical philosophical methodology. A key element of this interpretation is consideration of ancient philosophical practice as a series of spiritual exercises to improve one’s own life. The present paper aims to show, more humbly, that by highlighting the aesthetic dimension of the practice of gardening we can consider it part of the set of philosophically charged spiritual exercises. (...) Gardening supports the improvement of one’s own experience of the world through the meeting of different temporal experiences. The appropriation of such different temporal nuances in stark contrast to the accelerated pace of modern life, or periods of tiresome repetition, makes it possible to question one’s own rhythm in the world. In other words, I defend the thesis that horticulture can be considered therapeutic also from a philosophical perspective. (shrink)

W artykule przedstawiono twórczość jako integralny składnik procesu poznania. Podział pola percepcyjnego na figurę i tło jest przejawem obecności twórczości w procesie poznania, podobnie jak jej efektem jest konstrukcja spostrzeżenia składającego się z: czucia i informacji (teoria J.Gibsona), czy z informacji przetwarzanych „od góry” i „od dołu” (teorie poznawcze). Konsekwencją ścisłego związku twórczości z poznaniem są odstępstwa twórców (in plus lub in minus ) od tzw. normy psychicznej.

Starting with the words that finish, or interrupt Master Wincenty’s Polish Chronicle, I interpret its historiographic content as characteristic of 12th century humanism, expression of love, of wisdom. The infallible condition of ethicalarete may be found to be formulated in the last words of the Chronicle concerning humanity which consists in tolerant indulgence of others’ vices and modesty about one’s virtues.

This paper examines how the Polish communist intelligence service attempted to recruit professor Stefan Węgrzyn, who was a prominent specialist on automatic control and computer science in post-war Poland. Eventually, Węgrzyn’s refusal to cooperate with the Polish spy agency, together with his profound relationship with French scientist and servomechanism expert Jean Charles Gille, made them both targets of surveillance orchestrated by the communist security apparatus. In the broader context of human-intelligence studies, this case study involves the problem of moral ambiguity. (...) We experience informative examples of scientists, who often – not only during the Cold War – have had to choose between commitment to the rules of the academic world, along with its openness and transparency on the one hand, and patriotism including an ethos of secrecy for the sake of the homeland’s prosperity, on the other hand. (shrink)

In the present epoch of tensions between civilizations, challenges being brought by globalization processes and the necessity of the coexistence of various cultures and traditions, the subject of inter-religious dialogue seems to be particularly significant. Can religions remain isolated islands? Are their claims of being the only source of theological truth justified? Or should it rather be understood as an effect of interaction between different points of view and common effort of looking for the answers to the questions about God (...) and his relations to the world? What is the role of dialogue? Is it only a politically correct element or maybe something more essential - the basis of reasonable existence and development of religion? Should the direction traced by 20th century's partisans of ecumenical movements be widened in order to embrace also non Christian religions? What is the orthodoxy and where are its boundaries? The process philosophy creates a convenient and favorable atmosphere for this kind of considerations. The articles of this selection represent different points of view of the discussed topic. The book is addressed to all who deal with the inter-religious dialogue: both clergy and laymen as well as scholars and students interested in the subject. (shrink)

W artykule przedstawiam zastosowanie Jungowskiej koncepcji cienia do problematyki Innego.Wskazuję na możliwości teoretyczne, jakie otwiera przed refleksją etyczną Jungowskakoncepcja cienia, oferująca możliwość intrapersonalego rozważenia tego problemu. Koncepcjata daje możliwość odmiennego i pełniejszego spojrzenia na kwestie wolności, równości iodpowiedzialności.

Celem autora było udowodnienie, że kalwaria Mikołaja Zebrzydowskiego nie była (jak dotychczas twierdzono) wzniesiona na terenie pustostanu. Skopiowana na ziemiach pomiędzy Górą Żar a Górą Lanckorońską za traktatem Christiana Kruik van Adrichema Jerozolima obejmowała przede wszystkim królewszczyzny, głównie wsie Zakrzów, Stronie i Leśnicę. Nałożenie układu Miasta Świętego na tereny wiejskie spowodowało zabranie chłopom najbardziej urodzajnych pól znajdujących się na południowych stokach, a w konsekwencji m.in. głód i migrację. W związku z tym autor rozpatrzył fundację kompleksu jako powód zmian układów ruralistycznych (...) i przemieszczeń ludności chłopskiej. W tym celu zostały przeanalizowane odpisy z nieistniejących ksiąg kancelarii kościelnych, rzucające nowe światło na fundację polskiej Jerozolimy. Zawarte w nich wiadomości, uzupełnione informacjami ze źródeł Archiwum Głównego Akt Dawnych w Warszawie, Archiwum Kurii Metropolitalnej i Archiwum Prowincji Bernardynów w Krakowie oraz z wydanymi drukiem materiałami dały spójny obraz sytuacji tenuty zakrzowskiej w XVII wieku. Już w pierwszej połowie tego stulecia nastąpił niemal całkowity upadek wsi Leśnica i zmiany organizacji wsi Stronie, którą końcem XVII wieku starano się ratować zakładaniem nowego osiedla na wzgórzu Niespiennik. Na pozostałych w rękach chłopów kamienistych polach, położonych na północnych stokach, rósł tylko owies. Poza tym spustoszenie przynosiły wylewy rzeki Stryszówki. Zaprowadzona przez Zebrzydowskiego fundacja odcisnęła się także na wiejskiej parafii Stryszów, której proboszcz zaczął od początku XVII stulecia notować spadek liczby przychodzących do stryszowskiego kościoła parafian i wydawanego mu z obu wsi mesznego. (shrink)

Zasadniczy przedmiot artykułu stanowi analiza trzech powieści kryminalnych Stefana Kisielewskiego: Zbrodnia w Dzielnicy Północnej (1948), Wszystko inaczej (1986) i Zanim nadejdzie śmierć (1995). Pierwsza reprezentuje „klasyczną powieść kryminalną”; druga – „dzieło otwarte”, „postmodernistyczne”, „antykryminał”; trzecia – kryminał rzekomo niezakończony. Każdy z tych utworów, odmiennie odwołując się do kryminalnej narracji linearno-powrotnej i kryminalnego schematu fabularnego, do odmiennych też nieco celów strukturę powieści kryminalnej wykorzystuje, co najbardziej uwydatniają finałowe sekwencje zdarzeń. Stąd tytuł artykułu oraz przyjęta w nim metoda analizy, gdyż zarówno teoria (...) powieści (kryminalnej), jak też teoria retoryki (klasycznej), obie podkreślają duże znaczenie narracyjnego i fabularnego finiszu, a retoryka pozwala dookreślić jego celowość, czyli pełnienie przezeń różnorakich funkcji, dzięki przywołaniu istotnych w komunikacji (także literackiej) kontekstów oraz konsytuacji. Poznawcze, wychowawcze i estetyczne, a więc perswazyjne funkcje powieści kryminalnej zależą m.in. od „otwartego” bądź „zamkniętego” kształtu zakończeń narracji i fabuły. Te zakończenia w przypadku każdego z oryginalnych, niesztampowych i wartościowych dzieł są w istocie niepowtarzalne. (shrink)

In the original version of the publication, Figs. 2, 3 and 4 have been included incorrectly and these have been removed with this Correction and the corresponding text have been updated as mentioned below.