This article examines the problem of cultural–civilizational self-identification in the early philosophical–poetic works of Osip Emil’evich Mandelstam. The author argues that Mandelstam...

Short description: One of the major works of the great German theologian Emil Brunner, The Divine Imperative deals with one the many uncertainties in which we ...

The vital status of patients who are a part of controlled donation after circulatory death (cDCD) is widely debated in bioethical literature. Opponents to currently applied cDCD protocols argue that they violate the dead donor rule, while proponents of the protocols advocate compatibility. In this article, we argue that both parties often misinterpret the moral implications of the dead donor rule. The rule as such does not require an assessment of a donor’s vital status, we contend, but rather an assessment (...) of whether procurement of organs in cDCD cause the death of the donor or not. We then argue that commonly practiced cDCD protocols do not violate the dead donor rule, since the donation does not trigger or cause the death of the donors. (shrink)

We investigate the computational complexity of deciding whether a given inference rule is admissible for some modal and superintuitionistic logics. We state a broad condition under which the admissibility problem is coNEXP-hard. We also show that admissibility in several well-known systems (including GL, S4, and IPC) is in coNE, thus obtaining a sharp complexity estimate for admissibility in these systems.

Alienation is among the most influential terms in Marxist theory, but also one of the most ambiguous and controversial. Unlike previous literature, which has tended to focus on Marx’ early philosophical writings, this offers a novel reinterpretation of the theory of alienation found in Marx’s later works. Rather than conceiving alienation as a subjective experience or an inherent feature of social organization, I contend that alienation in the Marxist sense can be understood as an objective process arising from the appropriation (...) of the results of production and their transformation into capital. This interpretation resolves the main theoretical problems conventionally associated with alienation theory, for example the tendency towards essentialism and moral paternalism. In particular, a Marxist theory of alienation explains the paradox of social power and isolation that characterizes contemporary capitalist societies, in which feelings of powerlessness and loneliness are intensified despite objective increases in humanity’s social power and interdependence. (shrink)

We develop canonical rules capable of axiomatizing all systems of multiple-conclusion rules over K4 or IPC, by extension of the method of canonical formulas by Zakharyaschev [37]. We use the framework to give an alternative proof of the known analysis of admissible rules in basic transitive logics, which additionally yields the following dichotomy: any canonical rule is either admissible in the logic, or it is equivalent to an assumption-free rule. Other applications of canonical rules include a generalization of the Blok–Esakia (...) theorem and the theory of modal companions to systems of multiple-conclusion rules or (finitary structural global) consequence relations, and a characterization of splittings in the lattices of consequence relations over monomodal or superintuitionistic logics with the finite model property. (shrink)

"Jewish Philosophy and the Academy reflects in broad terms on the current state of Jewish philosophy in the university. This generation of university teachers lives at a unique historic junction. It is the last to be taught by the giants of European Wissenschaft des Judentums and the first to experience the remarkable expansion of Judaic scholarship in Israel and abroad." "Emil Fackenheim suggests that if we are indebted to Athens for the philosophical method, we are also indebted to Jerusalem (...) for the ethical content of philosophy, which is both an intellectual and a moral challenge. This dual challenge shapes the diverse papers in this volume."--BOOK JACKET.Title Summary field provided by Blackwell North America, Inc. All Rights Reserved. (shrink)

We show that \, the basic theory of bounded arithmetic corresponding to the complexity class \, proves the \ axiom expressing the totality of iterated multiplication satisfying its recursive definition, by formalizing a suitable version of the \ iterated multiplication algorithm by Hesse, Allender, and Barrington. As a consequence, \ can also prove the integer division axiom, and the \-translation of induction and minimization for sharply bounded formulas. Similar consequences hold for the related theories \ and \. As a side (...) result, we also prove that there is a well-behaved \ definition of modular powering in \\). (shrink)

One’s translating, reading, and understanding of texts from other eras and traditions are conditioned by tacit assumptions built into one’s own vocabulary and psycho-cultural understanding of self—of which one tends to be only intuitively aware. Thus, for example, when encountering the vocabulary in Classical Chinese for “I,” “me,” “mine,” “self,” et cetera, modern readers are inclined to import their own linguistic, cognitive, and cultural intuitions about these terms, unconsciously and without second thought. This has been particularly problematic for modern Western (...) readers of the Confucian classics, who tend to take self as ontologically and ethically individual. However, recent psychological accounts of self... (shrink)

