On a certain class ofm-address machines

Conclusion It follows from the proved theorems that ifM =Q, (whereQ={0,q ₁,q ₂,...,q }) is a machine of the classM _F then there exist machinesM _i such thatM _i(1,c)=M (q _i,c) andQ _i={0, 1, 2, ..., +1} (i=1, 2, ..., ).And thus, if the way in which to an initial function of content of memorycC a machine assigns a final onecC is regarded as the only essential property of the machine then we can deal with the machines of the formM ={0, 1, 2, ..., }, and processes (t) (wheret=1,c,cC) only.Such approach can simplify the problem of defining particular machines of the classM _F , composing and simplifying them.Allatum est die 19 Januarii 1970     

On superintuitionistic logics as fragments of proof logic extensions

Coming fromI andCl, i.e. from intuitionistic and classical propositional calculi with the substitution rule postulated, and using the sign to add a new connective there have been considered here: Grzegorozyk's logicGrz, the proof logicG and the proof-intuitionistic logicI set up correspondingly by the calculiFor any calculus we denote by the set of all formulae of the calculus and by the lattice of all logics that are the extensions of the logic of the calculus, i.e. sets of formulae containing the axioms of and closed with respect to its rules of inference. In the logiclG the sign is decoded as follows: A = (A & A). The result of placing in the formulaA before each of its subformula is denoted byTrA. The maps are defined (in the definitions of x and the decoding of is meant), by virtue of which the diagram is constructedIn this diagram the maps, x and are isomorphisms, thereforex ^–1 = ; and the maps and are the semilattice epimorphisms that are not commutative with lattice operation +. Besides, the given diagram is commutative, and the next equalities take place: ^–1 = ^–1 and = ^–1 x. The latter implies in particular that any superintuitionistic logic is a superintuitionistic fragment of some proof logic extension.     

A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic

Basic Predicate Logic, BQC, is a proper subsystem of Intuitionistic Predicate Logic, IQC. For every formula in the language {, , , , , , }, we associate two sequences of formulas 0,1,... and 0,1,... in the same language. We prove that for every sequent , there are natural numbers m, n, such that IQC , iff BQC n m. Some applications of this translation are mentioned.     

Six-year-old children's understanding of sentences adjoined with time adverbs

The adjoining of clauses with temporal links is the basis for many sentences that convey sequence of events. The present study attempts to delineate 6-year-old children's (N=30) understanding of the meaning sequences imparted by sentences adjoined with after, before, and until. Their performance of the meaning sequence for each of 24 carefully constructed sentences is compared to an adult model. Analysis of the results (using a Wilcoxon Matched Pairs Signed Rank Test) indicated that: (1)Ss understood sentences adjoined with after according to an adult model more frequently than before adjoined sentences (P<0.01); (b) Until adjoined sentences with a negative marker in the main clause were understood according to an adult model more often than until adjoined sentences with no such negative element, but the difference was not significant at a=0.01; (3)Ss understood before adjoined sentences according to an adult model more often than until adjoined sentences, but the difference was not significant at a=0.01. In general, the results indicated that 6-year-olds have not yet completed development of an adult grammar with respect to adjoining clauses with temporal links, after, before, and until.     

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

Action incompleteness

The author has previously introduced an operator into dynamic logic which takes formulae to terms; the suggested reading of A was the bringing about of A or the seeing to it that A. After criticism from S. K. Thomason and T. J. Surendonk the author now presents an improved version of his theory. The crucial feature is the introduction of an operatorOK taking terms to formulae; the suggested reading of OK is always terminates.     

Intensional Completeness in an Extension of Gödel/Dummett Logic

We enrich intuitionistic logic with a lax modal operator and define a corresponding intensional enrichment of Kripke models M = (W, , V) by a function T giving an effort measure T(w, u) {} for each -related pair (w, u). We show that embodies the abstraction involved in passing from true up to bounded effort to true outright. We then introduce a refined notion of intensional validity M |= p : and present a corresponding intensional calculus iLC-h which gives a natural extension by lax modality of the well-known G: odel/Dummett logic LC of (finite) linear Kripke models. Our main results are that for finite linear intensional models L the intensional theory iTh(L) = {p : | L |= p : } characterises L and that iLC-h generates complete information about iTh(L).Our paper thus shows that the quantitative intensional information contained in the effort measure T can be abstracted away by the use of and completely recovered by a suitable semantic interpretation of proofs.     

Parameter estimation in latent trait models

