In his preface to the English edition, Apel (identified with critical theory) explains that the title of his two-volume German collection connotes both a reconstruction of the process of hermeneutic transformation in recent philosophy and the author's semiotical transformation of transcendental logic. The emphasis here is on the latter with discussions of the a priori nature of language per Wittgenstein, Peirce, and Chomsky, and its implications for a rational foundation for ethics in modern science. Includes a new foreword. Name index (...) only. Annotation copyrighted by Book News, Inc., Portland, OR. (shrink)

When this edition was published, all competent students of the history of jurisprudence and political thought at once recognized that Professor Barker had made ...

We explore the finite model theory of the characterisation theorems for modal and guarded fragments of first-order logic over transition systems and relational structures of width two. A new construction of locally acyclic bisimilar covers provides a useful analogue of the well known tree-like unravellings that can be used for the purposes of finite model theory. Together with various other finitary bisimulation respecting model transformations, and Ehrenfeucht–Fraïssé game arguments, these covers allow us to upgrade finite approximations for full bisimulation equivalence (...) towards approximations for elementary equivalence. These techniques are used to prove several ramifications of the van Benthem–Rosen characterisation theorem of basic modal logic for refinements of ordinary bisimulation equivalence, both in the sense of classical and of finite model theory. (shrink)

How can we prove that some fragment of a given logic has the power to define precisely all structural properties that satisfy some characteristic semantic preservation condition? This issue is a fundamental one for classical model theory and applications in non-classical settings alike. While methods differ greatly, and while the classical methods can usually not be matched for instance in the setting of finite model theory, this note surveys some interesting commonality revolving around the use and availability of tractable representatives (...) in the relevant model classes. The construction of models in which simple invariants like partial types based on some weak fragment control all the relevant structural properties, may be seen at the heart of such questions. We highlight some constructions involving degrees of acyclicity and saturation that can be achieved in finite model constructions, and discuss their uses towards expressive completeness w.r.t. bisimulation based equivalences in hypergraphs and relational structures. The emphasis is on the combinatorial challenges in such more constructive approaches that work in non-classical settings and especially in finite model theory. One new result concerns expressive completeness w.r.t. guarded negation bisimulation, a back-and-forth equivalence involving local homomorphisms. (shrink)

Hay toda una serie de preguntas que giran en torno a la problemática interna misma de la Scienza Nuova, y que sólo un "nuevo" concepto de ciencia -vinculado a la crítica de Vico a la formación de sistemas característica de la temprana Modernidad- las consigue responder de manera efectiva, bosquejando una nueva idea "orgánica" entre saber especulativo-teórico y saber orientado a los estados de cosas.There is a whole series of questions that revolves around the core problem of the Scienza Nuova: (...) only a "new" concept of science -linked to Vico's criticism of the formation of systems, characteristic of the early modernity- is able to respond to these questions in an effective manner, sketching a new "organic" idea between speculative-theoretical knowledge and knowledge directed to the state of things. (shrink)

This text presents a broad scope of philosophical issues and primary sources from the history of philosophy with the intent of providing students with a general introduction to significant and relevant questions in philosophy, the humanities, and the history of thought.