Open peer commentary on the article “Consciousness as Self-Description in Differences” by Diana Gasparyan. Upshot: The aim of my commentary is to support some of Gasparyan’s ideas and to reformulate them in a more constructive way in terms of both formalized hermeneutical procedures and networks and in the light of game-theory approaches.

Розкрито сутність поняття «рейтинг». Доведено значущість рейтингової оцінки для суб’єктів фінансового ринку, зокрема для страхових компаній, потенційних страхувальників, інвесторів та кредиторів.

This essay is a fictocritical meditation upon the contemporary transformation of temporal experience as we find ourselves embarked upon an accelerating process of climate change and species extinction, including possibly that of the human species. The essay offers an extended reading of a recent villanelle published in John Kinsella’s Book of Villanelles that in turn responds to a controversial project by the Adani mining consortium to begin extracting coal over a large swathe of Wangan and Jagalingou country in the Central (...) Queensland Galilee Basin. The essay is an extract from a collaborative work in progress by John Kinsella and myself, Per Se: On the Imperatives of Place II, that will appear in early 2021 with Narr, building upon ˈtεmprərɪnəs: On the Imperatives of Place. (shrink)

Авторами розглянуто вплив провідних світових кредитних рейтингових агентств на фінансову безпеку емітентів цінних паперів. Обґрунтовано перформативний характер діяльності кредитних рейтингових агентств з позицій моделі «Les economies de la grandeur» нового соціологічного французького інституціоналізму, що дає змогу розв’язати протиріччя щодо сильної опозиції стосовно їх функціонування з одночасним збереженням діючої системи нормативного використання кредитних рейтингів.

Авторами рассмотрены основные подходы к моделированию процесса принятия финансово-экономических решений в контексте учета поведенческого фактора соблюдения принятых социальных норм, что позволяет выйти за рамки классического представления о мотивации экономических агентов.

Авторами рассмотрены основные подходы к моделированию процесса принятия финансово- экономических решений в контексте учета поведенческого фактора соблюдения принятых со- циальных норм, что позволяет выйти за рамки классического представления о мотивации экономических агентов. Ключевые слова: социальная норма, моральные эмоции, экономико-математическое моделирование, процесс принятия решений, «теория игр».

A sequent calculus methodology for systems of agency based on branching-time frames with agents and choices is proposed, starting with a complete and cut-free system for multi-agent deliberative STIT; the methodology allows a transparent justification of the rules, good structural properties, analyticity, direct completeness and decidability proofs.

Open peer commentary on the article “Modeling Subjects’ Experience While Modeling the Experimental Design: A Mild-Neurophenomenology-Inspired Approach in the Piloting Phase” by Constanza Baquedano & Catalina Fabar. Upshot: Baquedano and Fabar’s provoking article highlights several difficulties of neurophenomenology, and brings into light the necessity of further clarification of its basic concepts such as human experience, first-person perspective, phenomenological validation, explanation, adequate measurement and so on. Particularly, it becomes more and more clear that the “explanatory gap” cannot be liquidated by means (...) of explanation procedures alone, for the unavoidable variety of modes and forms of human understanding cannot be exhaustively reduced to just any one of these modes. (shrink)

The question of the uniqueness [svoeobrazie] of Russian philosophy and its distinctive features has been around for more than a century. Since the 1840s, when Russian philosophers set about studying the history of philosophical thought in Russia, the question immediately arose as to whether one could speak of Russian philosophy as a distinctive [samobytnoe] and original phenomenon, or whether it would be more correct to speak of philosophy in Russia, i.e., the existence in Russia of philosophical ideas whose roots lay (...) not in Russia but beyond its borders, while in Russia they are merely disseminated, but not born. (shrink)

The Quantified argument calculus (Quarc) has received a lot of attention recently as an interesting system of quantified logic which eschews the use of variables and unrestricted quantification, but nonetheless achieves results similar to the Predicate calculus (PC) by employing quantifiers applied directly to predicates instead. Despite this noted similarity, the issue of the relationship between Quarc and PC has so far not been definitively resolved. We address this question in the present paper, and then expand upon that result. Utilizing (...) recent developments in structural proof theory, we develop a G3-style sequent calculus for Quarc and briefly demonstrate its structural properties. We put these properties to use immediately to construct direct proofs of the meta-theoretical properties of the system. We then incorporate an abstract (and, as we shall see, logical) predicate into the system in a way that preserves all the structural properties. This allows us to identify a system of Quarc which is deductively equivalent to PC, and also yields a constructive method of demonstrating the Craig interpolation theorem (which speaks in favor of the aforementioned predicate being logical). We further generalize this extension to develop a bivalent system of Quarc with defining clauses that still maintains all the desirable properties of a good proof system. (shrink)

