Publications in the journal "Logical Investigations"
Articles by members of the IL LogLinFP have been published in the journal "Logical Investigations".
Elena Dragalina-Chernaya's article "Abstract Logics as Classifications of Abstract Structures" has been published.
Abstract
Abstract logics are developed within a structuralist approach to the subjectand disciplinary boundaries of logic. Nevertheless, within algebraic, proof-theoretic, andmodel-theoretic traditions, diverse interpretations of abstract logics are possible. Focusingon the model-theoretic tradition, this paper presents an alternative viewpoint that challengesthe standard conception of abstract logics as structures. Instead, it argues for interpretingabstract logics as classifications of abstract structures (i.e., isomorphism types). From thisperspective, the property of invariance under isomorphism ceases to function as a traditionalcriterion for distinguishing logical from non-logical terms—a criterion that has faced legitimatecriticism in contemporary philosophy of logic. Invariance is rather treated as meta-constraintsimposed on classes of structures, rendering it impossible to distinguish among structures be-longing to the same isomorphism type using the tools of abstract model theory. The variabilityof such meta-constraints in early and modern model theories is examined. Two distinct on-tological perspectives are compared: one perspective regards an abstract structure as a formthat is common to all members of an isomorphism type, while the other perspective sees it asthe isomorphism type itself, which can be represented by any of its tokens. The roles playedby Edmund Husserl’s concept of definite manifold and Rudolf Carnap’s notion of model struc-ture in shaping the metatheoretical apparatus of model theory are elucidated. Supportingevidence for interpreting definitive manifolds as isomorphism types is presented, alongsidecounterarguments highlighting specific shortcomings. Furthermore, the paper investigatesa trichotomy within early model theory involving monomorphicity, deductive completeness,and non-forkability. Finally, prospects for advancing the proposed interpretation of abstractlogics are explored, motivated by the diversity of criteria for structural similarity currentlyemployed in model-theoretic research.
Dragalina-Chernaya E.G. “Abstraktnye logiki kak klassifikatsii abstraktnykh struktur” [Abstract logics as classifications of abstract structures], Logicheskie Issledovaniya / Logical Investigations, 2025, Vol. 31, No. 2, pp. 9–30. DOI: 10.21146/2074-1472-2025-31-2-9-30. (In Russian)
The article by Vitaly Dolgorukov and Elena Popova "Normative Standards in Logic and Game Theory: Structural Parallels" has been published.
Abstract
The paper examines some structural parallels between normative standards inlogic and game theory. On the one hand, the standard view holds that both logic and gametheory are normative disciplines. On the other hand, their normative status remains a sub-ject of debate. It is shown that parallel research programs have emerged within logic andgame theory, each responding in different ways to questions about their normative status.First, both fields exhibit a “paradoxical consensus” regarding their standard normative frame-works — classical logical consequence (in logic) and Nash equilibrium (in game theory). Thisconsensus is paradoxical because, while these norms are widely accepted, their shortcomingsare also acknowledged: classical logic faces paradoxes, and Nash equilibrium encounters con-ceptual difficulties. In response, alternative programs have developed, such as non-classicallogics and equilibrium refinements. Second, conflicts with empirical data from related dis-ciplines (psychology of reasoning and behavioral economics) have led to the emergence ofcompromise approaches — logical models of reasoning and behavioral game theory — whichseek to reconcile normative ideals with observed human behavior. Third, both logic andgame theory have developed a “perspective shift” program, distinct from either strengtheningor weakening norms. Instead, it demands an expanded contextual framework for definingnorms. This includes logical dynamics in logic and epistemic game theory in game theory.The article also argues that the “perspective shift” program reveals a convergence betweenlogic and game theory within a broader theory of rational agency. Moreover, the search for acompromise norm can also be seen as part of this unified theory, modeling interactions amongagents with varying resource constraints.
Dolgorukov V.V., Popova E.L. “Normativnye standarty v logike i teorii igr:strukturnye paralleli” [Normative standards in logic and game theory: structural paral-lels],Logicheskie Issledovaniya / Logical Investigations, 2025, Vol. 31, No. 2, pp. 31–51.DOI: 10.21146/2074-1472-2025-31-2-31-51. (In Russian)
Igor Zaitsev's article "Labeled Fitch-style natural deduction for basic intuitionistic conditional logic" has been published.
Zaitsev I.V. “Otmechennye subordinatnye natural’nye ischisleniya dlya bazovoiintuitsionistskoi konditsional’noi logiki” [Labeled Fitch-style natural deduction for basic intui-tionistic conditional logic],Logicheskie Issledovaniya / Logical Investigations, 2025, Vol. 31,No. 2, pp. 143–168. DOI: 10.21146/2074-1472-2025-31-2-143-168. (In Russian)
