Starting with D. Scott's work on the mathematical foundations of programming language semantics, interest in topology has grown up in theoretical computer science, under the slogan `open sets are semidecidable properties'. But whereas on effectively given Scott domains all such properties are also open, this is no longer true in general. In this paper a characterization of effectively given topological spaces is presented that says which semidecidable sets are open. This result has important consequences. Not only follows the classical Rice-Shapiro (...) Theorem and its generalization to effectively given Scott domains, but also a recursion theoretic characterization of the canonical topology of effectively given metric spaces. Moreover, it implies some well known theorems on the effective continuity of effective operators such as P. Young and the author's general result which in its turn entails the theorems by Myhill-Shepherdson, Kreisel-Lacombe-Shoenfield and Ceĭtin-Moschovakis, and a result by Eršov and Berger which says that the hereditarily effective operations coincide with the hereditarily effective total continuous functionals on the natural numbers. (shrink)

Effective inseparability of pairs of sets is an important notion in logic and computer science. We study the effective inseparability of sets which appear as index sets of subsets of an effectively given topological T0-space and discuss its consequences. It is shown that for two disjoint subsets X and Y of the space one can effectively find a witness that the index set of X cannot be separated from the index set of Y by a recursively enumerable set, if X (...) intersects the topological closure of an effectively enumerable subset of Y. As a consequence of a more general parametric inseparability result a theorem of Rice-Shapiro type is obtained. Moreover, under some additional requirements it follows that nonopen subsets have productive index sets. This implies a generalized Rice theorem: Connected spaces have only trivial completely recursive subsets. As application some decision problems in computable analysis and domain theory are studied. It follows that the complement of the halting problem can be reduced to the problem to decide of a number whether it is a computable irrational. The same is true for the problems to decide whether two numbers are equal, whether one is not greater than the other, and whether a number is equal to a given number. In the case of an effectively given continuous complete partial order the complexity of the last problem depends on whether the given element is the smallest element, in which case the complement of the halting problem is reducible to it, whether it is a base element and maximal, then the decision problem is recursively isomorphic to the halting problem, or whether it is none of these. In this case, both the halting problem and its complement are reducible to the problem. The same is true in nontrivial cases for the problems whether an element belongs to the basis, whether two elements of the partial order are equal, or whether one approximates the other. In general, for any nonempty proper subset of the partial order either the halting problem or its complement can be reduced to the membership problem of the subset. (shrink)

In examples like the total recursive functions or the computable real numbers the canonical indexings are only partial maps. It is even impossible in these cases to find an equivalent total numbering. We consider effectively given topological T 0 -spaces and study the problem in which cases the canonical numberings of such spaces can be totalized, i.e., have an equivalent total indexing. Moreover, we show under very natural assumptions that such spaces can effectively and effectively homeomorphically be embedded into a (...) totally indexed algebraic partial order that is closed under the operation of taking least upper bounds of enumerable directed subsets. (shrink)

If one wants to compute with infinite objects like real numbers or data streams, continuity is a necessary requirement: better and better (finite) approximations of the input are transformed into better and better (finite) approximations of the output. In case the objects are constructively generated, they can be represented by a finite description of the generating procedure. By effectively transforming such descriptions for the generation of the input (respectively, their codes) into (the code of) a description for the generation of (...) the output another type of computable operation is obtained. Such operations are also called effective. The relationship of both classes of operations has always been a question of great interest. In this paper the setting is extended to the case of multifunctions. Various ways of coding (indexing) sets are discussed and their relationship is investigated. Moreover, effective versions of several continuity notions for multifunctions are introduced. For each of these notions an indexing system for sets is exhibited so that the multifunctions that are effective with respect to this indexing system are exactly the multifunction which are effectively continuous with respect to the continuity notion under consideration. Mostly, in addition to being effective the multifunctions need also possess certain witnessing functions. Important special cases are discussed where such witnessing functions always exist. (shrink)

Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists.

A strong reducibility relation between partial numberings is introduced which is such that the reduction function transfers exactly the numbers which are indices under the numbering to be reduced into corresponding indices of the other numbering. The degrees of partial numberings of a given set with respect to this relation form an upper semilattice.In addition, Ershov’s completion construction for total numberings is extended to the partial case: every partially numbered set can be embedded in a set which results from the (...) given set by adding one point and which is enumerated by a total and complete numbering. As is shown, the degrees of complete numberings of the extended set also form an upper semilattice. Moreover, both semilattices are isomorphic.This is not so in the case of the usual, weaker reducibility relation for partial numberings which allows the reduction function to transfer arbitrary numbers into indices. (shrink)

