id	author	title	date	pages	extension	mime	words	sentences	flesch	summary	cache	txt
work_tknh374wvfbubdzr3xvbaqmyba	Panu Raatikainen	Truth and Provability—A Comment on Redhead	2005	5	.pdf	application/pdf	1113	64	67	Truth and Provability – A Comment on Redhead (Redhead 2004), a simple argument which aims to show that humanly certifiable truth Redhead's arguments require a comment. Redhead's own argument focuses on the weaker Robinson Arithmetic Q (Redhead calls it, following Lucas, 'sorites arithmetic', but I prefer to use the standard talking about numbers.' Redhead contrasts them with the induction axiom (or scheme), concludes that the induction scheme is not analytically true. and hence, induction, is analytic in Redhead's sense. Redhead introduces the notion of truth (or, 'is case in which certifiable truth outruns provability. Redhead's argument thus assumes, already in the beginning, something that goes beyond One of Redhead's conclusions was that human minds can know the truth of obvious truth about natural numbers, is not provable in Robinson Arithmetic Q. does not justify the conclusion that 'certifiable truth outruns provability' (neither would shows that there are true sentences of arithmetic which cannot be proved in any 	./cache/work_tknh374wvfbubdzr3xvbaqmyba.pdf	./txt/work_tknh374wvfbubdzr3xvbaqmyba.txt