Mirqat

Mirqat (Mantiq) Introduction and authorship The title conveys the idea of steps or ascent, an appropriate image for a book intended to improve the learner's capacity for orderly reasoning. Its concern is not the historical narrative of philosophy but the analysis of concepts, judgments and the relations through which one proposition supports another. Mirqat is a traditional text in logic associated with the nineteenth-century scholar Maulana Fazl-e-Imam Khairabadi, whose name is preserved in bibliographic records of the work and its Persian commentary. It was read within the South Asian tradition of logical and philosophical education, where students moved from elementary definitions toward more exact analysis of propositions and inference. What the book teaches Students encounter core logical distinctions between concept and judgment, the classification of universal terms, and the requirements of proper definition. They study the ways that a term can include or exclude other terms, and how these relations affect the accuracy of a descriptive statement. Later reasoning exercises require attention to the form of propositions, their quantity and quality, opposition or conversion and the conditions under which an inference is valid. In traditional syllogistic logic, a conclusion cannot be assumed merely because two premises contain similar vocabulary. The relation of the middle term and the structure of the argument matter. Studying these relationships helps students test why a proposed proof succeeds or fails. The text's compressed style can make this difficult without illustrative examples and repeated analysis. Although Mantiq is a formal discipline, its terms often occur in advanced discussions of Kalam and Usul. The important skill is to use the distinctions responsibly, without turning logical labels into substitutes for evidence or confusing technical usage with ordinary language. Academic importance Mirqat is better suited to learners who have already met the elementary terms of logic. It trains precision in definitions, propositions and valid reasoning. Its place in the curriculum is as a preparation for denser treatments of traditional logic and related theological or philosophical arguments, not as an encyclopaedia of every branch of philosophy. How to approach the text A productive method is to begin each topic by identifying its principal definition, the particular question it answers and the limits of its application. Technical terms should be understood in their own setting, and the examples should be analysed rather than memorised without explanation. Related rules need to be compared carefully, especially where an exception or a condition changes the result. Readers should distinguish the exact position of the text from the additional clarification offered by a teacher or a modern learning resource. Learning through AALIM Study AALIM Study presents Mirqat (Mantiq) through guided bilingual explanations and structured learning. The aim is to make the underlying argument, classification or procedure intelligible to students, not merely to reproduce its wording. The lessons are best used alongside the original text, appropriate reference works and the guidance of qualified teachers. Further reading: key distinctions and examples Mirqat is most useful when its compressed definitions are treated as tools for analysis rather than formulas to recite. A student encountering a proposed definition should examine whether it includes everything intended and excludes what does not belong. This is the familiar concern with a definition that is neither too broad nor too narrow. Counterexamples are often the quickest way to discover where an apparently elegant formulation is incomplete. The same discipline applies to propositions and syllogisms. The truth of a premise and the form of an inference are separate questions. Before drawing a conclusion, the learner should identify what is being affirmed or denied, whether the proposition is universal or particular and how the middle term connects the premises. A pattern that looks persuasive in ordinary speech can fail when written in an explicit logical form. The educational value of Mirqat is precisely this training: it teaches students to slow down, reconstruct the actual argument and examine the relationship between its terms before accepting or rejecting its conclusion. Conclusion This work rewards deliberate study. Its enduring value is found in the discipline of learning terms accurately, understanding the relationships between different principles and applying those principles to relevant passages or cases. A careful reading builds both subject knowledge and the analytical habits needed for more advanced Islamic scholarship. Study Mirqat through focused bilingual lessons and quizzes on AALIM Study.

• Knowledge, Conception, Assent and Their Divisions

  Five senses of knowledge; predication; philosophers and al-Razi on assent; immediate and inferential cognition

• Nazar, the Movements of Thought, and the Need for Logic

  Arranging known matters, the original inference, two movements of thought, correct and flawed reasoning, and logic as a balance

• Names, Definition, Subject Matter, and Aim of Logic

  Manṭiq, balance and instrument; outward/inward speech; codification; proper attributes; and the transition to signification

• Six Kinds of Signification and the Three Modes of Verbal Convention

  Signs and meanings; convention, nature and reason; complete, component and implicative signification

• Simple and Compound Expressions: Terms and Their Semantic Divisions

  Simple and compound signification; noun, verb and particle; single and multiple meanings; univocal, graded, homonymous, transferred, literal and figurative usage

• Concepts: Particular and Universal, and Six Cases of Universals

  Concept and referent; the exact criteria of particularity and universality; six existence-based cases, objections and worked examples

• Four Relations Between Universals and Relative Particularity

  Equality, disjointness, inclusion and partial overlap; source examples, rigorous classification and real versus relative particularity

• The Five Predicables: Genus, Species and Hierarchy of Genera

  Exact source definitions, answers to what-is-it questions, real and relative species, their partial overlap, and lower, middle and highest genera

• Highest Genera and the Ten Categories

  Substance and accident, nine accidental categories, subdivisions of quantity and quality, and detailed comparisons of relation, place, time, position, possession, action and passion

• The Five Predicables: Differentia, Property, Common Accident, Essential and Accidental Attributes

  Proximate and remote differentiae, constitutive and dividing roles, property and common accident, intrinsic and extrinsic predicables, necessary and separable accidents

• Definition and Its Four Forms: Complete/Incomplete Essential and Descriptive Definitions

  Printed pp. 42–43: the aim of definition, genus, differentia and property, the inadequacy of a common accident, and real versus verbal definition

