In this paper we consider logical inference as an activity that results in proofs and hence produces knowledge. We suggest to merge the semantical analysis of deliberatively seeing-to-it-that from stit theory and the semantics of the epistemic logic with justification from. The general idea is to understand proving that A as seeing to it that a proof of A is available. We introduce a semantics of various notions of proving as an activity and present a number of valid principles that (...) relate the various notions of proving to each other and to notions of justified knowledge, implicit knowledge, and possibility. We also point out and comment upon certain principles our semantics fails to validate. (shrink)

PREFACE TO THE FIRST FEENCH EDITION. WHEN the Emperor Otho IIL visited the tomb in which had reposed for many years the mortal remains of Charlemagne, ...

Now you can learn from the original, most important source for magic in the Western world that has ever been published, when you get Agrippa'sThree Books of Occult Philosophy. This massive volume was originally published in 1531, and occultists have been drawing on it ever since. Now, Llewellyn is proud to produce the first complete reprint of the original English translation in the last 500 years. Donald Tyson edited this work and removed the hundreds of errors that appeared in the (...) original translation. He also fully annotated the work, to make it understandableand usableby people today. ·Discover what the Renaissance scholar knew about astrology, medicine, history, herbs, geography, animals, angels, devils, Witches, charms, the weather, and a host of other subjects ·Gain immediate reference to a vast amount of arcane, but completely annotated, magical material ·Find corrected drawings of seals, sigils, and magic squares, and correctly represented geomantic figures ·Explore the practical Kabbalah, geomancy, the magic squares, the elements, the humors, and the Soul of the World ·Consult the new Biographical dictionary for background on each of the hundreds of writers and historical figures referred to by Agrippa ·Consult the new Geographical Dictionary for data on referenced rivers, mountains, nations, citiesmany of which now carry different names. The Three Books of Occult Philosophy is the most complete repository of pagan and Neoplatonic magic ever compiled. This book is packed with material you will not find elsewhere, including copious extracts on magic from obscure or lost works by Pythagoras, Ptolemy, Plato, Aristotle, and many others. Tyson's detailed annotations clarify difficult references and provide origins of quotations, even expanding upon them in many cases, in order to make Agrippa's work more accessible to the modern reader. The Three Books of Occult Philosophy is the ultimate "how-to" for magical workings. It describes how to work all manner of divinations and natural and ceremonial magic in such clear and useful detail that it is stillthe guide for modern techniques. The extensive new supplementary material makes this wisdom practical for use today. The Three Books of Occult Philosophy is an essential reference tool for all students of the occult. Get your copy today. (shrink)

Christian Heinrich Arthur Drews (1865 - 1935) war ein deutscher Philosoph, Schriftsteller und wichtiger Vertreter des deutschen Monismus. Während seiner Laufbahn schrieb er über die Geschichte der Philosophie, Religionen und Mythologie. Er provoziert oft Streit wegen seiner unorthodoxen Ideen über Religion und teilweise wegen seiner Angriffe auf Nietzsche und seiner leidenschaftlichen Unterstützung von Wagner. Drews gehört zu den bekanntesten deutschen Bestreitern der Existenz eines historischen Jesus. Er faßt das Problem der Religion als ein wesentlich methaphysisches auf und vertritt den (...) Standpunkt des Pantheismus gegenüber dem Theismus der bestehenden Religionen. Das vorliegende Buch, das Drews als eine philosophische Untersuchung über das Wesen der Religion untertitelt, ist sein systematisches Hauptwerk, das sich besonders gegen die herrschende Richtung der protestantischen Theologie wendet. Diese verwirft das christliche Dogma und etabliert eine historisch-hermeneutische Christentumwissenschaft, in der Jesus zum Prototyp der Individualität erhoben wird. Er zeigt, daß eine Weiterentwicklung der Religion und eine Gesundung der religiösen Zustände nicht durch ein Zurückschrauben der bisherigen Entwicklung zu ihrem Ausgangspunkt, sondern durch Fortbildung der in jenen enthaltenen Keime aus dem innersten Wesen der Religion heraus möglich ist. Sorgfältig bearbeiteter Nachdruck der Originalausgabe von 1906. (shrink)

