In Reverse Mathematics, the axiom system DNR, asserting the existence of diagonally non-recursive functions, is strictly weaker than WWKL0.

Ambos-Spies, K. and R.A. Shore, Undecidability and 1-types in the recursively enumerable degrees, Annals of Pure and Applied Logic 63 3–37. We show that the theory of the partial ordering of recursively enumerable Turing degrees is undecidable and has uncountably many 1-types. In contrast to the original proof of the former which used a very complicated O''' argument our proof proceeds by a much simpler infinite injury argument. Moreover, it combines with the permitting technique to get similar results (...) for any ideal of the r.e. degrees. (shrink)

We show that the partial order of Σ0 3-sets under inclusion is elementarily definable with parameters in the semilattice of r.e. wtt-degrees. Using a result of E. Herrmann, we can deduce that this semilattice has an undecidable theory, thereby solving an open problem of P. Odifreddi.

A recursively enumerable splitting of an r.e. setAis a pair of r.e. setsBandCsuch thatA=B∪CandB∩C= ⊘. Since for such a splitting degA= degB∪ degC, r.e. splittings proved to be a quite useful notion for investigations into the structure of the r.e. degrees. Important splitting theorems, like Sacks splitting [S1], Robinson splitting [R1] and Lachlan splitting [L3], use r.e. splittings.Since each r.e. splitting of a set induces a splitting of its degree, it is natural to study the relation between the degrees of (...) r.e. splittings and the degree splittings of a set. We say a setAhas thestrong universal splitting property if each splitting of its degree is represented by an r.e. splitting of itself, i.e., if for degA=b∪cthere is an r.e. splittingB, CofAsuch that degB=band degC=c. The goal of this paper is the study of this splitting property.In the literature some weaker splitting properties have been studied as well as splitting properties which imply failure of the SUSP. (shrink)

We prove that every Turing degree a bounding some non-GL₂ degree is recursively enumerable in and above (r.e.a.) some 1-generic degree.

It is shown that, if a, b are recursively enumerable degrees such that 0

Logic and Philosophy of Logic

Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic

Model Theory in Logic and Philosophy of Logic

Direct download (4 more)  

 

Export citation  

 

Bookmark   6 citations  

Downey and Lempp 1215–1240) have shown that the contiguous computably enumerable degrees, i.e. the c.e. Turing degrees containing only one c.e. weak truth-table degree, can be characterized by a local distributivity property. Here we extend their result by showing that a c.e. degree a is noncontiguous if and only if there is an embedding of the nonmodular 5-element lattice N5 into the c.e. degrees which maps the top to the degree a. In particular, this shows that local nondistributivity coincides with (...) local nonmodularity in the computably enumerable degrees. (shrink)

We give a simple structural property which characterizes the r.e. sets whose (Turing) degrees are cappable. Since cappable degrees are incomplete, this may be viewed as a solution of Post's program, which asks for a simple structural property of nonrecursive r.e. sets which ensures incompleteness.

We give a decision procedure for the ∀∃-theory of the weak truth-table (wtt) degrees of the recursively enumerable sets. The key to this decision procedure is a characterization of the finite lattices which can be embedded into the r.e. wtt-degrees by a map which preserves the least and greatest elements: a finite lattice has such an embedding if and only if it is distributive and the ideal generated by its cappable elements and the filter generated by its cuppable elements are (...) disjoint. We formulate general criteria that allow one to conclude that a distributive upper semi-lattice has a decidable two-quantifier theory. These criteria are applied not only to the weak truth-table degrees of the recursively enumerable sets but also to various substructures of the polynomial many-one (pm) degrees of the recursive sets. These applications to the pm degrees require no new complexity-theoretic results. The fact that the pm-degrees of the recursive sets have a decidable two-quantifier theory answers a question raised by Shore and Slaman in [21]. (shrink)

We show that, in the partial ordering of the computably enumerable computable Lipschitz degrees, there is a degree a>0a>0 such that the class of the degrees which do not cup to a is not bounded by any degree less than a. Since Ambos-Spies [1] has shown that, in the partial ordering of the c.e. identity-bounded Turing degrees, for any degree a>0a>0 the degrees which do not cup to a are bounded by the 1-shift a+1a+1 of a where a+1 (...) it follows that the elementary theories of the partial orderings and differ. (shrink)

We explore the complexity of Sacks’ Splitting Theorem in terms of the mind change functions associated with the members of the splits. We prove that, for any c.e. set A, there are low computably enumerable sets $A_0\sqcup A_1=A$ splitting A with $A_0$ and $A_1$ both totally $\omega ^2$ -c.a. in terms of the Downey–Greenberg hierarchy, and this result cannot be improved to totally $\omega $ -c.a. as shown in [9]. We also show that if cone avoidance is added then there (...) is no level below $\varepsilon _0$ which can be used to characterize the complexity of $A_1$ and $A_2$. (shrink)

We solve a longstanding question of Soare by showing that if ${\mathbf d}$ is a non-low $_2$ computably enumerable degree then ${\mathbf d}$ contains a c.e. set with no r-maximal c.e. superset.

We show that the theory of the partial ordering of the computably enumerable degrees in any given nontrivial interval is undecidable and has uncountably many 1-types.

La puerta de entrada a la fenomenología es, según su fundador, Edmund Husserl, la "epojé", la suspensión de todas las proposiciones con las que se afirma ser a un evento en el mundo. Esta actitud es la que se presupone para abstenerse de prejuicios como lo procuran la filosofía y la ciencia desde sus inicios. Cuando se introdujo la actitud de la epojé en la época del helenismo por los escépticos y estoicos, ésta se basaba a su vez en un (...) prejuicio no controlado: en asumir que entre el ser de los sucesos y su aparecer al hombre hay un abismo que debe ser superado gracias a decisiones de la voluntad. De este voluntarismo se desarrolló más tarde el subjetivismo moderno, cuyas consecuencias ecológicas y políticas preocupan hoy en día a toda la humanidad. El pensamiento griego antes del helenismo se basaba en la equiparación de ser y aparecer sin que interviniera para nada la voluntad. Pero también esto era un prejuicio sin controlar. La nueva forma de epojé de la "fenomenología" ("doctrina del aparecer'') es la suspensión de ambos prejuicios acerca de la relación de ser y aparecer. Aparecer significa fenomenológicamente: manifestarse en el contexto de sentido de horizontes, de "mundos". Todos los mundos sean los horizontes de hombres singulares o de culturas globales pertenecen a un singular específico, el mundo en cuanto tal, lo que llamamos "el mundo-uno". El mundo-uno como horizonte universal es la dimensión del aparecer. Pero como se hizo claro en la continuación de la fenomenología por Martín Heidegger, la esencia del mundo no consiste en su carácter de horizonte. La fenomenología como apertura del camino de una filosofía después del subjetivismo tiene la tarea histórica de clarificar en qué sentido el mundo-uno es "más" que horizonte y qué significa esto para los muchos mundos. Sólo con esto se aclara la relación de ser y aparecer y el significado futuro de la voluntad para la posición del hombre en el mundo. (shrink)

Reviewed Works:Andrea Sorbi, Complexity, Logic, and Recursion Theory.Klaus Ambos-Spies, Elvira Mayordomo, Resource-Bounded Measure and Randomness.Marat Arslanov, Degree Structures in Local Degree Theory.Jose L. Balcazar, Ricard Gavalda, Montserrat Hermo, Compressibility of Infinite Binary Sequences.S. Barry Cooper, Beyond Godel's Theorem: The Failure to Capture Information Content.Robert A. Di Paola, Franco Montagna, Progressions of Theories of Bounded Arithmetic.Rodney G. Downey, On Presentations of Algebraic Structures.Sophie Fischer, Lane Hemaspaandra, Leen Torenvliet, Witness-Isomorphic Reductions and Local Search.William Gasarch, Carl H. Smith, A Survey (...) of Inductive Inference with an Emphasis on Queries.Andre Nies, A Uniformity of Degree Structures.Piergiorgio Odifreddi, Short Course on Logic, Algebra, and Topology.Andrea Sorbi, The Enumeration Degrees of the $\sigma^0_2$ Sets.Peter van Emde Boas, The Convenience of Tilings. (shrink)

Kaum eine theoretische Strömung hat das abendländische Denken im letzten Drittel des 20. Jahrhunderts so sehr beeinflusst wie der französische Poststrukturalismus. Das französische Denken über Sprache, Kultur und Geschichte, wie es seit den sechziger Jahren von Denkern wie Michel Foucault, Jacques Derrida, Roland Barthes und anderen entwickelt wurde, hat in Deutschland, den USA und darüber hinaus breite Wirkung entfaltet. Die »French Theory« hat Eingang gefunden in Universität und Feuilleton, Literatur und Theorie. Der Blick auf die steile internationale Karriere des Poststrukturalismus, (...) seinen Niederschlag in den Diskursen zwischen Akademie und Zeitung, Buchmarkt und öffentlicher Debatte, wirft nicht nur Schlaglichter auf die Denkgeschichte des 20. Jahrhunderts, sondern versteht sich als Vorgeschichte des Denkens unserer Gegenwart. (shrink)

Der Fokus auf die Sprache bestimmte die Philosophie des 20. Jahrhunderts, die sowohl die Dekonstruktion der Metaphysik als auch den Tod des Subjekts verkündete. Der Psychoanalytiker Jacques Lacan führte das Subjekt des Begehrens wieder in den philosophischen Diskurs ein und entwickelte aus der Struktur der Sprache eine neue, symbolische Logik des Unbewussten. Die Logik des Signifikanten, deren Geschichte diese Arbeit nachzeichnet, um sie zu transzendieren, stellt die Frage nach der Dialektik von Signifikant und Begriff, Sprache und Logik, Bewusstem und Unbewusstem, (...) Ich und Subjekt, Gesetz und Begehren, Denken und Sein. Durch die Funktionen der Metonymie, der Metapher und des Stepppunktes sowie über das Schema der vier Diskurse werden die Tropen der traditionellen philosophischen Logik - Begriff, Urteil und Schluss - neu interpretiert. Das Peirce'sche Konzept der Abduktion ermöglicht es, sowohl den Borromäischen Knoten Lacans - Imaginäres, Symbolisches und Reales - wie auch die transzendentale Dialektik und Ontologie der Moderne, die auf Kants und Hegels Revolutionen der Denkungsart zurückgehen, schlusslogisch zu begründen. (shrink)

Diese komparatistische Monographie stellt zentrale Kategorien und Theorien der Literaturwissenschaft dar. Sie synthetisiert und bewertet den Stand der Forschung und unterwirft viele Dogmen der neueren Forschung einer kritischen Analyse. Resultat ist eine Reformulierung des theoretischen Kernbestandes der Literaturwissenschaft für die zentralen Kategorien Interpretation, Fiktion, Performativität, Intertextualität, Gattung, Epoche. Der Band richtet sich an alle Wissenschaften, die mit Texten als Erkenntnisobjekten umgehen; neben der Literaturwissenschaft sind also auch die Theaterwissenschaft, die Sprachwissenschaft, die Sprachphilosophie, die Kunstwissenschaft, die Geschichtswissenschaft sowie Theologie und Jurisprudenz (...) angesprochen. (shrink)

Teil I »Psychologische Ästhetik für transdisziplinäres Design« -/- Kapitel I »Empirische Ästhetik – Der Konflikt zwischen leichter Verarbeitbarkeit, sparsamer Codierung und neuronaler Aktivierung im Beobachtersystem. Eine Untersuchung über das Wesen der ästhetischen Erfahrung. -/- Jede Designpraxis verlangt täglich eine Vielzahl von Entscheidungen, welche die Wahl von „Etwas vor dem Hintergrund anderer Möglichkeiten“ darstellen. Diese lassen sich als Probleme einer Präferenz-Ästhetik interpretieren, wobei innerhalb eines Repertoires von Alternativen die attraktivste gewählt wird. Eine empirische Ästhetik ist somit ein notwendiger Bestandteil von Designtheorie. (...) Die Überlegung, wer in welcher Situation warum was bevorzugt, führt zur Forschungsfrage: »Was ist der elementare Mechanismus für eine ästhetische Erfahrung?« In der Literatur zur empirischen Ästhetik finden sich vier wesentliche Theorie-Gruppen: (1.) Es wird eine Präferenz für einfach zu verarbeitende Stimuli behauptet und z.B. mit der Processing Fluency begründet. (2.) Andere Ansätze erklären eine maximale Stimulation des Beobachters durch komplexe Objekte zum Ideal, was auch die ästhetische Erfahrung maximieren soll. (3.) Eine dritte Gruppe vermeidet die Probleme der ersten beiden, indem eine mittlere Komplexität als Präferenz behauptet wird. (4.) Und schließlich gibt es Ansätze, die auf eine integrierende Theorie letztlich verzichten und einzelne Phänomene bzw. Effekte katalogisieren. Eine Liste ungelöster Probleme formuliert die Minimal-Anforderungen an eine integrierende Theorie. Hiermit wird geprüft, ob bzw. inwieweit die Integrative Ästhetik von Schwarzfischer (2008 und 2014) jene Probleme lösen kann. Dieser Ansatz schlägt spezifische Re-Codierungs-Prozesse als basalen Mechanismus jeder ästhetischen Erfahrung vor. Hierzu wird ein Prozess-Modell entwickelt, welches die Integrative Ästhetik überprüfbar macht. Bei der Modellbildung werden manche Konzepte der Integrativen Ästhetik erweitert und andere präzisiert. Auch die Anwendungsmöglichkeiten werden durch das Modell vielfältiger, da es nicht nur als Erklärungsmodell, sondern zudem als Gestaltungsmodell einsetzbar ist. Insgesamt zeigt die Überprüfung der Integrativen Ästhetik und des Modells, dass die Gütekriterien in einem vielversprechenden Maß erfüllt werden. Die grundsätzliche Quantifizierbarkeit wird aufgezeigt sowie die Relevanz und die Anwendbarkeit für das Design nachgewiesen. Die Forschungsfrage kann somit als hinreichend beantwortet gelten: »Der elementare Mechanismus für eine ästhetische Erfahrung scheint ein Re-Codierungs-Prozess zu sein (der auf der Nutzung von In­varianzen basiert), welcher extensionale Daten zu intensionalen Gestalten transformiert, wobei eine Ressourcen-Entlastung stattfindet und der Gültigkeitsbereich der Codierung erweitert wird (was nach Jean Piaget als Dezentrierung bezeichnet wird) – was jeweils durch eine ‚Beobachtung zweiter Ordnung‘ festgestellt wird.« -/- Teil II »Transdisziplinäre Ästhetik im Dialog« -/- Kapitel II.A »Profane und heroische Beobachtungs-Experimente: Kunst-Ästhetik als methodisches Artefakt.« -/- Es reicht nicht, eine Liste mit vorgeblich ‚schönen Dingen‘ zu erstellen, um ‚das Schöne‘ zu verstehen. Piaget & Garcia (1989) unterscheiden drei Stufen in jedem Erkenntnis-Prozess: 1. isolierte Fakten, die unabhängig von einander analysiert werden; 2. konkrete Transformationen, durch welche diese Fakten mit einander verbunden sind; 3. eine Struktur, die alle denkbaren Fälle konstruierbar macht. Sie nannten diese drei Stufen ‚intra‘, ‚inter‘ und ‚trans‘. Dies kann auf das ‚höhere Erkenntnisvermögen‘ angewandt werden wie auf das ‚niedere‘. Wissenschaftlichkeit setzt nach Popper die Falsifizierbarkeit einer Theorie voraus – und damit Prognosefähigkeit. Prognosen müssen über den Bereich der bereits bekannten Fälle hinausgehen, und finden sich folglich primär in der Piaget-Phase ‚trans‘. Diese ist davon gekennzeichnet, dass es über die Gegenstände hinausgeht (‚trans-objekt‘). Zu häufig werden Artefakte nur beschrieben (‚intra-objekt‘) oder einzelne, zufällig bekannte Transformationen von Material in Artefakte bzw. von Artefakt in Verständnis aufgezählt (‚inter-objekt‘). Erst eine ‚Integrative Ästhetik‘ jenseits von zufälligen Semantiken, jenseits von sozialen Exklusions-Rhetoriken der Künstler und der ‚Leisure-Class-Eliten‘ (nach Veblen) und jenseits der Hierarchisierung von Wahrnehmungs-Modi kann den Anspruch einlösen (‚trans-objekt‘). Daraus folgen u.a. separierbare Semantiken spezifischem Maßstabs, die sich überhaupt erst dann z.B. als ‚konventionelle Kunst-Auffassung‘ beobachten lassen. Zentrierungen auf solche Semantiken können demnach „als Kunst missverstanden werden“ – obwohl sie keineswegs das allgemeine Prinzip repräsentieren, sondern stets nur Spezial­fall bleiben. -/- Kapitel II.B »Das Gehirn als Hypothesenmaschine – Ästhetische Prozesse als Selbst-Test im Beobachter-System.« -/- Die historische Trennung zwischen Techne, Poiesis und Aisthesis scheint nach der „konstruktivistischen Wende“ obsolet geworden zu sein. Jede Beobachtung kann als Handlung betrachtet werden und setzt adaptive Aspekte schon voraus. Jedoch fehlte bislang eine tragfähige konstruktivistische Ästhetik, deren Gültigkeitsbereich hinreichend groß ist: So ist die Beschränkung auf Kunst ebenso unnötig wie jene auf Kommunikation in sozialen Systemen (also auf „Kunst-Diskurse“) oder auf eine Produktions-, Werk- bzw. Rezeptions-Ästhetik. Die definitorische Auflösung des Kunst-Begriffes (z.B. bei Gernot Böhme) löst diese Schwierigkeiten nicht. Im Wesentlichen bleibt die resultierende phänomenologische Ästhetik eine Rezeptions-Ästhetik. Ähnlich begrenzt bleibt der Anwendungsbereich der Informations-Ästhetik mit kybernetischen Wurzeln. Auch die Einbettung in eine evolutionäre Ästhetik oder Neuroästhetik scheint problematisch. Daher muss eine „Integrative Ästhetik“ sehr unterschiedliche Sichtweisen in sich vereinigen. Inzwischen klassisch zu nennende kybernetische, systemtheoretische oder informations-ästhetische Ansätze verwenden meist die Logik einer Bottom-Up-Verarbeitung (Input-Processing-Output), wie sie auch die kognitive Psychologie der zweiten Hälfte des 20. Jahrhunderts dominierte. Dass laut Schlicht et al. (2013: S.475) selbst im visuellen Kortex nur ca. 5% der neuronalen Verknüpfungen bottom-up verschaltet sind (und der „Rest” von 95% top-down oder lateral arbeitet), stellt auch die empirische Ästhetik vor Probleme. Dieser Beitrag stellt jene Integrative Ästhetik vor, welche diese Antworten auf diese Fragen zu geben vermag – und den genannten Beschränkungen nicht unterliegt. Der elementare Prozess einer ästhetischen Erfahrung besteht hier in einer Re-Codierung von extensionalen Daten zu intensionalen Codierungen. Durch die sparsamere Codierung stellt dies eine erhebliche neuronale Entlastung dar und erhöht zudem beträchtlich den Gültigkeitsbereich des Codierten. Vom Beobachter-System wird dies subjektiv als Dezentrierung (nach Piaget) positiv erlebt. Zentral ist, dass es nun mit einem einheitlichen methodischen Rahmen möglich ist, entweder bottom-up die Wahrnehmung zu analysieren oder top-down die subjektive Motivation (z.B. die erlebte Autonomie oder die erlebte Entlastung) des Akteurs zu thematisieren. Die Richtung der Prozesse wird umkehrbar. Zudem wird die konstruktivistische Wahrnehmungs-Handlung zu einer Art von Selbst-Test des Wahrnehmungs-Systems: „Funktioniere ich sensorisch und kognitiv überhaupt? Funktioniere ich korrekt, also konsistent? Und, funktioniere ich effizient?“ -/- Kapitel II.C »Beobachtende Systeme – Dezentrierende Gestalt-Integration als Basis einer Ästhetik des Alltags.« -/- An der ästhetischen Erfahrung irritiert traditionell, dass der Effekt bekannt ist, nicht aber die Ursachen und der funktionale Mechanismus. Dies leistete Mystifikationen Vorschub, was zu diversen metaphysischen Kunst-Ästhetiken führte: Der Künstler als Schamane oder Magier. Dieser Beitrag möchte dagegen einen systemsemiotischen Ansatz für eine empirische Ästhetik vorstellen. Die aktive Rolle des Beobachters im Wirkungszusammenhang soll den Blinden Fleck erhellen, aufgrund dessen sich das Phantom eines passiven Rezipienten und „quasi-aktiver“ ästhetischer Objekte so hartnäckig halten konnte. Ausgehend von gestalttheoretischen Überlegungen wird Gestalt als implizite, algorithmische Codierung begriffen. Neuere empirische Ergebnisse der „Neuro-Ökonomie“ postulieren einen Effekt der „kortikalen Entlastung“ (bei der Forschung nach der Wirkung von Marken). Der hier vertretene Ansatz verknüpft nun beide Aspekte und glaubt, daraus eine konsistente Theorie für die empirische Ästhetik des Alltags entwickeln zu können. Es muss jedoch ein weiterer Aspekt hinzu genommen werden, den Piaget „Dezentrierung“ nennt. Ästhetische Erfahrung wird dann definierbar als das Erlebnis eines Umcodierungs-Prozesses – oder genauer: als das Erlebnis einer dezentrierenden Gestalt-Integration durch das beobachtende System. Sowohl beobachtende Systeme als auch Gestalt-Integrationen sind in unserem Ansatz als multiple zu denken. Eine semiotische Differenzierung ist nun entscheidend: Die herkömmliche Informations-Ästhetik thematisierte nur die syntaktischen Aspekte des Stimulus, ohne den Beobachter in seiner aktiven Rolle zu begreifen. Gestalt-Integrationen samt deren dezentrierender Wirkung sind jedoch auch in semantischer und pragmatischer Hinsicht zu finden. Diese werden im Beitrag dargelegt. Denn erst so kann die Vielschichtigkeit ästhetischer Erfahrungen erklärt werden, wo z.B. syntaktische und pragmatische Aspekte konkurrieren können. Auch vordergründig destruktive Akte und Artefakte sind dann als Gestalt-Integrationen anderer Dimensionen oder differierender Bezugssysteme begreifbar. (Dies streift etwa auch Fragen der Ressourcen-Allokation.) Zudem muss die Kontingenz von Beobachtungs-Maßstäben, Wahrnehmungs-Modi, Struktur-Determinanten (des beobachtenden Systems) und kultur-semiotischen Prägungen mit in Betracht gezogen werden. Erst hierdurch wird der Möglichkeitsraum potenzieller Gestalt-Integrationen (der eigentlich aus einem präsentationalen und einem repräsentationalen Raum besteht) prinzipiell beschreibbar. Wenn auch die Probleme bzw. Grenzen der praktischen Durchführbarkeit entsprechender Analysen nicht unterschlagen werden sollen: Die Möglichkeiten entsprechen gut den Erfordernissen zur ästhetischen Analyse des menschlichen Alltages – schließen die Lebenswelten von nicht-anthropozentrischen Seinsformen aber wohl methodisch aus. Dieser Beitrag möchte ich primär eine empirische Ästhetik zur Diskussion stellen, die mir als Rahmen für die weitere Forschung sehr leistungsfähig erscheint. Und doch ist nichts weniger als ein theoriebildender Ansatz das Vorhaben. Eine der Konsequenzen aus diesem Ansatz ist die These, dass es sich bei Kants Diktum vom „interesselosen Wohlgefallen“ zwar für das Individuum um ein Apriori handelt, bei der Gattung Mensch jedoch evolutionär um ein Aposteriori. (shrink)

Attention is automatically allocated to stimuli that are opposite in valence to the current motivational focus (Rothermund, 2003; Rothermund, Voss, & Wentura, 2008). We tested whether this incongruency effect is due to affective–motivational counter-regulation or to an increased salience of stimuli that mismatch with cognitively activated information. Affective processing biases were assessed with a search task in which participants had to detect the spatial position at which a positive or negative stimulus was presented. In the motivational condition, positive or negative (...) affective–motivational states were induced by performance feedback after each trial. In the cognitive activation condition, participants memorised the word “good” or “bad” during the search task. The affective incongruency effect was replicated in the motivational condition, whereas an affective congruency effect obtained in the cognitive activation condition. These findings support an explanation of affective incongruency effects in terms of automatic counter-regulation that is motivational in nature. (shrink)

The achievement of unity and perfection in human action begins with a struggle for these ideals in human thought. Dr. Klaus Vondung in his collection of essays that span four decades explores examples of this in different fields of human inquiry: striving for harmonious existential unity of talents and morals, intellect and emotion; seeking to make natural sciences consonant with the humanities and thereby moving toward a more universal, "perfect" science; and establishing unity in political structures and cultivating in (...) this unity a homogenous society. Vondung has given special devotion to National Socialism as a context wherein he revisits its perverted motivation and the consequences of this despite noble ideals. Particular focus in following the thread of unity and perfection in human intellectual and practical ambitions ultimately hones in on the combination of religion and politics. Vondung in these essays unpacks the ways in which this continues to fascinate and disturb us, and in his expertise he uses National Socialism to connect this pursuit of unity and perfection to what he calls one of the signature marks of modernity--namely, secular apocalypticism. This claim stands in opposition to Eric Voegelin's remark that Gnosticism, rather, is "the nature of modernity." Vondung, who studied and wrote his dissertation under Voegelin, grapples with the contrast of these positions. Vondung is willing to challenge Voegelin, but ultimately his treatment of the latter bears the quality of tribute to this great scholar. Vondung also explores the points of contact between apocalypticism and Hermetic speculation. Despite the independence of the religious and philosophical doctrines of Hermeticism, there are parallels to be found. Apocalypticism and Hermeticism originated in antiquity and yet each represents a tradition that still holds footing today. Vondung furthermore leads the reader to see the project of salvation found in both even as each operates with a different scope. This collection of essays centers itself on a perspective of the human pursuit of unity and perfection, directly or indirectly, as objectives of intellectual endeavors, existential ideals, as social or political outcomes, and in the case of National Socialism even as perverse aberrations. Vondung's particular treatment of Voegelin's work likewise establishes what the former identifies as a stand-out question of this study: Does the search of order in history show us the unity of the history of humankind? (shrink)

In the age of digitization, the world seems to be reducible to a digital computer. However, mathematically, modern quantum field theories do not only depend on discrete, but also continuous concepts. Ancient debates in natural philosophy on atomism versus the continuum are deeply involved in modern research on digital and computational physics. This example underlines that modern physics, in the tradition of Newton’s Principia Mathematica Philosophiae Naturalis, is a further development of natural philosophy with the rigorous methods of mathematics, measuring, (...) and computing. We consider fundamental concepts of natural philosophy with mathematical and computational methods and ask for their ontological and epistemic status. The following article refers to the author’s book, “The Digital and the Real World. Computational Foundations of Mathematics, Science, Technology, and Philosophy.”. (shrink)

Historical Justice and Memory highlights the global movement for historical justice—acknowledging and redressing historic wrongs—as one of the most significant moral and social developments of our times. Such historic wrongs include acts of genocide, slavery, systems of apartheid, the systematic persecution of presumed enemies of the state, colonialism, and the oppression of or discrimination against ethnic or religious minorities. The historical justice movement has inspired the spread of truth and reconciliation processes around the world and has pushed governments to make (...) reparations and apologies for past wrongs. It has changed the public understanding of justice and the role of memory. In this book, leading scholars in philosophy, history, political science, and semiotics offer new essays that discuss and assess these momentous global developments. They evaluate the strength and weaknesses of the movement, its accomplishments and failings, its philosophical assumptions and social preconditions, and its prospects for the future. (shrink)