The author of the monograph is a Candidate of Culturology, Associate Professor of Tyumen State University. The monograph tests approaches to the understanding of the essence of Hobbes’s and Locke’s ideas about miracles that are more flexible than a formational-evolutionist approach. The monograph presents the main characteristics of these ideas as Christian philosophical ones, shows their general Christian direction and the historiographic perspective of studying these ideas primarily in line with Christian philosophy. The monograph is intended for experts in the (...) history of philosophy, the history of ideas, theology, religious studies, historical anthropology, as well as for those interested in the problems of historical-philosophical knowledge. Автор монографии – кандидат культурологии, доцент Тюменского государственного университета. В монографии апробируются более гибкие подходы к пониманию сущности идей Гоббса и Локка о чудесах по сравнению с формационно-эволюционистским подходом. Представлены основные характеристики идей Гоббса и Локка о чудесах как христианских философских идей. Показана общехристианская направленность идей Гоббса и Локка о чудесах и историографическая перспективность изучения этих идей в первую очередь как христианских философских идей. Монография рассчитана на специалистов в области истории философии, истории идей, теологии, религиоведения, исторической антропологии, а также на всех, кто интересуется проблемами историко-философского знания. (shrink)

Crosslinguistically, the same modal words can be used to express a wide range of interpretations. This crosslinguistic trend supports a Kratzerian analysis, where each modal has a core lexical entry and where the difference between an epistemic and a root interpretation is contextually determined. A long-standing problem for such a unified account is the equally robust crosslinguistic correlation between a modal’s interpretation and its syntactic behavior: epistemics scope high (in particular higher than tense and aspect) and roots low, a fact (...) which has led to proposals that hardwire different syntactic positions for epistemics and roots (cf. Cinque’s hierarchy). This paper argues that the range of interpretations a modal receives is even more restricted: a modal must be keyed to certain time-individual pairs, but not others. I show that this can be captured straightforwardly by minimally modifying the Kratzerian account: modals are relative to an event—rather than a world—of evaluation, which readily provides a time (the event’s running time) and (an) individual(s) (the event’s participants). I propose that this event relativity of modals can in turn explain the correlation between type of interpretation and syntactic position, without stipulation of an interpretation-specific height for modals. (shrink)

This paper discusses the interaction of aspect and modality, and focuses on the puzzling implicative effect that arises when perfective aspect appears on certain modals: perfective somehow seems to force the proposition expressed by the complement of the modal to hold in the actual world, and not merely in some possible world. I show that this puzzling behavior, originally discussed in Bhatt (1999, Covert modality in non-finite contexts) for the ability modal, extends to all modal auxiliaries with a circumstantial modal (...) base (i.e., root modals ), while epistemic interpretations of the same modals are immune to the effect. I propose that implicative readings are contingent on the relative position of the modal w.r.t. aspect: when aspect scopes over the modal (as I argue is the case for root modals), it forces an actual event, thereby yielding an implicative reading. When a modal element scopes over aspect, no actual event is forced. This happens (i) with epistemics, which structurally appear above tense and aspect; (ii) with imperfective on a root modal: imperfective brings in an additional layer of modality, itself responsible for removing the necessity for an actual event. This proposal enables us to solve the puzzle while maintaining a standardized semantics for aspects and modals. (shrink)

How do children learn the meanings of propositional attitude verbs? We argue that children use information contained in both syntactic distribution and pragmatic function to zero in on the appropriate meanings. Specifically, we identify a potentially universal link between semantic subclasses of attitude verbs, their syntactic distribution and the kinds of indirect speech acts they can be used to perform. As a result, children can use the syntax as evidence about the meaning, which in turn constrains the kinds of pragmatic (...) enrichments they do and do not make in understanding these verbs in conversation. (shrink)

In this article, I critically reassess Iris Marion Young's late works, which centre on the distinction between liability and social connection responsibility. I concur with Young's diagnosis that structural injustices call for a new conception of responsibility, but I reject several core assumptions that underpin her distinction between two models and argue for a different way of conceptualising responsibility to address structural injustices. I show that Young's categorical separation of guilt and responsibility is not supported by the writings of Hannah (...) Arendt, which Young draws on, and that it is also untenable on independent systematic grounds. Furthermore, I argue that several of Young's other criteria fail to clearly demarcate two distinct phenomena. I therefore propose to transcend Young's distinction between two models in favour of a related, but conceptually different distinction between two forms of responsibility: interactional and structural. Embracing this terminology facilitates the conceptualisation of the general features of responsibility that are shared by both forms, including their retrospective and prospective time-direction and their applicability to individual, joint and group agency. The distinction between interactional and structural responsibility also yields a more compelling general account of the role of background structures, and of blame within ascriptions of political responsibility. (shrink)

