About: Material inference

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Process in logic

Property Value
dbo:description
  • process in logic (en)
dbo:wikiPageExternalLink
dbo:wikiPageWikiLink
dbp:date
  • August 2013 (en)
dbp:reason
  • The distinction between logical and extra-logical vocabulary should be explained. In a first approach, a notion is called 'logical' if it applies to sentences only. E.g. the connective 'x and y' joins two sentences x, y and hence is logical vocabulary, while 'x is human' applies to a real-world object x and hence is extra-logical. However, a quantifier like 'each x satisfies y' is usually considered as logical vocabulary although it applies to a real-world object x and a sentence y. (en)
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdfs:label
  • Material inference (en)
  • Inferência material (pt)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is owl:differentFrom of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International