Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic account of partial functions using three-valued logic decades ago, but there has not been a satisfactory mechanization. Recent years have seen a thorough investigation of the framework of many-valued truth-functional logics. However, strong Kleene logic, where quantification is restricted and therefore not truthfunctional, does not fit the framework directly. We solve this problem (...) by applying recent methods from sorted logics. This paper presents a resolution calculus that combines the proper treatment of partial functions with the efficiency of sorted calculi. (shrink)

Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic account of partial functions using a three-valued logic decades ago, but there has not been a satisfactory mechanization. Recent years have seen a thorough investigation of the framework of many-valued truth-functional logics. However, strong Kleene logic, where quantification is restricted and therefore not truthfunctional, does not fit the framework directly. We solve this (...) problem by applying recent methods from sorted logics. This paper presents a tableau calculus that combines the proper treatment of partial functions with the efficiency of sorted calculi. (shrink)

(2012). Reasoning without believing: on the mechanisation of presuppositions and partiality. Journal of Applied Non-Classical Logics: Vol. 22, No. 4, pp. 295-317. doi: 10.1080/11663081.2012.705962.

In this contribution we propose an agent architecture for theorem proving which we intend to investigate in depth in the future. The work reported in this paper is in an early state, and by no means finished. We present and discuss our proposal in order to get feedback from the Calculemus community.

In this paper we present an approach to automated learning within mathematical reasoning systems. In particular, the approach enables proof planning systems to automatically learn new proof methods from well-chosen examples of proofs which use a similar reasoning pattern to prove related theorems. Our approach consists of an abstract representation for methods and a machine learning technique which can learn methods using this representation formalism. We present an implementation of the approach within the ΩMEGA proof planning system, which we call (...) LEARNΩMATIC. We also present the results of the experiments that we ran on this implementation in order to evaluate if and how it improves the power of proof planning systems. (shrink)

These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD (...) 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream. (shrink)

En 2008, l’audition à l’Assemblée nationale est imposée à Bernard Tapie, homme d’affaires, à la suite du scandale Crédit lyonnais. Elle traite de la décision de verser à Tapie une somme avoisinant 390 millions d’euros, dont – et c’est le point qui indigne le plus le public et les députés – 45 millions d’euros de préjudice moral prélevés sur le trésor public. Les députés abordent toutes les accusations relatives à l’affaire, mettant l’accent sur le manque de morale du personnage. Tapie (...) doit justifier la décision de l’arbitrage et redorer son image. Pour ce faire, il fait appel à une panoplie de stratégies, dont des arguments éthiques. Que peut-on apprendre de ces interactions au cœur d’un des scandales français les plus retentissants de la décennie – en particulier sur la façon dont chaque acteur cherche à gérer sa propre image? (shrink)

Die Anthroposophie Rudolf Steiners (1861-1925) ist eine der wichtigsten esoterischen Traditionen der Gegenwart. Ihre Bedeutung verdankt sie nicht nur Steiners stark philosophisch geprägter Weltanschauung aus dem Geist des Okkultismus, sondern vor allem den Praxisfeldern: Waldorfschulen, anthroposophischen Krankenhäusern, der biodynamischen Landwirtschaft und den weniger bekannten Dimensionen (Banken, Hochschulen, Stiftungen)... Die wissenschaftliche Forschung ist jedoch bislang schwach. Zwar liegen einige grundlegende Publikationen vor, an Detailforschung fehlt es jedoch überall. Der vorliegende Band enthält exemplarische Forschungen zu Waldorfpädagogik, Landwirtschaft, Steiners Philosophie, Kunst (Hilma af (...) Klint), Entwicklungen nach 1945 sowie Länderstudien (Bulgarien, Rumänien). Der Forschungsstand wird darüber hinaus durch bibliographische Informationen zu wichtigen Praxisfeldern sowie einen einleitenden Überblick über aktuelle Debatten dokumentiert. Damit wird Einstieg in die Anthroposophieforschung sowohl für akademische Forscher/-innen als auch für Interessenten der Praxisfelder erleichtert. Somit ermöglicht dieser Band auch eine Orientierung angesichts des Dschungels der weltanschaulich geprägten Literatur. (shrink)

Using game theory and examples of actual games people play, Nobel laureate Manfred Eigen and Ruthild Winkler show how the elements of chance and rules underlie ...

Printbegrænsninger: Der kan printes 10 sider ad gangen og max. 40 sider pr. session.

We present new axiomatic characterizations of the proportional Shapley value, a weighted TU-value with the worths of the singletons as weights. The presented characterizations are proportional counterparts to the famous characterizations of the Shapley value by Shapley and Young. We introduce two new axioms, called proportionality and player splitting, respectively. Each of them makes a main difference between the proportional Shapley value and the Shapley value. If the stand-alone worths are plausible weights, the proportional Shapley value is a convincing alternative (...) to the Shapley value, for example in cost allocation. Especially, the player splitting property, which states that players’ payoffs do not change if another player splits into two new players who have the same impact to the game as the original player, justifies the use of the proportional Shapley value in many economic situations. (shrink)

People everywhere search for answers by using the resources of their traditions. They wish to do so in a legitimate way, and so they consult official institutions, specialists, and skilled individuals for their opinions; regardless of religious or cultural contexts, the common aim of these experts is to produce security, unity, and trust. Therefore, the norm-finding processes in Islamic and Western contexts share fundamental similarities: the problem of finding a final ground for judgment, the strategies of constructing coherence and of (...) organizing consensus, and the difficulties of obtaining legitimacy. What makes one debate "Islamic" and the other one "Western" is the different semantic materials, the different authorities, the different languages, and the different juridical frameworks. In my comparison of Muslim and Western discourses and practices, I conclude that Muslim and non-Muslim scholars tend to overemphasize the uniqueness of Muslim legal and practical responses to bioethical challenges, because they restrict their purview to legal opinions, ignoring larger dynamics of legitimization. (shrink)

