http://dbpedia.org/ontology/abstract
|
Class logic is a logic in its broad sense, … Class logic is a logic in its broad sense, whose objects are called classes. In a narrower sense, one speaks of a class logic only if classes are described by a property of their elements. This class logic is thus a generalization of set theory, which allows only a limited consideration of classes.s only a limited consideration of classes.
, Die Klassenlogik ist im weiteren Sinn eine … Die Klassenlogik ist im weiteren Sinn eine Logik, deren Objekte als Klassen bezeichnet werden. Im engeren Sinn spricht man von einer Klassenlogik nur dann, wenn Klassen durch eine Eigenschaft ihrer Elemente beschrieben werden. Diese Klassenlogik ist daher eine Verallgemeinerung der Mengenlehre, die nur eine eingeschränkte Klassenbildung erlaubt.ine eingeschränkte Klassenbildung erlaubt.
|
http://dbpedia.org/ontology/wikiPageID
|
43951170
|
http://dbpedia.org/ontology/wikiPageLength
|
6159
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
955082990
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Axiom_of_extensionality +
, http://dbpedia.org/resource/Predicate_logic +
, http://dbpedia.org/resource/New_Foundations +
, http://dbpedia.org/resource/Category:Set_theory +
, http://dbpedia.org/resource/Set_theory +
, http://dbpedia.org/resource/Calculus +
, http://dbpedia.org/resource/Burali-Forti +
, http://dbpedia.org/resource/Albert_Menne +
, http://dbpedia.org/resource/Peano_Axioms +
, http://dbpedia.org/resource/Bertrand_Russell +
, http://dbpedia.org/resource/Zermelo%E2%80%93Fraenkel_set_theory +
, http://dbpedia.org/resource/Principle_of_comprehension +
, http://dbpedia.org/resource/Formal_system +
, http://dbpedia.org/resource/Ernst_Zermelo +
, http://dbpedia.org/resource/Giuseppe_Peano +
, http://dbpedia.org/resource/Class_%28set_theory%29 +
, http://dbpedia.org/resource/Gottlob_Frege +
, http://dbpedia.org/resource/Antinomy +
, http://dbpedia.org/resource/Type_theory +
, http://dbpedia.org/resource/Arnold_Oberschelp +
, http://dbpedia.org/resource/Russell%27s_paradox +
, http://dbpedia.org/resource/Willard_Van_Orman_Quine +
, http://dbpedia.org/resource/Naive_set_theory +
, http://dbpedia.org/resource/Logic +
, http://dbpedia.org/resource/Category:Mathematical_logic +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:ISBN +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Mathlogic-stub +
, http://dbpedia.org/resource/Template:Clarify +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Mathematical_logic +
, http://dbpedia.org/resource/Category:Set_theory +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Logic +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Class_logic?oldid=955082990&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Class_logic +
|
owl:sameAs |
http://rdf.freebase.com/ns/m.011x3wzk +
, https://global.dbpedia.org/id/K6wN +
, http://www.wikidata.org/entity/Q1297858 +
, http://dbpedia.org/resource/Class_logic +
, http://de.dbpedia.org/resource/Klassenlogik +
|
rdfs:comment |
Class logic is a logic in its broad sense, … Class logic is a logic in its broad sense, whose objects are called classes. In a narrower sense, one speaks of a class logic only if classes are described by a property of their elements. This class logic is thus a generalization of set theory, which allows only a limited consideration of classes.s only a limited consideration of classes.
, Die Klassenlogik ist im weiteren Sinn eine … Die Klassenlogik ist im weiteren Sinn eine Logik, deren Objekte als Klassen bezeichnet werden. Im engeren Sinn spricht man von einer Klassenlogik nur dann, wenn Klassen durch eine Eigenschaft ihrer Elemente beschrieben werden. Diese Klassenlogik ist daher eine Verallgemeinerung der Mengenlehre, die nur eine eingeschränkte Klassenbildung erlaubt.ine eingeschränkte Klassenbildung erlaubt.
|
rdfs:label |
Class logic
, Klassenlogik
|