LogicLogic is a formal science for the analysis and appraisal of arguments using symbols. Accepted systems of logic, particularly those that conform to the constraint of excluded middle, can be considered internally consistent. Logic is the root of all hard science.
MathematicsMathematics is the foundational science of structure, order, relationships and change. This relies on logic to the prove the correctness of its statements, theorems and conjectures.
StatisticsThe branch of mathematics that is concerned with the collection, analysis, presentation and interpretation of data.
Theoretical Computer ScienceTheories in computer science can often be proven correct. For example, a proof that an algorithm represents an optimal solution to a problem.
Natural ScienceA broad branch of science that is concerned with description, prediction, and understanding of observable facts. This is specifically constrained to things that are measurable such that the scientific method can be executed in a rigorous fashion that will stand up to peer review and replicability.
PhysicsPhysics is the foundational natural science that investigates the basics of the physical world including mater, energy, space, movement and forces.
BiologyA broad science that studies the observable characteristics of living organisms and related systems and processes.
ChemistryChemistry is the study of elements and compounds including their composition, structure, properties, behavior and reactions.
Earth SciencesThe branch of science dealing with the observable characteristics of the planet Earth and its atmosphere. This includes many sciences such as geology, geography, geophysics, geochemistry and atmospheric sciences.
NotesThe list above isn't exhaustive. All formal and natural sciences are considered hard sciences. For example, physics has dozens of branches such as astronomy that are also considered hard science.
|Overview: Hard Science
Branches of science that strictly adhere to the scientific method or proofs of correctness.