All Topics  
First principles

 

   Email Print
   Bookmark   Link






 

First principles



 
 
First Principles is also the title of a work by Herbert Spencer
Herbert Spencer

Herbert Spencer was an England philosopher, prominent Classical liberalism political theorist, and sociological theorist of the Victorian era....
.
In philosophy
Philosophy

Philosophy is the study of general problems concerning matters such as existence, knowledge, truth, beauty, justice, validity, mind, and language....
, a
first principle is a basic, foundational proposition or assumption that cannot be deduced from any other proposition or assumption. In mathematics
Mathematics

Mathematics is the study of quantity, structure, space, change, and related topics of pattern and form. Mathematicians seek out patterns whether found in numbers, space, natural science, computers, imaginary abstractions, or elsewhere....
, first principles are referred to as axiom
Axiom

In traditional logic, an axiom or postulate is a proposition that is not proved or demonstrated but considered to be either self-evidence, or subject to necessary decision....
s or postulates.

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.






Discussion
Ask a question about 'First principles'
Start a new discussion about 'First principles'
Answer questions from other users
Full Discussion Forum



Encyclopedia


First Principles is also the title of a work by Herbert Spencer
Herbert Spencer

Herbert Spencer was an England philosopher, prominent Classical liberalism political theorist, and sociological theorist of the Victorian era....
.
In philosophy
Philosophy

Philosophy is the study of general problems concerning matters such as existence, knowledge, truth, beauty, justice, validity, mind, and language....
, a
first principle is a basic, foundational proposition or assumption that cannot be deduced from any other proposition or assumption. In mathematics
Mathematics

Mathematics is the study of quantity, structure, space, change, and related topics of pattern and form. Mathematicians seek out patterns whether found in numbers, space, natural science, computers, imaginary abstractions, or elsewhere....
, first principles are referred to as axiom
Axiom

In traditional logic, an axiom or postulate is a proposition that is not proved or demonstrated but considered to be either self-evidence, or subject to necessary decision....
s or postulates.

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
Syllogism

A syllogism, or logical appeal, , is a kind of logical argument in which one proposition is Inference from two others of a certain form....
, "All men are mortal; Socrates is a man; Socrates is mortal" the last claim can be deduced from the former two.

A
first principle is one that cannot be deduced from any other. The classic example is that of Euclid
Euclid

Euclid , floruit 300 BC, also known as Euclid of Alexandria, was a Greek mathematics and is often referred to as the Father of Geometry. He was active in Alexandria during the reign of Ptolemy I ....
's (see Euclid's Elements
Euclid's Elements

Euclid's Elements is a mathematics and geometry treatise consisting of 13 books written by the Greek mathematics Euclid in Alexandria circa 300 BC....
) geometry; its hundreds of propositions can be deduced from a set of definitions, postulates, and common notions: all three of which constitute "first principles".

Aristotle's contribution

Aristotle
Aristotle

Aristotle was a Greeks philosopher, a student of Plato and teacher of Alexander the Great. He wrote on many subjects, including physics, metaphysics, Poetics , theater, music, logic, rhetoric, politics, government, ethics, biology and zoology....
, author of the earliest surviving text on logic, formulated a principle (
the Aristotelian tautology
Tautology

Tautology may refer to:*Tautology , a statement of propositional logic which holds for all truth values of its atomic propositions*Tautology , use of redundant language...
denoted A=A ) that later achieved the historical distinction of being called the first principle as a proper name. It occurs in those of his writings that have come to be called the Metaphysics
Metaphysics

Metaphysics investigates principles of reality transcending those of any particular science. cosmology and ontology are traditional branches of metaphysics....
. The principle in Greek, and its transliteration, is (
Meta ta physica, 1005b):

"t? ??? a?t? ?µa ?p???e?? te ?a? µ? ?p???e?? ?d??at?? t? a?t? ?a? ?at? t? a?t?"
"tò gàr autò háma hypárkhein te kaì m? hypárkhein adýnaton to~i auto~i kaì katà tò autó."


and in English translation:

"For the same (characteristic) simultaneously to belong and not belong to the same (object) in the same (way) is impossible."


This principle is the first expression of consistency in western thought. Any defining and reasoning in any language on any topic assumes it a priori
A priori and a posteriori (philosophy)

The terms "a priori" and "a posteriori" are used in philosophy to distinguish two types of knowledge, justifications or arguments....
. It cannot be doubted, as all doubting is based on inconsistency, which assumes consistency a priori.

Descartes


Profoundly influenced by Euclid
Euclid

