In the World Library of Psychologists series, international experts themselves present career-long collections of what they judge to be their finest pieces – extracts from books, key articles, salient research findings, and their major practical theoretical contributions. Elizabeth Valentine has an international reputation as an eminent scholar and pioneer in the field of philosophy and history of psychology. This selection brings together some of her best work over the last thirty years. A specially written introduction gives an overview of (...) her career and contextualises the selection in relation to changes in the field during this time. The first section on 'Philosophy' covers work on different theoretical approaches to psychology, introspection and the study of consciousness, the mind-body problem, and different types of explanation in psychology including reductionism. The second section, 'From Philosophy to History', includes work on the philosophical psychologists G. F. Stout and James Sully, among others. The third section on 'History' covers Valentine's more recent historical work on the development of psychology in London – both institutional and biographical – and includes accounts of both Bedford College and University College, and the role of pioneer women psychologists. The book enables the reader to trace developments in the philosophy and history of psychology over the last thirty years. It will appeal to anyone with interests in these areas as well as being an invaluable resource for graduate and advanced undergraduate courses in conceptual and historical issues. (shrink)

In this article, I set out Suárez's conception of the demon's obstinacy. For Suárez, the demons’ obstinacy is a divine punishment. It is the result of the free and awful choice to turn away from God that the demons have decided to make, the main consequence of which is the loss of the freedom to will and to do the good. Taking up Aquinas’s conception, Suárez considers that the demonic nature is irredeemably corrupt and obstinate in evil. Demons are provided (...) only with a miserable freedom, consisting of the possibility to choose between different evils. Perpetually sinful and eternally constrained to remain so, they are condemned to wretchedness, to complacency in evil, and to the unremitting torments of hell. (shrink)

This study used a partial least squares structural equation modelling (PLS-SEM) to estimate curriculum management's direct and indirect effects on university graduate programmes' viability. The study also examined the role of institutional effectiveness in mediating the nexus between the predictor and response variables. This is a correlational study with a factorial research design. The study's participants comprised 149 higher education administrators (23 Faculty Deans and 126 HODs) from two public universities in Nigeria. A structured questionnaire designed by the researchers was (...) used for data collection. The questionnaire was duly validated with an acceptable scale and item content validity indices. The dimensionality of the instrument was determined using exploratory factor analysis (EFA). Convergent validity was based on Average Variance Extracted (AVE), whereas discriminant validity was based on Fornell-Lacker criteria and the Hetero-Trait Mono-Trait (HTMT) ratio. Acceptable composite reliability estimates of internal consistency were reached for the three sub-scales. Following ethical practices, the questionnaire was physically administered to respondents and retrieved afterwards. Smart PLS (version 3.2.9) and SPSS (version 26.0) programs were used for all the statistical analyses. This study uncovered significant direct and indirect effects of curriculum management on the viability of graduate programmes. Institutional effectiveness significantly impacted graduate programmes’ viability while mediating the nexus between curriculum management and graduate programmes’ viability. Curriculum management and institutional effectiveness jointly explained a significant proportion of graduate programmes’ viability variance. The result of this study proved that graduate programmes’ viability depends, to a great extent, on how much curriculum is managed and how effective institutions are with their services. The result of this study can enable institutions seeking to run viable graduate programmes to re-evaluate their curriculum management practices and the effectiveness of their services. (shrink)

This is an introduction to proofs book for the course offering a transition to more advanced mathematics. It contains logic, sets, functions, relations, the construction of rational, real and complex numbers and their properties. It also has a chapter on cardinality and a chapter on counting techniques. The book explains various proof techniques and has many examples which help with the transition to more advanced classes like real analysis, groups, rings and fields or topology.