We study the notion of conservative translation between logics introduced by (Feitosa & D’Ottaviano2001). We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set of formulas can be conservatively translated into CPC. The translation is computable if the consequence relation is decidable. More generally, we show that one can take instead of CPC a broad class of logics (extensions of a certain fragment of full Lambek calculus FL) including most (...) nonclassical logics studied in the literature, hence in a sense, (almost) any two reasonable deductive systems can be conservatively translated into each other. We also provide some counterexamples, in particular the paraconsistent logic LP is not universal. (shrink)

We study the extension 123) of the theory S21 by instances of the dual weak pigeonhole principle for p-time functions, dWPHPx2x. We propose a natural framework for formalization of randomized algorithms in bounded arithmetic, and use it to provide a strengthening of Wilkie's witnessing theorem for S21+dWPHP. We construct a propositional proof system WF , which captures the Π1b-consequences of S21+dWPHP. We also show that WF p-simulates the Unstructured Extended Nullstellensatz proof system of Buss et al. 256). We prove that (...) dWPHP is equivalent to a statement asserting the existence of a family of Boolean functions with exponential circuit complexity. Building on this result, we formalize the Nisan–Wigderson construction in a conservative extension of S21+dWPHP. (shrink)

Excerpt from Die Lehre vom Urteil Windelband hat in seinen "präludien und in dem Aufsatz der Festschrift für Zeller "beiträge zur Lehre vom nega tiven Urteil gerade vermittelst der Urteilslehre den ent scheidenden Schritt zu tun vermocht, der Logik wieder ihre sachliche Heimat im Ganzen der Philos0phie zu bestimmen. Rickerts "gegenstand der Erkenntnis ist sodann das Grund buch für alle logischen Untersuchungen der Werttheorie geworden und geblieben. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. (...) Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

According to John Rawls’s famous Liberal Principle of Legitimacy, the exercise of political power is legitimate only if it is justifiable to all citizens. The currently dominant interpretation of what is justifiable to persons in this sense is an internalist one. On this view, what is justifiable to persons depends on their beliefs and commitments. In this paper I challenge this reading of Rawls’s principle, and instead suggest that it is most plausibly interpreted in externalist terms. On this alternative view, (...) what is justifiable to persons is not in any way dependent on, or relativized to, their beliefs and commitments. Instead, what is justifiable to all in the relevant sense is what all could accept as free and equal. I defend this reinterpretation of the view by showing how it is supported by Rawls’s account of the freedom and equality of persons. In addition, a considerable advantage of this suggestion is that it allows for an inclusive account of to whom the exercise of political power must be made justifiable. (shrink)

The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory T in which all partially recursive functions are representable, yet T does not interpret Robinson’s theory R. To this end, we borrow tools from model theory — specifically, we investigate model-theoretic properties of the model completion of the empty theory in a language with function symbols. We obtain a certain characterization of ∃∀ theories interpretable in (...) existential theories in the process. (shrink)

The ability to distinguish between emotions is considered indicative of well-being, but does emotion differentiation in an aesthetic context also reflect deeper and more knowledgeable aesthetic experiences? Here we examine whether positive and negative ED in response to artistic stimuli reflects higher fluency in an aesthetic domain. Particularly, we test whether knowledge of the arts and curiosity are associated with more fine-grained positive and negative aesthetic experiences. A sample of 214 people rated their positive and negative feelings in response to (...) various artworks including positive and negative themes. Positive ED was associated with the embracing sub-trait of curiosity that reflects engagement and enjoyment of novelty and complexity, but was unrelated to artistic knowledge and perceived comprehension. Negative ED was associated with higher curiosity and particularly more knowledge of the arts. This relationship was mediated by appraised comprehension suggesting that deeper engagement with art, by those with more art knowledge, is associated with more fine-grained emotional experiences. This finding extends ED beyond well-being research and suggests that more nuanced emotional experiences are more likely for those with expertise in the arts and motivation for exploration. (shrink)

