This paper rejects an argument defending the view that the boundary between deception and manipulation is such that some manipulations intended to cause false beliefs count as non-deceptive. On the strongest version of this argument, if a specific behaviour involves compromising the victim’s reasoning, then the behaviour is manipulative but not deceptive, and if it involves exposing the victim to misleading evidence that justifies her false belief, then it is deceptive but not manipulative. This argument has been consistently used as (...) a reason to reject the traditional analysis of human deception, according to which intentionally causing someone to acquire a false belief is sufficient for deception. And because the traditional analysis is also consistent with our most basic intuitions about deception, it does matter whether this argument succeeds. (shrink)

We consider games over a finite alphabet with Gurevich-Harrington's winning conditions and restraints as in Yakhnis-Yakhnis . The game tree, the Gurevich-Harrington's kernels of the winning condition and the restraints are defined by finite automata. We give an effective criterion to determine the winning player and an effective presentation of a class of finite automata defined winning strategies.Our approach yields an alternative solution to the games considered by Büchi and Landweber . The BL algorithm is an important tool for solving (...) effectively presented games. The differences between the BL and our algorithms are as follows. Our algorithm is uniformly applicable to winning sets that correspond to boolean combinations of BL winning conditions, while the BL algorithm requires a transformation of such boolean combinations into a single BL condition. Our algorithm directly applies to a larger class of game trees for a given game alphabet than does the BL one. We describe Büchi-Landweber's class of winning conditions in a more transparent way by using finite automata and Gurevich-Harrington's form of winning conditions. Our algorithms that determine the winner of the game and find a winning strategy, are based on a translation of the events in the game in terms of the transition table of the automaton representing the game. This automaton differs from the ones that represent BL winning conditions. Both algorithms need further investigation.The algorithm determining the winner in the game, can be used as a verifier of concurrent programs. This is because programs can be viewed as strategies in Gurevich-Harrington's games and program specifications could be regarded as winning conditions for such games. The algorithm which finds a winning strategy could be used as a basis for automated concurrent program design.The present paper is a sequel to Annals of Pure and Applied Logic 48 277–297. (shrink)

The main result of this paper is the following theorem: each modal logic extendingK4 having the branching property belowm and the effective m-drop point property is decidable with respect to admissibility. A similar result is obtained for intermediate intuitionistic logics with the branching property belowm and the strong effective m-drop point property. Thus, general algorithmic criteria which allow to recognize the admissibility of inference rules for modal and intermediate logics of the above kind are found. These criteria are applicable to (...) most modal logics for which decidability with respect to admissibility is known and to many others, for instance, to the modal logicsK4,K4.1,K4.2,K4.3,S4.1,S4.2,GL.2; to all smallest and greatest counterparts of intermediate Gabbay-De-Jong logicsD n; to all intermediate Gabbay-De-Jong logicsD n; to all finitely axiomatizable modal and intermediate logics of finite depth etc. Semantic criteria for recognizing admissibility for these logics are offered as well. (shrink)

This paper offers a brief analysis of the unification problem in modal transitive logics related to the logic S4 : S4 itself, K4, Grz and Gödel-Löb provability logic GL . As a result, new, but not the first, algorithms for the construction of ‘best’ unifiers in these logics are being proposed. The proposed algorithms are based on our earlier approach to solve in an algorithmic way the admissibility problem of inference rules for S4 and Grz . The first algorithms for (...) the construction of ‘best’ unifiers in the above mentioned logics have been given by S. Ghilardi in [ 16 ]. Both the algorithms in [ 16 ] and ours are not much computationally efficient. They have, however, an obvious significant theoretical value a portion of which seems to be the fact that they stem from two different methodological approaches. (shrink)

The work tends to point out the deficiency of some opinions claiming simplified presentation of the promise as the act that directly rise obligation for the promisor. Promises, either in the moral or legal sphere, are based on communication and so form an order of dependent steps that indicates their procedural nature. These characteristics may differ to a lesser extent, depending on the legal systems, moral norms of the society and its technical level and its needs. In all these cases, (...) however, the procedural characteristics of promises, especially in conditional promises, as well as the promises in contractual relations, persists. In our analysis we wish to show that the consistent conception of promise has to take into account a step of acceptance. The outcome of this approach relativizes a strong distinction between promise and offer. (shrink)

