En kort notits. For fremtiden vil jeg benytte domme og dom i stedet for propositioner og proposition. Dette er fordi 1) det anvendes sådan i det danske intellektuelle miljø, og 2) det er lettere at skrive dom. Begrundelse for 1. er læsning af den bog jeg postede en ordrebekræftelse på forleden i.e. Formel Logik.