Before the end of the first year of life, infants begin to lose the ability to perceive distinctions between sounds that are not phonemic in their native language. It is typically assumed that this developmental change reflects the construction of language-specific phoneme categories, but how these categories are learned largely remains a mystery. Peperkamp, Le Calvez, Nadal, and Dupoux (2006) present an algorithm that can discover phonemes using the distributions of allophones as well as the phonetic properties of the (...) allophones and their contexts. We show that a third type of information source, the occurrence of pairs of minimally differing word forms in speech heard by the infant, is also useful for learning phonemic categories and is in fact more reliable than purely distributional information in data containing a large number of allophones. In our model, learners build an approximation of the lexicon consisting of the high-frequency n-grams present in their speech input, allowing them to take advantage of top-down lexical information without needing to learn words. This may explain how infants have already begun to exhibit sensitivity to phonemic categories before they have a large receptive lexicon. (shrink)

Resumen: En este trabajo, se observa la variación fonética del fonema oclusivo bilabial sonoro en el español no estándar en una muestra de hablantes chilenos de ocho ciudades, cuyas ubicaciones geográficas permiten cubrir los principales sectores urbanos del país. En los resultados se evidencia un marcado uso del alófono aproximante labiodental sonoro en este tipo de habla y un comportamiento relativamente homogéneo en todo el país respecto de las principales variantes del fonema oclusivo bilabial sonoro. La comparación del fonema oclusivo (...) bilabial sonoro entre el español no estándar y el estándar muestra marcadas diferencias, datos que sugieren un cambio lingüístico en proceso desde el alófono aproximante bilabial sonoro al alófono aproximante labiodental sonoro.: In this study, we observed the phonetic variation of voiced bilabial occlusive phoneme in non-standard Spanish in a sample of Chilean speakers from cities whose geographical locations allow to cover the main urban sectors of the country. The results that show a marked use of voiced labiodental approximant allophone in this type of speech an a relatively homogenous behaviour in the whole country of the main variants of the voiced bilabial occlusive phoneme are presented. The comparison of voiced bilabial occlusive phoneme between non-standard and standard Spanish shows clear differences, data that suggest a linguistic change in process from voiced bilabial approximant allophone to voiced labiodental approximant allophone. (shrink)

It is by now a commonplace that the classification of sciences into nomological and ideographical, which originated with Windelband, is neither exhaustive nor exclusive. Rather, there are sciences in which nomothetical activities are prevalent and there are sciences in which ideographical efforts dominate. A third kind of enterprise is widespread throughout most, if not all, sciences: typological undertakings. In some sciences these are the most important and dominant projects. Linguistics tries to establish types of expressions: phonemes, morphemes, syntactical categories. History (...) of art endeavors to set up various styles, i. e., types of art. General history attempts at well founding of such notions as revolution, reaction, buonapartism, findesieclism. When a historian declares that a revolution starts when a housewife cannot buy a chicken on the market, he divides the stream of events into periods according to a criterion that seems to him important, establishes similarities between different periods, and classifies them into types. Such typological activities are common not only in social sciences and humanities but also in physics which speaks about explosions, collisions, changes from a positive to a negative acceleration. A mathematician often enters into a typological venture, e.g., when he analyzes a function as increasing in an interval or describes it as concave upward in another interval. Typology may be conceived as containing the theory of classification. But there are typological problems that are not included in the theory of classification. A classification is performed on a class when its subclasses are defined. Typology, as suggested by the examples, may take a single object and try to conceive it as a summation of its fragments. To find a segmentation suitable from some point of view is not a classification. Rather, classification presupposes segmentation. (shrink)

Debates concerning the types of representations that aid reading acquisition have often been influenced by the relationship between measures of early phonological awareness (the ability to process speech sounds) and later reading ability. Here, a complementary approach is explored, analyzing how the functional utility of different representational units, such as whole words, bodies (letters representing the vowel and final consonants of a syllable), and graphemes (letters representing a phoneme) may change as the number of words that can be read (...) gradually increases. Utility is measured by applying a Simplicity Principle to the problem of mapping from print to sound; that is, assuming that the “best” representational units for reading are those which allow the mapping from print to sounds to be encoded as efficiently as possible. Results indicate that when only a small number of words are read whole-word representations are most useful, whereas when many words can be read graphemic representations have the highest utility. (shrink)

Natural languages contain many layers of sequential structure, from the distribution of phonemes within words to the distribution of phrases within utterances. However, most research modeling language acquisition using artificial languages has focused on only one type of distributional structure at a time. In two experiments, we investigated adult learning of an artificial language that contains dependencies between both adjacent and non-adjacent words. We found that learners rapidly acquired both types of regularities and that the strength of the adjacent (...) statistics influenced learning of both adjacent and non-adjacent dependencies. Additionally, though accuracy was similar for both types of structure, participants’ knowledge of the deterministic non-adjacent dependencies was more explicit than their knowledge of the probabilistic adjacent dependencies. The results are discussed in the context of current theories of statistical learning and language acquisition. (shrink)