We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...) are elementary canonical and thus extend Sahlqvist’s theorem over them. In particular, we give a simple example of an inductive formula which is not frame-equivalent to any Sahlqvist formula. Then, after a deeper analysis of the inductive formulae as set-theoretic operators in descriptive and Kripke frames, we establish a somewhat stronger model-theoretic characterization of these formulae in terms of a suitable equivalence to syntactically simpler formulae in the extension of the language with reversive modalities. Lastly, we study and characterize the elementary canonical formulae in reversive languages with nominals, where the relevant notion of persistence is with respect to discrete frames. (shrink)

In this article, I set out Suárez's conception of the demon's obstinacy. For Suárez, the demons’ obstinacy is a divine punishment. It is the result of the free and awful choice to turn away from God that the demons have decided to make, the main consequence of which is the loss of the freedom to will and to do the good. Taking up Aquinas’s conception, Suárez considers that the demonic nature is irredeemably corrupt and obstinate in evil. Demons are provided (...) only with a miserable freedom, consisting of the possibility to choose between different evils. Perpetually sinful and eternally constrained to remain so, they are condemned to wretchedness, to complacency in evil, and to the unremitting torments of hell. (shrink)

Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.

We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's and (...) Stavi's temporal operators, as well as nominals (names, clock variables), are definable in them. Universal validity in these languages is proved undecidable. The basic modal and temporal logics with reference pointers are uniformly axiomatized and a strong completeness theorem is proved for them and extended to some classes of their extensions. (shrink)

The international #MeToo campaign against sexual harassment constitutes the most prominent contemporary campaign against sexual harassment worldwide. It exposed the issue by undermining the ‘culture of silence’ prevailing in several contexts, including political institutions. This article analyses one specific variant of #MeToo, the campaign MeTooEP that emerged in the European Parliament. MeTooEP is unique in many ways: it was the first collective action against sexual harassment in parliaments emerging in the #MeToo aftermath and it was the first collective action within (...) the EP led by members of the staff, which eventually drove some internal policy changes. Using a unique, large interview dataset, the analysis shows how the actors behind MeTooEP were crucial in shaping the campaign. Their knowledge of institutional rules, practices and daily presence in the EP facilitated their advocacy and transformed the Parliament into an enabling platform for their actions. With the help of Feminist Institutionalism, the analysis demonstrates how the formal and informal institutional EP bodies with their rules and regulations shaped MeTooEP in ways that constrained and empowered it. (shrink)

