formal logic

💡 formal logic turns arguments into structures that can be tested, sparing meetings from charismatic nonsense.

منطق صوری، استدلال‌ها را به ساختارهایی تبدیل می‌کند که می‌توان آنها را آزمایش کرد و جلسات را از یاوه‌گویی‌های کاریزماتیک دور نگه می‌دارد.

💡 But a granular knowledge of formal logic isn’t essential for anyone’s enjoyment of this moving new biography.

اما دانش جزئی از منطق صوری برای لذت بردن هیچ‌کس از این زندگی‌نامه‌ی جدید و تأثیرگذار ضروری نیست.

💡 Pinker’s main focus is the sort of conscious, sequential reasoning that can track the steps in a geometric proof or an argument in formal logic.

تمرکز اصلی پینکر بر نوعی استدلال آگاهانه و ترتیبی است که می‌تواند مراحل یک اثبات هندسی یا یک استدلال در منطق صوری را دنبال کند.

💡 Policy debates improve when formal logic meets lived experience, each disciplining the other politely.

بحث‌های مربوط به سیاست‌گذاری زمانی بهبود می‌یابند که منطق رسمی با تجربه زیسته در هم می‌آمیزند و هر یک دیگری را مؤدبانه تنبیه می‌کند.

💡 But expertise in formal logic isn’t essential for anyone’s enjoyment of this moving biography.

اما تخصص در منطق صوری برای لذت بردن از این زندگینامه‌ی تأثیرگذار ضروری نیست.

💡 She aced formal logic by drawing truth tables like pixel art and refusing to fear quantifiers.

او با رسم جداول حقیقت مانند هنر پیکسلی و امتناع از ترس از کمیت‌سنج‌ها، در منطق صوری مهارت یافت.