Include logical inference
Rate nodes according to how strongly users believe they are true/false or valid/invalid (strongly sure false/invalid through unsure to strongly sure true/valid), and perform calculations with fuzzy logic.
Standard nodes could consist of 5 basic types, containers, choices, statements, supporting arguments, and opposing arguments.

Containers are only for classification of other nodes.  They can contain choices, statements, and other containers, but not supporting or opposing arguments, and they can't be rated.

Choices (such as what "Would happen if an unstoppable force met an immovable object?") contain statements (such as "The force would stop", or "The object would move").  The choice implies that one, and only one contained statement is true, and the choice can be rated valid (to indicate that the user agrees that one statement must be true) through invalid (to indicate that this is not the case).  The choice can also contain supporting arguments to establish a case for it being valid (e.g. the choice is valid because 1/ it is possible to conceive of an unstoppable force, 2/ it is possible to conceive of an immovable object, and 3/ if it is possible to conceive of two things separately, it is possible to conceive of them together), or opposing arguments to establish a case for the choice being invalid (e.g. the choice is invalid because 1/ the choice assumes that it is logically possible for an immovable object to exist together with an unstoppable force. 2/ it is not logically possible for an immovable object to exist together with an unstoppable force. 3/ a choice is invalid if it makes false assumptions).

Statements (such as "If it is possible to conceive of two things separately, it is possible to conceive of them together") can be rated true through false, and can contain supporting arguments and opposing arguments.

Arguments (supporting or opposing) can be attached to statements which they are intended to support or refute, or to choices they are intended to conclude are valid or invalid, (or to other arguments which they are intended to conclude are valid or invalid), and can contain statements (considered premises of the argument).  Arguments can be rated valid through invalid (to indicate whether or not the premises would infer the conclusion).  Whether the arguments are sound or unsound can be calculated based on whether the arguments are valid (and non-circular) and all the premises are true.

This node is accessible via a FriendlyUrl: http://debategraph.org/IncludeLogicalInference
Immediately related elementsHow this works
-
DebateGraph Community »DebateGraph Community
Development Ideas »Development Ideas
New features? »New features?
Include logical inference
Rating »Rating
+Kommentare (7)
+Verweise (1)
+About