Show simple item record

Files in this item


Item metadata

dc.contributor.advisorMilne, Peter
dc.contributor.advisorSullivan, Peter M.
dc.contributor.authorYates, Alexander
dc.coverage.spatial118 p.en_US
dc.description.abstractFrege wanted to show that arithmetical truths are logical by proving them from purely logical basic laws. But how do we know that these basic laws are logical? Frege uses generality and undeniability to make a prima facie case for logicality—if a truth is general and undeniable, then it’s likely logical. I argue that Frege could, did, and had to make a deeper case for why we’re right in recognizing his basic laws as logical. Implicit in his work is a view of logical laws as epistemically analytic—his arguments for his basic laws serve to elicit a reflective awareness of the fact that understanding them is sufficient for recognizing them to be true. This view both fits with Frege’s comments concerning the connection between logic, truth, and normativity, and serves to explain why and in what sense he took logic to be general and conceptually undeniable. In my view, semantics must play a distinctive role in any rational reconstruction of Frege’s case for logicality—the aforementioned “reflective awareness” must be an explicit appreciation of how the truth of formulas expressing Frege’s laws follows quickly from his stipulations governing terms which figure in those formulas. Opposing this view is the elucidatory interpretation of Thomas Ricketts, Warren Goldfarb, and Joan Weiner, which holds that Frege’s arguments for his basic laws can’t be taken at face value, and must serve the merely elucidatory purpose of easing us into the language. Another reading is the correctness interpretation of Richard Heck and Jason Stanley, which holds that Frege’s primary purpose in his arguments is justifying the claim that Frege’s axioms, qua formulas, are true. I argue against both of these interpretations, and in doing so clarify the role and limits of semantics in Frege’s enterprise.en_US
dc.publisherUniversity of St Andrews
dc.subjectEpistemic analyticityen_US
dc.subjectPhilosophy of logicen_US
dc.subjectHistory of analytic philosophyen_US
dc.subjectBasic lawsen_US
dc.subject.lcshFrege, Gottlob, 1848-1925--Contributions in logicen
dc.titleFrege's case for the logicality of his basic lawsen_US
dc.contributor.sponsorRoyal Institute of Philosophyen_US
dc.type.qualificationnamePhD Doctor of Philosophyen_US
dc.publisher.institutionThe University of St Andrewsen_US
dc.publisher.departmentUniversity of Stirlingen_US

This item appears in the following Collection(s)

Show simple item record