22 May 2025

Nyāya Inference, Motion, and Physical Causation

Nyāya means of knowledge and the Vaiśeṣika classification and causal analysis of motion.

bsc semester-iv mj-5 indian-knowledge-system nyaya kanada motion causation

Nyāya supplies an epistemology and a discipline of inference that later became closely joined to Vaiśeṣika ontology. It asks not only what exists, but what makes a cognition warranted.

Means of valid cognition

Classical Nyāya recognizes four pramāṇas:

perception (pratyakṣa): cognition arising through an appropriate sense-object relation;
inference (anumāna): knowledge of an unobserved fact from a reliable sign;
comparison (upamāna): learning a referent through a known similarity;
testimony (śabda): a competent speaker’s trustworthy statement.

Inference requires more than two events occurring together. The reason or sign (hetu) must be pervaded by what is to be established through an invariant relation (vyāpti), and apparent counterexamples must be excluded. Observation supplies the cases from which that relation is warranted; reasoning applies it to the case at hand.

The familiar five-member presentation is

proposition (pratijñā),
reason (hetu),
example expressing the universal relation (udāharaṇa),
application to the present case (upanaya), and
conclusion (nigamana).

What makes the inference work

Let $H(x)$ denote possession of the sign and $S(x)$ the property to be established. A compact modern representation is

\[H(a),\qquad \forall x\,[H(x)\Rightarrow S(x)]\qquad \Longrightarrow\qquad S(a).\]

The notation exposes two distinct requirements recognized in Nyāya: the sign must occur in the subject (pakṣadharmatā), and the sign must be pervaded by the target (vyāpti). Positive corroborating cases (sapakṣa) and negative cases (vipakṣa) test the proposed pervasion. A hidden condition (upādhi) can defeat it: “wherever there is smoke there is fire” needs the relevant meaning of smoke, whereas mist merely resembling smoke is a defective sign. Thus the five members organize a warranted inference; they cannot make an unreliable generalization true.

A modern physical application of the form

Suppose a cart’s momentum is measured before and after a short interval and $\Delta\mathbf p\ne0$. Modern mechanics defines the impulse of the net external force by

\[\mathbf J=\int_{t_1}^{t_2}\mathbf F_{\rm ext}\,dt=\Delta\mathbf p.\]

The second equality follows directly from $\mathbf F_{\rm ext}=d\mathbf p/dt$:

\[\int_{t_1}^{t_2}\mathbf F_{\rm ext}\,dt =\int_{t_1}^{t_2}\frac{d\mathbf p}{dt}\,dt =\mathbf p_2-\mathbf p_1.\]

A Nyāya-style presentation may state: the cart received nonzero external impulse; its momentum changed; systems whose momentum changes receive net external impulse under the stated boundary conditions; this measured cart has such a change; therefore the cart received nonzero external impulse.

This is a modern classroom use of the inferential form, not a claim that a Nyāya text formulated the impulse-momentum theorem. Its value is that it makes the observation, general rule, boundary conditions and conclusion explicit.

Kaṇāda’s classification of motion

Vaiśeṣika treats karma as a real category belonging to a substance. The standard fivefold classification is

\[\text{upward motion},\quad \text{downward motion},\quad \text{contraction},\quad \text{expansion},\quad \text{general locomotion}.\]

Motion changes conjunction and disjunction: a moving stone ceases to be conjoined with one region and becomes conjoined with another. Qualities such as colour do not perform this role. The classification is kinematic and ontological; it is not a vector decomposition or a set of equations of motion.

Three causal roles

The developed Nyāya-Vaiśeṣika account distinguishes:

an inherent or material cause (samavāyi-kāraṇa), such as threads of a cloth;
a non-inherent cause (asamavāyi-kāraṇa), such as the conjunction of those threads or a quality inherited through them; and
an efficient cause (nimitta-kāraṇa), such as the weaving operation.

For a physical event this scheme prevents the word “cause” from hiding different roles. The material system, its configuration and the initiating process are not the same explanatory item. Modern science adds controlled measurement, mathematical laws, uncertainty estimates and reproducibility, but the Nyāya demand that a reason be relevant and free of counterexample remains a useful logical discipline.

Solved Problems

1. Build a five-member impulse inference

A $2.0\ \mathrm{kg}$ cart changes velocity from $1.0$ to $4.0\ \mathrm{m\,s^{-1}}$ in $2.0\ \mathrm{s}$. Its momentum change is

\[\Delta p=m(v_f-v_i)=2(4-1)=6\ \mathrm{kg\,m\,s^{-1}},\]

so $J=6\ \mathrm{N\,s}$ and $F_{\rm av}=J/\Delta t=3\ \mathrm{N}$. The five members are: (1) the cart received a nonzero net impulse; (2) because its momentum changed; (3) under the stated system boundary, every measured momentum change equals net external impulse; (4) this cart has such a change; (5) therefore it received nonzero net impulse. The numerical result supports the sign used in the argument.

2. Diagnose a defective reason

Argument: “The road is wet; every wet road has received rain; therefore it rained.” The sign is present in the subject, but the proposed vyāpti fails because a sprinkler or water leak is a counterexample. Wetness is therefore an inconclusive reason unless independent evidence excludes those conditions. The conclusion may happen to be true, but this reason does not warrant it.

3. Separate three causal roles

For a woven blue cloth, the threads are the inherent or material cause; the conjunction and colour of the threads are non-inherent causes of the cloth’s arrangement and colour; and the loom operation performed by the weaver is an efficient cause. The scheme answers three different questions—”from what?”, “through what configuration or inherited determination?”, and “by what producing operation?”—rather than treating all antecedents as equivalent causes.

Descriptive Questions

Explain the roles of pakṣadharmatā, vyāpti, sapakṣa and vipakṣa in a warranted inference.
Why is the impulse example a modern application of Nyāya form rather than evidence of an ancient impulse theorem?
Compare karma as an ontological category with velocity and acceleration in mathematical mechanics.
Distinguish samavāyi, asamavāyi and nimitta causes using one original physical example.

Numerical Problems

In 80 observed cases where a proposed sign $H$ is present, the target $S$ is present in 76. Find the supporting proportion and the number of counterexamples. Does the finite dataset establish exceptionless vyāpti?

Final answer: $76/80=95\%$ support and $4$ counterexamples; no, the counterexamples defeat exceptionless pervasion.
A particle has $x(t)=2t^3-3t^2+4t\ \mathrm{m}$. Find its velocity and acceleration at $t=2.0\ \mathrm{s}$.

Final answer: $v(2)=16\ \mathrm{m\,s^{-1}}$, $a(2)=18\ \mathrm{m\,s^{-2}}$.
Independent positions are $x_1=(1.20\pm0.02)\ \mathrm{m}$ and $x_2=(7.80\pm0.03)\ \mathrm{m}$, separated by an exact $3.00\ \mathrm{s}$. Find the average velocity and its standard uncertainty by root-sum-square propagation.

Final answer: $\bar v=(2.200\pm0.012)\ \mathrm{m\,s^{-1}}$.

The inference arithmetic, motion derivatives and uncertainty propagation are checked in the Maxima worksheet.