<?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>2383-0662</Issn>
				<Volume>16</Volume>
				<Issue>2</Issue>
				<PubDate PubStatus="epublish">
					<Year>2026</Year>
					<Month>05</Month>
					<Day>22</Day>
				</PubDate>
			</Journal>
<ArticleTitle>Complemented Subject Conversion; The Missing Variation Of Conversion In Immediate Inferring</ArticleTitle>
<VernacularTitle>عکس نقیض موضوع؛ حلقه گمشده در استدلال مباشر به طریق عکس</VernacularTitle>
			<FirstPage></FirstPage>
			<LastPage></LastPage>
			<ELocationID EIdType="pii">12020</ELocationID>
			
<ELocationID EIdType="doi">10.30465/lsj.2026.54103.1521</ELocationID>
			
			<Language>FA</Language>
<AuthorList>
<Author>
					<FirstName>صادق</FirstName>
					<LastName>زرین مهر</LastName>
<Affiliation>حوزه علمیه امیرالمؤمنین علیه السلام لویزان تهران</Affiliation>
<Identifier Source="ORCID">0009-0005-6123-2002</Identifier>

</Author>
</AuthorList>
				<PublicationType>Journal Article</PublicationType>
			<History>
				<PubDate PubStatus="received">
					<Year>2026</Year>
					<Month>01</Month>
					<Day>29</Day>
				</PubDate>
			</History>
		<Abstract>One of the methods of immediate inference in logic is the conversion. Logicians have identified three types of conversion: conversion, obverted contraposition, and contraposition. The present study, by means of a dichotomous division demonstrates that a further valid and new type of conversion can be posited which has been overlooked by logicians. In this newly identified form, after the conversion of subject and predicate, only the subject is complemented, in such a way that, assuming the truth of the original proposition, the converted proposition is likewise true. This study names this newly identified type “complemented subject conversion” and establishes its logical variations due to the various forms of categorical propositions, whether predicative or conditional. Accordingly, the complemented subject conversion of affirmative propositions (both universal and particular) yields a particular negative proposition, while in the case of a universal negative proposition, it’s a universal affirmative proposition. Particular negative propositions have no valid complemented subject conversion. By employing this innovative type of conversion, a greater number of true propositions can be inferred and derived from a given true proposition, which endows it with a logical value comparable to that of the other recognized types of conversion.</Abstract>
			<OtherAbstract Language="FA">یکی از طرق استدلال به شیوه مباشر در علم منطق، روش «عکس» است. منطق‌دانان مجموعاً سه قسم «عکس مستوی»، «عکس نقیض موافق» و «عکس نقیض مخالف» را برای شیوه‌های مختلف این استدلال بیان‌ کرده‌اند. پژوهش حاضر با یک تقسیم ثنائی و حصر عقلی نشان داده است که یک قسم جدید و معتبر دیگر می‌توان از استدلال به شیوه عکس فرض نمود که مورد غفلت منطقیون قرار گرفته است. در این شکل جدید، پس از جابه‌جایی موضوع و محمول، تنها موضوع نقیض می‌شود به گونه‌ای که بر فرض صدق قضیه اصل، قضیه عکس نیز صادق باشد. پژوهش فعلی، این قسم جدید را «عکس نقیض موضوع» نامیده است و احکام آن را در اقسام قضایای محصوره برای مطلق قضایا(حملیه یا شرطیه) اثبات نموده است؛ بدین شکل که عکس نقیض موضوع برای قضایای موجبه(کلیه یا جزئیه)، سالبه جزئیه، و برای قضیه سالبه کلیه، موجبه کلیه است. سالبه جزئیه نیز عکس نقیض موضوع معتبر ندارد. با استفاده از این قسم نوآورانه می‌توان قضایای صادق بیش‌تری را از یک قضیه صادق استنباط و استخراج نمود که ارزشی همسنگ سایر اقسام عکس به آن می‌بخشد.</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>
		</ObjectList>
</Article>
</ArticleSet>
