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)

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)

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.

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

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)

Geoffrey Hellman has argued that non-truth-functionality entails a change of meaning between classical and quantum logical connectives. This paper criticizes and significantly improves the argument.

Interpretability logic is a modal logic that can be used to describe relative interpretability between extensions of a given first-order arithmetical theory. Verbrugge semantics is a generalization of the basic semantics for interpretability logic. Bisimulation is the basic equivalence between models for modal logic. The Van Benthem Correspondence Theorem establishes modal logic as the bisimulation invariant fragment of first-order logic. In this paper we show that a special type of bisimulations, the so-called w-bisimulations, enable an analogue of the Van Benthem (...) Theorem for interpretability logic w.r.t. Verbrugge semantics. (shrink)

In this paper I try to indicate particular elements of Socrates’ philosophy by which educational practice should be guided, as well as certain harmful implications of Sophistic approach to education. In analysis of Socrates’ position, I especially rely on Vlastos’ interpretations, and particularly I refer to Socrates’ thesis that virtue cannot be taught. Among other things, it suggests a non-doctrinal approach to moral-educational practice, which cannot result from Protagoras’ opposite beliefs. Nowadays Sophistic particular- and utilitarian-oriented education occurs especially in the (...) educational (or better: manipulative) transmission of national, business and similar so-called ethics, which are not able for recognizing and overcoming of the existing socio-economic framework, and for which Socrates’ moral-educational philosophy contains critical force, arising primarily out of the emphasis on autonomy. (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)

On the twentieth anniversary of the death of one of the most important contemporary political and social philosophers, John B. Rawls (1921–2002), in this paper the authors deal with his understanding of the relationship between civil disobedience and freedom within the framework of a liberal constitutional democracy based on the rule of law. The fundamental starting point of Rawls’s theory, and thus of this work, is that civil disobedience expresses disobedience to the law within the limits of fidelity to the (...) law, although it is at the outer edge thereof. If the freedom of thought expressing disobedience to unjust laws is one of the fundamental freedoms, then civil disobedience can be understood not only as a corrective to liberal constitutional democracy but also as a realistic attempt to “save” it. This is an important topic of contemporary political philosophy, considering the increasingly widespread discourse about the crisis of liberalism in general today, and the impact of that crisis on the institutions of liberal constitutional democracy, among which the state stands out, but in fact law and the legal system as a whole. (shrink)

The responsibility for the COVID-19 pandemic was first ascribed to persons associated with the Huanan Seafood Market. However, many scientists suggest that this pandemic is actually a consequence of human intrusion into nature. This opens up a whole new perspective for an examination of direct and indirect, individual and collective responsibility concerning this particular pandemic, but also zoonotic pandemics as such. In this context, one of the key issues are the consequences of factory-farming of animals, which contributes to circumstances in (...) which zoonotic pandemics emerge. Moreover, it is part of a larger economic system, global capitalism, whose logic implies certain coercion toward its participants to keep it essentially unchanged and therefore to make sure that livestock health remains?the weakest link in our global health chain?. However, even though the precise answer to the issue of moral responsibility for zoonotic pandemics outbreaks in general and the COVID-19 pandemic in particular cannot be given, it is possible to list certain indicators and make a framework helpful in ascribing moral responsibility to certain persons. The paper intends to do so by examining the notion of responsibility and by applying it to the issues mentioned. The results of this analysis show that it is misleading to place moral blame on people involved in actions that directly caused the animal-to-human transmission of a certain virus or on humanity as a whole. (shrink)

Feedback encompasses different aspects of learning and enables students tofocus on the goal of the lesson while being conscious of their responsibility fortheir success. It should neither be strictly criticism, nor mere praise; rather, itshould contain a set of information that will guide them in correcting their mistakesand learning. Feedback has a positive impact on student learning (Voerman et al.,2012) and is a key factor in increasing mathematical achievement (Clarke, 2001).The purpose of this action research is to improve elementary mathematics (...) teachingthrough the provision of feedback. Analysis of the video recordings from the lessonsrevealed the prevalence of feedback aimed at assessing students’ comprehensionand achievement. Additionally, students received feedback on the assignment. Asthe planned activities were implemented, an increase in student motivation, controlover their own learning and student satisfaction was also observed. The findingsdemonstrate that it is possible to improve mathematics education by introducingchanges that align with for the students’ abilities and interests. In doing so, it iscrucial for teachers to be knowledgeable about effective teaching methods thatmust be adapted to the educational context in which they work. (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)

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)

