на протиставленні запиту і судження, необхідно, як вважає Фреге, ввести в формальну мову описи логічних структур, в якому всі відмінності повинні бути явно артикульовані. Для цього він використовує особливий знак судження '? ? '. Розрізняючи судження і саму думку, він пише: В«У простому рівність ще немає твердження; "2 +3 = 5" тільки позначає істиннісне значення, не кажучи про те, яке з двох. Крім того, якщо я написав "(2 +3 = 5) = (2 = 2)" і передбачається, що ми знаємо, що 2 = 2 є істина, я тим самим все ще не стверджував, що сума 2 і 3 дорівнює 5; скоріше я тільки позначив істиннісне значення "2 +3 = 5" означає те ж саме, що і "2 = 2". Нам, отже, потрібно інший, особливий знак, для того щоб ми могли стверджувати щось як істинне. Для цієї мети я предпосилаю знак '? ? 'Імені істінностного значення, так що, наприклад, в "? ? 2 лютого = 4 " стверджується, що 2 в квадраті дорівнює 4. Я відрізняю судження від думки наступним чином: під судженням я розумію визнання істинності думки В»[49] . p> Своєрідність формальної системи, створеної Фреге, полягає в тому, що на її мові можна виразити як пропозиції, висловлені зі ствердною силою, так і просту констатацію. В останньому випадку німецький логік використовує знак '? ', Який поміщає перед пропозицією. Цей знак є складовою частиною знака судження '? ? ', І тільки вертикальна риса перетворює констатацію у визнання істинним. Різниця констатації і судження дозволяє позбутися від традиційної класифікації суджень на позитивні і негативні. З точки зору Фреге, немає ніякої специфічної негативної сили, для формальної системи достатній тільки знак затвердження. Заперечення не торкається акт судження і інтегровано у формальну запис на рівні констатації, оскільки, як зазначалося вище, заперечення являє собою одномісну істінностной-істінностную функцію. Знак судження служить для твердження, що істінностним значенням пропозиції є істина, але В«нам не потрібен спеціальний знак, для того щоб оголосити, що істінностним значенням є брехня, оскільки ми володіємо знаком, за допомогою якого істиннісне значення змінюється на протилежне; це також необхідно і з інших підстав. Тепер я ставлю умовою: значенням функції '? ~ P 'буде брехня для кожного аргументу, для якого значенням функції'? p 'буде істина; і буде істина для всіх інших аргументів. Відповідно, в '? ~ P 'ми маємо функцію, значенням якої завжди є істиннісне значення; це - поняття, під яке підпаде кожен об'єкт, єдино за винятком істини ... При прийнятих нами умовах '? ~ (2 2 = 5) 'є істина; а тому: '? ~ (2 2 = 5) ', використовуючи слова: '2 2 = 5 не їсти істина', або: '2 в квадраті не дорівнює 5 'В»[50] . Таким чином, заперечення відноситься не до форми вираження, як це має місце у традиційній логіці, яка розрізняє позитивні і негативні судження, а до елементів, пов'язаним зі змістом. Думка, виражена в реченні, в цьому сенсі нейтральна, як вз...
