First Principles in Formal Logic
In a formal logical system, that is, a set of propositions that are consistent with one another, it is probable that some of the statements can be deduced from one another. For example, in the syllogism, "All men are mortal; Socrates is a man; Socrates is mortal" the last claim can be deduced from the first two.
A first principle is one that cannot be deduced from any other. The classic example is that of Euclid's (see Euclid's Elements) geometry; its hundreds of propositions can be deduced from a set of definitions, postulates, and common notions: all three of which constitute first principles.
Read more about this topic: First Principle
Famous quotes containing the words principles, formal and/or logic:
“[The sceptic] must acknowledge, if he will acknowledge any thing, that all human life must perish, were his principles to prevail. All discourse, all action would immediately cease, and men remain in a total lethargy, till the necessities of nature, unsatisfied, put an end to their miserable existence.”
—David Hume (1711–1776)
“True variety is in that plenitude of real and unexpected elements, in the branch charged with blue flowers thrusting itself, against all expectations, from the springtime hedge which seems already too full, while the purely formal imitation of variety ... is but void and uniformity, that is, that which is most opposed to variety....”
—Marcel Proust (1871–1922)
“Somebody who should have been born
is gone.
Yes, woman, such logic will lead
to loss without death. Or say what you meant,
you coward . . . this baby that I bleed.”
—Anne Sexton (1928–1974)