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)

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)

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)

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)

This article aims to discuss the aesthetic autonomy as a model for social emancipation. It starts from the contemporary challenges for the defense of aesthetic autonomy, using autonomy for criticizing discourses that seems to sustain a possible conciliation between life and art that not take into account the problems resulting from the connection between culture and capitalistic production.

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

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)

O encontro do herói Odisseu com o ciclope Polifemo na Odisséia de Homero em dado momento saiu do terreno do mito e chegou até o da história. Polifemo tornou-se uma figura do mundo primitivo, em que reina violência, antropofagia, irracionalidade, paixão e música. O problema do valor da vida primitiva na antiguidade clássica conduzia a dois pólos antagônicos de interpretação. De um lado, a perspectiva progressista que via na história a saída de um estado primitivo e selvagem através da técnica. (...) De outro lado, a perspectiva decadentista, segundo a qual os primeiros homens viveram no melhor dos mundos, na idade de ouro. O expediente de síntese dessas concepções opostas resulta num retrato ambíguo do mundo selvagem e primitivo. O presente artigo pretende situar alguns autores dentro dessa problemática. Protágoras, Eurípides e Crítias compartilhariam o quadro da vida ciclópica de Homero. Teócrito, Ovídio e bem mais tarde Góngora, por outro lado, estariam inseridos na tradição da idade de ouro, que vem desde Hesíodo. Por fim, alguns autores preferem destacar as ambigüidades da vida selvagem e primitiva, tal seria o caso de Platão, Montaigne e Vico. (shrink)

As Dag Normann has recently shown, the fully abstract model for PCF of hereditarily-sequential functionals is not ω-complete . This is also applicable to a potentially wider class of models such as the recently constructed by the author fully abstract model for PCF+=PCF+pif . Here we will present an outline of a general approach to this kind of ‘natural’ domains which, although being non-dcpos, allow considering ‘naturally’ continuous functions . There is also an appropriate version of ‘naturally’ algebraic and ‘naturally’ (...) bounded complete ‘natural’ domains which serves as the non-dcpo analogue of the well-known concept of Scott domains, or equivalently, the complete f-spaces of Ershov. It is shown that this special version of ‘natural’ domains, if considered under ‘natural’ Scott topology, exactly corresponds to the class of f-spaces, not necessarily complete. (shrink)

In this paper we prove the following theorem: Any one-dimensional definably connected group G over an o-minimal structure is, as an abstract group, isomorphic to either pPp∞δ or δ.

This is an introductory survey of the emerging theory of two new classes of (discrete, countable) groups, called hyperlinear and sofic groups. They can be characterized as subgroups of metric ultraproducts of families of, respectively, unitary groups U (n) and symmetric groups $S_{n},\ n\in {\Bbb N}$ . Hyperlinear groups come from theory of operator algebras (Connes' Embedding Problem), while sofic groups, introduced by Gromov, are motivated by a problem of symbolic dynamics (Gottschalk's Surjunctivity Conjecture). Open questions are numerous, in particular (...) it is still unknown if every group is hyperlinear and/or sofic. (shrink)

We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in functional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S , all definable sets of reals are (...) Lebesgue measurable, suggesting that Connes views a theory as being “virtual” if it is not definable in a suitable model of ZFC. If so, Connes’ claim that a theory of the hyperreals is “virtual” is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren’t definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in Noncommutative Geometry, raising the question whether the latter may not be vulnerable to Connes’ criticism of virtuality. We analyze the philosophical underpinnings of Connes’ argument based on Gödel’s incompleteness theorem, and detect an apparent circularity in Connes’ logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace −∫ (featured on the front cover of Connes’ magnum opus) and the Hahn–Banach theorem, in Connes’ own framework. We also note an inaccuracy in Machover’s critique of infinitesimal-based pedagogy. (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)

Le merite de cette etude est son refus de reduire la theologie d'Eckhart au developpement systematique d'une seule notion fondamentale. Mais cette theologie n'y est pas non plus concue comme une sorte d'eclectisme ou chacune de ces notions aurait sa place et trouverait successivement son tour. S'il y a chez Eckhart une notion fondamentale, c'est celle de Dieu, ou, plutot, c'est celle de l'ineffabilite de Dieu. Dieu est l'etre, assurement, mais n'est-il pas plutot l'Un? Ou l'Intellect? Comprendre qu'il est chacune (...) de ces perfections, absolument, purement, donc en apparence a l'exclusion des autres, c'est justement en quoi consiste l'ignorance transcendante qui eleve Dieu au-dela de toutes les affirmations. Vladimir Lossky a ainsi voulu mettre en lumiere le refus qu'oppose Eckhart a toute tentative d'inclure la divinite dans une notion qui se tiendrait pour suffisante a la definir. (shrink)

This book contains 86 essays and papers by the Russian sculptor and hermeneutic philosopher Vladimir Zimmerling (1931-2017) addressed the issues in aesthetics, ethics and cultural history. The apparatus includes the introductory article, the commentary, the name and the subject indexes prepared by the book editor, Anton Zimmerling. The appendix contains 70 pictures of Vladimir Zimmerling's sculptures. Vladimir Zimmerling's conception is build on the combination of the empiricism principle with the elements of hermeneutics and metalinguistic criticism. His essays (...) and papers focus on the foundations of aesthetics and ethics. Vladimir Zimmerling was one of the pioneers of the analytic approach to the poetics of Ossip Mandelstam with his paper "Промер" ["The Measurement"], (1974-1975) devoted to 10 difficult Mandelstam's poems including "Грифельная Ода", "Слепая ласточка бросается к ногам", "Я слово позабыл, что я хотел сказать". (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)

