Class: ValidArgument

A valid argument is an argument where the truth of the conclusion is a logical consequence of the premises and (consequently) its corresponding conditional is a necessary truth.

URI: sio:ValidArgument

Parents

• is_a: Argument - An argument is a set of one or more declarative sentences (or propositions) known as the premises along with another declarative sentence (or proposition) known as the conclusion.

Children

• SoundArgument - A sound argument is a valid argument with true premises.

Referenced by Class

Attributes

Inherited from Argument:

• hasCreator _0..1
  • Description: has creator is a relation between an entity and that which created it.
  • Range: Entity

• hasAttribute _0..1

  • Description: has attribute is a relation that associates a entity with an attribute where an attribute is an intrinsic characteristic such as a quality, capability, disposition, function, or is an externally derived attribute determined from some descriptor (e.g. a quantity, position, label/identifier) either directly or indirectly through generalization of entities of the same type.

  • Range: Entity

  • satisfies _0..1

  • Description: satisfies is a relation between an entity and the specification or objective that it conforms to.

  • Range: Description

  • isRelatedTo _0..1
  • Description: A is related to B iff there is some relation between A and B.
  • Range: Entity
  • derivesInto _0..1

  • Description: a derives to b if and only if a or some part thereof is consumed in the formation of b.

  • Range: Object

  • isAnnotationOf _0..1

  • Description: is annotation of is a relation between some textual entity and the entity that it annotates.

  • Range: Entity