Ce texte a déjà paru dans la Revue germanique internationale, n° 14, 2011. Nous remercions Clémence Couturier-Heinrich de nous avoir autorisé à le reproduire ici. Résumé : Gottfried Hermann (1772-1848) a fait ses études, puis sa carrière d'enseignant et de chercheur à Leipzig. Parmi les philologues classiques allemands de la première moitié du XIXesiècle, il se singularise par l'influence que la philosophie de Kant a exercé sur ses conceptions théoriques dans plusieurs domaines, notamment la métrique. (...) - Études germaniques (...) – Nouvel article. (shrink)

This paper deals with various substructural propositional logics, in particular with substructural subsystems of Nelson's constructive propositional logics N– and N. Doen's groupoid semantics is extended to these constructive systems and is provided with an informational interpretation in terms of information pieces and operations on information pieces.

Kleinschmidt's definition of the “Weltformenkreis” as the smallest systematical unit of affinity removes any danger of obliterating the type and at the same time opens a way for judging the superior taxonomic groups on principle differently from the subspecies of a “Formenkreis”.It is demonstrated that the characters of geographical subspecies are characters of apparent shaping, those of the species however are characters of construction and qualitative and autonomic ones. It is the type differentiating in quality that justifies the definition of (...) species. As the characters of type do not necessarily appear gradual and quantitative, but are qualitative, the types cannot be derived from one another, unless they are conceived by the common superordinate idea of the superior systematical category next in order.The distinct division of species is opposed to the hypothetical continuity of the pedigree, which cannot be explained by a consanguinity nor by an affinity based on reproduction. The pedigree, however, is an expression of the spiritual order of nature, in which the types appear as units hierarchically graduated and determined by entelechy, not by dead matter.Within the systematical units there is a creative evolution, steadily pursuing its aim and leading from the primitive stage to the differentiated one, beginning with a juvenile phase, which is followed by orthogenetic maturity and, finally, by the aged stage with its “detypification”. The adaptation to the environment may be also proved for the primitive forms and is an organic part of the whole design of the world for them as well as for the specialized and differentiated forms. — The formation of new types cannot be explained in a merely mechanical way; everywhere, even in the gens and genoms, we state ingenious modifications, which do not only bring about a reaction of a single modification to the whole, but operate from the whole. Since the origin of man, since the tertiary formation, the creation of species has completely ceased. There are only alterations of subspecific character.After a digressive treatise on the fundamental difference of man and animal in order to explain the type the superior systematical categories are characterized as spiritual realities. It is especially for the “genus” that a revision is necessary. The reality of the common origin of certain species within the genus is not based on reproduction , but on the superior totality comprising the species. Individuals can be conceived by the character of the species, species by the character of genus only. This is an evidence for the methodicalness of creative nature. It excludes any evolution of the genus “from bottom to top”, which is irregular, accidental or immediately formed by environment. From this we derive the comprehensive right of a natural system which now is more than mere classification.Kleinschmidt qui donne une définition du „Weltformenkreis” comme la plus petite unité d'affinité systématique, déjoue le danger d'oblitérer le type et offre, en même temps, la possibilité de juger les groupes taxonomiques supérieurs par principe différemment de la souspèce d'un „Formenkreis”.Nous démontrons que les caractères des souspèces géographiques sont des caractères du façonnement extérieur, tandis que ceux de l'espèce sont des caractères de la construction d'une manière qualitative et autonome. Le type différent en qualité justifie seulement la définition de l'espèce. Comme les caractères du type n'apparaissent pas nécessairement graduels et quantitatifs, mais sont au contraire, qualitatifs, les types ne se dérivent pas l'un de l'autre, à moins qu'ils ne soient compris par la commune idée supérieure du plus sublime groupe systématique.La division distincte des espèces s'oppose à la continuité hypothétique de la généalogie, qui ne s'explique pas par une consanguinité ni par une affinité se fondant sur la reproduction, mais qui est plutôt une expression du régime spirituel de la nature, dans lequel les types se présentent comme des unités rangées hiérarchiquement et réglées par l'entéléchie et non par la matière.Dans les unités systématiques il y a une évolution créatrice qui tend continuellement à son but et mène de la phase primitive à la phase différentiée commençant par un état juvénile, qui est succédé par la maturité orthogénétique et enfin par l'âge avec sa „détypification”. L'adaptation au milieu est démontrée pour les formes primitives et représente un élément organique du grand projet mondial pour elles aussi bien que pour les formes spécialisées et différentiées. — La formation de types nouveaux ne s'explique pas seulement d'une manière mécanique; partout, même dans les „genes” et les „genomes”, nous observons des transformations ingénieuses, qui ne sont pas seulement une réaction d'une modification particulière à l'ensemble, mais un effet de l'ensemble. Depuis l'origine de l'homme, depuis la période tertiaire la formation d'espèces est complètement finie. À présent il n'y a plus que des variations d'un caractère souspécifique. Après un traité digressif sur la différence essentielle de l'homme et de l'animal pour expliquer le type les groupes systématiques supérieurs sont caractérisés comme des réalités spirituelles. C'est surtout pour le genre qu'une révision est nécessaire. La réalité de la racine commune de certaines espèces dans le genre ne se fonde pas sur la reproduction , mais sur la totalité supérieure qui implique toutes les espèces. Des individus sont compris par le caractère d'espèce, des espèces seulement par le caractère de genre. C'est une preuve de la méthode de la nature créatrice. Elle exclut une évolution de genre „du bas en haut”, qui est irrégulière, faite par hasard ou formée directement par le milieu. De là nous dérivons le droit compréhensible d'un système naturel, qui est désormais plus qu'une simple classification. (shrink)

