id	author	title	date	pages	extension	mime	words	sentences	flesch	summary	cache	txt
work_mg4rdt4u6bebvenen5shv3wrpy	Sebastian Lutz	On a Straw Man in the Philosophy of Science: A Defense of the Received View	2012	36	.pdf	application/pdf	16617	1147	60	I defend the Received View on scientific theories as developed by Carnap, Hempel, for example by Rudolf Carnap, Carl Gustav Hempel, Herbert Feigl, and Ernest Nagel, scientific theories are represented as sets of sentences (called theoretical sentences) in predicate axiomatization of scientific theories in first order predicate logic or, in Carnap's later writings, he obviously means the Received View, and later discusses "standard formalizations", axiomatizations in first order logic (Suppes 1967, 58), without explicitly identifying the two (some It is clear that Carnap's later writings on the Received View allow for type theory, because View, Hempel did not mean to restrict reconstructions of theories to first order logic. Carnap (1939, §16) gives as an example of a calculus a simple theory of thermal expansion, and accordingly uses, but does not axiomatize, logical and mathematical concepts. uses type theory in all of his expositions of the Received View, and Hempel refers to Carnap's	./cache/work_mg4rdt4u6bebvenen5shv3wrpy.pdf	./txt/work_mg4rdt4u6bebvenen5shv3wrpy.txt