Follow along with the video below to see how to install our site as a web app on your home screen.
Note: This feature may not be available in some browsers.
Normal
Correct.The basic question it tries to answer is on what basis does the truth value of human knowledge derive -- a priori or posteriori? Pure thought or pure empirical knowledge?All logical forms are based on a priori knowledge -- even that science you speak of. If gravity works here, what makes you think it works somewhere else in the universe? It does because gravity is stated as a law that is background independent -- which is itself, an a priori proposition.It is the foundation of propositional logic.http://en.wikipedia.org/wiki/Propositional_logicIn mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules and axioms allows certain formulas to be derived, called theorems; which may be interpreted as true propositions. The series of formulas which is constructed within such a system is called a derivation and the last formula of the series is a theorem, whose derivation may be interpreted as a proof of the truth of the proposition represented by the theorem.
Correct.
The basic question it tries to answer is on what basis does the truth value of human knowledge derive -- a priori or posteriori? Pure thought or pure empirical knowledge?
All logical forms are based on a priori knowledge -- even that science you speak of. If gravity works here, what makes you think it works somewhere else in the universe? It does because gravity is stated as a law that is background independent -- which is itself, an a priori proposition.
It is the foundation of propositional logic.
http://en.wikipedia.org/wiki/Propositional_logic
In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules and axioms allows certain formulas to be derived, called theorems; which may be interpreted as true propositions. The series of formulas which is constructed within such a system is called a derivation and the last formula of the series is a theorem, whose derivation may be interpreted as a proof of the truth of the proposition represented by the theorem.