Crosslinguistically, the same modal words can be used to express a wide range of interpretations. This crosslinguistic trend supports a Kratzerian analysis, where each modal has a core lexical entry and where the difference between an epistemic and a root interpretation is contextually determined. A long-standing problem for such a unified account is the equally robust crosslinguistic correlation between a modal’s interpretation and its syntactic behavior: epistemics scope high (in particular higher than tense and aspect) and roots low, a fact (...) which has led to proposals that hardwire different syntactic positions for epistemics and roots (cf. Cinque’s hierarchy). This paper argues that the range of interpretations a modal receives is even more restricted: a modal must be keyed to certain time-individual pairs, but not others. I show that this can be captured straightforwardly by minimally modifying the Kratzerian account: modals are relative to an event—rather than a world—of evaluation, which readily provides a time (the event’s running time) and (an) individual(s) (the event’s participants). I propose that this event relativity of modals can in turn explain the correlation between type of interpretation and syntactic position, without stipulation of an interpretation-specific height for modals. (shrink)

Facultés, concepts, théories et modules innés... Le débat philosophique contemporain sur la structure naturelle de l'esprit multiplie les références aux idées innées. Noam Chomsky lui-même, défenseur d'une faculté innée de langage, s'inscrit dans la lignée de la philosophie moderne. Mais les idées innées contemporaines ont-elles le même sens que celles posées par Descartes et Leibniz? Les progrès des sciences biologiques et cognitives permettent-ils d'attester ou d'infirmer l'existence des idées innées? L'étude analyse les théories modernes et contemporaines des idées innées puis (...) propose une définition de l'innéisme qui démontre l'actualité du débat amorcé à l'âge classique entre innéisme et empirisme."--Page 4 of cover. (shrink)

This paper discusses the interaction of aspect and modality, and focuses on the puzzling implicative effect that arises when perfective aspect appears on certain modals: perfective somehow seems to force the proposition expressed by the complement of the modal to hold in the actual world, and not merely in some possible world. I show that this puzzling behavior, originally discussed in Bhatt (1999, Covert modality in non-finite contexts) for the ability modal, extends to all modal auxiliaries with a circumstantial modal (...) base (i.e., root modals ), while epistemic interpretations of the same modals are immune to the effect. I propose that implicative readings are contingent on the relative position of the modal w.r.t. aspect: when aspect scopes over the modal (as I argue is the case for root modals), it forces an actual event, thereby yielding an implicative reading. When a modal element scopes over aspect, no actual event is forced. This happens (i) with epistemics, which structurally appear above tense and aspect; (ii) with imperfective on a root modal: imperfective brings in an additional layer of modality, itself responsible for removing the necessity for an actual event. This proposal enables us to solve the puzzle while maintaining a standardized semantics for aspects and modals. (shrink)

How do children learn the meanings of propositional attitude verbs? We argue that children use information contained in both syntactic distribution and pragmatic function to zero in on the appropriate meanings. Specifically, we identify a potentially universal link between semantic subclasses of attitude verbs, their syntactic distribution and the kinds of indirect speech acts they can be used to perform. As a result, children can use the syntax as evidence about the meaning, which in turn constrains the kinds of pragmatic (...) enrichments they do and do not make in understanding these verbs in conversation. (shrink)

Organizational ethics involves the institutionalized principles, guidelines, and norms that influence how a company and its employees function in an ethical manner. Seeks to explore these important topics and present a more comprehensive overview of organizational ethics and stakeholder well-being in the business environment.

La primera parte del artículo presenta un raro texto titulado "Avertissements aux Confesseurs", que se completa con otros dos fragmentos y las "Ordenances synodales" para los confesores. Se muestra como ejemplo de los efectos prácticos del Concilio de Trento en la diócesis de Ginebra, como había hecho San Carlos Borromeo en Milán. La segunda parte del artículo se refiere a los penitentes, y aunque se basa principalmente en "Introducción a la vida devota" y "Conversaciones espirituales", también tiene en cuenta algunos (...) extractos de sus cartas, traducidas ahora por primera vez al español, así como algunos de sus sermones. La tercera parte trata de tres de los capítulos del "Tratado del amor de Dios", en el que San Francisco de Sales presenta su hermosa doctrina de la contrición, rechazada por la Reforma, pero confirmada por el Concilio de Trento. (shrink)

