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)

A fundamental notion in a large part of mathematics is the notion of equicardinality. The language with Hartig quantifier is, roughly speaking, a first-order language in which the notion of equicardinality is expressible. Thus this language, denoted by LI, is in some sense very natural and has in consequence special interest. Properties of LI are studied in many papers. In [BF, Chapter VI] there is a short survey of some known results about LI. We feel that a more extensive exposition (...) of these results is needed. The aim of this paper is to give an overview of the present knowledge about the language LI and list a selection of open problems concerning it. After the Introduction $(\S1)$ , in $\S\S2$ and 3 we give the fundamental results about LI. In $\S4$ the known model-theoretic properties are discussed. The next section is devoted to properties of mathematical theories in LI. In $\S6$ the spectra of sentences of LI are discussed, and $\S7$ is devoted to properties of LI which depend on set-theoretic assumptions. The paper finishes with a list of open problem and an extensive bibliography. The bibliography contains not only papers we refer to but also all papers known to us containing results about the language with Hartig quantifier. Contents. $\S1$ . Introduction. $\S2$ . Preliminaries. $\S3$ . Basic results. $\S4$ . Model-theoretic properties of $LI. \S5$ . Decidability of theories with $I. \S6$ . Spectra of LI- sentences. $\S7$ . Independence results. $\S8$ . What is not yet known about LI. Bibliography. (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)

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)

Este ensayo se propone reconstruir la teoría aristotélica del tiempo en ocho pasos, a saber: 1. La movilidad como principal característica del ente; 2. la vida como praxis esencialmente vinculada al habla; 3. la relación expresa entre tiempo y experiencia del movimiento; 4. historia y movimiento natural, en el que se discute la relación y la diferencia entre éstos y el tiempo; 5. se busca mostrar cómo se genera propiamente el tiempo, recogiendo lo pensado en los pasos anteriores; 6. se (...) destaca la posibilidad lingüística de decir “ahora” como momento esencial de la comprensión de la generación del tiempo; 7 se intenta tematizar la relación que Aristóteles establece entre tiempo y número, y, por último; 8. la relación entre pasado y Tiempo. (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)

"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"--.