Psychology Dictionary of ArgumentsHome
| |||
|
| |||
| Valuation: In logic, valuation assigns truth values (true or false) to the variables or statements within a formal system. It determines the interpretation of symbols or expressions in a given context, allowing the evaluation of logical formulas or propositions under specific conditions. Valuation aids in assessing the validity or satisfiability of logical arguments or theories within a defined model or framework. See also Truth values, Logical formulas._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||
| Author | Concept | Summary/Quotes | Sources |
|---|---|---|---|
|
John Bigelow on Valuation - Dictionary of Arguments
I 125 Valuation function V/Bigelow/Pargetter: its definition is complex because it has to be recursive. It assigns an interpretation or a semantic value. (To each expression of the language). >Recursion. Valuation: First, semantic values are assigned to the non-logical constants. >Semantic value. Rules are then created for semantic values from compound expressions. Logical constants: their valuation is specified by recursive rules. >Logical constants. Domain: can also be restricted, e.g. if you want to exclude the Barcan formula. >Domains. For example, restriction: for each world w you can assume a separate individual domain DW. Which, for example, consists only of the possibilia of this possible world. >Possibilia, >Possible worlds. I 126 Def partition/Bigelow/Pargetter: is a family of individual domains that do not overlap. I.e. no individual is in more than one possible world. That would correspond to Lewis's counterpart theory. >Counterpart theory. I 129 Counterfactual Conditional/Valuation/Valuation Function/Valuation Rules/Bigelow/Pargetter: V9 If a = (ß would be γ) then V (a) is the set of all possible worlds w ε w so that there is a possible world u where ß is true and γ is true and every possible world v in which ß is true and γ is false, is less accessible from w than from u. >Similarity metrics, >Counterfactual conditional. Similarity/possible worlds/similarity metrics/counterfactual conditional/Bigelow/Pargetter: Rule V9 states that a counterfactual conditional (ß would be > would be γ) is true in a possible world if the next ß-worlds are all γ-worlds._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
Big I J. Bigelow, R. Pargetter Science and Necessity Cambridge 1990 |
||