The different behaviour of total and partial numberings with respect to the reducibility preorder is investigated. Partial numberings appear quite naturally in computability studies for topological spaces. The degrees of partial numberings form a distributive lattice which in the case of an infinite numbered set is neither complete nor contains a least element. Friedberg numberings are no longer minimal in this situation. Indeed, there is an infinite descending chain of non-equivalent Friedberg numberings below every given numbering, as well as an (...) uncountable antichain. (shrink)

First I argue that the prohibition of linguistic self-reference as a solution to the antinomy problem contains a pragmatic contradiction and is thus not only too restrictive, but just inconsistent (chap.1). Furthermore, the possibilities of non-restrictive strategies for antinomy avoidance are discussed, whereby the explicit inclusion of the – pragmatically presuposed – consistency requirement proves to be the optimal strategy (chap.2). The central question here is that about the actual reason for antinomic structures. It turns out to be a form (...) of negative self-conditioning (chap.3). This makes it necessary to clarify the status of negative concepts (chap.4). The generalization of these considerations (chap.5) leads to the actual analysis of the antinomic basic structure (chap.6): Decisively for the pragmatics of the concept is that it positively owns a meaning, so that positivity is always constituted by the concept qua concept. Thus a negative concept is characterized by a fundamental ambivalence: From a semantic point of view it has negative character, in its pragmatic status as a concept, however, it has positive character. If the meaning is especially that of a negative self-reference, the ambivalence leads to the antinomic constellation of a negative self-condition – that is the crux of the matter here! The concept thus possesses the property defined by it exactly when it does not possess it and vice versa. A closer analysis shows that the function of reflective structures for the occurrence of antinomies has to be judged much more differentiated than previous opinions suggest. Not only are four forms of reflectivity to be distinguished in this context – ontic, semantic, pragmatic reflectivity, and especially the form of negative self-condition; but it is also apparent that these are intertwined with each other in a way that is difficult to be understood. The astonishing variety of relationships associated with this makes the irritation that has always emanated from the antinomy problem appear more comprehensible. In the developed pragmatic perspective furtheron parallels to the structure of self-consciousness become visible (chap.7). I conclude with considerations about the significance of the antinomic structure for the problem of dialectics, especially for the synthesis formation of mutually exclusive terms (chap.8). ---------- Zunächst wird gezeigt, dass das Verbot sprachlicher Selbstreferenz als Lösung des Antinomienproblems einen pragmatischen Widerspruch enthält und damit nicht nur zu restriktiv, sondern geradezu inkonsistent ist (Kap.1). Ferner werden Möglichkeiten nicht-restriktiver Strategien zur Antinomienvermeidung diskutiert, wobei sich die explizite Einbindung der – pragmatisch präsupponierten – Konsistenzforderung als optimale Strategie erweist (Kap.2). Zentral ist hier die Frage nach dem eigentlichen Grund antinomischer Strukturen. Er erweist sich als eine Form von negativer Selbst-Bedingung (Kap.3). Dies nötigt zu einer Klärung des Status negativer Begriffe (Kap.4). Die Verallgemeinerung dieser Überlegungen (Kap.5) leitet über zur eigentlichen Analyse der antinomischen Grundstruktur (Kap.6): Entscheidend zur Pragmatik des Begriffs gehört, dass ihm eine Bedeutung positiv zukommt, sodass durch den Begriff qua Begriff stets auch Positivität konstituiert ist. Dadurch ist ein negativer Begriff durch eine prinzipielle Ambivalenz gekennzeichnet: In semantischer Hinsicht hat er negativen Charakter, in seinem pragmatischen Status als Begriff hingegen positiven Charakter. Ist die Bedeutung insbesondere die eines negativen Selbstbezugs, führt die Ambivalenz zur antinomischen Konstellation einer negativen Selbst-Bedingung – das ist hier der springende Punkt! Der Begriff besitzt so die durch ihn definierte Eigenschaft genau dann, wenn er sie nicht besitzt und umgekehrt. Die nähere Analyse zeigt, dass hierbei die Funktion reflexiver Strukturen für das Auftreten von Antinomien weitaus differenzierter zu beurteilen ist, als bisherige Auffassungen nahelegen. Nicht nur dass in diesem Kontext vier Formen von Reflexivität – ontische, semantische, pragmatische Reflexivität und insbesondere auch die Form negativer Selbstbedingung – unterschieden werden müssen; es zeigt sich auch, dass diese in schwer durchschaubarer Weise ineinander verschränkt sind. Die damit verbundene erstaunliche Beziehungsvielfalt läßt die Irritation, die seit je vom Antinomienproblem ausging, begreiflicher erscheinen. In der entwickelten pragmatischen Perspektive werden ferner Parallelen zur Struktur von Selbstbewußtsein sichtbar (Kap.7). Ich schließe mit Überlegungen zur Bedeutung der antinomischen Struktur für das Problem der Dialektik, insbesondere zur Synthesebildung einander ausschließender Bestimmungen (Kap.8). (shrink)

