Results for 'Sergei Tatevosov'

314 found
Order:
  1.  23
    Our Even.Sabine Iatridou & Sergei Tatevosov - 2016 - Linguistics and Philosophy 39 (4):295-331.
    We discuss a phenomenon that appears when ‘even’ occurs in questions. Specifically, an inference of what we call “extreme ignorance” is projected onto the speaker. We argue that this effect arises when the known unlikelihood ‘even’ focuses an entire question, resulting in the focused question being the least likely to be asked. Specific implicatures then conspire to bring about the inference that the speaker does not know the answer to the question that is most expected to be known. The environments (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  13
    Pluractionality Vs. Discontinuity.Sergei Tatevosov - 2007 - In Dekker Aloni (ed.), Proceedings of the Sixteenth Amsterdam Colloquium.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. Explicit Provability and Constructive Semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
    In 1933 Godel introduced a calculus of provability (also known as modal logic S4) and left open the question of its exact intended semantics. In this paper we give a solution to this problem. We find the logic LP of propositions and proofs and show that Godel's provability calculus is nothing but the forgetful projection of LP. This also achieves Godel's objective of defining intuitionistic propositional logic Int via classical proofs and provides a Brouwer-Heyting-Kolmogorov style provability semantics for Int which (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   95 citations  
  4. The Logic of Justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.
    We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertions t: F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs. It contributes to the studies of the well-known Justified True Belief vs. Knowledge problem. We state a general Correspondence Theorem showing that behind each epistemic modal logic, there is a (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   69 citations  
  5.  78
    The Moral Duty to Reduce the Risk of Child Sexual Abuse.Sergei Levin - 2019 - Human Affairs 29 (2):188-198.
    A paedophile is a person with a sexual attraction to children; some paedophiles commit child sex abuse offences. For such acts, they hold moral and legal responsibility, which presupposes that paedophiles are moral agents who can distinguish right from wrong and are capable of self-control. Like any other moral agents, paedophiles have moral duties. Some moral duties are universal, e.g., the duty not to steal. Whether there are any specific moral duties related to paedophilia is the topic of this paper. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  18
    Disentangling FDE -Based Paraconsistent Modal Logics.Sergei P. Odintsov & Heinrich Wansing - 2017 - Studia Logica 105 (6):1221-1254.
    The relationships between various modal logics based on Belnap and Dunn’s paraconsistent four-valued logic FDE are investigated. It is shown that the paraconsistent modal logic \, which lacks a primitive possibility operator \, is definitionally equivalent with the logic \, which has both \ and \ as primitive modalities. Next, a tableau calculus for the paraconsistent modal logic KN4 introduced by L. Goble is defined and used to show that KN4 is definitionally equivalent with \ without the absurdity constant. Moreover, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  7.  18
    A Thousand Healths: Jean-Luc Nancy and the Possibility of Democratic Biopolitics.Sergei Prozorov - 2018 - Philosophy and Social Criticism 44 (10):1090-1109.
    This article addresses the relationship between ontology and politics in Jean-Luc Nancy’s theory of democracy by probing the implications of his latest ontological innovation, the concept of struction. We argue that Nancy’s democracy is a mode of politics that makes the radical pluralism of struction legitimate, opening and guarding a political space for the coexistence of the incommensurable. From this perspective, and despite Nancy’s own skepticism about the concept of biopolitics, the notion of struction opens a pathway for theorizing democracy (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  8.  25
    The Logic of Generalized Truth Values and the Logic of Bilattices.Sergei P. Odintsov & Heinrich Wansing - 2015 - Studia Logica 103 (1):91-112.
    This paper sheds light on the relationship between the logic of generalized truth values and the logic of bilattices. It suggests a definite solution to the problem of axiomatizing the truth and falsity consequence relations, \ and \ , considered in a language without implication and determined via the truth and falsity orderings on the trilattice SIXTEEN 3 . The solution is based on the fact that a certain algebra isomorphic to SIXTEEN 3 generates the variety of commutative and distributive (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  9.  14
    Byzantine Perspectives on Neoplatonism.Mariev Sergei (ed.) - 2017 - Berlin/Boston: De Gruyter.
    Byzantine intellectuals not only had direct access to Neoplatonic sources in the original language but also, at times, showed a particular interest in them. During the Early Byzantine period Platonism significantly contributed to the development of Christian doctrines and, paradoxically, remained a rival world view that was perceived by many Christian thinkers as a serious threat to their own intellectual identity. This problematic relationship was to become even more complex during the following centuries. Byzantine authors made numerous attempts to harmonize (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Justification Logic.Sergei Artemov - forthcoming - Stanford Encyclopedia of Philosophy.
  11.  31
    Foucault’s Affirmative Biopolitics: Cynic Parrhesia and the Biopower of the Powerless.Sergei Prozorov - 2017 - Political Theory 45 (6):801-823.
    While Foucault’s work on biopolitics continues to inspire diverse studies in a variety of disciplines, it has largely been missing from the debates on the possibility of “affirmative biopolitics” which have been primarily influenced by the work of Agamben and Esposito. This article restores Foucault’s work to these debates, proposing that his final lecture course at the Collège de France in 1983–1984 developed a paradigm of affirmative biopolitics in the reading of the Cynic practice of truth-telling. The Cynic problematization of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  12. Why Giorgio Agamben is an Optimist.Sergei Prozorov - 2010 - Philosophy and Social Criticism 36 (9):1053-1073.
    The article takes Giorgio Agamben’s declaration of his optimism with regard to the possibilities of global political transformation as a point of departure for the inquiry into the affirmative aspects of Agamben’s political thought, frequently overshadowed by his more famous critical claims. We reconstitute three principles grounding Agamben’s optimism that pertain respectively to the total crisis of the contemporary biopolitical apparatuses, the possibility of a radically different form-of-life on the basis of their residue and the minimalist character of this transformation (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  13.  9
    The Lattice of Belnapian Modal Logics: Special Extensions and Counterparts.Sergei P. Odintsov & Stanislav O. Speranski - 2016 - Logic and Logical Philosophy 25 (1):3-33.
    Let K be the least normal modal logic and BK its Belnapian version, which enriches K with ‘strong negation’. We carry out a systematic study of the lattice of logics containing BK based on: • introducing the classes of so-called explosive, complete and classical Belnapian modal logics; • assigning to every normal modal logic three special conservative extensions in these classes; • associating with every Belnapian modal logic its explosive, complete and classical counterparts. We investigate the relationships between special extensions (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  14.  45
    On the Representation of N4-Lattices.Sergei P. Odintsov - 2004 - Studia Logica 76 (3):385 - 405.
    N4-lattices provide algebraic semantics for the logic N4, the paraconsistent variant of Nelson's logic with strong negation. We obtain the representation of N4-lattices showing that the structure of an arbitrary N4-lattice is completely determined by a suitable implicative lattice with distinguished filter and ideal. We introduce also special filters on N4-lattices and prove that special filters are exactly kernels of homomorphisms. Criteria of embeddability and to be a homomorphic image are obtained for N4-lattices in terms of the above mentioned representation. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  15.  50
    On Axiomatizing Shramko-Wansing’s Logic.Sergei P. Odintsov - 2009 - Studia Logica 91 (3):407 - 428.
    This work treats the problem of axiomatizing the truth and falsity consequence relations, $ \vDash _t $ and $ \vDash _f $, determined via truth and falsity orderings on the trilattice SIXTEEN₃. The approach is based on a representation of SIXTEEN₃ as a twist-structure over the two-element Boolean algebra.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  16.  77
    The Ontology of Justifications in the Logical Setting.Sergei N. Artemov - 2012 - Studia Logica 100 (1-2):17-30.
    Justification Logic provides an axiomatic description of justifications and delegates the question of their nature to semantics. In this note, we address the conceptual issue of the logical type of justifications: we argue that justifications in the logical setting are naturally interpreted as sets of formulas which leads to a class of epistemic models that we call modular models . We show that Fitting models for Justification Logic naturally encode modular models and can be regarded as convenient pre-models of the (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  17.  18
    Living À la Mode: Form-of-Life and Democratic Biopolitics in Giorgio Agamben’s The Use of Bodies.Sergei Prozorov - 2017 - Philosophy and Social Criticism 43 (2):144-163.
    The publication of The Use of Bodies, the final volume in Giorgio Agamben’s Homo Sacer series, makes it possible to take stock of Agamben’s project as a whole. Having started with a powerful critique of the biopolitical sovereignty as the essence of modern politics, Agamben concludes his project with an affirmative vision of inoperative politics of form-of-life, in which life is not negated or sacrificed to the privileged form it must attain, but rather remains inseparable from the form that does (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  17
    Belnap–Dunn Modal Logics: Truth Constants Vs. Truth Values.Sergei P. Odintsov & Stanislav O. Speranski - 2020 - Review of Symbolic Logic 13 (2):416-435.
    We shall be concerned with the modal logic BK—which is based on the Belnap–Dunn four-valued matrix, and can be viewed as being obtained from the least normal modal logic K by adding ‘strong negation’. Though all four values ‘truth’, ‘falsity’, ‘neither’ and ‘both’ are employed in its Kripke semantics, only the first two are expressible as terms. We show that expanding the original language of BK to include constants for ‘neither’ or/and ‘both’ leads to quite unexpected results. To be more (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19. Discovering Knowability: A Semantic Analysis.Sergei Artemov & Tudor Protopopescu - 2013 - Synthese 190 (16):3349-3376.
    In this paper, we provide a semantic analysis of the well-known knowability paradox stemming from the Church–Fitch observation that the meaningful knowability principle /all truths are knowable/, when expressed as a bi-modal principle F --> K♢F, yields an unacceptable omniscience property /all truths are known/. We offer an alternative semantic proof of this fact independent of the Church–Fitch argument. This shows that the knowability paradox is not intrinsically related to the Church–Fitch proof, nor to the Moore sentence upon which it (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  20.  51
    The Class of Extensions of Nelson's Paraconsistent Logic.Sergei P. Odintsov - 2005 - Studia Logica 80 (2-3):291-320.
    The article is devoted to the systematic study of the lattice εN4⊥ consisting of logics extending N4⊥. The logic N4⊥ is obtained from paraconsistent Nelson logic N4 by adding the new constant ⊥ and axioms ⊥ → p, p → ∼ ⊥. We study interrelations between εN4⊥ and the lattice of superintuitionistic logics. Distinguish in εN4⊥ basic subclasses of explosive logics, normal logics, logics of general form and study how they are relate.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  21.  15
    On Axiomatizing Shramko-Wansing’s Logic.Sergei P. Odintsov - 2009 - Studia Logica 91 (3):407-428.
    This work treats the problem of axiomatizing the truth and falsity consequence relations, $ \vDash _t $ and $ \vDash _f $, determined via truth and falsity orderings on the trilattice SIXTEEN₃. The approach is based on a representation of SIXTEEN₃ as a twist-structure over the two-element Boolean algebra.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  22.  37
    Routley Star and Hyperintensionality.Sergei Odintsov & Heinrich Wansing - 2021 - Journal of Philosophical Logic 50 (1):33-56.
    We compare the logic HYPE recently suggested by H. Leitgeb as a basic propositional logic to deal with hyperintensional contexts and Heyting-Ockham logic introduced in the course of studying logical aspects of the well-founded semantics for logic programs with negation. The semantics of Heyting-Ockham logic makes use of the so-called Routley star negation. It is shown how the Routley star negation can be obtained from Dimiter Vakarelov’s theory of negation and that propositional HYPE coincides with the logic characterized by the (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  23.  22
    Intuitionistic epistemic logic.Sergei Artemov & Tudor Protopopescu - 2016 - Review of Symbolic Logic 9 (2):266-298.
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  24.  17
    On Definability of Connectives and Modal Logics Over FDE.Sergei P. Odintsov, Daniel Skurt & Heinrich Wansing - forthcoming - Logic and Logical Philosophy:1.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  12
    Logic of Proofs.Sergei Artëmov - 1994 - Annals of Pure and Applied Logic 67 (1-3):29-59.
    In this paper individual proofs are integrated into provability logic. Systems of axioms for a logic with operators “A is provable” and “p is a proof of A” are introduced, provided with Kripke semantics and decision procedure. Completeness theorems with respect to the arithmetical interpretation are proved.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  26.  15
    Unification and Admissible Rules for Paraconsistent Minimal Johanssonsʼ Logic J and Positive Intuitionistic Logic IPC.Sergei Odintsov & Vladimir Rybakov - 2013 - Annals of Pure and Applied Logic 164 (7-8):771-784.
    We study unification problem and problem of admissibility for inference rules in minimal Johanssonsʼ logic J and positive intuitionistic logic IPC+. This paper proves that the problem of admissibility for inference rules with coefficients is decidable for the paraconsistent minimal Johanssonsʼ logic J and the positive intuitionistic logic IPC+. Using obtained technique we show also that the unification problem for these logics is also decidable: we offer algorithms which compute complete sets of unifiers for any unifiable formula. Checking just unifiability (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  27.  68
    The Basic Intuitionistic Logic of Proofs.Sergei Artemov & Rosalie Iemhoff - 2007 - Journal of Symbolic Logic 72 (2):439 - 451.
    The language of the basic logic of proofs extends the usual propositional language by forming sentences of the sort x is a proof of F for any sentence F. In this paper a complete axiomatization for the basic logic of proofs in Heyting Arithmetic HA was found.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  28.  28
    BK-Lattices. Algebraic Semantics for Belnapian Modal Logics.Sergei P. Odintsov & E. I. Latkin - 2012 - Studia Logica 100 (1-2):319-338.
    Earlier algebraic semantics for Belnapian modal logics were defined in terms of twist-structures over modal algebras. In this paper we introduce the class of BK -lattices, show that this class coincides with the abstract closure of the class of twist-structures, and it forms a variety. We prove that the lattice of subvarieties of the variety of BK -lattices is dually isomorphic to the lattice of extensions of Belnapian modal logic BK . Finally, we describe invariants determining a twist-structure over a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  29.  2
    Neoplatonic Philosophy in Byzantium.Sergei Mariev - 2017 - In Byzantine Perspectives on Neoplatonism. De Gruyter. pp. 1-30.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  2
    Weather and Climate Manipulation as an Optimal Control for Adaptive Dynamical Systems.Sergei A. Soldatenko - 2017 - Complexity 2017:1-12.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31. On Algorithmic Properties of Propositional Inconsistency-Adaptive Logics.Sergei P. Odintsov & Stanislav O. Speranski - 2012 - Logic and Logical Philosophy 21 (3):209-228.
    The present paper is devoted to computational aspects of propositional inconsistency-adaptive logics. In particular, we prove (relativized versions of) some principal results on computational complexity of derivability in such logics, namely in cases of CLuN r and CLuN m , i.e., CLuN supplied with the reliability strategy and the minimal abnormality strategy, respectively.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  32.  20
    Realization of Constructive Set Theory Into Explicit Mathematics: A Lower Bound for Impredicative Mahlo Universe.Sergei Tupailo - 2003 - Annals of Pure and Applied Logic 120 (1-3):165-196.
    We define a realizability interpretation of Aczel's Constructive Set Theory CZF into Explicit Mathematics. The final results are that CZF extended by Mahlo principles is realizable in corresponding extensions of T 0 , thus providing relative lower bounds for the proof-theoretic strength of the latter.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  33.  17
    Forking in VC-Minimal Theories.Sarah Cotter & Sergei Starchenko - 2012 - Journal of Symbolic Logic 77 (4):1257-1271.
    We consider VC-minimal theories admitting unpackable generating families, and show that in such theories, forking of formulae over a model M is equivalent to containment in global types definable over M, generalizing a result of Dolich on o-minimal theories in [4].
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  34.  48
    On Propositional Quantifiers in Provability Logic.Sergei N. Artemov & Lev D. Beklemishev - 1993 - Notre Dame Journal of Formal Logic 34 (3):401-419.
  35.  35
    Sergei Kotliarevskii and the Rule of Law in Russian Liberal Theory.Randall A. Poole - 2006 - Dialogue and Universalism 16 (1-2):81-104.
    This essay is an explication and analysis of the work of Sergei Kotliarevskii, a major Russian liberal theorist, focusing on his 1915 treatise Vlast’ i pravo. Problema pravovogo gosudarstva (Power and Law: The Problem of the Lawful State). Although the “lawful state” has long been a subject of interest and controversy (even at the definitional level) among historians and political scientists, curiously Kotliarevskii has not received the attention he deserves. His study of the concept of the lawful state, which (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  24
    Pornography and Profanation in the Political Philosophy of Giorgio Agamben.Sergei Prozorov - 2011 - Theory, Culture and Society 28 (4):71-95.
    The article addresses the critical strategy of profanation in the philosophy of Giorgio Agamben, focusing on the example of pornography. Agamben’s references to pornography as a site of radical political transformation have recently been criticized as abstruse, vacuous or absurd. Moreover, his own work on the concentration camps in the Homo Sacer series has been disparagingly referred to as ‘pornography of horror’. This article ventures to refute these accusations by interpreting Agamben’s paradigmatic use of pornography in the context of his (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  37.  80
    Simple and Immune Relations on Countable Structures.Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight & Charles F. D. McCoy - 2003 - Archive for Mathematical Logic 42 (3):279-291.
  38. Realization of Analysis Into Explicit Mathematics.Sergei Tupailo - 2001 - Journal of Symbolic Logic 66 (4):1848-1864.
    We define a novel interpretation R of second order arithmetic into Explicit Mathematics. As a difference from standard D-interpretation, which was used before and was shown to interpret only subsystems proof-theoretically weaker than T 0 , our interpretation can reach the full strength of T 0 . The R-interpretation is an adaptation of Kleene's recursive realizability, and is applicable only to intuitionistic theories.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39.  48
    The Katechon in the Age of Biopolitical Nihilism.Sergei Prozorov - 2012 - Continental Philosophy Review 45 (4):483-503.
    The article addresses the ‘messianic turn’ in contemporary continental philosophy, focusing on the concept of the katechon as the restraining force that delays the advent of the Antichrist in the Second Letter to the Thessalonians. While Carl Schmitt held the passage on the katechon to ground the Christian doctrine of state power, Giorgio Agamben’s reading of Pauline messianism rather posits the ‘removal’ of the katechon as the pathway for messianic redemption. In our argument, the significance of this text goes beyond (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  14
    Logic of Classical Refutability and Class of Extensions of Minimal Logic.Sergei P. Odintsov - 2001 - Logic and Logical Philosophy 9:91.
  41.  16
    Hintikka’s Independence-Friendly Logic Meets Nelson’s Realizability.Sergei P. Odintsov, Stanislav O. Speranski & Igor Yu Shevchenko - 2018 - Studia Logica 106 (3):637-670.
    Inspired by Hintikka’s ideas on constructivism, we are going to ‘effectivize’ the game-theoretic semantics for independence-friendly first-order logic, but in a somewhat different way than he did in the monograph ‘The Principles of Mathematics Revisited’. First we show that Nelson’s realizability interpretation—which extends the famous Kleene’s realizability interpretation by adding ‘strong negation’—restricted to the implication-free first-order formulas can be viewed as an effective version of GTS for FOL. Then we propose a realizability interpretation for IF-FOL, inspired by the so-called ‘trump (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  20
    On the Intuitionistic Strength of Monotone Inductive Definitions.Sergei Tupailo - 2004 - Journal of Symbolic Logic 69 (3):790-798.
    We prove here that the intuitionistic theory $T_{0}\upharpoonright + UMID_{N}$ , or even $EEJ\upharpoonright + UMID_{N}$ , of Explicit Mathematics has the strength of $\prod_{2}^{1} - CA_{0}$ . In Section I we give a double-negation translation for the classical second-order $\mu-calculus$ , which was shown in [ $M\ddot{o}02$ ] to have the strength of $\prod_{2}^{1}-CA_{0}$ . In Section 2 we interpret the intuitionistic $\mu-calculus$ in the theory $EETJ\upharpoonright + UMID_{N}$ . The question about the strength of monotone inductive definitions in (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  43.  15
    On the Structure of Paraconsistent Extensions of Johansson's Logic.Sergei P. Odintsov - 2005 - Journal of Applied Logic 3 (1):43-65.
  44.  16
    Epsilon Substitution Method for Elementary Analysis.Grigori Mints, Sergei Tupailo & Wilfried Buchholz - 1996 - Archive for Mathematical Logic 35 (2):103-130.
    We formulate epsilon substitution method for elementary analysisEA (second order arithmetic with comprehension for arithmetical formulas with predicate parameters). Two proofs of its termination are presented. One uses embedding into ramified system of level one and cutelimination for this system. The second proof uses non-effective continuity argument.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  45.  10
    Towards a Post-Hobbesian Political Community?Prozorov Sergei - 2015 - Hobbes Studies 28 (1):50-63.
    _ Source: _Volume 28, Issue 1, pp 50 - 63 The article addresses the attempts of contemporary continental philosophy to develop a politics that would move beyond the Hobbesian logic of the constitution of political community. In their readings of Hobbes, Roberto Esposito and Giorgio Agamben emphasize the nihilistic character of Hobbes’s approach to community. For Esposito, Hobbes’s commonwealth is legitimized by a prior negation of the originary human community in the construction of the state of nature as the state (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  43
    Russian Postcommunism and the End of History.Sergei Prozorov - 2008 - Studies in East European Thought 60 (3):207 - 230.
    The article ventures a reading of Russian postcommunist politics from the perspective of the messianic turn in continental political philosophy, specifically Giorgio Agamben’s conception of the ‘end of history’. Taking its point of departure from a retrospective construction in the Russian political discourse of the 1990s as a period of ‘timelessness’, the paper argues that postcommunism may indeed be viewed as a paradoxical ‘time out of time’, a rupture in the ordinary temporality that entirely dispenses with the teleological horizon of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  21
    Computability Issues for Adaptive Logics in Multi-Consequence Standard Format.Sergei P. Odintsov & Stanislav O. Speranski - 2013 - Studia Logica 101 (6):1237-1262.
    In a rather general setting, we prove a number of basic theorems concerning computational complexity of derivability in adaptive logics. For that setting, the so-called standard format of adaptive logics is suitably adopted, and the corresponding completeness results are established in a very uniform way.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  47
    Logical Omniscience as Infeasibility.Sergei Artemov & Roman Kuznets - 2014 - Annals of Pure and Applied Logic 165 (1):6-25.
    Logical theories for representing knowledge are often plagued by the so-called Logical Omniscience Problem. The problem stems from the clash between the desire to model rational agents, which should be capable of simple logical inferences, and the fact that any logical inference, however complex, almost inevitably consists of inference steps that are simple enough. This contradiction points to the fruitlessness of trying to solve the Logical Omniscience Problem qualitatively if the rationality of agents is to be maintained. We provide a (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  21
    Sergei Nirenburg, Victor Raskin, Ontological Semantics.Manuel Bremer - 2008 - Minds and Machines 18 (2):293-295.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  34
    Coercion Completion and Conservativity in Coercive Subtyping.Sergei Soloviev & Zhaohui Luo - 2001 - Annals of Pure and Applied Logic 113 (1-3):297-322.
    Coercive subtyping offers a general approach to subtyping and inheritance by introducing a simple abbreviational mechanism to constructive type theories. In this paper, we study coercion completion in coercive subtyping and prove that the formal extension with coercive subtyping of a type theory such as Martin–Löf's type theory and UTT is a conservative extension. The importance of coherence conditions for the conservativity result is also discussed.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 314