LOGIKA A KONWERSACJA
istnieją lub wydają się istnieć rozbieżności znaczeniowe między co najmniej niektórymi spośród środków, które nazwano formalnymi - ~, ^, v, (x), ∫(x) - a tym, co jest traktowane jako ich analogony (odpowiedniki) w języku naturalnym
możliwe jest skonstruowanie na podstawie owych środków formalnych systemu b. ogólnych formuł, których znaczna liczba będzie mogła być potraktowana jako wzory wnioskowań wyrażonych za pomocą niektórych lub wszystkich środków. Taki system mógłby się składać z pewnego zbioru prostych formuł, które muszą być akceptowalne, jeżeli środki formalne mają takie znaczenie, jakie się im przypisało, oraz z pewnej, bliżej nieokreślonej, liczby dalszych formuł, po większej części akceptowalnych w sposób nie tak rzeczywisty, których akceptowalność można jednak wykazać, jeżeli elementy pierwszego zbioru są akceptowalne
wyrażenia nasze, tak jak są one używane w mowie, mogą się okazać nie w pełni zrozumiałe, nie mogą być uznane za ostatecznie akceptowalne
właściwa droga: wymyślić i zacząć konstruować jakiś idealny język obejmujący omawiane środki formalne, którego zdania byłyby jasne, określone co do prawdziwości i w dający się poświadczyć sposób wolne od implikacji metafizyki