агалі нейтральний спосіб даності об'єктів, якими в даному випадку виступають істина і брехня. p> інкорпоруючи знак судження в структуру вираження думки, Фреге не розглядає його як конструкцію, аналогічну перформативним виразів типу 'Я стверджую ...', 'Він стверджує ... 'і т.п. Знак судження, що виражає ствердну силу, ніколи не може бути включений у зміст пропозиції, оскільки, згідно Фреге, приписане перформативами пропозиція має непряме входження у вираз, і як таке має сенс і значення, відмінні від змісту і значення вихідного пропозиції. Так, значенням непрямого пропозиції, підлеглого перформативами, є не істина або брехня, а його звичайний сенс. Тому німецький логік говорить саме про форму позитивної пропозиції, яка відповідає знаку '? ? 'В природній мові. Оскільки визнання істинним залежить виключно від форми позитивної пропозиції, остільки воно теж не має ніякого відношення до почуття суб'єктивної впевненості, супроводжуючому психологічне здійснення акту судження. Визнання істинним - об'єктивний процес, що характеризує форму вираження думки. p> Знак судження з Фреге може розглядатися як загальний всім пропозиціям предикат, типу "Істинно, що p" або "Має місце p". Так як пропозиції розглядаються як імена, останнє цілком виправдано, оскільки з точки зору граматики конструкція "? ? p "представляє собою дієслово, приписаний імені. p> Введення знака судження засноване не тільки на міркуваннях, пов'язаних з формою вираження думки. Важливу роль знак судження грає в структурі виводу. В якості елементів виведення, як вважає Фреге, можуть використовуватися тільки такі пропозиції, які висловлені зі ствердною силою (тобто відповідна їм думка повинна бути визнана істинною), оскільки висновок полягає у винесенні суджень, здійснюваному на основі вже винесених раніше суджень, згідно логічним законам. Кожна з посилок є певна думка, визнана істинної; точно так само визнається істинною певна думка в судженні, яке є висновком виводу. Останнє можна прояснити спеціальним випадком c правилом виведення modus ponens, яке Фреге у своєму шрифт понять розглядає в якості єдиного способу отримання наслідків і яке ілюструє ще один аргумент на користь введення в структуру виведення особливої стверджувальній сили, пов'язаної з формою оповідного пропозиції в природній мові і знаком '? ? 'В символічному мовою. З точки зору останнього, виділення особливої вЂ‹вЂ‹форми судження дозволяє запобігти petitio principi, приховане у формі умовно-категоричного умовиводу. У "Якщо p, то q; p. Отже, q "висновок вже присутній в умовній посилці. Однак якщо в цей умовивід явно ввести знак '? ? ', То petitio principi можна уникнути. В "? ? Якщо p, то q;? ? p. Отже,? ? q " висновок в умовній посилці не міститься, оскільки "? ? q "не збігається з "Q". p> У силу цього Фреге вважав за необхідне ввести у своє В«літочислення понятьВ» особливий знакутвержденія. Він вказував, що в простому рівність В«2 лютого ...