Der isländische Historiker, Dichter und Politiker Snorri Sturluson war eine Ausnahmegestalt des nordischen Mittelalters. Die Beiträge international renommierter Forscher diskutieren den aktuellen Stand der Forschung und bringen selbst neue Ansätze ein. Dabei werden neben religionshistorischen und historischen Themen auch Fragen der Biographie, der Wissenschaftsgeschichte und der Textüberlieferung behandelt.

A dynamic description model of the flight path a dragonfly takes is required in order to derive the encounter frequency of the dragonfly males visiting a pond. It is considered as the first part of a realistic description of the regulation of dragonfly density at the pond by behavioural interaction. Since the dragonfly males fly strictly along the shoreline of the pond, their displacement may be perceived as a quasi linear movement. The flight paths of dragonflies were recorded in field (...) by registering at regular time intervals the number of the shoreline section. in which the dragonfly was staying at that moment. The recorded flight paths show a wide variety from circling around the pond or flying widely to and fro to remaining in a narrow sector of the shoreline . The records were classified into 9 flight style groups. The flight style is temperature dependent, but there are also individual differences between the dragonflies. The strategy adopted for model building is to start with the most simple assumptions and parameters. The dynamic performance of each model is assessed by simulations. The model has to be extended until the simulated flight path patterns resemble the observed patterns. In a model with one parameter the displacement for every time interval is given by a stochastic decision using the probabilities evaluated from the observed frequencies of step length . This model was run with different sets of data. The simulated patterns using the data from all records together slightly resemble some observed patterns. They represent, however, only a small range of the variability observed. With data from the different style groups or the single records the simulated patterns are much more variable, but they are too irregular and contain too many turns . Therefore the description model was extended by a second parameter determining the direction of each step. The probability of turning is dependent on the number of steps already taken in the same direction . The probabilities are evaluated from the observed frequencies of step series. With the data from all records together, this model yields patterns more similar to the observed flight paths but they still represent only a restricted range of the observed variability. The patterns obtained using the data from the different style groups or from the single records cover the full range of the observed variability and they resemble closely the observed patterns even in minute details . Thus this description model together with the data from the flight style groups is accepted as fully sufficient for the present purpose. The simulations allow the assessment of the range of chance variability . The assumptions implied in the description model were corroborated by statistical tests. The approach developed here for the quantification of the behaviour of dragonflies is generally applicable to stochastic behaviour. Um die Häufigkeit der Kämpfe zwischen Libellenmannchen am Gewässer vom Verhalten der einzelnen Individuen ableiten zu können, wurde ein dynamisches Modell des Flugverhaltens einzelner Libellen aus Freilandbeobachtungen abgeleitet. Das Modell soll ein erster Schritt zu einer realistischen Beschreibung sein, wie bei Libellen die Individuendichte durch Verhaltensinteraktionen geregelt wird. Da die Libellenmannchen streng an der Uferlinie entlang fliegen, kann ihre Flugbahn als quasi eindimensionale Bewegung aufgefaßt werden. Die Flugbahnen einzelner Männchen registrierte ich, indem ich in regelmäßigen Zeitintervallen die Nummer des'Uferabschnitts , in dem sich die Libelle gerade aufhielt, auf Tonband sprach. Die registierten Flugbahnen sind sehr verschiedenartig. Zwischen Bahnen, bei denen die Libellen immer in einer Richtung um das Gewässer kreisten, bis zu solchen, bei denen sie in einem engen Uferbereich hin and her flogen, gibt es alle Übergänge . Die Flugbahnen warden in 9 Gruppen verschiedener Flugstile eingeteilt. Der Flugstil ist temperaturabhängig and individuell verschieden. Die Strategie der Modellentwicklung war, mit einem Modell mit möglichst einfachen Voraussetzungen and Parametern zu beginnen, seine dynamische Leistung mit Simulationen zu prüfen, und die Modellbeschreibung so lange zu erweitern, bis die simulierten Flugbahnmuster den tatsächlich beobachteten Mustern gleichen. Im ersten Modell wurde die Ortsveränderung in jedem Zeitintervall mit einer stochastischen Entscheidung bestimmt, bei der Wahrscheinlichkeiten verwendet warden, die sich aus den beobachteten Haufigkeiten der Schrittweiten ergaben . Simulationen dieses Modells mit den aus allen Flugbahnregistrierungen gemeinsam ausgewerteten Daten ergaben Flugbahnmuster, die zwar manchen beobachteten ähnelten, aber nur einen kleinen Bereich der beobachteten Vielfalt darstellten. Mit den Daten aus den einzelnen Flugstilgruppen ergab sich insgesamt eine grofie Variabilitat, die simulierten Flugbahnen waren aber zu unregelmäßig and enthielten zu viele Richtungswechsel . Deshalb wurde das Modell durch einen Parameter erweitert, der für jedes Zeitintervall die Flugrichtung bestimmt. Die Wahrscheinfchkeit umzukehren hängt davon ab, wieviele Zeitintervalle bereits die gleiche Richtung beibehalten wurde . Die Wahrscheinlichkeitswerte dafür warden aus den beobachteten Haufigkeiten der Schrittserien in eine Richtung bestimmt. Dieses Modell ergibt in Simulationen mit den aus allen Registrierungen gemeinsam ausgewerteten Daten Flugbahnen, die den Originalen ähnlich sind, aber nur einen beschränkten Bereich der vielfalt darstellen. Simulationen mit den Daten aus den einzelnen Flugstilgruppen dagegen ergeben die vollebeobachtete Variabilitat and die erhaltenen Flugbahnmuster gleichen den beobachteten Originalen auch in kleinen Einzelheiten . Dieses Modell kann deshalb zusammen mit den Daten der einzelnen Flugstilgruppen als befriedigende Beschreibung des Flugverhaltens angesehen werden. Die Simulationen erlauben, den Bereich der zufälligen Variabilitat abzuschätzen . Die im Modell gemachten Annahmen warden durch statistische Tests bestätigt. Der hier zur Beschreibung des Verhaltens von Libellen entwickelte Ansatz ist allgemein anwendbar auf stochastisches Verhalten. (shrink)