This paper introduces a logic game which can be used to demonstrate the working of Boolean connectives. The simplicity of the system turns out to lead to some interesting meta-theoretical properties, which themselves carry a philosophical import. After introducing the system, we demonstrate an interesting feature of it—that it, while being an accurate model of propositional logic Booleans, does not contain any tautologies nor contradictions. This result allows us to make explicit a limitation of application of propositional logic to those (...) sentences with relatively stable truth values. (shrink)

Pogled na kulturnopovijesna smjeranja -- Zajednica i nazovizajednica -- Značenje povijesne predaje.

This article investigates the proof theory of the Quantified Argument Calculus as developed and systematically studied by Hanoch Ben-Yami [3, 4]. Ben-Yami makes use of natural deduction, we, however, have chosen a sequent calculus presentation, which allows for the proofs of a multitude of significant meta-theoretic results with minor modifications to the Gentzen’s original framework, i.e., LK. As will be made clear in course of the article LK-Quarc will enjoy cut elimination and its corollaries.

Free logics is a family of first-order logics which came about as a result of examining the existence assumptions of classical logic. What those assumptions are varies, but the central ones are that the domain of interpretation is not empty, every name denotes exactly one object in the domain and the quantifiers have existential import. Free logics usually reject the claim that names need to denote in, and of the systems considered in this paper, the positive free logic concedes that (...) some atomic formulas containing non-denoting names are true, while negative free logic rejects even the latter claim. Inclusive logics, which reject, are likewise considered. These logics have complex and varied axiomatizations and semantics, and the goal of this paper is to present an orderly examination of the various systems and their mutual relations. This is done by first offering a formalization, using sequent calculi which possess all the desired structural properties of a good proof system, including admissibility of contraction and cut, while streamlining free logics in a way no other approach has. We then present a simple and unified system of abstract semantics, which allows for a straightforward demonstration of the meta-theoretical properties, and offers insights into the relationship between different logics. The final part of this paper is dedicated to extending the system with modalities by using a labeled sequent calculus, and here we are again able to map out the different approaches and their mutual relations using the same framework. (shrink)

Ever since antiquity, attempts have been made at defining knowledge through belief augmented by additional properties such as truth and justification. These characterizations have been challenged by Gettier counterexamples and their variants. A modern proposal, what is known as defeasibility theory, characterizes knowledge through stability under revision of beliefs on the basis of true or arbitrary information. A formal investigation of such a proposal calls for the methods of dynamic epistemic logic: well developed semantic approaches to dynamic epistemic logic have (...) been given through the plausibility models, but a corresponding proof theory is still in its infancy. We shall recast plausibility models in terms of more general neighbourhood models and develop on their basis complete proof systems. An inferential treatment of epistemic and doxastic notions such as safe belief will give a new way to study their relationships; among these, the characterization of knowledge as belief stable under arbitrary revision will be grounded through formal labelled sequent calculus derivations. (shrink)

At the beginning of 2020, COVID-19 became a global problem. Despite all the efforts to emphasize the relevance of preventive measures, not everyone adhered to them. Thus, learning more about the characteristics determining attitudinal and behavioral responses to the pandemic is crucial to improving future interventions. In this study, we applied machine learning on the multi-national data collected by the International Collaboration on the Social and Moral Psychology of COVID-19 (N = 51,404) to test the predictive efficacy of constructs from (...) social, moral, cognitive, and personality psychology, as well as socio-demographic factors, in the attitudinal and behavioral responses to the pandemic. The results point to several valuable insights. Internalized moral identity provided the most consistent predictive contribution—individuals perceiving moral traits as central to their self-concept reported higher adherence to preventive measures. Similar was found for morality as cooperation, symbolized moral identity, self-control, open-mindedness, collective narcissism, while the inverse relationship was evident for the endorsement of conspiracy theories. However, we also found a non-negligible variability in the explained variance and predictive contributions with respect to macro-level factors such as the pandemic stage or cultural region. Overall, the results underscore the importance of morality-related and contextual factors in understanding adherence to public health recommendations during the pandemic. (shrink)

The Quantified Argument Calculus (Quarc) is a formal logic system, first developed by Hanoch Ben-Yami in (Ben-Yami 2014), and since then extended and applied by several authors. The aim of this paper is to further these contributions by, first, providing a philosophical motivation for the truth-valuational, substitutional approach of (Ben-Yami 2014) and defending it against a common objection, a topic also of interest beyond its specific application to Quarc. Second, we fill the formal lacunae left in the original presentation, which (...) did not incorporate identity systematically into Quarc, and although it proved the soundness of the system did not prove its completeness. (shrink)

t. 1. Otrazhenie, poznanie, tvorchestvo.