Simple Browser
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
DeductiveArgument
Sigma KEE - DeductiveArgument
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
DeductiveArgument
An
Argument
which has the form of a deduction, i.e. it is claimed that the set of
premise
s
entails
the
conclusion
.
Relationships
Parents
Argument
Any proposition which has the form of a deductive or inductive argument, i.e. a set of premises which, it is claimed, imply a conclusion.
Children
Explanation
An
Argument
where the conclusion is an observed fact and the premises are other facts which collectively imply the conclusion. Note that this is the hypothetico-deductive model of explanation.
InvalidDeductiveArgument
DeductiveArgument
s that are not
ValidDeductiveArgument
s, i.e. it is not the case that the set of
premise
s in fact
entails
the
conclusion
.
ValidDeductiveArgument
A
DeductiveArgument
which is valid, i.e. the set of
premise
s in fact
entails
the
conclusion
.
Show full definition (without tree view)
Show full definition (with tree view)
Show without tree
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is
open source software
produced by
Articulate Software
and its partners
DeductiveArgument