Construction of monadic three-valued Łukasiewicz algebras

The notion of monadic three-valued ukasiewicz algebras was introduced by L. Monteiro ([12], [14]) as a generalization of monadic Boolean algebras. A. Monteiro ([9], [10]) and later L. Monteiro and L. Gonzalez Coppola [17] obtained a method for the construction of a three-valued ukasiewicz algebra from a monadic Boolea algebra. In this note we give the construction of a monadic three-valued ukasiewicz algebra from a Boolean algebra B where we have defined two quantification operations and ^* such that ^*x=^*x (where ^*x=-^*-x). In this case we shall say that and ^* commutes. If B is finite and is an existential quantifier over B, we shall show how to obtain all the existential quantifiers ^* which commute with .Taking into account R. Mayet [3] we also construct a monadic three-valued ukasiewicz algebra from a monadic Boolean algebra B and a monadic ideal I of B. The most essential results of the present paper will be submitted to the XXXIX Annual Meeting of the Unión Matemática Argentina (October 1989, Rosario, Argentina).     

From I: A/M to “Who am I?”—Aggregation/Massification and Trauma-Based Affects and Object Relations in Groups: A Response to Earl Hopper

Hopper's portrayal of the fourth basic assumption of Incohesion: Aggregation/Massification has two components: (1) a revision of Turquet's theory of BA Oneness to incorporate the polarity of aggregation and massification stemming from annihilation anxiety; and (2) a conception of the difficult patient as having an encapsulated psychosis. Hopper's theory of the encapsulated psychosis offers an important but incomplete perspective in explaining borderline and narcissistic pathology, as well as psychological trauma. In this response to Hopper, I suggest that the fourth assumption is in fact a still more primitive state of boundary opening and closing. I also see a need to differentiate trauma as such from borderline pathology, and further hold that the relationship between Hopper's British Independent theory and trauma theories based on dissociation needs to be clarified.     

Rethinking the Fallacy of Hasty Generalization

This paper makes a case for a refined look at the so- called fallacy of hasty generalization by arguing that this expression is an umbrella term for two fallacies already distinguished by Aristotle. One is the fallacy of generalizing in an inappropriate way from a particular instance to a universal generalization containing a for all x quantification. The other is the secundum quid (in a certain respect) fallacy of moving to a conclusion that is supposed to be a universal generalization containing a for all x quantification while overlooking qualifications that have to be added to the more limited kind of generalization expressed in the premise. It is shown that these two fallacies relate to two different kinds of generalization.The classification of fallacious generalizations is based on a new theory of generalization that distinguishes three kinds of generalizations – the universal generalization of the for all x type, used in classical deductive logic, the inductive generalization, based on probability, and the presumptive generalization, which is defeasible, and allows for exceptions to a general rule. The resulting classification goes beyond a logic-oriented analysis by taking into account how a respondent may oppose a potentially fallacious generalizing move by falsifying it. Using a dialectical interpretation of premise-conclusion complexes, the paper outline a richer concept of generalizing argument moves embedded in a communicational reconstruction of the strategic uses of such moves in which two parties take part in an orderly dialectical exchange of viewpoints.     

O pojęciu zdania analitycznego

Rezultaty przedstawione w pracy niniejszej pokrywaj si czciowo z wynikami osignitymi przezR. Wójcickiego w pracy:Analityczne komponenty definicji arbitralnych. Studia Logica, t. XIV. Dotyczy to gównie rezultatów zawartych w czci pierwszej. Chciabym podkreli, i wyniki R. Wójcickiego uzyskane zostay cakowicie niezalenie od rezultatów przedstawionych w pracy obecnej.Allatum est die 16 Aprilis 1962     

Three views of demonstrative reference

Three views of demonstrative reference are examined: contextual, intentional, and quasi-intentional. According to the first, such reference is determined entirely by certain publicly accessible features of the context. According to the second, speaker intentions are criterial in demonstrative reference. And according to the third, both contextual features and intentions come into play in the determination of demonstrative reference. The first two views (both of which enjoy current popularity) are rejected as implausible; the third (originally proposed by Kaplan in Dthat) is argued to be highly plausible.     

On seeing oneself as “left out”: The chronically complaining patient in psychotherapy

