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:
“Ah, I fancy it is just the same with most of what you call your “emancipation.” You have read yourself into a number of new ideas and opinions. You have got a sort of smattering of recent discoveries in various fields—discoveries that seem to overthrow certain principles which have hitherto been held impregnable and unassailable. But all this has only been a matter of intellect, Miss West—superficial acquisition. It has not passed into your blood.”
—Henrik Ibsen (1828–1906)
“Good gentlemen, look fresh and merrily.
Let not our looks put on our purposes,
But bear it as our Roman actors do,
With untired spirits and formal constancy.”
—William Shakespeare (1564–1616)
“It is the logic of our times,
No subject for immortal verse—
That we who lived by honest dreams
Defend the bad against the worse.”
—Cecil Day Lewis (1904–1972)