Aller au contenu principal
A propos d'HEC A propos d'HEC
Summer School Summer School
Faculté et Recherche Faculté et Recherche
Bachelor Programs Bachelor Programs
MBA Programs MBA Programs
Programme PhD Programme PhD
Executive Education Executive Education
HEC Online HEC Online
A propos d'HEC
En bref En bref
Qui sommes-nous ? Qui sommes-nous ?
Egalité des chances Egalité des chances
HEC Talents HEC Talents
International International
Sustainability Sustainability
Diversité et inclusion Diversité et inclusion
Fondation HEC Fondation HEC
Vie du campus Vie du campus
Rapport d'activité Rapport d'activité
Summer School
Youth programs Youth programs
Summer programs Summer programs
Online Programs Online Programs
Faculté et Recherche
À propos À propos
Corps professoral Corps professoral
Départements Départements
Centres Centres
Chaires Chaires
Financements Financements
Knowledge@HEC Knowledge@HEC
Grande Ecole
& Masters
Grande Ecole
Master in Management
Grande Ecole
Master in Management
Programmes
Masters
Programmes
Masters
Doubles
Diplômes
Doubles
Diplômes
Programmes
Bachelor
Programmes
Bachelor
Programmes
Summer
Programmes
Summer
Exchange
students
Exchange
students
Vie
Etudiante
Vie
Etudiante
Notre
différence
Notre
différence
Bachelor Programs
Vue d'ensemble Vue d'ensemble
Course content Course content
Admissions Admissions
Fees and Financing Fees and Financing
MBA Programs
MBA MBA
Executive MBA Executive MBA
TRIUM EMBA TRIUM EMBA
Programme PhD
Overview Overview
HEC Difference HEC Difference
Program details Program details
Research areas Research areas
HEC Community HEC Community
Placement Placement
Job Market Job Market
Admissions Admissions
Financing Financing
FAQ FAQ
Executive Education
Accueil Accueil
Qui sommes-nous ? Qui sommes-nous ?
Univers de formation Univers de formation
Programmes Programmes
Offres entreprises Offres entreprises
Événements/Actualités Événements/Actualités
Contacts Contacts
HEC Online
En bref En bref
Programmes Executive Programmes Executive
MOOCs MOOCs
Summer Programs Summer Programs
Youth programs Youth programs
Faculté et Recherche

Limiting Inconsistencies in Legal Languages. Seminar

Speaker: Sarah B. Lawsky (Northwestern Pritzker School of Law)

Room: S119 

Date: 05/11/2024 

Time: 11am

Limiting Inconsistencies in Legal Languages
Sarah B. Lawsky


Abstract

Inconsistencies and contradictions play drastically different roles in law and in logic, respectively, and programming languages designed to code law should therefore, to the extent possible, be designed to prevent the encoding of inconsistencies. Programming languages should be limited not because such inconsistencies do not exist in the statute, but rather exactly because they do. Inconsistencies in the law should, as they are now, be addressed by Congress, the courts, and administrative agencies, and any computer code implementing the law should represent the law as detangled by the relevant branch of government. The article provides an example of a tax statute that mandates inconsistent outcomes for the same set of facts and shows how that inconsistency has been addressed by Treasury and the IRS. The article establishes the inconsistency in part by using an automated theorem prover. The article also shows how a particular domain-specific programming language, Catala, prevents the implementation of certain inconsistencies.