Latent trait models for binary responses to a set of test items are considered from the point of view of estimating latent trait parameters=( ₁, , _n ) and item parameters=( ₁, , _k ), where _j may be vector valued. With considered a random sample from a prior distribution with parameter, the estimation of (, ) is studied under the theory of the EM algorithm. An example and computational details are presented for the Rasch model.This work was supported by Contract No. N00014-81-K-0265, Modification No. P00002, from Personnel and Training Research Programs, Psychological Sciences Division, Office of Naval Research. The authors wish to thank an anonymous reviewer for several valuable suggestions.     

Listening to the adolescent therapy group

This article reviews traditional psychodynamic views of listening to the manifest and latent content of the patient's communication. It then reviews the literature on the application of such listening in group treatment. The particular application of such listening and intervention in groups for adolescents with significant ego deficits is explored.     

Utility theory with inexact preferences and degrees of preference

a–b* c–d is taken to mean that your degree of preference for a over b is less than your degree of preference for c over d. Various properties of the strength-of-preference comparison relation * are examined along with properties of simple preferences defined from *. The investigation recognizes an individual's limited ability to make precise judgments. Several utility theorems relating a–b * c–d to u(a)–u(b) are included.     

The American plan completed: Alternative classical-style semantics,without stars,for relevant and paraconsistent logics

American-plan semantics with 4 values 1, 0, { {1, 0}} {{}}, interpretable as True, False, Both and Neither, are furnished for a range of logics, including relevant affixing systems. The evaluation rules for extensional connectives take a classical form: in particular, those for negation assume the form 1 (A, a) iff 0 (A, a) and 0 (A, a) iff 1 (A, a), so eliminating the star function *, on which much criticism of relevant logic semantics has focussed. The cost of these classical features is a further relation (or operation), required in evaluating falsity assignments of implication formulae.Two styles of 4 valued relational semantics are developed; firstly a semantics using notions of double truth and double validity for basic relevant systemB and some extensions of it; and secondly, since the first semantics makes heavy weather of validating negation principles such as Contraposition, a reduced semantics using more complex implicational rules for relevant systemC and various of its extensions. To deal satisfactorily with elite systemsR,E andT, however, further complication is inevitable; and a relation of mateship (suggested by the Australian plan) is introduced to permit cross-over from 1 to 0 values and vice versa.     

On a complexity-based way of constructivizing the recursive functions

Let g _E(m, n)=o mean that n is the Gödel-number of the shortest derivation from E of an equation of the form (m)=k. Hao Wang suggests that the condition for general recursiveness mn(g _E(m, n)=o) can be proved constructively if one can find a speedfunction _{s s}, with _s(m) bounding the number of steps for getting a value of (m), such that mn _s(m) s.t. g _E(m, n)=o. This idea, he thinks, yields a constructivist notion of an effectively computable function, one that doesn't get us into a vicious circle since we intuitively know, to begin with, that certain proofs are constructive and certain functions effectively computable. This paper gives a broad possibility proof for the existence of such classes of effectively computable functions, with Wang's idea of effective computability generalized along a number of dimensions.We are grateful to an anonymous referee for Studia Logica for valuable advice leading to substantial improvements in the presentation of the main definitions and theorem.     

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     

Linear programming techniques for multidimensional analysis of preferences

This paper offers a new methodology for analyzing individual differences in preference judgments with regard to a set of stimuli prespecified in a multidimensional attribute space. The individual is modelled as possessing an ideal point denoting his most preferred stimulus location in this space and a set of weights which reveal the relative saliences of the attributes. He prefers those stimuli which are closer to his ideal point (in terms of a weighted Euclidean distance measure). A linear programming model is proposed for external analysisi.e., estimation of the coordinates of his ideal point and the weights (involved in the Euclidean distance measure) by analyzing his paired comparison preference judgments on a set of stimuli, prespecified by their coordinate locations in the multidimensional space. A measure of poorness of fit is developed and the linear programming model minimizes this measure overall possible solutions. The approach is fully nonmetric, extremely flexible, and uses paired comparison judgments directly. The weights can either be constrained nonnegative or left unconstrained. Generalizations of the model to consider ordinal or interval preference data and to allow an orthogonal transformation of the attribute space are discussed. The methodology is extended to perform internal analysis,i.e., to determine the stimuli locations in addition to weights and ideal points by analyzing the preference judgments of all subjects simultaneously. Computational results show that the methodology for external analysis is unbiased—i.e., on an average it recovers the true ideal point and weights. These studies also indicate that the technique performs satisfactorily even when about 20 percent of the paired comparison judgments are incorrectly specified.The authors wish to express their deep appreciation to J. Douglas Carroll and Joseph B. Kruskal for their most valuable comments on an earlier version of this paper.     

