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
RELATED ARTICLESExplain
DebateGraph Community
Development Ideas
New features?
Include logical inference
Rating
Customisation
Membership list
Preset Map/School work progression
A Debategraph API
Extend Debategraph to Graphical SocialAnnotation ..
Filters
Importing / Exporting
The ability to tag nodes.
WikifyDebategraph
Search_only_Map_Titles.
Revision control for nodes and maps?
Translate Debategraph content
Directory of Debategraph Users
Continuum slide
Interfacing with other networks/communities
Map statistics
Sandbox
The map "portal"
Transclusion rather than Crosslinks/pointers
Twitter feed / Social tab
Graph of this discussion
Enter the title of your article


Enter a short (max 500 characters) summation of your article
Enter the main body of your article
Lock
+Comments (7)
+Citations (1)
+About
Enter comment

Select article text to quote
welcome text

First name   Last name 

Email

Skip