اعتقاد به ریاضی وار بودن آموزه های فلسفی

فلسفهٔ تحلیلی(به انگلیسی: Analytic philosophy) فلسفهٔ آکادمیک حاکم بر دانشگاه‌های کشورهای انگلیسی زبان (آنگلو-ساکسون) است. فلسفه تحلیلی را در مقابل فلسفه قاره‌ای یا فلسفه اروپایی قرار می‌دهند. بنیان‌گزاران اصلی فلسفه تحلیلی فیلسوفان کمبریج برتراند راسل و جرج ادوارد مور بودند. این دو از ریاضیدان و فیلسوف آلمانی گوتلوب فرگه تأثیر پذیرفته بودند.

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

منطق و فلسفه زبان از همان ابتدا از بحثهای محوری فلسفه تحلیلی بودند. چند تفکر از بحثهای مربوط به زبان و منطق در فلسفه تحلیلی پدید آمد مانند پوزیتویسم منطقی، تجربه گرایی منطقی، اتمیسم منطقی، منطق‌گرایی و فلسفه زبان متعارف. فلسفه تحلیلی بعدها بحثهای وسیعی را در حوزه‌های زیر مطرح ساخت: فلسفه اخلاق (هر و مکی)، فلسفه سیاسی (جان رالز)، زیبایی شناسی (ریاچارد ولهایم)، فلسفه دین (الوین پلانتینگا)، فلسفه زبان (ساول کریپکی، هیلری پاتنم، کواین)، فلسفه ذهن (جیگون کیم، دیوید چالمرز، هیلری پاتنم). متافیزیک تحلیلی نیز اخیراً در کارهای فیلسوفانی همچون دیوید لوئیس و پیتر استراوسن شکل گرفته‌است.

****

اصطلاح تحلیل (Analisis) ریشه یونانی دارد که به معنای تلاش برای تجزیه و باز کردن چیزیست و تحلیل فلسفی نوعی روش پژوهش است که در آن نظام های پیچیده را با تحلیل به اجزاء و عناصر بسیط تر به قصد مشخص کردن دقیق روابط بین اجزاء مورد بررسی قرار می دهد. این روش بیشینه ای طولانی دارد اما رواج آن به آغاز قرن بیستم بر می گردد.

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

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

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

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

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

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

نکته مهم دیگری که در مورد فلسفه تحلیلی می بایست مد نظر قرار گیرد آن است که این فلسفه همان طور که از تاریخ یکصد و اند ساله آن بر می آید با سرعت در حال تطور و تحول و پیشرفت است. به عنوان مثال آراء فرگه که زمانی انقلابی اساسی در منطق و معرفت شناسی پدید آورد، اکنون در پرتو تحولات بعدی - که البته به برکت همان اندیشه های اولیه امکان پذیر شدند - به شکل نقطه درخشان در یک کهکشان پر ستاره در آمده است. از این رو در ترجمه آثاری که در حوزه فلسفه تحلیلی منتشر شده می بایست در عین توجه به کلاسیک های این مکتب، به آثار جدید نیز توجه شود. اگر به این قبیل تولیدات تازه پرداخته نشود نظیر آن خواهد بود که در حوزه فیزیک، اندیشه های نیوتون (فی المثل) به فارسی برگردانده شود، اما به تحولات تازه در حوزه ها مثلا کوانتوم گرانشی توجهی نشود. البته در این حال باز هم مشکلات دشواری مطالب و ضرورت آشنایی عمیق با مباحث مطروحه رخ می نماید.

(( انسان حیوان ناطق است )) این گفتار کهن که از ارسطو مانده ، نمایان کننده ی ارزش زبان در نزد آدمی است . اصلا تفکر چیزی جز بیان درونی نیست .

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

تحولات ریاضی و فیزیک در اواخر قرن 19 واوایل قرن 20 بی سابقه بودند. طرح لوباچفسکی در باره ی هندسه ی فضایی و غیر خطی ، طرح معادلاتی گوس برای ایجاد یک نظام ریاضیاتی پاسخ گو به این تحولات ، تکامل علامت گزاری در ریاضیات و پدید آمدن شاخه ای به نام جبر و همچنین جهش در فیزیک که طلسم نیوتون را شکست ، باید اضافه نمود.این انقلابات متوالی سر انجام فلسفه را نیز در بر گرفت.
مدتها قبل یعنی در قرن 17 لایپنیتس فیلسوف آلمانی در فکر آن بود تا از طریق منطق زبانی را سامان دهد که برای همگان قابل فهم باشد تا دیگر دچار اختلافات عدیده و مهم نگردند.اشکالاتی که اگر زبان منطقی را در برابر شان بکار اندازیم تاب نخواهند آورد. لایپنیتس در این راه ( ساختن زبانی جهانی ) جبر را پایه گذاشت و حتی جدولی از نشانه های ریاضی نیز ساخت با این حال با هدفش فرسنگ ها فاصله داشت.پس از وی کانت بزرگ با بی علاقگی به این موضوع راه حل مشکل چندگانگی صدق را در صورت شناسایی و ساز و کار آن تشخیص داد . وی با استدلالاتی قدرتمند که در (( سنجش خرد ناب )) ترتیب داد به جنگ سختی های بشر شتافت. در دستگاه وی عقل استعلایی چاره ای جز اتکا به شهود های حسی نداشت تا خود را اثبات کند و از آن طریق به جهان بیرون پل بزند . منطق و ریاضی هر دو جز قالب هایی جزمی بودند که همانگویه می کردند. منطق از نظر وی از ارسطو جلوتر نیامده بود و در جا میزد و ریاضی نیز جز بازی نشانه گذار عقل نبود که راه را برای طبقه بندی تجربیات باز می کرد.
افکار کانت که انسان را از بند قدرت متافیزیک می رهاند و فعلیت را به او باز می گرداند ، در راه تسخیر جهان با مقاومت هایی رو برو شد .
در امپراتوری اتریش – مجارستان بولتسانو به این انگاره ی کانت اعتراض نمود.وی از یک سو با کانت همراه بود زیرا که کانت رهبر شک فلسفی و از بزرگترین مبارزان در برابر دگماتیسم بود. ولی از سوی دیگر او را ملامت می کرد که چرا منطق این یگانه روش برای توضیح دقیق را نادیده گرفته است . بولتسانو با رجوع به آرا ولف و لایپنیتس راه اینان را در ساختن یک زبان دقیق جهانی دنبال نمود. در کتاب ((در باب راه قرار دادن ریاضیات بر بنیاد هایی بهتر )) (1810 ) وی تلاش می کند تا بنیاد را که کانت برای ریاضی و منطق قرار داده را متلاشی کند.
اما مگر کانت چه کرده بود ؟ وی با این عنوان که حدود شناسایی ذهن از شهود های ناب و آزمودنی در نمی گذرد ، هرگونه فضای ذهن را تهدید می کرد . ریاضی خود حاصل شهود ناب زمانی است . اما بولتسانو در سدد بر آمد ثابت کند ریاضی و منطق از هرگونه شهود ناب و یا آزمودنی در امان اند . اولا از نظر وی چیزی به نام شهود ناب وجود نداشت ، و ثانیا متعلق منطق با خود آن متفاوت است . به عبارتی ساده تر منطق دارای وجودی مستقل از ذهن است که با آنچه تظاهر ذهنی آن است متفاوت است. حال اگر بتوان از طریق ریاضی منطق را سامان داد می توان گزاره هایی زبانی ساخت که خطا را در یابند و از هر شهودی نیز مستقل باشند .
کار بولتسانو در اوایل قرن 19 رخ داد. وی تلاش کرد در دیگر آثارش نظر خود را پیشرفت بخشد از آن جمله کتاب (( نظریه علم )) وی بود . این دیدگاه بعده ها از طریق ماینونگ و برنتانو به فرگه و هوسرل رسید و در واقع نهضتی را براه انداخت که فلسفه ی تحلیلی پیامد آن بود.



بول ، پیرس و تکامل نماد سازی منطقی


جرج بول ریاضی دان متولد ایرلند ، سودای این را داشت که از طریق تحویل منطق به نشانه های ابداعی که توسط قواعد مکانیستی جبر هدایت می شد ، بن بست های منطق ارسطویی را بگشاید . بنا بر این در این راه اقداماتی انجام داد . وی در کتاب (( تحلیل ریاضی – منطقی )) عملا با نشانه گذاری به جای صور متداول گفتار موفق می شود از طریق اساسا منطقی ، احکام قیاسی ارسطو را ثابت کند. پس این بار این نظام را گسترش می دهد تا شاید دیگر مشکلات را نیز از آن طریق حل کند . ابداع وی در کتاب مذکور این گونه است : وی بجای یک طبقه از اشیاء متغیر (x ) را می گذارد و به جای طبقه ی دیگر ( y) را . سپس عدد 1 را نماد طبقه ی پر و عدد 0 را نماد طبقه ی خالی قرار می دهد و در نهایت علامت (v ) رانماد واژه های (( از شمار )) یا (( از )) می گیرد . حالا حکم گذاره ای (( همه ی آدمیان میرا هستند )) به این نماد پردازی بر می گرداند. آدمیان که یک طبقه از اشیاء هستند (x ) و میرندگی ( y) خواهد شد . حالا گزاره ی فوق به این صورت می شود (( همه ی x ها از شمار y ها اند )) . سپس به جای (( از شمار )) ( v) گذاشته می شود:
X=v y

حالا نشانه ی پر و یا خالی اضافه می شود :

x-v y=0

