- Deflationist(as used in metaphysics)
- A philosopher who believes that certain big philosophical questions (especially about what exists) don't have real answers based on facts, but are more about how we choose to use words.
- Formalist(as used in philosophy of mathematics)
- A philosophical view that treats mathematics as a game played with symbols according to fixed rules, rather than as describing something real.
- Privileged intended model(in philosophy of mathematics)
- The idea that there's one special, correct way to interpret the symbols and rules of mathematics that matters more than any other interpretation.
- Remarks on the Foundations of Mathematics(the specific work being referenced)
- A book by Wittgenstein where he questions basic assumptions about what mathematics is and how it works, rather than accepting math as simply describing truths about numbers.
- Unprovable (true but unprovable)(in mathematical logic)
- A statement that is actually correct, but there's no logical chain of reasoning within a particular system that can demonstrate it's correct.
- Wittgenstein, Ludwig(as referenced in philosophy of language and philosophy of mind)
- An influential 20th-century philosopher who argued that language and meaning are shaped by how we use words with others, not by private inner experiences.
- coherent(de Finetti's usage in the context of the Dutch Book argument for probabilism)
- A subject is coherent if their unconditional degrees of belief do not permit a Dutch Book (a guaranteed loss through a combination of bets) to be made against them
- intended model(Model theory / philosophy of mathematics)
- The canonical structure that a theory is meant to describe; for ZFC, this is the proper class V with the ∈ relation