فلسفه علم

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

کتاب "صور منطقی " با این جملات آغاز می شود . هدف این کتاب بررسی این سئوال مهم است که آیا می توان زبان طبیعی را صورتبندی منطقی کرد ؟ و در صورت وجود چنین امکانی مشکلات این صوری سازی چیست ؟

در فصل ۱ به این می پردازد که منظور از " اعتبار " در منطق چیست و اینکه چرا منطقدانان " اعتبار " را مرتبط با زبانهای صوری - زبانهایی که هیچ کس با آنها صحبت نمی کند - بررسی می کنند .

فصول  ۲ تا ۵ به موانع و امکانات صوری سازی زبان طبیعی به زبان منطق گزاره ای و سپس منطق محمولات مرتبه اول و منطق موجهات می پردازد .

فصل ۶ شامل یک سلسله بحثهای فلسفی درباره صورت منطقی جملات  دامنه کاربرد منطق و چیستی ثوابت منطقی است .

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

نویسنده این کتاب Mark Sainsbury است و انتشارات Blackwell آن را در سال 2001چاپ کرده است .

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

یک سئوال برای بچه هایی که منطق 1 را می گذارنند: تفاوت این نگرش با نگرشی که در منطقهای نرمال همانگونه که به طور مثال در کتاب دکتر نبوی دیده می شود چیست ؟