検証可能な司法システムにおける条文要旨の論理表現の一考察

抄録

検証可能な司法システムにおける法律の論理表現では，もとになる条文の読み方や解釈の違いで論理的構造が大きく異なってしまうものが多い．本稿では，実際に施行されている地方条例を，条文読解のセオリにもとづいて記号論理で定式化する際に，条例の論旨と論理式の内容が異なってしまう問題について議論する．