We consider QED processes in the presence of an infinitely thin and infinitely long straight string with a magnetic flux inside it. The bremsstrahlung from an electron passing by the magnetic string and the electron-positron pair production by a single photon are reviewed. Based on the exact electron and positron solutions of the Dirac equation in the external Aharonov-Bohm potential we present matrix elements for these processes. The dependence of the resulting cross sections on energies, directions, and polarizations of the (...) involved particles is discussed for low energies. (shrink)

Cicero's De fato: On Hellenistic Conditionals and Free Will. The Serbo-Croatian translation of Cicero's De fato, with comments and detailed analysis of some arguments and problems of the text. -/- (s/h): Tekst Ciceronovog spisa "de fato", prevod, komentari i u dodacima, detaljnija analiza pojedinih argumenata i problema sadržanih u tekstu.

O objetivo deste texto é o de abordar a singularidade daquilo que o pensador Félix Guattari chamou de “paradigma estético”. Por vezes também chamado de paradigma ético-estético ou político-estético, este paradigma tem a pretensão de funcionar como uma proposição, mais que uma proposta, para suscitar nas mais diversas áreas, campos e práticas a problemática da criação ética e da recriação política, ambas, indissociáveis. Assim, cabe investigar o que se entende por “estética”, o que é a arte e quem é o (...) artista deste paradigma. Quais são as motivações, as paisagens e as condições das questões que levaram Guattari a formular esta ideia de um paradigma capaz, a partir da arte, passando pela ética, instaurar um novo modo de pensar a política e de pensar politicamente. (shrink)

This paper focuses on the documentary photography of Eugène Atget in late 19th and early 20th-century Paris. I will begin by exploring Atget’s position as a pioneering documentary photographer in the field, followed by an engagement with the urban environment of Paris, in which Atget worked almost exclusively. Finally, I will analyse a single photograph in depth while discussing it in relation to the work of Charles Baudelaire and Jacques Rancière. This text is a contribution to a literature of critical (...) engagement with documentary photography, urban history and the politics of class visibility. I will do so by arguing for the political significance of reading Atget’s images in a critical, political manner that engages with Rancière’s concept of the ‘anonymous multiple’. Atget is considered a key documentary photographer, and, as such, he is exemplary of the history of documentary photography and its treatment of its subjects. (shrink)

This article aims to show that it is impossible to put Cicero’s testimonies regarding The Fabius Argument in a consistent inferential order. Either we must suppose that additional premises are tacitly assumed in the text or we must com-pare it with other sources, which leads to inconsistencies in the proof’s reconstruction. Cicero’s reconstruction of the progression of the argument has formal shortcomings, and the paper draws attention to some of these deficiencies. He interpreted sources in a revised and intentionally simplified (...) way, with the aim of undermining the views of his opponents, casting them as inconsistent and similar to views held by Diodorus. Rather than being a consistently interpreted argument faithfully transcribed from the Stoic sources, Cicero’s Fabius Argument is ultimately anti-Stoic. (shrink)

Trata-se de analisar os usos da racionalidade mimética em Jacques Lacan e Theodor Adorno, isto a fim de mostrar como, nos dois casos, encontramos uma estratégia de reflexão sobre a mimesis que a eleva à condição de elemento fundamental para uma teoria do reconhecimento que não se esgote na temática da intersubjetividade. Neste sentido, este estudo insere-se em uma pesquisa mais ampla a respeito dos modos de aproximação entre psicanálise lacaniana e Escola de Frankfurt no que diz respeito ao problema (...) dos destinos da categoria de sujeito e dos processos de reconhecimento. (shrink)

