اگر کسی بگویید همه‌یِ غوها سپید‌ اند, روشی که شما درمیابید نه نیستند چیست؟ و چرا این روش "منطقی" نیست؟

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


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....

بازوی درستی منطق:
Soundness - WiKi

بازوی رخدادگی منطق:
Validity - WiKi

منطق دو بازو دارد, یک بازو با حقیقت داشتن گزاره‌ها کار دارد / soundness, یک بازو با رخدادگی آنها / validity.





این...

برخی با حسابگری به این میرسند که بهتر است حسابگر نباشند, ولی این کار همان اندازه
بیمعنی‌ست که کسی بکوشد که...

سزای بدی بدی‌ست, ولی به این معنی نیست که سزای
بدی همیشه بدی‌ست, بسته به نیاز بخشایش و گذشت هم کاربرد دارند.
...