Difference between revisions of "Truth value"
Jump to navigation
Jump to search
Wohlgemuth (talk | contribs) m (utrecht) |
(Removed the block {{format}}) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
| + | ==Definition== | ||
'''Truth value''' is the property that is assigned to [[sentence]]s (or [[proposition]]s or [[formula]]s) in [[truth-condition]]al semantics. A sentence can be true (also 1 or T) or false (also 0 or F) in a two-valued [[logic]], but there are more truth-values in more-valued logics. Truth conditions (or truth definitions) specify in which circumstances a proposition is true, relative to a [[model]], i.e., an assignment of values (a valuation) to the basic expressions that constitute the proposition. | '''Truth value''' is the property that is assigned to [[sentence]]s (or [[proposition]]s or [[formula]]s) in [[truth-condition]]al semantics. A sentence can be true (also 1 or T) or false (also 0 or F) in a two-valued [[logic]], but there are more truth-values in more-valued logics. Truth conditions (or truth definitions) specify in which circumstances a proposition is true, relative to a [[model]], i.e., an assignment of values (a valuation) to the basic expressions that constitute the proposition. | ||
| − | + | == Links == | |
| − | + | *[http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Truth+value&lemmacode=198 Utrecht Lexicon of Linguistics] | |
| − | [http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Truth+value&lemmacode=198 Utrecht Lexicon of Linguistics] | ||
| − | |||
| − | |||
| + | == References == | ||
* Gamut, L.T.F. 1991. ''Logic, language, and meaning,'' Univ. of Chicago Press, Chicago. | * Gamut, L.T.F. 1991. ''Logic, language, and meaning,'' Univ. of Chicago Press, Chicago. | ||
| Line 14: | Line 13: | ||
| − | {{stub}}{{cats | + | {{stub}}{{cats}} |
Latest revision as of 08:30, 30 August 2014
Definition
Truth value is the property that is assigned to sentences (or propositions or formulas) in truth-conditional semantics. A sentence can be true (also 1 or T) or false (also 0 or F) in a two-valued logic, but there are more truth-values in more-valued logics. Truth conditions (or truth definitions) specify in which circumstances a proposition is true, relative to a model, i.e., an assignment of values (a valuation) to the basic expressions that constitute the proposition.
Links
References
- Gamut, L.T.F. 1991. Logic, language, and meaning, Univ. of Chicago Press, Chicago.
| STUB |
| CAT | This article needs proper categorization. You can help Glottopedia by categorizing it Please do not remove this block until the problem is fixed. |
