@misc{Lexicon of Arguments, title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 28 Mar 2024}, author = {Bigelow,John}, subject = {Valuation}, note = {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.}, note = { Big I J. Bigelow, R. Pargetter Science and Necessity Cambridge 1990 }, file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=746430} url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=746430} }