Argumento fregeano a favor del platonismo matemático

P1. Si una oración es verdadera, todos sus constituyentes sintácticos han

tenido éxito en cumplir con su función semántica.
P2. La función semántica de los términos singulares (abstractos) es referirse a
objetos abstractos.
C1. Si una oración es verdadera, todos sus términos singulares (si los hay) se
refieren exitosamente a objetos (sustitución, P1, P2).
P3. Si un término singular se refiere con éxito, hay un objeto al que se refiere.
C2. Si una oración constituida en parte por términos singulares es verdadera,
entonces hay objetos a los que se refieren sus términos singulares (silogismo
hipotético, C1, P3).
P4. Hay frases verdaderas en parte constituidas por términos singulares
abstractos.
C3. Hay objetos abstractos (modus ponens, C2, P4).

Argumento en contra del platonismo matemático

P1. Si el platonismo matemático es verdadero, entonces, si para todo ser

humano existe el conocimiento de proposiciones matemáticas de segundo o
mayor orden, entonces este conocimiento está fundamentado en objetos
abstractos.
P2. Si S sabe que P (una proposición), entonces los fundamentos de S a favor
de P están relacionados de manera relevante con el hecho de que p.
P3. Para cualquier X, si X es un ser espacio-temporal, y para cualquier Q (una
proposición que describe un hecho q sobre un objeto abstracto), entonces X no
está conectado relevantemente con el hecho que q y, por tanto, X no sabe que
Q.
P4. Los seres humanos son seres espacio-temporales.
C1. Los seres humanos no están conectados de manera relevante con objetos
abstractos y no tienen ningún conocimiento de objetos abstractos (modus
ponens, P3, P4).
C2. Los seres humanos no conocen ninguna proposición basada en objetos
abstractos (modus tollens, P2, C1).
P5. Si los seres humanos tienen conocimiento de proposiciones matemáticas
de
segundo orden o de orden superior basada en objetos abstractos, entonces los
seres humanos tienen conocimiento de objetos abstractos.
C3. Los seres humanos no tienen ningún conocimiento de proposiciones
matemáticas de segundo orden o de orden superior basada en objetos
abstractos
(modus tollens, P5, C2).
C4. El platonismo matemático es falso (modus tollens, P1, C3).