Domain of logic according st.th.aquinas door Schmidt