Sembolik Mantık

Mantıksal analizde sembollerin sistematik kullanımı. modern sembolik mantıkta kullanılan semboller matematiğin, özellikle de küme teorisinin sembolleridir. matematik dili, doğal bir dilde mevcut olan çağrışımlardan ve öznel anlamlardan yoksun yapay bir dil olduğu ve matematiksel varlıklar arasındaki ilişkiler basit ve kesin olarak tanımlandığı için argümanlardaki kesin geçerlilik koşullarının araştırılması için çok uygundur. mantığa bakınız.