In Dawrah-ʼi mukhtaṣar-i manṭiq-i ṣūrī, Muḥammad Khvānsārī introduces formal logic through the vocabulary and problems of the Islamic intellectual tradition. Adapted from his two-volume Manṭiq-i ṣūrī for use as a university textbook, the book begins with the purpose of logic and the distinction between conception and assent. It then examines how words signify, how universal and particular concepts differ, and how four relations can hold between concepts. The discussion of the predicables leads to the kinds and conditions of definition. Chapters on categorical and conditional propositions explain opposition and conversion before turning to inference, including the figures of the syllogism. The closing discussion considers the matter of syllogisms and the five arts of reasoning: demonstration, dialectic, sophistry, rhetoric and poetics. The book is intended for readers beginning the study of logic and Islamic philosophy.
دورۀ مختصر منطق صوری نوشتۀ محمد خوانساری، گزیدهای از اثر دوجلدی منطق صوری اوست که برای تدریس در دانشگاه و آشنایی دانشجویان با مبانی منطق فراهم شده است. کتاب از تعریف و فایدۀ منطق و تمایز تصور و تصدیق آغاز میکند و سپس به دلالت، اقسام لفظ و رابطۀ لفظ و معنا میپردازد. در بخش تصورات، تفاوت مفهوم و مصداق و تمایز کلی و جزئی مطرح میشود و نسبتهای چهارگانۀ تساوی، تباین، عموم و خصوص مطلق و عموم و خصوص منوجه توضیح داده میشود. بحث کلیات خمس، با بررسی جنس، نوع، فصل، عرض خاص و عرض عام، زمینه را برای شناخت انواع تعریف و شرایط آن فراهم میکند. در بخش قضایا، ساختار قضیۀ حملی و شرطی و مباحثی چون تقابل و عکس بررسی میشود. سپس کتاب به حجت و استدلال میرسد و در کنار استقرا و تمثیل، صورتها و شرایط قیاس را شرح میدهد. بخش پایانی به مواد قیاس و صناعات خمس، یعنی برهان، جدل، سفسطه، خطابه و شعر، اختصاص دارد. این ترتیب به خوانندۀ تازهکار کمک میکند تا از شناخت اصطلاحات و ساختن تعریف به تحلیل قضایا و سنجش استدلال برسد و با زبان متون منطقی در سنت فلسفۀ اسلامی آشنا شود.