This article deals with the relations in the triangle state–society–business in modern Russia. It is shown against Russian historical background, that the absolutist state in this country could never be identified with the society and these relations were shaped under its strong domination. The ethics of rule-following characteristic for market economy in general did not develop in Russia. The breakdown of communist Russia and market reforms proceeding since 1992 did not change this situation significantly. The period of political alliance between (...) big business and government was followed by restoration of state dominance in somewhat modified forms. Both periods were characterized by corruption, which contrary to Putin’s slogans, increases in Russia. In the article I show the evolution of Putin administration’s policy which changed from emphasizing and improving legal institutions to selective use of legal norms depending on personal loyalty. Main forms of state exploitation of Russian business are described. The conclusion is that Russian experience of balancing state and market should be called negative. (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)

The article deals with the issues of comparing the teachings of Tolstoy and Lao-zi according to the criterion of palingenesis, which is the basis for the construction of the entire ideological corpus of the most important treatise of Taoism “Tao de jing”. Lao-zi formulated the lapidary formula of palingenesis in the fortieth zhang of this treatise, recreating a picture of the harmonization of the Middle Kingdom, arguing that return is the movement of the Tao, and weakening is the action of (...) the Tao. The principle of palingenesis is one of the fundamental principles for which Tolstoy uses Christological vocabulary, and Lao-zi uses embryological vocabulary. The choice of the palingenesis criterion for comparative analysis of the teachings is due to the fact that the latter works as an immutable law when setting the task of recreating harmony in social chaos. Based on the assessments of the content of the zhangs of the “Tao de jing” canon, a representative line of palingenesis elements is built: the category of knowledge/truth; the category of ignorance; the category of simplicity; the category of naturalness; the category of “baby”; the category of non-action; the category of nonviolence. The principles of Taoism are not expressed by Tolstoy with a research sequence in logical definitions, but appear as categories and trends, working in the worldview of the Yasnaya Polyana sage. In the works “What is my faith?”, “Sayings of the Chinese sage Lao-Tse”, “Non-doing”, Tolstoy's teaching is presented in its entirety and is therefore convenient for comparison with the Taoist classics. It is noted that Tolstoy's conceptual idea is based on the desire to convert people to the good - unity with all people. This orientation towards the good is nothing else than the return to man of his original nature, on the way to which the principle of palingenesis associated with the boycott of the civilization of violence is realized. The conducted research has shown that in the teachings of Lao-zi and Tolstoy, which record the experience of theoretical exploration of the world, the categories of palingenesis are common to the Russian and Chinese spirit. (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 (e.g. blushing) that show that the speaker is lying. Our study was designed to avoid problems earlier studies raise (these studies focus on a kind of bald-faced lie in which supposedly everyone knows that what the speaker says is false). 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)

Respecting and protecting the confidentiality of data and the privacy of individuals regarding the information that they have given as participants in a research project is a cornerstone of complying with accepted research standards. However, in longitudinal studies, establishing and maintaining privacy is often challenging because of the necessity of repeated contact with participants. A novel internet-based solution is introduced here, which maintains privacy while at the same time ensures linkage of data to individual participants in a repeated measures design. (...) With the use of the anonymous repeated measurements via email (ARME) procedure, two separate one-way communication systems are established through ad hoc email accounts and a secure study website. Strengths and limitations of the approach are discussed. (shrink)

The article discusses the attitude of Georg Lukács and his adherents who formed a circle “Techeniye” toward the phenomenon of Stalinism. Despite the political nature of the topic, the authors are aspired to provide an unbiased research. G. Lukács’ views on the theory and practice of Stalinism evolved over time. In the 1920s Lukács welcomes the idea of creation of socialism in one country and abandons the former revolutionary ideas expressed in his bookHistory and Class Consciousness. This turn is grounded (...) by new interpretation of Hegel as “realistic” thinker whose “realism” was shown in the aspiration to find “reconciliation” with reality and in denial of any utopias. The philosophical evolution leading to “realism” assumes integration of revolutionaries into the hierarchy of existing society. The article “Hölderlin’s Hyperion” represents attempt to justify Stalinism as a necessary and “progressive” phase of revolutionary development of the proletariat. Nevertheless, events of the second half of the 1930s force Lukács to realize the catastrophic nature of political strategy of Stalinism. In his works, Lukács ceases to analyze political topics and concentrates on problems of aesthetics and literary criticism. However, his aesthetic position allows to reconstruct the changed political views and to understand why he had earned the reputation of the “internal opponent” to Stalinism. After 1956, Lukács turns to political criticism of Stalinism, which nevertheless remains unilateral. He sees in Stalinism a kind of the left sectarianism, the theory and practice of the implementation of civil war measures in the era of peaceful co-existence of two systems. (shrink)

The notion of conditional entropy is extended to noncomposite systems. The \-deformed entropic inequalities, which usually are associated with correlations of the subsystem degrees of freedom in bipartite systems, are found for the noncomposite systems. New entropic inequalities for quantum tomograms of qudit states including the single qudit states are obtained. The Araki–Lieb inequality is found for systems without subsystems.

This paper refines the received analysis of deceptive lies. This is done by assessing some cases of lies that are supposedly not intended to deceive and by arguing that they actually involve sophisticated strategies of intentional deception. These lies, that is, merely seem not to be intended to deceive and this is because our received analysis of deceptive lies is insufficiently sophisticated. We need to add these strategies to our analysis of deceptive lying. The argument ends by presenting this refined (...) analysis. (shrink)