Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Material_inference> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items per page.
- Material_inference abstract "In logic, inference is the process of deriving logical conclusions from premises known or assumed to be true. In checking a logical inference for formal and material validity, the meaning of only its logical vocabulary and of both its logical and extra-logical vocabularyis considered, respectively.".
- Material_inference wikiPageExternalLink 3.1.
- Material_inference wikiPageID "40203396".
- Material_inference wikiPageRevisionID "591780756".
- Material_inference date "August 2013".
- Material_inference 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.".
- Material_inference subject Category:Inference.
- Material_inference subject Category:Non-classical_logic.
- Material_inference comment "In logic, inference is the process of deriving logical conclusions from premises known or assumed to be true. In checking a logical inference for formal and material validity, the meaning of only its logical vocabulary and of both its logical and extra-logical vocabularyis considered, respectively.".
- Material_inference label "Material inference".
- Material_inference sameAs m.0wrc9b7.
- Material_inference sameAs Q17103604.
- Material_inference sameAs Q17103604.
- Material_inference wasDerivedFrom Material_inference?oldid=591780756.
- Material_inference isPrimaryTopicOf Material_inference.