Formal scienceFormal science is a branch of science studying disciplines concerned with abstract structures described by formal systems, such as logic, mathematics, statistics, theoretical computer science, artificial intelligence, information theory, game theory, systems theory, decision theory, and theoretical linguistics. Whereas the natural sciences and social sciences seek to characterize physical systems and social systems, respectively, using empirical methods, the formal sciences use language tools concerned with characterizing abstract structures described by formal systems.
Behavioral modernityBehavioral modernity is a suite of behavioral and cognitive traits that distinguishes current Homo sapiens from other anatomically modern humans, hominins, and primates. Most scholars agree that modern human behavior can be characterized by abstract thinking, planning depth, symbolic behavior (e.g., art, ornamentation), music and dance, exploitation of large game, and blade technology, among others. Underlying these behaviors and technological innovations are cognitive and cultural foundations that have been documented experimentally and ethnographically by evolutionary and cultural anthropologists.
Historical materialismHistorical materialism is Karl Marx's theory of history. Marx locates historical change in the rise of class societies and the way humans labor together to make their livelihoods. For Marx and his lifetime collaborator, Friedrich Engels, the ultimate cause and moving power of historical events are to be found in the economic development of society and the social and political upheavals wrought by changes to the mode of production. It provides a challenge to the view that historical processes have come to a close and that capitalism is the end of history.