There have been few attempts thus far to read Rorty through a humanistic lens. This paper is an attempt at making explicit some of the key features of his conception. My main objective is to show that humanism is integral to his philosophy and to explain what it consists in. I focus on Rorty’s secular humanism, which I believe lies at the center of his thought. In sections 2 and 3, I provide an account of key humanist sources, both pragmatist (...) and non-pragmatist. Section 4 examines recent interpretations of Rorty as a humanist. In section 5, I focus on the distinction between the human and nonhuman as the central feature of his humanism. Section 6 outlines Rorty’s project to humanize humanity. In the concluding section, I summarize the key features of his humanism. (shrink)

L'axe principal de ce texte du philosophe polonais Emil Lask (1875-1915) est la critique de la philosophie de la valeur et la théorie de la connaissance. Son exposé est l'une des révisions du kantisme les plus radicales du début du XXe siècle.

Was der Mensch ist, sagt die Geschichte. In der Geschichte gewinnt der Mensch seine bestimmte Identität, in der Besinnung auf Geschichte verständigt er sich über sich selbst. Geschichte ist ein Medium der Identitätsbildung und der Selbstvergewisserung. Dies gilt für den Einzelnen wie für Gruppen und Gesellschaften und für die Menschheit im Ganzen. Der Zusammenhang von Identität und Geschichte wird in vielen Disziplinen thematisiert. In profilierter Weise haben sich Philosophie und Psychologie mit ihm beschäftigt. Die Psychologie interessiert sich für die Art (...) und Weise, wie die kognitiven und praktischen Fähigkeiten, die sozialen und kulturellen Lebensformen des Menschen sich im Laufe der Menschheitsgeschichte herausbilden. Die Philosophie fragt nach der Bedeutung, welche die Geschichte für den Menschen hat, der durch seine Vergangenheit bedingt ist, handelnd in die Geschichte eingreift und die Frage nach dem Sinn der Geschichte stellt. Der Philosoph Emil Angehrn und der Psychologe Gerd Jüttemann erörtern im interdisziplinären Gespräch das vielschichtige Verhältnis von Identität und Geschichte. Sie untersuchen, inwiefern der Mensch in Geschichte(n) verstrickt ist und über Geschichte zu dem wird, der er ist. Die Begriffe der Geschichte und der Identität stehen dabei selbst zur Diskussion. (shrink)

Scott MacDonald _Avant-Garde Film_ Cambridge: Cambridge University Press, 1993 ISBN 0-521-38821-X 199 pp.

In this paper, we use simple techniques derived from on Latent Semantic Analysis (LSA) to provide a simple and robust way of generating extractive summaries for TAC 2008 Update Summarization task.

The purpose of the study is to analyze the scale of development of the shadow economy in the construction sector during the pandemic. The article presents the dynamics of shadow financial transactions in the construction industry in the period 2020-2021. The scientific novelty lies in forecasting the development potential of the shadow economy in a pandemic, including the construction sector of the economy. As a result, it was revealed that in the structure of the branches of the Russian economy that (...) formed the demand for shadow financial services during the pandemic, the construction sector is in the first place. An analysis of the growth rates of construction works in 2020-2021 showed that anti-pandemic restrictive measures still slowed down the positive dynamics in the construction sector. Reducing the volume of the shadow economy in the construction sector must be carried out comprehensively, including, on the one hand, identifying the benefits of leaving the "shadow sector", while improving, on the other hand, official institutions. (shrink)

We investigate the substitution Frege () proof system and its relationship to extended Frege () in the context of modal and superintuitionistic propositional logics. We show that is p-equivalent to tree-like , and we develop a “normal form” for -proofs. We establish connections between for a logic L, and for certain bimodal expansions of L.We then turn attention to specific families of modal and si logics. We prove p-equivalence of and for all extensions of , all tabular logics, all logics (...) of finite depth and width, and typical examples of logics of finite width and infinite depth. In most cases, we actually show an equivalence with the usual system for classical logic with respect to a naturally defined translation.On the other hand, we establish exponential speed-up of over for all modal and si logics of infinite branching, extending recent lower bounds by P. Hrubeš. We develop a model-theoretical characterization of maximal logics of infinite branching to prove this result. (shrink)