Sound symbolism refers to non-arbitrary associations between word forms and meaning, such as those observed for some properties of sounds and size or shape. Recent evidence suggests that these connections extend to emotional concepts. Here we investigated two types of non-arbitrary relationships. Study 1 examined whether iconicity scores (i.e. resemblance-based mapping between aspects of a word’s form and its meaning) for words can be predicted from ratings in the affective dimensions of valence and arousal and/or the discrete emotions of happiness, (...) anger, fear, disgust and sadness. Words denoting negative concepts were more likely to have more iconic word forms. Study 2 explored whether statistical regularities in single phonemes (i.e. systematicity) predicted ratings in affective dimensions and/or discrete emotions. Voiceless (/p/, /t/) and voiced plosives (/b/, /d/, /g/) were related to high arousing words, whereas high arousing negative words tended to include fricatives (/s/, /z/). Hissing consonants were also more likely to occur in words denoting all negative discrete emotions. Additionally, words conveying certain discrete emotions included specific phonemes. Overall, our data suggest that emotional features might explain variations in iconicity and provide new insight about phonemic patterns showing sound symbolic associations with the affective properties of words. (shrink)

Experimental studies of speech production involving compensations for auditory and somatosensory perturbations and adaptation after training suggest that both types of sensory information are considered to plan and monitor speech production. Interestingly, individual sensory preferences have been observed in this context: subjects who compensate less for somatosensory perturbations compensate more for auditory perturbations, and \textit{vice versa}. We propose to integrate this sensory preference phenomenon in a model of speech motor planning using a probabilistic model in which speech units are characterized (...) both in auditory and somatosensory terms. Sensory preference is implemented in the model according to two approaches. In the first approach, which is often used in motor control models accounting for sensory integration, sensory preference is attributed to the relative precision (i.e., inverse of the variance) of the sensory characterization of the speech motor goals associated with phonological units (which are phonemes in the context of this paper). In the second, ``more original’’ variant, sensory preference is implemented by modulating the sensitivity of the comparison between the predicted sensory consequences of motor commands and the sensory characterizations of the phonemes. We present simulation results using these two variants, in the context of the adaptation to an auditory perturbation, implemented in a 2-dimensional biomechanical model of the tongue. Simulation results show that both variants lead to qualitatively similar results. Distinguishing them experimentally would require precise analyses of partial compensation patterns. However, the second proposed variant implements sensory preference without changing the sensory characterizations of the phonemes. This dissociates sensory preference and sensory characterizations of the phonemes, and makes the account of sensory preference more flexible. Indeed, in the second variant the sensory characterizations of the phonemes can remain stable, when sensory preference varies as a response to cognitive or attentional control. This opens new perspectives for capturing speech production variability associated with aging, disorders and speaking conditions. (shrink)

We present a test of a revised version of the Second Language Linguistic Perception (L2LP) model, a computational model of the acquisition of second language (L2) speech perception and recognition. The model draws on phonetic, phonological and psycholinguistic constructs to explain a number of L2 learning scenarios. However, a recent computational implementation failed to validate a theoretical proposal for a learning scenario where the L2 has less phonemic categories than the native language (L1) along a given acoustic continuum. According to (...) the L2LP, learners faced with this learning scenario must not only shift their old L1 phoneme boundaries but also reduce the number of categories employed in perception. Our proposed revision to L2LP successfully accounts for this updating in the number of perceptual categories as a process driven by the meaning of lexical items, rather than by the learners’ awareness of the number and type of phonemes that are relevant in their new language, as the previous version of L2LP assumed. Results of our simulations show that meaning-driven learning correctly predicts the developmental path of L2 phoneme perception seen in empirical studies. Additionally, and to contribute to a long-standing debate in psycholinguistics, we test two versions of the model, with the stages of phonemic perception and lexical recognition being either sequential or interactive. Both versions succeed in learning to recognize minimal pairs in the new L2, but make diverging predictions on learners' resulting phonological representations. In sum, the proposed revision to the L2LP model contributes to our understanding of L2 acquisition, with implications for speech processing in general. (shrink)

