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 (...) rules which can be specified by schemes in -language. The test is supplied with the ground proof extraction algorithm which eliminates the admissible rules from a -proof by utilizing the information from the corresponding -proofs. (shrink)

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 (...) languages is presented as an example of a reference structure building. (shrink)

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...

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...

"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 (...) from the translators Boris Jakim and Laury Magnus)."--Amazon website. (shrink)

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 (...) permutation group on a countable set. On the other hand we prove that the homeomorphism relation between rim-finite metrizable compacta is not classifiable by countable structures. (shrink)

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 (...) information can be extracted by the type restoration algorithm. (shrink)

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 (...) that he is unable to keep, but only when he is to blame for the inability. Experiment 2 shows that such “ought” judgments correlate with judgments of blame, rather than with judgments of the agent’s ability. Experiment 3 replicates these findings for moral “ought” judgments and finds that they do not hold for nonmoral “ought” judgments, such as what someone ought to do to fulfill their desires. These results together show that folk moral judgments do not conform to a widely assumed philosophical principle that “ought” implies “can.” Instead, judgments of blame play a modulatory role in some judgments of obligation. (shrink)

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 (...) Zeitgenossen,” Martin Morgenstern puts the emphasis on contemporaries of Hartmann: Émile Boutroux, Max Scheler, Heinrich Rickert, Karl Jaspers, and Arnold Gehlen. But there is another plausible source for Hartmann’s conception of levels that has so far remained overlooked in the literature. Hartmann studied with and was influenced by Nikolai Lossky. Lossky has a theory of levels that he adopted from Vladimir Solovyov. Solovyov presents his theory of levels, among other places, in Oпpaвдaнie дoбpa, where he says that the five principal stages of the cosmogonic process of ascension toward universal perfection, which are given in experience, are the mineral or inorganic realm, the vegetal realm, the animal realm, the realm of natural humanity, and the realm of spiritual or divine humanity. This theory appears to bear significant similarities with the theory of levels of reality that Hartmann will develop a few decades later. Solovyov was widely read in Russia and it would be unlikely that Hartmann was not at least minimally acquainted with his work. Chances are that Hartmann came into contact with it in some details. An intellectual lineage could thus likely be traced from Hartmann back to Solovyov. In this paper, I document and discuss this possible lineage. (shrink)

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 (...) I initially thought. Therefore, I will discuss these lies in more detail, refine the existing cases, and resolve some anticipated objections. I conclude that tell-tale sign bald-faced lies are genuine lies not intended to deceive. (shrink)

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 (...) deceive are not genuine lies because they do not involve assertions and you need to assert in order to lie. In this paper, I reject this argument by arguing that the first premise is false: intending to give your hearer a reason to believe what you say is not necessary for asserting. (shrink)

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 (...) aussi son Eglise tout en ayant des appartenances confessionnelles différentes. "L'ouvrage que l'on présente ici est le fruit de deux colloques tenus successivement à Moscou et à Kiev en 2006. Il s'agissait de faire mieux connaître Soloviev en Occident et Maritain en Russie ou en Ukraine. C'est une manière de dialogue entre deux inspirations que l'on pourrait rattacher à Platon dans le cas de Soloviev et à Aristote avec Maritain, mais aussi et surtout à un personnalisme chrétien qui les caractérise.". (shrink)

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 (...) defies any strict attempt at categorisation, the editors have classified its major themes under the dual characteristic of reconciliation and polemics. Solov'ev was passionately committed to the reconciliation of all beings under the idea of all-unity, which he attemted to achieve by engaging in uncompromising polemics with his contemporaries, The thirty contributors to this volume are specialists from Russia, Ukraine, Bulgaria, Western Europe and the United States. The volume makes a significant contribution to the intellectual reassesment of Vladimir Solov'ev since the rediscovery of his philosophical heritage in his own homeland in the 1980s. (shrink)

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 (...) is a refinement of Gerrans’s account of delusion as unsupervised by decontextualized processing, I can have all my reasoning processes working reliably and thus judge that my delusion is false but, if I cannot use their outputs when revising the thought itself, the delusion will persist. I also sketch how this framework explains some interesting cases of failed belief-revision in the general population in which people judge that ~p but nonetheless continue to believe that p. (shrink)

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 (...) attention has been made to present the material in a convenient manner for the reader. Proofs of results, many of which are not readily available elsewhere, are also included. The book is written at a level appropriate for first-year graduate students in mathematics or computer science. Although some knowledge of elementary logic and universal algebra are necessary, the first chapter includes all the results from universal algebra and logic that the reader needs. For graduate students in mathematics and computer science the book is an excellent textbook. (shrink)

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 (...) the Holy See and the fulfillment of the “social trinity” reflecting the structure of the Divine Absolute and harmoniously uniting three relatively independent seats of social power: clerical, state and prophetic. For Soloviev the fulfillment of this project consisted in a lasting alliance between the papacy and the Tsar’s court, a concept which sounds very eccentric today. (shrink)

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 (...) treat Bergson's later works. This unabridged translation of the 1959 edition includes an editor's introduction, which contextualizes and outlines Jankélévitch's reading of Bergson, additional essays on Bergson by Jankélévitch, and Bergson's letters to Jankélévitch. (shrink)

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 (...) perpetrator as if he or she had never committed the action, rather than merely forgetting or rationalizing it—a controversial notion when considering events as heinous as the Holocaust. Like so many of Jankélévitch’s works, Forgiveness transcends standard treatments of moral problems, not simply generating a treatise on one subject but incorporating discussions of topics such as free will, giving, creativity, and temporality. Translator Andrew Kelley masterfully captures Jankélévitch’s melodic prose and, in a substantive introduction, reviews his life and intellectual contributions. Forgiveness is an essential part of that legacy, and this indispensable English translation provides key tools for understanding one of the great Western philosophers of the twentieth century. (shrink)

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 (...) church. In the context of this controversy, the arguments for the “defense” of Solovyov's position, cited in the magazine “Orthodox Review” by a theologian and Konstantin Leontyev's follower Ivan Kristi are also analyzed. The reception of Solovyov's theocratic ideas and reaction to his ecclesiastical views in both the Catholic and Orthodox circles of Russian and Western society is shown. Especially it concerns the criticism of Solovyov’s ideas in the pages of the French magazines “L’Univers”, “L'Union Chrétienne”, “Revue d’Eglise greque-unie”, etc. The evolution of Solovyov's views on the problem of the union of Eastern and Western churches, the renewal of church communication between Orthodoxy and Catholicism, the main result of which was his fundamental but unfinished work “The History and Future of the Theocracy” was demonstrated. A conclusion about the “superficiality” of the judgments of the majority of Vladimir Solovyov's ideological opponents, as well as later interpreters of his legacy, following the French Jesuit Michel d'Erbigny, who tried to present him as a “Russian Newman” who converted from Orthodoxy into the Catholic faith is drawn. It is shown that Solovyov’s projects of the “religion of the Holy Spirit” and the “Universal Church”, created on its basis, should be considered primarily in the context of his own philosophical quest, and not in connection with the confessional and ideological divergences of his time. (shrink)

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...

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, (...) his narrative of the history of Russian philosophy, and so on. Lossky is also compared to other Russian philosophers (Shpet, Frank) and his legacy in other countries (Poland, Slovakia) is examined. The authors are Piama Gaidenko, Frances Nethercott, Albert Novikov, Victor Molchanov, Vitaly Lechtzer, Tatiana Shchedrina, Irina Beshkareva, Anatoly Pushkarsky, Elena Serdyukova, Vasily Vanchugov, Irina Blauberg, Roman Granin, Varvara Popova, Evgeny Babosov, Teresa Obolevich, Zlatica Plašienková, Oleg Ermichin, Alexander Podoxenov, Alexander Opalev, and Vladimir Schultz. (shrink)

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 (...) be different learning systems that evolved to learn categories of differing structures. Third, these systems exhibit differential maturational course, which affects how categories of different structures are learned in the course of development. And finally, an interaction of these components may result in the developmental transition from perceptual groupings to more abstract concepts. This study reviews a large body of empirical evidence supporting this proposal. (shrink)

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 (...) rated tell-tale sign lies as lies not intended to deceive. Therefore, our analysis suggests that common folk think that some lies are not intended to deceive. (shrink)

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 (...) framework. It is the purpose of this paper to support an alternative view, i.e. that these concepts are different but not mutually exclusive, and that attending to appearance and persistence can, in this context, lead to an acceptable unifying framework for these two, differing concepts of emergence. (shrink)

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. (...) This case, and further cases that I develop from it, demonstrate that lying without the intention to deceive is possible. (shrink)

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 (...) in H and for constructing some solutions for solvable equations is obtained. A semantic criterion for admissibility in H is constructed. (shrink)

