Excerpt from Die Prinzipien der Mechanik in Neuem Zusammenhange Dargestellt Wahl eines Berufs entschliefsen mufste, wahlte er den des Ingenieurs. Es scheint, dafs die auch in spateren Jahren als ein charakteristischer Grundzug seines Wesens hervor tretende Bescheidenheit ihn an seiner Begabung fur theore tische Wissenschaft zweifeln liefs, und dafs er sich bei der Beschaftigung mit seinen geliebten mechanischen Arbeiten des Erfolges sicherer fuhlte, weil er deren Tragweite schon damals ausreichend verstand. Vielleicht hat ihn auch die in seiner Vaterstadt herrschende, mehr (...) dem Praktischen zugeneigte Sinnesweise beeinflufst. Ubrigens beobachtet man nicht selten diese Art zaghafter Bescheidenheit gerade bei jungen Leuten von hervorragenden Anlagen. Sie haben wohl eine deutliche Vorstellung von den Schwierigkeiten, die vor der Erreichung des ihnen vorschwebenden hohen Zieles zu uberwinden sind, und mussen ihre Krafte erst praktisch erprobt haben, ehe sie das zu ihrem schweren Werke notige Selbstvertrauen ge winnen. Aber auch in ihrer spateren Entwickelung pflegen reich veranlagte Naturen um so unzufriedener mit ihren eigenen Werken zu sein je hoher ihre Fahigkeiten und ihre Ideale reichen. Die Begabtesten erreichen offenbar nur des halb das Hochste, weil sie am empfindlichsten gegen jede Un vollkommenheit sind, und am unermudlichsten an deren Beseitigung arbeiten. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

The knowability paradox is an instance of a remarkable reasoning pattern (actually, a pair of such patterns), in the course of which an occurrence of the possibility operator, the diamond, disappears. In the present paper, it is pointed out how the unwanted disappearance of the diamond may be escaped. The emphasis is not laid on a discussion of the contentious premise of the knowability paradox, namely that all truths are possibly known, but on how from this assumption the conclusion is (...) derived that all truths are, in fact, known. Nevertheless, the solution offered is in the spirit of the constructivist attitude usually maintained by defenders of the anti-realist premise. In order to avoid the paradoxical reasoning, a paraconsistent constructive relevant modal epistemic logic with strong negation is defined semantically. The system is axiomatized and shown to be complete. (shrink)

The topic of identity of proofs was put on the agenda of general (or structural) proof theory at an early stage. The relevant question is: When are the differences between two distinct proofs (understood as linguistic entities, proof figures) of one and the same formula so inessential that it is justified to identify the two proofs? The paper addresses another question: When are the differences between two distinct formulas so inessential that these formulas admit of identical proofs? The question appears (...) to be especially natural if the idea of working with more than one kind of derivations is taken seriously. If a distinction is drawn between proofs and disproofs (or refutations) as primitive entities, it is quite conceivable that a proof of one formula amounts to a disproof of another formula, and vice versa. A notion of inherited identity of derivations is introduced for derivations in a cut-free sequent system for Almukdad and Nelson’s constructive paraconsistent logic N4 with strong negation. The notion is obtained by identifying sequent rules the application of which has no effect on the identity of derivations. Then the notion of inherited identity is used to define a bilateralist notion of synonymy between formulas, which is a relation drawing more fine-grained distinctions between formulas than strong equivalence. (shrink)

Justification stit logic is a logic for reasoning about proving as a certain kind of activity, namely seeing to it that a proof is publicly available. It merges the semantical analysis of deliberatively seeing-to-it-that from stit theory and the semantics of the epistemic logic with justification from. In this paper, after recalling its language and basic semantical definitions, various ramifications and refinements of justification stit logic are presented and discussed: imposing natural restrictions upon the class of models under consideration, making (...) use of modalities that assert the existence of a proof, introducing a variant of justification stit logic based on a semantics introduced by M. Fitting, and adding variable-binding operators and extending the set of proof polynomials. (shrink)

