The first collective monograph on one of Plato’s most intriguing dialogues with interest for readers of ancient philosophy as well as those who study modern theories of language.

What is the main philosophical gain for a reader of the Cratylus? Led by this question, the author claims that the non-conventialist theory of names developed in the dialogue’s first part is not entirely nullified by the acceptance of conventionalism in the dialogue’s second part. Against some older and some more recent readings, he argues that a core of the non-conventialist theory remains valid in Plato’s view and, together with Plato’s professed conventionalism, represents a complex position on the relation between (...) names and nominata – this is the main outcome of the dialogue (and is also consonant with much of what Plato says in other dialogues). For this reason the paper points out several important distinctions that are made in the first part of the dialogue, notably the introduction of forms of names as a third kind of thing distinct from both names and nominata. It is argued that the forms of names manifest a rational structure behind names, which, in its turn, is the basis for Plato’s semantics and comes forth behind the etymologies and the principle of resemblance as they are successively introduced. (shrink)

Prvi deo ovog rada, objavljen u prethodnom broju casopisa, bio je posvecen razmatranju religijskog porekla dvojnosti 'duha' i 'slova', a zatim i pitanju njenog znacenja u kontekstu filozofije ranog nemackog idealizma. Ovaj, drugi i zakljucni deo rada usredsredjuje se na eticke implikacije tog pitanja, posto je suprotstavljanje 'duha2 Kantovog sistema njegovom 'slovu', uz cesta pozivanja na novozavetno ispunjenje mojsijevskog zakona ljubavlju i verom predstavljalo jednu od osnovnih strategija kriticara Kantove teorije morala. Krajnja konsekvenca ovog pravca kritike Kanta lezi u ukidanju (...) autoriteta transcendentne moralne norme. Ovaj korak, kojim se istovremeno ponistava autoritet teksta kao takvog, a time i stav komentara kao literarnog zanra moze se uociti vec u Hegelovim mladalackim teoloskim spisima, u kojima se zastupa ukidanje transcendencije moralnog zakona njegovim inkorporiranjem u slobodnu subjektivnost koja egzistira u zajednici verujucih hriscana. (shrink)

The purpose of this paper is to shed light on different aspects of the hermeneutical problem in post-Kantian philosophical 'constellation'. In this domain, the problem of the relationship between the text and its commentary is theorized in terms of the antithesis between 'Spirit' and 'Letter', which clearly has religious roots. Therefore, the first part of the paper examines the historical origins of this antithesis, as well as its application in philosophical discussions which developed by the end of the 18th century (...) about the problem of finding the 'true' interpretation to Kant's philosophy. The second part of the text, which is to be published in the next issue of this review, brings the duality of spiritual and literal interpretation into closer connection with the topics of Kant's moral philosophy. Namera ovog rada je da osvetli razlicite aspekte hermeneutickog problema u poslekantovskoj filozofskoj 'konstelaciji'. U ovom podrucju, problem odnosa izmedju teksta i komentara postavlja se u terminima antiteze izmedju 'duha' i 'slova', koja ima prepoznatljive religijske korene. Zato prvi deo rada istrazuje istorijsko poreklo ove antiteze, kao i njenu primenu u filozofskim diskusijama koje su se krajem 18. veka razvile povodom problema pronalazenja 'pravog' tumacenja Kantove filozofije. U drugom delu rada, koji ce biti objavljen u sledecem broju casopisa, dvojnost duhovnog i doslovnog tumacenja dovodi se u uzu vezu sa tematikom Kantove teorije morala. (shrink)

This article analyzes the issues associated with the publication of Martin Heidegger’s Black Notebooks. We attempt to explain the very publication of this document as a kind of experiment the philo...

Name der Zeitschrift: Paragrana Jahrgang: 23 Heft: 2 Seiten: 25-39.

Answer set programming (ASP) is a form of declarative programming oriented towards difficult search problems. As an outgrowth of research on the use of nonmonotonic reasoning in knowledge representation, it is particularly useful in knowledge-intensive applications. ASP programs consist of rules that look like Prolog rules, but the computational mechanisms used in ASP are different: they are based on the ideas that have led to the creation of fast satisfiability solvers for propositional logic.

