The order of the Symmetry Group of Platonic Solids From Paolo Aluffi's "Algebra: Chapter 0", question II.2.8:

Calculate the order of the symmetry groups for platonic solids.

I can easily look this up, and some tutorials give the actual groups outright, but I still don't understand how they get the answer. Specifically, I do not know how to avoid double-counting and also how to make sure I'm covering ALL the symmetries. I'm stuck, and this is what I've tried.
As an example, we could look at the tetrahedron. I know ahead of time that the answer is $24$, and before looking at the answer I can already give that as an upper-bound since it has four vertices and its potential vertex permutations are a subgroup of $S_4$.
"Okay, $3$ rotations on $4$ vertices is $12$ rotations total, times $2$ for reflection is $24$... but that doesn't seem right, some of those rotations are identity. Do I multiply the vertex rotations together? That gives me $3^4 = 81$, which is obviously wrong! Can vertex rotations provide the same symmetries as reflection? They can't do that in the Dihedral groups..." And so on. Plus, I don't get as nice an upper-bound for the rest of the platonic solids.
This is for self-study. My goal isn't the answer, but the method. I'm specifically looking for the order of the group, not the group itself. Please make sure the explanations use math that an undergraduate student would be comfortable with, because I think that's my level wrt Algebra.
 A: Let $\mathcal{P}$ be a polyhedron, $G$ be its isometry group and $G^+$ be the subgroup of direct isometries (determinant $1$).


*

*First point the determinant map  $\det: G\to \mathbb{C}^*$ has image either $\{1\}$ or $\{\pm 1\}$ and its kernel is $G^+$ by definition. As a result, the index of $G^+$ inside $G$ is either $1$ or $2$. Remark that it suffices to exhibit one element in $G$ not in $G^+$ to justify that the index $G^+$ inside $G$ is $2$.

*In all the cases you are interested in, there is always a reflexion plane so that $G\neq G^+$ and therefore the index $G^+$ inside $G$ is $2$. In particular $|G|=2|G^+|$. So we have now reduced the problem of counting the isometries of $\mathcal{P}$ to counting the direct isometries. 

*What is nice about (non-trivial) direct isometries is that they are completely and uniquely determined by an axis of rotation and an angle of rotation around this axis. 

*Therefore to count the number of direct isometries it suffices to count the number of axes and what are the admissible angles around each of them. 

*if $g$ is a non-trivial element of $G^+$, I claim that the axis of $g$ must either go through the middle of a face, the middle of an edge or a vertex of the polyhedron.

*Now we have everything we need to make the counting: you consider all possible spots to have an axe going through and count the number of non-trivial rotations around this axis. 
For the tetrahedron, an axis going through a vertex and the center of gravity of the tetrahedron must go to the opposite face, you have $4$ such axes (basically because you have four vertices). Around each axe you have three edges so you can just rotate of angle $2\pi/3$ or $-2\pi/3$. All in it gives you $8$ elements. Then you consider the edges, you have $6$ of them and any axe going through the middle of an edge and the center of gravity of the tetrahedron must go through the opposite edge, so that you get $3$ axes and around it you can only turn it by an angle of $\pi$, so you get $3$ rotations from there. $3+8+1$ (don't forget the trivial one) gives you $12$ elements in $G^+$ and thus $24$ elements in $G$. 
A: Let $F$ be the count of faces. Those all are $N$-gonal. Then you have for the group order $G=2NF$. (Here "$2$" is the number of vertices per edge.)
Dually you could considered $V$ to be the vertex count, all of which have $S$ edges incident. Then you have likewise $G=2SV$. (Here "$2$" is the number of faces per edge.)
More general, consider any $D$-dimensional Platonic solid. Let $F_{D-1}$ be the facet count. Denote by $N_{k-1,k}$ the amount $k-1$-dimensional sub-elements at each $k$-dimensional one. Then you will have
$G=F_{D-1}\prod\limits_{1 \le k \lt D}N_{k-1,k}$
