a) Hilbert ve okulu sentaktik işaretler üzerine bir meta-kuram çalışması yapmışlar “Simgeler üzerine” böyle bir çalışma aynı zamanda simgelerin kullanılma kuralları da olan dedüksiyon kurallarını ifade etmek için gereklidir. Çünkü her formalizmin dayanacağı kurallar sentaksla ilgilidir Ne var ki bugün için sistematik yoldan formüle edilebilmiş tek sentaks Carnap’ın “Dilin Mantıksal Sentaksı” dır..

b) Semantik günümüzde Frege tarafından geliştirildiği biçimiyle işaret ve anlam ilişkisine yönelmektedir. Bir ifadenin işaret ettiği şey onun içeriğidir. Anlam ise onun değeridir Yanı anlam ifadenin “doğru ya da “yanlış” olma özelliğidir. Doğruluk tanımının ılk formelleştirilmesini Önce Polonya dilinde daha sonra da Almanca yayınlanan “Formelleştirılmış Dillerde Doğruluk Kavramı” adlı yapıtıyla Tarskı
yapmıştır Carnap 1940’lardan buyana semantik üzerine de bır kaç araştırma yapmıştır

c) Pragmatik üzerine bugün esaslı bir çalışmaya rastlanmamaktadır.( Bu metnin 1970 lere ait olduğunu gözden kaçırmayalım)