L’article se propose, à partir de l’expérience de la construction et de l’exploitation des bases de données dialectales de la BDLC (corse) et du THESOC (occitan), de cerner ce qu’un grand corpus est susceptible d’apporter à la phonologie. La réponse, appuyée sur quelques cas d’espèces, fait intervenir trois niveaux : celui de l’établissement des faits à soumettre à l’analyse, celui de la validation des hypothèses émises, celui de la valeur heuristique des données prises en compte. Les faits aléatoirement rassemblés dans (...) un grand corpus et donc non nécessairement pris en compte dans l’analyse initiale sont en effet de nature à transformer la vision de la clôture du corpus, à confirmer (ou infirmer ce qui, in fine, est aussi important) les hypothèses avancées, à suggérer d’autres solutions aux problèmes rencontrés que celles initialement envisagées. Un des points saillants, en outre, est, au plan théorique, la mise en discussion de la notion d’entité discrète, tant en matière d’unités phonologiques (de type phonème) que d’unités systémiques (de type idiome localisé) tant il est vrai qu’en matière de langue il n’existe qu’un continuum. L’idiolecte est déjà composite, l’idiome local n’est qu’un chaînon dans le continuum aréal. Les unités discrètes constituent donc l’instrument d’analyse incontournable du fait linguistique, une réalité dans la représentation qu’un locuteur a de son système ; mais l’observable est un continuum, un ensemble de cellules perméables les unes aux autres, si c’est bien dans la conscience collective que se trouve (déposée) la langue, conformément au dire saussurien. (shrink)

Developmental dyslexia is considered to be most effectively addressed with preventive phonics-based interventions, including grapheme-phoneme coupling and blending exercises. These intervention types require intact speech perception abilities, given their large focus on exercises with auditorily presented phonemes. Yet some children with dyslexia experience problems in this domain due to a poorer sensitivity to rise times, i.e., rhythmic acoustic cues present in the speech envelope. As a result, the often subtle speech perception problems could potentially constrain an optimal response to (...) phonics-based interventions in at-risk children. The current study therefore aimed to extend existing research by examining the presence of potential speech perception deficits in pre-readers at cognitive risk for dyslexia when compared to typically developing peers and to explore the added value of a preventive auditory intervention for at-risk pre-readers, targeting rise time sensitivity, on speech perception and other reading-related skills. To obtain the first research objective, we longitudinally compared speech-in-noise perception between 28 5-year-old pre-readers with and 30 peers without a cognitive risk for dyslexia during the second half of the third year of kindergarten. The second research objective was addressed by exploring growth in speech perception and other reading-related skills in an independent sample of 62 at-risk 5-year-old pre-readers who all combined a 12-week preventive phonics-based intervention with an auditory story listening intervention. In half of the sample, story recordings contained artificially enhanced rise times, while in the other half, stories remained unprocessed. Results revealed a slower speech-in-noise perception growth in the at-risk compared to the non-at-risk group, due to an emerged deficit at the end of kindergarten. Concerning the auditory intervention effects, both intervention groups showed equal growth in speech-in-noise perception and other reading-related skills, suggesting no boost of envelope-enhanced story listening on top of the effect of combining GraphoGame-Flemish with listening to unprocessed stories. These findings thus provide evidence for a link between speech perception problems and dyslexia, yet do not support the potential of the auditory intervention in its current form. (shrink)

Impaired performance in verbal fluency tasks is a frequent observation in Parkinson’s disease. As to the nature of the underlying cognitive deficit, it is commonly attributed to a frontal-type dysexecutive syndrome due to nigrostriatal dopamine depletion. Whereas dopaminergic medication typically improves VF performance in PD, e.g., by ameliorating impaired lexical switching, its effect on semantic network activation is unclear. Data from priming studies suggest that dopamine causes a faster decay of semantic activation spread. The aim of the current study (...) was to examine the impact of dopaminergic medication on the dynamic change of word frequency during VF performance as a measure of semantic spreading activation. To this end, we performed a median split analysis of word frequency during phonemic and semantic VF task performance in a PD group tested while receiving dopaminergic medication as well as after drug withdrawal, and in a sample of age-matched healthy volunteers. Dopaminergic medication in the PD group significantly affected phonemic VF with improved word production as well as increased error-rates. The expected decrease of word frequency during VF task performance was significantly smaller in the PD group ON medication than in healthy volunteers across semantic and phonemic VF. No significant group-difference emerged between controls and the PD group in the OFF condition. The comparison between both treatment conditions within the PD group did not reach statistical significance. The observed pattern of results indicates a faster decay of semantic network activation during lexical access in PD patients on dopaminergic medication. In view of improved word generation, this finding is consistent with a concept of more focused neural activity by an increased signal-to-noise ratio due to dopaminergic neuromodulation. However, the effect of dopaminergic stimulation on VF output suggests a trade-off between these beneficial effects and increased error-rates. (shrink)

The name theory has largely been discarded in the literature on quotation. In this paper, I resurrect the theory under the heading of the natural name theory. According to the natural name theory, a pure quotation is a natural, rather than an arbitrary, name of a linguistic item. As with other natural names, like onomatopoeia, pure quotations resemble their referents. I argue that this observation allows us to deflate the arguments traditionally thought to undermine the name theory. Then I argue (...) for the “multiplicity thesis,” that pure quotations name a wide variety of linguistic items, such as expression types, graphemes, spellings, phonemes, pronunciations, meanings, and senses. Then I show that while the natural name theory easily accommodates the multiplicity thesis, none of the major, viable alternatives to it likewise do. (shrink)

