"Good reduction" for singular varieties A projective nonsingular variety $X$ over a number field $K$ has the notion of good reduction at places $p$ of $K$. Informally, $X$ has good reduction modulo $p$ if $X$ remains nonsingular when reduced modulo $p$. A theorem states that for all but finitely many primes we have good reduction (See Hindry and Silverman's "Diophantine Geometry: An Introduction", Proposition A.9.1.6, p.158).
Is there a similar notion of good reduction for singular varieties? 
For example, suppose I have a surface with a single singularity, I expect that for almost all primes the surface will remain "nice" when reduced modulo $p$.
 A: I think this is one of those instances when geometric intuition helps.
The (usual) geometric analogue of something defined over a number field is a variety defined over the function field of a curve (defined over a field of characteristic $0$). In this analogy good reduction corresponds to those fibers that are smooth and the theorem you're citing corresponds to the fact (in char $0$) that if the total space is smooth than there is an open subset of the base such that the fibers over that open subset are smooth.
This fact can be thought of depending on two key steps:


*

*Deformation invariance: small deformations of smooth varieties are themselves smooth. (I.e., in a fibration the locus of smooth fibers is open).

*Bertini: a general member of a basepoint-free linear system on a smooth variety is itself smooth.
(I.e., in a fibration the locus of smooth fibers is non-empty).


So, to answer your question: The reasonable definition of "good reduction" for a class of singularities seems to be something like: If $X$ has singularities of type "blah", then for almost all primes $p$, the reduction mod $p$ of $X$ has also singularities of type "blah".
Now if the singularity class "blah" satisfies the two conditions above, then in the geometric setting the analogous statement will be true: For a family of varieties with singularities of type "blah", the locus of points in the base over which the fiber also (only) has singularities of type "blah" is a non-empty open set. If this is satisfied, you have a good chance that the arithmetic version will be true as well, although you might need a different proof. 
A: Consider a family of elliptic curves with some nodal fibers, say $y^2=x(x-1)(x-\lambda)$. Base change to a base where there are two distinct sections that do not intersect the nodes, and glue the sections together. One now has a family of curves, most of which have a node singularity. Where the two sections intersect, there will be a cusp singularity, and where there was previously a node, there are now two nodes.
I think both kinds of bad fibers count as bad reduction.
My argument for the second kind is as follows: Looking at things locally in a neighborhood of the node, the other singularity is invisible, so this might as well be the original, pre-gluing family, in which the nodal singularities were of course bad fibers, as the generic fiber was smooth and they weren't. I do not think that creating a singularity elsewhere on the variety should take a bad fiber and make it good.
Furthermore, note that both kinds of fibers have vanishing cycles.
(Alternately, take an elliptic curve over a number field with positive rank and one semistable prime. Glue a power of an element of infinite order to the zero section, giving the variety a node singularity and creating a prime with two node singularities. This prime should remain a prime of bad reduction.)
Thus I propose the following notion of a fiber of bad reduction: For each singularity on the generic fiber (or on the variety over $K$), its closure is an irreducible closed subset of the total space (or the variety extended to $\mathcal O_K$). Since the singular locus is closed, these closed subsets are entirely singular - they are the "unavoidable" singularities. If a special fiber has an "avoidable" singularity that does not lie on  any of these irreducible closed subsets, or it has a singularity on one of these subsets that has a worse singularity type in some meaningful sense than the general one, then it is a fiber of bad reduction. All other fibers are fibers of good reduction. (Similarly, for each singularity in the variety over a number field, we may get as a consequence one or more singularities in its reduction mod $p$. Singularities that are not a consequence of a characteristic zero singularity, or singularities that are worse than the characteristic zero one necessitates, make the prime bad reduction. If that does not occur, it's good reduction.)
As long as the set of points with a singularity type worse than a given singularity type is closed, which I believe it is for all reasonable measurements of singularity badness, then the fibers of good reduction are a nonempty open set. This is clear because the set of bad fibers is a finite union of closed sets that do not contain the generic point.
I do not know if there is a definition of singularity type badness that will work here so that all points with vanishing cycles / ramified Galois representations are fibers of bad reduction.
A: How about the condition: $X/S$ has "good reduction" if the scheme-theoretic singular locus is flat over $S$?
