Results for 'Vladimir Krupski'

1000+ found
Order:
  1.  13
    The single-conclusion proof logic and inference rules specification.Vladimir N. Krupski - 2001 - Annals of Pure and Applied Logic 113 (1-3):181-206.
    The logic of single-conclusion proofs () is introduced. It combines the verification property of proofs with the single valuedness of proof predicate and describes the operations on proofs induced by modus ponens rule and proof checking. It is proved that is decidable, sound and complete with respect to arithmetical proof interpretations based on single-valued proof predicates. The application to arithmetical inference rules specification and -admissibility testing is considered. We show that the provability in gives the complete admissibility test for the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  9
    Data storage interpretation of labeled modal logic.Sergei Artëmov & Vladimir Krupski - 1996 - Annals of Pure and Applied Logic 78 (1-3):57-71.
    We introduce reference structures — a basic mathematical model of a data organization capable of storing and utilizing information about its addresses. A propositional labeled modal language is used as a specification and programming language for reference structures; the satisfiability algorithm for modal language gives a method of building and optimizing reference structures satisfying a given formula. Corresponding labeled modal logics are presented, supplied with cut free axiomatizations, completeness and decidability theorems are proved. Initialization of typed variables in some programming (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  5
    Vladimir Solovyov’s “Three Speeches on Dostoevsky.” Then and Now.Vladimir N. Porus - 2022 - Russian Studies in Philosophy 60 (1):60-73.
    This article discusses the connection between the ideas of Fyodor M. Dostoevsky and Vladimir S. Solovyov on the need for cultural and moral transformation of those who would claim to participate in...
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  13
    Vladimir Ruml.Vladimir Ruml - 1960 - Atti Del XII Congresso Internazionale di Filosofia 3:483-485.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5. Vladimir Jankélévitch Ou de L'Effectivité. Présentation, Choix de Textes, Bibliographie Par Lucien Jerphagnon.Vladimir Jankélévitch & Lucien Jerphagnon - 1969 - Seghers.
     
    Export citation  
     
    Bookmark  
  6.  1
    Letter from Vladimir V. Mironov to Aleksandr V. Mikhailovsky.Vladimir V. Mironov - 2021 - Russian Studies in Philosophy 59 (3):243-245.
    My dear Aleksandr!I have finally found some quiet time for a slow and attentive read of your article “The Beginning of the Black Notebooks.”1 I very much liked the article, especially for your trul...
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  6
    Divine Sophia: The Wisdom Writings of Vladimir Solovyov.Vladimir Sergeyevich Solovyov - 2009 - Cornell University Press.
    "This personification of wisdom with golden hair and a radiant aura echoes both the eternal feminine and the world soul. Rooted in Christian and Jewish mysticism, Eastern Orthodox iconography, Greek philosophy, and European romanticism, the Sophiology that suffuses Solovyov's philosophical and artistic works is both intellectually sophisticated and profoundly inspiring. Judith Deutsch Kornblatt brings together key texts from Solovyov's writings about Sophia: poetry, fiction, drama, and philosophy, all extensively annotated and some available in English for the first time (with assistance (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  8. Godmanhood as the Main Idea of the Philosophy of Vladimir Solovyev.Vladimir Sergeyevich Solovyov - 1944 - [Poughkeepsie, N.Y., Harmon Printing House.
     
    Export citation  
     
    Bookmark  
  9.  9
    The complexity of homeomorphism relations on some classes of compacta.Paweł Krupski & Benjamin Vejnar - 2020 - Journal of Symbolic Logic 85 (2):733-748.
    We prove that the homeomorphism relation between compact spaces can be continuously reduced to the homeomorphism equivalence relation between absolute retracts, which strengthens and simplifies recent results of Chang and Gao, and Cieśla. It follows then that the homeomorphism relation of absolute retracts is Borel bireducible with the universal orbit equivalence relation. We also prove that the homeomorphism relation between regular continua is classifiable by countable structures and hence it is Borel bireducible with the universal orbit equivalence relation of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  5
    Typing in reflective combinatory logic.Nikolai Krupski - 2006 - Annals of Pure and Applied Logic 141 (1):243-256.
    We study Artemov’s Reflective Combinatory Logic . We provide the explicit definition of types for and prove that every well-formed term has a unique type. We establish that the typability testing and detailed type restoration can be done in polynomial time and that the derivability relation for is decidable and PSPACE-complete. These results also formalize the intended semantics of the type t:F in . Terms store the complete information about the judgment “t is a term of type F”, and this (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Blame, not ability, impacts moral “ought” judgments for impossible actions: Toward an empirical refutation of “ought” implies “can”.Vladimir Chituc, Paul Henne, Walter Sinnott-Armstrong & Felipe De Brigard - 2016 - Cognition 150 (C):20-25.
    Recently, psychologists have explored moral concepts including obligation, blame, and ability. While little empirical work has studied the relationships among these concepts, philosophers have widely assumed such a relationship in the principle that “ought” implies “can,” which states that if someone ought to do something, then they must be able to do it. The cognitive underpinnings of these concepts are tested in the three experiments reported here. In Experiment 1, most participants judge that an agent ought to keep a promise (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  12.  54
    Vladimir Solovyov, Nicolai Hartmann, and Levels of Reality.Frédéric Tremblay - 2017 - Axiomathes 27 (2):133-146.
    One of the trademarks of Nicolai Hartmann’s ontology is his theory of levels of reality. Hartmann drew from many sources to develop his version of the theory. His essay “Die Anfänge des Schichtungsgedankens in der alten Philosophie” testifies of the fact that he drew from Plato, Aristotle, and Plotinus. But this text was written relatively late in Hartmann’s career, which suggests that his interest in the theories of levels of the ancients may have been retrospective. In “Nicolai Hartmann und seine (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  13. Lying, Tell-Tale Signs, and Intending to Deceive.Vladimir Krstic - forthcoming - Dialectica:1-27.
    Arguably, the existence of bald-faced (i.e. knowingly undisguised) lies entails that not all lies are intended to deceive. Two kinds of bald-faced lies exist in the literature: those based on some common knowledge that implies that you are lying and those that involve tell-tale signs (e.g. blushing) that show that you are lying. I designed the tell-tale sign bald-faced lies to avoid objections raised against the common knowledge bald-faced lies but I now see that they are more problematic than what (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  14. On the Connection between Lying, Asserting, and Intending to Cause Beliefs.Vladimir Krstic - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    According to one influential argument put forward by, e.g. Chisholm and Feehan, Pfister, Meibauer, Dynel, Keiser, and Harris, asserting requires intending to give your hearer a reason to believe what you say (first premise) and, because liars must assert what they believe is false (second premise), liars necessarily intend to cause their hearer to believe as true what the liars believe is false (conclusion). According to this argument, that is, all genuine lies are intended to deceive. ‘Lies’ not intended to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  1
    Vladimir Soloviev, Jacques Maritain Et le Personnalisme Chrétien.Patrick de Laubier (ed.) - 2008 - Parole Et Silence.
    Vladimir Soloviev et Jacques Maritain sont des philosophes pour aujourd'hui et pour demain. Ils ont laissé des œuvres considérables par leur originalité, leur profondeur et la qualité de leur style. Célèbres, puis un peu oubliés, ces deux talentueux penseurs ont cherché la vérité. Ni Soloviev ni Maritain n'ont eu d'ailleurs des carrières académiques classiques, et la liberté que donne une vie dispensée d'obligations administratives a probablement favorisé leur remarquable créativité. L'un et l'autre ont aimé non seulement le Christ, mais (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  2
    Vladimir Solov'ëv: Reconciler and Polemicist ; Selected Papers of the International Vladimir Solov'ëv Conference Held at the University of Nijmegen, the Netherlands, in September 1998.William Peter van den Bercken, Manon de Courten, W. Van den Bercken & Evert van der Zweerde (eds.) - 2000 - Peeters.
    Vladimir Solov'ev (1853-1900- is regarded as the most original and systematic of the Russian philosophers in the 19th century. He has once again become the subject of international scholarly attention both in Slavic countries and the West. This volume contains selected papers presented at the international conference on Vladimir Solov'ev held at Nijmegen University, the Netherlands, in September 1998. The scope of this conference was wide-ranging, dealing with theological, metaphysical, philosophical and historical themes. Though Solov'ev's broad intellectual activity (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  17. Transparent Delusion.Vladimir Krstić - 2020 - Review of Philosophy and Psychology 11 (1):183-201.
    In this paper, I examine a kind of delusion in which the patients judge that their occurrent thoughts are false and try to abandon them precisely because they are false, but fail to do so. I call this delusion transparent, since it is transparent to the sufferer that their thought is false. In explaining this phenomenon, I defend a particular two-factor theory of delusion that takes the proper integration of relevant reasoning processes as vital for thought-evaluation. On this proposal, which (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  53
    Admissibility of Logical Inference Rules.Vladimir Vladimir Rybakov - 1997 - Elsevier.
    The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: admissible or permissible inference rules the derivability of the admissible inference rules the structural completeness of logics the bases for admissible and valid inference rules. There is particular emphasis on propositional non-standard logics (primary, superintuitionistic and modal logics) but general logical consequence relations and classical first-order theories are also considered. The book is basically self-contained and special (...)
    Direct download  
     
    Export citation  
     
    Bookmark   37 citations  
  19. SOLOVIEV, VLADIMIR.-War, Progress, and the End of History. Trans. Alexander Bakshy: Biographical Notice by Dr. Hagberg Wright. [REVIEW]A. E. T. A. E. T. - 1916 - Mind 25:545.
     
    Export citation  
     
    Bookmark  
  20. Vladimir Solovʹev I Sudʹba Rossii: Sot͡sialʹno-Politicheskie Iskanii͡a Tretʹego Puti.Konstantin Alekseev - 2007 - Rosspėn.
     
    Export citation  
     
    Bookmark  
  21. Vladimir Solovyov and the Russian Ideal of the 'Whole Man'.Jonathan Sutton - 1980 - [S.N.].
     
    Export citation  
     
    Bookmark  
  22.  29
    Vladimir Soloviev’s Historiosophical Universalism.Janusz Dobieszewski - 2007 - Dialogue and Universalism 17 (5/6):79-100.
    The article outlines Vladimir Soloviev’s views at the time of his fascination by the theocracy, Christian policy and United Church concepts. His standpoint then was to place the “Godmanhood” idea underlying his philosophy in a realistic, historically and socially factual—hence universalistic—context. This led him to confer a special role in the historical process to the Christian church, which he saw as a dynamic institution adding energy to history. Soloviev considered this energy crucial in the rebirth of Christian unity around (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  3
    Henri Bergson.Vladimir Jankélévitch, Nils F. Schott & Alexandre Lefebvre (eds.) - 2015 - Durham, NC: Duke University Press.
    Appearing here in English for the first time, Vladimir Jankélévitch's _Henri Bergson_ is one of the two great commentaries written on Henri Bergson. Gilles Deleuze's _Bergsonism_ renewed interest in the great French philosopher but failed to consider Bergson's experiential and religious perspectives. Here Jankélévitch covers all aspects of Bergson's thought, emphasizing the concepts of time and duration, memory, evolution, simplicity, love, and joy. A friend of Bergson's, Jankélévitch first published this book in 1931 and revised it in 1959 to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  1
    Vladimir Soloviev and His Messianic Work.D. Strémooukhoff - 1979 - Nordland Pub. Co..
  25. Directed organ donation: Discrimination or autonomy?Vladimir Stoikov - forthcoming - Journal of Applied Philosophy.
     
    Export citation  
     
    Bookmark  
  26.  4
    Forgiveness.Vladimir Jankélévitch - 2005 - University of Chicago Press.
    Philosopher Vladimir Jankélévitch has only recently begun to receive his due from the English-speaking world, thanks in part to discussions of his thought by Jacques Derrida, Emmanuel Lévinas, and Paul Ricoeur. His international readers have long valued his unique, interdisciplinary approach to philosophy’s greatest questions and his highly readable writing style. Originally published in 1967, Le Pardon, or Forgiveness, is one of Jankélévitch’s most influential works. In it, he characterizes the ultimate ethical act of forgiving as behaving toward the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  27. Vladimir Soloviev's way to “the history and the future of theocracy”: Controversy about the dogmatic development of the church on the pages of “faith and reason” magazine.A. V. Chernyaev & A. Yu Berdnikova - 2019 - RUDN Journal of Philosophy 23 (2):118-132.
    The main article is devoted to the historical and philosophical reconstruction of controversy between Vladimir Solovyov and the authors of the “Faith and Reason” - a magazine of the Kharkov Theological Seminary. This controversy took its place in the “theological and journalistic” or the “theocratic” period of Solovyov’s works. Particular attention is paid to the disputes of Solovyov and T. Stoyanov, A.P. Shost'in and the French Orthodox priest Fr. Vladimir Gette on the theory of dogmatic development in the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  31
    Moral conformity and its philosophical lessons.Vladimir Chituc & Walter Sinnott-Armstrong - 2020 - Philosophical Psychology 33 (2):262-282.
    ABSTRACTThe psychological and philosophical literature exploring the role of social influence in moral judgments suggests that conformity in moral judgments is common and, in many cases, seems to b...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Filatov, Vladimir P. (ed.). Nikolai Onufrievich Losskii. Filosofiia Rossii pervoi poloviny XX veka. Rosspen, Moscow, 2016. [REVIEW]Frederic Tremblay - 2018 - Slavonic and East European Review 96 (3):551-553.
    This is a review of: Николай Онуфриевич Лосский, под редакцией В. П. Филатова, Москва: Росспэн (Серия "Философия России первой половины ХХ века"), 2016. It describes and appraises the content of this collection of nineteen articles on the life and thought of the prominent twentieth century Russian philosopher Nikolai Lossky. The volume, edited by Vladimir Filatov, presents the reader with an analysis of Lossky's philosophical legacy, including such aspects of his thought as his intuitivism, his personalism, his relation to phenomenology, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30. From Perceptual Categories to Concepts: What Develops?Vladimir M. Sloutsky - 2010 - Cognitive Science 34 (7):1244-1286.
    People are remarkably smart: They use language, possess complex motor skills, make nontrivial inferences, develop and use scientific theories, make laws, and adapt to complex dynamic environments. Much of this knowledge requires concepts and this study focuses on how people acquire concepts. It is argued that conceptual development progresses from simple perceptual grouping to highly abstract scientific concepts. This proposal of conceptual development has four parts. First, it is argued that categories in the world have different structure. Second, there might (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   39 citations  
  31. Vladimir Solovʹev.A. I. Brodskiĭ - 2016 - Sankt-Peterburg: NAUKA.
     
    Export citation  
     
    Bookmark  
  32. Markovnikov, Vladimir Vasilevich.G. V. Bykov - 2008 - In Noretta Koertge (ed.), Complete Dictionary of Scientific Biography. Charles Scribner’s Sons.
    No categories
     
    Export citation  
     
    Bookmark  
  33.  96
    Bald-Faced Lies, Blushing, and Noses that Grow: An Experimental Analysis.Vladimir Krstić & Alexander Wiegmann - forthcoming - Erkenntnis:1-24.
    We conducted two experiments to determine whether common folk think that so-called tell-tale sign bald-faced lies are intended to deceive—since they have not been tested before. These lies involve tell-tale signs that show that the speaker is lying. Our study was designed to avoid problems earlier studies raise. Our main hypothesis was that the participants will think that the protagonists from our examples lied without intending to deceive, and the results of our surveys confirmed this hypothesis: most of our participants (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  1
    Grammar and Logic.Vladimir Zinov'evich Panfilov - 1968 - Paris: Mouton.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. Sputana I Oslobođena Misao: Ogledi.Vladimir Vujić - 2006 - Zadužbina Svetog Manastira Hilandara.
  36.  11
    Appearance and Persistence as the Unity of Diachronic and Synchronic Concepts of Emergence.Vladimír Havlík - 2020 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 51 (3):393-409.
    Recent philosophical discourse on emergence has developed with particular concern for the distinction between weak and strong emergence and with the primary focus on detailed analysis of the concept of supervenience. However, in the last decade and as a new departure, attention has been devoted to the distinction between synchronic and diachronic emergence. In this philosophical context, there is an ongoing general belief that these two concepts are so different that it is impossible to establish for them a general unifying (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Can You Lie Without Intending to Deceive?Vladimir Krstić - 2019 - Pacific Philosophical Quarterly 100 (2):642–660.
    This article defends the view that liars need not intend to deceive. I present common objections to this view in detail and then propose a case of a liar who can lie but who cannot deceive in any relevant sense. I then modify this case to get a situation in which this person lies intending to tell his hearer the truth and he does this by way of getting the hearer to recognize his intention to tell the truth by lying. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  38. Rules of inference with parameters for intuitionistic logic.Vladimir V. Rybakov - 1992 - Journal of Symbolic Logic 57 (3):912-923.
    An algorithm recognizing admissibility of inference rules in generalized form (rules of inference with parameters or metavariables) in the intuitionistic calculus H and, in particular, also in the usual form without parameters, is presented. This algorithm is obtained by means of special intuitionistic Kripke models, which are constructed for a given inference rule. Thus, in particular, the direct solution by intuitionistic techniques of Friedman's problem is found. As a corollary an algorithm for the recognition of the solvability of logical equations (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  39.  28
    Einstein, Hilbert, and Weyl: the genesis of the geometrical unified field theory program.Vladimir P. Vizgin - 1989 - In D. Howard & John Stachel (eds.), Einstein and the History of General Relativity. Birkhäuser. pp. 1--300.
  40.  6
    The Vision of God.Vladimir Lossky - 1963 - St. Vladimir's Seminary Press.
  41.  12
    Neural networks ensembles approach for simulation of solar arrays degradation process.Vladimir Bukhtoyarov, Eugene Semenkin & Andrey Shabalov - 2012 - In Emilio Corchado, Vaclav Snasel, Ajith Abraham, Michał Woźniak, Manuel Grana & Sung-Bae Cho (eds.), Hybrid Artificial Intelligent Systems. Springer. pp. 186--195.
  42. Review of Jörg Meibauer (Ed.), The Oxford Handbook of Lying (Oxford: Oxford University Press, 2019), pp. 689. [REVIEW]Vladimir Krstić - 2022 - Linguistische Berichte 270:225–236.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43. Z evolučního hlediska: Pojem evoluce v současné filosofii.Vladimir Havlik & Tomas Hribek (eds.) - 2011 - Praha, Česko: Filosofia.
    [From an Evolutionary Point of View: The Concept of Evolution in Contemporary Philosophy].
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  29
    Vladimir Jankélévitch and the Question of Forgiveness.Alan Udoff (ed.) - 2013 - Lanham, MD: Lexington Books.
    Based on the proceedings of an international conference, Vladimir Jankelevitch and the Question of Forgiveness comprises the first book-length expository and critical reading of Jankelevitch’s masterwork: Le Pardon.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. Interpretace v narativním přístupu.Vladimír Chrz & Ivo Čermák - 2011 - Teorie Vědy / Theory of Science 33 (3):415-443.
    Cílem studie je zodpovědět otázku, co znamená v interpretujících humanitních či sociálních vědách zkoumat narativně. Interpretace je pojata jako explikace utváření významu. V návaznosti na toto pojetí je identifikována řada interpretačních dilemat. V tomto kontextu je uveden narativní přístup jako řešení těchto dilemat. Je pojednáno o povaze narativní perspektivy, o vztahu narativity a zkušenosti a o povaze narativních dat. Narativní výzkum je chápán jako rekonstrukce způsobů, jakými je utvářen význam narativními prostředky. Narativní interpretace umožňuje pohybovat se pružně a efektivně: 1) (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  14
    On the Unambiguity of the Solution of the Inhomogeneous Wave Equation.Vladimir Onoochin - 2003 - Apeiron 10 (2):154-164.
  47.  7
    The Rhetorical Construction of Eldredge and Gould's Article on the Theory of Punctuated Equilibria in 1972.Vladimir Cachón, Ana Barahona & Francisco J. Ayala - 2008 - History and Philosophy of the Life Sciences 30 (3-4):317 - 337.
    This article seeks to show how several rhetorical tools were used and, in fact, played a central role in the argumentation advanced by Niles Eldredge and Stephen Jay Gould in their 1972 seminal article on the theory of Punctuated Equilibria. It is analyzed how Eldredge and Gould proceeded through three steps that, sequentially integrated, made their argument compelling. It is shown how they made use of analogies, metaphors and other rhetorical tools. It is sustained that they began by priming the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  28
    Vladimir solovjov — een levend denkwerk.Evert van der Zweerde - 2003 - Tijdschrift Voor Filosofie 65 (4):715-735.
    The Russian philosopher, poet and religious thinker Vladimir S. Solovyov is widely regarded as the most important Russian philosopher ever. The objective of this study is to investigate why this title might be justified. In doing so, it offers a general introduction to the life, thought, and works of Solovyov, with a clear accent onhis philosophical texts, and attempts to assess his status as a philosopher in the history of philosophy. As is shown, he developed a system of 'integral (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. Cómo ordenar y gestionar los territorios sin la guerra en Colombia?Vladimir Montoya Arango - 2017 - In Sara Victoria Alvarado (ed.), Las ciencias sociales en sus desplazamientos: nuevas epistemes y nuevos desafíos. CLACSO.
     
    Export citation  
     
    Bookmark  
  50.  1
    Realizat͡sii͡a Kategorii Vazhnosti V Predlozhenii I V Tekste.Vladimir Nikolaevich Artamonov - 2006 - Ulʹi͡anovskiĭ Gos. Tekhn. Universitet.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000