Does spreading activation summate?

Summary Network models of semantic memory assume implicitly or explicitly that the degree of activation of a node is a monotonic function of the total amount of excitation reaching that node from all sources. For example, the activation level of the node representing apple should be greater if it is receiving excitation due to the activation of the nodes for fruit and pear than if only one of these neighboring nodes is activated. This notion was tested by presenting semantic primes 80 ms or 320 ms before a letter string (e.g., apple or ipple) requiring a lexical decision. The prime stimuli consisted of a pair of simultaneous items that were identical in the single prime condition (e.g., fruit/fruit or pear/pear) or different in the double prime condition (e.g., fruit/pear or pear/fruit), and were either related (target = apple) or unrelated (target = copper) to the target, or neutral. As predicted by the summation of semantic activation assumption of network models there was a larger priming effect (in the 320 ms SOA condition) following the simultaneous activation of two related nodes than following the activation of only one node.This research was supported by grants to the first author from the Natural Sciences and Engineering Research Council of Canada.     

“Girl,” “woman,” “guy,” “man”: The effects of sexist labeling

An experiment was conducted to investigate the effects of sexist labeling. Sixty males and 60 females were asked to evaluate an artist and a series of paintings on a variety of cognitive and affective measures. For half the subjects, the artist was identified as a male with either a high status label (man), a low status label (guy), or a neutral label (person); for the other half of the subjects, the artist was identified as a female with either a high status label (woman), a low status label (girl), or a neutral label (person). The findings indicated that for the female artist, the low and high status labels had an equally negative effect on subjects' judgments; for the male artist, the low and high status labels had an equally positive effect on subjects' judgments. There were no significant differences between male and female subjects. The social and psychological implications of the findings are discussed.The present study is based in part on a paper presented at the meetings of the Western Psychological Association held in San Diego, California, April 1979, in collaboration with Ms. Julie Horowitz.     

Model theoretic results for infinitely deep languages

We define a subhierarchy of the infinitely deep languagesN described by Jaakko Hintikka and Veikko Rantala. We shall show that some model theoretic results well-known in the model theory of the ordinary infinitary languages can be generalized for these new languages. Among these are the downward Löwenheim-Skolem and o's theorems as well as some compactness properties.     

Equivalents of Mingle and Positive Paradox

Relevant logic is a proper subset of classical logic. It does not include among its theorems any ofpositive paradox A (B A)mingle A (A A)linear order (A B) (B A)unrelated extremes (A ) (B B¯)This article shows that those four formulas have different effects when added to relevant logic, and then lists many formulas that have the same effect as positive paradox or mingle.     

Self and others in “private language”

The aim of this paper is to restore the interdependent or complementary relationship between self and others against the universalistic one (as I call it) that Kant, for example, once insisted on, by reexamining the concept of so-called private language. I shall consider some views in speech act theory and pragmatics, since there has often been discussion about such a private occurrence as the speaker's sincerity. For example, Jürgen Habermas situates it in the speaker's internal nature as will be seen later. In my opinion, alter ego is an ego because we can empathize (einfühlen) with it, and yet it is alter ego because it has some private experiences which we cannot perfectly comprehend.     

Critical Psychologies of Religious Matters: A Late Modern Enterprise

Drawing upon illustrations of research in psychology and religion, this essay sketches a historical account of twentieth century scholarship in terms of three phases. In the early modern phase research was problem-centered: scholars customarily drew upon expertise in cognate areas of inquiry in solving a problem. In the modern phase research is specialization-based: scholars develop competence in the perspectives, concepts, and methods peculiar to their subfield. In the late modern phase research is interdisciplinary and multidisciplinary: scholars achieve proficiency in cognate subfields and acquire fluency in coordinating the assumptions, concepts, and methods of those subfields. This historical account provides the context and warrant for formulating an enterprise expressing the spirit of the late modern phase: critical psychologies of religious matters.     

The ω-rule

We prove that all proofs in -logic (a first order logic with -rule added) in which -rule is used finitely many times can be turned into proofs in which the -rule is used at most one time. Next, we prove that the word finitely above cannot be changed by the word infinitely.     

Perceptual scission of surface-lightness and illumination: An examination of the gelb effect

Summary An attempt was made to examine how the photometric equation: luminance (L)=albedo (A)×illuminance (I) could be solved perceptually when a test field (TF) was not seen as figure, but as ground. A gray disk with two black or white patches was used as the TF. Illuminance of the TF was changed over 2.3 log units and TF albedo was varied from 2.5 to 8.0 in Munsell value. Albedos of the black- and white-appearing patches were 1.5 and 9.5 in Munsell values, respectively. Two types of category judgments for apparent TF lightness (A) and apparent overall illumination (I) were made on the total of 40 TFs (5 illuminances×4 TF-albedos×2 patch-albedos). The results indicated that when the black patches were added to the TF, A was indistinguishable from I and when the white patches were placed on the TF, A and I could be distinguished from each other. The Gelb effect was interpreted as a manifestation of such A–I scission. It was concluded, therefore, that as far as the Gelb effect was observed, the perceptual system could solve the equation, L=A×I, in the sense that for a fixed L, the product of A and I would be constant.     

A revision of the definition of lying as an untruth told with intent to deceive

The traditional and prevailing definition of lying is that lying is some variation or combination of: an untruth told with intent to deceive. I establish that this is the case, and that, as a result, contradictions and injustices arise. An alternative definition is proposed which is shown to avoid these difficulties. It is also shown that and how on the new definition the alleged Liar paradox is easily dissolved.     

Независимость одной системы аксиом и правила вывода пропозиционального исчисления

- Allatum est die 5 Martii 1970     

Analityczne komponenty definicji arbitralnych

