تحلیل دلالت شناسانهی منطق شهودی I
author
Abstract:
از زمان انتشار مقالهی سوئل کریپکی با عنوان تحلیل دلالت شناسانهی منطق شهودیI، در سال 1965، تمام آنچه پیش از آن در دلالتشناسی منطق شهودی نگاشته شده بود، تفسیر برآوئر-هیتینگ-کولموگروف(BHK)، تفسیر توپولوژیک و مدلهای بث تحت سایهی تنقیح و پالودگیاش قرار گرفت و دلالت شناسی استاندارد برای منطق شهودی برآوئر-هیتینگ قلمداد شد. تا به امروز جهت تفسیر، مقابله و بِه فهمی، ادبیات و مطالعات کلانی حول این مقاله شکل گرفتهاست. کریپکی این مقاله را در پایان قریب به یک دهه تفکر بارور راجع به منطق موجهات، دلالت شناسی آن و انتشار تحقیقاتش مشتمل بر روشی خلاقانه برای دلالتشناسی منطق موجهات در 6 مقاله، نوشت و منتشر کرد و در آن برای طراحی تفسیری از دلالتشناسی منطق شهودی از تحقیقات خودش در منطق موجهات و اخذ مفهوم فورسینگ از ریاضیدان آمریکایی پل کوئن سود جست. دراین نوشته پس از بررسی جایگاه تاریخی-فنّی مقالهی کریپکی در ادبیات شهودگرایی، ترجمه مقالهی وی آمدهاست.
similar resources
مبانی فلسفی منطق شهودی
منطق شهودی، به عنوان منطقی فلسفی و غیر کلاسیک، بیش از همه بر فلسفه شهودگرایی براوئر (Brouwer) و نظریات فلسفی او در مورد ریاضیات و منطق بنا شده است. این نظریات، رویکردی کاملاً متفاوت را با رویکرد کلاسیک به منطق و ریاضیات عرضه میدارد. شهودگرایی براوئری، منطق را مقدم بر ریاضیات نمی شمرد و آن را نتیجهای برساخته از روندهای ساخت هویات و براهین ریاضی میداند. در مقاله حاضر، به تبیین مبانی نظری م...
full textمبانی فلسفی منطق شهودی
منطق شهودی، به عنوان منطقی فلسفی و غیر کلاسیک، بیش از همه بر فلسفه شهودگرایی براوئر (brouwer) و نظریات فلسفی او در مورد ریاضیات و منطق بنا شده است. این نظریات، رویکردی کاملاً متفاوت را با رویکرد کلاسیک به منطق و ریاضیات عرضه می دارد. شهودگرایی براوئری، منطق را مقدم بر ریاضیات نمی شمرد و آن را نتیجه ای برساخته از روندهای ساخت هویات و براهین ریاضی می داند. در مقاله حاضر، به تبیین مبانی نظری منطق ش...
full textمنطق شهودی و مبانی فلسفی آن
منطقِ شهودی، نتیجه ای است از دیدگاه های فلسفیِ براوئر در مورد مبانی و فلسفه ی ریاضیات که به شهودگرایی معروف است. این رویکرد در حوزه ی منطق منجر به بازنگری در مبانی منطق کلاسیک، و شکل گیری منطقی جدید با نام منطقِ شهودی گردید. منظور از شهودگرایی در اینجا، فلسفه ای است که در اوایل قرن بیستم، توسط براوئر، و هنگامی که منطق کلاسیک چندان رشد نیافته بود، ارائه گردید. اولین مقاله ی براوئر که در آن به مبانی...
15 صفحه اولتدوین استراتژی های سازمانی به کمک منطق شهودی
در فرآیند برنامه ریزی استراتژیک کلاسیک که شامل سه مرحله ی 1-تدوین استراتژی ها 2- اجرای استراتژی ها3- ارزیابی استراتژی ها است. تدوین استراتژی که اولین مرحله چارچوب تصمیم گیری استراتژیک است اهمیت خاصی برای استراتژیست ها دارد تا بتوانند استراتژی های جذاب خود را شناسایی، ارزیابی و گزینش نمایند. در این تحقیق کوشیده می شود که از طریق تصمیم گیری چند معیاره ی فازی ، استراتژی های یک سازمان را تدوین و می...
15 صفحه اولMy Resources
Journal title
volume 9 issue 1
pages 53- 93
publication date 2018-03-21
By following a journal you will be notified via email when a new issue of this journal is published.
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023