چهار جور روز

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

«اگر باران ببارد، زمین خیس می‌شود» ادعایی از نوع «اگر... آنگاه» است که منطق‌دان‌ها به آن گزاره‌ی شرطی می‌گویند. یک بخش «اگر» دارد (باران می‌بارد) و یک بخش «آنگاه» (زمین خیس می‌شود)، و درباره‌ی پیوند میان این دو چیزی می‌گوید: هر وقت بخش «اگر» رخ دهد، بخش «آنگاه» هم رخ می‌دهد. نمی‌گوید که الان باران می‌بارد.

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

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

متن گفتار

1. ۰:۰۰اگر باران ببارد، زمین خیس می‌شود. این کی نادرست است؟
2. ۰:۰۴باران و خیس. بی‌باران و خشک. بی‌باران اما خیس از شیلنگ. هیچ‌کدام نقضش نمی‌کند. فقط باران روی زمین خشک.
3. ۰:۱۴خیابان خیس است، پس باران آمده؟ معلوم نیست. ماشین، آب‌پاش یا لوله هم می‌توانست خیسش کند.
4. ۰:۲۰اما خیابان خشک ثابت می‌کند که باران نیامده.
5. ۰:۲۶ادعای «اگر... آنگاه» فقط وقتی نادرست است که «اگر» رخ دهد و «آنگاه» رخ ندهد.