[From an Evolutionary Point of View: The Concept of Evolution in Contemporary Philosophy].

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.

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) (...) mezi explicitními daty a exemplifikačními schématy, 2) mezi jedincem a kulturou, 3) mezi hermeneutikou podezření a hermeneutikou důvěry, 4) mezi částmi a celkem, 5) mezi obsahem a formou, 6) mezi strukturou a funkcí. (shrink)

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 (...) reader to distrust the current interpretation of the fossil record offered by most paleontologists and then, in a second step, they used specific visual representations in order to suggest that the competitor theory was committed to the idea of an even and slow evolution at a constant rate, an image utilized by them as straw man. Finally, it is analyzed how, in their third step, Eldredge and Gould made use of several rhetorical arguments to present their theory as new for paleontology while, at the same time, placing it well inside the frame of the modern synthesis, and how they also managed to present their theory as more promising and capable of making predictions for future researches than the competitor theory. (shrink)

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 (...) knowledge' on the basis of a wide range of philosophical, religious, and scientific sources. What singles out his endeavour is that he neither subordinates doing to knowing or vice versa, nor either of them to making, but incorporates all three in a philosophy of life that ascribes equal autonomous status to all three while giving pride of place to mystical experience, a form of making next to technical and fine arts, as the ultimate means through which mankind can restore the bond between God and the created world. Influential in many directions, Solovyov has also, almost single-handedly, brought Russian philosophical culture at the same level as that of Europe, thus paving the way for the lively exchange of philosophical ideas in the first decades of the 20th century, after his untimely death. (shrink)