<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE ArticleSet PUBLIC "-//NLM//DTD PubMed 2.7//EN" "https://dtd.nlm.nih.gov/ncbi/pubmed/in/PubMed.dtd">
<ArticleSet>
<Article>
<Journal>
				<PublisherName>مؤسسه انتشارات دانشگاه تهران</PublisherName>
				<JournalTitle>تاریخ علم</JournalTitle>
				<Issn>1735-0573</Issn>
				<Volume>20</Volume>
				<Issue>2</Issue>
				<PubDate PubStatus="epublish">
					<Year>2023</Year>
					<Month>02</Month>
					<Day>20</Day>
				</PubDate>
			</Journal>
<ArticleTitle>Mixed Ḥaqīqī-Khārijī Syllogisms: The Sterile Moods and their Counter-Examples</ArticleTitle>
<VernacularTitle>اختلاط حقیقیه و خارجیه: ضرب‌های عقیم و مثال‌های نقض</VernacularTitle>
			<FirstPage>133</FirstPage>
			<LastPage>151</LastPage>
			<ELocationID EIdType="pii">93221</ELocationID>
			
<ELocationID EIdType="doi">10.22059/jihs.2023.359282.371737</ELocationID>
			
			<Language>FA</Language>
<AuthorList>
<Author>
					<FirstName>اسدالله</FirstName>
					<LastName>فلاحی</LastName>
<Affiliation>استاد موسسه پژوهشی حکمت و فلسفه ایران</Affiliation>

</Author>
</AuthorList>
				<PublicationType>Journal Article</PublicationType>
			<History>
				<PubDate PubStatus="received">
					<Year>2023</Year>
					<Month>05</Month>
					<Day>15</Day>
				</PubDate>
			</History>
		<Abstract>In another article, we discussed the productive moods and the conclusions of mixed ḥaqīqī-khārijī syllogisms and proved each of them. In this article, however, we aim to comprehensively examine the sterile moods and unprovable conclusions, and demonstrate their sterility and unprovability through suitable counterexamples. By doing so, we will achieve the desired goal of Shams al-Dīn Samarqandī&#039;s research program, which began in his books &lt;em&gt;Qisṭās al-afkār&lt;/em&gt; and its self-commentary &lt;em&gt;Sharḥ al-Qisṭās&lt;/em&gt;, but which was left unfinished without reaching a final conclusion and which, surprisingly, has not been pursued by subsequent logicians. We then compare the set of the productive/sterile moods-mixes as well as provable/unprovable conclusions, and, we extract some general and specific results deductively. This research has also raised a plethora of open questions, some of which are summarized at the end of the article in the hope that their difficulties will be resolved and their answers will be found with the help of other scholars</Abstract>
			<OtherAbstract Language="FA">در مقالۀ دیگری ضرب‌های منتج و نتایج اختلاط حقیقیه و خارجیه را مورد بحث قرار داده و برای تک تک ضرب‌های منتج برهان آوردیم. در این مقاله اما می‌خواهیم ضرب‌های عقیم و نتایج غیر قابل اثبات را به صورت جامع بررسی کنیم و با ارائۀ مثال‌های نقض مناسب، عقیم بودن آن ضرب‌ها و غیر قابل اثبات بودن آن نتایج را نشان دهیم. با این کار، برنامۀ پژوهشی شمس‌الدین سمرقندی به سرانجام مطلوب خود می‌رسد، برنامه‌ای که در دو کتاب &lt;em&gt;قسطاس الأفکار&lt;/em&gt; و &lt;em&gt;شرح القسطاس&lt;/em&gt; آغاز و بدون رسیدن به نتیجۀ نهایی رها شده و با شگفتی تمام، از سوی منطق‌دانان بعدی پی‌گیری نشده بود. در ادامه، مجموعۀ ضرب‌ها و اختلاط‌های منتج و عقیم و نیز نتایج قابل اثبات و غیر قابل اثبات را مقایسه کرده و با استقرای آنها به استخراج برخی احکام کلی و جزئی آنها می‌پردازیم. این پژوهش هم‌چنین به انبوهی از سؤال‌های باز دامن زده است که چکیده‌ای از آنها را در پایان مقاله آورده‌ایم به امید آن که به یاری اندیشمندان دیگر دشواری‌های آنها فروگشاده شده و پاسخ‌های آنها به دست آید</OtherAbstract>
		<ObjectList>
			<Object Type="keyword">
			<Param Name="value">اختلاط</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">حقیقیه</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">خارجیه</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">شمس‌الدین سمرقندی</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">ضرب</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">عقیم</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">منتج</Param>
			</Object>
		</ObjectList>
<ArchiveCopySource DocType="pdf">https://jihs.ut.ac.ir/article_93221_6ba427dc569010e330dfcdb142b4886c.pdf</ArchiveCopySource>
</Article>
</ArticleSet>
