Hilbert's program and its successors (e.g., Detlefsen's 'Hilbertian instrumentalism') deny that unprovability-relative-to-F licenses truth-attribution absent an independent consistency proof.

?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 perspective

Reason against

Based on where you are in your exploration

Consistency proof(the main subject of this statement): A logical demonstration that a system of rules or statements doesn't contain any contradictions—that you can't derive both a statement and its opposite using those rules.
Detlefsen(as a philosopher's name): Michael Detlefsen is a contemporary philosopher who studies the philosophy of mathematics and has developed modern versions of Hilbert's ideas.
Hilbert's program(Gödel's incompleteness work arose from attempts to contribute to, not undermine, this program): A project to secure the foundations of mathematics by proving the consistency of stronger mathematical systems using the resources of weaker, more elementary systems
Hilbertian instrumentalism(as a philosophical position about mathematics): The view that mathematical statements are useful tools for making predictions and organizing our thinking, rather than statements about things that actually exist.
Licenses truth-attribution(as an epistemological concept): Gives you the right or justification to claim that something is actually true.
Relative-to-F(as mathematical notation shorthand): Meaning 'within a specific formal system or set of rules' (where F stands for a formal system like the rules of arithmetic).
Unprovability(describing mathematical claims that cannot be established as true): The quality of a statement that cannot be logically proven true using the accepted rules and facts of a system, like a math problem that has no solution.

2 topics