مؤسسه آموزشی و پژوهشی امام خمینی(ره) معرفت فلسفی 1735-4545 7 5 2010 06 24 قضیه خارجیه در منطق حذف این‏همانى و منطق مرتبه دوم هنکین 39 56 199 FA اسدالله فلاحی استاد - مؤسسه پژوهشی حکمت و فلسفه ایران 0000-0002-1878-8866 Journal Article 2009 10 07 The author of the article has already analyzed Objective and verity propositions (القضایا الحقیقیة) within the framework of modern logic. In one of them, he uses modern modal logic for formalizing verity propositions, and in the second one, he uses the undefined predicate of existence for formulating objective propositions. The second article introduced some definitions for existence in identity logic and in second-order logic, but was unable to use such definitions in its analysis of the objective propositions. In this article, basic flaws in identity logic as well as second-order logic in the analysis of objective propositions are shown, and a weaker logic, called “the logic of the omission of identity” is suggested which is believed to be able to express objective propositions. Furthermore, a weaker logic, compared to the standard second-order logic, called “second-order logic of Henkin” is employed, and its ability to formulate objective propositions is demonstrated. It argues for the idea that logic of Henkin is congruent with primary intelligibles, while standard logic is harmonious with secondary intelligibles. <p>نگارنده پیش از این در دو مقاله به تحلیل قضایاى حقیقیه و خارجیه به کمک منطق جدید پرداخته بود که یکى منطق موجّهات جدید را براى صورت‏بندى قضایاى حقیقیه، و دیگرى محمول تعریف ناشده وجود را براى فرمول‏بندى قضایاى خارجیه به کار گرفته است. مقاله دوم، تعریف‏هایى از وجود در منطق این‏همانى و منطق مرتبه دوم ارائه کرده است، امّا نتوانسته از این تعریف‏ها در تحلیل قضایاى خارجیه کمک بگیرد. در این مقاله، با نشان دادن ضعف‏هاى بنیادین منطق این‏همانى و منطق مرتبه دوم در تحلیل قضایاى خارجیه و با نشان دادن تعارض اصل این‏همانى با قاعده فرعیه، منطقى ضعیف‏تر از منطق این‏همانى به نام «منطق حذف این‏همانى» را طراحى کرده‏ایم که به خوبى توان بیان قضایاى خارجیه را دارد. همچنین، منطق ضعیف‏ترى نسبت به منطق مرتبه دوم استاندارد را، که به نام «منطق مرتبه دوم هنکین» شناخته مى‏شود، به خدمت گرفته و نشان داده‏ایم که این منطق، برخلاف منطق مرتبه دومِ استاندارد، مى‏تواند قضایاى خارجیه را به خوبى صورت‏بندى کند. در ضمن، نشان داده‏ایم که منطق هنکین با مفاهیم ماهوى و معقولات اولى، و منطق استاندارد با مفاهیم انتزاعى و معقولات ثانیه تناسب دارد.</p> https://marefatfalsafi.nashriyat.ir/sites/marefatfalsafi.nashriyat.ir/files/article-files/2_1.pdf