Class: 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.

URI: sio:Argument

img

Parents

  • is_a: Proposition - A proposition is a sentence expressing something true or false.

Children

  • DeductiveArgument - A deductive argument is an argument that asserts that the truth of the conclusion is a logical consequence of the premises.
  • InductiveArgument - An inductive argument is an argument that asserts that the truth of the conclusion is supported by the premises.
  • InvalidArgument - An invalid argument is an argument where the truth of the conclusion is false because it is not a logical consequence of the premises.
  • 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.

Referenced by Class

Attributes

Inherited from Proposition:

  • 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