Non-standard models of Peano arithmetic, as demonstrated by Thoralf Skolem in 1933, contain 'natural numbers' with no standard correlates, making first-order provability insufficient to exclude pathological interpretations.

?Rate how convincing each reason is below to see the overall strength.

1 reason for

1 reason against

Reasons For

1 perspective

Reason for

1.First-order logic cannot express 'finiteness' or 'standardness' directly, only through axioms that admit multiple interpretations.
?
Think about whether this reason is strong or weak
2.Non-standard models are mathematically legitimate structures satisfying all Peano axioms, proving first-order formalization is incomplete.
?
Think about whether this reason is strong or weak
3.Second-order logic can exclude non-standard models, confirming first-order provability alone is insufficient for categorical characterization.
?
Think about whether this reason is strong or weak

Reasons Against

1 perspective

Reason against

1.Non-standard models don't undermine first-order logic's purpose: they show what FOL can express, not that it fails at intended use.
?
Think about whether this reason is strong or weak
2.We identify 'natural numbers' through practice and semantics, not through formal provability; non-standard models are artifacts of formalism.
?
Think about whether this reason is strong or weak
3.All useful mathematical work treats PA's standard model as intended; non-standard models have minimal practical or conceptual relevance.
?
Think about whether this reason is strong or weak

Next step

Based on where you are in your exploration

Strongest counterpoint

Explore the most compelling reason on the other side.

Key Terms

Pathological interpretations(as used in mathematical logic): Weird or abnormal ways of interpreting a system that technically work according to the rules but produce strange, unwanted results that the original system wasn't meant to allow.
Peano Arithmetic(The primary target of Gödel's incompleteness theorems): A formal first-order theory with language {0, ', +, ×} whose axioms state that the successor function is injective, that 0 is not the successor of any number, that addition and multiplication satisfy their usual recursive definitions, and that every formula expressible in the language satisfies an induction schema.
Provability(as the standard by which large cardinal hypotheses are being compared): The ability to prove something is true using logical rules and established facts—whether a statement can be demonstrated with certainty.
Thoralf Skolem(as a historical figure in logic): A Norwegian logician and mathematician who proved in the early 20th century that mathematical systems can have surprising alternative interpretations beyond what we'd expect.
first-order logic(Distinguished from the higher-order logic used in Montague semantics): A logic in which there are only variables for basic entities, as opposed to higher-order logic
non-standard models(as used in mathematical logic): Alternative mathematical structures that follow the same formal rules as the standard system but contain different kinds of objects (like infinite numbers that don't exist in regular arithmetic).

Connections

2 topics

Proof of definition segments1 linked Truth & Knowledge1 linked

All useful mathematical work treats PA's standard model as intended; non-standar...First-order logic cannot express 'finiteness' or 'standardness' directly, only t...

Details

Type: claim
Perspectives: 2 (1 for, 1 against)
Edits: 1 edit