Researchers often talk about a powerful heuristic potential of the Kantian heritage, but sometimes they do not show concrete examples in defense of this opinion outside Kantianism and Neo- Kantianism. This article contains an attempt to demonstrate that on the example of how efficiently C.G. Jung used Kant’s ideas to construct the theoretical basis of analytical psychology in general and his conception of archetypes in particular, we can see the urgency of Kant’s heritage not only for his direct spiritual successors. (...) In addition the question is discussed: why did Jung claim that epistemologically he took his stand on Kant? (shrink)

Mange-t-on pour vivre ou vit-on pour manger? La question est peut-être mal posée. Car ce qu'il faudrait affirmer : c'est que le vivant mange la vie à pleines dents, et que vivre n'est qu'une métonymie de "vivres". Voilà l'hypothèse de cet essai. La vie doit dès lors être pensée à partir d'un certain régime d'alimentation. Traduire Freud, pour aujourd'hui, c'est sans doute soutenir que le malaise dans notre culture est désormais alimentaire. Dégoût pour la vie, manque d'appétit pour elle, quand (...) le vivant a en assez "soupé" et trinqué, il lui faut retrouver le goût de vivre. Comment réalimenter la vie? Comment la vitaminer? Comment, encore, lui donner envie de vivre, alors même que tout concourt à l'en dégoûter (terrorisme, catastrophes écologiques, famine, dépressions en tous genres)? Cela engage l'écologie, et l'économie libidinale. Une diététhique reste donc à penser. Car vivre ne se peut sans quelque envie de vivre(s). Voilà pourquoi le vivant n'est que ce qu'il mange. Ce livre essaye d'interroger l'histoire de la philosophie, de Platon jusqu'à Levinas, afin de nourrir notre appétit et notre soif de vivre(s), et de nous libérer de l'ascétisme morbide, dont le nom le plus récent fut : Heidegger. (shrink)

The concept of ‘transcendental reflection’ has been under-studied despite its crucial significance for Kant’s philosophical system. Kant’s transcendental reflection is an instrument inherent in our consciousness. Without this instrument, one would be unable to distinguish between representations/ fantasies and the reality; to have self-consciousness; to identify the functions of the human soul; to distinguish between the effects of the senses, the understanding, and reason within these functions, including identifying the a priori forms of the senses, the understanding, and reason; and (...) to classify representations by the faculty of cognition to which they belong. This study aims to reconstruct the main features of Kant’s ideas of transcendental reflection and to define this notion through analysing the Critique of Pure Reason and the other fundamental works of Kant. (shrink)

In this article, I critically reassess Iris Marion Young's late works, which centre on the distinction between liability and social connection responsibility. I concur with Young's diagnosis that structural injustices call for a new conception of responsibility, but I reject several core assumptions that underpin her distinction between two models and argue for a different way of conceptualising responsibility to address structural injustices. I show that Young's categorical separation of guilt and responsibility is not supported by the writings of Hannah (...) Arendt, which Young draws on, and that it is also untenable on independent systematic grounds. Furthermore, I argue that several of Young's other criteria fail to clearly demarcate two distinct phenomena. I therefore propose to transcend Young's distinction between two models in favour of a related, but conceptually different distinction between two forms of responsibility: interactional and structural. Embracing this terminology facilitates the conceptualisation of the general features of responsibility that are shared by both forms, including their retrospective and prospective time-direction and their applicability to individual, joint and group agency. The distinction between interactional and structural responsibility also yields a more compelling general account of the role of background structures, and of blame within ascriptions of political responsibility. (shrink)

Conventionally, international legal scholarship concerned with norm conflicts focuses on identifying how international law can or should resolve them. This book adopts a different approach. It focuses on identifying those norm conflicts that law cannot and should not resolve. The book offers an unprecedented, controversial, yet sophisticated, argument in favour of construing such irresolvable conflicts as legal dilemmas. Legal dilemmas exist when a legal actor confronts a conflict between at least two legal norms that cannot be avoided or resolved. Addressing (...) both academics and practitioners, the book aims to identify the character and consequences of legal dilemmas, to distill their legal function within the sphere of international law, and to encourage serious theoretical and practical investigation into the conditions that lead to a legal dilemma. The first part proposes a definition of legal dilemmas and distinguishes the term from numerous related concepts. Based on this definition, the second part scrutinises international law's contemporary norm conflict resolution and accommodation devices in order to identify their limited ability to resolve certain kinds of norm conflicts. Against the background of the limits identified in the second part, the third part outlines and evaluates the book's proposed method of dealing with legal dilemmas. In contrast to conventional approaches that recommend dealing with irresolvable norm conflicts by means of non liquet declarations, judicial law-making, or a balancing test, the book's proposal envisions that irresolvable norm conflicts are dealt with by judicial and sovereign actors in a complementary fashion. Judicial actors should openly acknowledge irresolvable conflicts and sovereign actors should decide with which norm they will comply. The book concludes with the argument that analysing various aspects of international law through the concept of a legal dilemma enhances its conceptual accuracy, facilitates more legitimate decision-making, and maintains its dynamic responsiveness." -- Publisher's website. (shrink)

