نظریه برهان

این مقاله در صدد آ نست تا با نگاهی تحلیلی، به بازنگری برهان سینوی بپردازد. بر این اساس نخست تقسیم بندی ویژهیی در باره» نظریه برهان سینوی مبنی بر اشتمال آن بر آموزه، روش و مهارت ارائه میشود و آنگاه تنها با محور قرار دادن بخش آموزه، به بررسی مفاد و دعاوی آن در قالب تقسیم آن بدو بخش مفهومی (منطقی) و مصداقی (معرفت شناختی) پرداخته میشود. در این مقاله تلا ش بر اینست تا ویژگیهای مهم و نکات کلیدی آموزه برهان مطرح شود.

پژوهش حاضر به این مسأله می پردازد که آیا تعریف تارسکی از مفهوم نتیجه ی منطقی در مقاله ی دوران سازش «درباره ی مفهوم نتیجه ی منطقی» (1936) چنان که مدعای این مقاله است مفهوم عام نتیجه ی منطقی را فراچنگ میآورد یا نه. برای آن-که دریافته شود رویکرد غالب به نتیجه ی منطقی در زمان تارسکی (مفهوم نظریه برهانی نتیجه) چه خللی داشت که او را به کوشش برای ارائه ی تعریف جدیدی از نتیجه منطقی سوق داد، نخست رویکرد نظریه برهانی به مفهوم نتیجه ی منطقی را معرفی و ناکارآمدی آن را از نظر تارسکی بررسی خواهیم کرد، سپس دو تفسیر از مفهوم نتیجه ی عامِ مد نظر او را بیان خواهیم نمود. تفسیر نخست از مفهوم عامِ نتیجه نزد تارسکی آن مفهومی است که همه ی انسان های معمولی و غیرمتخصص در فلسفه، منطق و ریاضیات در زبان روزمره بکار می برند؛ تفسیر دوم آن است که مراد تارسکی از مفهوم عام نتیجه آن مفهومی است که برای اهل فن یعنی منطق دان و ریاضی دانان «عمومیت» دارد و در روش اصل موضوعی بکار رفته است. ما از تفسیر دوم دفاع می کنیم و ضمن بررسی توصیفی- تحلیلیِ تعریف پیشنهادی او از این مفهوم و ارائه ی مثالی از آن در نهایت نتیجه می گیریم که کوشش تارسکی برای فراچنگ آوردن مفهوم عام نتیجه قرین موفقیت بوده است.