Refine
Year of publication
Document Type
- Article (35929)
- Doctoral Thesis (6513)
- Monograph/Edited Volume (5568)
- Postprint (3296)
- Review (2294)
- Part of a Book (1075)
- Other (959)
- Preprint (569)
- Conference Proceeding (561)
- Part of Periodical (531)
Language
- English (30910)
- German (26139)
- Spanish (363)
- French (330)
- Italian (115)
- Russian (112)
- Multiple languages (70)
- Hebrew (36)
- Portuguese (25)
- Polish (24)
Keywords
- Germany (204)
- climate change (182)
- Deutschland (143)
- machine learning (87)
- European Union (79)
- diffusion (78)
- Sprachtherapie (77)
- morphology (74)
- Logopädie (73)
- Migration (73)
Institute
- Institut für Biochemie und Biologie (5489)
- Institut für Physik und Astronomie (5455)
- Institut für Geowissenschaften (3673)
- Institut für Chemie (3485)
- Wirtschaftswissenschaften (2645)
- Historisches Institut (2521)
- Department Psychologie (2352)
- Institut für Mathematik (2150)
- Institut für Romanistik (2113)
- Sozialwissenschaften (1882)
Resolute readings of later Wittgenstein and the challenge of avoiding hierarchies in philosophy
(2011)
This dissertation addresses the question: How did later Wittgenstein aim to achieve his goal of putting forward a way of dissolving philosophical problems which centered on asking ourselves what we mean by our words – yet which did not entail any claims about the essence of language and meaning? This question is discussed with reference to “resolute” readings of Wittgenstein. I discuss the readings of James Conant, Oskari Kuusela, and Martin Gustafsson. I follow Oskari Kuusela’s claim that in order to fully appreciate how later Wittgenstein meant to achieve his goal, we need to clearly see how he aimed to do away with hierarchies in philosophy: Not only is the dissolution of philosophical problems via the method of clarifying the grammar of expressions to be taken as independent from any theses about what meaning must be – but furthermore, it is to be taken as independent from the dissolution of any particular problem via this method. As Kuusela stresses, this also holds for the problems involving rule-following and meaning: the clarification of the grammar of “rule” and “meaning” has no foundational status – it is nothing on which the method of clarifying the grammar of expressions as such were meant to in any way rely on. The lead question of this dissertation then is: What does it mean to come to see that the method of dissolving philosophical problems by asking “How is this word actually used?” does not in any way rely on the results of our having investigated the grammar of the particular concepts “rule” and “meaning”? What is the relation of such results – results such as “To follow a rule, [...], to obey an order, [...] are customs (uses, institutions)” or “The meaning of a word is its use in the language” – to this method? From this vantage point, I concern myself with two aspects of the readings of Gustafsson and Kuusela. In Gustafsson, I concern myself with his idea that the dissolution of philosophical problems in general “relies on” the very agreement which – during the dissolution of the rule-following problem – comes out as a presupposition for our talk of “meaning” in terms of rules. In Kuusela, I concern myself with his idea that Wittgenstein, in adopting a way of philosophical clarification which investigates the actual use of expressions, is following the model of “meaning as use” – which model he had previously introduced in order to perspicuously present an aspect of the actual use of the word “meaning”. This dissertation aims to show how these two aspects of Gustafsson’s and Kuusela’s readings still fail to live up to the vision of Wittgenstein as a philosopher who aimed to do away with any hierarchies in philosophy. I base this conclusion on a detailed analysis of which of the occasions where Wittgenstein invokes the notions of “use” and “application” (as also “agreement”) have to do with the dissolution of a specific problem only, and which have to do with the dissolution of philosophical problems in general. I discuss Wittgenstein’s remarks on rule-following, showing how in the dissolution of the rule-following paradox, notions such as “use”, “application”, and “practice” figure on two distinct logical levels. I then discuss an example of what happens when this distinction is not duly heeded: Gordon Baker and Peter Hacker’s idea that the rule-following remarks have a special significance for his project of dissolving philosophical problems as such. I furnish an argument to the effect that their idea that the clarification of the rules of grammar of the particular expression “following a rule” could answer a question about rules of grammar in general rests on a conflation of the two logical levels on which “use” occurs in the rule-following remarks, and that it leads into a regress. I then show that Gustafsson’s view – despite its decisive advance over Baker and Hacker – contains a version of that same idea, and that it likewise leads into a regress. Finally, I show that Kuusela’s idea of a special significance of the model “meaning as use” for the whole of the method of stating rules for the use of words is open to a regress argument of a similar kind as that he himself advances against Baker and Hacker. I conclude that in order to avoid such a regress, we need to reject the idea that the grammatical remark “The meaning of a word is its use in the language” – because of the occurrence of “use” in it – stood in any special relation to the method of dissolving philosophical problems by describing the use of words. Rather, we need to take this method as independent from this outcome of the investigation of the use of the particular word “meaning”.
We utilise multi-epoch MUSE spectroscopy to study binary stars in the core of the Galactic globular cluster NGC 3201. Our sample consists of 3553 stars with 54 883 spectra in total comprising 3200 main-sequence stars up to 4 magnitudes below the turn-off. Each star in our sample has between 3 and 63 (with a median of 14) reliable radial velocity measurements within five years of observations. We introduce a statistical method to determine the probability of a star showing radial velocity variations based on the whole inhomogeneous radial velocity sample. Using HST photometry and an advanced dynamical MOCCA simulation of this specific cluster we overcome observational biases that previous spectroscopic studies had to deal with. This allows us to infer a binary frequency in the MUSE field of view and enables us to deduce the underlying true binary frequency of (6.75 +/- 0.72)% in NGC 3201. The comparison of the MUSE observations with the MOCCA simulation suggests a large portion of primordial binaries. We can also confirm a radial increase in the binary fraction towards the cluster centre due to mass segregation. We discovered that in the core of NGC 3201 at least (57.5 +/- 7.9)% of blue straggler stars are in a binary system. For the first time in a study of globular clusters, we were able to fit Keplerian orbits to a significant sample of 95 binaries. We present the binary system properties of eleven blue straggler stars and the connection to SX Phoenicis-type stars. We show evidence that two blue straggler formation scenarios, the mass transfer in binary (or triple) star systems and the coalescence due to binary-binary interactions, are present in our data. We also describe the binary and spectroscopic properties of four sub-subgiant (or red straggler) stars. Furthermore, we discovered two new black hole candidates with minimum masses (M sin i) of (7.68 +/- 0.50)M-circle dot, (4.4 +/- 2.8)M-circle dot, and refine the minimum mass estimate on the already published black hole to (4.53 +/- 0.21)M-circle dot, These black holes are consistent with an extensive black hole subsystem hosted by NGC 3201.
International institutions are an essential driving force of contemporary policies to combat gender-based violence but remain toothless if political actors do not implement them in domestic policies. How can scholars conceptualise the transposition of international gender-based violence norms into domestic policies? I argue that discourse network analysis provides a powerful conceptual and methodological extension of critical frame analysis to understand how frames shape the meaning of gender-based violence norms in multi-level institutional contexts. Frames’ normative and cognitive network structure invites combining discourse network and frame analysis techniques that locate frames’ power in their ability to connect different institutional spheres temporally and spatially. I outline a multi-level research agenda that traces the framing processes of international norms and their domestic implementation through gender-based violence policies in the Council of Europe’s Istanbul Convention. This agenda includes avenues to study how complex transnational policy frameworks like the Istanbul Convention play out in domestic policy implementation.
Box-Simulationen von rotierender Magnetokonvektion im flüssigen Erdkern Numerische Simulationen der 3D-MHD Gleichungen sind mit Hilfe des Codes NIRVANA durchgeführt worden. Die Gleichungen für kompressible rotierende Magnetokonvektion wurden für erdähnliche Bedingungen numerisch in einer kartesischen Box gelöst. Charakteristische Eigenschaften mittlerer Größen, wie der Turbulenz-Intensität oder der turbulente Wärmefluss, die durch die kombinierte Wirkung kleinskaliger Fluktuationen entstehen, wurden bestimmt. Die Korrelationslänge der Turbulenz hängt signifikant von der Stärke und der Orientierung des Magnetfeldes ab, und das anisotrope Verhalten der Turbulenz aufgrund von Coriolis- und Lorentzkraft ist für schnellere Rotation wesentlich stärker ausgeprägt. Die Ausbildung eines isotropen Verhaltens auf kleinen Skalen unter dem Einfluss von Rotation alleine wird bereits durch ein schwaches Magnetfeld verhindert. Dies resultiert in einer turbulenten Strömung, die durch die vertikale Komponente dominiert wird. In Gegenwart eines horizontalen Magnetfeldes nimmt der vertikale turbulente Wärmefluss leicht mit zunehmender Feldstärke zu, so dass die Kühlung eines rotierenden Systems verbessert wird. Der horizontale Wärmetransport ist stets westwärts und in Richtung der Pole orientiert. Letzteres kann unter Umständen die Quelle für eine großskalige meridionale Strömung darstellen, während erstes in globalen Simulationen mit nicht axialsymmetrischen Randbedingungen für den Wärmefluss von Bedeutung ist. Die mittlere elektromotorische Kraft, die die Erzeugung von magnetischem Fluss durch die Turbulenz beschreibt, wurde unmittelbar aus den Lösungen für Geschwindigkeit und Magnetfeld berechnet. Hieraus konnten die entsprechenden α-Koeffizienten hergeleitet werden. Aufgrund der sehr schwachen Dichtestratifizierung ändert der α-Effekt sein Vorzeichen nahezu exakt in der Mitte der Box. Der α-Effekt ist positiv in der oberen Hälfte und negativ in der unteren Hälfte einer auf der Nordhalbkugel rotierenden Box. Für ein starkes Magnetfeld ergibt sich zudem eine deutliche abwärts orientierte Advektion von magnetischem Fluss. Ein Mean-Field Modell des Geodynamos wurde konstruiert, das auf dem α-Effekt basiert, wie er aus den Box-Simulationen berechnet wurde. Für eine äußerst beschränkte Klasse von radialen α-Profilen weist das lineare α^2-Modell Oszillationen auf einer Zeitskala auf, die durch die turbulente Diffusionszeit bestimmt wird. Die wesentlichen Eigenschaften der periodischen Lösungen werden präsentiert, und der Einfluss der Größe des inneren Kerns auf die Charakteristiken des kritischen Bereichs, innerhalb dessen oszillierende Lösungen auftreten, wurden untersucht. Reversals werden als eine halbe Oszillation interpretiert. Sie sind ein recht seltenes Ereignis, da sie lediglich dann stattfinden können, wenn das α-Profil ausreichend lange in dem periodische Lösungen erlaubenden Bereich liegt. Aufgrund starker Fluktuationen auf der konvektiven Zeitskala ist die Wahrscheinlichkeit eines solchen Reversals relativ klein. In einem einfachen nicht-linearen Mean-Field Modell mit realistischen Eingabeparametern, die auf den Box-Simulationen beruhen, konnte die Plausibilität des Reversal-Modells anhand von Langzeitsimulationen belegt werden.
Although claiming the authority of an eye-witness account, frater Simon’s letter is almost certainly a ficticious description of the fall of Constantinople to the Ottoman Turks in 1453. This presumed lack of authenticity has obviously prompted modern scholarship for a long time to be oblivious to this contemporary and exclusive source on the events, preferring well-known and reliable sources such as Leonard of Chios and Isidore of Kiev. However, since frater Simon’s letter has survived in two different versions and ten manuscripts from the 15th century, it is clearly more than a marginal note. Rather is it a remarkable contribution to the literary treatment of the Turkish threat and timeless moral instruction.With his portrayal of the pagan Mehmed II as a just ruler, the recurring moral instructions and the lack of a call to arms. Simon’s text stands out against themyriad of more or less contemporary depictions. In preparation for a critical edition the paper gives an analysis of the text and an overview of the extant manuscripts.
Although claiming the authority of an eye-witness account, frater Simon’s letter is almost certainly a ficticious description of the fall of Constantinople to the Ottoman Turks in 1453. This presumed lack of authenticity has obviously prompted modern scholarship for a long time to be oblivious to this contemporary and exclusive source on the events, preferring well-known and reliable sources such as Leonard of Chios and Isidore of Kiev. However, since frater Simon’s letter has survived in two different versions and ten manuscripts from the 15th century, it is clearly more than a marginal note. Rather is it a remarkable contribution to the literary treatment of the Turkish threat and timeless moral instruction.With his portrayal of the pagan Mehmed II as a just ruler, the recurring moral instructions and the lack of a call to arms. Simon’s text stands out against themyriad of more or less contemporary depictions. In preparation for a critical edition the paper gives an analysis of the text and an overview of the extant manuscripts.
The model-driven software development paradigm requires that appropriate model transformations are applicable in different stages of the development process. The transformations have to consistently propagate changes between the different involved models and thus ensure a proper model synchronization. However, most approaches today do not fully support the requirements for model synchronization and focus only on classical one-way batch-oriented transformations. In this paper, we present our approach for an incremental model transformation which supports model synchronization. Our approach employs the visual, formal, and bidirectional transformation technique of triple graph grammars. Using this declarative specification formalism, we focus on the efficient execution of the transformation rules and how to achieve an incremental model transformation for synchronization purposes. We present an evaluation of our approach and demonstrate that due to the speedup for the incremental processing in the average case even larger models can be tackled.
Various kinds of typed attributed graphs are used to represent states of systems from a broad range of domains. For dynamic systems, established formalisms such as graph transformations provide a formal model for defining state sequences. We consider the extended case where time elapses between states and introduce a logic to reason about these sequences. With this logic we express properties on the structure and attributes of states as well as on the temporal occurrence of states that are related by their inner structure, which no formal logic over graphs accomplishes concisely so far. Firstly, we introduce graphs with history by equipping every graph element with the timestamp of its creation and, if applicable, its deletion. Secondly, we define a logic on graphs by integrating the temporal operator until into the well-established logic of nested graph conditions. Thirdly, we prove that our logic is equally expressive to nested graph conditions by providing a suitable reduction. Finally, the implementation of this reduction allows for the tool-based analysis of metric temporal properties for state sequences.
Graph repair, restoring consistency of a graph, plays a prominent role in several areas of computer science and beyond: For example, in model-driven engineering, the abstract syntax of models is usually encoded using graphs. Flexible edit operations temporarily create inconsistent graphs not representing a valid model, thus requiring graph repair. Similarly, in graph databases—managing the storage and manipulation of graph data—updates may cause that a given database does not satisfy some integrity constraints, requiring also graph repair.
We present a logic-based incremental approach to graph repair, generating a sound and complete (upon termination) overview of least-changing repairs. In our context, we formalize consistency by so-called graph conditions being equivalent to first-order logic on graphs. We present two kind of repair algorithms: State-based repair restores consistency independent of the graph update history, whereas deltabased (or incremental) repair takes this history explicitly into account. Technically, our algorithms rely on an existing model generation algorithm for graph conditions implemented in AutoGraph. Moreover, the delta-based approach uses the new concept of satisfaction (ST) trees for encoding if and how a graph satisfies a graph condition. We then demonstrate how to manipulate these STs incrementally with respect to a graph update.