[[[ (Here only the chapters 3 – 8, see *** ) First I argue that the prohibition of linguistic self-reference as a solution to the antinomy problem contains a pragmatic contradiction and is thus not only too restrictive, but just inconsistent (chap.1). Furthermore, the possibilities of non-restrictive strategies for antinomy avoidance are discussed, whereby the explicit inclusion of the – pragmatically presuposed – consistency requirement proves to be the optimal strategy (chap.2). ]]] The central question here is that about the (...) actual reason for antinomic structures. It turns out to be a form of negative self-conditioning (chap.3). This makes it necessary to clarify the status of negative concepts (chap.4). The generalization of these considerations (chap.5) leads to the actual analysis of the antinomic basic structure (chap.6): Decisively for the pragmatics of the concept is that it positively owns a meaning, so that positivity is always constituted by the concept qua concept. Thus a negative concept is characterized by a fundamental ambivalence: From a semantic point of view it has negative character, in its pragmatic status as a concept, however, it has positive character. If the meaning is especially that of a negative self-reference, the ambivalence leads to the antinomic constellation of a negative self-condition – that is the crux of the matter here! The concept thus possesses the property defined by it exactly when it does not possess it and vice versa. A closer analysis shows that the function of reflective structures for the occurrence of antinomies has to be judged much more differentiated than previous opinions suggest. Not only are four forms of reflectivity to be distinguished in this context – ontic, semantic, pragmatic reflectivity, and especially the form of negative self-condition; but it is also apparent that these are intertwined with each other in a way that is difficult to be understood. The astonishing variety of relationships associated with this makes the irritation that has always emanated from the antinomy problem appear more comprehensible. In the developed pragmatic perspective furtheron parallels to the structure of self-consciousness become visible (chap.7). I conclude with considerations about the significance of the antinomic structure for the problem of dialectics, especially for the synthesis formation of mutually exclusive terms (chap.8). (shrink)

Thanks to the editorial work of David Pacini, the lectures appear here with annotations linking them to editions of the masterworks of German philosophy as they ...

The present investigation brings into view the philosophy of nature of German Idealism, a philosophical movement which emerged around the beginning of the nineteenth century. German Idealism appro- priated certain motivations of the Kantian philosophy and developed them further in a "speculative" manner (Engelhardt 1972, 1976, 2002). This powerful philosophical movement, associated above all with the names of Fichte, Schelling and Hegel - and moreover having nothing whatsoever to do with the "subjective idealism" of George Berkeley - was replaced by (...) philosophical positions designated roughly as metaphysics of the will, Marxism, life-philosophy, phenomenology and existentialism, as well as positivism, empiricism, philosophy of science, the linguistic turn, and analytic philosophy. These philosophical positions more or less still shape us today. German Idealism amounts to a virtual intellectual-historical antithesis to these movements and thus presents itself in retrospect as a striking alternative. The basis of Idealism - in its various respective forms - is the ideal <Ideelle>, and thus the opposite of that which is real. It continually takes as its task explaining the real in terms of the ideal, and this is especially true of the Idealists' philosophy of nature.' Is this a hopeless undertaking? Does Idealism not lack an empirical basis? Can one secure any solid ground whatsoever in the ether of the ideal? In what follows, I explain how, more than anyone else, Schelling and Hegel sought to handle this problem and to cope with it. By way of anticipation, a clear preference for the Hegelian philosophy of nature will emerge in what follows, a preference which may come as some surprise considering how much controversy has surrounded the significance of that view. The project of renewing a thoroughgoing philosophy of nature can meaningfully begin here. (shrink)

