Affiliation:
1. University of Pittsburgh
Abstract
AbstractWe argue that (1) a purported example of an infinite inference we humans can actually perform admits a faithful, finitary description, and (2) infinite inference contravenes any view which does not grant our minds uncomputable powers. These arguments block the strategy, dating back to Carnap's Logical Syntax of Language, of using infinitary inference rules to secure the determinacy of arithmetical truth on conventionalist grounds.
Reference37 articles.
1. Every Planar Map is Four Colorable
2. Aron J.(2014).Proof confirmed of 400‐year‐old fruit‐stacking problem.https://www.newscientist.com/article/dn26041‐proof‐confirmed‐of‐400‐year‐old‐fruit‐stacking‐problem/. Accessed 11 September 2023.
3. Philosophy of Mathematics
4. Computer proof, apriori knowledge, and other minds: The sixth philosophical perspectives lecture;Burge T.;Philosophical perspectives,1998