تحلیل دلالت شناسانه‌ی منطق شهودی I

author

برزویه بگلری گروه فلسفه، دانشکده ادبیات و زبان های خارجی، دانشگاه علامه طباطبایی، تهران، ایران

Abstract:

از زمان انتشار مقاله‌ی سوئل کریپکی با عنوان تحلیل دلالت شناسانه‌ی منطق شهودیI، در سال 1965، تمام آنچه پیش‌ از آن در دلالت‌شناسی منطق شهودی نگاشته شده بود، تفسیر برآوئر-هیتینگ-کولموگروف(BHK)، تفسیر توپولوژیک و مدل‌های بث تحت سایه‌ی ‌تنقیح و پالودگی‌اش قرار گرفت و دلالت شناسی استاندارد برای منطق شهودی برآوئر-هیتینگ قلمداد شد. تا به امروز جهت تفسیر، مقابله و بِه فهمی، ادبیات و مطالعات کلانی حول این مقاله شکل گرفته‌است. کریپکی این مقاله را در پایان قریب به یک دهه تفکر بارور راجع به منطق موجهات، دلالت شناسی آن و انتشار تحقیقاتش مشتمل بر روشی خلاقانه برای دلالت‌شناسی منطق موجهات در 6 مقاله، نوشت و منتشر کرد و در آن برای طراحی تفسیری از دلالت‌شناسی منطق شهودی از تحقیقات خودش در منطق موجهات و اخذ مفهوم فورسینگ از ریاضیدان آمریکایی پل کوئن سود جست. دراین نوشته پس از بررسی جایگاه تاریخی-فنّی مقاله‌ی کریپکی در ادبیات شهودگرایی، ترجمه مقاله‌ی وی آمده‌است.

full text

similar resources

مبانی فلسفی منطق شهودی

منطق شهودی، به عنوان منطقی فلسفی و غیر کلاسیک، بیش از همه بر فلسفه‌‌ شهودگرایی براوئر (Brouwer) و نظریات فلسفی او در مورد ریاضیات و منطق بنا شده است. این نظریات، رویکردی کاملاً متفاوت را با رویکرد کلاسیک به منطق و ریاضیات عرضه می‌دارد. شهودگرایی براوئری، منطق را مقدم بر ریاضیات نمی شمرد و آن را نتیجه‌ای برساخته از روندهای ساخت‌ هویات و براهین ریاضی می‌داند. در مقاله‌‌ حاضر، به تبیین مبانی نظری م...

full text

مبانی فلسفی منطق شهودی

منطق شهودی، به عنوان منطقی فلسفی و غیر کلاسیک، بیش از همه بر فلسفه شهودگرایی براوئر (brouwer) و نظریات فلسفی او در مورد ریاضیات و منطق بنا شده است. این نظریات، رویکردی کاملاً متفاوت را با رویکرد کلاسیک به منطق و ریاضیات عرضه می دارد. شهودگرایی براوئری، منطق را مقدم بر ریاضیات نمی شمرد و آن را نتیجه ای برساخته از روندهای ساخت هویات و براهین ریاضی می داند. در مقاله حاضر، به تبیین مبانی نظری منطق ش...

full text

منطق شهودی و مبانی فلسفی آن

منطقِ شهودی، نتیجه ای است از دیدگاه های فلسفیِ براوئر در مورد مبانی و فلسفه ی ریاضیات که به شهودگرایی معروف است. این رویکرد در حوزه ی منطق منجر به بازنگری در مبانی منطق کلاسیک، و شکل گیری منطقی جدید با نام منطقِ شهودی گردید. منظور از شهودگرایی در اینجا، فلسفه ای است که در اوایل قرن بیستم، توسط براوئر، و هنگامی که منطق کلاسیک چندان رشد نیافته بود، ارائه گردید. اولین مقاله ی براوئر که در آن به مبانی...

15 صفحه اول

قضایای حفظ در منطق محمولات شهودی

چکیده ندارد.

15 صفحه اول

تدوین استراتژی های سازمانی به کمک منطق شهودی

در فرآیند برنامه ریزی استراتژیک کلاسیک که شامل سه مرحله ی 1-تدوین استراتژی ها 2- اجرای استراتژی ها3- ارزیابی استراتژی ها است. تدوین استراتژی که اولین مرحله چارچوب تصمیم گیری استراتژیک است اهمیت خاصی برای استراتژیست ها دارد تا بتوانند استراتژی های جذاب خود را شناسایی، ارزیابی و گزینش نمایند. در این تحقیق کوشیده می شود که از طریق تصمیم گیری چند معیاره ی فازی ، استراتژی های یک سازمان را تدوین و می...

15 صفحه اول