ひとつ前の記事「Propositions-As-Typesを曲解しないで理解するために」の最初の節や最後の節で、同義語・曖昧多義語を話題にしました。曖昧さは色々な形で現れます。なにごとかを正確に理解するには、曖昧さを処理していくことが必要です。まー、曖昧に書く…