A new combined temporal logic called synchronized linear-time temporal logic (SLTL) is introduced as a Gentzen-type sequent calculus. SLTL can represent the n -Cartesian product of the set of natural numbers. The cut-elimination and completeness theorems for SLTL are proved. Moreover, a display sequent calculus δ SLTL is defined.

Der dritte Band behandelt die ausseren Umstande, unter denen die platonischen Philosophen im 2. und 3. Jh. n. Chr. lebten, insbesondere ihre Forderung durch Stadte und Kaiser, offentliche Ehrungen, das Urteil Aussenstehender uber sie, den Ruckgang der Philosophie im 3. Jh. n. Chr.; daruber hinaus wird die Beschaftigung mit den Schriften Platons dargestellt: Kommentare zu den Dialogen Platons, Gesamtdarstellungen der Lehre Platons, Monographien zu wichtigen Streitfragen, Platonlexika.

In this paper we discuss Gabbay's idea of basing nonmonotonic deduction on semantic consequence in intuitionistic logic extended by a consistency operator and Turner's suggestion of replacing the intuitionistic base system by Kleene's three-valued logic. It is shown that a certain counterintuitive feature of these approaches can be avoided by using Nelson's constructive logic N instead of intuitionistic logic or Kleene's system. Moreover, in N a more general notion of consistency can be defined and nonmonotonic deduction can thus be based (...) on a logical system satisfying the Deduction Theorem. (shrink)

Cet ouvrage doit contribuer à renforcer l'assurance des éducateurs et soutient deux thèses : d'abord, l'important pour la pédagogie est la méta-théorie, ensuite, qui n'atteint pas le niveau de la méta-théorie reste volontairement dans la servitude. L'éducateur doit donc être intelligent et avoir toute liberté dans sa tâche.

Zusammensetzung des Körpers.--Die sinnliche Wahrnehmung.--Der Mikrokosmos (der Mensch eine kleine Welt)--Embryologie, Astrologie.--Die Theilseele.--Die Grenze des menschlichen Wissens.--Leben und Tod.--Schmerz und Lust.--Ton, Laut, Sprache.

Theoretische Wissenschaft.--Praktische Wissenschaft.--Praktische Wissenschaft.--Charakteriehre (Psychologie).--Einleitung in die Logik.--Katagorien.--Hermeneutica und Analytika I.--Analytika posteriora.

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

Der dritte Band behandelt die ausseren Umstande, unter denen die platonischen Philosophen im 2. und 3. Jh. n. Chr. lebten, insbesondere ihre Forderung durch Stadte und Kaiser, offentliche Ehrungen, das Urteil Aussenstehender uber sie, den Ruckgang der Philosophie im 3. Jh. n. Chr.; daruber hinaus wird die Beschaftigung mit den Schriften Platons dargestellt: Kommentare zu den Dialogen Platons, Gesamtdarstellungen der Lehre Platons, Monographien zu wichtigen Streitfragen, Platonlexika.

Du point de vue méthodologique et épistémologique, la vision occupe une place privilégiée dans les œuvres de Galien de Pergame, ce qui explique les tentatives répétées de ce dernier pour en expliquer le fonctionnement. En partie grâce à la dissection et à la vivisection pratiquées sur des animaux de différentes espèces, il développa une connaissance détaillée de l’anatomie de l’œil, du nerf optique, du cerveau, des muscles oculaires et du système vasculaire cérébral et oculaire. Il utilisa avec habileté cet impressionnant (...) savoir anatomique pour élaborer une explication détaillée de la physiologie de la vision. Pour expliquer comment voient les êtres humains, il fit également appel à l’optique mathématique, notamment à l’optique euclidienne. Cependant, en dépit d’efforts remarquables pour intégrer anatomie, physiologie et mathématiques dans une unique théorie cohérente de la vision, une analyse plus attentive montre que son explication de la vision n’est pas exempte de lacunes non négligeables, de difficultés non résolues et de tensions internes. (shrink)

