About: Prädikatenlogik erster Stufe (original) (raw)
Die Prädikatenlogik erster Stufe ist ein Teilgebiet der mathematischen Logik. Sie befasst sich mit der Struktur gewisser mathematischer Ausdrücke und dem logischen Schließen, mit dem man von derartigen Ausdrücken zu anderen gelangt. Dabei gelingt es, sowohl die Sprache als auch das Schließen rein syntaktisch, das heißt ohne Bezug zu mathematischen Bedeutungen, zu definieren. Das dadurch ermöglichte Zusammenspiel von rein syntaktischen Überlegungen einerseits und semantischen Betrachtungen andererseits führt zu wichtigen Erkenntnissen, die Bedeutung für die gesamte Mathematik haben, denn diese lässt sich mittels der Zermelo-Fraenkel-Mengenlehre in der Prädikatenlogik erster Stufe formulieren. Im Unterschied zur Aussagenlogik macht die Prädikatenlogik von Quantoren Gebrauch.
Property | Value |
---|---|
dbo:abstract | Die Prädikatenlogik erster Stufe ist ein Teilgebiet der mathematischen Logik. Sie befasst sich mit der Struktur gewisser mathematischer Ausdrücke und dem logischen Schließen, mit dem man von derartigen Ausdrücken zu anderen gelangt. Dabei gelingt es, sowohl die Sprache als auch das Schließen rein syntaktisch, das heißt ohne Bezug zu mathematischen Bedeutungen, zu definieren. Das dadurch ermöglichte Zusammenspiel von rein syntaktischen Überlegungen einerseits und semantischen Betrachtungen andererseits führt zu wichtigen Erkenntnissen, die Bedeutung für die gesamte Mathematik haben, denn diese lässt sich mittels der Zermelo-Fraenkel-Mengenlehre in der Prädikatenlogik erster Stufe formulieren. Im Unterschied zur Aussagenlogik macht die Prädikatenlogik von Quantoren Gebrauch. (de) |
dbo:author | dbpedia-de:Wolfgang_Rautenberg |
dbo:isbn | 978-3-8348-0578-2 |
dbo:originalTitle | Einführung in die Mathematische Logik (de) |
dbo:wikiPageExternalLink | http://www.springerlink.com/content/978-3-8348-0578-2/ |
dbo:wikiPageID | 3376672 (xsd:integer) |
dbo:wikiPageRevisionID | 156241276 (xsd:integer) |
prop-de:auflage | 3 (xsd:integer) |
prop-de:jahr | 2008 (xsd:integer) |
prop-de:online | http://www.springerlink.com/content/978-3-8348-0578-2/ |
prop-de:ort | dbpedia-de:Wiesbaden |
dc:publisher | Vieweg+Teubner |
dct:subject | category-de:Mathematische_Logik |
rdf:type | owl:Thing schema:CreativeWork wikidata:Q386724 dbo:Work dbo:WrittenWork |
rdfs:comment | Die Prädikatenlogik erster Stufe ist ein Teilgebiet der mathematischen Logik. Sie befasst sich mit der Struktur gewisser mathematischer Ausdrücke und dem logischen Schließen, mit dem man von derartigen Ausdrücken zu anderen gelangt. Dabei gelingt es, sowohl die Sprache als auch das Schließen rein syntaktisch, das heißt ohne Bezug zu mathematischen Bedeutungen, zu definieren. Das dadurch ermöglichte Zusammenspiel von rein syntaktischen Überlegungen einerseits und semantischen Betrachtungen andererseits führt zu wichtigen Erkenntnissen, die Bedeutung für die gesamte Mathematik haben, denn diese lässt sich mittels der Zermelo-Fraenkel-Mengenlehre in der Prädikatenlogik erster Stufe formulieren. Im Unterschied zur Aussagenlogik macht die Prädikatenlogik von Quantoren Gebrauch. (de) |
rdfs:label | Prädikatenlogik erster Stufe (de) |
owl:sameAs | dbr:Prädikatenlogik erster Stufe wikidata:Prädikatenlogik erster Stufe dbpedia-cs:Prädikatenlogik erster Stufe dbpedia-el:Prädikatenlogik erster Stufe dbpedia-es:Prädikatenlogik erster Stufe dbpedia-id:Prädikatenlogik erster Stufe dbpedia-it:Prädikatenlogik erster Stufe dbpedia-ja:Prädikatenlogik erster Stufe dbpedia-ko:Prädikatenlogik erster Stufe dbpedia-pl:Prädikatenlogik erster Stufe dbpedia-pt:Prädikatenlogik erster Stufe dbpedia-wikidata:Prädikatenlogik erster Stufe freebase:Prädikatenlogik erster Stufe |
prov:wasDerivedFrom | wikipedia-de:Prädikatenlogik_erster_Stufe?oldid=156241276 |
foaf:isPrimaryTopicOf | wikipedia-de:Prädikatenlogik_erster_Stufe |
is dbo:wikiPageRedirects of | dbpedia-de:Atomarer_Ausdruck |
is foaf:primaryTopic of | wikipedia-de:Prädikatenlogik_erster_Stufe |