In addition to the traditional, foundational branch of proof theory, today there is a good deal of interest in structural proof theory, a branch of the subject that focuses on logical deductive calculi and their properties.
She believed epistemology was a foundational branch of philosophy and considered the advocacy of reason to be the single most significant aspect of her philosophy, stating, "I am not primarily an advocate of capitalism, but of egoism; and I am not primarily an advocate of egoism, but of reason.
In addition to his legacy as a co-writer of Principia Mathematica, Whitehead's theory of "extensive abstraction" is considered foundational for the branch of ontology and computer science known as "mereotopology", a theory describing spatial relations among wholes, parts, parts of parts, and the boundaries between parts.
The foundational texts for these two branches of Abhidharma are the Kathāvatthu ('Points of Controversy') and the Mahāvibhāṣā ('The Great Commentary').
A foundational effort can be directed at many different branches of mathematics simultaneously, or just at some particular branch, such as arithmetic.
(This is to raise once again the worry expressed by Boolos (1997: 248 9).)[41] It is an age-old tradition in foundational investigations to provide a foundation that is not only obviously consistent, but obviously true, and from which all the results in the branch es) of mathematics being founded will follow logically.
And a simple gesture like Wright's breaking a twig of sweet betsy from outside V's daughter's house in Arkansas calls to mind the foundational elegiac act — Apollo shaping his crown from the laurel branch — as well as all its later manifestations, in Milton, Shelley, and Whitman.
All of it violated a raft of Defense Department and executive-branch regulations, up to and including Executive Order 12333, a foundational intelligence guideline.
Logicism is a philosophical, foundational, and foundationalist doctrine that can be advanced with respect to any branch of mathematics.
For example, the components and parts of organisms are described in anatomy ontologies such as the Foundational Model of Anatomy (FMA; Rosse and Mejino, 2003) or the cellular component branch of the Gene Ontology (GO; Ashburner et al., 2000).