A clinical observation regarding patients who complain about feeling left out and/or second best provides the framework for this paper. What is expressed is a form of separation anxiety coupled with a loser self-concept. It is suggested that these patients represent a milder form of the moral masochism. Early theoretical formulations include Freud and his emphasis on the superego and Reich's emphasis on the masochist's fear of being left alone. Kramer's little man phenomenon is an example of a more current theoretical formulation which takes account of the complexities of the ego, and composite self and identity in the clinical phenomena observed. A case of a latency-aged child is provided.     

Kenneth Strike on Liberalism,Citizenship and the Private Interest in Schooling

After indicating a number of points of agreement with the argument 0eveloped by Kenneth Strike in his article Liberalism, Citizenship and the Private Interest in Schooling, this article identifies and explores a number of queries and criticisms which arise in relation to that argument. These queries and criticisms relate especially to the nature and extent of the expansiveness involved in Strike's conception of public or common educational influence, and to the implications and justification of the claim that private educational interests enjoy a greater salience and recognition on Strike's view of public or common educational influence than on some alternative views.     

An abstract setting for Henkin proofs

A general result is proved about the existence of maximally consistent theories satisfying prescribed closure conditions. The principle is then used to give streamlined proofs of completeness and omitting-types theorems, in which inductive Henkin-style constructions are replaced by a demonstration that a certain theory respects a certain class of inference rules.     

The Client Is the Most Important Common Factor: Clients' Self-Healing Capacities and Psychotherapy

I first briefly review the dodo bird verdict and suggest that we should be responding to it by looking for a new way to conceptualize how therapy works. Then I describe the dominant medical or treatment model of psychotherapy and how it puts the client in the position of a dependent variable who is operated on by supposedly potent therapeutic techniques. Next I argue that the data do not fit with this model. An alternative model is that the client is the most important common factor and that it is clients' self-healing capacities which make therapy work. I then argue that therapy has two phases—the involvement phase and the learning phase—and that the involvement phase is the most important. I next review the five learning opportunities provided by therapy. Finally, I argue that a relational model of therapy focused on consultation, collaboration, and dialogue is better than a treatment model.     

Commentary on Boharts “The Client is the Most Important Common Factor”

The cliché Treatment operates on patient to produce effects is reversed by Bohart into Client operates on treatments and procedures to produce effects. Although this formula has the advantage of underscoring the patient's responsibility and competence, it may also overemphasize his or her role. A more balanced formula could be Process operates on both patient and client to produce effects, as it means that neither the therapist nor the client, but the process is the operator. There seems to be not much to earn, if the old hero (the therapist) is replaced by the new one (the client). A more promising perspective opens if both give up their pretence to be the operator, or the one who knows what is to be done, and listen and submit to the logic of the process that goes beyond both.     

The Origin of the Concept of “Allgemeinbildung” in 18th Century Germany

The German theory of education refers mainly to what is called Bildung. The historical sense of Bildung is not cultivaion, but cultivation for inwardness. This concept has two sources, the neo-platonic inner soul on one hand, pietistic piety on the other hand. The article shows that these sources had been part of European discussions before the development of national cultures after 1750. So the German concept of Bildung, famous for the German Sonderweg in culture and politics, had been composed out of non-German sources. The nationalizaiton of inwardness began at the end of the 18th century and was established in 19th century German Higher Education.     

Heidegger's Brightness as a Responsibility of the Therapist in Existential Family Therapy

The author reflects upon the Heideggerian concepts of thrown-ness, death imagery, arrogance and brightness and their usefulness in existential family therapy. The article describes and illustrates with clinical material the process of helping a couple or family to move from an arrogance response to thrownness and death imagery to the response of brightness as attendants of Being. The responsibilities of the therapist in facilitating such a process are also described.Director of the Worthington Logotherapy Institute, co-director of Lantz and Lantz Counseling Associates, and a professor at The Ohio State University. College of Social Work     

Axiomatization of the De Morgan type rules

In Section 1 we show that the De Morgan type rules (= sequential rules in L(, ) which remain correct if and are interchanged) are finitely based. Section 2 contains a similar result for L(). These results are essentially based on special properties of some equational theories.     

Modal Logics of Succession for 2-Dimensional Integral Spacetime