Though largely unnoticed, in "Two Dogmas" Quine himself invokes a distinction: a distinction between logical and analytic truths. Unlike analytic statements equating 'bachelor' with 'unmarried man', strictly logical tautologies relating two word-tokens of the same word-type, e.g., 'bachelor' and 'bachelor' are true merely in virtue of basic phonological form, putatively an exclusively non-semantic function of perceptual categorization or brute stimulus behavior. Yet natural language phonemic categorization is not entirely free of interpretive semantic considerations. "Phonemic reductionism" in both its linguistic (...) and behavioral, Newbury Park, CA, Sage Publications, 164-167) guise is false. The semantic basis of phonological equivalence, however, has repercussions vis-à-vis Quine's critique of analyticity. A consistent rejection of meaning-based equivalencies eliminates not only analyticity, but imposes a form of phonological eliminativism too. Phonological eliminativism is the reductio result of applying Quinean meaning skepticism to the phonological typing of natural language. But unlike analyticity, phonology is presumably not subject to philosophical dismissal. The semantic basis of natural language phonology serves to neutralize Quine's argument against analyticity: without the semantics of meaning, more than just synonymy is lost; basic phonology must also be forfeited. (shrink)

Neural markers, such as the mismatch negativity, have been used to examine the phonological underspecification of English feature contrasts using the Featurally Underspecified Lexicon model. However, neural indices have not been examined within the approximant phoneme class, even though there is evidence suggesting processing asymmetries between liquid and glide phonemes. The goal of this study was to determine whether glide phonemes elicit electrophysiological asymmetries related to [consonantal] underspecification when contrasted with liquid phonemes in adult English speakers. Specifically, /ɹɑ/ is (...) categorized as [+consonantal] while /wɑ/ is not specified [i.e., ]. Following the FUL framework, if /w/ is less specified than /ɹ/, the former phoneme should elicit a larger MMN response than the latter phoneme. Fifteen English-speaking adults were presented with two syllables, /ɹɑ/ and /wɑ/, in an event-related potential oddball paradigm in which both syllables served as the standard and deviant stimulus in opposite stimulus sets. Three types of analyses were used: traditional mean amplitude measurements; cluster-based permutation analyses; and event-related spectral perturbation analyses. The less specified /wɑ/ elicited a large MMN, while a much smaller MMN was elicited by the more specified /ɹɑ/. In the standard and deviant ERP waveforms, /wɑ/ elicited a significantly larger negative response than did /ɹɑ/. Theta activity elicited by /ɹɑ/ was significantly greater than that elicited by /wɑ/ in the 100–300 ms time window. Also, low gamma activation was significantly lower for /ɹɑ/ vs. /wɑ/ deviants over the left hemisphere, as compared to the right, in the 100–150 ms window. These outcomes suggest that the [consonantal] feature follows the underspecification predictions of FUL previously tested with the place of articulation and voicing features. Thus, this study provides new evidence for phonological underspecification. Moreover, as neural oscillation patterns have not previously been discussed in the underspecification literature, the ERSP analyses identified potential new indices of phonological underspecification. (shrink)

My aim in this paper is to investigate the variants of directionality implied in visual hieratic texts as religious markers in the sacrosphere, which are substantially expressed in the form of a wayside shrine/cross. The methodological underpinnings for this project rely on the proposed semiotactics : the investigative perspective modeled after phonotactics – a branch of phonology investigating the restrictions on and the possibilities of phoneme combinations in languages. The study draws on digital documentation of wayside shrines, crosses, and (...) sacrality markers on houses collected by the author in various European countries, focusing in particular on the material collected in the area of present Slovakia, Ukraine, Austria, Slovenia, and the region of the Beskid Mountains in Poland. It shows how bodily hexis is inscribed into the phenomenology of a wayside shrine through particular types of hierophanic dynamics. The study also focuses on the aspect of headedness and markedness in the nano-structure of a sign, surfacing as directionality in the conceptualization of the religious sphere by particular communities. (shrink)

This experimental study sets out to determine whether people detect click sounds in American English. Recent research has documented the use of non-phonemic clicks in a variety of languages to fulfill a range of functions such as sequence management or signaling searches and different types of attitudinal stance. While these clicks are acoustically salient and have been reported to occur with a frequency of up to 14 per minute in British English, they have not been widely investigated until relatively recently. (...) For this experiment, we designed video stimuli consisting of A and B pairs of approximately 10 seconds of speech, one with a click and the other with the click edited out. We gave 118 participants a questionnaire and asked if they could detect a difference between the pairs of videos. The results indicate that the majority of participants, between 79% and 86%, do not detect click sounds. (shrink)