Tre: Wstp. I. Definicje arbitralne. II. Syntetyczne konsekwencje definicji arbitralnych III. Analityczne i rzeczowe komponenty definicji arbitralnych. IV. Zdania analityczne.Artyku ten w nieznacznym tylko stopniu róni si od pracy doktorskiej, któr przedstawiem w 1962 r. Jak najuprzejmiej dzikuj Prof. Dr M. Kokoszyskiej-Lutman, Prof. Dr J. Supeckiemu oraz Doc. Dr M. Przeckiemu za szereg uwag i wskazówek, z których tak wiele skorzystaem przygotowujc ostateczn redakcj pracy.     

A further analysis of the affective meanings associated with male and female sex-trait stereotypes

This study was concerned with the qualitative differences in the male and female sex-trait stereotypes. Previous research employing the item pool of the Adjective Check List (ACL) had indicated no relationship between the stereotype loading of the adjectives and their favorability ratings. In the present study, university students rated the ACL items for strength and activity, and these ratings were used to demonstrate that the male stereotype was appreciably stronger and more active than the female stereotype. It was found that the strength ratings were highly correlated with both activity and favorability ratings which were, themselves, unrelated. It was concluded that the principal qualitative difference between the stereotypes lay in the connotations of activity and passivity associated, respectively, with the male and female stereotype traits, and that any assertion of greater social desirability for the male stereotype was based on its greater activity and not, as is often supposed, on its greater favorability.     

Structuring argumentation in a social constructivist framework: A pedagogy with computer support

What we usually think of as higher order skills in argumentation can be profitably viewed as systematic structures for organizing and representing information. Standard terms like line of argument, synthesis, analysis and draft can be viewed as ways of constructing, storing, and accessing data in a social context — data structures for social communication. What makes argument difficult are the multiple structures that arguers have to construct and negotiate when reading and composing. In this paper, we describe the WARRANT project, a project designed to identify data structures of written argument and to design and implement computer tools to aid in the reading and design of argument.     

Elementary Extensions of External Classes in a Nonstandard Universe

In continuation of our study of HST, Hrbaek set theory (a nonstandard set theory which includes, in particular, the ZFC Replacement and Separation schemata in the st--language, and Saturation for well-orderable families of internal sets), we consider the problem of existence of elementary extensions of inner "external" subclasses of the HST universe.We show that, given a standard cardinal , any set R * generates an "internal" class S(R) of all sets standard relatively to elements of R, and an "external" class L[S(R)] of all sets constructible (in a sense close to the Gödel constructibility) from sets in S(R). We prove that under some mild saturation-like requirements for R the class L[S(R)] models a certain -version of HST including the principle of +-saturation; moreover, in this case L[S(R)] is an elementary extension of L[S(R)] in the st--language whenever sets R R satisfy the requirements.     

Axioms for Deliberative Stit

Based on a notion of companions to stit formulas applied in other papers dealing with astit logics, we introduce choice formulas and nested choice formulas to prove the completeness theorems for dstit logics in a language with the dstit operator as the only non-truth-functional operator. The main logic discussed in this paper is the basic logic of dstit with multiple agents, other logics discussed include the basic logic of dstit with a single agent and some logics of dstit with multiple agents each of which corresponds to a semantic condition concerning the number of possible choices for agents.     

Computer content analysis of sex differences in the language of children

This study presents empirical procedures for the collection and content analysis of the oral language of kindergarten children. The analysis technique used material and machines available to most researchers. The results of the analysis of language samples of 144 randomly selected children from the entire kindergarten class of the Ithaca, New York, school system showed that boys produced significantly more language than did the girls as well as significantly more references to aggression, self, time, space, quantity, fears, good, act of oral communication, negation, and affirmation, and asked more questions of the examiner than did the girls. The girls made significantly more female references than did the boys. Implications for future research are discussed.     

Partially-Ordered (Branching) Generalized Quantifiers: A General Definition

Following Henkins discovery of partially-ordered (branching) quantification (POQ) with standard quantifiers in 1959, philosophers of language have attempted to extend his definition to POQ with generalized quantifiers. In this paper I propose a general definition of POQ with 1-place generalized quantifiers of the simplest kind: namely, predicative, or cardinality quantifiers, e.g., most, few, finitely many, exactly , where is any cardinal, etc. The definition is obtained in a series of generalizations, extending the original, Henkin definition first to a general definition of monotone-increasing (M) POQ and then to a general definition of generalized POQ, regardless of monotonicity. The extension is based on (i) Barwises 1979 analysis of the basic case of M POQ and (ii) my 1990 analysis of the basic case of generalized POQ. POQ is a non-compositional 1st-order structure, hence the problem of extending the definition of the basic case to a general definition is not trivial. The paper concludes with a sample of applications to natural and mathematical languages.     

Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization

The paper deals with the problem of axiomatizing a system 1 of discrete tense logic, where one thinks of time as the set Z of all the integers together with the operations +1 (immediate successor) and -1 (immediate predecessor). 1 is like the Segerberg-Sundholm system W1 in working with so-called infinitary inference rules; on the other hand, it differs from W1 with respect to (i) proof-theoretical setting, (ii) presence of past tense operators and a now operator, and, most importantly, with respect to (iii) the presence in of so-called systematic frame constants, which are meant to hold at exactly one point in a temporal structure and to enable us to express the irreflexivity of such structures. Those frame constants will be seen to play a paramount role in our axiomatization of 1.The present contribution reports research done under the auspices of the Swedish Council for Research in the Humanities and the Social Sciences (HSFR), project On the Legal Concepts of Rights and Duties: an Analysis Based on Deontic and Causal Conditional Logic. I wish to thank the anonymous referee for his/her extremely patient and accurate revision work, and Krister Segerberg for his helpful suggestions.     

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

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