Rudolf Carnap

Rudolf Carnap (1891-1970), mantıksal pozitivizm, ampirizm ve sembolik mantık konusunda Alman bir filozofun öncüsü olmuştur.

Yirminci yüzyılın başlarındaki bilim felsefesinin en büyük üstelerinden biri olarak kabul edilir, çünkü diğer şeylerin yanı sıra felsefe içindeki bir bilimsel titizlik paradigmasının birleştirilmesine katkıda bulunur.

Sıkı bir resmileştirme olmadan bir dil aracılığıyla çıkarımların gösterilmesi ve doğrulanması ilkelerini inceleyen geleneksel mantık yaklaşımının aksine; Rudolf Carnap sembolik mantık veya matematiksel mantık ilkelerini savundu. Sonuncusu, biçimsel bir dil aracılığıyla kümeler, sayılar, algoritmalar gibi sezgisel matematik kavramlarını diğerleri arasında çevirir ve sistematikleştirir.