Les sciences cognitives poursuivent un objectif fort ancien, qui consiste, sommairement dit, à décrire et à expliquer les comportements intelligents. Elles appliquent à cet effet des principes méthodologiques moins traditionnels, dont l'adoption définit ce qu'il est convenu d'appeler le "tournant cognitif". Je me propose ici d'exposer brièvement ces principes, de les illustrer par des exemples appropriés et d’en discuter la signification philosophique. Pour l’essentiel, j’ai mis en avant un domaine qui me semble particulièrement pertinent pour les philosophes: l'analyse de la (...) catégorisation, c'est-à-dire du processus par lequel un ensemble d'entités (stimuli sonores ou visuels, objets concrets ou abstraits) en vient à être classifié en catégories séparées, qui peuvent être de type perceptif (phonèmes, couleurs) ou conceptuel (espèces naturelles, types d'événements, catégories esthétiques et morales). (shrink)

The effects of lexical context on phonological processing are pervasive and there have been indications that such effects may be modulated by attention. However, attentional modulation in speech processing is neither well documented nor well understood. Experiment 1 demonstrated attentional modulation of lexical facilitation of speech sound recognition when task and critical stimuli were identical across attention conditions. We propose modulation of lexical activation as a neurophysiologically plausible computational mechanism that can account for this type of modulation. Contrary to (...) the claims of critics, this mechanism can account for attentional modulation without violating the principle of interactive processing. Simulations of the interactive TRACE model extended to include two different ways of modulating lexical activation showed that each can account for attentional modulation of lexical feedback effects. Experiment 2 tested conflicting predictions from the two implementations and provided evidence that is consistent with bias input as the mechanism of attentional control of lexical activation. (shrink)

In this paper, we explore the effect of musical expertise on whistled word perception by naive listeners. In whistled words of nontonal languages, vowels are transposed to relatively stable pitches, while consonants are translated into pitch movements or interruptions. Previous behavioral studies have demonstrated that naive listeners can categorize isolated consonants, vowels, and words well over chance. Here, we take an interest in the effect of musical experience on words while focusing on specific phonemes within the context of the word. (...) We consider the role of phoneme position and type and compare the way in which these whistled consonants and vowels contribute to word recognition. Musical experience shows a significant and increasing advantage according to the musical level achieved, which, when further specified according to vowels and consonants, shows stronger advantages for vowels over consonants for all participants with musical experience, and advantages for high‐level musicians over nonmusicians for both consonants and vowels. By specifying high‐level musician skill according to one's musical instrument expertise (piano, violin, flute, or singing), and comparing these instrument groups to expert users of whistled speech, we observe instrument‐specific profiles in the answer patterns. The differentiation of such profiles underlines a resounding advantage for expert whistlers, as well as the role of instrument specificity when considering skills transferred from music to speech. These profiles also highlight differences in phoneme correspondence rates due to the context of the word, especially impacting “acute” consonants (/s/ and /t/), and highlighting the robustness of /i/ and /o/. (shrink)

This article deals with the reframing of the concept of universal mediated communication on a global scale. Subjects include the following: the universe has a conscious force field at all its scales, requiring continuous inter-scale communication of information; the field exhibits distinct electromagnetic frequencies associated with the building blocks of life; and advances in the technology of sound production with electronic synthesizers can be applied to study mechanisms of such universal communication. The question being addressed is how electronic synthesizers can (...) be used to create sonic xenolinguistic expressions when composing with sonified frequencies obtained from bio-organisms, human protein structures, phonemes and various types of interstellar frequencies that include, but are not limited to, gamma bursts, pulsars and neutron stars. The objective is to construct sonic xenolingusitic expressions that can act like feedback loops within the field of consciousness. These sonic expressions can include anomalous cognitive, emotive or spiritual experiences that may be emerging out of the universal field of consciousness in real time. Xenolinguistics is a hypothetical language used to communicate with other sentient beings in the universe. The rationale for composing sonic xenolingustic expressions is the belief that the universe is considered conscious and that there is a field of consciousness existing throughout the universe that in principle is also instrumental in how communication can evolve with extraterrestrials. Outlines of other attempts at extraterrestrial communication by other researchers will be offered based on current literature. The probability that other life forms have established some mode of information exchange that is detectable and that, in return, may be able to create a form of communication to respond will be covered. It is postulated that various energy fields existing before and after the creation of our universe interacted with one another becoming abiotic, and then over time, formed even more complex structures. It is these complex structures that were then able to communicate essential information for maintaining their stability and survivability by using specific signalling frequencies. It is hypothesized that first life in the universe emerged within an already existing field of information and that our consciousness is thereby able to establish communication with other forms of consciousness in the universe. It is on this basis that a novel scientific and philosophical paradigm is considered in which the universe is conceived of as an active information matrix that can entertain potential extraterrestrial communication. In this framework, the present article will offer a new approach to orchestrated electronic sounds as a means to such communication. By integrating quantum physical properties into that sonic framework, a new study emerged on how sonic xenolinguistic elements can be incorporated into electronic composition techniques. This new framework may produce new algorithms for musical expression that not only represent an innovative future of electronic music but may also be crucial in the formulation and induction of new states of consciousness that will enable humankind to directly participate in the further becoming of the universe as a result of the evolution of this universal field of consciousness. (shrink)