The study ties in with former considerations concerning the problem of phenomenal perception of higher animals. Accordingly the phenomenal character, qualia included, results from the adjustment of perceptions to (typal) behavioral dispositions under the principle of self-preservation: an emergence phenomenon provided by the constitutive system unity of perception and behavior, here characterized as percept-act-system. Thereby the subject of behavior can be explained as an emergent instance of the – system-theoretically highest rank – percept-act-level. In terms of the principle of self-preservation (...) it subjects all sensations to an valuation. Perception thus gaining existential sense for the subject, a psychic sense-dimension is spanned which as such does not own physical but ideal character. Accessing Hegel this is further interpreted: Accordingly the ontological basis of this view is the lawfulness of nature, understood as the ideal essence underlying it. In virtue of this – basically Hegelian-type idealistic – conception the material being of nature always encloses the possibility of the psychic, according to that ideal substratum of nature. (shrink)

Previous efforts to bring the Hegelian dialectic closer to a clarification give reason for skepticism. The question: "What is dialectic", according to Dieter Henrich, "has remained without an answer so far". Hegel's objective-idealistic program is, however, so much linked to the possibility of a dialectical logic that it is an urgent desideratum to gain clarity about the stringency of dialectical argumentation. But this is only possible on the basis of a theory of dialectic. Hegel's own reflection on methods cannot (...) be considered sufficient in this respect. It does not enable us to defend the dialectical procedure against objections or to answer questions of method. In the following, a detailed reconstruction of the dialectic of 'being' and 'nothing' in Hegel's 'Science of Logic' will reveal basic structures of dialectical argumentation. As will be shown, antinomic structures play a key role. Such a 'reconstruction', however, will not be a simple confirmation of Hegelian texts, but will always have the character of a critique. In fact, it will turn out that in comparison with Hegel's development of categories, radical revisions are to be expected. ----- Bisherige Bemühungen, das Verfahren Hegelscher Dialektik einer Klärung näherzubringen, geben Anlass zur Skepsis. Die Frage: „Was ist Dialektik?“, so Dieter Henrich, sei „bisher ohne Antwort geblieben“. Das objektiv-idealistische Programm Hegels ist indes so sehr mit der Möglichkeit einer dialektischen Logik verknüpft, daß über die Stringenz dialektischer Argumentation Klarheit zu gewinnen ein dringliches Desiderat darstellt. Das aber ist nur auf der Grundlage einer Theorie der Dialektik möglich. Hegels eigene Methodenreflexion kann diesbezüglich nicht als zureichend erachtet werden. Sie versetzt uns nicht in die Lage, das dialektische Verfahren gegen Einwände zu verteidigen oder Methodenfragen zu beantworten. Im Folgenden sollen in einer detaillierten Rekonstruktion der Dialektik von ‘Sein’ und ‘Nichts’ in Hegels ‘Wissenschaft der Logik’ Grundstrukturen dialektischer Argumentation sichtbar gemacht werden. Wie gezeigt wird, kommt dabei antinomischen Strukturen eine Schlüsselfunktion zu. Eine solche 'Rekonstruktion' wird allerdings nicht eine umstandslose Bestätigung der Hegelschen Textvorlage sein können, sondern immer auch den Charakter einer Kritik haben. In der Tat wird sich ergeben, daß im Vergleich mit Hegels Kategorienentwicklung einschneidende Revisionen zu gewärtigen sind. (shrink)

My argument is that Chalmers' zombie fiction and his rigid-designator-argument going back on Kripke comes down to a petitio principii. Rather, at the core it appears to be more related to the essential 'privacy' of the phenomenal internal perspective. In return for Chalmers I argue that the 'principle self-preservation' of living organisms necessarily implies subjectivity and the emergence of sense. The comparison with a robot proves instructive. The mode of 'mere physical' being is transcended if, in the form of phenomenal (...) perception, sense appears on the stage of higher animals – a transition explained here as an emergence phenomenon based on the systemic co-operation of perception, valuation and action ('perc-val-act system'). Some fundamental considerations are added: Those consequences implied by the principle self-preservation reveal the natural-biological origin of the organism – primarily seeming a more insignificant circumstance – as a momentous fundamental difference (end-in-itself-character, subjectivity, constitution of sense) compared to technical artefacts (robot). And the emergentist approach indicates the – maybe paradoxical – possibility of a dualism of physical and psychical phenomena in an overall physical system, that is not dualistic at the same time. (shrink)