In this paper we summarise the constraints that low-redshift data—such as supernovae Ia, baryon acoustic oscillations and cosmic chronometers —are able to set on the concordance model and its extensions, as well as on inhomogeneous but isotropic models. We provide a broad overlook into these cosmological scenarios and several aspects of data analysis. In particular, we review a number of systematic issues of SN Ia analysis that include magnitude correction techniques, selection bias and their influence on the inferred cosmological constraints. (...) Furthermore, we examine the isotropic and anisotropic components of the BAO data and their individual relevance for cosmological model-fitting. We extend the discussion presented in earlier works regarding the inferred dynamics of cosmic expansion and its present rate from the low-redshift data. Specifically, we discuss the cosmological constraints on the accelerated expansion and related model-selections. In addition, we extensively talk about the Hubble constant problem, then focus on the low-redshift data constraint on \ that is based on CC. Finally, we present the way in which this result compares to the high-redshift \ estimate and local measurements that are in tension. (shrink)

“Toy worlds” involving actions, such as the blocks world and the Missionaries and Cannibals puzzle, are often used by researchers in the areas of commonsense reasoning and planning to illustrate and test their ideas. We would like to create a database of generalpurpose knowledge about actions that encodes common features of many action domains of this kind, in the same way as abstract algebra and topology represent common features of specific number systems. This paper is a report on the first (...) stage of this project—the design of an action description language in which this database will be written. The new language is an extension of the action language C+. Its main distinctive feature is the possibility of referring to other action descriptions in the definition of a new action domain. (shrink)

This is an expository article about the solution to the frame problem proposed in 1980 by Raymond Reiter. For years, his “frame default” remained untested and suspect. But developments in some seemingly unrelated areas of computer science—logic programming and satisfiability solvers—eventually exonerated the frame default and turned it into a basis for important applications.

This is a review of some of the definitions of the concept of a stable model that have been proposed in the literature. These definitions are equivalent to each other, at least when applied to traditional Prologstyle programs, but there are reasons why each of them is valuable and interesting. A new characterization of stable models can suggest an alternative picture of the intuitive meaning of logic programs; or it can lead to new algorithms for generating stable models; or it (...) can work better than others when we turn to generalizations of the traditional syntax that are important from the perspective of answer set programming; or it can be more convenient for use in proofs; or it can be interesting simply because it demonstrates a relationship between seemingly unrelated ideas. (shrink)

This paper examines Gadamer's and Davidson's dialogical models of interpretation. It shows them to be comparable, but importantly dissimilar with respect to the kind of agreement they require for communication to be possible. It is argued that this difference entails different concepts of alterity: they model not only how we talk, but implicitly who we can intelligibly talk to. Another important contribution of this paper is to uncover a distinction in Gadamer between two kinds of agreement missed so far by (...) all commentators. The final section of this paper defends a second thesis, namely that the degree of agreement required by the models is proportional to the conceptual difference it can make intelligible. Hence, the extent of graspable cultural difference is not only an empirical matter, but is entailed by our choice of model. (shrink)

in Handbook of Knowledge representation, Elsevier, 2008.

This book assesses how Vatican II opened up the Catholic Church to encounter, dialogue, and engagement with other world religions. Opening with a contribution from the President of the Pontifical Council for Interreligious Dialogue, Cardinal Jean-Louis Tauran, it next explores the impact, relevance, and promise of the Declaration Nostra Aetate before turning to consider how Vatican II in general has influenced interfaith dialogue and the intellectual and comparative study of world religions in the postconciliar decades, as well as the contribution (...) of particular past and present thinkers to the formation of current interreligious and comparative theological methods. Additionally, chapters consider interreligious dialogue vis-à-vis theological anthropology in conciliar documents; openness to the spiritual practices of other faith traditions as a way of encouraging positive interreligious encounter; the role of lay and new ecclesial movements in interreligious dialogue; and the development of Monastic Interreligious Dialogue. Finally, it includes a range of perspectives on the fruits and future of Vatican’s II’s opening to particular faiths such as Judaism, Islam, Hinduism, and Buddhism. (shrink)