This dissertation work is premised upon the observation that semantic information is required in order to group phonetically distinct word-tokens into phonemically equivalent word-types. For philosophers, like W. V. Quine, who have a dim view of meaning, this claim regarding the semantic basis of natural language phonology, if true, is problematic. This is why in a series of publications, Quine has attempted to avoid any appeal to semantics in his efforts to reconstruct phonemic word-type equivalence. Consistent with his rejection (...) of meaning-based analytic equivalence, Quine rejects a meaning-based account of basic phonological equivalence. However, given the empirical failures to "reduce the phoneme" to acoustic, phonetic, and/or distributional data within phonology---combined with the philosophical short-comings of a behavioral reduction---a consistent disavowal of meaning prohibits Quine from acknowledging the legitimacy of basic phonological equivalence anymore than he wishes to acknowledge the legitimacy of analytic equivalence. In this way, a consistent Quinean rejection of meaning entails not only a skeptical dismissal of analytic equivalence, but also a dismissal of basic phonological equivalence. ;Yet the observation that semantic information is required in order to group word-tokens into phonemic word-types also has a Fregean application. This is because the semantic information required to reconstruct basic phonology is not entirely intensional in character. In addition to typing word-tokens of various predicates in terms of properties, word-tokens of names must also be phonologically typed. So whereas Quineans reject synonymous substitutions because they are based upon meaning, Fregeans claim reference is insufficient to guarantee the substitution of co-referring names salva veritate. But if basic phonological substitutions among word-tokens are premised upon co-reference , a consistent rejection of co-naming substitutions within belief contexts also threatens the substitution of allophonically related word-tokens in belief contexts. The semantic basis of natural language phonemic categorization has a number of implications vis-a-vis contemporary philosophy of language. (shrink)

In the 1970's Paul Ricoeur and Jacques Derrida participated in a published debate over the nature of philosophical discourse. The question of the possibility of univocal discourse in philosophy drives the published debate. I provide a commentary on this debate and situate it in a broader confrontation over the nature of language in general. Ricoeur sees language as the discursive event which aims at the communication of univocal meaning. I show that the discursive event, for Ricoeur, happens in the present, (...) and that presentness implies singularity and wholeness. In contrast, Derrida holds that the unavoidable use of iterable forms of phonemes and graphemes, what Derrida calls traces or traits, can always threaten communication by producing an irreducible metaphoricity. I show that the primary characteristic of iterability is absence or nonpresence and that nonpresence implies plurality and differentiality . ;Yet, the confrontation between Ricoeur and Derrida is not a simple opposition between event and iterability, between univocity and metaphoricity. Ricoeur always asserts that language possesses a type of iterability or repeatability and a type of metaphoricity or plurivocity. I show, however, that, for Ricoeur, repeatability designates repeatability of meaning and it always functions teleologically. It always aims at unity, identity and univocity. For Derrida, iterability designates not simply repeatability of meaning but repeatability of linguistic forms, from which meaning is inseparable. Iterability never functions teleologically. It is the essential possibility of deviation from any normative precedent, from any unity, from any identity, from any univocity. ;I conclude by taking up two points which Derrida makes throughout his writings. First, Derrida shows the absolute necessity of the externalization of meaning in iterable linguistic forms. Second, a linguistic form is not strictly or identically repeatable. I argue that these two points are undeniable. Thus I conclude that Ricoeur's attempt to assure a certain type of philosophical univocity, his attempt to revitalize metaphysics, the very project which animates perhaps all of Ricoeur's hermeneutical philosophy, cannot succeed. (shrink)

ABSTRACTType B, or a posteriori, physicalism is the view that phenomenal-physical identity statements can be necessarily true, even though they cannot be known a priori—and that the key to understanding their status is to understand the special features of our phenomenal concepts, those concepts of our experiential states acquired through introspection. This view was once regarded as a promising response to anti-physicalist arguments that maintain that an epistemic gap between phenomenal and physical concepts entails that phenomenal and physical properties are (...) distinct. More recently, however, many physicalists have lost confidence in the view, and have proposed less promising defences of physicalism—or have become outright sceptical about its prospects. I argue here that these physicalists have underestimated the resources of Type B physicalism and are thereby retreating too quickly—or fighting battles that have already been won. (shrink)

