### 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?

##### About the seminar

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.

##### Logistics

All meetings for Term 1 2013 will be Friday from 4:00-6:00 in room 310 of Watson Building (School of Mathematics) on the campus of the University of Birmingham.

campus map
google maps

To get to campus, take train from Birmingham New Street to the University stop (7 minutes).

##### Organizers:

Dr Richard Kaye

School of Mathematics

University of Birmingham

http://web.mat.bham.ac.uk/R.W.Kaye/

Dr Walter Dean

Department of Philosophy

University of Warwick

http://go.warwick.ac.uk/whdean