AntiréalismeEn philosophie analytique, le terme antiréalisme décrit toute position impliquant le refus d'une réalité objective. Ainsi, on peut parler de l'antiréalisme à l'égard des , du passé, du futur, des universaux, des entités mathématiques (telles que les entiers naturels), des catégories morales, du monde matériel ou même de la pensée. Deux interprétations sont clairement distinctes mais souvent confondues.
Fondements des mathématiquesLes fondements des mathématiques sont les principes de la philosophie des mathématiques sur lesquels est établie cette science. Le logicisme a été prôné notamment par Gottlob Frege et Bertrand Russell. La mathématique pure présente deux caractéristiques : la généralité de son discours et la déductibilité du discours mathématique . En ce que le discours mathématique ne prétend qu’à une vérité formelle, il est possible de réduire les mathématiques à la logique, les lois logiques étant les lois du « vrai ».
Fondationnalismevignette|Buste de René Descartes. En philosophie de la connaissance, le fondationnalisme est, la théorie selon laquelle nos connaissances sont justifiées si elles reposent sur des croyances de base qui sont évidentes (c'est-à-dire justifiées par elles-mêmes). Ces dernières croyances sont non-inférentielles en ce sens qu'elles ne sont pas inférées pas sur d'autres croyances.
Philosophie des mathématiquesLa philosophie des mathématiques est la branche de la philosophie des sciences qui tente de répondre aux interrogations sur les fondements des mathématiques ainsi que sur leur usage. On y croise des questions telles que : « les mathématiques sont-elles nécessaires ? », « pourquoi les mathématiques sont-elles utiles ou efficaces pour décrire la nature ? », « dans quel(s) sens, peut-on dire que les entités mathématiques existent ? » ou « pourquoi et comment peut-on dire qu'une proposition mathématique est vraie ? ».
Théorie de la vérité-correspondanceLe théorie de la vérité-correspondance ou correspondantisme est une conception épistémologique selon laquelle la vérité ou la fausseté d'une proposition dépend de ses rapports avec le monde : une proposition sera dite vraie si elle décrit adéquatement un état de choses « réel ». L'expression de « vérité-correspondance » a émergé au , mais il s'agit là d'une conception classique en philosophie de la connaissance qu'on peut faire remonter à l'Antiquité grecque.
Abstrait et concretAbstrait et concret sont des classifications qui dénotent si un terme décrit un objet sans ou avec référent physique. Elles sont le plus couramment utilisées en philosophie et en sémantique. Les objets abstraits sont parfois appelés abstracta (sing. abstractum) et les objets concrets concreta (sing. concretum). Un objet abstrait est un objet qui n'existe pas en aucun moment ou endroit particulier mais existe plutôt comme type de chose, c'est-à-dire une idée ou abstraction.