When we accept a formal system S, we thereby implicitly commit ourselves to certain desirable properties, such as consistency, of S depending on one's criterion or purpose of accepting it. Then, we could argue that, when we accept a formal system S, we implicitly commit ourselves to and thereby accept stronger or richer systems than S in general. We could also argue from the dual perspective that, when we are justified to accept a formal system on a certain fundamental ground, we can justifiably accept stronger or richer systems on the same fundamental ground. The question is: How much more should be or can be accepted on the same fundamental ground by one's initial acceptance of a system?
The Midlands Logic Seminar was founded in 2011 and aims to cover all areas of mathematical logic, as well as related areas of theoretical computer science, and philosophy of mathematics. We typically have a study group session from 4:00-5:00 (term 1 topic: satisfcation classes) and a research talk from 5:00-6:00.
Dr Walter Dean
Department of Philosophy
University of Warwick