Documentation

Linglib.Fragments.Slavic.Czech.Phonology

Czech phonology #

This file defines the phonemes of Czech as segments, the natural classes of its velar alternations, the second palatalization of velars and the reading of Czech spelling as phonemes, after Short's description of the language. Czech has five vowels, each short and long, and twenty-five consonantal phonemes. The second palatalization replaces k by c, h and g by z, and ch by š. Short files h among the laryngeals, and in the features of the PHOIBLE chart it is not dorsal, so the four segments the rule changes are not the dorsals. They are a natural class all the same, the obstruents that are neither labial nor coronal.

The spelling is close to the phonemes. A palatal ď, ť or ň is written on a following ě or i, as in dě and di, a labial before ě is followed by /j/ and m by /ň/, and i and y write one vowel.

Main definitions #

Main results #

Implementation notes #

The inventory is PHOIBLE 1140, whose consonants are Short's twenty-five and whose vowels are his five short and five long vowels and three diphthongs. PHOIBLE marks /oː/ and the diphthongs /au/ and /eu/ marginal, the three that Short confines to loan-words (p. 456). PHOIBLE's other Czech inventories, 2274 and 2480, add the glottal stop and the voiced affricate [dž], which Short counts as not phonemic (p. 457).

Hayes's features have no length, so a long vowel is two segments of its quality, and a diphthong, which the chart omits as contour-valued, is its two vowels. A vowel keeps the features that distinguish the five, since the chart gives the short high vowel as the lax [ɪ] and the long one as the tense [iː]. The chart's t, d and n are alveolar where Short calls them dental, a difference in [distributed] on which no Czech contrast depends.

ofString? reads the phonemes and not their realization: the final devoicing and the voicing assimilation of obstruents (p. 458) are left out, so that oběd 'lunch' is /objed/ where Short writes /objet/. It follows Short's rules for the palatals without exception, so a loan-word in which di, ti or ni writes a plain dental is misread, and it reads x as [ks], one of Short's two readings.

References #

Phonemes #

The phonemes are Short's (pp. 456–457), each named by the letter he writes it with, so that ť is [c], c is [ts] and h is [ɦ].

The features that distinguish the five vowels, with [syllabic] marking them as vowels.

