-
11Strictures on an ExhibitionJournal for the History of Analytical Philosophy 9 (11). 2021.In Grundgesetze der Arithmetik, Frege tried to show that arithmetic is logical by giving gap-free proofs from what he took to be purely logical basic laws. But how do we come to judge these laws as true, and to recognize them as logical? The answer must involve giving an account of the apparent arguments Frege provides for his axioms. Following Sanford Shieh, I take these apparent arguments to instead be exhibitions: the exercise of a logical capacity in order to bring us into a state of judgeme…Read more
-
9Unsupervised named-entity extraction from the Web: An experimental studyArtificial Intelligence 165 (1): 91-134. 2005.
-
20Frege's case for the logicality of his basic lawsDissertation, St. Andrews University. 2017.Frege 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 analyti…Read more
-
University of St. AndrewsGraduate student
St Andrews, FIfe, United Kingdom of Great Britain and Northern Ireland
Areas of Specialization
Logic and Philosophy of Logic |
Philosophy of Mathematics |
19th Century Philosophy |