حالا می توان این نشان گذاری را از طریق قوانین جبر گسترش داد.

X(1-y)=0

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

فرگه و نظام توابع

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

فرگه مثالی می زند : ستاره ی شب و ستاره ی صبح هردو به سیاره ی زهره ارجاع می دهند اما مفهوم ستاره ی شب زهره نیست ! در حالی که همان معنا را افاده می کند . با این حال در زبان روزمره برخی مفاهیم فاقد مرجع شناخته شده یا اصلا فاقد معنایند . گزاره ی (( اژدها درخت را آتش زد )) یک گزاره ی دارای مفهوم است اما مرجعش چیست ؟ آیا چنین هستنده ای وجود دارد؟
فرگه برای حل این مشکلات منطق را پیشنهاد می کند تا در واقع چنین گزاره هایی از زبان تصفیه شوند . برای این منظور باید از طریق نماد پردازی ریاضی زبانی را سامان داد که برای هر مفهوم تنها یک مرجع ( معنا ) قابل شناسایی باشد . بدین ترتیب تنها گزاره هایی که دارای معنای مشخص هستند صادق و باقی کاذب خواهند بود .
فرگه در تحقیقات خود به دو گونه ی دیگر از نحو های زبانی نیز اشاره می کند . اول کاربرد های زبانی که نقل قول می کنند و دیگری گزاره هایی که به مفهوم ارجاع می دهند .
در نوع اول کارکرد مفهوم و معنا صادق نیست بلکه مفهوم از نظر شخص گوینده مورد نظر است . در نوع دوم ارجاع غیر مستقیم رخ می دهد بدون آنکه مصداقی موجود باشد یا لحاظ شود.
درخشش کار فرگه آن جاست که تمامی گزاره ها را از یک جهت ارزشی می خواند و در واقع ارزش صدق را در مجموعه های اسمی که نهایتا دارای معنا های خاص هستند طبقه بندی می کند . استاد پیر در حال چاپ جلد دوم اثر سترگش یعنی (( بنیاد های علم حساب )) است که نامه ای از راسل در یافت می کند . راسل که جزء معدود نفراتی است که جلد اول اثر را خوانده ، اشکالی مهلک در نظریه فرگه میابد .



برتراند راسل و اتمیسم منطقی



برتراند راسل فرزند خانواده ی اشرافی و سیاستمدار در 1872 بدنیا آمد . زندگی راسل زندگی پر از ماجراهای جالب و عجیب بوده است . ابتدا عاشق ریاضی شد ، سپس چند مدتی به سمت اندیشه های تازه انتشار یافته ی هگل در انگلستان گرایید. بعد از آن این بار علم و منطق را مد نظر قرار داد. سر انجام وارد سیاست شد . مدتی به سمت چپ رادیکال متمایل شد . دو بار زندانی شد و سر انجام با افکاری ضد جنگ جهان را بدرود گفت . (1970) در این سیر اودیسه وار آن بخشی را پی می گیریم که در پیش برد فلسفه ی تحلیلی و به نوعی تاسیس آن مربوط می شود .
راسل که به تازگی از جمع تاگارت و برادلی گسسته بود ، کتاب فرگه را خواند و از آن جا که خود او نیز دغدغه ی همانند را داشت ، دریافت استاد آلمانی چه پیشرفتهایی را نمایان کرده است. تاگارت و برادلی دو استاد هگلی بودند که در کمبریج به اشاعه ی نظریات هگل مشغول بودند . راسل تا مدتها ایدئالیسم آنها را پذیرفت . اما آشنایی با ج.ا.مور و وایتهد مسیر زندگی اش را تغییر داد . مور که بیشتر به فلسفه ی اخلاق گرایش داشت ، در کتابی تحت عنوان ((اخلاق))
روش نوینی برای تحلیل مفاهیم به کار بست . در روش مور تحلیل کلیات به اجزاء انجام می گرفت . وی نشان داد که مفاهیم اخلاقی جز اسم های عام که قابل تجزیه به اسامی جزئی ترند چیزی در بر ندارند و حتی نمی توان ارجاع حقیقی برایشان یافت . به عنوان مثل ، مفهوم (( خوب )) نه یک اسم خاص بلکه یک محمول در نظر گرفته می شود که قابل تعریف نیست . بناباین لفظی است که بنا به موقعیت توسط عقل جمعی فهم میشود بدون اینکه بتوان آنرا به سودمندی یا چیزی دیگر فروکاست . این روش ، یعنی تحلیل داده ها راسل را به فکر انداخت تا از طریق آن زبانی کامل سامان دهد و متافیزیک را فرا فکند . درست در همین زمان کتاب فرگه بدستش رسید . نظریه ی مجموعه های اسمی بی نقص بود بجز در یک مورد. مشکل این بود ، آیا در یک مجموعه که یکی از اعضایش دارای خصوصیت (( عضو خود نبودن )) است ، وضعیت این عضو در مجموعه تعریف می شود یا در بیرون ؟ اگر پاسخ داده شود درون مجموعه ، یعنی عضو ایکس که جزء خود نیست عضو مجموعه ی ان است ، از آنجا که خصوصیت ایکس عدم عضویت در خود است جواب باطل است . در صورتی که پاسخ داده شود بیرون مجموعه ، یعنی ایکس بیرون از ان و در مجموعه ی ایکس ها است . اما باز می دانیم که ایکس نمی تواند عضو خود باشد . اشکال در طی نامه ای به فرگه گوشزد شد . فرگه که تا قبل از دریافت نامه از کار خود راضی بود ، ناگهان متوجه موضوع شد و تلاش کرد متممی حاوی پاسخ به جلد دوم اضافه کند . با این حال در پاسخ به راسل می نویسد که مایوس شده است و نمی تواند از این مشکل بگذرد .
راسل و وایتهد از این جا به بعد تلاش می کنند تا این مشکل را نیز بر طرف کنند و در واقع راسل که مانند فرگه سودای ساختن زبانی کامل را دارد ، حرکت را از پیشرفت های فرگه آغاز می کند .
هستی شناسی افلاطونی فرگه برای منطق و ریاضی ساحتی واقعی قائل است ،وجود که نه ذهنی و نه عینی است . این انگاره که در تاریخ فلسفه به فیثاغوریان باز می گردد و در افلاطون نیز موثر می افتد ، مدعی وجودی فی نفسه برای عدد است گویی اعداد هستهایی واقعی اند . راسل تا مدتها این تصور در باره ی عدد را می پزیرد . عدد هستی واقعی است که بدون دخالت فعالانه ی حس قابل درک است . به معنایی دیگر وجود اعداد از طریق شهود های محض (زمان و مکان) درک نمی شود بلکه از آنجا که قوام بخش منطق و نسبتهای زبانی است ذهنن دریافت می شود . با این حال ذهن در ساختن آن بی تاثیر است . این انگاره بنیاد هستی شناختی نظریه ی اتمیسم منطقی می گردد که بعد ها توسط ویتگنشتاین نیز تکرار می شود . بنا به نظر راسل جهان آنگونه که خود را می نمایاند منشا حقیقی دارد و فراتر از آن نمی توان رفت. این جهان از طریق زبان باز نمایی می شود . زبان نیز ( زبان کامل ) برای اینکه دچار خطا نگردد ، ناچار برای هر معنا ، نشانه ای می آفریند که با اصل عین منطبق است . بنا بر این هر جمله شامل اسامی خاص و اسامی مرکب خواهد بود . اسامی خاص درست به اتم حقیقی اشاره کرده و قابل تجزیه نیستند در حالی که اسامی مرکب از اتم های اصلی تشکیل شده پس مولوکول هایی قابل تجزیه به اسم های خاص اند . از سوی دیگر برای پاسخ گفتن به مشکلی که خود در یافته بود ، نظریه ی انواع را مطرح می کند که بر اساس آن هر جزء را در یک مجموعه می توان با همان جزء در مرتبه ی پایین تر از خود نسبت بست . بنابر این اگر ایکس ها عضو ان باشند ، می توانند عضو ان پریم نباشند و یا عضو وای ، اما عضو ایکس نبودن محال است زیرا ایکس ها و ایکسها در یک طبقه ی نوعی خواهند بود . (( اصول ریاضی )) کتابی است که راسل در آن نظریه اش را قوام بخشید .
اما هنور یک مشکل دیگر برجاست ، و آن مشکل (( این همانی )) است که فرگه بدان پاسخی ممتنع داده بود . بنا به نظر فرگه گزاره ی (( راسل راسل است )) و (( راسل واضع نظریه ی اتمیسم منطقی است )) تنها از حیث مفهومی متفاوتند حال آنکه از منظر معنا یکسان اند( هردو تنها به راسل ارجاع می دهند ). راسل برای حل این مشکل نظریه ی اتمیستسی خود را به کار می گیرد . بنا به این نظر هر اسم خاص به یک عین خاص ارجاع می دهد . و هر جمله می بایست حد اقل دارای یک اسم خاص باشد . اما در کنار این اسم برخی اسامی مرکب ( صفتها ) کمی موجودند که فاقد ارجاع مستقیم هستند اما به یک اسم خاص منتهی می شوند . در گزاره ی شکسپیر شکسپیر است یک همان گویه رخ داده که بی اهمیت خواهد بود . در حالی که در گزاره ی شکسپیر نویسنده ی هملت است از طریق نویسنده ی هملت ، اطلاعاتی تازه منطقل می شود . فرگه تمامی نام ها را دارای دو خاصیت ارجاع به اصل و ارجاع به مفهوم می دانست، حال آنکه راسل ارجاع به اصل را تنها در اسامی خاص موجود می داند . و مفهوم را تنها در یک ساختار مولوکولی می گنجاند . بنا بر این جمله های فوق با هم متفاوتند ( در مثال اول و دوم ) .
راسل در ادامه ی کار خود با شاگردی بر می خورد که بعد ها یکی از تاثیر گذارترین فلاسفه ی جهان می گردد .