La dimension artistique du mémorial de Peter Eisenmann a été peu considérée. A la croisée de l'architecture et de la sculpture, il convient d'étudier sa dimension urbaine et de relever son identité comme monument in situ. Les réflexions du philosophe Derrida sur le déconstructivisme architectural, notamment de Libeskind, sont capitales. Comme le dit Habermas, son défenseur majeur, le monument s'adresse aux descendants allemands des bourreaux. Notre essai propose une lecture adornienne du mémorial qui dépend de l'art abstrait et de sa (...) métexis aux ténèbres. Le mutisme du mémorial implique une réflexion sur les questions de l'infigurable et de l'ineffable concernant la Shoah. Si le sens de l'oeuvre semble être absent, cela peut s'expliquer par la déclaration de Ruth Klüger, selon laquelle l'extermination des juifs par les nazis est un non-sens absolu. Le monument invite à ouvrir le champ de la mémoire et contient un avertissement : l'autodestruction de l'espèce humaine. (shrink)

The publication of the Critique of Pure Reason by Immanuel Kant marked the beginning of an intellectual revolution not only in Philosophy, but also in other spheres of intellectual activity. Every year interest to this work is only growing up, especially in the context of the development of cognitive sciences and technologies related to the development and implementation of artificial intelligence systems. However, both Kant’s contemporaries and subsequent generations of researchers had questions about the basic concepts, outlined in the first (...) Critique. Nikolay Lossky became one of such outstanding experts in Kant’s philosophy, who carried out a metacritique of transcendental idealism. His analysis is interesting because it is characterized by consistency, depth and inclusiveness, despite the fact that he was not a supporter of Kant’s philosophy. The proposed article explicates the main points of the metacritique of pure reason carried out by Lossky. The aim is to systematize the advantages and disadvantages of transcendental idealism highlighted by him in order to assess the validity of objections and identify points that paradoxically escaped Lossky’s attention. In particular, it is shown that the highest evaluation of Lossky is awarded to Kant’s efforts to create an epistemology that does not rely as presuppositions on any other branches of human knowledge; the resolution of contradictions between Empiricism and Rationalism; the creation of the doctrine of synthetic rationality and transcendental logic; the idea of the need for the immanence of knowledge to consciousness. Lossky identified as the key shortcomings of transcendental idealism a range of contradictions grouped around such concepts as the things in themselves, affection, experience, inner sense, transcendental schema, and unity of apperception. At the same time, it is shown that such a key concept for Kant’s theoretical philosophy as transcendental reflection has disappeared from the Lossky’s field of consideration. The study is preceded by a brief description of Lossky’s characteristics, including personal ones, as a meta-critic of pure reason. (shrink)

This study intends to show that the question whether faith can be justified without proofs can be resolved by importing ideas from Kierkegaard’s and Plantinga’s affirmative take on the matter. There is a deep similarity between the way they understand belief in God and belief in Christianity: for both the first is considered universal human knowledge and the second seen as a gift from God. Against the charge that such an understanding is irrational Plantinga offers an externalist epistemological model which (...) allows those beliefs to be warranted. The authors also share the modern idea that there is an objective truth, combining it with the postmodern stance that no method exists which would guarantee access to it. A specific contribution on Kierkegaard’s part to the understanding of the rationality of transitions toward a Christian stage of existence is to show in detail the way in which such transitions are mediated through inwardnes - a perspective akin to Michael Polanyi’s scientific epistemology. One can see in both authors not only a deep commonality of ideas, but also a remarkable way in which their understandings augment each other. Whereas Plantinga’s inquiry contributes to the rational plausibility of a “Justified Faith without Reasons” project, Kierkegaard’s venture balances such a logical-analytic effort with a deep existential inquiry. (shrink)