[327] § 1. Quoique, depuis le renouvellement des Lettres, les Mathématiques aient été enrichies de plusieurs parties, par l’application qu’on en a faite à différents objets de physique, il s’en faut de beaucoup qu’on ait également réussi dans ce qui regarde les objets métaphysiques. Ces objets paraissent moins traitables, et il n’est pas même facile d’en indiquer la cause. II faudrait pour cet effet remonter à l’origine des idées abstraites, afin de mieux connaître celles qu’on traite dans la...

Aesta investigacion se ha centrado en la serie de conceptos juridicos que Eugenio Maria de Hostos (1839-1903) expone primordialmente en Nociones de Derecho constitucional (1902) y en Lecciones de Derecho constitucional (1887). Junto a la obra de Hostos, a manera de un estudio comparado de su cultura constitucional (o juridica), nos hemos interesado por indagar en la posible materia prima de sus ideas propias, resultado de sus lecturas, de sus observaciones directas y de las continuas meditaciones a que lo solicita (...) el doloroso desarrollo de las sociedades latinoamericanas. Esta metodologia nos ha permitido considerar la influencia que sobre su teoria constitucional han ejercido, especialmente, el metodo positivo de Auguste Comte (1798-1857) y las teorias politicas desarrolladas por Florentino Gonzalez (1805-1875), Heinrich Ahrens (1808-1874) y Pierre Joseph Proudhon (1809-1865). (shrink)

El artículo presenta una interpretación del abordaje axiomático temprano a la geometría de David Hilbert, i.e., el desarrollado entre 1891 y 1905. Se sostiene que diversos aspectos de este abordaje, a primera vista problemáticos, se pueden comprender mejor si se contrastan con una de sus influencias más importantes en este periodo: la teoría pictórica [Bildtheorie] de Heinrich Hertz. En particular se argumenta que un análisis de la concepción axiomática de Hilbert a la luz de la teoría de Hertz permite (...) aliviar ciertas tensiones en la concepción hilbertiana; más precisamente, las tensiones que surgen de mantener, al mismo tiempo, una posición axiomática abstracta o formal y una concepción empirista de la geometría, que la considera una ciencia natural. (shrink)

"L'un des aspects les plus intrigants de l'œuvre de Michel Foucault réside dans son intérêt tardif pour la pensée antique, plus spécialement pour la culture grecque et son héritage romain qu'on peut faire remonter à ses recherches ayant mené, à partir de 1976, à son Histoire de la sexualité. Du fait même de l'infléchissement que connut alors sa pensée, Foucault fut à même d'établir des liens à tous égards originaux et même surprenants entre la pensée antique et la réflexion moderne. (...) En le lisant, c'est une tradition de près de 2500 ans qui s'offre désormais à notre regard. Que nous apprend, sur notre histoire, le fait de mettre en parallèle les propos de Socrate et ceux de Kant? À quoi peut servir l'interrogation menée sur la sexualité antique, si ce n'est peut-être à la « dépsychologiser », la « dépathologiser », la « détaxonomiser », et ainsi la « désenclaver » de ses classifications ultérieures? Que nous enseigne le fait d'entendre par « modernité » non plus une « époque » particulière de l'histoire, mais une manière d'être des individus, une certaine attitude adoptée, « ce que les Grecs, souligne Foucault, appelaient un ' éthos ' »? De quelle manière, finalement, l'esprit critique moderne s'éclaire-t-il de l'esprit critique antique? Les études ici rassemblées posent ces questions à Foucault, avec Foucault et parfois aussi contre Foucault, en écho toujours à ce « courage de la vérité » dont il incarna si splendidement l'exemple."--Page 4 de la couverture. (shrink)

Die Erforschung Kants ist langst zu einem weltumspannenden Unternehmen geworden. Welch reiche Frucht der Wissenschaft dadurch zufallt, zeigen die Beitrage dieser Festschrift, die dem Nestor der deutschen Kantforschung, Norbert Hinske, gewidmet ist. Bekannte Vertreter der italienischen, japanischen, russischen und deutschen Kantforschung kommen zu Wort. Von besonderer Bedeutung fur die - in diesem Punkt ganzlich neu zu schreibende - Lebens- und Entwicklungsgeschichte Kants ist ein neu entdeckter, erstmals im Faksimile abgedruckter Brief von J. E. Biester an J. N. Tetens, der belegt, (...) dass der preussische Kultusminister v. Zedlitz zunachst nicht etwa Kant, sondern Tetens nach Halle berufen hat. Hinskes vollstandige Bibliographie rundet den Band ab - und zeigt eindrucksvoll, wie viel die Kantforschung weltweit gerade ihm zu verdanken hat. The study of Kant has long been a global undertaking. The articles in this Festschrift for the leading German expert on Kant, Norbert Hinske, show how richly productive this has been for scholars. Leading Italian, Japanese, Russian and German representatives of research on Kant have provided contributions to it. What is particular significant for the history of Kant's life and development, which has to be completely rewritten in this regard, is a newly discovered letter, reprinted in facsimile for the first time, from J. E. Biester to J. N. Tetens, which proves that Prussian Minister of Culture v. Zedlitz initially did not appoint Kant but rather Tetens to the position in Halle. Hinske's complete bibliography is included in the volume and is impressive evidence of how much Kant research worldwide owes to him. (shrink)

