Suppose J knows and understands (in the sense … arise from the fact that such understanding of … Suppose that J knows that 1100_2 is 1100_2, … knows it de re to be 1100_2. If … seem counterintuitive. … Blocking exportation [to de re beliefs] in the present case would … ever, satisfied. [e.g., only numerals in the decimal system can be exported, or exported only if J knows all cross-system number identities]
Google-1
Google-2
Copyright clearance needed for quotation.