ramsey önermesi

aslında mevzu kolay.. önermedeki bi terimin yerine bi değişken yazıyosun, önermenin başına da önermeyi değişkene bağlayan tikel niceliyici koyuyosun, oluyo misler gibi sana ramsey önermesi..

frank ramsey abimizin ismini almıştır bu önerme, bir gün ömrümüz vefa ederse ramsey'i de yazalım..

bu önermenin güzelliği şu ki bilim dilindeki kuramsal dilin zorluklarından kurtarıyo. yani bilim dilini ''laboratuvara'' sokan önerme diyebiliriz*. daha sonra zihin felsefecilerinden bazıları* ramsey önermesiyle zihinsel kavramlarını ortadan kaldırabileceklerini söylediler.