This paper examines the relationship between knowing how to G and the ability to G, which is typically presented in one of the following ways: knowing how to G entails the ability to G; knowing how to G does not entail the ability to G. In an attempt to reconcile these two putatively opposing positions, I distinguish between type and token actions. It is my contention that S can know how to G in the absence of an ability to (...) \, where this action is derived from an action-type, but not in the absence of the ability to perform the action-type itself \\). This refinement is an attempt to reconcile differences between intellectualism and anti-intellectualism with regard to knowledge how and ability. (shrink)

A logic-enriched type theory is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named and , which we claim correspond closely to the classical predicative systems of second order arithmetic and . We justify this claim by translating each second order system into the corresponding LTT, and proving that these translations are conservative. This is part of an ongoing research project to investigate how LTTs may be used to formalise (...) different approaches to the foundations of mathematics.The two LTTs we construct are subsystems of the logic-enriched type theory , which is intended to formalise the classical predicative foundation presented by Herman Weyl in his monograph Das Kontinuum. The system has also been claimed to correspond to Weyl’s foundation. By casting and as LTTs, we are able to compare them with . It is a consequence of the work in this paper that is strictly stronger than .The conservativity proof makes use of a novel technique for proving one LTT conservative over another, involving defining an interpretation of the stronger system out of the expressions of the weaker. This technique should be applicable in a wide variety of different cases outside the present work. (shrink)

Biological taxonomists rely on the so-called ‘type method’ to regulate taxonomic nomenclature. For each newfound taxon, they lay down a ‘type specimen’ that carries with it the name of the taxon it belongs to. Even if a taxon’s circumscription is unknown and/or subject to change, it remains a necessary truth that the taxon’s type specimen falls within its boundaries. Philosophers have noted some time ago that this naming practice is in line with the causal theory of reference (...) and its central notion of rigid designation: a type specimen fixes the reference of a taxon name without defining it. Recently, however, this consensus has come under pressure in the pages of this journal. In a series of articles by Alex Levine, Joseph LaPorte, and Matthew Haber, it has been argued that type specimens belong only contingently to their species, and that this may bode problems for the relation between type method and causal theory. I will argue that this ‘contingency debate’ is a debate gone wrong, and that none of the arguments in defense of contingency withstand scrutiny. Taxonomic naming is not out of step with the causal theory, but conforms to it. However, I will also argue that this observation is itself in need of further explanation, since application of the type method in taxonomic practice is plagued by errors and ambiguities that threaten it with breaking down. Thus, the real question becomes why taxonomic naming conforms to the causal theory in the first place. I will show that the answer lies in the embedding of the type method into elaborate codes of nomenclature. (shrink)

A key idea in both Frege's development of arithmetic in theGrundlagen[7] and Zermelo's 1904 proof [10] of the well-ordering theorem is that of a “type reducing” correspondence between second-level and first-level entities. In Frege's construction, the correspondence obtains betweenconceptandnumber, in Zermelo's (through the axiom of choice), betweensetandmember. In this paper, a formulation is given and a detailed investigation undertaken of a system ℱ of many-sorted first-order logic (first outlined in the Appendix to [6]) in which this notion of (...) class='Hi'>type reducing correspondence is accorded a central role and which enables Frege's and Zermelo's constructions to be presented in such a way as to reveal their essential similarity. By adapting Bourbaki's version of Zermelo's proof of the well-ordering theorem, we show that, within ℱ, any correspondencecbetween second-level entities (here calledconcepts) and first-level ones (here calledobjects) induces a well-ordering relationW(c) in a canonical manner. We shall see that, whencis the “Fregean” correspondence between concepts and cardinal numbers,W(c) is (the well-ordering of) the ordinalω+ 1, and whencis a “Zermelian” choice function on concepts,W(c) is a well-ordering of the universal concept embracing all objects.In ℱ an important role is played by the notion ofextensionof a concept. To each conceptXwe assume there is assigned an objecte(X) in such a way that, for any conceptsX, Ysatisfying a certain predicateE, we havee(X) =e(Y) iff the same objects fall underXandY. (shrink)

In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-L f. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property. This book contains a thorough introduction to (...) class='Hi'>type theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples. (shrink)

In this article we deal with Glivenko type theorems for intuitionistic modal logics over Prior's MIPC. We examine the problems which appear in proving Glivenko type theorems when passing from the intuitionistic propositional logic Intto MIPC. As a result we obtain two different versions of Glivenko's theorem for logics over MIPC. Since MIPCcan be thought of as a one-variable fragment of the intuitionistic predicate logic Q-Int, one of the versions of Glivenko's theorem for logics over MIPCis closely related (...) to that for intermediate predicate logics obtained by Umezawa [27] and Gabbay [15]. Another one is rather surprising. (shrink)

