Results for 'Dieter Spreen'

1000+ found
Order:
  1. On effective topological spaces.Dieter Spreen - 1998 - Journal of Symbolic Logic 63 (1):185-221.
    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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  20
    Effective inseparability in a topological setting.Dieter Spreen - 1996 - Annals of Pure and Applied Logic 80 (3):257-275.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3. Can partial indexings be totalized?Dieter Spreen - 2001 - Journal of Symbolic Logic 66 (3):1157-1185.
    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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  4.  8
    An isomorphism theorem for partial numberings.Dieter Spreen - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 341-382.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  10
    Contents.Dieter Spreen, Hannes Diener & Vasco Brattka - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  43
    Corrigendum: On effective topological spaces.Dieter Spreen - 2000 - Journal of Symbolic Logic 65 (4):1917-1918.
  7.  56
    Effectivity and effective continuity of multifunctions.Dieter Spreen - 2010 - Journal of Symbolic Logic 75 (2):602-640.
    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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  10
    Index.Dieter Spreen, Hannes Diener & Vasco Brattka - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 411-414.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  16
    Logic, Computation, Hierarchies.Dieter Spreen, Hannes Diener & Vasco Brattka (eds.) - 2014 - De Gruyter.
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  7
    Preface.Dieter Spreen, Hannes Diener & Vasco Brattka - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  14
    Partial numberings and precompleteness.Dieter Spreen - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 325-340.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  53
    Strong reducibility of partial numberings.Dieter Spreen - 2005 - Archive for Mathematical Logic 44 (2):209-217.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  13
    The life and work of Victor L. Selivanov.Dieter Spreen - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 1-8.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  30
    A note on partial numberings.Serikzhan Badaev & Dieter Spreen - 2005 - Mathematical Logic Quarterly 51 (2):129-136.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  15
    Foreword.Ulrich Berger, Vasco Brattka, Andrei S. Morozov & Dieter Spreen - 2012 - Annals of Pure and Applied Logic 163 (8):973-974.
  16.  52
    Das gefühlte Faktum der Vernunft. Skizze einer Interpretation und Verteidigung.Dieter Schönecker - 2013 - Deutsche Zeitschrift für Philosophie 61 (1):91-107.
    Kant is by no means the pure rationalist that Husserl and others represented him as being. To the contrary I claim that Kant is an ethical intuitionist when it comes to our recognition of the validity of the moral law. Interpreting Kant’s famous thesis about the “fact of reason”, I will first argue for three interpretative theses: 1. The factum theory explains our insight into the binding character of the moral law; it is a theory of justification. 2. In our (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  17.  9
    Heidegger-Handbuch: Leben, Werk, Wirkung.Dieter Thomä, Katrin Meyer & Hans Bernhard Schmid (eds.) - 2003 - Stuttgart: J.B. Metzler.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  18.  72
    Intuition in mathematics : on the function of eidetic variation in mathematical proofs.Dieter Lohmar - 2010 - In Mirja Hartimo (ed.), Phenomenology and mathematics. London: Springer. pp. 73--90.
  19.  70
    Language and Non-linguistic Thinking.Dieter Lohmar - 2012 - In Dan Zahavi (ed.), The Oxford handbook of contemporary phenomenology. Oxford: Oxford University Press.
    This chapter establishes the concept of a “symbolic system of representation“ to make clear how it is possible that humans use not only the language-based system of representation for cognitive contents but also a many layered non-linguistic system, a system which we probably share with other species. A symbolic system of representation denotes a general concept of a performance of which our language is only one single case, but which nevertheless is most easily explained through the case of language. A (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20.  5
    Ereignis und Nirwana: Heidegger, Buddhismus, Mythos, Mystik: zur Archäotypik des Denkens.Dieter Sinn - 1991 - Bonn: Bouvier.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  16
    Art Therapy for Psychosocial Problems in Children and Adolescents: A Systematic Narrative Review on Art Therapeutic Means and Forms of Expression, Therapist Behavior, and Supposed Mechanisms of Change.Liesbeth Bosgraaf, Marinus Spreen, Kim Pattiselanno & Susan van Hooren - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22. The unity of reason: essays on Kant's philosophy.Dieter Henrich - 1994 - Cambridge: Harvard University Press. Edited by Richard L. Velkley.
    In this collection comprising four of his most influential essays, Henrich proves himself unique in the conjunction of philosophical acumen, insight, and originality that he brings to Kant interpretation.
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  23.  79
    A Definition of Satire.Dieter Declercq - 2018 - Journal of Aesthetics and Art Criticism 76 (3):319-330.
    There is a consensus that satire cannot be defined, but is best characterized by a cluster account. However, I argue that a cluster account does not acknowledge the artistically and politically significant distinction between real satire and some forms of frivolous topical comedy which are casually labeled ‘satire’ in international media contexts. To uphold this distinction, I introduce a weak proposal that satire is a genre which necessarily sets out to critique and entertain (with the qualification that these purposes necessarily (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  24. Zur Seinsweise des Psychischen.Dieter Wandschneider - 2016 - Zeitschrift für Philosophische Forschung 70 (1):28-46.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  9
    Unsolvable Classes of Quantificational Formulas.Dieter Rödding - 1982 - Journal of Symbolic Logic 47 (1):221-222.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  26.  5
    Klänge des Friedens: ein Hörbericht.Dieter Senghaas - 2001 - Frankfurt: Suhrkamp.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  5
    Personen und Identitäten.Dieter Teichert - 2000 - Berlin: de Gruyter.
    In der 1970 gegründeten Reihe erscheinen Arbeiten, die philosophiehistorische Studien mit einem systematischen Ansatz oder systematische Studien mit philosophiehistorischen Rekonstruktionen verbinden. Neben deutschsprachigen werden auch englischsprachige Monographien veröffentlicht. Gründungsherausgeber sind: Erhard Scheibe (Herausgeber bis 1991), Günther Patzig (bis 1999) und Wolfgang Wieland (bis 2003). Von 1990 bis 2007 wurde die Reihe von Jürgen Mittelstraß mitherausgegeben.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. Die Antinomien der Logik – Der Kern des Problems und seine Pragmatik.Dieter Wandschneider - 1993 - In PRAGMATIK, Vol. IV. Hamburg: pp. 320–352.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  29. Explaining the Paradoxes of Logic – The Nub of the Matter and its Pragmatics.Dieter Wandschneider - 1993 - In PRAGMATIK, Vol. IV. Hamburg:
    [[[ (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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Die philosophische Lehre von Karl Marx und ihre aktuelle Bedeutung.Dieter Bergner, Eichhorn, Wolfgang, [From Old Catalog], Heyden & Günter (eds.) - 1968 - Berlin,: Verlag der Wissenschaften.
  31.  5
    Bioethik als Tabu?: Toleranz und ihre Grenzen.Dieter Birnbacher & Günther Patzig (eds.) - 2000 - Münster: LIT.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  10
    Kunstmaschinen Zur Mechanisierung von Kreativität.Dieter Mersch - 2005 - In Gerhard Gamm (ed.), Unbestimmtheitssignaturen der Technik. Transcript Verlag. pp. 149-168.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  5
    Die Natur der Moral: evolutionäre Ethik und Erziehung.Dieter Neumann, Arno Schöppe, Alfred Treml & Wolfgang Brezinka (eds.) - 1999 - Stuttgart: S. Hirzel Verlag.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  14
    Denken und Selbstsein: Vorlesungen über Subjektivität.Dieter Henrich - 2007 - Frankfurt am Main: Suhrkamp.
  35.  22
    What Does Protention "Protend"?Dieter Lohmar - 2002 - Philosophy Today 46 (Supplement):154-167.
  36. Dialectic as the 'Self-Fulfillment' of Logic.Dieter Wandschneider - 2010 - In Nektarios Limnatis (ed.), The Dimensions of Hegel's Dialectic. London, New York: Continuum. pp. 31–54.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  11
    Einheit des Bewusstseins als Grundproblem der Philosophie Hermann Cohens: vorbereitende Untersuchung für eine historisch-verifizierende Konfrontation der Fundamentalontologie Martin Heideggers mit Hermann Cohens "System der Philosophie".Dieter Adelmann - 2012 - Potsdam: Universitätsverlag Potsdam. Edited by Görge K. Hasselhoff & Beate Ulrike La Sala.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  38. On the Evolving Biology of Language.Dieter G. Hillert - 2015 - Frontiers in Psychology 6.
  39.  25
    Irony, Disruption and Moral Imperfection.Dieter Declercq - 2020 - Ethical Theory and Moral Practice 23 (3):545-559.
    Irony has a suspicious moral reputation, especially in popular media and internet culture. Jonathan Lear (2011) introduces a proposal which challenges this suspicion and identifies irony as a means to achieve human excellence. For Lear, irony is a disruptive uncanniness which arises from a gap between aspiration and actualisation in our practical identity. According to Lear, such a disruptive experience of ironic uncanniness reorients us toward excellence, because it passionately propels us to really live up to that practical identity. However, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40. From the Separateness of Space to the Ideality of Sensation. Thoughts on the Possibilities of Actualizing Hegel's Philosophy of Nature.Dieter Wandschneider - 2000 - Bulletin of the Hegel Society of Great Britain 41 (1-2):86-103.
    The Cartesian concept of nature, which has determined modern thinking until the present time, has become obsolete. It shall be shown that Hegel's objective-idealistic conception of nature discloses, in comparison to that of Descartes, new perspectives for the comprehension of nature and that this, in turn, results in possibilities of actualizing Hegel's philosophy of nature. If the argumentation concerning philosophy of nature is intended to catch up with the concrete Being-of-nature and to meet it in its concretion, then this is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41. The Problem of Determinism - Freedom as Self-Determination.Dieter Wandschneider - 2010 - Psychotherapie Forum 18:100-107.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. The Problem of ‘Ultimate Grounding’ in the Perspective of Hegel’s Logic.Dieter Wandschneider - 2012 - In Thamar Rossi Leidi & Giacomo Rinaldi (eds.), Il pensiero di Hegel nell'Età della globalizzazione. Aracne Editrice S.r.l.. pp. 75–100.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  43. Das Geistige und das Sinnliche in der Kunst – Hegel, Heidegger, Adorno.Dieter Wandschneider - 2005 - In Das Geistige und das Sinnliche in der Kunst. Ästhetische Reflexion in der Perspektive des Deutschen Idealismus. Königshausen & Neumann. pp. 123–137.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. What Accounts for the Paradox in Goodman's Paradox. The Neglect of the Functional Character of Natural Laws as the Reason for the Paradox.Dieter Wandschneider - 2000 - In Peres, Constanze/ Greimann, Dirk (ed. 2000) Wahrheit – Sein – Struktur. Auseinandersetzungen mit Metaphysik. Hildesheim, Zürich, New York: Olms 2000, 231–245. Hildesheim, Zürich, New York: pp. 231–245.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  9
    Instinkt, Psyche, Geltung.Dieter Claessens - 1968 - Köln, Opladen,: Westdeutscher Verlag.
    Den an den gewaltigen Umwälzungen unserer Zeit Interessierten bewegen heute in erster Linie die Probleme des sozialen Wandels - oder besser des dringend not wendigen Umbaus unserer Welt. Erst dahinter tritt seit einiger Zeit die Forderung nach dem Umbau des Menschen auf 1. Sie ist von der öffentlichkeit noch relativ wenig beachtet und offenbar als unangenehm fast tabuiert. Von den die Frage initiierenden Biologen ist diese Forderung aber durchaus ernst gemeint. Ihre Ten denz ist radikal. Außerhalb dieser Tendenz laufen aber (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  4
    Instinkt, Psyche, Geltung.Dieter Claessens - 1968 - Köln, Opladen,: Westdeutscher Verlag.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. Socio-Anrtropholohy: The Dilemma of Man Organizing Large Populations.Dieter Claessens - 1990 - Dialectics and Humanism 17 (3):43-54.
     
    Export citation  
     
    Bookmark  
  48. On the Mode of Phenomenal-Mental Being.Dieter Wandschneider - 2016 - Zeitschrift für Philosophische Forschung 70:28-46.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. Limits to Substitutability in Nature Conservation.Dieter Birnbacher - 2004 - In Markku Oksanen & Juhani Pietarinen (eds.), Philosophy and Biodiversity. Cambridge University Press. pp. 180.
     
    Export citation  
     
    Bookmark   3 citations  
  50. The Philosophy of Nature of Kant, Schelling and Hegel.Dieter Wandschneider - 2010 - In Dean Moyar (ed.), The Routledge Companion to Nineteenth Century Philosophy: London, New York. London, New York: Routledge. pp. 64—‘l03.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 1000