این جوان اتریشی لودویگ نام دارد . وی که ابتدا به مهندسی مشغول است به سمت فلسفه کشیده می شود و برای درس آموزی راهی آلمان می شود . فرگه ترقیبش می کند به کمبریج رفته و در تزد راسل به تحصیل ادامه دهد . ویتگنشتاین به کمبریج می آید در نوشتن به یاری استاد می شتابد و کم کم بر استاد تاثیر می گذارد تا جایی که وایتهد از راسل جدا می شود . با آغاز جنگ به جبهه می رود . و در حالی که اثیر شده است شاهکار خود را می نویسد. (( رساله ی فلسفی-منطقی )).راسل در لندن از همان آغاز جنگ را مردود می شمرد . او که از احوال لودویگ بی خبر است پس از بازگشت وی می کوشد شاهکار وی را به چاپ برساند . راسل کم کم متوجه می شود جهان پس از جنگ جهانی ملتهب است که باید برای آرام ساختنش کوشید . پس فلسفه را رها می کند و تا پایان عمر می کوشد جهانیان را متقاعد کند در صلح زیستن بسا شایسته تر است.



لودویگ ویتگنشتاین و رساله ی فلسفی – منطقی



ویتگنشتاین فیلسوفی متفاوت از حیث زیستن بود . او که به خاندان ثروتمند (( ویتگنشتاین ها )) در وین متعلق بود ، اول بار به را ه هنر لغزید . برادر بزرگتر و خواهرش هردو نوازندگی می کردند . سپس تصمیم گرفت تا برای تحصیل در رشته ی مهندسی به انگلستان سفر کند . در این میان وی به فلسفه علاقه مند شد و همانگونه که شرحش رفت به نزد فرگه و سپس راسل رفت . او در شروع چنگ به اتریش بازگشت و داوطلبانه وارد ارتش شد . در میدان جنگ هر جا که خطری وجود داشت او نیز حاضر می شد . سر انجام و در اواخر جنگ توسط ایتالیایی ها اسیر شد و در مدت اسارت رساله اش را تمام کرد . پس از جنگ در سدد بر امد کتابش را چاپ کند و بالاخره و پس از کشمکش بسیار موفق شد آنرا به زیور طبع آراسته کند . بعد فلسفه را کنار گذارد و به مشاغل دبیری ، نجاری و حتی باغبانی روی آورد . پس از چندی باز و ناگهان به فلسفه باز گشت و این بار بر خلاف نظریه ی اولش ، نظریه ی بازی های زبانی را مطرح نمود . دیگر از او کتابی به چاپ نرسید مگر پس از مرگش . در شروع جنگ دوم بر علیه آلمان وارد جنگ شد و این بار به عنوان یاری دهنده در درمانگاهی که متعلق به مجروحان جنگ بود مشغول شد . طبع ظریفش او را از همنشینی با اعضای حلقه ی وین باز داشت و سر انجام در سال 1951 در گذشت . پس از مرگش آثار متعددی از او چاپ شد . که یا حاصل تدریس موجودش در بازگشت به کمبریج بود و یا مجموعه هایی از سخن رانی های معدودش . (( کتاب آبی )) و (( کتاب قهوه ای )) و آثاری در باره ی فلسفه ی ذهن و روانشناسی و حتی فیزیولوژی که حالا در راس علاقه اش جای گرفته بود ، حاصل نیمه ی دوم زندگی اش بود . در این جا ابتدا به رساله ی منطقی – فلسفی وی می پردازیم . بدان جهت که پاره ی نخست این اثر تا مدتها در حلقه ی وین خوانده می شد و دیگر اینکه پردازش نظریه اتمیسم منطقی در این کتاب به خوبی انجام پذیرفته بود .
عنوان رساله توسط مور به ویتگنشتاین پیشنهاد شد . زیرا که این اثر در همان سپهر آرزو های لایپنیتس اوج می گرفت . (( رساله ی فلسفی – منطقی )) مجموعه ای است به سبک گزین گویه که هرگذاره از طریق یک عدد مشخص شده است . هر گزاره توسط بعدی بسط پیدا می کند و این خود روشی بود که در اصول ریاضی راسل و وایتهد به کار رفته بود .
پاره ی اول با این گزاره آغاز می شود : جهان ، تمامی آنچه است که وضع واقع است
منظور از این گزاره این است که هر آنچه در جهان رخ می دهد ، خود واقعیت است و در واقع آنچه که خود را می نمایاند همان واقعیت است . در ادامه می آید : جهان مجموعه ی بوده هاست ، نه مجموعه ی اشیاء در این جا جهان بینی راسل از نو نمایان می گردد . بوده ها از نظر راسل تمامی اسامی و کنش هایی اند که در زبان می آیند و البته می توانند ارجاع شیئی داشته باشند و می توانند فارغ از آن بمانند . در واقع جهان مجموعه ای است از هر آنچه در زبان باز تابیده شده است . در گفتار سوم می آید که : جهان بوسیله ی بود ها تعیین شده است و نیز بدان راه تعیین شده است که بود ها همه ی بودها هستند و گفتار چهارم ادامه می دهد : چه مجموعه ی بودها آنچه را که وضع واقع است تعیین می کند و نیز تعیین می کند هر آنچه را که وضع واقع نیست این مسیر ادامه می یابد . جهان مجموعه ای است از اتم ها که در ترکیب خود مولوکول ها را می سازند . زبان نظامی است که با این جهان مطابقت دارد . پس هر جمله ای که در آن وضع می شود ، از نامهایی خاص متشکل اند که همانند اتم ها ی عینی عمل می کنند و مجموعه ی آنها ، مجموعه ی تمام جهان است . همان جهانی که هست . انطباق جهان و زبان بدانجا می رسد که هر انچه در سدد است در فراسوی زبان قرار گیرد ، لاوجود قلمداد می شود . اما به چه شکل ؟ آنچه در زبان بیان می شود (( گفته )) می شود ، هر آن چیزی است که هست . اما آنچه می خواهد این نقشه را یا قالب نمایش را بگوید ، از آنجا که باید بیرون از قالب ایستاده باشد ناتوان از بیان خواهد بود . پس تنها می توان ادعا کرد قالب زبان نشان دادنی است نه گفتنی . از این استدلال می توان به این رسید که متافیزیک ، اخلاق و زیبایی اموری هستند که در زبان جا نمی گیرند . پس اگر هم باشند قابل گفتگو و بحث نخواهد بود . فلسفه تنها باید به فیلسوفان یادآوری کند که آنچه میگویند در حوزه ی گفتار است یا نمایش . از سوی دیگر این حکم ویتگنشتاین در باب ریاضی و منطق نیز جاری می شود . ریاضی چیزی جز همانگویه نیست ( همانند نگاه کانت ) . بنا براین کتابش را همانگونه که در پیشگفتارش می گوید چون نردبانی برای رسیدن به طبقه ی بالا استفاده می شود و بعد دورش باید انداخت . در این بین آنچه نظریه ی تصویری زبان خوانده می شود بیان شده است . مطابقت زبان نه تنها قطعی که حتی نوع قرار گیری واژگان با نوع قرار گیری عینیات تضامن دارد و منطبق است . ویتگنشتاین اول در واقع با این کتاب تکلیف جهان را روشن می نماید .
در پاره ی دوم اثر البته بخشی را به (( راز ها )) اختصاص داده است . اخلاق بیرون جهان است . پنهان است ، غیر گفتنی است . پس تنها می توان گفت آدم سعادتمند جهانی متفاوت با آدمی بی سعادت دارد . (( براستی چیز هایی هست که گفتنی نیست . این ناگفتنی ها خودشان را نشان می دهند . اینها همان مرموزاتند ))
ویتگنشتاین از یکسو نافی متافیزیک در حوزه ی شناخت است است و از سوی دیگر زبان و معنا و ارجاع را درنسبتی تصویری ، عین جهان می داند .
اما ویتگنشتاین دوم این نظریه را غریب و معدوم می شمرد و قدم در راهی دیگر خواهد گذارد .


ویتگنشتاین دوم : پژوهشهای فلسفی


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


پزتیویسم منطقی