In a recent paper, Ferraris, Lee and Lifschitz conjectured that the concept of a stable model of a first-order formula can be used to treat some answer set programming expressions as abbreviations. We follow up on that suggestion and introduce an answer set programming language that defines the mean- ing of counting and choice by reducing these constructs to first-order formulas. For the new language, the concept of a safe program is defined, and its semantic role is investigated. We compare (...) the new language with the concept of a disjunc- tive program with aggregates introduced by Faber, Leone and Pfeifer, and discuss the possibility of implementing a frag- ment of the language by translating it into the input language of the answer set solver DLV. The language is also compared with cardinality constraint programs defined by Syrjänen. (shrink)

affects the collection of answer sets. In particular, it is useful to be able to describe the effects of adding definitions to a program with nested expressions, in view of the relation of this class of programs to the input language of the answer set programming system sMonELs. In this..

Safe first-order formulas generalize the concept of a safe rule, which plays an important role in the design of answer set solvers. We show that any safe sentence is equivalent, in a certain sense, to the result of its grounding—to the variable-free sentence obtained from it by replacing all quantifiers with multiple conjunctions and disjunctions. It follows that a safe sentence and the result of its grounding have the same stable models, and that stable models of a safe sentence can (...) be characterized by a formula of a simple syntactic form. (shrink)

The concept of a temporal phylogenetic network is a mathematical model of evolution of a family of natural languages. It takes into account the fact that languages can trade their characteristics with each other when linguistic communities are in contact, and also that a contact is only possible when the languages are spoken at the same time. We show how computational methods of answer set programming and constraint logic programming can be used to generate plausible conjectures about contacts between prehistoric (...) linguistic communities, and illustrate our approach by applying it to the evolutionary history of Indo-European languages. (shrink)

Action description language C+ is more expressive than ADL in many ways; for instance, it addresses the ramification problem. On the other hand, ADL is based on first-order logic, while C+ is only propositional; expressions with variables, which are frequently used when action domains are described in C+, are merely..

“Toy worlds” involving actions, such as the Blocks World and the Monkey and Bananas domain, are often used by researchers in the areas of commonsense reasoning and planning to illustrate and test their ideas. Many of the axioms found in descriptions of these toy worlds are expressions of generalpurpose knowledge, though they are often cast in a form only useful for solving one specific problem and are not faithful representations of general facts that can be used in other domains. Instead (...) of using such domain-specific axioms for each problem, we are building a general-purpose library of action descriptions which can be referred to in descriptions of many action domains. The library is being written in the modular action description language MAD, an extension of the action language ·. In this paper we present an initial version of some of our library modules, along with a new formalization of the Monkey and Bananas domain that uses the library. Most of the axioms in this formalization come from the library, with only a few domain-specific axioms needed. (shrink)

In “Elementa Juris Naturalis” (1671) G.W. Leibniz formulated the genius intuition about the fundamental unity of juridical and Aristotelian modalities. Interpreting and explicating this intuition by virtue of the deontic logic G.W. Wright arrived to the conclusion that the unity of modalities in question is not an equivalence relation but an analogy one. However a complement for G.W. Wright’s explication of the intuition of G.W. Leibniz was submitted. This complement was a two-valued algebra of formal-natural-law philosophy of juridical and Aristotelian (...) modalities as moral-legal evaluation-functions determined by one variable. In thepresent paper I submit a binary generalization of the mentioned unary complement. By virtue of this generalization some significant shortcomings of the complement in question are eliminated. The generalization deals with the modalities as moral-legal evaluation-functions determined by two variables. (shrink)

Le livre de R.S. est la dernière contribution sur le sujet, qui a fait couler beaucoup d’encre dans les dernières décennies. Le déterminisme stoïcien et particulièrement sa compatibilité avec l’idée générale de responsabilité, a trouvé une interprète importante en la personne de S. Bobzien (voir ses publications 1997-1998) dont l’analyse et la défense du cas stoïcien ont été approuvées et citées depuis. L’interprétation de R.S. est alors d’autant plus intéressante qu’elle se pose comme une le...

This book constitutes the refereed proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, held in Fort Lauderdale, Florida, USA in January 2004. The 24 revised full papers presented together with 8 system descriptions were carefully reviewed and selected for presentation. Among the topics addressed are declarative logic programming, nonmonotonic reasoning, knowledge representation, combinatorial search, answer set programming, constraint programming, deduction in ontologies, and planning.