The center of this investigation is the hard problem of phenomenal perception. To be clear, hereby it is thought of higher animals; accordingly the problem of Human consciousness will explicitly not be treated. The so-called explanatory gap (Levine), i.e. missing a neural explanation of experiences, here is emergence-theoretically countered: It is argued that systems own properties and laws different from those of their components. Applied to the brain the phenomenal character of perception is explained as an emergence effect from the (...) systemic cooperation of perception, valuation and behavior, whereby also an interpretation is opened to Davidson’s anomal monism. As is further shown, feelings are to be understood as a necessary completion of perception when, as in the case of higher animals, the behavior is primarily controlled by phenomenal perception. (shrink)

The zombie, mocking all nomological arguments, gives rise to axiological considerations that also result in a vindication of the nomological paradigm. So the ‘philosophical benefit of zombies’ ultimately proves to be that they lead to an understanding they were originally invented to refute.

The scope of my considerations here is defined along two lines, which seem to me of essential relevance for a theory of dialectic. On the one hand, the form of negation that – as self-referring antinomical negation – gains a quasi-semantic expulsory force [Sprengkraft] and therewith a forwarding [weiterverweisenden] character; on the other hand, the notion that every logical category is defective insofar as the explicit meaning of a category does not express everything that is already implicitly presupposed for its (...) meaning. Both lines are tightly interwoven. This I would like to demonstrate with the example of the dialectic of Being and Non-Being at the beginning of the Hegelian Logic. I will first make visible the basic structures of dialectical argumentation (sections II and III) – whereby certain revisions will turn out to be necessary in comparison with Hegel’s actual argument. Thereby it proves essential that the whole apparatus of logical categories and principles must be always already available and utilized for the dialectical explication: proving dialectic as a self-explication of logic by logical means: dialectic, as it were, as the self-fulfillment of logic (sections IV–VI). (shrink)

There are arguments for determinism. Admittedly, this is opposed by the fact of everyday experience of autonomy. In the following, it is argued for the compatibility of determinism and autonomy. Taking up considerations of Donald MacKay, a fatalistic attitude can be refuted as false. Repeatedly, attempts have been made to defend the possibility of autonomy with reference to quantum physical indeterminacy. But its statistical randomness clearly misses the meaning of autonomy. What is decisive, on the other hand, is the possibility (...) of knowledge, which opens up opportunities for planning, freedom of choice and ultimately 'self-choice'. Results of neurobiological research, especially Benjamin Libet's and more recently John-Dylan Haynes', seem to refute this: Actions are unconsciously initiated before conscious decision. But, as Libet has also shown, consciousness always has the possibility of a veto – and thus also of knowledge-driven action control. Ultimately, the idea of possible self-choice can thus become the determining condition. Only such a form of rational self-determination establishes a spiritual identity and at the same time represents the maximum of autonomy possible for human beings. (shrink)

What corresponds to the present-day ‘transcendental-pragmatic’ concept of ultimate grounding in Hegel is his claim to absoluteness of the logic. Hegel’s fundamental intuition is that of a ‘backward going grounding’ obtaining the initially unproved presuppositions, thereby ‘wrapping itself into a circle’ – the project of the self-grounding of logic, understood as the self-explication of logic by logical means. Yet this is not about one of the multiple ‘logics’ which as formal constructs cannot claim absoluteness. It is rather a fundamental logic (...) that only makes logical textures possible at all and so owns transcendental character. The non-contradiction-principle is an example for this. Es- sential is that it is ‘under-cover-effcient’ as soon as meaningful concepts are used. Self-explication of the fundamental logic then means explicating its implicit under-cover validity, in fact by means of the fundamental logic itself. As is shown this is the affair of dialectic which thereby is to be understood as ultimate grounding of the fundamental logic. This is analyzed in detail using the example of the being/non-being-dialectic. As is demonstrated each explication step generates a new implicit issue and therewith a new explication-discrepancy inducing an antinomical structure that anew forwards the explication procedure. So this is entirely determined by itself. Decisive for the ultimate grounding argumentation is that thereby an objectively verifyable procedure is found, which is apparently possible only in a Hegelian framework. In contrast the immediate evidence of a speech act claimed by the transcendental-pragmatic position has only private character, which is grounding-theoretically irrelevant. (shrink)