شاید پرسیده شود چرا این گرایش بزرگ فلسفی در زیل فلسفه ی تحلیلی بررسی می شود ؟ باید در پاسخ این پرسش گفته شود که اگرچه سویش این نحله از زبان به علم می چرخد ولی پیش فرض هایی که موجب این چرخش می گردند همگی از سنت تحلیلی وام دارند . و حتی روش بررسی علمی این گروه نیز همانند روش تحلیل زبان در فلسفه ی تحلیلی است . البته این نکته را نمی توان نادیده گرفت که اولین پزتویست های تاریخ فلسفه در قرن 17 در کوران عصر روشنگری بوجود آمدند . سیر حرکتی واقع گرایی با نگره های مادی گرا در قرن 19 ادامه یافت و سر انجام روش تحلیلی منطقی این جنبش را برای مدتی به یکی از قدرتمند ترین جریانات فکری بشر مبدل ساخت .
در دوران میان جنگ اول و دوم دو مکتب بزرگ در آلمان و اتریش مشغول به فعالیت بودند که هردو در سدد یافتن راهی دقیق و علمی می گشتند . این هردو از طریق باز کاوی و زنده کردن استعلای ذهنی ، یعنی همان پایه ی روش معرفتی کانت ، در سدد بودند بحران حاصله در فلسفه ی اروپایی را سامان بخشند . مکتب ماربورگ برای علوم انسانی ساحتی مجزا قائل بود ، و متصور بود که ساحت علوم انسانی یک ساحت (( روحانی )) است و قابل تقلیل به علوم دقیقه نیست . از دل این مکتب ، نو کانتی ها بیرون آمدند که ریکرت در ابتدا و کوهن و کاسریر سپس تر در راس آن قرار داشتند .
نگره ی این مکتب در باز نمایی و بازگشت دوران روشنگری صرف می شد . اینان و بخصوص ارنست کاسریر در نوشتارشان یک بار دیگر به ارزش های روشنگری و عقل خودبسنده ی کانتی رجعت کردند . و در تلاش بودند علت انحراف فلسفی اروپا را قصور از روش نقادی کانت نشان دهند . در این میانه ادموند هوسرل از یک سو با پدیدار شناسی تازه تاسیس خود به مقابله با اینان شتافت و از سوی دیگر پزتویستها یعنی ، کارنپ ،هان و نویرات به اضافه ی شیلیک با استفاده از مفاهیم تحلیلی پرچم مخالفت بر افراشتند .
گروه اول شوهود کانتی را متحول کردند . اینان در سدد بودند (( به ذات اصلی اشیاء )) بازگردند و فلسفه ای با دقت علمی و فراتر از آن بسازند . گروه دوم با نوعی تجربه گرایی پراگماتیستی فلسفه را تا حد قانون گزار و وارسی کننده ی نظریات علمی تقلیل دادند . اگر به صورت فهرست وار به فعالیت های نوکانتی ها اشاره شود ، می توان به از نو خوانی شناخت ترانسندنتال ، که معتقد بود امکان شناخت در بر خورد معقولات استعلایی و شرایط امکان تجربی قابل حصول است ، نومن و شئ فی نفسه ناشناخته و غیر قابل تعریف است اشاره کرد . همچنین کاسریر بحران را از بازگشت دگماتیسم متعالی ( متافیزیکی ) و عدم نقد پذیری آن می دانست . وی در این راستا ابتدا به نقد هگل روی آورد وسپس به اسطوره های امروزین جامعه ی اروپایی ، همچون دولت ، روی آورد . کوهن نیز با باز خوانی دقیق کانت تلاش می کرد از روش شناسی وی برای یک منطق دقیق بحره برد
. در هر حال این مکتب تلاشی نوستالژیکی برای زنده کردن میراث اروپایی انجام می داد و می خواست اروپا را بیدار کند .
اما پزتویستها ی حلقه ی وین راهی دیگر را برگزیدند .


حلقه ی وین


آنچه وجه مشترک تمامی نظامهای فلسفی در قرن 20 است ، حمله ی اینان به متافیزیک کلی گو و حقیقت محور است . بنابراین حلقه ی وین قصد داشت تا با تاثی به گذاره های متقن و عینی از متافیزیک بگذرد و در این راه متدولوژی را سامان بخشد . در واقع گذاره های منطق صوری تنها قالب را سامان می بخشید و عینیات را وادار به مبدل شدن به آنچه وضع کرده بود می کرد . انگاره ی مطلق اصیل که وحدانیت هستی را تنها از راه گذر از عین مرکب به معقول بسیط تفسیر می کرد در برابر حرکت فزونی گرفته ی طبیعت بشری در قرن 20 ناکام مانده بود . در کافه ای در وین عده ای از ریاضیدان ها و فیزیکدان ها جمع شدند تا با استفاده از علوم ریاضی و فیزیک روشی را طراحی کنند که از طریق آن هر چیز کاذب را که متافیزیک از طریق (( بازی های زبانی ، شیادی و هیچ مگو تا دیگران چیزی تصور کنند ))باطل نمود و آنچه را که علمی یا صادق است را بازنمایی کند . اما مشکل بر سر راه بود به جز چند تن که به علوم اجتماعی تخصصی داشتند باقی با فلسفه نا آشنا بودند و خوب می دانستند که برای طرح زدن چنین روشی به این دو فن نیاز مند اند . بنابرین از شیلیک که استاد فلسفه در آلمان بود ، دعوت کردند به حلقه بپیوندد . این کافه کوچک ابتدا شاهد نشست سه تن بود که بعدها حلقه وین نام گرفت.هانس هان ریاضیدان،اتونویرات اقتصادان وفیلیپ فرانک فیزیکدان.اینان همانطورکه گفته شد بر سر فلسفه ی علم و شناسایی روشی که بتوانه سره را از ناسره جدا کند به بحث نشستند.ارنست ماخ پیش از این درکرسی فلسفه علم در دانشگاه وین مشغول به کار بود.او که یک متریالیست تمام عیاربود ،اعتقاد داشت جهان مجموعه ای از تغییرات مادی که از طریق تجربه و تکرار آن می توان شناختشان . شیلیک وی شد.بلافاصله با پیوستن وی گروه کوچک حالت جلسات رسمی تر شد و اعضا نیز گسترش یافتند . در این میان رودولف کارنپ نیز که از این اساتید فلسفه درآلمان بود نیزبه همراه هانس رایشنباخ به حلقه پیوستند و اینگونه بود که حلقه وین آماده کار شد.
حلقه وین خود را در ادامه ی تجربه گرایی فلسفی می دانست.سه اصل کلیدی که این حلقه را سامان دادند براساس یک هستی شناسی تجربی شکل گرفته بود.این سه اصل عبارت بودند از:
- تمایزبین گزاره های تحلیلی و ترکیبی
- اصل تحقیق پذیری
- برنهاد فروکاستی و مشاهد در اصل اول که از هیوم و ویتگنشتاین اول گرفته شده بود،فرض کانت مورد رد قرار گرفت.

کانت شناخت را حاصل ترکیب دو نوع حکم می دانست.احکام تحلیلی و احکام ترکیبی.احکام ترکیبی احکامی هستند که درباره ی موضوع توضیحاتی نوین را ارائه می دهند.مثل:همه ی شوهران میرا هستند . دراین حکم اولا شوهران جنسی از انواع آدمیان اند،دوما میرندگی آنان برحسب مشاهدهی تاریخی بر آنان اضافه شده است . بنابرین محمول چیزی را به موضوع اضافه کرده است . اما درحکم تحلیلی تنها موضوع را تایید می کنیم.مثلا می گوییم تمامی شوهران ازدواج کرده اند. در این حکم ، شوهر بودن یعنی مردی که ازدواج کرده است . پس هیچ داده ی نو بر موضوع حمل نشده است . کانت فکر می کرد احکام شناختی از نوع احکام پیشینی اند ، یعنی از طریق مشاهده در ظرف امکانی خاص و آمیزش این داده ها ی دارای معنا با معقولات پیشینی ذهن شناخت حاصل می گردد . پزتویویستها مدعی می شوند که تمتمی احکام متافیزیک تحلیلی اند پس حاوی هیچ داده ی شناختی نیستند و تمامی احکام علمی ترکیبی اند . با این تفاوت که قائم به مشاهده اند و هیچ قطعیتی ندارند ، مگر در اثبات و تکرار مشاهده و نتیجه ی آن . در حوزه ی احکام متافیزیکی ، تاثیر ویتگنشتاین کاملا مشهود است و در حوزه ی دوم هیوم نقش بازی میکند . اصل دوم در ادامه ی اصل اول قرار دارد . اگر تمامی احکام علمی خاصیتی نسبی و متکی به ادراکات حسی دارند بنابراین باید نمایانگر عینی در بیرون از ذهن باشند .
اما این عین بیرونی که توسط واسطه ی حسی منتقل می گردید باید قابل آزمون باشد . ویتگنشتاین در رساله می گوید : (( وقتی کسی می کوشد چیزی متافیزیکی بگوید ، به او نشان می دهیم که به برخی از نشانه ها در گزاره ی خود معنا نبخشیده است )) بنابراین اگر حکمی داده شود باید آنرا به اجزء آن تجزیه نمود و شرایط امکان ( صدق ) آنرا در تجربه ای آزمود . اگر اجزاء آن صادق بودند پس حکم میتواند صادق باشد و در غیر این صورت کاذب خواهد بود . اصل تحقق پذیری یکی از مناقشات بزرگ بین این حلقه و مخالفانشان است . کارل پوپر از کسانی است که به این اصل خدشه وارد می کند . او این اصل که تنها گذاره ای قابل اصلاح است که به اصلی ارجاع دهد که ثابت است را یک متافیزیک جدید می داند . اگر بگوییم تمامی انسانها میرا هستند و دلیل صدق را بر این استوار کنیم که تا به حال سرنوشت بشر جز این نبوده است ، و از همین توجیه برای رد گزاره ی انسان میرا نیست استفاده ببریم ، در واقع دچار یک پیش فرض متافیزیکی شده ایم . پوپر راه برون رفت از این پیش فرض را اصل ابطال پذیری گزاره ها می داند . به این معنا که تنها گزاره ها ممکن الصدق تصور شوند . به این ترتیب گزاره ی دوم در مثال فوق کاذب نیست زیرا که ممکن است روزی علم برمرگ فائق آید . این ایراد به همراه ایرادی که توسط کواین مطرح می شود پایه های این نظام فلسفی سترگ را لرزاند.
اصل سوم ، در ادامه ی اصل قبل ، مشاهده را پایه ای برای شناخت قرار می دهد . و هر آنچه که بتوان بر این فروکاست ، قابل بحث می کند . در این میان در خود حلقه دو نگرش مطرح شد ، اولی که از طرف شیلیک و کارنپ مورد دفاع بود ، ارجاع حکم به مشاهده بود و دومی که هر حکم را باید از طریق کارکرد فیزیکی مورد بحث قرار داد . یعنی باید صدق گزاره را بنا بر عینیت فیزیکی برسی نمود توسط اتو نویرات مطرح می شد . این دعوی با حکم (( روا داری )) کارنپ که می گفت هر دو اصل می تواند مرجع معرفت بخشی باشد مرتفع شد .


