القياس: هو رد الفرع إِلَى أصل بعلة جامعة بينهما (١).
وهذا حد القياس فِي الأصل من حيث الجملة.
وقد حدوه بعبارات مختلفة والمعنى متَّفقٌ. وهو يبنى على: أصل، وفرع، وعلة، وحكم.
فالأصل: ما يثبت به حكم غيره (٢).
والفرع: ما يثبت حكمه بغيره (٣)، وهو الذي يثبت بالعلة حكمه، وذلك المختلف فِيه، وليس من شرطه أن يشابهه الأصل من جميع صفاته؛ لأنه لو كَانَ كذلك لكان هو هو، أَوْ هو بعضه.