Dass Kunst Sinnliches zu vergeistigen und Geistiges zu versinnlichen vermag, macht ihren Wesenskern und zugleich Rätselcharakter aus. Dass dieses Rätsel immer erneut als unaufgelöst erscheint, bedeutet auch, dass eine fortdauernde Irritation von Kunst ausgeht. Das Bestürzende der Kunst ist dies, dass sie den scheinbar unversöhnlichen Gegensatz des Geistigen und Sinnlichen zugleich als versöhnt erscheinen lässt: als Ver-Sinnlichung von Ideellem. Hegels These, dass die Kunst, eben durch diese Bindung an Sinnliches, 'ihrer eigentlichen Bestimmung nach für uns ein Vergangenes' sei, erscheint so (...) gesehen problematisch. Hat die geistesgeschichtliche Entwicklung die Kunst ihrer Irrelevanz überführt im Vergleich mit den nach Hegel höheren Formen des Geistigen, der Religion und der Philosophie? Entscheidend ist die Bewertung des sinnlichen Elements – dies näher zu klären wird hier in der Konfrontation der Hegelschen These mit den Kunstdeutungen Heideggers und Adornos unternommen. (shrink)

Essential for the concept of the law of nature is not only spatio-temporal universality, but also functionality in the sense of the dependency on physical conditions of natural entities. In the following it is explained in detail that just the neglect of this functional property is to be understood as the real reason for the occurrence of the Goodman paradox – with the consequence, that the behavior of things seems to be completely at the mercy of change of unique unrepeatable (...) temporal points. It is exactly this (mis-)understanding that also generated the induction problem. From the intrinsic connection between universality and functionality, however, – that is my claim – the ontological consequence of a nature results, for which lawfulness is coupled to essentially functionally defined time sequences, thereby implying a potentiality dimension of nature, too. (shrink)

The study ties in with former considerations concerning the problem of phenomenal perception of higher animals. Accordingly the phenomenal character results from the adjustment of perceptions to (species-specific) behavioral dispositions under the principle of self-preservation: an emergence phenomenon provided by the constitutive system unity of perception, valuation and behavior, here named as perc-val-act-system. Thereby the subject of the behavior can be emergentistly explained as an emergent instance of the – systems-theoretically highest rank – perc-val-act-level. In terms of the principle of (...) self-preservation all sensations are submitted to a valuation. Perception thus gaining existential sense for the subject, a phenomenal-mental sense-dimension is spanned out which as such does not own physical but ideal character: Accordingly the ontological basis of this view is the lawfulness of nature, understood as the ideal essence underlying it. In virtue of this – basically Hegelian-type idealistic – conception the physical being of nature always includes the possibility of phenomenal-mental being, because of the implicit ideality of nature itself. (shrink)

Die vorliegende Studie unternimmt den Versuch, Gadamers Ideen zur Begriffsbildung und Textbedeutung einer rationalen Rekonstruktion im Licht neuerer Entwicklungen in der linguistischen und philosophischen Semantik zu unterziehen. Anschließend an eine Kritik gewisser auf Heidegger zurückgehender Annahmen in GadamersWahrbeit und Methode werden seine Begriffe der Applikation und der Geschichtlichkeit von Textbedeutungen reformuliert. Dies geschieht unter Bezugnahme auf J. J. Katz' Bedeutungs- und Referenztheorie, H. Putnams Theorie der Stereotypen und J. M. E. Moravcsiks Begriff der ‘aitiational frames’. Es wird im besonderen die (...) These vertreten, daß Gadamers Idee der Interpretation als eines Prozesses, bei dem Autor und Leser zu einer Übereinkunft über die ‘Sache’ kommen (am Leitfaden der theologischen und juristischen Hermeneutik), neu und fruchtbar in Begriffen der Interaktion zwischen semantischer Kompetenz und Alltagswissen im Leseprozeß überdacht werden kann. In Verbindung mit weiteren Teilen linguistischer Theorie würde ein solcher Neuansatz es ermöglichen, die Frage zu beantworten wie Verstehen im Prinzip möglich ist. Eine rationale Rekonstruktion von Gadamers Begriff der Applikation in dieser Richtung würde es ferner erlauben, Antworten auf eine Reihe weiterer schwieriger Fragen wie zum Beispiel der nach dem Grad der Unbestimmtheit von Textbedeutungen und der ‘Korrektheit’ von Interpretationen zu erhalten. (shrink)