@article {
author = {parvazmanesh, behzad},
title = {معیار نَرم و کاربست آن در گسترش جدول قضایای متصادق و متکاذب},
journal = {معارف منطقی 19 ، پاییز و زمستان 1402},
volume = {10},
number = {2},
pages = {25-45},
year  = {2023},
publisher = {Imam Khomeini Educational and Research Institute},
issn = {2383-1774},
eissn = {2981-1716},
doi = {10.22034/manteghi.2025.5001357},
abstract = {Scientific sets, as much as possible, should be efficient and well-constructed in addition to having the necessary accuracy and coherence. These components are respectively hard (correctness) and soft (perfection) components. Among the soft features of these collections are simplicity, clarity, proportion and balance, correspondence, reciprocating, transitivity, symmetry and self-construction. The science of logic as a basic and applied science has an influence on many theoretical knowledges. Among the important and practical tables in the confirmations section of Aristotelian- Avicennian logic, table of the relation of quantified propositions is the base of the direct proofs. In this research, first, this table is evaluated by the mentioned criteria and defects are detected. then while analyzing and finding the origin of defects, through the soft criteria, the necessary proposal to solve it by introducing a new row in the table, "New opposite contraposition", through the properties of this table and Direct proofs, the defect is eliminated. At the end, the degree of achievement of the goal is evaluated through the components of aforementioned criteria. All the steps are descriptive-logical. the result is that by introducing the mentioned rows, the efficiency and payment of first table is increased and the table of co-false propositions was also successfully defined, proved and evaluated. All steps are descriptive-logical, and proved that by applying soft criteria, their effectiveness in completing or forming the tables was proven.},
keywords = {Soft criterias, table of the quantified propositions, New adverse contradictory reverse, table of co-false propositions, Proof of the Original, },
title_fa = {معیار نَرم و کاربست آن در گسترش جدول قضایای متصادق و متکاذب},
abstract_fa ={مجموعه‌های علمی حتی الامکان باید افزون بر صحت و انسجام، مجموعه¬هایی کارآمد و خوش¬ساخت و پرداخت باشند. این مؤلفه¬ها به ترتیب مؤلفه¬های سخت (صحت) و نرم (کمال) هستند. از جمله ویژگی¬های نرم این مجموعه¬ها سادگی و وضوح، تناسب و توازن، تناظر، دوسویگی، تقارن، تراگذری و خودتولیدگری است. از جمله مجموعه¬های مهم تصدیقات منطق قدیم، جدول نسب محصورات است که زیرساخت براهین حملی مستقیم است. دراین پژوهش ابتدا این جدول توسط معیارهای مزبور ارزیابی و تشخیص نقص می¬شود. در مرحله بعد ضمن تحلیل و منشأیابی این نقص، براساس معیارهای نرم پیشنهاد لازم جهت رفع با معرفی ردیف تازه¬ای در جدول با عنوان «عکس نقیض مخالف جدید» صورت گرفته و از طریق خواص خود این جدول و ترکیب¬های مختلف برهان تحویل اصل که نوعی برهان مستقیم ترکیبی است، رفع نقص می¬شود. در انتها میزان دستیابی به هدف از طریق شاخص¬های معیار مزبور مجدداً ارزیابی می¬شود. به شیوه مشابه جدول قضایای متکاذب (متلازم در کذب) نیز به طور کامل طراحی و با روش تحویل اصل تشکیل و با معیارهای نرم ارزیابی می¬شود. کلیه مراحل به روش توصیفی – منطقی بوده و نتیجه آن است که با تعریف و کاربرد معیارهای نرم کارایی آنها در تکمیل یا تشکیل کامل جداول مذکور به اثبات رسید.},
keywords_fa = {معیار نرم ,جدول نسب محصورات ,عکس نقیض مخالف جدید ,جدول متکاذب¬ها ,برهان تحویل اصل ,},
url = {https://manteghi.nashriyat.ir//node/5001357},
eprint = {https://manteghi.nashriyat.ir/sites/manteghi.nashriyat.ir/files/article-files/5001357-1782118052.pdf}
}