A joyful exploration of what it means to be made in God's image.

The paper analyzes S.N. Spielrein’s scientific contribution to development K.G. Jung’s ideas. It starts with a list of areas pioneered by S.N. Spielrein’s and a review of literature which, as the author points out, is often biased, focusing not on the ideas of one of the first women in psychoanalysis, but on her personal life and individual characteristics. Further the paper analyzes several principal conceptions (with the exception of the original conception of destruction) where S.N. Spielrein’s contribution was essential. She (...) tried to give a more strict definition to C.G. Jung’s theory of the complex which played a key part in development of analytical psychology. S.N. Spielrein was the first to prove empirically in her dissertation the potential of the theory which contradicted classical psychoanalysis. S.N. Spielrein also played a part in development of C.G. Jung’s notions of philo- and ontogenesis of the mind in the process of the so called ‘complex intergrowth’ and gradually developing a common core in the form of I-consciousness. She also worked to define genesis of schizophrenia as a process of replacement of the personal content of the mind by collective contents. She contributed to development of the notion of the collective unconscious. The author analyzes her conception of ‘ancestral soul’ in the context of later achievements of analytical psychology, pointing out similarities in definitions. The author suggests a hypothesis on reasons why, after her separation from C.G. Jung, all mention of the collective unconscious disappeared from S.N. Spielrein’s publications. In conclusion, on the basis of characteristics of the female mind, identified by S.N. Shpilrein, the author hypothesizes on why actuality of her ideas has not been appreciated. Статья посвящена оценке научного вклада С.Н. Шпильрейн в развитие идей К.Г. Юнга. Основной текст предваряется указанием областей, в которых Шпильрейн оказалась первопроходцем, а также библиографическим обзором с выявлением слабых мест сложившейся традиции, сторонники которой предпочитают фокусироваться не на идеях одной из первых женщин-психоаналитиков, а на ее личной жизни и психологических особенностях. В основной части подробно рассматриваются несколько ключевых для аналитической психологии концепций (за исключением оригинальной концепции деструкции), вклад С.Н. Шпильрейн в развитие которых оказался наиболее существенным. Во-первых, анализируются ее усилия по уточнению сформулированной К.Г. Юнгом теории комплекса, сыгравшей ключевую роль в становлении аналитической психологии. С.Н. Шпильрейн стала первым исследователем, который в своей диссертации на конкретном эмпирическом материале доказал приемлемость этой теории, идущей вразрез с классическим психоанализом. Во-вторых, эксплицируется вклад С.Н. Шпильрейн в развитие представлений К.Г. Юнга о филогенезе и онтогенезе психики в результате так называемого комплексного срастания и постепенного обретения единого стержня в форме Я-сознания. В-третьих, отмечается роль Шпильрейн в уточнении генезиса шизофрении как процесса замещения личностных содержаний психики коллективными психическими содержаниями. В-четвертых, рассматривается вклад С.Н. Шпильрейн в развитие понятия коллективного бессознательного. В частности, анализируется ее учение о «душе рода» или «родовой душе» в контексте более поздних открытий аналитической психологии, указываются сходства формулировок. Кроме того, выдвигается гипотеза, почему после разрыва с К.Г. Юнгом в трудах С.Н. Шпильрейн полностью исчезают концепты, близкие понятию коллективного бессознательного. В заключение на основании выявленных С.Н. Шпильрейн особенностей женской психики строится предположение, почему ее идеи только сегодня стали по-настоящему актуальными. (shrink)