رودولف کارنپ


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



و.و.کواین

و.و.کواین از خود دو زندگی نامه بر جای گذارده است که هر دو را خود نگاشته . اولی در مجموع 500 صفحه و دیگری 40 صفحه . آنچه از زندگی خود در این دو نوشتار بر جای گذاشته است ، در دو جمله خلاصه می گردد : کار و کار ، تنهایی را به جمع ترجیح دادن ، عدم دخالت در بحث های فردی ، گاهی سفر و تفریح کردن با منطق و ریاضیات و مطالعه ی برخی آثار در میانه ی کار های خود و البته تمجید از کارنپ و فرگه . بنابراین در میانه ی زندگی او جز آثاری که وی از خود به یادگار گذاشته ، هیچ نکته ای عامه پسند یافت نمی شود . کواین تنها در دو صفحه ی آخر زندگی نامه اش می گوید که این طبع خلولت گرایش شاید ناشی از دوران کودکی اش باشد . در واقع کواین را باید نمونه ای از یک (( سولیپیست )) قلمداد کرد . ( خود تنهایی باور ) همانطور که ویتگنشتاین می گوید : جهان در مرز های زبانی معنا دارد .کواین نیز تنها در حیطه ی زبان خود یا همان گفتار هایش زندگی می کرد . آثارش را می توان در سه بخش تقسیم نمود . اول آثار منطقی . دوم آثار وجود شناختی و سوم معرفت شناسی .
وی در مقاله ی (( دو حد جزمگرایی تجربگرایان )) تلاش می کند از یک طرف ایراد به اصل دوم پزتیویست ها را حل کند واز سوی دیگر نظامات منطقی این گروه را گسترش دهد . در نگره ی تجربه گرایان ( که حلقه ی وین را هم در بر می گیرد ) بر تمایز دو حکم تحلیلی و ترکیبی تاکید می شود و در مرحله ی بعد هر حکم ترکیبی به مشاهده حسی فروکاهیده می شود .
حال کواین می گوید این عام گرایی متدیک را باید به فلسفه ی هر علم در درون خودش تغییر داد. مشکل بزرگ تجربه گرایان در حکم نخست این است که آیا تجربه را می توان تجربه کرد ؟ ما بر حسب چه پیش فرضی می دانیم که تجربه می کنیم ؟ در حکم دوم اگر مشاهده نمایان گر جهان است ، چه تضمینی برای صدق آن وجود دارد ؟
کواین با رد نظریه باز ساخت کارنپ می گوید : زبان منطقی و نحوی ما است که معقولات را صادق و کاذب می کند . بنابراین اگر به جای فرافکندن مساله به جهان مشاهداتی آنرا درون زبان جستجو کنیم ، قدمی برای حل مشکلات بر داشته می شود . وی با استفاده از مثال نویرات که می گفت : (( علم همچون قایقی است که باید در میانه آب قطعاتش را سوار کرد )) نشان می دهد که لازم نیست قطعیتی ضروری برای معرفت لحاظ کنیم بلکه براساس کاربرد علمی هر نظریه می توان در مولفه های زبانی آن مدام شک نمود . یعنی ابتدا تخته ای بر داشت تعمیرش کرد و بعد به سراق تخته ی بعدی رفت .
اشکال بزرگ تجربهگرایان متافیزیک جهان واقع است . پس از طریق دخالت دادن معرفت شناسی در درون هر علم می توان بدون نیاز به قطعیت سازی ، مدام آنرا مورد پرسش قرار داد و از نو ساختش .

فلسفه ی زبان روزمره

کتاب پژوهش های فلسفی ویتگنشتاین با گزار از منطق صرف و مطرح کردن بازی های زبانی در واقع باعث تشکیل نحله ی فلسفه ی زبان روزمره گردید . اینان همانند ویتگنشتاین درسدد نمایاندن قواد بازی های زبانی در فروکاست آنها به روابط هم خوانوادگی بودند . گیلبرت رایل و آستن این نحله را در آکسفورد بنا نهادند .
ویتگنشتاین در کتابش نشان داده بود که تنها یکی از بازی های زبانی ، منطق است . و علاوه بر آن بسیاری دیگر از بازی ها نیز وجود دارند که هر یک بنا به کاربردشان قابل بازشناسی هستند.
رایل در 1900 متولد شد . در 1953 با انتشار مقاله ای تحت عنوان (( زبان متعارف )) به منطق فلسفی حمله برد . او معتقد بود که آنچه به زبان معنا می بخشد نه خود واژه ها بلکه کاربرد آنها در سطح یک جمله ی عادی و معمولی است . او به تمسخر می گوید : هیلری به عنوان یک واژه به اولینکوهنورد که پا به اورست گذاشت معنا می شود . در حالی که معنا نه پوتین به پا می کند و نه کوهنوردی می داند . او به منطقیون اعتراض می کند که زبان را فراموش کرده اند .
او بدنبال واژه های طبیعی و معمولی و کارکرد هریک میگردد . در کنار رایل و کمی قبل تر از او آستن در سال 1952 نشان داد که کارکرد های صدق باور نمی توانند به مشکلات زبان پاسخ دهند . وی که بیشتر از نوشتن سخنرانی می کرد در کنفرانسی در هاروارد طرح کمی نظریه اش را بیان کرد که پس از مرگش در کتابی تحت عنوان (( چگونگی کار با کلمات )) گرد آوری شد . آستن در ابتدا به فرضیه ی کنشی قائل بود . بنابر این فرض ، دو نوع گفتار وجود دارد اول گفتار هایی که به منظور کارکردی بیان می شوند و دوم گفتارهایی که به منظور دادن خبر بیان می شوند . وی جملات اول را کنشی و دوم را بیانی می خواند . تمایز اصلی این دو گفتار در این است که گروه دوم را می توان از حیث صدق و کذب برسی نمود . در حالی که گروه اول را از طریق کارامد بودن یا نبودن آنها برسی می کنیم .
به طور مثال به چند جمله ی زیر توجه کنید :

1- پنجره را باز کن
2-می شود پنجره را باز کنی ؟
3-ممنون ، می شود پنجره را باز کنی
4-بهتر نیست بگذاری هوای اتاق عوض شود ؟
5-هوای اینجا کمی گرفته است .

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

منابع

تاریخ فلسفه ی غرب در قرن بیستم – کریستیا دولا کامپانی – باقر پرهام
فلسفه ی تحلیلی در قرن بیستم – اورل استرول – فریدون فاطمی
معرفت شناسی ریاضی ویتگنشتاین و کواین – سهراب علوی نیا
زبان شناسی و فلسفه – شیوان چپمن – حسین صافی
پزتیویسم منطقی – خرمشاهی
معنا و معرفت در فلسفه ی کواین – سایه میثمی

حجاب شرعی و مباحث روشنفکری

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

در این کتاب سعی شده است به مبانی و ریشه های حجاب شرعی در عصر پیامبر اشاره شود و سپس به نقد و بررسی کتاب جناب آقای امیر ترکاشوند پرداخته شده است.

برای خرید و مطالعه این کتاب می توانید اینجا را کلیک نمائید و یا با شماره 88104441 تماس حاصل نمائید.

فلسفه ریاضی چیست؟

