43 Beziehungen: Alfred North Whitehead, Allabschluss, Allaussage, Aristoteles, Aussageform, Bertrand Russell, Cambria (Schriftart), Charles Sanders Peirce, Christiane Fellbaum, Currying, De-morgansche Gesetze, Definition, Disjunktion, Diskursuniversum, Existenzaussage, Florian Cajori, George A. Miller, Gerhard Gentzen, Giuseppe Peano, Historisches Wörterbuch der Philosophie, Identität (Logik), Implikation, Joachim Grabowski, Junktor, Klassische Logik, Konjunktion (Logik), Koreferenz, Meta-Ontologie, Natürliche Sprache, Operator (Mathematik), Prädikatenlogik, Prämisse, Präsupposition, Principia Mathematica, Quantorenunverträglichkeit, Relativsatz, Schlussfolgerung, Schriftart, Semantik, Serife, Skopus (Logik), Syllogismus, Variable (Logik).
Alfred North Whitehead
Alfred North Whitehead Alfred North Whitehead OM (* 15. Februar 1861 in Ramsgate; † 30. Dezember 1947 in Cambridge, Massachusetts) war ein britischer Philosoph und Mathematiker.
Neu!!: Quantor und Alfred North Whitehead · Mehr sehen »
Allabschluss
Als Allabschluss bezeichnet man eine syntaktische Operation in der Prädikatenlogik, durch welche für alle sogenannten freien Variablen einer Formel F eine Allquantifizierung, d. h. eine Quantifizierung mittels des Allquantors ∀ vorgenommen wird.
Neu!!: Quantor und Allabschluss · Mehr sehen »
Allaussage
Eine Allaussage ist eine Aussage über alle Elemente eines bestimmten Gegenstandsbereichs, zum Beispiel die Aussage „Alle Menschen sind sterblich.“ Synonym werden modern Bezeichnungen wie Universalaussage, universale Aussage, universelle Aussage, Allsatz, Generalisation oder Generalisierung (als Ergebnis) verwendet.
Neu!!: Quantor und Allaussage · Mehr sehen »
Aristoteles
Aristoteles (Betonung lateinisch und deutsch: Aristóteles; * 384 v. Chr. in Stageira; † 322 v. Chr. in Chalkis auf Euböa) war ein griechischer Universalgelehrter.
Neu!!: Quantor und Aristoteles · Mehr sehen »
Aussageform
Der Ausdruck Aussageform hat in der Logik zwei Bedeutungen, denen gemeinsam ist, dass es sich um Ausdrücke handelt, deren Wahrheit oder Falschheit noch offen ist.
Neu!!: Quantor und Aussageform · Mehr sehen »
Bertrand Russell
Bertrand Russell (1957) Bertrand Arthur William Russell, 3.
Neu!!: Quantor und Bertrand Russell · Mehr sehen »
Cambria (Schriftart)
Cambria ist eine Serifenschrift.
Neu!!: Quantor und Cambria (Schriftart) · Mehr sehen »
Charles Sanders Peirce
zentriert Charles Santiago Sanders Peirce (ausgesprochen: /'pɜrs/ wie: pörs) (* 10. September 1839 in Cambridge, Massachusetts; † 19. April 1914 in Milford, Pennsylvania) war ein US-amerikanischer Mathematiker, Philosoph, Logiker und Semiotiker.
Neu!!: Quantor und Charles Sanders Peirce · Mehr sehen »
Christiane Fellbaum
Christiane Dorothea Fellbaum (* 18. Dezember 1950 in Braunschweig) ist eine deutsche Linguistin.
Neu!!: Quantor und Christiane Fellbaum · Mehr sehen »
Currying
Currying (vor allem in der Linguistik auch Schönfinkeln) ist die Umwandlung einer Funktion mit mehreren Argumenten in eine Sequenz von Funktionen mit jeweils einem Argument.
Neu!!: Quantor und Currying · Mehr sehen »
De-morgansche Gesetze
De-morgansches Gesetz mit Logikgattern dargestellt Die de-morganschen Gesetze (oft auch de-morgansche Regeln) sind zwei grundlegende Regeln für logische Aussagen.
Neu!!: Quantor und De-morgansche Gesetze · Mehr sehen »
Definition
Unter einer Definition („Abgrenzung“, aus, „(von etwas) herab/weg“ und, „Grenze“) versteht man in Logik und Wissenschaftstheorie die Bestimmung eines Begriffs (Begriffsbestimmung) oder die Erklärung des Wesens einer Sache.
Neu!!: Quantor und Definition · Mehr sehen »
Disjunktion
Vereinigung von Mengen wird über die (nicht-ausschließende) Disjunktion definiert. OR-Gatter: Wenn Taster E1 '''oder''' E2 betätigt wird, leuchtet die Lampe. Dieses logische Oder umfasst auch den Fall, dass beide zugleich gedrückt werden. Disjunktion („Oder-Verknüpfung“, von lat. disiungere „trennen, unterscheiden, nicht vermengen“) und Adjunktion (von lat. adiungere, „anfügen, verbinden“) sind in der Logik die Bezeichnungen für zwei Typen von Aussagen, bei denen je zwei Aussagesätze durch ein ausschließendes oder oder durch ein nichtausschließendes oder verbunden sind.
Neu!!: Quantor und Disjunktion · Mehr sehen »
Diskursuniversum
Unter einem Diskursuniversum versteht man in der Logik und Sprachphilosophie die Gesamtheit der Gegenstände, auf die sich Aussagen wie „alle Gegenstände sind … “ (Allaussage) oder „es gibt keine Gegenstände, die … sind“ (negative Existenzaussage) beziehen.
Neu!!: Quantor und Diskursuniversum · Mehr sehen »
Existenzaussage
Eine Existenzaussage ist eine Aussage beziehungsweise Behauptung des Inhalts, dass mindestens ein Gegenstand (Element, Individuum, Ereignis) eines bestimmten Gegenstandsbereichs eine bestimmte Eigenschaft hat, d. h., dass die betroffene Eigenschaft auf mindestens einen Gegenstand zutrifft.
Neu!!: Quantor und Existenzaussage · Mehr sehen »
Florian Cajori
Florian Cajori Florian Cajori (* 28. Februar 1859 in Scharans; † 15. August 1930 in Berkeley (Kalifornien)) war ein schweizerisch-US-amerikanischer Mathematikhistoriker.
Neu!!: Quantor und Florian Cajori · Mehr sehen »
George A. Miller
George Armitage Miller (* 3. Februar 1920 in Charleston, West Virginia; † 22. Juli 2012 in Plainsboro, New Jersey) war ein US-amerikanischer Psychologe.
Neu!!: Quantor und George A. Miller · Mehr sehen »
Gerhard Gentzen
Gerhard Gentzen Gerhard Karl Erich Gentzen (* 24. November 1909 in Greifswald; † 4. August 1945 in Prag) war ein deutscher Mathematiker und Logiker.
Neu!!: Quantor und Gerhard Gentzen · Mehr sehen »
Giuseppe Peano
Giuseppe Peano Giuseppe Peano (* 27. August 1858 in Spinetta, heute Teil von Cuneo, Piemont; † 20. April 1932 in Turin) war ein italienischer Mathematiker.
Neu!!: Quantor und Giuseppe Peano · Mehr sehen »
Historisches Wörterbuch der Philosophie
HWPh (vollständige Ausgabe) Das Historische Wörterbuch der Philosophie (HWPh) ist ein mehrbändiges deutschsprachiges begriffsgeschichtliches Wörterbuch philosophischer Begriffe, das von 1971 bis 2007 unter den Hauptherausgebern Joachim Ritter, Karlfried Gründer und Gottfried Gabriel im Schwabe Verlag, Basel, erschienen ist.
Neu!!: Quantor und Historisches Wörterbuch der Philosophie · Mehr sehen »
Identität (Logik)
In logischen Systemen wird Identität über Ununterscheidbarkeit eingeführt: Das Identitätsprinzip (auch Satz der Identität) besagt, dass ein Gegenstand A genau dann mit einem Gegenstand B identisch ist, wenn sich zwischen A und B kein Unterschied finden lässt.
Neu!!: Quantor und Identität (Logik) · Mehr sehen »
Implikation
Die Bezeichnung Implikation (von; Verb: implizieren; Adjektiv: implizit) wird in der Logik nicht einheitlich für einen bestimmten logischen Zusammenhang verwendet; insbesondere werden unterschieden.
Neu!!: Quantor und Implikation · Mehr sehen »
Joachim Grabowski
Joachim Grabowski (* 1958 in Hechingen) ist ein deutscher Psychologe.
Neu!!: Quantor und Joachim Grabowski · Mehr sehen »
Junktor
Ein Junktor (von lat. iungere „verknüpfen, verbinden“) ist eine logische Verknüpfung zwischen Aussagen innerhalb der Aussagenlogik, also ein logischer Operator.
Neu!!: Quantor und Junktor · Mehr sehen »
Klassische Logik
Unter der klassischen Logik versteht man ein logisches System, das die Aussagen-, die Prädikatenlogik erster oder höherer Stufe sowie im Allgemeinen den (logischen) Identitätsbegriff enthält.
Neu!!: Quantor und Klassische Logik · Mehr sehen »
Konjunktion (Logik)
Schnitt von Mengen wird über die Konjunktion definiert AND-Gatter: Wenn die Taster E1 '''und''' E2 betätigt werden, leuchtet die Lampe. In der Logik wird als Konjunktion (von ‚verbinden‘) oder auch Und-Verknüpfung eine bestimmte Verknüpfung zweier Aussagen oder Aussagefunktionen bezeichnet.
Neu!!: Quantor und Konjunktion (Logik) · Mehr sehen »
Koreferenz
Kohäsionsmittel im Deutschen Koreferenz (auch Referenzidentität) ist ein Terminus aus der Sprachwissenschaft sowie allgemein aus der Semiotik.
Neu!!: Quantor und Koreferenz · Mehr sehen »
Meta-Ontologie
Meta-Ontologie ist das Studium des Forschungsgebiets, das als Ontologie bekannt ist.
Neu!!: Quantor und Meta-Ontologie · Mehr sehen »
Natürliche Sprache
Als natürliche Sprache bezeichnet man in der Sprachwissenschaft eine von Menschen gesprochene Sprache oder eine Gebärdensprache, die aus einer ungesteuerten historischen Entwicklung entstanden ist.
Neu!!: Quantor und Natürliche Sprache · Mehr sehen »
Operator (Mathematik)
Ein Operator ist eine mathematische Vorschrift, durch die man aus mathematischen Objekten neue Objekte bilden kann.
Neu!!: Quantor und Operator (Mathematik) · Mehr sehen »
Prädikatenlogik
Die Prädikatenlogiken (auch Quantorenlogiken) bilden eine Familie logischer Systeme, die es erlauben, in der Praxis und in der Theorie vieler Wissenschaften wichtige Bereiche durch Argumente zu formalisieren und sie auf ihre Gültigkeit zu überprüfen.
Neu!!: Quantor und Prädikatenlogik · Mehr sehen »
Prämisse
Beispiel aus Syllogismus Als Prämisse (lat. praemissa „das Vorausgeschickte“) oder Vordersatz bezeichnet man in der Logik eine Voraussetzung oder Annahme.
Neu!!: Quantor und Prämisse · Mehr sehen »
Präsupposition
Der Ausdruck Präsupposition (von ‚voraussetzen‘) bezeichnet in der Sprachphilosophie und in der Linguistik eine implizite Voraussetzung.
Neu!!: Quantor und Präsupposition · Mehr sehen »
Principia Mathematica
Titelseite der ''Principia Mathematica'' (Kurzausgabe bis *56) Principia Mathematica („mathematische Prinzipien“ bzw. „Mathematische Grundlagen“) ist ein Werk in drei Bänden über die Grundlagen der Mathematik von Bertrand Russell und Alfred North Whitehead, erstmals erschienen zwischen 1910 und 1913.
Neu!!: Quantor und Principia Mathematica · Mehr sehen »
Quantorenunverträglichkeit
Quantorenunverträglichkeit bezeichnet die Eigenschaft der Prädikatenlogik erster Stufe, dass der Allquantor \forall sich nicht mit der Disjunktion und der Existenzquantor \exists sich nicht mit der Konjunktion „versteht“ (es gilt kein Distributivgesetz für diese Quantoren und Operatoren).
Neu!!: Quantor und Quantorenunverträglichkeit · Mehr sehen »
Relativsatz
Der Relativsatz (von „sich beziehend auf etwas, bezüglich“) ist in der Grammatik eine besondere Art von Nebensatz und dient in der Regel dazu, eine Eigenschaft einer Person oder eines Gegenstandes anzugeben.
Neu!!: Quantor und Relativsatz · Mehr sehen »
Schlussfolgerung
Schlussfolgerung, Schlussfolgern, Folgerung, Inferenz (aus „hineintragen“; „folgern“, „schließen“) oder Konklusion („Schlussfolgerung“) und Implikation sind in der Logik Bezeichnungen für mehrere eng miteinander verwandte Sachverhalte.
Neu!!: Quantor und Schlussfolgerung · Mehr sehen »
Schriftart
Als Schriftart bzw.
Neu!!: Quantor und Schriftart · Mehr sehen »
Semantik
Semantik (von), auch Bedeutungslehre genannt, ist die wissenschaftliche Beschäftigung mit Bedeutung und mit den verschiedenen Beziehungen zwischen einem Zeichen und dem Bezeichneten.
Neu!!: Quantor und Semantik · Mehr sehen »
Serife
Serifenformen Online.
Neu!!: Quantor und Serife · Mehr sehen »
Skopus (Logik)
In der Logik versteht man unter dem Bereich, der Reichweite oder dem Skopus (engl. scope „Bereich“, von lat. scopus „Ziel“) eines Quantors die kürzeste Formel, die diesem Quantor unmittelbar folgt.
Neu!!: Quantor und Skopus (Logik) · Mehr sehen »
Syllogismus
Die Syllogismen (von syllogismós „ Zusammenrechnen“, „logischer Schluss“) sind ein Katalog bestimmter Typen logischer Schlüsse.
Neu!!: Quantor und Syllogismus · Mehr sehen »
Variable (Logik)
Eine Variable ist in der formalen Logik ein „sprachliches Zeichen, für das beliebige Ausdrücke einer bestimmten Art eingesetzt werden können“.
Neu!!: Quantor und Variable (Logik) · Mehr sehen »
Leitet hier um:
Alloperator, Allquantifikator, Allquantor, Anzahlquantor, Eindeutigkeitsquantor, Es gibt, Existenz-Zeichen, Existenzialquantifikator, Existenzoperator, Existenzquantor, Generalisator, Partikularisator, Quantifikator, , , .