Interpretability logic is a modal formalization of relative interpretability between first‐order arithmetical theories. Verbrugge semantics is a generalization of Veltman semantics, the basic semantics for interpretability logic. Bisimulation is the basic equivalence between models for modal logic. We study various notions of bisimulation between Verbrugge models and develop a new one, which we call w‐bisimulation. We show that the new notion, while keeping the basic property that bisimilarity implies modal equivalence, is weak enough to allow the converse to hold in (...) the finitary case. To do this, we develop and use an appropriate notion of bisimulation games between Verbrugge models. (shrink)

Osrednji del monografije se ukvarja z vprašanjem, v kolikšni meri so metode socialnega vplivanja uspešne pri podpiranju človekovih okoljevarstvenih teženj, spreminjanju pripravljenosti za okolju prijazno vedenje in spremembi vedenja samega. Pot od človekovega zavedanja okoljske problematike do dejanskega okolju prijaznega vedenja je dolgotrajna, izpostavljamo štiri temeljne vidike raziskovanja: izbiro vedenj, ki jih je treba spremeniti, preučitev dejavnikov, ki povzročajo okolju neprijazna vedenja, uporabo metod socialnega vplivanja za spremembo okoljske ozaveščenosti in vedenja ter oceno njihovega vpliva. Rezultati so pokazali, da pripravljenost (...) za okolju prijazno vedenje izraziteje vzpodbujajo notranji, psihološki dejavniki okoljskega vedenja, medtem, ko vedenje samo, poleg psiholoških, zaznamujejo tudi zunanji, socialni dejavniki. Metode socialnega vplivanja, ki temeljijo na praktičnem pristopu, prilagojenim različnim ciljnim skupinam prebivalcev so se izkazale kot uspešne in jih je smiselno uvesti tudi v izobraževalni sistem. Mladi so namreč najbolj dovzetni za spremembe in so učinkovit medij za prenos tovrstnih idej in ustreznega vedenja na starejše. (shrink)

The scientific papers published in a special edition of the journal “Scientia et Fides” are the result of an international scientific project titled “The Dynamic Theodicy Model: Understanding God, Evil, and Evolution.” The project leaders are Prof. Piotr Roszak (Nicolaus Copernicus University) and Prof. Saša Horvat (University of Rijeka), under the auspices of the University of Oxford and the John Templeton Foundation. Other members of the project team include Grzegorz Karwasz, Michał Oleksowicz, Tomasz Huzarek, and Jan Wółkowski.

The political significance of Mitteleuropa has grown in that much of it is now within the EU. Mitteleuropa is a discourse; it is not just a semantic term or a label to refer to a geopolitical region in which power and culture are interwined. Although people may identify with it, it is not primarily a term of identity but a cultural mode of interpretation. It can be called, along with other concepts of Europe, a conflicting field of interpretation. The concept (...) reflects a civilizational context based on imperial models of modernity and cosmopolitan cultural resonances. Europe is an ongoing cultural battleground and the idea of Mitteleuropa is a reminder of a shift to the margins and the emergence of a multiperspectival Europe along with new notions of geopolitical space and historical-time consciousness. (shrink)

Instructions for authors need to be informative and regularly updated. We hypothesized that journals with a higher impact factor have more comprehensive IFA. The aim of the study was to examine whether IFA of journals indexed in the Journal Citation Reports 2013, “Medical Laboratory Technology” category, are written in accordance with the latest recommendations and whether the quality of instructions correlates with the journals’ IF. 6 out of 31 journals indexed in “Medical Laboratory Technology” category were excluded. The remaining 25 (...) journals were scored based on a set of 41 yes/no questions and divided into four groups by three authors independently. We tested the correlation between IF and total score and the difference between scores in separate question groups. The median total score was 26 [portion of positive answers 0.63 ]. There was no statistically significant correlation between a journal’s IF and the total score. IFA included recommendations concerning research ethics and manuscript preparation more extensively than recommendations concerning editorial policy and research integrity. Some policies were poorly described, for example: procedure for author’s appeal, editorial submissions, appointed body for research integrity issues. The IF of the “Medical Laboratory Technology” journals does not reflect a journals’ compliance to uniform standards. There is a need for improving editorial policies and the policies on research integrity. (shrink)

Neuroscience is one of the most propulsive of all sciences and very often, directly or not, it tries to answer the question: What is man? However, neuroscientific research does not acknowledge the concept of man as a unity of body and soul. The modern scientific research paradigm therefore rests on physicalism, while theologians are turning towards non-reductive physicalism. In this paper, we will highlight a few key points of the theory of philosopher and theologian Nancey Murphy, which is based on (...) the deconstruction of Aquinas's thought about the human soul and its reduction to the physical. We aim to show that she neglected the full scope of Aquinas teachings. In the second part of this paper, for the scientific paradigm of humans we shall propose new-old hylomorphism, and try to complement certain points of such a system with modern neuroscientific views. The aim of this work is to offer advice for the interdisciplinary cooperation between neuroscience, philosophy and theology alongside the guidelines of Aristotelian-Thomistic hylomorphism. (shrink)