The article compares views of C.G. Jung and N.O. Lossky on the nature of time, including in the context of contemporary to them physical theories - quantum mechanics by W. Pauli and relativistic physics by A. Einstein. In particular, the author points to the similarity of ideas of both thinkers that the psyche relativizes time not only subjectively, but also objectively. Jung and Lossky provide this statement with a similar empirical basis, for example, the researches of T. Flournoy, as well (...) as similar theoretical arguments by postulating a fundamental acausal principle of the connection of all things, which is better suited for describing psychic and some physical phenomena than the classical causal explanation. In analytical psychology, such a principle is synchronicity, in hierarchical personalism - gnoseological coordination. Both concepts are genetically related to the G.W. Leibniz idea of pre-established harmony, which was reinterpreted by Jung and Lossky through different worldview foundations. Jung in his reasoning relied on the transcendental idealism of I. Kant, the principle of complementarity and the discoveries of quantum mechanics, Lossky - on intuitivism, the principle of subordination and on his own interpretation of Einsteins theories. Jung comes to the conclusion that the psyche has a timeless character, and Lossky comes to the conclusion that it has a super-temporal character. Jungs timelessness indicates the transcendental nature of psyche and the strive to get away from the classical causal explanation, saving it according to the principle of complementarity only to consider the phenomenal side of being and mainly physical processes. One of the pioneers of quantum mechanics Pauli was of the same opinion in general. Because of there is nothing transcendent in hierarchical personalism, Losskys super-temporality is of a strive to find a deeper basis for occurring in time processes, and, according to the principle of subordination, to include time in the hierarchical structure of the universe, prescribing for it a role of one of the two key forms of psychic and psycho-material processes characteristic of a certain stage of being. (shrink)

In the 19th century, the history of philosophy becomes the history of a particular science. Modern philosophical historiography is an ambivalent project. On the one hand, we find an affirmative concept of Bildung through tradition and historical insight; on the other, there arises a critical reflection on historical education in the light of an emerging critique of modern culture. The book offers a comprehensive overview of the debate.

We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...) are elementary canonical and thus extend Sahlqvist’s theorem over them. In particular, we give a simple example of an inductive formula which is not frame-equivalent to any Sahlqvist formula. Then, after a deeper analysis of the inductive formulae as set-theoretic operators in descriptive and Kripke frames, we establish a somewhat stronger model-theoretic characterization of these formulae in terms of a suitable equivalence to syntactically simpler formulae in the extension of the language with reversive modalities. Lastly, we study and characterize the elementary canonical formulae in reversive languages with nominals, where the relevant notion of persistence is with respect to discrete frames. (shrink)

Principles of Philosophy was written in Latin by Rene Descartes. Published in 1644, it was intended to replace Aristotle's philosophy and traditional Scholastic Philosophy. This volume contains a letter of the author to the French translator of the Principles of Philosophy serving for a Preface and a letter to the most serene princess, Elizabeth, eldest daughter of Frederick, King of Bohemia, Count Palatine, and Elector of the Sacred Roman Empire. Principes de philosophie, by Claude Picot, under the supervision of Descartes, (...) appeared in 1647 with a letter-preface to Queen Christina of Sweden. (shrink)

‘Institution’ as a concept has a particular resonance in the collaborative work of Deleuze and Guattari. Looking at institutional psychotherapy and the way in which it traverses the works of Deleuze and Guattari, this article will attempt to offer some ways that the concept of institution can be put to work. To do so, it will begin with two statements about institutional psychotherapy made by the psychiatrist Jean Oury: ‘Institutional psychotherapy is perhaps the putting in place of all kinds of (...) means to struggle, each day, against all that might make the whole of the “collective” topple over towards a segregative or concentrationary structure’, and ‘The establishment is a building and a contract agreed with the State, a price per day. The institution, when it exists, is a labour, a strategy to avoid a whole load of people fermenting, like a jar of jam with a poorly closed lid.’ These statements will open the door to a deeper exploration of what an institution can do and how it was activated in Guattari’s clinical practice and in the collaborative philosophy developed with Deleuze. (shrink)

Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.

We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's and (...) Stavi's temporal operators, as well as nominals (names, clock variables), are definable in them. Universal validity in these languages is proved undecidable. The basic modal and temporal logics with reference pointers are uniformly axiomatized and a strong completeness theorem is proved for them and extended to some classes of their extensions. (shrink)