[Mehrbod]

بله دارد می گوید یک سیستم منطقی زمانی صادق است که گزاره هایش صادق باشند اما نگفته که منطق می آید و محتوای گزاره را از نظر صادق بودن بررسی می کند! سخن بنده این بود که منطق ابزار سنجش محتوای گزاره ها نیست! و همین سنجش محتوای گزاره ها هم دغدغه ی فلاسفه از دیرباز تاکنون بوده است! ما از منطق برای بررسی بین گزاره ها استفاده می کنیم اگر p صادق باشد پس q صادقست اما نمی گوید آیا محتوای خود این گزاره ها صادقند ! و همین است که درک حقیقت را سخت می کند!

درست نخواندید:

In mathematical logic, a logical system has the soundness property if and only if its inference rules prove only formulas that are valid with respect to its semantics.

پس میبینید محتوا و معنی (= semantics) نیز بایستی درست (true) باشند و تنها ساختار منطق (logical form) کار نمیکند.