Test of the violation of local realism in quantum mechanics with no use of Bell's inequalities

A novel and versatile polarization-entanglement scheme is adopted to investigate the violation of the EPR local realism for a non-maximally entangled two-photon system according to the recent nonlocality proof by Lucien Hardy. In this context the adoption of a sophisticated detection method allows direct determination of any element of physical reality (viz., determined with probability equal to unity in the words of Einstein, Podolsky and Rosen) for the pair system within complete measurements that are largely insensitive to the detector quantum-efficiencies and noise.     

Care and the dynamics of social world

The concept of social world is formulated for the purpose of deepening our understanding of the dynamics of inclusion, exclusion, and care in interpersonal interaction. World is defined as an irreducible subject-object polarity.Social world is the extremely fragile environment within which people meet, and is easily destroyed. With special attention to family and church life, the conditions for maintaining or losing this environment are examined. Three levels of social world are defined. On the highest level, mutual care, rather than shared opinion, is seen as the factor that facilitates the preservation of social world in the face of world-threatening issues.     

Three prepositional calculi of probability

Attempts are made to transform the basis of elementary probability theory into the logical calculus.We obtain the propositional calculus NP by a naive approach. As rules of transformation, NP has rules of the classical propositional logic (for events), rules of the ukasiewicz logic ₀ (for probabilities) and axioms of probability theory, in the form of rules of inference. We prove equivalence of NP with a fragmentary probability theory, in which one may only add and subtract probabilities.The second calculus MP is a usual modal propositional calculus. It has the modal rules x x, x y x y, x x, x y (y x), (y x), in addition to the rules of classical propositional logic. One may read x as x is probable. Imbeddings of NP and of ₀ into MP are given.The third calculus P is a modal extension of ₀. It may be obtained by adding the rule ((xy)y) xy to the modal logic of quantum mechanics Q [5]. One may read x in P as x is observed. An imbedding of NP into P is given.     

On Ultrafilter Logic and Special Functions

Logics for generally were introduced for handling assertions with vague notions,such as generally, most, several, etc., by generalized quantifiers, ultrafilter logic being an interesting case. Here, we show that ultrafilter logic can be faithfully embedded into a first-order theory of certain functions, called coherent. We also use generic functions (akin to Skolem functions) to enable elimination of the generalized quantifier. These devices permit using methods for classical first-order logic to reason about consequence in ultrafilter logic.Presented by André Fuhrmann     

On two problems of Harvey Friedman

The paper considers certain properties of intermediate and moda propositional logics.The first part contains a proof of the theorem stating that each intermediate logic is closed under the Kreisel-Putnam rule xyz/(xy)(xz).The second part includes a proof of the theorem ensuring existence of a greatest structurally complete intermediate logic having the disjunction property. This theorem confirms H. Friedman's conjecture 41 (cf. [2], problem 41).In the third part the reader will find a criterion which allows us to obtain sets satisfying the conditions of Friedman's problem 42, on the basis of intermediate logics satisfying the conditions of problem 41.Finally, the fourth part contains a proof of a criterion which allows us to obtain modal logics endowed with Hallden's property on the basis of structurally complete intermediate logics having the disjunction property.Dedicated to Professor Roman SuszkoThe author would like to thank professors J. Perzanowski and A. Wroski for valuable suggestions.     

The treatment of adolescents and their families in cultural transition: Issues and recommendations

Increasing numbers of immigrant families with adolescent children are seeking therapy because of intergenerational conflicts specific to the adolescent separation-individuation phase of the life cycle and transitional problems related to immigration and cultural transition. Three types of adolescent immigrants are identified and discussed: Immigrants (subtypes Reluctants and Optimists), Immigrant-Americans, and Americans. Therapists' issues which can negatively affect therapy with such adolescents and families are also discussed. Effective therapy with immigrant families requires that family therapists become more culturally sensitive, therapeutically flexible, and accepting of family values to which they may be diametrically opposed. Recommendations for therapy are offered.Dr. Baptiste is himself an immigrant. The experiences and observations discussed here are culled from his work with immigrant families and children over the past 19 years in the District of Columbia, Massachusetts, Indiana, and New Mexico.Portions of this article will appear in a chapter Psychotherapy with adolescent immigrants and their families in cultural transition in B. Settles and D. Hanks (Eds.),Families on the move: Emigration, immigration, migration and mobility. Sage Publications, 1990, and are used here with permission.