By a well-known result of Cook and Reckhow [S.A. Cook, R.A. Reckhow, The relative efficiency of propositional proof systems, Journal of Symbolic Logic 44 36–50; R.A. Reckhow, On the lengths of proofs in the propositional calculus, Ph.D. Thesis, Department of Computer Science, University of Toronto, 1976], all Frege systems for the classical propositional calculus are polynomially equivalent. Mints and Kojevnikov [G. Mints, A. Kojevnikov, Intuitionistic Frege systems are polynomially equivalent, Zapiski Nauchnyh Seminarov POMI 316 129–146] have recently shown p-equivalence of (...) Frege systems for the intuitionistic propositional calculus in the standard language, building on a description of admissible rules of IPC by Iemhoff [R. Iemhoff, On the admissible rules of intuitionistic propositional logic, Journal of Symbolic Logic 66 281–294]. We prove a similar result for an infinite family of normal modal logics, including K4, GL, S4, and. (shrink)

In Beyond the Limits of Thought [2002], Graham Priest argues that logical and semantic paradoxes have the same underlying structure (which he calls the Inclosure Schema ). He also argues that, in conjunction with the Principle of Uniform Solution (same kind of paradox, same kind of solution), this is sufficient to 'sink virtually all orthodox solutions to the paradoxes', because the orthodox solutions to the paradoxes are not uniform. I argue that Priest fails to provide a non-question-begging method to 'sink (...) virtually all orthodox solutions', and that the Inclosure Schema cannot be the structure that underlies the Liar paradox. Moreover, Ramsey was right in thinking that logical and semantic paradoxes are paradoxes of different kinds. (shrink)

We develop approximate counting of sets definable by Boolean circuits in bounded arithmetic using the dual weak pigeonhole principle (dWPHP(PV)), as a generalization of results from [15]. We discuss applications to formalization of randomized complexity classes (such as BPP, APP, MA, AM) in PV₁ + dWPHP(PV).

We develop an arithmetical theory and its variant , corresponding to “slightly nonuniform” . Our theories sit between and , and allow evaluation of log-depth bounded fan-in circuits under limited conditions. Propositional translations of -formulas provable in admit L-uniform polynomial-size Frege proofs.

The elementary arithmetic operations +,·,≤\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${+,\cdot,\le}$$\end{document} on integers are well-known to be computable in the weak complexity class TC0, and it is a basic question what properties of these operations can be proved using only TC0-computable objects, i.e., in a theory of bounded arithmetic corresponding to TC0. We will show that the theory VTC0 extended with an axiom postulating the totality of iterated multiplication proves induction for quantifier-free formulas in the language ⟨+,·,≤⟩\documentclass[12pt]{minimal} (...) \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\langle{+,\cdot,\le}\rangle}$$\end{document}, and more generally, minimization for Σ0b\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Sigma_{0}^{b}}$$\end{document} formulas in the language of Buss’s S2. (shrink)

We show how to formalize approximate counting via hash functions in subsystems of bounded arithmetic, using variants of the weak pigeonhole principle. We discuss several applications, including a proof of the tournament principle, and an improvement on the known relationship of the collapse of the bounded arithmetic hierarchy to the collapse of the polynomial-time hierarchy.

Timothy Michael Fowler has argued that, as a consequence of their commitment to neutrality in regard to comprehensive doctrines, political liberals face a dilemma. In essence, the dilemma for political liberals is that either they have to give up their commitment to neutrality (which is an indispensible part of their view), or they have to allow harm to children. Fowler’s case for this dilemma depends on ascribing to political liberals a view which grants parents a great degree of freedom in (...) deciding on the education of their children. I show that ascribing this view to political liberals rests upon a misinterpretation of political liberalism. Since political liberals have access to reasons based upon the interests of children, they need not yield to parent’s wishes about the education of their children. A correct understanding of political liberalism thus shows that political liberals do not face the dilemma envisaged by Fowler. (shrink)

We prove that all axiomatic extensions of the full Lambek calculus with exchange can be axiomatized by formulas on the level of the substructural hierarchy.

We show that the universally axiomatized, induction-free theory equation image is a sequential theory in the sense of Pudlák's 5, in contrast to the closely related Robinson's arithmetic.

We formalize the construction of Paterson’s variant of the Ajtai–Komlós–Szemerédi sorting network of logarithmic depth in the bounded arithmetical theory , under the assumption of the existence of suitable expander graphs. We derive a conditional p-simulation of the propositional sequent calculus in the monotone sequent calculus.