چهار حرکت

درباره‌ی این ویدیو

لئو هر عصر از کنار یک مغازه‌ی سر کوچه رد می‌شود و می‌بیند: اگر مغازه باز باشد، چراغ‌هایش روشن است. با چنین ادعای «اگر... آنگاه»ای چهار حرکت می‌شود کرد. مغازه باز است، پس چراغ‌هایش روشن است: این برمی‌آید و نامش وضع مقدم است. چراغ‌ها خاموش‌اند، پس مغازه بسته است: این هم برمی‌آید و نامش رفع تالی است. چراغ‌ها روشن‌اند، پس مغازه باز است: این برنمی‌آید و نامش تصدیق تالی است. مغازه بسته است، پس چراغ‌هایش خاموش است: این هم برنمی‌آید و نامش رفع مقدم است.

یک شب لئو از کنار مغازه رد می‌شود. مغازه بسته است، تابلوی «بسته» روی در است، و چراغ‌ها روشن‌اند: نظافتچی‌ای دارد زمین را تمیز می‌کند. همین یک صحنه مثال نقضی برای هر دو حرکت دام‌دار است، و ادعای «اگر مغازه باز باشد، چراغ‌هایش روشن است» هنوز درست است. هرگز نگفته بود چراغ‌ها فقط وقتی روشن‌اند که مغازه باز باشد.

این عمق دوم اعتبار است: شناختن شکل‌های معتبر و نامعتبر استدلال از روی شکلشان. هر ادعای «اگر... آنگاه»ای را که دوست دارید جایش بگذارید؛ دو حرکت اول همیشه برمی‌آیند و دو حرکت آخر هیچ‌وقت فقط از روی شکلشان برنمی‌آیند. این ویدیو همراه درس «چهار حرکت» در دوره‌ی منطق، سطح ۲ در Knaph است.

متن گفتار

1. ۰:۰۰اگر مغازه باز باشد، چراغ‌هایش روشن است. یک ادعا، چهار حرکت.
2. ۰:۰۵باز است، پس چراغ‌ها روشن‌اند. برمی‌آید. چراغ‌ها خاموش، پس بسته است. این هم برمی‌آید.
3. ۰:۱۱چراغ‌ها روشن، پس باز است؟ بسته، پس چراغ‌ها خاموش؟ هیچ‌کدام برنمی‌آید.
4. ۰:۱۷یک شب مغازه بسته است و چراغ‌ها روشن. یک نظافتچی. هر دو دام شکست.
5. ۰:۲۵هر ادعای اگر آنگاهی را جایش بگذارید. شکل تعیین می‌کند.
6. ۰:۳۱دو حرکت همیشه درست‌اند. دو تا فقط از روی شکل هرگز.