Possibility studies is an emerging field of research including topics as diverse as creativity, imagination, innovation, anticipation, counterfactual thinking, wondering, the future, social change, hope, agency, and utopia. The Possible: A Sociocultural Theory contributes to this wide field by developing a sociocultural account of the possible grounded in the notions of difference, position, perspective, dialogue, action, and culture.

This article studies the ambitions involved in founding the European Association of Experimental Social Psychology (EAESP) in the context of a differentiation between social psychology practised in Europe on the one hand and the United States on the other. To this end 8 key actors have been interviewed: 4 members of the very first Executive Committee (or Planning Committee as it was called then) as well as 4 key players of a second generation. Also the EAESP’s archives have been consulted. (...) Moreover, data regarding the developments of EAESP’s membership and EAESP’s house journal, the European Journal of Social Psychology (EJSP), were used to assess to what extent the ambitions in developing a European social psychology have been realized. The conclusion is that, despite various successes, it remains questionable whether the founders’ aims have been fulfilled. (shrink)

Hans-Jørgen Schanz (1948-2022) har i mere end 50 år været en af de mest tænksomme og væsentlige danske intellektuelle, og han var samtidig som professor den bærende og ikke mindst samlende kraft på Idéhistorie ved Aarhus Universitet. Forskningsmæssigt spændte han meget vidt over områder som metafysik, modernitet, politisk filosofi, kunstfilosofi, religionsfilosofi og teologi. Han har begået omkring 40 bøger og et utal af artikler, og han havde en uforlignelig beundringsværdig evne til at tænke selv og insisterede gennem hele sit årelange (...) virke på, at tænkningen skulle være båret af ånd. Han var derudover en meget skattet foredragsholder på højskoler, sognegårde, Folkeuni-versitetet, teologiske konventer og efter- og videreuddannelsesregi. (shrink)

The system GLS, which is a modal sequent calculus system for the provability logic GL, was introduced by G. Sambin and S. Valentini in Journal of Philosophical Logic, 11, 311–342,, and in 12, 471–476,, the second author presented a syntactic cut-elimination proof for GLS. In this paper, we will use regress trees in order to present a simpler and more intuitive syntactic cut derivability proof for GLS1, which is a variant of GLS without the cut rule.

We prove that every Turing degree a bounding some non-GL₂ degree is recursively enumerable in and above (r.e.a.) some 1-generic degree.

Q-valued sets are non-classical models of the formalized theory of identity with existence predicate based on the axioms of a non-commutative and non-idempotent logic. The singleton monad on the category of Q-valued sets is constructed, and elementary properties of T-algebras of the singleton monad are investigated.

We investigate the notion of conditional probability and the quantum mechanical concept of state reduction in the context of GL spaces satisfying the Alfsen-Shultz condition.

We introduce a first order extension of GL, called ML 3 , and develop its proof theory via a proxy cut-free sequent calculus GLTS. We prove the highly nontrivial result that cut is a derived rule in GLTS, a result that is unavailable in other known first-order extensions of GL. This leads to proofs of weak reflection and the related conservation result for ML 3 , as well as proofs for Craig’s interpolation theorem for GLTS. Turning to semantics we prove (...) that ML 3 is sound with respect to arithmetical interpretations and that it is also sound and complete with respect to converse well-founded and transitive finite Kripke models. This leads us to expect that a Solovay-like proof of arithmetical completeness of ML 3 is possible. (shrink)

THEN GO TO YOUR WORK WITH JOY - SOCIALITY AND SACRAMENTAILITY IN MARTIN LUTHER'S TEACHING OF THE CALLINGThe article investigates Martin Luther’s teaching of the calling in a social perspective. In the tradition following the pioneering work of Max Weber, the Reformation has often been interpreted a steppingstone towards processes of disenchantment, secularization and rationalization. In recent years, a growing body of literature has argued that this tradition overlooks crucial elements of reformation spirituality such as sacramentality, sociality and the affirmation (...) of ordinary life. With his conceptualization of work as a calling, Luther elevated and sanctified the everyday life and activities as a central component of the Christian life and the constitution of society. Here we might find the seed for the exceptionally high value ascribed to work in contemporary, Lutheran Nordic societies. (shrink)

Sambin [6] proved the normalization theorem for GL, the modal logic of provability, in a sequent calculus version called by him GLS. His proof does not take into account the concept of reduction, commonly used in normalization proofs. Bellini [1], on the other hand, gave a normalization proof for GL using reductions. Indeed, Sambin's proof is a decision procedure which builds cut-free proofs. In this work we formalize this procedure as a recursive function and prove its recursiveness in an arithmetically (...) formalizable way, concluding that the normalization of GL can be formalized in PA. MSC: 03F05, 03B35, 03B45. (shrink)

Sambin [6] proved the normalization theorem for GL, the modal logic of provability, in a sequent calculus version called by him GLS. His proof does not take into account the concept of reduction, commonly used in normalization proofs. Bellini [1], on the other hand, gave a normalization proof for GL using reductions. Indeed, Sambin's proof is a decision procedure which builds cut-free proofs. In this work we formalize this procedure as a recursive function and prove its recursiveness in an arithmetically (...) formalizable way, concluding that the normalization of GL can be formalized in PA. MSC: 03F05, 03B35, 03B45. (shrink)

In a previous paper [ 21 ] all extensions of Johansson’s minimal logic J with the weak interpolation property WIP were described. It was proved that WIP is decidable over J. It turned out that the weak interpolation problem in extensions of J is reducible to the same problem over a logic Gl, which arises from J by adding tertium non datur. In this paper we consider extensions of the logic Gl. We prove that only finitely many logics over Gl (...) have the Craig interpolation property CIP, the restricted interpolation property IPR or the projective Beth property PBP. The full list of Gl-logics with the mentioned properties is found, and their description is given. We note that IPR and PBP are equivalent over Gl. It is proved that CIP, IPR and PBP are decidable over the logic Gl. (shrink)

Reference [12] introduced a novel formula to formula translation tool that enables syntactic metatheoretical investigations of first-order modallogics, bypassing a need to convert them first into Gentzen style logics in order torely on cut elimination and the subformula property. In fact, the formulator tool,as was already demonstrated in loc. cit., is applicable even to the metatheoreticalstudy of logics such as QGL, where cut elimination is unavailable. This paper applies the formulator approach to show the independence of the axiom schema ☐A (...) → ☐∀ A of the logics M3and ML3 of [17, 18, 11, 13]. This leads to the conclusion that the two logics obtained by removing this axiom are incomplete, both with respect to their natural Kripke structures and to arithmetical interpretations. In particular, the so modified ML3 is, similarly to QGL, an arithmetically incomplete first-order extension of GL, but, unlike QGL, all its theorems have cut free proofs. We also establish here, via formulators, a stronger version of the disjunction property for GL and QGL without going through Gentzen versions of these logics. (shrink)