L’œuvre philosophique de Lambert a souvent été traitée comme un moment de l’histoire de la formation de la pensée kantienne et des antécédents de la Critique de la raison pure. C’est en méconnaître l’originalité. Les deux ouvrages à cet égard les plus importants, le Nouvel Organon (1764) et l’Architectonique (1771) ont été conçus originellement comme les parties complémentaires d’un même projet qui s’inscrit dans la longue histoire de l’union entre logique et métaphysique. L’architectonique est une doctrine des catégories : le (...) recensement des notions ou concepts simples permettant de penser un objet quelconque réalise, en en déplaçant le champ d’application, la visée d’universalité qui définissait la métaphysique générale ou philosophie première dans les ontologies wolffiennes. Ce n’est plus une doctrine de l’étant comme tel, mais une anatomie de l’entendement inspirée par Locke. Cependant le traitement des concepts simples ainsi obtenus revient à la méthode mathématique suivant l’exemple de Wolff, corrigé par un retour au modèle euclidien : il s’agit, somme toute, de procéder pour chaque concept simple comme Euclide l’a fait pour l’un d’entre eux, celui de l’espace. L’architectonique peut ainsi, par l’établissement des combinaisons et dérivations de ces concepts, livrer le plan systématique du tout de la connaissance. Ainsi, la singularité de Lambert trouve mieux sa place dans la lignée qui va de la Science Générale leibnizienne à la Doctrine de la science (Wissenschaftslehre) de Bolzano ; et on peut y voir aussi, comme Cassirer l’a proposé, une préfiguration de la théorie de l’objet (Gegenstandstheorie) de Meinong. (shrink)

Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.

Heinrich Rickert (1863-1936) war einer der bedeutendsten deutschen Philosophen vor dem Zweiten Weltkrieg und gilt neben Wilhelm Windelband als einer der Hauptvertreter der südwestdeutschen Schule des Neukantianismus. Seine auch heute noch anregende Philosophie hatte großen, interdisziplinären wie internationalen Einfluss. Die philologisch-kritische Ausgabe macht die Schriften endlich wieder verfügbar.

Imagination has recently attracted considerable attention from epistemologists and is recognized as a source of belief and even knowledge. One remarkable feature of imagination is that it is often and typically agentive: agents decide to imagine. In cases in which imagination results in a belief, the agentiveness of imagination may be taken to give rise to indirect doxastic control and epistemic responsibility. This observation calls for a proper understanding of agentive imagination. In particular, it calls for the development of a (...) semantics of imagination ascriptions. In the present paper an earlier suggestion by Ilkka Niiniluoto for a logic of imagination is considered. This proposal does not capture the agentive nature of imagination, and an alternative semantics is suggested. The new semantics combines the modal logic of agency with the neighbourhood semantics from alethic modal logic. (shrink)

The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997. It collects work on proof systems for modal and constructive logics I have done over the last few years. The main concern is display logic, a certain refinement of Gentzen's sequent calculus developed by Nuel D. Belnap. This book is far from offering a comprehensive presentation of generalized sequent systems for modal logics broadly conceived. (...) The proof-theory of non-classical logics is a rapidly developing field, and even the generalizations of the ordinary notion of sequent listed in Chapter 1 can hardly be presented in great detail within a single volume. In addition to further investigating the various approaches toward generalized Gentzen systems, it is important to compare them and to discuss their relative advantages and disadvantages. An initial attempt at bringing together work on different kinds of proof systems for modal logics has been made in [188]. Another step in the same direction is [196]. Since Chapter 1 contains introductory considerations and, moreover, every remaining chapter begins with some surveying or summarizing remarks, in this preface I shall only emphasize a relation to philosophy that is important to me, register the sources of papers that have entered this book in some form or another, and acknowledge advice and support. (shrink)

Vol. presents a method for critically evaluating relevance in arguments based on case studies & a new relevance theory incorporating techniques of argumentation theory, logic & artificiaI intelligence. For scholars/students in argumentation & rhetoric.

Pars 1. Contemplativa -- Pars 2. Activa.