We consider the problem of axiomatizing various natural successor logics for 2-dimensional integral spacetime. We provide axiomatizations in monomodal and multimodal languages, and prove completeness theorems. We also establish that the irreflexive successor logic in the standard modal language (i.e. the language containing and ) is not finitely axiomatizable.     

Algebraic aspects of deduction theorems

The first known statements of the deduction theorems for the first-order predicate calculus and the classical sentential logic are due to Herbrand [8] and Tarski [14], respectively. The present paper contains an analysis of closure spaces associated with those sentential logics which admit various deduction theorems. For purely algebraic reasons it is convenient to view deduction theorems in a more general form: given a sentential logic C (identified with a structural consequence operation) in a sentential language I, a quite arbitrary set P of formulas of I built up with at most two distinct sentential variables p and q is called a uniform deduction theorem scheme for C if it satisfies the following condition: for every set X of formulas of I and for any formulas and , C(X{{a}}) iff P(, ) AC(X). [P(, ) denotes the set of formulas which result by the simultaneous substitution of for p and for q in all formulas in P]. The above definition encompasses many particular formulations of theorems considered in the literature to be deduction theorems. Theorem 1.3 gives necessary and sufficient conditions for a logic to have a uniform deduction theorem scheme. Then, given a sentential logic C with a uniform deduction theorem scheme, the lattices of deductive filters on the algebras A similar to the language of C are investigated. It is shown that the join-semilattice of finitely generated (= compact) deductive filters on each algebra A is dually Brouwerian.A part of this paper was presented in abstracted form in Bulletin of the Section of Logic, Vol. 12, No. 3 (1983), pp. 111–116, and in The Journal of Symbolic Logic.     

Die philosophisch-theologische Begründung des Eurasismus bei L. P. Karsavin

The Evrazijstvo movement was an intellectual current which recognized the Revolution of 1917 as a fateful event and conceived itself as a third way for Russia between individualism and Soviet Communism. At the philosophical level Evrazijstvo was an extension of the Russian Idea. Basing himself on the principle of All-Unity Karsavin put his concept of the symphonic personality to work in critically referring to the philosophical concepts and methodological approaches then current in Europe. The Evrazijstvo idea was later to be reduced to the idea of the political power of ideocracy, an ideology of dictatorship and power, which raised sympathies for the strong state of the Soviet dictatorship, thus failing to provide a real alternative to the latter.     

Dowód aksjomatyzowalności pewnychn-wartościowych rachunków zdań

Praca ta zostaa wykonana pod kierunkiem prof. drJerzego Supeckiego. Jej szczególny przypadek dotyczcyn-wartociowego rachunku zda o jednej wartoci wyrónionej by referowany w Warszawie na zjedzie Grupy Logiki Instytutu Filozofii i Socjologii PAN. Streszczenie tego referatu [5] zostao wydrukowane w Sprawozdaniach Wydziau Nauk Spoecznych PAN.Allatum est die 19 Aprilis 1963     

What is Psychotherapy for? A Plausible Alternative to Empirically Supported Therapies,Therapy Relationships,and Practice Guidelines

Task forces come up with empirically supported therapies and therapist-client relationships. A careful study of their research provides an empirically supported answer to the long-standing question of what psychotherapy is for. Accordingly, if your way of doing therapy falls outside the empirically based boundary, (a) you can risk declining their practice guidelines; (b) you can develop your own practice guidelines; and (c) you can pursue some exciting implications from having an alternative set of guidelines for how to do psychotherapy. A strategy is proposed as a plausible alternative to the task forces empirically based strategy.     

A semantical investigation into Leśniewski's axiom of his ontology

A structure A for the language L, which is the first-order language (without equality) whose only nonlogical symbol is the binary predicate symbol , is called a quasi -struoture iff (a) the universe A of A consists of sets and (b) a b is true in A ([p) a = {p } & p b] for every a and b in A, where a(b) is the name of a (b). A quasi -structure A is called an -structure iff (c) {p } A whenever p a A. Then a closed formula in L is derivable from Leniewski's axiom x, y[x y u (u x) u; v(u, v x u v) u(u x u y)] (from the axiom x, y(x y x x) x, y, z(x y z y x z)) iff is true in every -structure (in every quasi -structure).