Midlands Logic Seminar

TITLE

DATE

Study group: Walter Dean (Warwick)
"Intuitionistic Type Theory (Part 2)"

Invited speaker: Kentaro Fujimoto (Bristol)
"Truth and implicit commitment problem"

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?