This paper extends the investigations into logical properties of the quantified argument calculus (Quarc) by suggesting a series of proper subsystems which, although retaining the entire vocabulary of Quarc, restrict quantification in such a way as to make the result decidable. The proof of decidability is via a procedure that prunes the infinite branches of a derivation tree in what is a syntactic counterpart of semantic filtration. We demonstrate an application of one of these systems by showing that Aristotle’s assertoric (...) syllogistic is embeddable within, thus also providing another method of showing its decidability. (shrink)

Обґрунтовано стратегію високочастотної біржової торгівлі (high-frequency trading) акціями. Для цього досліджено особливості та обмеження біржової високочастотної торгівлі, визначено верхню межу прибутку агресивного «шкідливого» високочастотного трейдера, обґрунтовано оптимальну частоту стратегії біржової високочастотної торгівлі акціями, розглянуто емпіричне підтвердження прогнозованості біржових курсів акцій на надкоротких горизонтах інвестування.

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)

The logic with independent truth and falsehood operators TFL is proposed. In TFL(→) standard truth-conditions for the implication are adopted. Nevertheless the laws of classical logic are not valid. In this language more then 107 different binary connectives can be defined. So this logic can be treated as universal logic relatively to the class of sentential logics.

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)

It is generally claimed that there exist exceptional circumstances when taking human life may be approved and when such actions may be justified on moral grounds. Precise guidelines in the medical field for making such decisions concerning patients who are terminally ill or have irreparable injuries incompatible with a bearable life, are difficult to establish. Recommendations that take the particular logical form of a rule, such as "in dubio pro vita", "when in doubt favour life") have been suggested and in (...) some countries incorporated into legal texts (Germany). We claim here that such a rule is of no value since it is open-ended and always allows for doubt, and a decision to employ measures that would support human life could always be argued to be a valid choice. Preservation of this rule could be encouraged, but giving it the force of law may put physicians at risk, as they may be challenged for choosing to terminate life in otherwise ethically and medically uncontroversial circumstances. (shrink)

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)

The stronger the level of economic integration between countries, the greater the need to study the formation patterns of the stock market reaction to the financial information signals. This concerns the Ukrainian stock market, which is now in its infancy, and which reaction to financial information signals is sometimes ambiguous. The research aims to identify the formation patterns of return and volatility indicators of the Ukrainian stock market reaction to the US financial information signals. To assess the direct nature of (...) US financial information signals effect on the PFTS stock index, the GARCH econometric modeling toolkit was applied. The research information base is the PFTS stock index and the Federal Reserve System financial information signals at the discount rate for 2000–2019. The fetch is divided into intervals corresponded to the ascent and decline phases of the financial cycle. It was found that an unforeseen increase in the discount rate at the financial cycle decline phase by 25 basis points decreases the PFTS stock index return, on average by 2.9%. Besides, the hypothesis about the general change stabilizing effect in the discount rate on the Ukrainian stock market volatility at the financial cycle growth phase was confirmed. Nevertheless, for investors, the most essential is the regulator’s monetary signals in the discount rate at the financial cycle decline phases rather than at the ascent phases because there is a more significant increase in the volatility level. (shrink)

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

In the past twenty years, all the key authors who wrote about the state of postmodernity either began to be engaged in other research areas (Fredric Jameson) or declared that the postmodernism is dead (Linda Hutcheon). Since 2000, when the fatigue from the postmodernism became evident to everyone, various researchers, critics and theorists began to offer their concepts of our era. However, all these theories, emphasizing the change of cultural paradigms, interpret culture traditionally not paying attention to total digitalization and (...) the introduction of new technologies into our lives. However, in two concepts of our time these processes become central. These are the concepts of the digimodern and automodern. The focus of this article is the idea of automodernism, proposed by the American social theorist Robert Samuels in 2007/2009. He believes that our world is characterized by two contradictory tendencies – automation and the desire for autonomy (personal freedom). From his point of view, the former often does not allow to reach the latter due to certain circumstances. Samuels, using the example of a car, a personal computer, the Internet, etc., shows what exactly our culture is in the broadest sense. Analyzing the concept of “digital youth,” he also pays attention to the formation of a new subjectivity of the era of automodernity. Finally, the most interesting part of the concept of automodernism, which is most relevant today, is the criticism of leftwing social and philosophical concepts (Slavoj Žižek, Jameson) and cultural theories (Henry Jenkins). At the end of the article, the author mentions Adam Greenfield’s latest book Radical Technologies: The Design of Everyday Life. Thanks to this book, Samuels’ theory can be verified. (shrink)

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)

This is a selection of readings about professionalism and ethics in engineering. It addresses topics such as the concept of professionalism, education, and maintenance of competence, registration, professional autonomy, social effects and responsibilities, and enforcement of codes of ethics.

The concept of alienation is important part of the 20th century leftwing social criticism and a key theme of Western Marxism and critical theory. It also has a significant impact on various existentialist-inspired cultural criticism. The development of the social and economic dynamics in recent decades has aroused interest for a different interpretations of this classic question. The following text is an attempt for ontological rethinking of the problem through the existential concepts of Martin Heidegger. This happens with the interpretive (...) reading of several of those key concepts. (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.

Free logics are a family of first-order logics which came about as a result of examining the existence assumptions of classical logic (Hintikka _The Journal of Philosophy_, _56_, 125–137 1959 ; Lambert _Notre Dame Journal of Formal Logic_, _8_, 133–144 1967, 1997, 2001 ). What those assumptions are varies, but the central ones are that (i) the domain of interpretation is not empty, (ii) every name denotes exactly one object in the domain and (iii) the quantifiers have existential import. Free (...) logics reject the claim that names need to denote in (ii). _Positive_ free logic concedes that some atomic formulas containing non-denoting names (including self-identity) are true, _negative_ free logic treats them as uniformly false, and _neutral_ free logic as taking a third value. There has been a renewed interest in analyzing proof theory of free logic in recent years, based on intuitionistic logic in Maffezioli and Orlandelli (_Bulletin of the Section of Logic_, _48_(2), 137–158 2019 ) as well as classical logic in Pavlović and Gratzl (_Journal of Philosophical Logic_, _50_, 117–148 2021 ), there for the positive and negative variants. While the latter streamlines the presentation of free logics and offers a more unified approach to the variants under consideration, it does not cover neutral free logic, since there is some lack of both clear formal intuitions on the semantic status of formulas with empty names, as well as a satisfying account of the conditional in this context. We discuss extending the results to this third major variant of free logics. We present a series of G3 sequent calculi adapted from Fjellstad (_Studia Logica_, _105_(1), 93–119 2017, _Journal of Applied Non-Classical Logics_, _30_(3), 272–289 2020 ), which possess all the desired structural properties of a good proof system, including admissibility of contraction and all versions of the cut rule. At the same time, we maintain the unified approach to free logics and moreover argue that greater clarity of intuitions is achieved once neutral free logic is conceptualized as consisting of two sub-varieties. (shrink)

t. 1. Filosofski sŭchinenii︠a︡, 1933-1937 ; Obshta teorii︠a︡ na izkustvoto -- t. 2. Teorii︠a︡ na otrazhenieto. 5. izd. -- t. 3. Izbrani filosofski sŭchinenii︠a︡, 1961-1976.