Equations
Instances For

    A vowel is its chart entry's segment on the features that distinguish the five vowels.

    Equations
    Instances For

      The low vowel /a/, long /aː/ written á.

      Equations
      Instances For

        The mid front vowel /e/, [ɛ] in PHOIBLE's inventory, long /eː/ written é.

        Equations
        Instances For

          The high front vowel /i/, written i or y and long í or ý, the letters with y going back to Proto-Indo-European ū (p. 456). PHOIBLE's inventory gives it as the lax [ɪ] short and the tense [iː] long.

          Equations
          Instances For

            The mid back vowel /o/. Its long counterpart /oː/, written ó, occurs only in loan-words (p. 456).

            Equations
            Instances For

              The high back vowel /u/, long /uː/ written ú and, where it developed from /oː/, ů (p. 456).

              Equations
              Instances For

                The voiced velar occlusive /g/. Original /g/ changed regularly into /h/, so /g/ is restricted to borrowings (p. 457).

                Equations
                Instances For

                  The voiceless alveolar semi-occlusive /c/, [ts].

                  Equations
                  Instances For

                    The voiceless post-alveolar semi-occlusive /č/, [tʃ].

                    Equations
                    Instances For

                      The voiceless labio-dental fricative /f/, largely confined to loans (p. 458).

                      Equations
                      Instances For

                        The voiceless post-alveolar fricative /š/, [ʃ], formerly palatal.

                        Equations
                        Instances For

                          The voiced post-alveolar fricative /ž/, [ʒ], formerly palatal.

                          Equations
                          Instances For

                            The palatal /j/, which Short lists with the fricatives and the chart gives as the glide.

                            Equations
                            Instances For

                              The voiceless velar fricative /ch/, [x], whose letter is one letter of the alphabet (p. 459).

                              Equations
                              Instances For

                                The laryngeal fricative /h/, [ɦ], "voiced (!)" in Short's list.

                                Equations
                                Instances For

                                  The post-alveolar vibrant /ř/, "with considerable friction", the chart's raised trill [r̝].

                                  Equations
                                  Instances For

                                    The phonemes, Short's five vowels and twenty-five consonantal phonemes, pairwise distinct.

                                    Equations
                                    • One or more equations did not get rendered due to their size.
                                    Instances For

                                      The vowels of the inventory.

                                      Equations
                                      Instances For

                                        The consonantal phonemes of the inventory.

                                        Equations
                                        Instances For

                                          The vowels are the five.

                                          "There are twenty-five consonantal phonemes" (p. 457).

                                          The segment of a PHOIBLE phoneme, as a vowel where PHOIBLE classes it with the vowels.

                                          Equations
                                          Instances For

                                            Each phoneme is the segment of a phoneme of PHOIBLE's Czech inventory.

                                            Every phoneme of PHOIBLE's Czech inventory has the segment of one here, a long vowel that of its short counterpart, save the three diphthongs, whose height changes and which the inventory leaves without a value for [high].

                                            Natural classes #

                                            The description of the velar obstruents, dorsal and not coronal.

                                            Equations
                                            Instances For

                                              The dorsals, the natural class of the velar obstruents.

                                              Equations
                                              Instances For

                                                The dorsals are Short's velars k, g and ch.

                                                The dorsals are the natural class of what they share.

                                                The segments that the second palatalization changes, k, g, h and ch (p. 462).

                                                Equations
                                                Instances For

                                                  The palatalizing segments are the dorsals and h, which is not dorsal. Short files it among the laryngeals (p. 457), although it alternates with z as g does (p. 462).

                                                  The palatalizing segments are nonetheless a natural class, the obstruents that are neither labial nor coronal: every other obstruent of the inventory is labial or coronal.

                                                  The palatalizing segments are the natural class of what they share.

                                                  Voicing pairs #

                                                  The voiceless obstruents whose counterpart in [voice] is a phoneme are all but c, č and ch, whose counterparts [dz], [dž] and [ɣ] occur only as positional variants (pp. 457–458).

                                                  The voiced obstruents whose counterpart in [voice] is a phoneme are all but h, whose counterpart is the voiceless glottal [h]. Where voice is neutralized Short gives /x/ as the voiceless counterpart of /h/ (p. 458), which differs from it in more than [voice].

                                                  h and ch, "a nearly matching pair of fricatives" (p. 462), differ in [voice], [spread glottis] and [consonantal], and in [dorsal] and the tongue-body features that go with it.

                                                  The second palatalization #

                                                  The second palatalization of velars, "k › c; h › z; ch › š (NB not s). Here too the reflex of g has de-affricated from dz to z" (p. 462). Every other segment is left as it is.

                                                  Equations
                                                  • One or more equations did not get rendered due to their size.
                                                  Instances For

                                                    The second palatalization leaves every segment but the four as it is.

                                                    The reflexes are c, z and š.

                                                    The reflex of g is that of k voiced, [dz], de-affricated, and h, the Czech reflex of Proto-Slavic g (p. 461), shares it. k and g differ in [voice] alone, and their reflexes in [continuant] as well.

                                                    theorem Czech.Phonology.not_exists_merge_eq :
                                                    ¬∃ (d : Phonology.Segment), (fun (f : Phonology.Feature) => (d f).or (k f)) = secondPalatalization k ∧ (fun (f : Phonology.Feature) => (d f).or (g f)) = secondPalatalization g

                                                    No one feature change, merging the same values into each segment, takes both k and g to their reflexes, since the two agree in [continuant] and their reflexes do not.

                                                    Spelling #

                                                    def Czech.Phonology.alphabet :
                                                    List String

                                                    The letters of the Czech alphabet, ch being one (p. 459).

                                                    Equations
                                                    • Czech.Phonology.alphabet = ["a", "b", "c", "č", "d", "e", "f", "g", "h", "ch", "i", "j", "k", "l", "m", "n", "o", "p", "q", "r", "ř", "s", "š", "t", "u", "v", "w", "x", "y", "z", "ž"]
                                                    Instances For
                                                      def Czech.Phonology.ofChar :
                                                      Char → Option (List Phonology.Segment)

                                                      The phonemes a letter writes where no neighbouring letter changes its reading. A long vowel is two segments, ě on its own writes /e/, and q, w and x write [kv], [v] and [ks] in loan-words (p. 459).

                                                      Equations
                                                      Instances For

                                                        The phonemes a letter writes before i or í, where d, t and n write /ď/, /ť/ and /ň/ (p. 459).

                                                        Equations
                                                        Instances For
                                                          def Czech.Phonology.ofChars :
                                                          List Char → Option (List Phonology.Segment)

                                                          ofChars w is the phonemes that the letters w write, if they are all Czech letters. The letters c and h together write /ch/, and a letter before ě, i or í writes what it writes there.

                                                          Equations
                                                          Instances For
                                                            def Czech.Phonology.ofString? (w : String) :
                                                            Option (List Phonology.Segment)

                                                            ofString? w is the phonemes that the word w writes, if its letters are all Czech.

                                                            Equations
                                                            Instances For
                                                              def Czech.Phonology.letter (x : Phonology.Segment) :
                                                              Option String

                                                              The letter that writes a phoneme on its own, the first in the alphabet that does, or the palatal ď, ť or ň.

                                                              Equations
                                                              Instances For
                                                                theorem Czech.Phonology.isSome_letter (x : Phonology.Segment) :
                                                                x ∈ inventory → (letter x).isSome = true

                                                                Each phoneme has a letter.

                                                                theorem Czech.Phonology.mem_inventory_of_mem_ofChars {w : List Char} {l : List Phonology.Segment} (h : ofChars w = some l) (x : Phonology.Segment) :
                                                                x ∈ l → x ∈ inventory

                                                                The letters write phonemes of the inventory.

                                                                theorem Czech.Phonology.mem_inventory_of_mem_ofString? {w : String} {l : List Phonology.Segment} (h : ofString? w = some l) (x : Phonology.Segment) :
                                                                x ∈ l → x ∈ inventory

                                                                The spelling writes phonemes of the inventory.

                                                                theorem Czech.Phonology.ofString?_length :
                                                                ofString? "dal" = some [d, a, l] ∧ ofString? "dál" = some [d, a, a, l] ∧ ofString? "dul" = some [d, u, l] ∧ ofString? "důl" = some [d, u, u, l] ∧ ofString? "ryby" = some [r, i, b, i] ∧ ofString? "rybí" = some [r, i, b, i, i]

                                                                Length is phonemic, as in Short's pairs dal 'he gave' and dál 'further', dul 'blew' and důl 'mine', and ryby 'fish' and rybí 'fish-', where y and i write one vowel (p. 456).

                                                                theorem Czech.Phonology.ofString?_diphthong :
                                                                ofString? "sud" = some [s, u, d] ∧ ofString? "soud" = some [s, o, u, d]

                                                                The diphthong of soud 'court' against the vowel of sud 'barrel' (p. 456).

                                                                theorem Czech.Phonology.ofString?_labial_ě :
                                                                ofString? "pěna" = some [p, j, e, n, a] ∧ ofString? "věno" = some [v, j, e, n, o] ∧ ofString? "harfě" = some [h, a, r, f, j, e] ∧ ofString? "město" = some [m, ň, e, s, t, o] ∧ ofString? "oběd" = some [o, b, j, e, d]

                                                                b, p, v and f before ě are followed by /j/, and m by /ň/, in Short's pěna /pjena/ 'foam', věno /vjeno/ 'dowry', harfě /harfje/ 'harp' and město /mňesto/ 'town', and in oběd 'lunch', whose /objet/ has the final devoicing that ofString? leaves out (p. 459).

                                                                theorem Czech.Phonology.ofString?_d_ď :
                                                                ofString? "mladý" = some [m, l, a, d, i, i] ∧ ofString? "mladí" = some [m, l, a, ď, i, i] ∧ ofString? "mladě" = some [m, l, a, ď, e] ∧ ofString? "ďábel" = some [ď, a, a, b, e, l]

                                                                The alternation of d with ď before a front vowel, in Short's mladý, mladí, mladě 'young' (p. 462), and ď written with the háček before a back vowel, as in ďábel 'devil' (p. 459).

                                                                theorem Czech.Phonology.ofString?_t_ť :
                                                                ofString? "krutý" = some [k, r, u, t, i, i] ∧ ofString? "krutí" = some [k, r, u, ť, i, i] ∧ ofString? "krutě" = some [k, r, u, ť, e] ∧ ofString? "ťuhýk" = some [ť, u, h, i, i, k]

                                                                The alternation of t with ť, in Short's krutý, krutí, krutě 'cruel' (p. 462), and ť before a back vowel, as in ťuhýk 'shrike' (p. 459).

                                                                theorem Czech.Phonology.ofString?_n_ň :
                                                                ofString? "plný" = some [p, l, n, i, i] ∧ ofString? "plně" = some [p, l, ň, e]

                                                                The alternation of n with ň, in Short's plný, plně 'full' (p. 462).