Arithmetic based on the Church numerals in illative combinatory logic

In the early thirties, Church developed predicate calculus within a system based on lambda calculus. Rosser and Kleene developed Arithmetic within this system, but using a Godelization technique showed the system to be inconsistent.Alternative systems to that of Church have been developed, but so far more complex definitions of the natural numbers have had to be used. The present paper based on a system of illative combinatory logic developed previously by the author, does allow the use of the Church numerals. Given a new definition of equality all the Peano-type axioms of Mendelson except one can be derived. A rather weak extra axiom allows the proof of the remaining Peano axiom. Note. The illative combinatory logic used in this paper is similar to the logic employed in computer languages such as ML.The author wishes to thank Dr. Roger Hindley for proofreading this paper and for making some useful suggestions. This paper was presented at the 1986 Annual Conference of the Australasian Association of Logic in Auckland, 9–12 July, 1986.     

A representation theorem for languages with generalized quantifiers through back-and-forth methods

We obtain in this paper a representation of the formulae of extensions ofL by generalized quantifiers through functors between categories of first-order structures and partial isomorphisms. The main tool in the proofs is the back-and-forth technique. As a corollary we obtain the Caicedo's version of Fraïssés theorem characterizing elementary equivalence for such languages. We also discuss informally some geometrical interpretations of our results.     

Fuzziness of concepts and concepts of fuzziness

It has been a vexing question in recent years whether concepts are fuzzy. In this paper several views on the fuzziness of concepts are pointed out to have stemmed from dubious concepts of fuzziness. The underlying notions of the roles feasibly played byprototype, set, andprobability in modeling concepts strongly suggest that the controversy originates from a vague relation between intuitive and mathematical ideas in the cognitive sciences. It is argued that the application of fuzzy sets cannot resolve this vagueness since they are one sided,viz., defined on sets. An alternative definition based on classes (in the sense of axiomatic set theory) is proposed.     

Perceptions of speakers with minimal eye contact: Implications for stutterers

One hundred and thirty-three college students responded to percentage definitions of “good,” “minimal,” and “no” eye contact. They also judged their perceptions of a speaker with “little or no eye contact” on a semantic differential scale containing 60 polarized adjective pairs regarding personality traits. The majority of the student respondents defined an individual with “good” eye contact as looking at his/her audience/listener 90–100% of the time. This is a more stringent definition than other literature has indicated. Furthermore, speakers with little or no eye contact were judged less favorably on 70% of the items, which indicates that low eye contact adversely affects perceptions of a speaker's personality. Therefore, stutterers need to be made aware of the importance of and determinants of effective eye contact in communication. Also, the development of effective eye contact needs to be incorporated as a major goal in stuttering therapy.     

Stress in time

The goals of this research were to determine whether speakers adjust the stress patterns of words within sentences to create an alternation between strong and weak beats and to explore whether this rhythmic alternation contributes to the characteristics stress differences between two major lexical categories of English. Two experiments suggested that speakers do alter lexical stress in accordance with rhythmic biases. When speakers produced disyllabic pseudowords in sentence contexts, they were more likely to place stress on the first syllable when the pseudoword was preceded by a weak stress and followed by a strong one than when the strong stress preceded and the weak followed. This occurred both when the pseudowords served as nouns and when they served as verbs. Text analyses further revealed that weakly stressed elements precede nouns more often than verbs, whereas such elements follow verbs more often than nouns. Thus, disyllabic nouns are more likely than disyllabic verbs to occupy contexts biased toward trochaic rhythm, a finding consistent with leftward dominant stress in disyllabic English nouns. The history of stress changes in English nouns and verbs also conforms with the view that rhythmic context may have contributed to the evolution of stress differences. Together, the findings suggest that the citation stress patterns of words may to some degree reflect adaptations of lexical knowledge to conditions of language performance.     

Multiunit changes in hippocampus and medial geniculate body in free-behaving rats during acquisition and retention of a conditioned response to a tone

Multiunit activity (MUA) was recorded chronically in the hippocampus (CA3) and the medial geniculate body (mMG) during habituation to a tone followed by conditioning (tone paired with footshock) or pseudoconditioning (tone/footshock unpaired) in rats previously trained in a lever-pressing for food task (VI 60). In the conditioned group pairing tones with footshocks rapidly induced an increase in the initial CS-evoked response in the mMG, followed by the emergence of a hippocampal response and a marked conditioned suppression of lever-pressing to the tone. In contrast, in the pseudoconditioned group, the stimulus induced only transient cellular changes in the hippocampus and in the mMG, while no behavioral suppression to the tone could be seen. Moreover, presentations of the CS 45 days later induced multiunit and behavioral responses in both structures, only in the conditioned group. These results are used for discussion of the role of learning-induced changes in the sensory structure (mMG) as compared with changes in an associative structure (hippocampus), during acquisition and retention of a conditioned response.     

Additivity, subadditivity, and the use of visual information: a reply to Massaro (1988)

Previously we (Bruno & Cutting, 1988) explored the perception of spatial relations among objects laid out in a computer-generated environment. In his commentary on our article, Massaro (1988) raised several issues. The most important is from his reanalysis, which indicated that--because of a subadditive trend in the results--additive and multiplicative strategies fit our data in Experiment 1 about equally well. In reply, we performed a different analysis. Results corroborate subadditivity--and hence multiplicative information combination--in Experiment 1 but provide no evidence for it in Experiments 2 and 3. On the whole, then, the results still support additivity more strongly than any other combination rule and thus support our notion of minimodularity.     

Fragile X speech phonology in Finnish

Fragile X syndrome is a recently discovered relatively common syndrome linked with an anomaly of the X chromosome and causing handicaps of cognitive development especially in males. In the present phonological analysis we will discuss the sound patterns of two Finnish fragile X speakers, a five (borderline intelligence)- and an eight (mildly mentally retarded)-year-old boy. The fragile X syndrome is not necessarily linked with any anomalies of speech organs. The subjects could produce all Finnish speech sounds in isolated test words. However, in the present samples of connected speech they exhibited general dysphonology. What is noteworthy is that their phonological error patterns resembled each other to a great extent. Among the common features were the tendencies to substitute and omit phonemes. As for vowels, our results showed about one-half of the errors to be omissions. Labiality and quantity oppositions were quite resistant to substitution. Most substitution errors of place of consonants occurred in dentals. As for the feature of manner, /r/ and /s/ were the phonemes most prone for substitution. A tendency toward spirantization or /h/ sation was common for both patients. The number of additions was clearly lower than has been reported for English-speaking developmentally dyspraxic children and also for Finnish Broca's aphasics. The speech problems of our patients seemed to indicate higher level motor encoding problems of linguistic information rather than peripheral articulatory deficits.