The paper deals with the critical questioning of the relation between legitimate imposed legal obligations and the rights to refuse these obligations based on the right of the freedom of conscience, i.e. conscientious objection. The critical perspective that is applied to conduct the questioning is a legal profession because, in Croatian legal culture, there is no articulated answer to the question of how to reconcile these two obligations within the legal profession. The paper draws on the comprehension of John Rawls’s (...) theory of conscientious objection since it is a systematic analysis of justice that shall submit subjective understanding of the good to the principle of right. In practice, the focus is on the grounds for acknowledging conscientious objection among lawyers as well on the obstacles to exercising this right. (shrink)

Pendant plus de quinze ans, Léon N. Tolstoï a travaillé sur son seul traité esthétique intitulé Qu'est-ce que l’art? dans lequel il écrit que l'art n'est ni l'apparition d'une mystérieuse idée ou de la beauté divine, ni le produit de l'énergie de l'homme ou de l'expression de ses émotions, mais un moyen de communication entre hommes, nécessaire à la vie et à l'aspiration vers la bonté de tout humain. Pour lui, l'art est une forme de création communicative qui unit les (...) hommes dans des émotions identiques parmi lesquelles se distingue particulièrement l'importance du Bien. C’est précisément dans le transfert des émotions à l'aide du langage symbolique que repose la principale caractéristique de l'art. L'objectif de ce travail est la lecture des approches de Tolstoï envers l'esthétique et l'art, dispersées dans ses différentes œuvres, afin d'arriver à la vision de l'art en tant que forme particulière d’ « à la recherche de » mais aussi du reflet du Bien. Ce travail est rédigé dans l'idée qu'une recherche plus exhaustive des pensées esthétiques de Tolstoï peut modestement contribuer à la « réhumanisation de l'art ». (shrink)

The paper attempts to point out Paulo Freire’s thoughts that could be fruitful in the context of bioethical consideration of the human relationship toward nature, i.e., non-human living beings, especially with regard to the development of bioethical sensibility, in particular present in children. Given that certain childhood traits, compatible with the idea of bioethical sensibility, form the core of Freire’s philosophy of education, this is an area in which the bioethicisation of Freire’s thought can be particularly fruitful. In addition, the (...) paper presents his views associated with moral regard toward non-human living beings, as well as those that are somewhat contradictory to due regard toward living beings, given that the latter views provide impoverished insights into the richness of the non-human living beings’ self-realisation. Prior to these considerations, the notion of bioethicisation of philosophy is further clarified, especially regarding the closely related (programmatic) notion of Europeanisation of bioethics. Both of these terms are used in the context of integrative bioethics. The last chapter explains the potential contribution of Freire’s dialogical method to the development of a pluri-perspective methodology of integrative bioethics. (shrink)

In his numerous philosophical writings Cicero mostly adapted contemporary Greek sources, but occasionally he took up certain positions of his own. His propensity to scepticism in epistemology and dogmatism in ethics and political philosophy appears to be a further development of the model set forth by Carneades. Though Cicero was influenced by both Antiochus of Ascalon and Philo of Larissa—both of them claimed the heritage of the Platonic Academy—he owed a life-long allegiance to the Academic tradition of Carneades. Very often (...) we are faced with a poor state of his own argument. But it seems to me very likely that in main questions his position was consistent throughout his life, and I consider his own philosophy as the beginning of the rising Middle Platonism. (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)