Text: Reproduktion nach Scan der Ausgabe von 1934, Verlag von J. C. B. Mohr (Paul Siebeck) in Tübingen. - Von dem kleinen Buch, das ich hier der Öffentlichkeit übergebe, bitte ich den Leser, nichts anderes zu erwarten, als das, was sein Titel ausdrücklich sagt. Es handelt sich in ihm nicht etwa um die Grundlinien eines Systems der Philosophie, sondern ausschließlich um dessen Probleme, und wenn diese sich auch nicht darlegen lassen, ohne die Richtung anzudeuten, in der das System bei der (...) Ausführung sich zu bewegen hätte, so sollen doch in dieser Schrift hauptsächlich Fragen gestellt, nicht Antworten gegeben werden. Oft brechen die Darlegungen dort ab, wo mancher Leser glauben kann, daß die größten Schwierigkeiten noch ungelöst sind. Ja mehr: nur die Grundprobleme der Philosophie werden erörtert, und das Eingehen auf Sonderfragen ist fast überall vermieden. Einzelheiten sind dann allein herangezogen worden, wenn es zur Verdeutlichung der Hauptbegriffe wünschenswert erschien. [Auszug aus dem Vorwort des Buches]. (shrink)

The volume is a collection of essays about prominent Polish 20th century philosophers of science and scientists who were concerned with problems in the philosophy of science. The contribution made by Polish logicians, especially those from the Lvov-Warsaw School, like Lukasiewicz, Kotarbiński, Czeżowski or Ajdukiewicz, is already well known. One of the aims of the volume is to offer a broader perspective. The papers collected here are devoted to the work of such philosophers as Zawirski, Metallmann, Dąmbska, Mehlberg, Szaniawski and (...) Giedymin as well as to the work of such scientists as Smoluchowski, Fleck, Infeld and Chyliński. The introduction to the volume, written by the editor and Jacek Jadacki, presents an overview of the history of the Polish philosophy of science from the foundation of the Cracow Academy (in 1364) to the present. (shrink)

Herophilus, a contemporary of Euclid, practiced medicine in Alexandria in the third century B.C., and seems to have been the first Western scientist to dissect the human body. He made especially impressive contributions to many branches of anatomy and also developed influential views on many other aspects of medicine. Von Staden assembles the fragmentary evidence concerning one of the more important scientists of ancient Greece. Part 1 of the book presents the Greek and Latin texts accompanied by English translation and (...) interpretative commentary. Significant background information is given in the introductory essay preceding each chapter. Part 2 briefly sketches the major developments within the Herophilean school after Herophilus, and discusses the individual members within it. Anyone interested in the history of science, the history of medicine, or intellectual history will find this book a rich source of information about an unusual and important aspect of Greek culture. (shrink)

En el artículo se hace la presentación de las ideas que san Agustín destaca sobre la Virgen María en sus sermones de Navidad. Se hace en primer lugar una presentación de dichos sermones, para posteriormente abordar el tema de los dos nacimientos de Cristo, que es usado para explicar las dos naturalezas en Cristo (divina y humana). Se destacan asimismo los sermones navideños en los que san Agustín señala el paralelismo entre la Virgen María y la Iglesia, ya ambas son (...) vírgenes y madres. Como un tema central de los sermones de Navidad de san Agustín, el artículo destaca la virginidad perpetua de María. Finalmente se ofrecen unas conclusiones en las que se pone de manifiesto que los sermones de Navidad de san Agustín que tratan sobre la Virgen María son parte de su “teología predicada”. Así como sus grandes tratados desarrollan la Mariología, sus sermones son la popularización de dicho pensamiento mariano. (shrink)

Ein Buch nicht der Re-Mythisierung, sondern der Mythoskritik, allerdings einer Kritik, die den Mythos ernst nimmt. Daher: »Mein Thema lautet: die Funktion der Genealogie im Mythos. So formuliert, setzt es eine rationale Vorstellung vom Funktionieren des Mythos voraus – es fordert zu einer systematischen Erörtertung auf. Wir brauchen nicht zu befürchten, daß eine systematische Erörterung das Mystische des Mythos verfehlt, weil sie archaische Verhältnisse dem Zwang der Rationalität unterwirft. Eher wird sie die Verbindung deutlich machen, die zwischen Mythos, Rationalität und (...) Zwang besteht.«. (shrink)

We consider a labelled tableau presentation of constant domain first-order S5 and prove a strong cut-elimination theorem.

"Hermann Cohen war ein herausragender deutscher Philosoph und jüdischer Denker. In nahezu allen Bereichen seiner verzweigten Tätigkeit beeinflusste er das akademische, politische und religiöse Leben seiner Zeit. Aus Anlass des hundertsten Todestages Cohens am 4. April 2018 widmet sich der vorliegende Band Kontexten und Netzwerken, in die Cohen zeit seines Lebens eingebunden war"--.