In my presentation I understand anger as an emotion that, in addition to its relationship to time, is also subject to cultural rules and is therefore related to probability and predictability. With the use of selected references from the theory of emotions (ranging from antiquity to the present day) I identify several consistent fundamental assumptions about this emotion and reconstruct a discourse of “just” anger. Viewed from the perspective of such extra-literary concepts of anger (particularly Thomas Aquinas' ‘De passionibus animae’) (...) Willehalm's outbursts of anger at the French court can be seen not only as an “illegitimate”, universally condemned act, through which the margrave unnecessarily puts at risk his legitimate claim to the king's support; equally, the very forbearance and expressions of solidarity which he is successively shown after his intemperate behaviour in Munleun can also be reinterpreted in light of the Aristotelian-Thomistic model of anger. (shrink)

: The article analyzes the features of the doctrine of the church of the outstandingProtestant theologian of the early XXI century Miroslav Volf. Volf's understanding of the church as a reality that preceded the emergence of the individual as a Christian means a radical break with liberal Protestant ideas of the church community as created by the voluntary decision of individuals. But Volf does not share the collectivist idea of ​​the church as an organism in which the individual is completely (...) subjugated to the whole. It is established that Volf creates a communitarian model of the church, in which the church community is understood as the unity of diversity. Unity itself has the character of interpersonal relations. Individuals with different charisms in the community interact with each other like the fellowship of the Three in God. Communitarianism in Volf's ecclesiology as a "middle way" between liberal individualism and total collectivism has all the hallmarks of postliberal theological theory. It is proved that Volf's communitarianism became a creative development of Christian personalism of the XX century with its emphasis on the existential freedom of the individual and the importance of interpersonal relations. Volf succeeded in building ecclesiological communitarianism not so much because of his many specific speculations about the organization of church communities, but because of his vision of personalism. Namely, as we noted above, Volf combines the idea of ​​personality as dependent on its relations with other personalities with the vision of personality as an apophatic secret that is higher than all its properties and charisma. Accordingly, a personality that exists in absolute openness to the influences of other personalities on the one hand, and is absolutely unique on the other, makes possible the existence of a communitarian church community. Volf emphasizes that the catholicity of the individual Christian personality is as necessary as the catholicity of the whole church community. The characterization of the individual as a conciliar presupposes not only the traditional ideal of the integrity of all faculties and the charisma of the individual in his intention to communicate with God, but also the vision of the legitimacy of the inner diversity of the individual. The possible complexity of the identity of the individual is almost infinite, and the willingness to accept it in the community - the main feature of Volf's communitarianism. Similarly, every ecclesial community must be ready to accept as Christian all other ecclesial communities, whatever the peculiarities of their identity. It is clear that such an understanding of catholicity is possible only in Protestantism. As Volf rightly points out, Catholicism presupposes that the ecclesial community must be the local embodiment of the common ecclesial identity of the whole structure, and Orthodoxy emphasizes that a separate community is necessarily identical in identity to the common identity of the church through the Eucharist. Volf's communitarianism allows us to describe church communities and their associations as network structures in which all individuals are active actors whose abilities and charisms are important for the constitution of communities. (shrink)

Hybrid deduction–refutation systems are deductive systems intended to derive both valid and non-valid, i.e., semantically refutable, formulae of a given logical system, by employing together separate derivability operators for each of these and combining ‘hybrid derivation rules’ that involve both deduction and refutation. The goal of this paper is to develop a basic theory and ‘meta-proof’ theory of hybrid deduction–refutation systems. I then illustrate the concept on a hybrid derivation system of natural deduction for classical propositional logic, for which I (...) show soundness and completeness for both deductions and refutations. (shrink)

This paper deals with, prepositional calculi with strong negation (N-logics) in which the Craig interpolation theorem holds. N-logics are defined to be axiomatic strengthenings of the intuitionistic calculus enriched with a unary connective called strong negation. There exists continuum of N-logics, but the Craig interpolation theorem holds only in 14 of them.

Principles of Philosophy was written in Latin by Rene Descartes. Published in 1644, it was intended to replace Aristotle's philosophy and traditional Scholastic Philosophy. This volume contains a letter of the author to the French translator of the Principles of Philosophy serving for a Preface and a letter to the most serene princess, Elizabeth, eldest daughter of Frederick, King of Bohemia, Count Palatine, and Elector of the Sacred Roman Empire. Principes de philosophie, by Claude Picot, under the supervision of Descartes, (...) appeared in 1647 with a letter-preface to Queen Christina of Sweden. (shrink)

Interview of Katrin Flikschuh, Rainer Forst and Darrel Moellendorf by Valentin Beck and Julian Culp for Global Justice: Theory Practice Rhetoric.

This study used a partial least squares structural equation modelling (PLS-SEM) to estimate curriculum management's direct and indirect effects on university graduate programmes' viability. The study also examined the role of institutional effectiveness in mediating the nexus between the predictor and response variables. This is a correlational study with a factorial research design. The study's participants comprised 149 higher education administrators (23 Faculty Deans and 126 HODs) from two public universities in Nigeria. A structured questionnaire designed by the researchers was (...) used for data collection. The questionnaire was duly validated with an acceptable scale and item content validity indices. The dimensionality of the instrument was determined using exploratory factor analysis (EFA). Convergent validity was based on Average Variance Extracted (AVE), whereas discriminant validity was based on Fornell-Lacker criteria and the Hetero-Trait Mono-Trait (HTMT) ratio. Acceptable composite reliability estimates of internal consistency were reached for the three sub-scales. Following ethical practices, the questionnaire was physically administered to respondents and retrieved afterwards. Smart PLS (version 3.2.9) and SPSS (version 26.0) programs were used for all the statistical analyses. This study uncovered significant direct and indirect effects of curriculum management on the viability of graduate programmes. Institutional effectiveness significantly impacted graduate programmes’ viability while mediating the nexus between curriculum management and graduate programmes’ viability. Curriculum management and institutional effectiveness jointly explained a significant proportion of graduate programmes’ viability variance. The result of this study proved that graduate programmes’ viability depends, to a great extent, on how much curriculum is managed and how effective institutions are with their services. The result of this study can enable institutions seeking to run viable graduate programmes to re-evaluate their curriculum management practices and the effectiveness of their services. (shrink)

We draw parallels between several closely related logics that combine — in different proportions — elements of game theory, computation tree logics, and epistemic logics to reason about agents and their abilities. These are: the coalition game logics CL and ECL introduced by Pauly 2000, the alternating-time temporal logic ATL developed by Alur, Henzinger and Kupferman between 1997 and 2002, and the alternating-time temporal epistemic logic ATEL by van der Hoek and Wooldridge (2002). In particular, we establish some subsumption and (...) equivalence results for their semantics, as well as interpretation of the alternating-time temporal epistemic logic into ATL. The focus in this paper is on models: alternating transition systems, multi-player game models (alias concurrent game structures) and coalition effectivity models turn out to be intimately related, while alternating epistemic transition systems share much of their philosophical and formal apparatus. Our approach is constructive: we present ways to transform between different types of models and languages. (shrink)

This special issue is a result of The Bucharest Colloquium in Analytic Philosophy dedicated to Frege's philosophy of mathematics and language. It was held at the Research Center for Logic, H...

We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.

Among others, the recent work of Janine Idziak presents Andrew of Neufchateau (†1400) as a fervent advocate of “divine command ethics,” a promoter of radical voluntarism, according to which moral values depend solely on the divine will. One example that illustrates this theory is the “hatred of God” (odium Dei ), often discussed in the fourteenth century. Since moral values depend on the divine will, it can be morally good to hate God if that is his command. Andrew has been (...) seen and is still seen today as a supporter of this view. The present paper aims to reconsider this interpretation. (shrink)

In this conceptual paper, we propose that both skill set development and mindset development would be desirable dimensions of negotiation training. The second dimension has received little attention thus far, but negotiation mindsets, i.e., the psychological orientations by which people approach negotiations, are likely to have a considerable influence on the outcome of negotiations. Referring to empirical and conceptual mindset studies from outside the negotiation field, we argue that developing mindsets can leverage the effectiveness of skills and knowledge, increase learning (...) transfer, and lead to long-term behavioral changes. We introduce an integrative negotiation mindset that comprises three inclinations which complement each other: a collaborative, a curious, and a creative one. We also discuss activities that help people to develop and enhance this mindset both in and out of the classroom. Our general claim is that by moving beyond the activities of conventional negotiation training, which focuses on skills and knowledge, mindset-oriented negotiation training can increase training effectiveness and enable participants to more often reach what we define as sustainable integrative agreements. (shrink)

The cause of contemporary education is a subject-object relation of the society to man. There are two possible types of education constructed on the basis of this relation: cultural-oriented and social-oriented. None of this two types can solve the problem of a man as a subject of own history. Creative type of education based оn a subject-subject relation can solve this problem.

This paper investigates formal logics for reasoning about determinacy and independence. Propositional Dependence Logic D and Propositional Independence Logic I are recently developed logical systems, based on team semantics, that provide a framework for such reasoning tasks. We introduce two new logics L_D and L_I, based on Kripke semantics, and propose them as alternatives for D and I, respectively. We analyse the relative expressive powers of these four logics and discuss the way these systems relate to natural language. We argue (...) that L_D and L_I naturally resolve a range of interpretational problems that arise in D and I.We also obtain sound and complete axiomatizations for L_D and L_I . (shrink)

We give a complete axiomatization of the identities of the basic game algebra valid with respect to the abstract game board semantics. We also show that the additional conditions of termination and determinacy of game boards do not introduce new valid identities.En route we introduce a simple translation of game terms into plain modal logic and thus translate, while preserving validity both ways, game identities into modal formulae.The completeness proof is based on reduction of game terms to a certain ‘minimal (...) canonical form’, by using only the axiomatic identities, and on showing that the equivalence of two minimal canonical terms can be established from these identities. (shrink)

The article discusses the work of the Orthodox Christian churches with children and especially children-at-risk. This work is new for these churches and is not yet theologically grounded or systematically organized. Observing the various activities of Orthodox Christians with children-at-risk, questions are raised, such as: is this missionary work, or is it ministry, or is it a task fulfilled by individuals and not by the Church at large? These questions are explored, yet readers are left to make their own conclusions. (...) What becomes evident is the necessity for the Orthodox churches to cooperate with other Christian churches and organizations that are engaged in work with children, and particularly those at-risk, so that all learn from each other and continue their ministry with children in more innovative and successful ways, for the glory of God and the salvation of people, especially the ‘little ones’. (shrink)

Les œuvres représentant l’histoire du Christ chez Marthe et Marie, épisode tiré de l’Évangile de Luc, se multiplient dans l’art des Pays-Bas à partir du milieu du XVIe siècle sous l’impulsion du conflit théologique à propos de la justification et du salut des hommes, qui oppose alors catholiques et réformés. Dès la fin du XVIe siècle et au cours du XVIIe siècle, deux voies iconographiques se distinguent l’une de l’autre. L’une tend à refléter une interprétation protestante de l’épisode de Luc, (...) en représentant Marie sous les traits d’une pieuse lectrice réformée et Marthe comme figure garante des vertus domestiques hollandaises. L’autre, au contraire, vise à défendre les positions doctrinales de l’Église de Rome à travers les deux sœurs. Marie, sous les traits de Marie-Madeleine, devient le symbole de la vie contemplative, tandis que Marthe rappelle la place de la charité et des œuvres dans le salut des hommes. Dans ces deux cas, les œuvres soulignent la complémentarité des deux sœurs dans leur accueil du Christ. (shrink)

A certain type of inference rules in modal logics, generalizing Gabbay's Irreflexivity rule, is introduced and some general completeness results about modal logics axiomatized with such rules are proved.