Euclid , floruit 300 BC, also known as Euclid of Alexandria, was a Greek mathematics and is often referred to as the Father of Geometry. He was active in Alexandria during the reign of Ptolemy I ....
, Descartes, the "father of modern philosophy", was a rationalist who invented the foundationalist system of philosophy. He used the "method of doubt", now called Cartesian doubt
Cartesian doubt

Cartesian doubt is a form of philosophical scepticism associated with the writings and methodology of Ren? Descartes...
, to systematically doubt everything he could possibly doubt, until he was left with what he saw as purely indubitable truths. Using these self-evident propositions as his "axioms", or "foundations", he went on to deduce his entire body of knowledge from them. (The foundations are also called
a priori
A priori

A priori may refer to:* A priori , a type of constructed language* A priori , a knowledge of the actual population* A priori and a posteriori , used to distinguish two types of propositional knowledge...
truths.) His most famous proposition is "I think, therefore I am", or "Cogito ergo sum".

John Duns Scotus


"A Treatise On God As First Principle" is about the First Cause, or the Prime Mover
Cosmological argument

The cosmological argument is an argument for the existence of a First Cause to the universe, and by extension is often used as an argument for the existence of God....
, that is eternal
Eternal

Eternal can mean:* Eternity, an infinite amount of time, or a timeless state* Eternal life, or immortalityIt can also refer to:...
, and exists, prior to the order
Order

Order may refer to:...
 of beings, and prior to creation
Creation

Creation may refer to:In religion and philosophy:*Creation myth, a supernatural mytho-religious story or explanation that describes the beginnings of humanity, earth, life, or the universe....
.

In physics


In physics
Physics

Physics is the natural science which examines basic concepts such as energy, force, and spacetime and all that derives from these, such as mass, charge, matter and its Motion ....
, a calculation is said to be
from first principles, or ab initio
Ab initio

The Latin term ab initio means from the beginning and is used in several contexts:* when describing literature: told from the beginning as opposed to in medias res ...
, if it starts directly at the level of established laws of physics and does not make assumptions such as model
Model (physical)

A physical model is a smaller or larger physical copy of an object. The object being modelled may be small or large .The geometry of the model and the object it represents are often similar in the sense that one is a rescaling of the other; in such cases the Scale is an important characteristic....
 and fitting
Fitting

Fitting can refer to:# Any machine, Pipe or Tubing part that can attach or connect two or more larger parts. For examples, see coupling, compression fitting or piping and plumbing fittings....
 parameters.

For example, calculation of electronic structure using Schrödinger's equation within a set of approximations that do not include fitting the model to experimental data is an
ab initio approach
Ab initio quantum chemistry methods

Ab initio quantum chemistry methods are computational chemistry methods based on quantum chemistry. The term ab initio indicates that the calculation is from first principles and that no empirical data is used....
.

See also


  • A priori
    A priori

    A priori may refer to:* A priori , a type of constructed language* A priori , a knowledge of the actual population* A priori and a posteriori , used to distinguish two types of propositional knowledge...
  • Ab initio
    Ab initio

    The Latin term ab initio means from the beginning and is used in several contexts:* when describing literature: told from the beginning as opposed to in medias res ...
  • Axiom
    Axiom

    In traditional logic, an axiom or postulate is a proposition that is not proved or demonstrated but considered to be either self-evidence, or subject to necessary decision....
  • First Cause
  • Fuzzy Logic
    Fuzzy logic

    Fuzzy logic is a form of multi-valued logic derived from fuzzy set theory to deal with reasoning that is approximate rather than precise. In binary sets with binary logic, in contrast to fuzzy logic named also crisp logic, the variables may have a Membership function of only 0 or 1....
  • Intuitionism
    Intuitionism

    In the philosophy of mathematics, intuitionism, or neointuitionism , is an approach to mathematics as the constructive mental activity of humans....
  • Law of excluded middle
    Law of excluded middle

    In logic, the law of the excluded middle states that the propositional calculus formula "P ? ?P" can be deduced from the calculus under investigation....
  • Law of noncontradiction
  • Metaphysics
    Metaphysics

    Metaphysics investigates principles of reality transcending those of any particular science. cosmology and ontology are traditional branches of metaphysics....
  • Prime Mover
    Cosmological argument

    The cosmological argument is an argument for the existence of a First Cause to the universe, and by extension is often used as an argument for the existence of God....
  • proposition
    Proposition

    This article is about the term proposition in logic and philosophy; for other uses see PropositionIn logic and philosophy, proposition refers to either the "content" or Meaning of a meaningful declarative sentence or the pattern of symbols, marks, or sounds that make up a meaningful declarative sentence....


External links