Autor podrazumijeva činjenicu da su Crkva i kršćanstvo nastali, razvijali se i širili u ozračju grčko-rimske ili helenističke kulture u koju su, navješćujući vjeru u Krista, Otkupitelja i Spasitelja, unijeli određene sastojke tadašnje židovske kulture, omogućujući tako razvoj europske culture. U misionarskom djelovanju, posebno nakon otkrića Amerike, Crkva susreće i prihvaća i druge kulture. U novom vijeku Crkva sve više postaje svjesna važnosti tih kultura, da bi počevši s II. vatikanskim saborom počela govoriti o pluralizmu kultura, o važnosti autohtonih kultura (...) trećeg svijeta, tražeći načine kako ih plodonosno povezati s navještajem Evanđelja. Autor iznosi kako Crkva u dokumentima II. Vatikanskog Sabora, posebno u pastoralnoj konstituciji Gaudium et spes, naširoko govori o kulturi , prihvaćajući također činjenicu pluralizma kulturâ. U spomenutoj saborskoj konstituciji susrećemo definiciju kulture u br. 53. Govoreći o poslije-saborskom govoru Crkve o kulturi, autor analizira različite papinske dokumente i govore poslije II. vatikanskog sabora, dokumente različitih vatikanskih ureda, kao i one biskupa iz Latinske Amerike. Autor posebno analizira crkveni govor o problematici kulture i inkulturacije u navještaju vjere, želeći pokazati kako je Crkva u svojem djelovanju nakon Sabora susretala i prihvaćala nove izazove, posebno antropološki pristup kulturi i inkulturaciji, koji su je poticali da još jasnije progovori o kulturi, o pluralizmu kultura, i o inkulturaciji vjere na kraju dvadesetog stoljeća.The author comprehends the fact that the Church and Christianity emerged , developed and spread in the atmosphere of the Greek-Roman or Hellenistic culture in wich they brought, by proclamation the faith in Jesus Christ, the Redeemer and Savior, the certain ingredients of Jewish cultur, making in such way possible the developement of European culture. In missionary work, especially after the discovery of America, the Church meets and accepts the other cultures. In the modern world Church more and more becomes conscious of these cultures. Beginning with the Second Vatican Council the Church speaks of a plurality of cultures and the importance of authentic cultures of the third world in order to find the ways how to fertile connect cultures with the proclamation of Gospel. The author brings out that the Church in the documents of Second Vatican Council, particularly in the Pastoral Constitution Gaudium et spes, widely speaks of culture accepting the fact of a plurality of cultures. The same pastoral constitution brings the definition of the word ‘culture’ in the number 53. Based on the topic of culture after the Second Vatican Council the author analyzes the different papal document and speeches, the document of various Vatican offices, as well as documents of bishops from Latin America. The author particularly analyzes the Church’s speech founded on the problem of culture and inculturation in the proclamation of faith, in order to show how Church, in its work after the Second Vatican Council, met and accepted new challenges, especially anthropological admission to culture and inculturation, that gave an impulse to the Church to speak more clearly of culture, of a plurality of cultures and of inculturation of faith at the end of 20th century. (shrink)

In the paper authors present, examine, and test elements of the vital idea of the philosophical morphology as a method and a technique of philosophical investigation. The paper consists of some applications mostly concerning the method applied by L. Wittgenstein in PI and related later works, and of a series of examples concerning daily phenomena. In the first part the philosophical morphology is explicated as a method, and in the second and in the third part basic “commandments” of morphological technique (...) are described and examined, namely the first one – which says that one should “look-at exhaustively”, and the second one – which says that one should “see-as and describe synoptically”. In these parts some objections and replies to crucial morphological ideas are provided and accompanied with examples. (shrink)

The paper aims to present the philosophical background and justification of the theory of social realism. Social realism is a representative example of a literary period in which the autonomy of literature in terms of, for example, the aesthetic value of a literary work, was brought to a negligible level given the radical demands of regime poetics of writing in accordance with politics and ideology. Socialist-realism, poetics in which party writing and educating people in the form of socialist progress and (...) without any concern about literary creation are paramount, finds its postulates in theories of the Union of Russian Proletarian Writers (RAPP) and proletarian cultural and educational organization (Proletkult). Theorists of socialist realism poetics claim that their postulates find philosophical justification in Marx’s and Engels’ texts about art. The primary subject of analysis in the article will, therefore, be the connection between the theory of social realism and the classical Marxist conception of art. Based on the analysis, it can be concluded that the theory of social realism is justified by classical Marxist aesthetics regarding historical materialism which determines art, but not in the sense of denying the autonomy of the art. (shrink)

Technophobia is an irrational fear of either technological influence or\ntechnological artifacts. Philosophical interest for technophobia is\nthreefold: epistemological, existential and\nphilosophical-anthropological. In the last five decades, computers have\nchanged in major many areas of human life, including philosophy. The\nauthors have started rendering technophobical issues in philosophy with\nemergence of technophobical objections to each leap forward in\ncommunication medium. Next area of analysis is speculative fiction.\nDetermining the philosophical importance of speculative fiction, authors\noffered an overview of technophobical thesis in some of anthological\nworks.

Kritički osvrt na knjigu Milana Kangrge, Etika: Osnovni problem i pravci te na knjigu Ante Čovića, Etika i bioetika: Razmišljanja na pragu bioetičke epohe.