This entry reviews Rudolf Carnap's philosophical views on the quantum mechanics of his time. It also offers some thoughts on how Carnap might have reacted to some recent developments in the foundations of quantum mechanics.

This paper gives a formulation of quantum logic in the abstract algebraic setting laid out by Dunn and Hardegree (2001). On this basis, it provides a comparative analysis of viable quantum logical bivalent semantics and their classical counterparts, thereby showing that the truth-functional status of classical and quantum connectives is not as different as usually thought. Then it points out that bivalent semantics for quantum logic - compatible with realism about quantum mechanics - can be maintained, albeit at the price (...) of truth-functionality. Finally, the paper improves on Hellman (1980)'s argument that this lack of truth-functionality entails a change of meaning between classical and quantum logical connectives. (shrink)

Timothy Williamson has maintained that the applicability of classical mathematics in science raises a problem for the endorsement, in non-mathematical domains, of a wide range of non-classical logics. We show that this is false.

What would happen if we could stroll through the revolutionary history of the 20th century and, without any fear of the possible responses, ask the main protagonists - from Lenin to Che Guevara, from Alexandra Kollontai to Ulrike Meinhof - seemingly naïve questions about love? Although all important political and social changes of the 20th century included heated debates on the role of love, it seems that in the 21st century of new technologies of the self we are faced with (...) a hyperinflation of sex, not love. By going back to the sexual revolution of the October Revolution and its subsequent repression, to Ches dilemma between love and revolutionary commitment and to the period of 68 and its commodification in late capitalism, the Croatian philosopher Srecko Horvat gives a possible answer to the question of why it is that the most radical revolutionaries like Lenin or Che were scared of the radicality of love. What is so radical about a seemingly conservative notion of love and why is it anything but conservative? This short book is a modest contribution to the current upheavals around the world - from Tahrir to Taksim, from Occupy Wall Street to Hong Kong, from Athens to Sarajevo - in which the question of love is curiously, surprisingly, absent. (shrink)

In this paper, the phenomenon of the stranger is considered from a philosophical and theological point of view. In the introduction, a brief etymological analysis of the term stranger was made, after which it was pointed out that the term remains ambiguous in relation to others – strangers and beloved, but also in relation to ourselves and, finally, in relation to God. In the first part of the paper, we offer phenomenological and existential reflections on the structure of the encounter (...) with the stranger, primarily through the categories of place/space as the central determinant of the stranger’s identity, then through the phenomena of the fearful and the fascinating, of change and wonder, of face and fear. In the second part of the paper, we consider the concept of the stranger with the help of Pope Francis’ encyclical Fratelli tutti, which harmoniously draws on philosophical accents but also offers a theological extension of understanding the encounter with the stranger as an encounter with the neighbor. Finally, we present a synthesis of philosophical and theological understandings of the concept of the stranger. (shrink)

We examine topological pairs (\Delta, \Sigma) which have computable type: if X is a computable topological space and f:\Delta \rightarrow X a topological embedding such that f(\Delta) and f(\Sigma) are semicomputable sets in X, then f(\Delta) is a computable set in X. It it known that (D, W) has computable type, where D is the Warsaw disc and W is the Warsaw circle. In this paper we identify a class of topological pairs which are similar to (D, W) and have (...) computable type: we prove that (\Delta, \Sigma) has computable type if \Delta can somehow be approximated by a 2-cell whose boundary circle approximates \Sigma. Moreover, we examine higher-dimensional analogues of such pairs. (shrink)

Slavoj Žižek and Srecko Horvat combine their critical clout to emphasize the dangers of ignoring Europe's growing wealth gap and the parallel rise in right-wing nationalism, which is directly tied to the fallout from the ongoing financial crisis and its prescription of imposed austerity. To general observers, the European Union's economic woes appear to be its greatest problem, but the real peril is an ongoing ideological-political crisis that threatens an era of instability and reactionary brutality. The fall of communism (...) in 1989 seemed to end the leftist program of universal emancipation. However, nearly a quarter of a century later, the European Union has failed to produce any coherent vision that can mobilize people to action. Until recently, the only ideology receptive to European workers has been the nationalist call to "defend" against immigrant integration. Today, Europe is focused on regulating the development of capitalism and promoting a reactionary conception of its cultural heritage. Yet staying these courses, Žižek and Horvat show, only strips Europe of its power and stifles its political ingenuity. The best hope is for Europe to revive and defend its legacy of universal egalitarianism, which benefits all parties by preserving the promise of equal representation. (shrink)

The uncertainty concerning the genre of the Ḥorvat ʿUza ostracon 1 is problematized through the lens of linguistic anthropology. Although a denotative approach to the linguistic forms in this Hebrew ostracon is well attested, less attention has been paid to the indexical meaning of specific stylistic features and their semi- otic register implications. Several linguistic-ideological concepts are drawn upon to examine how the act of inscription and specialized linguistic forms align the discursive genre of the ostracon with prophecy. I seek (...) to determine what salient discourse forms in the ostracon index the employment of habitual utterance styles of prophecy that construct context, genre, and social identity. (shrink)