جستجوي پيشرفته | کتابخانه مجازی الفبا

چکیده ندارد.

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

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

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

چکیده ندارد.

در بحث از تمایز Sense از مدلول (reference)، اگر چه بحثهائی را در زمینه معرفت‌شناسی ملاحضه می‌کنیم، اما به نظر می‌رسد انگیزه اصلی فرگه ارائه نظریه‌ای در معناداری بوده است ، هر چند بیان صریحی از این نظریه را در آثار وی ملاحضه نمی‌کنیم. فرگه فیلسوفی رئالیست بوده است و نظریه وی رد مورد Sense و مدلول نیز رئالیستی می‌باشد. Sense مستقل از زبان و ادراک کننده زبان وجود دارد، اما در قالب الفاظ بیان شده و شامل نحوه معرفی نمائی مدلول می‌باشد. لفظ از طریق بیان Senes است که میتواند بر مدلولی دلالت داشته باشد. برداشت من از نظریه فرگه آنست که معنای یک لفظ عبارتست از Sense بانضمام مدلول مربوط به آن لفظ. فرگه معتقد است تناظری بین الفاظ و Sense و مدلول آنها وجود دارد، باین معنی که متناسب با الفاظ اشباع شده و اشباع ناشده، Sense و مدلول اشباع شده و اشباع ناشده وجود دارد. بنظر می‌رسد نمی‌توان توجیه مناسبی را برای اشباع نبودن Senes محمول ارائه داد. همچنین استدلالی مکفی برای اینکه جمله مدلول داشته باشد و مدلول آن نیز یکی از مقادیر حقیقی باشد از طرف فرگه ارائه نشده است ، اما ملاحظات وی در این خصوص می‌تواند معقول باشد، زیرا بین جمله‌های خبری و اسامی خاص از جهات منطقی و زبانی مشابهت‌هائی وجود دارد، علی‌الخصوص که اسم خاص بودن جمله برای فرگه این خاصیت را داشته است که بتواند قواعد منطق محمولات درجه اول را در مورد منطق احکام اعمال کند. با برداشت مذکور از نظریه معناداری فرگه، چگونگی ارزش معرفتی جمله‌های اینهمانی نظیر "ab" (در صورتی که درست باشد و "a" و "b" اسامی خاص باشند) و نیز درستی جمله‌هائی نظیر" پگاسوس وجود ندارد" توجیه مناسبی خواهند داشت . همچنین این نظریه توجیه مناسبی را در مورد جمله‌های نظیر "پادشاه کنونی فرانسه طاس است "ارائه داده و آنها را فاقد مقدار حقیقی می‌داند بطوری که این امر ناقض قانون طرد شق ثالث نخواهد بود، زیرا این گونه جمله‌ها فاقد معنی می‌باشند در حالیکه قانون مذکور در مورد جمله‌های معنادار صادق است . نظریه فرگه در مورد Senes غیر مستقیم توجیه مناسبی را از معنای یک عبارت در متنهای گرایشی ارائه می‌دهد، اما این نظریه دیگر فرگه مبنی بر اینکه نحوه معرفی‌نمائی مدلول مندرج Senes می‌باشد و نیز این نظریه که Senes یک عبارت را میتوان عینا به زبان دیگری ترجمه کرد چندان سازگار نمی‌باشد. اشکالات در مورد نظریه فرگه در مورد Senes و مدلول اسامی خاص و جمله‌های خبری قابل دفع می‌باشد. همچنین نظر وی در مورد Senes اسم خاص در زبان طبیعی (و نه در زبان استدلالی) می‌تواند با نظریه دسته‌ای (Cluster)، بنا به تفسیر معرفت شناختی از آن، سازگار باشد.

این رساله ترجمه کتاب ‏‎"Quandaries and virtues"‎‏ اثر ادموند پینکافس است. نویسنده در این کتاب دو گونه نگاه یا دو روش دارد : 1- در بخشهای نخستین کتاب بیشتر با روش سلبی به دیدگاهها و نظریه های اخلاقی می پردازند و با نقدهای سهمگین خویش اغلب دیدگاهای اخلاقی موجود در باب معیار صواب و خطای احکام اخلاقی را به زیر چاقوی نقادی می کشاند. 2- از بخشهای میانی، نویسنده با نگاهی اثباتی به دنبال در انداختن طرحی نو در مسایل اخلاقی است. وی در فصل پنجم تعریف ابداعی خود از فضیلت را ارایه می کند. و در فصل ششم نظریه مختص به خود در باب معیار صواب و خطای اعمال اخلاقی را تبیین و اثبات می کند و نظریه خویش را فضیلت محور از نوع کمال گرایی می نامد. در دو فصل پایانی کتاب به یک بحث کاربردی تر می پردازد و در پی نیل به تعلیم و تربیت شایسته و صواب، بحثهای مفصلی طرح می کند. مترجم افزون بر ترجمه، بر هر فصل و به ویژه به دو فصل ششم و نهم، از منظر اخلاق اسلامی تعلیقاتی نگاشته است، که گاه نقد نظرگاههای نویسنده است و گاه توضیح و تبیین دیدگاههای نویسنده. همچنین مقدمه تقریبا مفصل این رساله که حاوی نگاهی کلی به فلسفه اخلاق و تاریخ اخلاق فضیلت است، حاصل تلاش مترجم است، که امید است مقبول طبع ارباب معرفت واقع افتد.

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

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

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