Judgment (mathematical logic)
- Judgment (mathematical logic)
In mathematical logic, a judgment can be for example an assertion about occurrence of a free variable in an expression of the object language, or about provability of a proposition (either as a tautology or from a given context); but judgments can be also other inductively definable assertions in the metatheory. Judgments are used for example in formalizing deduction systems: a logical axiom expresses a judgment, premises of a rule of inference are formed as a sequence of judgments, and their conclusion is a judgment as well. Also the result of a proof expresses a judgment, and the used hypotheses are formed as a sequence of judgments.
A characteristic feature of the various variants of Hilbert-style deduction systems is that the "context" is not changed in any of their rules of inference, while both natural deduction and sequent calculus contain some context-changing rules. Thus, if we are interested only in the derivability of tautologies, no hypothetical judgments, then we can formalize the Hilbert-style deduction system in such a way that its rules of inference contain only judgments of a rather simple form. The same cannot be done with the other two deductions systems: as context is changed in some of their rules of inferences, they cannot be formalized so that hypothetical judgments could be avoided — not even if we want to use them just for proving derivability of tautologies.
This basic diversity among the various calculi allows such difference, that the same basic thought (e.g. deduction theorem) must be proven as a metatheorem in Hilbert-style deduction system, while it can be declared explicitly as a rule of inference in natural deduction.
In type theory, some analogous notions are used as in mathematical logic (giving rise to connections between the two fields, e.g. Curry-Howard correspondence). The abstraction in the notion of "judgment" in mathematical logic can exploited also in foundation of type theory as well. See for example simply typed lambda calculus.
External links
*
*
*
Wikimedia Foundation.
2010.
Look at other dictionaries:
Judgment (disambiguation) — A judgment is a balanced weighing up of evidence to form a decision or opinion.Judgment or judgement may also refer to:* A legal judgment, a formal decision made by a court following a lawsuit. * A value judgment, a determination of something s… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Mathematical psychology — Psychology … Wikipedia
logic — log•ic [[t]ˈlɒdʒ ɪk[/t]] n. 1) pho the science that investigates the principles governing correct or reliable inference 2) pho symbolic logic 3) a particular method of reasoning or argumentation 4) the system or principles of reasoning applicable … From formal English to slang
Logic — • A historical survey from Indian and Pre Aristotelian philosophy to the Logic of John Stuart Mill Catholic Encyclopedia. Kevin Knight. 2006. Logic Logic … Catholic encyclopedia
Mathematical beauty — An example of beauty in method a simple and elegant geometrical proof that the Pythagorean theorem is true for a particular right angled triangle. Many mathematicians derive aesthetic pleasure from their work, and from mathematics in general.… … Wikipedia
logic — I (Roget s IV) n. Syn. reasoning, dialectic, deduction, syllogism, induction, inference, course of argument, course of thought; thesis, antithesis and synthesis, chain of reasoning; see also philosophy 1 , thought 1 . Branches of logic include:… … English dictionary for students
Hegel’s logic and philosophy of mind — Willem deVries LOGIC AND MIND IN HEGEL’S PHILOSOPHY Hegel is above all a systematic philosopher. Awe inspiring in its scope, his philosophy left no subject untouched. Logic provides the central, unifying framework as well as the general… … History of philosophy
Term logic — In philosophy, term logic, also known as traditional logic, is a loose name for the way of doing logic that began with Aristotle, and that was dominant until the advent of modern predicate logic in the late nineteenth century.This entry is an… … Wikipedia
