Убеждение
в том, что любое предложение науки является истинным тогда и только тогда,
когда оно может быть сведено к «протокольным» предложениям, называется: