Fregimus приводит перечень вещей, носящих имя “истина”.
1. Истина соответствия: истинно то, и только то, что соответствует фактической реальности. Установление истины в этом смысле требует учета возможных различий реальных и модельных фактов.
2. Истина когерентности: истинно то и только то, что находится в согласии с существующей системой знания. Установление такой истины зависит он возможности принять во внимание все существующее знание — или, по самой крайней мере, релевантное. К этой группе, как мне видится, относится большинство научных знаний.
3. Прагматическая, или прикладная истина: истинно то и только то, что используется удовлетворительным образом. Как я понимаю, сюда относятся традиционные истины, принимаемые некритически.
4. Наивный эпистемологический идеализм: мы соглашаемся считать нечто истинным, не требуя свидетельств в подкрепление факта. Например, геометрические аксиомы.
5. Наивный онтологический реализм: истинность утверждений об отношениях явлений не зависит от ни наших наблюдений или фактических знаний, ни даже от нашей возможности о них когда-либо узнать.