نوع مقاله : مقاله پژوهشی

نویسندگان

• میثم زندی گوهرریزی ¹
• لطف الله نبوی ²

¹ دانشجوی دکترای فلسفه منطق، دانشگاه تربیت مدرس، تهران، ایران

² دانشیار فلسفه دانشگاه تربیت مدرس، تهران، ایران.

چکیده

امکان استقبالی یک بحث قدیمی میان فلاسفه در طول تاریخ فلسفه بوده‌است. از یک سو، ارسطو معتقد است رخدادهای آینده به امکان رخ می‌دهند. از سوی دیگر، دئودوروس بر این باور است آنچه در آینده رخ می‌دهد، هم اکنون متعین شده است. دئودوروس استدلالی بر له جبرگرایی بر اساس چند فرضیه ارائه کرده‌است. منطقدانان و فلاسفه تلاش می‌کنند تا با رد نخستین فرضیۀ دئودورس که ضرورت گذشته است، جبرگرایی را رد کنند. با این وجود، آنها تنها قرائت خاصی از این فرضیه را بر اساس استدلال به نفع جبرگرایی قرون وسطی در نظر می‌گیرند، در حالیکه فلاسفۀ دیگر قرائت عام از این فرضیه دارند. یک استدلال جدید در این مقاله به نفع جبرگرایی ارائه می‌شود مشابه با استدلال قرون وسطی بر اساس قرائت عام که بوسیلۀ سیستمهایی که استدلال قرون وسطی را رد می‌کنند، رد نمی‌شود. این اشکال در برخی از ویژگیهای مدلهای شاخه‌ای برای زمان ریشه دارد. ما نشان می‌دهیم این ویژگیها چیست و چطور می‌توان مشکلاتی را که این ویژگیها تولید می‌کنند حل کرد.

کلیدواژه‌ها

• منطق زمان متریک
• سیستم اکام
• خط باریک قرمز
• مدل شاخه‌ای
• ضرورت گذشته

عنوان مقاله [English]

An Objection to the Branching Model for Time

نویسندگان [English]

• meisam zandigoharrizi ¹
• Lotfollah Nabavi ²

¹ Ph.D. student of philosophy) logic( at Tarbiat Modares University, Tehran, Iran.(Corresponding author)

² Associate Professor of philosophy at Tarbiat Modares University, Tehran, Iran.

چکیده [English]

Future Contingency has been an old debate between philosophers throughout history. On one hand, Aristotle thinks events of the future happen contingently. On the other hand, Diodorus believes what happens in the future is now determined. Diodorus has presented an argument for determinism based on a few premises. Logicians and philosophers try to avoid determinism by denying the first premise of Diodorus, which is the necessity of the past. However, they only regard a qualified version of this premise based on the medieval argument for determinism while some other philosophers consider this premise in a general way. A new argument shall be presented in this paper for determinism similar to the medieval one based on the general version of the premise which is not rejected by systems which reject the medieval argument. This flaw originates in a few properties of the branching model for time. We shall show what this property is and how it would be possible to resolve the problem this property creates.

کلیدواژه‌ها [English]

• Metric tense logic
• Ockham system
• Thin red line
• Branching model
• Necessity of the past