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:
“Amidst the downward tendency and proneness of things, when every voice is raised for a new road or another statute or a subscription of stock; for an improvement in dress, or in dentistry; for a new house or a larger business; for a political party, or the division of an estate;Mwill you not tolerate one or two solitary voices in the land, speaking for thoughts and principles not marketable or perishable?”
—Ralph Waldo Emerson (1803–1882)
“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)
““... We need the interruption of the night
To ease attention off when overtight,
To break our logic in too long a flight,
And ask us if our premises are right.””
—Robert Frost (1874–1963)