Originally presented as the author's thesis (doctoral)--Freiburg (Breisgau), Universitèat, 1996.

Die vorliegende Arbeit, die als Diplom-Arbeit verfasst und im September 1980 bei Johannes Agnoli eingereicht wurde, war das Resultat einer Auseinandersetzung mit Michel Foucault, der man sich in Berlin Ende der 1970er Jahren nur schwer entziehen konnte. »Jeder Aussage, gleichgültig, ob sie als Affirmation, als Kritik oder als Negation gemeint ist, liegt ein positiver Gehalt zugrunde. Die Reflexion auf diesen, meist unbewußten Gehalt gibt anderen erst die Möglichkeit, aber auch sich selbst, abgegebene Urteile auf ihren Wirklichkeitsgehalt hin zu überprüfen. Letzteres (...) will nichts anderes besagen, als daß ein konsequent durchgeführter Skeptizismus sich über die eigene Positivität ebenso hinwegtäuscht, wie jede Form von Partikularismus (Empirismus, wissenschaftlicher Rationalismus und auch der Positivismus à la Foucault) darüber stolpert – und hiermit benenne ich das versteckte Problem in Foucaults Machtbegriff auf allgemeinster Ebene – daß auch noch so vereinzelte Aussagen immer auf eine, in letzter Instanz positiv beschreibbare Totalität verweisen. Die weitgehende Mißachtung dieses Aspektes einer jeden Reflexion auch im Marxismus ist der Punkt, den ich für die Entstehung der Krisen des Marxismus (mit-)verantwortlich mache.«. (shrink)

Da nur der einzelne Mensch, nicht aber etwas ihn (seinen individuellen Leib im Sinne Jean Amérys) Überschreitendes frei sein kann, darum, so lautet Sartres logisch nicht zu widerlegendes Urteil, kann keinem Objekt eine in diesem selbst angelegte Fähigkeit, Entscheidungen zu fällen, zugesprochen werden. Wenn ein Subjekt einem ihm Äußeren – etwa Gott, der Natur, dem Staat, dem Kapital oder dem Schönen, dem Glück oder sonst etwas –, eine derartige Autonomie zuschreibt, belügt es sich, meint Sartre: um der Angst vor seiner (...) Freiheit Herr zu werden und sich für seine Taten nicht verantwortlich fühlen zu müssen. Wenn man Adornos Ästhetik dieser Subjektbestimmung konfrontiert, läßt sich jedoch zeigen, daß, so sehr Sartre logisch im Recht sein mag, die Kritik im Grunde darauf zielen muß, genau jenes für Sartre Unmögliche dennoch zur Darstellung zu bringen: um die Verkehrungen erkennen zu können, dank derer das Kapital als automatisches Subjekt, als Souverän, agieren kann. (shrink)

Dieser Band ist der erste von drei Bänden kleiner Schriften Manfred Baums, die auch schwer zugängliche oder bisher unveröffentlichte Vorträge, Aufsätze und Artikel zur Geschichte der Philosophie versammeln. Er enthält Arbeiten zur theoretischen Philosophie Kants und zu ihrer Rezeption.

At the centre of discussion lies the reception of Plato’s philosophy, particularly his theory of Ideas, in Kant’s moral philosophy, his ethics and his doctrine of right. Kant saw himself as a follower of Platonism insofar as its anti-empiri­cist principles of human conduct are concerned, although his own version of practical rationalism differs considerably from Plato’s. This is also true of Kant’s conception of freedom and of human rights. The greatest impact on Kant’s moral philosophy is due to the doctrine (...) of the two worlds, the mundus sensibilis and the mundus intelligibilis, which did not originate in Plato himself, but in the Jewish Platonist Philo of Alexandria. Kant reinterpreted this doctrine by taking the intelligible world as a moral world consisting of free rational agents who ought to transform the empirical world of human society and history according to the norms and standards of moral laws. This was meant to be a programme for a moral reform of the human world, both with regard to individual moral­ity and to the cosmopolitical task of the establishment of an international order of legal institutions. Kant’s practical Platonism insists on the creation of a moral world order through human actions that take their lead from pure practical reason. (shrink)

Joseph Schumpeter's work has been all too selectively appropriated by public choice theorists. Schumpeter criticized the high level of rationality the classical model of democracy imputes to citizens, and he provided an alternative theory, inspiring rational choice theory and allowing for diverse forms of irrationality. Following in Schumpeter's footsteps I will discuss four problems: the deficient rationality of voters, politicians as ?political entrepreneurs,? leadership in democracy and the rise of the ?political class,? and the affinity between democracy and capitalism.

Pulvermüller assumes that words are represented as associations of two cell assemblies formed according to Hebb's coincidence rule. This seems to correspond to the linguistic notion that words consist of lexemes connected to lemmas. Standard examples from theoretical linguistics, however, show that lemmas and lexemes have properties that go beyond coincidence-based assemblies. In particular, they are inherently disposed toward combinatorial operations; push-down storage, modelled by decreasing reverberation in cell assemblies, cannot capture this. Hence, even if the language capacity has an (...) associationist characterization at some level, it cannot just be co-occurrence-based assembly formation. (shrink)