You are viewing a single comment's thread.

view the rest of the comments →

0
2

[–] Antiracist4 0 points 2 points (+2|-0) ago 

C = some thing is Changed

A = changed by Another

~I = an Infinite regress of changed changers is impossible

U = there is an Unchanged changer

P1: C. (There exists some thing that is changed.)

P2: C→A. (If some thing changes, then that thing is changed by another.)

P3: A→(IvU). (If a thing is changed by another, then either there is an infinite regress of changed changers or there is an unchanged changer.)

P4: ~I. (An infinite regress of changed changers is impossible.)

T1: A. (By P1, P2, Modus Ponens.)

T2: IvU. (By P3, T1, Modus Ponens.)

T3: U. (By P4, T2, Disjunctive Syllogism.)

There is an unchanged changer.

@SarMegahhikkitha @bojangles @eagleshigh