id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
8336h130p3c	Sean Walsh	Arithmetical Knowledge and Arithmetical Definability: Four Studies	2010		.txt	text/plain	348	12	27	The fourth chapter is concerned with arithmetical definability in the setting of descriptive set theory, where the relevant benchmark is between notions which may be defined without quantification over elements of certain topological spaces (Borel notions) and notions whose definitions do require such quantification (analytic, coanalytic, projective notions). The first two chapters contain respectively a critique of a logicist account of a preferred means by which we may legitimately infer to arithmetical truths and a tentative defense of an empiricist account.	cache/8336h130p3c.txt	txt/8336h130p3c.txt