The English Synopsis is after the text of the book. The book presents an original and generalizing substantive vision of the philosophy of science through the prism of a detailed analysis of the polysystem structure of scientific theories. Theories are considered, firstly, as complex specialized forms of developed scientific thinking about the realities studied by natural science, secondly, as constantly improving tools for producing new knowledge in interaction with experimental research, and thirdly, as carriers of ordered and verified knowledge. Emphasis (...) is placed on their nominal and ontic subsystems. The book develops personal and joint research of the authors (theoretical physicist and philosopher), the experience of teaching philosophy of physics at NaUKMA, philosophy of science at the Higher School of Philosophy at the H. Skovoroda Institute of Philosophy of the National Academy of Sciences of Ukraine and theoretical physics at the National Technical University "Ihor Sikorsky Kyiv Polytechnic Institute". The research is based on a significant source base covering works of modern Western researchers in natural science and philosophy of science. For students, teachers, and scientists who are interested in the problems of modern philosophy of science and have a certain amount of scientific knowledge. It will also be useful for high school students who are eager to become scientists. (shrink)

This paper is motivated by the idea of interaction between two directions of research in knowledge representation: the design of action description languages and the development of libraries of reusable, general-purpose knowledge components. Writing an action description that characterizes actions in terms of their effects, as common today, can be compared to writing a program that does not use standard subroutines. We conjecture that a library of standard descriptions for a number of “basic” actions can facilitate writing, understanding and modifying (...) action descriptions. In this paper, we take some steps towards determining how such a library, written in the action language C+, can be used. When using an instance of a library action description, we relate the library constants to the domain-specific constants by providing definitions. Therefore, a theory of explicit definitions in C+ is developed. To illustrate the use of the library, we show how the action PushBox in the Monkey and Bananas domain can be described as a special case of the “library action” Move. (shrink)

(Click here for selected papers published before 1996, and here for papers published after 2000.) V. Lifschitz, Foundations of logic programming ," in Principles of Knowledge Representation , CSLI Publications, 1996, pp. 69-127. E. Giunchiglia, N. Kartha and V. Lifschitz, Representing action: indeterminacy and ramifications ," Artificial Intelligence , Vol. 95, 1997, pp. 409-443. V. Lifschitz, On the logic of causal explanation ," Artificial Intelligence , Vol. 96, 1997, pp. 451-465. V. Lifschitz, Two components of an action language ," Annals (...) of Mathematics and Artificial Intelligence , Vol. 21, 1997, pp. 305-320. V. Lifschitz, Situation calculus and causal logic ," in Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning, 1998, pp. 536-646. (shrink)

The paper explores the significance of the Chinese concept of harmony for establishing a stable and efficient global governance. The author assumes that to meet demands of the emerging global community this concept should be assessed in the context of two other important notions: “commonality” and “similarity” or “sharing”. The merging of these concepts has been a real basis of the Chinese tradition and it can serve as a foundation of a new global order based on the principle of synergy.

The paper analyses A.F. Losev''s argument forthe identity of dialectical and mythicalthinking which forms the key part of his theoryof absolute mythology. Losev claims thatdialectical thinking is limited byphenomenological intuition. He fails torecognise, however, that this intuition itselfis a product of thinking. The same is true ofLosev''s concept of `life'' that is designed tolimit intellectual reflection. The mystery ofthe Absolute is, contrary to Losev''s claim, nota threshold that dialectical thinking cannotcross, but it is, in fact, realised only bysuch thinking. This (...) has a bearing on theChristian Neoplatonist doctrine of energisticsymbolism, which also plays a crucial part inLosev''s philosophy of myth. Under the pressureof the Neoplatonist tradition Losev violatesthe demands of dialectical thinking in favourof myth''s essential mysticism. And yet, becauseof the dialectical relation between rationalismand mysticism, Losev''s attempt was not afailure, but a valuable contribution to thetask of illuminating this relation. (shrink)

This article aims to discuss the gestural character of Chopin’s pianistic writing. We will focus on the set of Etudes pour piano. We expect to show how the notion of musical expression in Romanticism is dependent of a notion of expressive body always in the limit of decomposition. This could show us how musical expression is a privileged space for a better understanding of the dialectical relationship between form and formless.

Trata-se de abordar o problema da teoria hegeliana da linguagem a partir do ponto onde pragmática e ontologia se articulam. Isto exige uma reflexão sobre a maneira com que Hegel organiza as dinâmicas da pragmática da linguagem levando em conta os modos de manifestação de uma negação ontológica no interior do campo de experiências lingüísticas da consciência.

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

"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)