ریاضیات علمی است که در خصوص اعداد و اشکال و مقادیر و ویژگی‏های آنها و روابط بین آنها بحث می‏کند، و ریاضیدان کسی است که در این زمینه‏ها به تفحص و تحقیق می‏پردازد.
تفکر در خصوص اعداد و اشکال و مقادیر و ارقام و نسبتها و روابط بین آنها، به دورانهای بسیار قدیم برمی‏گردد.چینی‏ها و هندی‏ها و مصری‏ها و... از جمله مردمانی هستند که در این وادی قدم نهاده‏اند و آنگاه فعالیت آنها زمینه و مقدمه‏ای برای تدوین نظام‏مند علم ریاضیات توسط اقلیدس در یونان گردیده است.در همان زمانی که ریاضیات قدمهای نخستین را در خصوص بحث در مقادیر برمی‏داشت و به پرسشهایی پیرامون اعداد و اشکال می‏پرداخت، دوش بدوش این پرسشها، سؤالات دیگری نیز در ذهن ریاضیدانان نقش می‏بست که رابطه مستقیمی با فعالیت ریاضی آنها نداشت.لیکن از یک جهت دقیقا به علم ریاضی و مباحث آن مربوط می‏گشت.
ریاضیدان در فعالیت ریاضی خود مثلا به اعداد و انواع اعداد و روابط بین اعداد از قبیل جمع و تفریق و ضرب و تقسیم و غیره و یا به اشکال و ویژگی‏های هر یک از اشکال و تفاوتها و شباهتهای بین اشکال مختلف می‏پرداخت.لیکن علاوه بر این پرسشها و در کنار آنها سؤالات دیگری نیز برای آنها مطرح می‏شد، از قبیل اینکه عدد چیست؟آیا عدد در خارج وجود دارد؟آیا اشکال ریاضی موجوداتی در ذهن ما هستند، یا در خارج از وجود ما تحقق دارند؟آیا روشهای اثبات ریاضی اعتبار منطقی دارند یا نه؟و...
در واقع ریاضیدانان با دو دسته مستقل از پرسشها مواجه بودند.بخشی از پرسشها دقیقا مربوط به خود مباحث و مسائل ریاضی بود و در درون ریاضیات مطرح و مورد بحث واقع می‏شد و بخش دیگر از پرسشها مربوط به کل ریاضیات بودند و از بیرون به ریاضیات نظر داشتند، در این دسته اخیر از پرسشها، گویی ریاضیات را در پیش دیدگان عقل خود نهاده‏ایم و از بیرون به مبانی و مفاهیم و قضایا و استدلالهای آن نظر می‏کنیم و سؤالاتی کلی را در خصوص آنها مطرح می‏کنیم:
باید گفت که پرسشهای نوع اول مربوط به «ریاضیات»می‏شود، لیکن پرسشهای نوع دوم مربوط به«فلسفه ریاضیات»یا«فلسفه ریاضی»هستند.
بخشی از مباحثی که در این فلسفه ریاضی مورد کاوش قرار می‏گیرند:ماهیت اعداد و اشکال ریاضی چیستند؟آیا مفاهیم ریاضی در خارج از ذهن دارای ما به ازاء مستقل و مشخصی هستند؟اساسا رابطه مفاهیم و قضایای ریاضی با واقعیت چگونه است؟ رابطه ریاضیات با علوم دیگر از قبیل فیزیک، شیمی و زیست‏شناسی چگونه است؟رابطه ریاضیات و منطق چیست؟آیا می‏توان مفاهیم و قضایای ریاضی را به مفاهیم و قضایای غیر ریاضی مانند مفاهیم و قضایای منطقی تجزیه و تحویل نمود؟ملاک صدق و کذب یا حقیقت و خطا بودن قضایای ریاضی چیست؟کیفیت آشنایی ذهن با مفاهیم و قضایای ریاضی چگونه می‏باشد؟ آیا استدلالهای ریاضی دارای ارزش منطقی هستند؟آیا مفاهیم و قضایای ریاضی معنی‏دار می‏باشند؟و...
در پاسخ به این پرسشهاست که مکاتب و دیدگاههای مختلفی به ظهور رسیده‏اند و هر یک به نوبه خود بر اساس پیش فرضهای خاص خودشان به بخشی از این پرسشها پاسخ داده‏اند.
انواع فلسفه‏های ریاضی:
در اینجا سعی ما بر این است تا به اهمّ این دیدگاهها پرداخته و نظریات آنها را بیان کنیم.
1-افلاطون گرایی"platonism"
این دیدگاه چنانکه از عنوان آن مشخص است، برگرفته از نظریات فیلسوف یونانی، افلاطون می‏باشد.به زعم افلاطونیان امور ریاضی، اشیایی واقعی و عینی هستند.اعداد و ارقام و اشکال و مقادیر ریاضی وجودی کاملا مستقل از شناخت و ذهن ما دارند، وجود این ریاضی از سنخ اشیاء فیزیکی نمی‏باشند.
آنها خارج از فضا و زمان فیزیکی وجود دارند و اموری تغییر ناپذیر می‏باشند.اینها اموری ازلی و خلق ناشده بوده و دگرگونی و نابودی نمی‏پذیرند.
این اشیاء هر یک به نوبه خود اشیایی معیّن بوده و خواص ویژه خود را دارند.هر پرسش معنی‏داری درباره یک شئ ریاضی، پاسخی معیّن دارد، چه ما قادر به یافتن آن پاسخ باشیم و چه نباشیم.از نظر افلاطون ریاضیدان مانند دانشمندی تجربی از قبیل یک زمین‏شناس یا زیست‏شناس است، او نمی‏تواند چیزی از خود اختراع کند، زیرا هر چه که باید کشف شود در عالم خارج وجود دارد.کاری که وی می‏تواند انجام دهد، حداکثر«کشف»چیزهاست.
برای مثال شکلی ریاضی، مانند مثلث دارای یک وجود خاص خارجی است که در وراء زمان و مکان تحقق دارد و مانند اشیاء فیزیکی اطراف ما از قبیل سنگ و درخت و غیره دارای ویژگیهای خاص خودش می‏باشد.ریاضیدانان با فرایند خاص ادراکی به کشف این اشکال و خواص آنها نائل می‏آیند، همانگونه که دانشمندان تجربی در طبیعت به کشف اشیاء خاص و ویژگی‏های آنها می‏پردازند.
به عبارت دیگر این دیدگاه می‏گوید که ریاضیات قوانین خاص خود را دارد و ما ناگزیریم از این قوانین پیروی کنیم.همین که مثلثی یا اضلاع a و b و h ساختیم، خواهیم داشت a2+b2+h2-h2 من نوعی نمی‏دانم که آیا عدد 1375803627 اول است یا نه، اما این را می‏دانم که اول بودن یا نبودن آن به اختیار من نیست.قبل از نوشته شدن این عدد، اول بودن یا نبودنش تعیین شده است.در بین ریاضیدانان رنه‏توم و گودال از جمله افرادی هستند که هر یک به نوعی گرایش به این دیدگاه دارند. (1)
2-منطق گرایی"logicalism"
از نظر منطق گرایان ریاضیات شاخه‏ای از منطق محسوب می‏شود.بجای آنکه منطق ابزاری برای ریاضیات باشد، منطق پیشرو ریاضیات می‏شود، در این دیدگاه همه مفاهمی ریاضی باید در قالب مفاهیم منطقی تدوین شوند و همه قضایای ریاضیات باید بعنوان قضایای منطق بسط یابند.تمایز ریاضیات و منطق صرفا برای تسهیل در کار صورت می‏گیرد، در صورتی که در نهایت آنچه مطرح می‏باشد فقط منطق است. (2)
زمینه این دیدگاه را باید در آراء لایب نیتز، فیلسوف آلمانی، جست.او یکی از بنیانگذاران منطق ریاضی بشمار می‏اید و معتقد بود که نظامهای ریاضی می‏توانند قالب خوبی برای مبانی تفکر باشند و ریاضیات بهترین ابزار برای بیان اندیشه‏ها و تفکرات بشمار می‏آید.نظریه اساسی لایب نیتز این بود که حقایق ریاضی و منطق هر دو مبتنی بر اصل عدم تناقض‏هستند.قرابت‏ ریاضیات و منطق زمینه‏ای شد برای منطق گرایان تا معتقد باشند، تمام ریاضیات را می‏توان بر مبنای تعدادی گزاره صادق منطقی بر مبنای اصول منطق بنا نمود. (3)
تحویل و تجزیه علمی مفاهیم ریاضی به مفاهیم منطقی توسط دد کیند(1888)و فرگه(1884- 1903)انجام شد و پئانو(1889-1908)مبادرت به بیان قضایای ریاضی به کمک نمادگرایی منطقی نمود.از اینرو، این دانشمندان پیشگامان مکتب منطق گرایی هستند.
بیان مفصل و تکمیلی ارجاع ریاضیات به منطق توسط وایتهد و راسل(1910-1913)در اثر تاریخی«اصول ریاضیات»انجام گرفت.این اثر عظیم و پیچیده در صدد آن است که به تفصیل همه ریاضیات را به منطق تحویل نماید. (4)
در توضیح این دیدگاه باید گفت، پیش از فرگه ریاضیدانان ضمن بررسی‏های خود در مورد بهم وابستگی امور ریاضی، بصورت مبهمی این امر را نشان داده بودند که همه مفاهیم علم حساب قابل تجزیه به اعداد طبیعی‏اند(یعنی اعداد 1 و 2 و 3 و... که در شمارش عادی بکار می‏روند).در نتیجه مسأله عمده‏ای که برای منطق گرایی باقی مانده بود، همانا استخراج اعداد طبیعی از مفاهیم منطقی بود.گر چه فرگه قبلا راه حلی برای این مسأله یافته بود، مع هذا راسل و وایتهد مستقل از او به نتایج همسانی رسیدند.لب این راه حل تشخیص صحیح حالت منطقی اعداد طبیعی است.
به عبارت دیگر باید گفت که اعداد طبیعی در اصل نسبتهایی منطقی هستند که نه به اشیاء بلکه به مفاهیم تعلق دارند و در زمره مفاهیم می‏باشند.عدد خاصی مانند 3 بدین معنی است که سه شئ در تحت آن قرار می‏گیرند.اعداد در اصل دارای مفاد و معنی منطقی هستند، مفاهیمی هستند که اشیایی در تحت مفهوم آنها قرار می‏گیرند.قضایای ریاضیات هم اساسا از اصول متعارف منطقی به کمک قیاس منطقی قابل استخراج می‏باشند (5) به عبارت دیگر تمامی اثباتهای ریاضی می‏توانند به یک سری عملیات مکانیکی بر روی نمادهای منطقی تحویل و تجزیه گردند. (6)
منطق گرایی اساسا از تلاش برای تعمیق و بررسی بنیادی هر چه بیشتر در مبانی ریاضیات ناشی شده است.کار منطق گراها این بود که ریاضیات را ابتدا بر اساس دستگاه اعداد حقیقی تأسیس نمودند، و آنگاه دستگاه اعداد حقیقی را بر اساس دستگاه اعداد طبیعی بنیاد نهادند و از آن پس اعداد طبیعی را که بنیاد ریاضیات به حساب می‏آمد، مبتنی بر نظریه مجموعه‏ها ساختند.و چون عناصر منطقی در نظریه مجموعه‏ها نقش آشکاری داش، طبیعی است که اندیشه تحویل و ارجاع ریاضیات به منطق وارد ذهن شود، و از همین جاست که ارجاع ریاضیات به منطق به تحقق می‏پیوندد.
فرآیند استخراج ریاضیات از منطق بدین صورت است که این جریان، ابتدا با مفاهیم اولیه و گزاره‏های اولیه صوری که بعنوان مفاهیم و قضایای شهودی منطق می‏باشند، آغاز می‏شود.این مفاهیم و گزاره‏ها بعنوان توصیفهایی موجه و فرضهایی درباره دنیای واقعی تلقی می‏شوند، یا حداقل چنین پذیرفته می‏گردند.آنگاه مفاهیم و قضایای ریاضی از این مفاهیم و گزاره‏های اولیه بسط می‏یابند.
این فرآیند با«حساب گزاره‏ها»آغاز می‏شود و از طریق نظریه‏های خاصی به طرف تأسیس دستگاه اعداد طبیعی و از آنجا به سمت همه ریاضیاتی که از دستگاه «اعداد طبیعی»قابل استخراج است، پیش می‏رود. (7)
3-صورت گرایی"formalism"
جریانی در قرن گذشته شروع شد که هدفش جدا کردن مفاهیم ریاضی محض، مانند عدد و تناظر و مجموعه‏ای از مفاهیم ذوقی و شهودی بود که ریاضیات در طول سالهای دراز ارتباط خود با هندسه و مکانیک‏ بدست آورده بود، به عقیده صورت گرایان مفاهیم دسته اخیر آن چنان در تفکر ریاضی نفوذ کرده‏اند ه با وجود احتیاط فراوانی که در انتخاب کلمات بعمل می‏آید، مفهوم پنهان پشت سر آنها، استدلال ما را تحت تأثیر خود قرار می‏دهد.زیرا که اشکال کلمات در این است که دارای«محتوا»هستند.در صورتی که مقصود از ریاضیات آن است که صورت محض از تفکر بوجود آورد.
اما چگونه می‏توان از کاربرد زبان بشری اجتناب جست؟جواب این سؤال را در کلمه«علامت»یا «سمبول»(symbol)می‏توان یافت، فقط باید زبان علامت را به کار برد که هنوز بوسیله تصورات مبهم فضا و زمان و پیوستگی که منشأ آنها ذوق و فطرت است، و استدلال محض را تیره و پیچیده می‏کند آلوده نشده است.فقط از این راه است که می‏توان امید داشت که ریاضیات بر پایه محکمی از منطق استوار شود.
این جریانی بود که از پئانوی ایتالیایی شروع و توسط وایتهدو راسل به آن دامن زده شد و در نهایت بوسیله دیوید هیلبرت که پایه گذار مکتب صوری گرایی است، تکمیل گردید.در این دیدگاه قصد بر این بود که ریاضیات تجدید بنا گردد و با مفروضات اساسی و روشن و با بکار بردن دقیق منطق، محلی برای ابهام‏هایی که از زبان بشری غیر قابل تفکیک‏اند، باقی نگذارد. (8)
طرفداران این دیدگاه بر این اعتقادند که هیچ شئ ریاضی واقعی و حقیقی وجود ندارد، وجود اشیاء ریاضی ساخته و پرداخته ذهن ریاضیدانان است.مفهوم نقطه، خط، عدد، عدد اول، پیوستگی و نظایر آنها، همه و همه ساخته ذهن آدمی‏اند و تنها در ذهن او جای دارند.خطی که بر تخته سیاه رسم می‏کنیم یک خط فیزیکی است، زیرا که عرض دارد.خط ریاضی را هیچ کس ندیده است.مفهوم 2 سیب چیزی غیر از عدد 2 است.عدد 2 را تاکنون هیچ کس ملاقات نکرده است.فرمولهای ریاضی خود در باب چیزی نیستند و دارای محتوا نمی‏باشند، بلکه رشته‏هایی از نمادها و علایم هستند و شکلی صوری و ظاهری دارند، همانند قالبی می‏مانند که فاقد محتوا می‏باشد.
از نظر صورت گرایان، ریاضیات علم استدلال منطقی است.هر چیزی که در ریاضیات می‏توان ادعا کرد این است که قضایا بصورتی منطقی از اصول موضوعه نتیجه می‏شوند، بنابراین قضایا مبری از خطا و نگرانی هستند، زیرا فرآیند برهانها و استدلالها هیچ رخنه و نقصی را باقی نمی‏گذارند.
از نظر این مکتب برای مثال هندسه، یک ساختار استدلالی دارد، نه ساختار توصیفی.در هندسه نباید از تصاویر و دیاگرامها استفاده کرد. (9) به عبارت کلی‏تر می‏توان گفت در واقع ما در فعالیت ریاضی خود با مجموعه‏ای از نمادهای«بی‏معنی»و بی‏محتوا سر و کار داریم و ریاضیات طوری قالب‏ریزی شده که مدعی هیچ چیزی نیست، بلکه فقط طرح مجردی است که دارای ساختار معینی می‏باشد. (10)
در این دیدگاه ریاضیات علم نیست، زیرا موضوع مادی مورد مطالعه ندارد، مفروضاتی شهودی و بینشی ندارد تا بتواند به آنها تعبیری بدهد.ریاضیات یک زبان است.ریاضیات وسیله فرمولبندی کردن و توسعه نظریه‏های علمی است.فرمالیسم ریاضی عنوانی است که به نظریه هیلبرت داده شده است، چرا که در فرمالیسم تکیه بر جنبه صوری ریاضیات در مقابل معنی یا محتواست و کما بیش مبتنی بر انکار محتوا برای فرمولهای ریاضی است.
هیلبرت اساسا سعی داشت تا ریاضیات را بر پایه‏های صرفا صوری واصل موضوعی استوار سازد.در این دیدگاه، صدق یک نظریه ریاضی بدین معنی است که آن نظریه تناقضی به بار نیاورد و منجر به تناقض نگردد. (11) صورت گرایان بر خلاف منطق گرایان بنیاد ریاضیات را نه در منطق، بلکه صرفا در مجموعه‏ای از نمادهای صوری می‏دانند، آنگاه ریاضیات را یک نظام صوری متشکل از احکام ریاضی که تنهادارای صورت هستند، می‏انگارند.
4-شهود گرایی"intuitionalism"
شهود گرایی، بعنوان یک مکتب در حدود سال 1908 وسط ریاضیدان هلندی ل.ا.ی براور مطرح شد، لیکن برخی از مفاهیم شهودگرایانه قبلا توسط کسانی چون کرونکر(در سال 1880)و پوانکاره(در سالهای 1902-1906)ابراز شده بود.این مکتب با گذشت زمان تدریجا تقویت شده و برخی از ریاضیدانان برجسته به این مکتب گرایش یافته‏اند.
بر اساس نظر شهودگرایی، در زیربنای ریاضیات یک شهود اولیه قرار دارد.در واقع پدیدار بنیادی در تفکر ریاضی ادراک شهودی این مطلب ساده است که دو یکی، دوتا است.این شهود، شهود اساسی و ریشه‏ای در ریاضی است که نه تنها اعداد یک و دو، بلکه کلیه اعداد ترتیبی متناهی را خلق می‏کند.
ریاضیات در این مکتب یک فعالیت ذهنی است که حاصل آن کشف حقایق است.حقایقی که مستقل از اندیشه وجود دارند.لیکن شهودگرایی با اندیشه‏های افلاطونی در باب ریاضیات کاملا متفاوت است، به این معنی که شهود گرایان در وصف یک وجود ریاضی بگونه‏ای که مستقل از اندیشه خود آنها باشد حرفی نمی‏زنند، یعنی مانند افلاطون گرایی وجودی متعالی برای اعداد صحیح و یا هر شئ ریاضی قائل نیستند.هر چند که این امر می‏تواند درست باشد که هر اندیشه به موضوعی که مستقل از آن اندیشه وجود آن متصور است، مربوط می‏شود. (12) در این دیدگاه چیزی حقیقی است که از طریق ریاضی اثبات‏پذیر باشد. (13)
شهود یا معرفت شهودی در این دیدگاه بدین معنی است که اگر مفاهیم بنیادی که در توصیف مدلها و دستگاههای ریاضی بکار می‏روند، «واضح»و«متمایز» باشند آنگاه شهودی‏اند، یعنی معرفت شهودی را تأمین می‏کنند، ما در شهود دنبال وضوح ظاهری مفاهیم مقدماتی هستیم. (14)
در خصوص دیگر ویژگی‏های این مکتب باید افزود در کتاب اصول ریاضی راسل و وایتهد، قانون طرد شق ثالث یا ارتفاع نقیضین با قانون تناقض معادل هم تلقی شده‏اند، لیکن برای شهود گرایان چنین وضعی حاکم نیست و آنها این دو را معادل هم نمی‏دانند و بر این اساس ارتفاع نقیضین را در شرایط خاصی ممکن می‏دانند.
شهودگرایان بر اساس نظریات خود دست به ایجاد منطق خاص خود زده‏اند.این کار در سال 1930 توسط ا.هیتینگ انجام گرفت و او موفق به بسط یک منطق علامتی شهودگرا گردید.بدین ترتیب ریاضیات شهودگرایی منطق خاص خود را بوجود آورده و در نتیجه منطق ریاضی در نظر این مکتب شاخه‏ای از ریاضیات محسوب می‏شود، (بر خلاف نظر منطق گرایان که ریاضیات را شاخه‏ای از منطق بشمار می‏آورند). (15)
5-واقع‏گرایی"realism" *
منظور از مکتب واقع‏گرایی آراء و نظریات متفکران اسلامی، در خصوص مسائلی است که در فلسفه ریاضی مطرح می‏باشند.در این نوشتار سعی بر این است که تنها بخشی از نظرات ایشان و آن هم بصورت کلی مطرح گردد.از نظر این مکتب ریاضیات در عین حال که علمی مستقل و اصیل است، در تحصیل علوم دیگر مانند فیزیک و شیمی و...نیز بکار می‏آید و نسبت به آنها در حکم آلت و وسیله است. (16)
به عبارت دیگر ریاضیات را می‏توان دانشی دو حیثیتی دانست، به یک اعتبار دانشی است با موضوع و روش و مبادی خاصی که از این جهت با علوم دیگر دو حوزه کاملا متمایز را می‏سازند.از این دیدگاه علوم ریاضی دانشی مستقل می‏باشد، اما از یک جهت دیگر همین دانش مستقل ابزار علوم و وسیله‏ای است که نیازهای علوم دیگر را برآورده و مشکلاتشان را پاسخ می‏گوید، علوم تجربی نیازمند محاسبه، احصاء، آمار، بررسی احتمالات و...هستند و رفع این نیاز از ریاضیات ساخته است و از همین طریق ریاضیات (*)این اصطلاح برگرفته از عنوان کتاب«اصول فلسفه و روش رئالیسم»علامه طباطبائی است. اتقان و قطعیت و قدرت پیش‏بینی و هماهنگی را به علوم تجربی اهدا می‏کند.
ریاضیات نه تنها برای علوم جنبه ابزاری دارد، بلکه بخشی از آن می‏تواند نسبت به بخش دیگر حیثیت آلی و ابزاری داشته باشد.مثلا مباحث لگاریتم که شاخه‏ای از ریاضیات است، اساسا برای سهولت محاسبات ریاضی تدوین گشته است.قدرت لگاریتم بعنوان یک ابزار محاسباتی در این است که به کمک آن ضرب و تقسیم به اعمال ساده‏تر جمع و تفریق تجزیه می‏شوند. (17)
ریاضیات علمی مستقل از منطق بشمار می‏آید، نه منطق را می‏توان شاخه‏ای از ریاضیات دانست و نه ریاضیات را می‏توان شاخه‏ای از منطق قلمداد نمود.
مفاهیم و گزاره‏های منطقی اساس هیچ کاربرد بالقوه‏ای در خارج ندارد، ولی قضایای ریاضی امکان کاربردپذیری را بصورت بالقوه دارند.قرابت و نزدیکی ریاضیات و منطق از جهت اشتراک در برخی ویژگیها از قبیل صوری بودن هر دو علم است، نه از جهت تحویل یا تجزیه‏پذیری این دو علم نسبت به همدیگر.اینشتین در خصوص رابطه منطق با عالم خارج بیان در خور توجهی دارد که مؤید این نظرات است.او می‏گوید:«اندیشه منطقی صرف نمی‏تواند به شناختی نسبت به جهان تجربی بیانجامد.احکامی که از راههای صرفا منطقی بدست می‏آید از دیدگاه واقعیت کاملا تهی است». (18)
از دیدگاه این مکتب قضایای ریاضی، قضایای شرطیه متصله هستند.به این معنی که مثلا هنگامی که اقلیدس می‏گوید:«مجموع زوایای یک مثلث ^180 است.»و در واقع مواد او آن است که«اگر فضا مستوی باشد آنگاه مجموع زوایای یک مثلث ^180 است»همه قضایای دیگر هندسه نیز چنین‏اند، یعنی در واقع از نوع قضایای شرطیه متصله هستند.
از نظر این دیدگاه، صادق یا کاذب بودن قضایای ریاضی بر اساس ملاک صدق و کذب گزاره‏های شرطیه متصله تعیین می‏گردد.به این معنی که صادق بودن و یا کاذب بودن قضایای شرطی بستگی به صدق یا کذب دو جزء قضیه ندارد، بلکه مربوط به مطابقت داشتن یا نداشتن«اتصال دو جزء»قضیه با واقع می‏باشد.مثلا قضیه شرطیه«اگر عدد دو فرد باشد، مجذور آن هم فرد است»را در نظر می‏گیریم.
این قضیه بی‏شک صادق است و حال آنکه جزءهای اول و دوم آن هر دو کاذب هستند.یعنی هم«عدد دو فرد است»کاذب است و هم«مجذور عدد دو فرد است»کاذب می‏باشد.صادق بودن قضیه مذکور از آنجا ناشی می‏شود که در ریاضیات به اثبات رسیده است که«مجذور هر عدد فردی، فرد خواهد بود»و چون چنین است پس ارتباط و اتصالی که میان دو جزء قضیه(مقدم و تالی)برقرار شده است، با عالم واقع مطابقت دارد.پس نظر در صدق و کذب قضایای شرطیه به این است که آیا پیوندی که میان تقدم(اگر عدد دو فرد باشد)و تالی(مجذور آن هم فرد است) لحاظ شده است، با نفس الامر مطابقت دارد یا نه؟
به تعبیر دیگر آیا به جهت منطقی مقدم، تالی را الزاما بدنبال دارد یا ندارد.بنابراین برای صادق بودن قضیه شرطیه«اگر فضا مستوی باشد(مقدم)، آنگاه مجموع زوایای یک مثلث o180 است(تالی)، نباید الزاما مقدم صادق باشد، بلکه اگر بتوان ثابت کرد که از«فرض»مستوی بودن فضا منطقا نتیجه می‏شود که مجموع زوایای مثلث o180 است، صدق قضیه شرطیه به ثبوت رسیده است و این همان کاری است که اقلیدس به انجام رسانده است.حال اگر فضا مستوی هم نباشد این قضایا صادق هستند، مثلا فضا دارای انحنای مثبت یا منفی باشد.و رمز این سازگاری هم در این است که اساسا ریاضیات رابطه مستقیمی با عالم خارج ندارد.
قضایای ریاضی اساسا جز ذهن موطن و جایگاه دیگری ندارند. (19) در عین حال که امکان کابرد در عالم خارج را دارند.بدین صورت که اگر در فیزیک اثبات شود که جهان خارج یک جهان مسطح و مستوی است، آنگاه فرمول‏های ریاضی می‏توانند در چنین جهانی به کار آیند و نتایج و لوازم خاص خود را بدنبال داشته و موجب کشف برخی حقایق و انجام برخی پیش‏بینی‏ها گردند.
باید گفت علت کاربردپذیری ریاضیات را در خارج باید در ویژگی خاص مفاهیم ریاضی جست.چرا که مفاهیم ریاضی از سنخ مفاهیم منطقی یا معقولات ثانی منطقی نمی‏باشند.بلکه از نوع مفاهیم فلسفی یا معقولات ثانی فلسفی قلمداد می‏شوند که عروض آنها در ذهن است، لیکن اتصاف آنها در خارج می‏باشد.

