#separator:tab #html:false #notetype:Basic #deck:Math::Learning to learn::Day or night #tags:math learning dichotomy #columns:Front Back Tags #tags column:3 What does a yes/no word on a continuous quantity need before it can answer? A cutoff: a value of the quantity on one side of which the answer is yes. definition Is it night iff the sun is below c: a theorem or a definition? A definition, so an if and only if by agreement; changing c changes the word, not the sky. definition Sun heights of the four standard cutoffs Sunset -0.833 deg, civil dusk -6, nautical dusk -12, astronomical dusk -18. twilight Why is sunset at -0.833 deg and not 0? The sun's radius (about 0.27 deg) plus refraction by the air (about 0.57 deg): the top edge disappears when the centre is 0.833 deg below. twilight Starbuck, WA, 21 June 2026: when does night begin? 20:49 by sunset, 21:28 civil, 22:22 nautical, 23:39 astronomical: four exact answers to four questions. twilight At 22:00 in Starbuck one person says night and another says not yet. What do they disagree about? Not the sky (it is at -9.74 deg for both) but the cutoff: civil says night, nautical says not yet. trap What is the sorites paradox, for dusk? It is day at sunset; one minute never turns day into night; so it is never night. sorites Where does the dusk sorites go wrong? Once a cutoff is named, one minute does turn day into night: the premise is false at exactly one minute. sorites Lowest sun at local midnight on the June solstice -(90 - latitude - 23.45) degrees. twilight Where is there no astronomical night in late June? North of about 48.55 deg N, where the sun never gets to -18 deg. twilight In fuzzy logic, what is the value of day and not day? min(day, 1 - day): 0 at noon and midnight, up to one half at dusk. fuzzy Is a fuzzy degree of day vaguer than a cutoff? No: it is an equally precise choice, a number in [0, 1] instead of a bit. fuzzy First step when two people argue over a dichotomy Name the quantity underneath and the cutoff each side is using. trap