Walter Benjamin’s treatise »The Life of Students« (1914/15) is not only an insightful document of the youth culture movement, but also an important philosophical contribution to the discussion on the idea and task of the university. In his critique of the contemporary university, the 22-year-old student develops the counter-concept of a future university that, rejecting all heteronomous functionalizations, finds its purpose in radical and risky intellectual work. This vision is rooted in the strict dichotomy of study and career, the origins (...) of which lie in German educational idealism around 1800, and in the concept of creative Eros that refers back to Plato. The promise is to restore the productive synthesis of spirit, Eros and youth under the sign of the youth movement.After a commentary on this little-noticed work (I.), the article outlines the contemporary context and the basic lines of the history of ideas between Kant, Fichte and Nietzsche, to which Benjamin refers with his concept (II.). The focus, however, is, following the concept of constellation research, on the critical comparison with the university concepts that have been developed between 1917 and 1923 by Max Weber, Martin Heidegger and Karl Jaspers (III.–V.). Although it was not a debate in the true sense, the reconstruction of this constellation in the history of ideas nevertheless allows to analyze the contradictions and deficits, but also the cognitive potential and the possible topicality of Benjamin’s treatise in a broader context. (shrink)

L’utilisation des données des plus grands catalogues électroniques des bibliothčques allemandes concernant les éditions des ouvrages de Franjo Petrić et leurs exemplaires permet d’arriver ŕ des résultats qu’il serait probablement impossible d’obtenir par d’autres moyens et instruments. Il existe de fortes indications qui montrent que la réception allemande de Petrić antérieure au XXe siecle diffčre sensiblement de sa réception dans d’autres pays . A ce stade-lŕ de réception, l’impact des ses Discussiones peripateticae et Militia romana est particuličrement évident. Les résultats (...) concernant l’impact des éditions de 1952 et postérieures different ŕ maints égards de ceux obtenus pour les éditions antérieures. Cet article est une étude de cas préliminaire utilisant, ŕ des fins de comparaison, des données puisées dans des sources britanniques et dans la banque de données AHCI. (shrink)

This paper introduces the notion of cW10-creative set, which strengthens that of semicreative set in a similar way as complete creativity strengthens creativity. Two results are proven, both of which imply that not all semicreative sets are cW10-creative. First, it is shown that semicreative Dedekind cuts cannot be cW10-creative; the existence of semicreative Dedekind cuts was shown by Soare. Secondly, it is shown that if A ⊕ B, the join of A and B, is cW10-creative, then either A or B (...) is cW10-creative, and the same is not true with ‘cW10-creative’ replaced by ‘semicreative’. Moreover, sets A, B which provide a counterexample for can be constructed within any given nonrecursive r.e. T-degrees a, b. MSC: 03D30. (shrink)