یادداشتها

(1)-مجله نشر ریاضی، سال چهارم، شماره 1 و 2، مرداد 70، مقاله تجربه ریاضی، فیلیپ دیویس و روبی هرش، ترجمه رضا کرمی.
(2)-تاریخ ریاضیات ج 2، ایوز وهاورد، ترجمه محمد قاسم وحیدی، ص 321.
(3)-فلسفه ریاضی، جمعی از نویسندگان، حسین ضیایی، ص 13.
(4)-تاریخ ریاضیات، ج 2، ص 321 به بعد.
(5)-فلسفه ریاضی، مقاله کارناپ، ص 30-32.
(6)-جنگ ریاضی، سال 1366، شماره 1، ص 13.
(7)-تاریخ ریاضیات، ج 2، ص 321 به بعد.
(8)-عدد زبان علم، توبیاس دانتزیک، ترجمه مهندس عباس گرمان، ص 128، 129.
(9)-مجله رشد آموزش ریاضی، سال هشتم، شماره 29، مقاله آشنایی با فلسفه‏های ریاضی، دکتر محمد حسن بیژن نژاد، ص 40، 41.
(10)-برهان گودل، ناگل و نیومن و تارسکی، ترجمه محمد اردشیر، ص 35-37.
(11)-فرهنگ مصاحب، دکتر مصاحب، ج 2، بخش 1، ص 1945، 1946.
(12)-فلسفه ریاضی، ص 22.
(13)-فرهنگ، کتاب دوم و سوم، مقاله مدل و صورت منطقی، آقای ح.وحید، ص 587.
(14)-برهان گودل، ص 33.
(15)-تاریخ ریاضیات، ج 2، ص 325.
(16)-منطق صوری، محمد خوانساری، ص 49.
(17)-فقر تاریخی نگری، عطاء الله کریمی، ص 245 و 246.
(18)-فیزیک و واقعیت، آلبرت اینشتین، محمد رضا خواجه‏پور، ص 24.
(19)-نقدی فشرده بر مارکسیزم، مصباح یزدی، ص 85-94.

منابع (نشریه):

کیهان اندیشه 1373 شماره55

نویسنده: سیما مهام