Type specimens are used to designate species. What is the nature of the relation between a type specimen and the species it designates? If species names are rigid designators, and type specimens ostensively define species, then that relation is, at the very least, a close one. Levine :325–338, 2001) argues that the relationship of type specimen to a named species is one of necessity—and that this presents problems for the individuality thesis. Namely, it seems odd that (...) a contingently selected specimen should belong to a species of necessity. In considering Levine’s argument, LaPorte suggests that recognizing the distinction between de re and de dicto necessity resolves Levine’s worries. I reconsider the motivating question: does a type specimen belong of necessity to the species that it designates? In light of taxonomic cases and practice the answer is clear: definitively not. This is particularly clear in the case of re-designation of types by taxonomic decree. I explain how this helps reveal how taxonomists prioritize competing theoretical commitments, and offer a defense of the individuality thesis as applied to these particular cases. In short, I demonstrate how to misidentify a type specimen. (shrink)

This study explores the type-based vocational education system from the perspective of China. General education and vocational education are equal types of education in status, but not based on different levels of education in China. Specifically, the connotation of vocational education as type-based education is mainly embodied in ‘three directions’. The outstanding problems of vocational education as a type-based education include ‘four aspects’. Vocational education as a type-based education reform path is considered as ‘four reforms’. We (...) should strengthen management, improve the comprehensive quality of vocational college students and make clear the direction and explore the new path of reform and development of vocational colleges. In addition, we need to optimize investment and make innovations in the system and mechanism of funding for China’s vocational education. (shrink)

Abstract: Tomatoes are part of the major crops in food security. Tomatoes are plants grown in temperate and hot regions of South American origin from Peru, and then spread to most countries of the world. Tomatoes contain a lot of vitamin C and mineral salts, and are recommended for people with constipation, diabetes and patients with heart and body diseases. Studies and scientific studies have proven the importance of eating tomato juice in reducing the activity of platelets in diabetics, which (...) helps in protecting them from developing deadly blood clots. A tomato classification approach is presented with a data set containing approximately 5,266 images with 7 species belonging to tomatoes. The Neural Network Algorithms (CNN), a deep learning technique applied widely in image recognition, is used for this task. (shrink)

SummaryHow can the immense amount of suffering and waste inherent in the evolutionary process be reconciled with the existence of a perfectly good and omnipotent God? A widely embraced proposal in the area of “evolutionary theodicy” is the so-called “Only Way”-argument. This argument contends that certain valuable goods – in particular, creaturely independence and human freedom – can only come about through a genuinely indeterministic and partly uncontrolled process of evolution. In a previous article, I have argued that the “Only (...) Way”-argument can be defeated by a “Twin Earth”-thought experiment: If God is omnipotent, he could have created – directly, without evolution – creatures that are molecule-for-molecule identical to those that he actually created through evolution. If the creatures that he actually created have freedom and independence, there is no valid reason to deny that the non-evolved “twin creatures” would also be free and independent. Recently, Eikrem and Søvik have suggested a way of blocking my Twin Earth-argument by appealing to the distinction between type-values and token-values. While ES admit that the Twin Earth-argument shows the non-necessity of evolution for the existence of certain type-goods, they argue that an evolutionary creation can be justified by appeal to valuable token-goods that could not have existed without evolution. In this article, I respond to ES’s token-goods argument by showing that it is incompatible with a basic presupposition of “Only Way” evolutionary theodicies, namely the claim that the evolutionary process is genuinely indeterministic and partly uncontrolled. (shrink)

Homotopy Type Theory is a proposed new language and foundation for mathematics, combining algebraic topology with logic. An important rule for the treatment of identity in HoTT is path induction, which is commonly explained by appeal to the homotopy interpretation of the theory's types, tokens, and identities as spaces, points, and paths. However, if HoTT is to be an autonomous foundation then such an interpretation cannot play a fundamental role. In this paper we give a derivation of path induction, (...) motivated from pre-mathematical considerations, without recourse to homotopy theory. (shrink)

The type identity theory, according to which types of mental state are identical to types of physical state, fell out of favour for some years but is now being considered with renewed interest. Many philosophers are critically re-examining the arguments which were marshalled against it, finding in the type identity theory both resources to strengthen a comprehensive, physicalistic metaphysics and a useful tool in understanding the relationship between developments in psychology and new results in neuroscience. This volume brings (...) together leading philosophers of mind, whose essays challenge in new ways the standard objections to type identity theory, such as the multiple realizability objection and the modal argument. Other essays show how cognitive science and neuroscience are lending new support to type identity theory and still others provide, extend and improve traditional arguments concerning the theory's explanatory power. (shrink)