Results for 'Sergei Art��mov'

1000+ found
Order:
  1.  22
    Frozen Tombs of SiberiaA Heritage of ImagesAlienationMilton StudiesFilm Culture ReaderHerbert Read, a Memorial SymposiumAesthetic Concepts and EducationThe Expanded Voice: The Art of Thomas Traherne.Barbara Woodward, Sergei I. Rudenko, M. W. Thompson, Saxl Fritz, R. Schacht, James D. Simmonds, P. A. Sitney, Robin Skelton, R. A. Smith & Stewart Stanley - 1971 - Journal of Aesthetics and Art Criticism 29 (3):429.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  13
    Sergei Parajanov's Differential Cinema.Robert Efird - 2018 - Film-Philosophy 22 (3):465-483.
    The films of Sergei Parajanov remain some of the most stylistically unique in the history of the medium and easily place him within the pantheon of the world's great filmmakers. This article offers a new perspective on Parajanov's art through a detailed examination of the two works at the center of his oeuvre, The Colour of Pomegranates and The Legend of Suram Fortress. In addition to their undeniable aesthetic value, these films may be appreciated as meaningful discourse on our (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3. The Routledge Handbook of Biopolitics.Sergei Prozorov & Simona Rentea (eds.) - 2016
    The problematic of biopolitics has become increasingly important in the social sciences. Inaugurated by Michel Foucault's genealogical research on the governance of sexuality, crime and mental illness in modern Europe, the research on biopolitics has developed into a broader interdisciplinary orientation, addressing the rationalities of power over living beings in diverse spatial and temporal contexts. The development of the research on biopolitics in recent years has been characterized by two tendencies: the increasingly sophisticated theoretical engagement with the idea of power (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  14
    Realization of Intuitionistic Logic by Proof Polynomials.Sergei N. Artemov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):285-301.
    ABSTRACT In 1933 Gödel introduced an axiomatic system, currently known as S4, for a logic of an absolute provability, i.e. not depending on the formalism chosen ([God 33]). The problem of finding a fair provability model for S4 was left open. The famous formal provability predicate which first appeared in the Gödel Incompleteness Theorem does not do this job: the logic of formal provability is not compatible with S4. As was discovered in [Art 95], this defect of the formal provability (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5. O Modernizme.Sergeĭ Efimovich[from old catalog] Mozhni͡agun - 1970
     
    Export citation  
     
    Bookmark  
  6. Art's Self-Disclosure: Hegelian Insights Into Cinematic and Modernist Space.C. A. Tsakiridou - 2013 - Evental Aesthetics 2 (1):44-72.
    This article uses Hegel’s analysis of the Romantic form to elucidate the relationship between aesthetic space and subjectivity in modernist painting (Paul Klee) and cinema (Sergei Eisenstein). The movement that brings art to realization in Hegel thus includes genres and modalities of art that did not exist in his time: in cinema and modernist painting, the Idea or truth of art evolves and brings itself to completion. Plasticity, the movement of aesthetic form toward self-expression, abandons the rigid substantiality it (...)
     
    Export citation  
     
    Bookmark   1 citation  
  7.  6
    Tragic Loneliness in Cycle of “Stories of Last Summer” by Sergei Dovlatov.E. A. Vlasova - 2018 - Liberal Arts in Russiaроссийский Гуманитарный Журналrossijskij Gumanitarnyj Žurnalrossijskij Gumanitarnyj Zhurnalrossiiskii Gumanitarnyi Zhurnal 7 (3):185.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  35
    Magic and Myth of the MoviesThe Film Sense.Milton S. Fox, Parker Tyler, Sergei M. Eisenstein & Jay Leyda - 1950 - Journal of Aesthetics and Art Criticism 8 (3):203.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  6
    Lermontov and Post-Lermontov Intertext in the Story of Sergei Dovlatov “The Reserve”.O. V. Bogdanova & E. A. Vlasova - 2019 - Liberal Arts in Russiaроссийский Гуманитарный Журналrossijskij Gumanitarnyj Žurnalrossijskij Gumanitarnyj Zhurnalrossiiskii Gumanitarnyi Zhurnal 8 (2):129.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  9
    Film as a Dream of the Modern Man: Interpretation of Susanne Langer’s “Note on the Film”.Tereza Hadravová - 2020 - Eidos. A Journal for Philosophy of Culture 4 (1):38-48.
    The paper concerns a “Note on the Film,” a short appendix to Feeling and Form by Susanne Langer. The interpretation interweaves the Note into a larger context of Langer’s philosophical work – primarily in terms of her understanding of the dream as a lower symbolic form, to which the film is compared – as well as in terms of her account of literary arts among which, she suggests, cinema belongs. Langer’s references to Sergei Eisenstein are discussed and their respective (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  36
    Between Utopia and Event: Beyond the Banality of Local Politics in Eisenstein.Julia Vassilieva - 2011 - Film-Philosophy 15 (1):140-160.
    Sergei Eisenstein’s 110th anniversary celebrated in 2008 calls for a re-assessment of his overall heritage, which until now has been customarily perceived in Western film scholarship as - in Annette Michelson’s words - ’indissolubly linked to the project of construction of socialism’ - a view shared from Marie Seton to Jacques Aumont, from Kristin Thompson to Ian Christie and from David Bordwell to Anna Bohn. Not only did Eisenstein’s output magnificently and persuasively outlive this project, but from our vantage (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark  
  12. Film as Philosophy: In Defense of a Bold Thesis.Aaron Smuts - 2009 - Journal of Aesthetics and Art Criticism 67 (3):409-420.
    I argue for a position close to what Paisley Livingston calls the bold thesis of cinema as philosophy. The bold thesis I defend is that films can make innovative, independent philosophical contributions by paradigmatic cinematic means. I clarify the thesis before presenting what Livingston thinks is a fatal problem for any similar position—the problem of paraphrase. As an example in defense of the bold thesis, I offer the "For God and Country" sequence in Sergei Eisenstein’s October (1928). I argue (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  13.  3
    Точка – Пафос – Тотальность [Point – Pathos – Totality].Михаил [Mikhail] Ямпольский [Yampolsky] - 2013 - Sign Systems Studies 41 (2/3):167-186.
    Point – pathos – totalityTwo situations are possible when two fragments are confronted in montage. First, we can have a continuity corresponding to some established narrative codes. For instance, a character crosses the right border of the frame and reappears from behind the left side of the next frame. Such a figure will be read as a representation of continuity, but shown not in its integrity. The gap in spatial continuity is compensated here by the continuity of a story. On (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  10
    From Stage to Brain: Montage as a New Principle of Scientific Narrative.Oksana Bulgakowa - 2013 - Sign Systems Studies 41 (2/3):200-218.
    German Dadaists, Italian and Russian Futurists and Constructivists created in their experiments multi-medial orthopedic bodies as products of collage and montage. Sergei Eisenstein, who was influenced by these experiments, organized his theatrical productions as a chain of independent fragments capable of entering any possible combination/recombination and labelled this method “montage of attractions”. He used the same montage principle not only for a new theatrical or cinematic narrative but also to conceptualize the expressive movement of the theatrical or cinematic body (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Russian Avant-Garde and Radical Modernism: An Introductory Reader.Denis G. Ioffe & Frederick H. White (eds.) - 2012 - Academic Studies Press.
    I. An introduction -- II. Russian futurism and the related currents -- III. Russian suprematism and constructivism -- IV. The OBERIU circle (Daniil Kharms and his associates) -- V. Russian experimental performance and theater -- VI. Avant-garde cinematography: Sergei Eisenstein and Dziga Vertov.
     
    Export citation  
     
    Bookmark  
  16.  2
    Montage in Russian Imaginism: Poetry, Theatre and Theory.Tomi Huttunen - 2013 - Sign Systems Studies 41 (2/3):219-229.
    The article discusses the concept of montage as used by the Russian Imaginist poetic group: the montage principle in their poetry, theoretical writings and theatre articles. The leading Imaginist figures Vadim Shershenevich and Anatolij Mariengof were active both in theorizing and practising montage in their oeuvre at the beginning of the 1920s. Shershenevich’s application of the principle in poetry was called “image catalogue”, a radical poetic experiment in the spirit of both Walt Whitman and Sergei Eisenstein. Mariengof ’s main (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  14
    Modernism: An Anthology of Sources and Documents.Vassiliki Kolocotroni, Jane Goldman & Olga Taxidou (eds.) - 1998 - University of Chicago Press.
    From Bauhaus to Dada, from Virginia Woolf to John Dos Passos, the Modernist movement revolutionized the way we perceive, portray, and participate in the world. This landmark anthology is a comprehensive documentary resource for the study of Modernism, bringing together more than 150 key essays, articles, manifestos, and other writings of the political and aesthetic avant-garde between 1840 and 1950. By favoring short extracts over lengthier originals, the editors cover a remarkable range and variety of modernist thinking. Included are not (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  32
    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 (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  19. 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 (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  20. 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   101 citations  
  21. 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   71 citations  
  22.  9
    Psikodilbilimsel Yaklaşıma Dayalı Araştırmalarda Terminolojik Sorunlar.Muhammadhan Haki̇mov - 2016 - Journal of Turkish Studies 11 (Volume 11 Issue 15):209-209.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  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  
  24.  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  
  25. Justification Logic.Sergei Artemov - forthcoming - Stanford Encyclopedia of Philosophy.
  26. 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  
  27.  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  
  28. Arte Classica Ch 6900 Lugano. Via Peri 9-Tel. 091 23 38 54.Bernheimer'S. Antique Arts & Antique Jewelry - 1991 - Minerva 2.
  29. Art, Metaphysics, & the Paradox of Standards.Christy Mag Uidhir - 2013 - In Art & Abstract Objects. Oxford University Press.
    I consider the field of aesthetics to be at its most productive and engaging when adopting a broadly philosophically informative approach to its core issues (e.g., shaping and testing putative art theoretic commitments against the relevant standard models employed in philosophy of language, metaphysics, and philosophy of mind) and to be at its most impotent and bewildering when cultivating a philosophically insular character (e.g., selecting interpretative, ontological, or conceptual models solely for fit with pre-fixed art theoretic commitments). For example, when (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  30.  80
    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  
  31. Constructive Negations and Paraconsistency.Sergei Odintsov - 2008 - Dordrecht, Netherland: Springer.
    Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong negation. These concepts are studied in the setting of paraconsistent logic.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  32.  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  
  33.  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  
  34.  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   17 citations  
  35.  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  
  36. Film Art an Introduction.David Bordwell & Kristin Thompson - 1986
     
    Export citation  
     
    Bookmark   21 citations  
  37.  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   15 citations  
  38.  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  
  39. The Development of Artistic Culture: Some Methodological Suggestions.Sergei N. Plotnikov & Jeanne Ferguson - 1979 - Diogenes 27 (107):49-64.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  40.  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  
  41.  38
    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  
  42. The Appropriation of Abandonment: Giorgio Agamben on the State of Nature and the Political. [REVIEW]Sergei Prozorov - 2009 - Continental Philosophy Review 42 (3):327-353.
    The paper addresses Giorgio Agamben’s affirmation of post-sovereign politics by analyzing his critical engagement with the Hobbesian problematic of the state of nature. Radicalizing Carl Schmitt’s criticism of Hobbes, Agamben deconstructs the distinction between the state of nature and the civil order of the Commonwealth by demonstrating the ‘inclusive exclusion’ of the former within the latter in the manner of the state of exception, which functions as a negative foundation of any positive order. Since the state of nature is no (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  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  
  44. 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  
  45.  15
    Molecular Architecture of Intermediate Filaments.Sergei V. Strelkov, Harald Herrmann & Ueli Aebi - 2003 - Bioessays 25 (3):243-251.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  16
    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  
  47.  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   7 citations  
  48. Attic Rationalism and Encyclopedic Rationalism: An Essay On the Concatenation of Epochs.Sergei Averintsev - 1985 - Diogenes 33 (130):1-11.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  49.  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  
  50.  1
    Agamben and Politics: A Critical Introduction.Sergei Prozorov - 2014 - Edinburgh University Press.
    Tracing how the logic of inoperativity works in the domains of language, law, history and humanity, 'Agamben and Politics' systematically introduces the fundamental concepts of Agamben's political thought and a critically interprets his insights in the wider context of contemporary philosophy.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 1000