dissertation requirements churchs thesis logic mind and nature