Concept
Judgment (mathematical logic)
Overview
statement that asserts that a certain premise is true
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
In the original texts
Passages from public-domain books where Judgment (mathematical logic) is discussed.
As Bosanquet forcibly states it: "If a sensation or elementary perception is in consciousness (and if not we have nothing to do with it in logic), it already bears the form of thinking" (p. 33). How, then, can it serve as the subject of a judgment? Bosanquet's solution of the problem is to say that the real subject of a judgment is not the grammatical subject which appears in a proposition, but reality itself. In…
John Dewey, Studies in Logical Theory
names the idea; a chapter is titled for it; states what it is; opens on it
The judgment, "No body is without extension," has for its last reason the Principle of Contradiction. This again, "Every judgment is either true or untrue," has for its last reason the Principle of the Excluded Middle; and finally, "No one can admit anything to be true without knowing why," has for its last reason the Principle of Sufficient Reason of Knowing. In the general employment of our Reason, we do not, it…
Arthur Schopenhauer, On the Fourfold Root of the Principle of Sufficient Reason, and On the Will in Nature
names the idea; states what it is; opens on it
This judgment, which I now make, to the effect that _that_ is a door, seems to me quite plainly to be a judgment of perception, in the simple sense that I make it because I do, in fact, see that that _is_ a door, and assert in it no more than what I see; and what I see I, of course, perceive. In every case in which I judge, with regard to something which I am seeing or feeling with my hands, that it is a so-and-so…
G. E. Moore, Philosophical Studies
names the idea; a chapter is titled for it; states what it is; opens on it
The intention is to point out some of the reasons why in one case the thinking process does universalize while in the other it does not, why in one case the judgment is completely objective while in the other it is not. In both aesthetic and moral judgments social art, social action, social judgments, through collective decisions prepare the way for the general non-personal, objective form.
John Dewey, Creative Intelligence
names the idea; states what it is; opens on it
168.] The judgment is an expression of finitude. Things from its point of view are said to be finite, because they are a judgment, because their definite being and their universal nature, (their body and their soul,) though united indeed (otherwise the things would…
Georg Wilhelm Friedrich Hegel, The Logic of Hegel
names the idea; states what it is; opens on it
Philosophers who discussed Judgment (mathematical logic)
Related ideas
- First-order logic
- Mathematical logic
- Rule of inference
- Sequent calculus
- Curry–Howard correspondence
- Logical consequence
- Formal system
- Type theory
- Metalanguage
- Well-formed formula
- Tautology (logic)
- Deduction theorem
- Metatheory
- Natural deduction
- Proposition
Opposing perspectives
Place in the tradition
Part of Dialetheism.
Explore Judgment (mathematical logic) in the interactive graph →