• Chapter Two: Propositions, Categorical and Conditional Forms, and Their Parts

  Printed pp. 44–46: truth-aptness, affirmative and negative categoricals, subject/predicate/copula, and antecedent/consequent

• Categorical Propositions: Singular, Natural, Quantified and Indefinite Forms

  Printed pp. 46–48: classification by subject, the four quantified forms and quantifier expressions

• Predication, Types of Categorical Proposition and Negated Terms

  Printed pp. 49–51: predication, direct/derivative predication, external/mental/real propositions and term-negation

• Modal Propositions: The Eight Simple Modalities

  Printed pp. 52–54: modality, necessity, permanence, descriptive and temporal qualification, actuality and general possibility

• The Seven Compound Modalities and the Negations of Permanence and Necessity

  Printed pp. 55–57: composite modalities, special conditional and customary propositions, existential and temporal forms, and special possibility

• Conditional Propositions: Connectives, Disjunctions and Their Main Kinds

  Printed pp. 57–59: antecedent and consequent, necessary and coincidental connection, and the three disjunctive forms

• Further Conditional Divisions, Quantification and Conditional Quantifiers

  Printed pp. 60–62: essential and coincidental disjunction; singular, quantified and indefinite conditionals; their logical quantifiers

• The Two Sides of Conditionals: Composite Antecedents and Consequents

  Printed pp. 62–63: status of judgments within conditional components; nine connected and six disjunctive structural configurations

• Contradiction: Definition, Conditions and Application to Propositions

  Printed pp. 63–67: eight conditions of contradiction and contraries of quantified, modal and conditional judgments

• Simple Conversion: Definition, Categorical Rules and Reductio

  Printed pp. 67–69: preservation of truth and quality, four conversion rules and compound predicates

• Contraposition: Classical Rules, Validity and the Later Convention

  Printed pp. 70–71: complementary terms, categorical rules, and early versus later contraposition

• Proof: Syllogism, Induction, Analogy and the Four Figures

  Printed pp. 71–74: three modes of argument, conjunctive and exceptional syllogisms, terms, premises and figures

• The First Figure: Conditions of Validity and Four Productive Moods

  Printed pp. 74–76: affirmative minor, universal major, sixteen combinations and four valid moods

• The Second Figure: Conditions of Validity and Four Productive Moods

  Printed pp. 76–78: the middle term, opposite qualities, universal major, conversion and reductio

• The Third Figure: Conditions and Six Productive Moods

  Printed pp. 78–79: middle term as subject, conditions of validity, six moods and proofs

• The Fourth Figure: Productive Conditions, Moods and Proofs

  Printed pp. 79–80: fourth-figure arrangement, two conditions, eight tabulated cases and logical analysis

• Conjunctive Syllogisms with Conditional Propositions

  Printed pp. 80–81: figures of conditional syllogisms, connected/disjunctive examples and categorical–conditional combinations

• Exceptive Syllogism: Valid Inferences from Connected and Disjunctive Conditionals

  Printed pp. 81–82: exceptive syllogisms, affirming the antecedent, denying the consequent, and three kinds of disjunction

• Induction: Complete and Incomplete Enumeration, Certainty and Probability

  Printed pp. 82–83: induction from particulars, complete and incomplete enumeration, traditional examples, certainty and prevailing probability

• Analogy: Original and New Cases, Common Cause, Co-variation and Elimination

  Printed pp. 83–84: analogy, investigating the common cause, co-variation and elimination of alternatives

• Qiyās al-Khalf: Compound Reductio, Impossibility and Proof of the Claim

  Printed pp. 84–85: reductio, its two syllogisms, contradictories and the worked source example

• Demonstration and the Six Kinds of Certain Premises

  Printed pp. 87–91: first principles, innate inferences, intuitions, observations, experience, and mass reports

• Demonstration Through Causes and Effects: Limmī and Innī

  Printed p. 92: the middle term as a cause in inference and reality, source examples and worked analysis

• Dialectical Syllogism: Commonly Accepted and Conceded Premises

  Printed pp. 93–94: the nature of dialectical premises, communal acceptance, concession and disputational purpose

• Rhetorical Syllogism: Accepted, Probable Premises and Persuasion

  Printed pp. 94–95: definition of rhetoric, kinds of premises, degrees of confidence, audience and persuasion

• Poetic Syllogism: Imagined Premises and Emotional Influence

  Printed pp. 95–97: poetic syllogism, kinds of imaginative premises, emotional response, metaphor, simile and source examples

• Sophistical Syllogism: Illusory Premises, Deceptive Resemblances and Fallacies

  Printed pp. 97–98: sophistical reasoning, illusory and deceptive premises, sophistry and wrangling, and faults of form and matter

• Causes of Error: Misunderstanding and Verbal Ambiguities

  Printed pp. 98–101: poor understanding, falsehood mistaken for truth, equivocation, inflection, pointing, vowels and structural ambiguities

• Semantic Fallacies: Defects of Matter, Form, and Predication

  Printed pp. 101–104: material and formal errors, begging the question, accidental predication, middle terms, restrictions, and negation scope

• Remaining Semantic Fallacies: Mental Concepts, Similarity, and Famous Paradoxes

  Printed pp. 104–109: mental versus external existence, images, causes, analogy, privation, knowing the unknown, and paradoxes of negation

• The Conclusion: Subject, Principles, Problems, and Eight Introductory Headings

  Printed pp. 110–114: the three components of a science, classes of principles, eight opening headings, four instructional methods, and conclusion