ÇAĞDAŞ FELSEFE I

Tarski nesne dili (İng. object language) ile üst dil (İng. metalanguage) arasında bir ayrım yapar ve doğruluk yüklemini üst dilde tanımlar. Doğruluk ku­ramının teoremleri P nesne dilinde bir önerme olmak üzere üst dilde şu önerme biçimini sağlar: “ ‘P’ doğrudur ancak ve ancak P”. Bir örnek vermek gerekirse “ ‘Kar beyazdır’ ancak ve ancak kar beyazdır ise”. Tarski’nin anlambilimsel doğruluk kuramı olarak anılan bu kuramın doğrulu­ğun uygunluk kuramını tekrar mı ettiği yoksa doğruluk terimini gereksiz kılan bir kıymetten düşürme kuramı mı olduğu tartışma konusu olmuştur.

Man­tıksal pozitivistlerin dilin mantığını (tümdengelimsel ya da tümevarımsal olsun) çözümleyerek bilimi sağlam bir felsefî temele oturtma projesi genel olarak bilim felsefesi olarak anılan bir felsefe geleneğinin doğmasına yol açmıştır. Bir önerme­nin mutlak olarak doğrulanmasının olanaklı olmamasından hareketle Karl Pop­per bilimsel olanla olmayanın ayırt edilmesinde yeni bir öneri olarak yanlışlama­cılığı ortaya atmıştır.