Talk:Class
-- Mikko Pohjola 12:39, 8 February 2008 (EET)
Class → set?
Fact discussion: . |
---|
Opening statement:
Closing statement: Resolution not yet found. (A closing statement, when resolved, should be updated to the main page.) |
Argumentation:
←--#1:: . In some ontological discussions, which are (or at least should be) also influencing the development of Intarese theory and method, the word class has a specific meaning, other than presented on this page. In order to avoid confusion, I suggest the word class in this particular meaning presented on this page to be changed to set. In the four-category ontology by Lowe (Lowe E.J. Recent Advances in Metaphysics, Facta Philosophica 5 (2003) 3-24), the word class has the meaning of kind of universal object. This four-category ontology, and thus also the meaning of the word class, is included in the PSSP ontology by Pohjola (Pohjola V.J. Formalizing Waste Management in Gabbar H. (Ed.) Modern Formal Methods and Applications, Springer Netherlands (2006) 47-82), which has been reflected upon in the development work of the pyrkilo method and thereafter also the development of the Intarese method. --Mikko 15:16, 14 August 2007 (EEST) (type: truth; paradigms: science: defence)
|
Argumentation about variables themselves (not their content) 18.4.2007
The current set of rules says that "However, a new variable must not be created, if there already exists a variable with the same scope."
Problems:
- If the scope is changed by one unimportant word, it is not the same. Thus, this rule does not actually prevent formation of overlapping variables.
- World cannot be divided into a set of exclusive and mutually exhaustive variables (variables that together cover everything but do not operlap) that would make sense in general.
- There was no rule to deal with partially overlapping variables. (Although this need was recognised.)
- If creation of variables is prevented, we restrict the process to things that happened to be out there first.
Solutions:
- We need rules about argumentation about the existence (not only about content) of variables. We should think what these rules are.
- It should be possible to invalidate a variable based on some criteria and argumentation. This, not rules about creating new variables, is the way of getting rid of poor variables. The criteria could be something like these:
- Variable is irrelevant: no causal connections to anything, and therefore it cannot be a part of any risk assessment.
- Variable is conceptually defect: the scope does not form a coherent entity. (Not even the oldest man in the world understands what the variable is about.)
- Variable does not have clear boundaries: it is not clear what belongs to the variable and what not.
- Variable is not measurable: A clairvoyant cannot give an answer to the result. (Note that this does not mean that the result must be numerical! Excellent and red are valid results.)
- Variable is inefficient. There is another way of expressing the variable, and it is more practical (e.g. less time consuming to update, or data is better available). This is always compared with another variable; at least one variable must remain valid. This may also be a case when a variable is merged to another one that has a wider scope.
- To make this work, we need an efficient categorisation of variables. This can be an extension of the issue framing method.
- The discussion about variables cannot be held within the variable itself (at least not always: inefficiency is always about several variables). Therefore, there should be a place for this argumentation. I suggest that this is held at the class level. This means that classes become an inseparable part of the method.
Generic variable attributes
Generic variables form the elements of the scoping diagram. Similar to (specific) variables they are objects that have attributes (e.g. name). However, the main aim of generic variables is to help find the relevant pathways in a whole net of possible pathways in the causal chain. Therefore most of the attributes of (specific) variables do not apply to generic variables. Instead they have at least the following attributes:
- name
- predecessor
- successor
- subgroups
- and other attributes to define the relationship to other parts of the causal chain.
To create a new generic variable, the user can open a template and fill in all the attributes. Then, the generic variable can be used equally to the predefined generic variables. If the user cannot fill in all relevant information the generic variable has only restricted impacts on other parts of the causal chain.