71 Beziehungen: Aristoteles, Aussagenlogik, Baumkalkül, Bedeutung, Begriff (Philosophie), Begriffslogik, Begriffsschrift, Benson Mates, Charles Sanders Peirce, Dialogische Logik, Diskursuniversum, Distributivgesetz, Eigenname, Eigenschaft, Entscheidbar, Existential Graphs, Expertensystem, Extensionalitätsprinzip, Fitch-Kalkül, Formale Semantik, Freie Variable und gebundene Variable, Funktion (Mathematik), Gottlob Frege, Grundlagen der Mathematik, Hilbert-Kalkül, Identität (Logik), Implikation, Informatik, Junktor, Kalkül, Kalkül (Datenbank), Karel Berka, Künstliche Intelligenz, Kennzeichnung (Logik), Klassische Logik, Klaus Dethloff (Philosoph), Konjunktion (Logik), Konjunktive Anfrage, Logik, Logik höherer Stufe, Logische Äquivalenz, Logische Programmierung, Martha Kneale, Mathematik, Matrix (Mathematik), Modallogik, Nichtklassische Logik, Nominator (Logik), Ontologie, Philosophie, ..., Prädikat (Grammatik), Prädikat (Logik), Prädikatenlogik erster Stufe, Prädikatenlogik zweiter Stufe, Prinzip der Zweiwertigkeit, Quantor, Relation (Philosophie), Resolution (Logik), Semantik (Logik), Sequenzenkalkül, Sprachphilosophie, Sprachwissenschaft, SQL, Syllogismus, Systeme natürlichen Schließens, Temporale Logik, Tupel, Wahrheitswert, Wikiversity, William Kneale, Wissensrepräsentation. Erweitern Sie Index (21 mehr) »
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!!: Prädikatenlogik und Aristoteles · Mehr sehen »
Aussagenlogik
Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird.
Neu!!: Prädikatenlogik und Aussagenlogik · Mehr sehen »
Baumkalkül
Baumkalküle oder Tableaukalküle, nach ihrem Erfinder auch Beth-Kalküle genannt, sind Widerlegungskalküle der Logik.
Neu!!: Prädikatenlogik und Baumkalkül · Mehr sehen »
Bedeutung
Bedeutung steht für den durch ein Zeichen, ein Wort oder eine Aussage hervorgerufenen Wissenszusammenhang.
Neu!!: Prädikatenlogik und Bedeutung · Mehr sehen »
Begriff (Philosophie)
Im weiteren Sinne bezeichnet das Wort Begriff in der Philosophie, wie ein Wort zu verstehen ist (im Sinne von „zu begreifen“).
Neu!!: Prädikatenlogik und Begriff (Philosophie) · Mehr sehen »
Begriffslogik
Begriffslogik oder terministische bzw.
Neu!!: Prädikatenlogik und Begriffslogik · Mehr sehen »
Begriffsschrift
Das Titelblatt der ''Begriffsschrift'' Die Begriffsschrift ist ein schmales, nur etwa achtzig Seiten umfassendes Buch des Jenaer Mathematikers und Philosophen Gottlob Frege zur Logik.
Neu!!: Prädikatenlogik und Begriffsschrift · Mehr sehen »
Benson Mates
Benson Mates (* 19. Mai 1919 in Portland (Oregon); † 14. Mai 2009 in Berkeley) war ein US-amerikanischer Philosoph, bekannt für seine Arbeit auf dem Gebiet der Logik, der Geschichte der Philosophie und vor allem des Skeptizismus.
Neu!!: Prädikatenlogik und Benson Mates · 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!!: Prädikatenlogik und Charles Sanders Peirce · Mehr sehen »
Dialogische Logik
Die dialogische Logik (engl.: dialogical logic auch: game semantics) ist ein von den deutschen Logikern und Philosophen Kuno Lorenz und Paul Lorenzen entwickelter spieltheoretischer, semantiknaher Ansatz zur Logik.
Neu!!: Prädikatenlogik und Dialogische Logik · 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!!: Prädikatenlogik und Diskursuniversum · Mehr sehen »
Distributivgesetz
Visualisierung des Distributivgesetzes für positive Zahlen Die Distributivgesetze/Verteilungsgesetze sind mathematische Regeln, die angeben, wie sich zwei zweistellige Verknüpfungen bei der Auflösung von Klammern zueinander verhalten, nämlich dass die eine Verknüpfung in einer bestimmten Weise mit der anderen Verknüpfung verträglich ist.
Neu!!: Prädikatenlogik und Distributivgesetz · Mehr sehen »
Eigenname
Ein Eigenname benennt einzelne Dinge oder Wesen.
Neu!!: Prädikatenlogik und Eigenname · Mehr sehen »
Eigenschaft
Eine Eigenschaft (caractère) bezeichnet etwas, das einer Person, einem Gegenstand, einem Begriff oder einer (anderen) Eigenschaft zugeschrieben wird.
Neu!!: Prädikatenlogik und Eigenschaft · Mehr sehen »
Entscheidbar
In der theoretischen Informatik heißt eine Eigenschaft auf einer Menge entscheidbar (auch rekursiv, rekursiv ableitbar), wenn es ein Entscheidungsverfahren für sie gibt.
Neu!!: Prädikatenlogik und Entscheidbar · Mehr sehen »
Existential Graphs
Existential Graphs (die deutschen Übersetzungen „existenzielle Graphen“ und „Existenzgraphen“ sind nicht sehr gebräuchlich) sind ein logisches System des US-amerikanischen Logikers und Philosophen Charles Sanders Peirce.
Neu!!: Prädikatenlogik und Existential Graphs · Mehr sehen »
Expertensystem
Ein Expertensystem (XPS oder auch ES) ist ein Computerprogramm, das Menschen bei der Lösung komplexerer Probleme wie ein Experte unterstützen kann, indem es Handlungsempfehlungen aus einer Wissensbasis ableitet.
Neu!!: Prädikatenlogik und Expertensystem · Mehr sehen »
Extensionalitätsprinzip
Mit Extensionalitätsprinzip ist meist eine Eigenschaft einer künstlichen oder natürlichen Sprache gemeint.
Neu!!: Prädikatenlogik und Extensionalitätsprinzip · Mehr sehen »
Fitch-Kalkül
Der Fitch-Kalkül ist eine von dem amerikanischen Logiker Frederic Brenton Fitch erfundene Methode für Beweise in Prädikatenlogik erster Stufe.
Neu!!: Prädikatenlogik und Fitch-Kalkül · Mehr sehen »
Formale Semantik
Formale Semantik beschäftigt sich mit der exakten Bedeutung von Termen in künstlichen oder natürlichen Sprachen.
Neu!!: Prädikatenlogik und Formale Semantik · Mehr sehen »
Freie Variable und gebundene Variable
In der Mathematik und Logik bezeichnet man eine Variable als in einer mathematischen Formel frei vorkommend, wenn sie in dieser Formel an mindestens einer Stelle nicht im Bereich eines Operators auftritt.
Neu!!: Prädikatenlogik und Freie Variable und gebundene Variable · Mehr sehen »
Funktion (Mathematik)
In der Mathematik ist eine Funktion oder Abbildung eine Beziehung (Relation) zwischen zwei Mengen, die jedem Element der einen Menge (Funktionsargument, unabhängige Variable, x-Wert) genau ein Element der anderen Menge (Funktionswert, abhängige Variable, y-Wert) zuordnet.
Neu!!: Prädikatenlogik und Funktion (Mathematik) · Mehr sehen »
Gottlob Frege
Gottlob Frege (1878) Friedrich Ludwig Gottlob Frege (* 8. November 1848 in Wismar; † 26. Juli 1925 in Bad Kleinen) war ein deutscher Logiker, Mathematiker und Philosoph.
Neu!!: Prädikatenlogik und Gottlob Frege · Mehr sehen »
Grundlagen der Mathematik
Die Grundlagen der Mathematik sind einerseits Teil der Mathematik, andererseits bilden sie einen wichtigen Gegenstand erkenntnistheoretischer Reflexion, wenn diese sich mit den allgemeinen Grundlagen der menschlichen Erkenntnisgewinnung befasst.
Neu!!: Prädikatenlogik und Grundlagen der Mathematik · Mehr sehen »
Hilbert-Kalkül
Hilbertkalküle sind axiomatische Kalküle für die klassische Aussagenlogik oder die Prädikatenlogik erster Stufe, das heißt Kalküle, in denen sich Theoreme und Argumente der Aussagenlogik oder der Prädikatenlogik erster Stufe herleiten lassen.
Neu!!: Prädikatenlogik und Hilbert-Kalkül · 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!!: Prädikatenlogik 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!!: Prädikatenlogik und Implikation · Mehr sehen »
Informatik
Lambda lc.svg Sorting quicksort anim frame.svg Utah teapot simple 2.png 3-Tasten-Maus Microsoft.jpg Bei der Informatik handelt es sich um die Wissenschaft von der systematischen Darstellung, Speicherung, Verarbeitung und Übertragung von Daten, wobei besonders die automatische Verarbeitung mit Computern betrachtet wird.
Neu!!: Prädikatenlogik und Informatik · 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!!: Prädikatenlogik und Junktor · Mehr sehen »
Kalkül
Als der oder das Kalkül („Rechnung“; von „Rechenstein“, „Spielstein“) versteht man in den formalen Wissenschaften wie Logik und Mathematik ein formales System von Regeln, mit denen sich aus gegebenen Aussagen (Axiomen) weitere Aussagen ableiten lassen.
Neu!!: Prädikatenlogik und Kalkül · Mehr sehen »
Kalkül (Datenbank)
Für die theoretische Betrachtung und die semantisch genaue Definition von Anfragesprachen für Datenbanken werden Kalkülausdrücke genutzt, speziell der Tupelkalkül und der Bereichskalkül (auch Domänen-Kalkül). Aufgrund ihrer Ähnlichkeit werden sie hier zusammen betrachtet.
Neu!!: Prädikatenlogik und Kalkül (Datenbank) · Mehr sehen »
Karel Berka
Karel Berka (* 4. Mai 1923 in Břeclav; † 24. November 2004; Pseudonym: Kurt Bermann) war ein tschechischer Philosoph.
Neu!!: Prädikatenlogik und Karel Berka · Mehr sehen »
Künstliche Intelligenz
Künstliche Intelligenz (KI), auch artifizielle Intelligenz (AI), englisch artificial intelligence, ist ein Teilgebiet der Informatik, es umfasst alle Anstrengungen, deren Ziel es ist, Maschinen intelligent zu machen.
Neu!!: Prädikatenlogik und Künstliche Intelligenz · Mehr sehen »
Kennzeichnung (Logik)
Als Kennzeichnungen, auch bestimmte oder definite Kennzeichnungen, werden in der Sprachphilosophie Ausdrücke der Form „der/die/das A“ bezeichnet.
Neu!!: Prädikatenlogik und Kennzeichnung (Logik) · 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!!: Prädikatenlogik und Klassische Logik · Mehr sehen »
Klaus Dethloff (Philosoph)
Klaus Dethloff (* 24. April 1938 in Langenbielau, Niederschlesien; † 15. März 2017 in Österreich) war ein deutsch-österreichischer Philosoph und Hochschullehrer.
Neu!!: Prädikatenlogik und Klaus Dethloff (Philosoph) · 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!!: Prädikatenlogik und Konjunktion (Logik) · Mehr sehen »
Konjunktive Anfrage
Konjunktive Anfragen sind eine Einschränkung von Anfragen der Prädikatenlogik und haben eine Reihe an wünschenswerten Eigenschaften, die in der Datenbanktheorie intensiv untersucht worden sind.
Neu!!: Prädikatenlogik und Konjunktive Anfrage · Mehr sehen »
Logik
Mit Logik (von logikè téchnē ‚Kunst des Denkens‘, ‚Kunst des Argumentierens‘) wird im Allgemeinen das vernünftige Schlussfolgern und im Besonderen dessen Lehre – die Schlussfolgerungslehre oder auch Denklehre – bezeichnet.
Neu!!: Prädikatenlogik und Logik · Mehr sehen »
Logik höherer Stufe
Unter Logik höherer Stufe, auch Stufenlogik, versteht man eine Erweiterung der Prädikatenlogik erster Stufe.
Neu!!: Prädikatenlogik und Logik höherer Stufe · Mehr sehen »
Logische Äquivalenz
Eine logische Äquivalenz liegt vor, wenn zwei logische Ausdrücke den gleichen Wahrheitswert besitzen.
Neu!!: Prädikatenlogik und Logische Äquivalenz · Mehr sehen »
Logische Programmierung
Logische Programmierung (Prädikative Programmierung, Logikprogrammierung) ist ein Programmierparadigma, das auf der mathematischen Logik beruht.
Neu!!: Prädikatenlogik und Logische Programmierung · Mehr sehen »
Martha Kneale
Martha Kneale (geborene Hurst; * 1909; † 2. Dezember 2001) war eine britische Philosophin und Logikhistorikerin.
Neu!!: Prädikatenlogik und Martha Kneale · Mehr sehen »
Mathematik
Die Mathematik (bundesdeutsches Hochdeutsch:,; österreichisches Hochdeutsch:; mathēmatikē téchnē ‚die Kunst des Lernens‘) ist eine Formalwissenschaft, die aus der Untersuchung von geometrischen Figuren und dem Rechnen mit Zahlen entstand.
Neu!!: Prädikatenlogik und Mathematik · Mehr sehen »
Matrix (Mathematik)
Schema für eine allgemeine m\times n-Matrix Bezeichnungen In der Mathematik versteht man unter einer Matrix (Plural Matrizen) eine rechteckige Anordnung (Tabelle) von Elementen (meist mathematischer Objekte, etwa Zahlen).
Neu!!: Prädikatenlogik und Matrix (Mathematik) · Mehr sehen »
Modallogik
Die Modallogik ist derjenige Zweig der Logik, der sich mit den Folgerungen um die Modalbegriffe möglich und notwendig befasst.
Neu!!: Prädikatenlogik und Modallogik · Mehr sehen »
Nichtklassische Logik
Nichtklassische Logiken sind formale Systeme, die sich signifikant von den klassischen Logiksystemen wie der Aussagenlogik und der Prädikatenlogik unterscheiden.
Neu!!: Prädikatenlogik und Nichtklassische Logik · Mehr sehen »
Nominator (Logik)
Ein Nominator (m., von), auch singulärer Term oder Eigenname ist in der Sprachphilosophie und in der Prädikatenlogik ein Ausdruck, der genau einen Gegenstand bezeichnet.
Neu!!: Prädikatenlogik und Nominator (Logik) · Mehr sehen »
Ontologie
Die Ontologie (im 16. Jahrhundert als griechisch ὀντολογία ontología gebildet aus ón ‚seiend‘ bzw. ‚das Sein‘ und λόγος lógos ‚Lehre‘, also ‚Lehre vom Seienden‘ bzw. ‚Lehre des Seins‘) ist eine Disziplin der (theoretischen) Philosophie, die sich mit der Einteilung des Seienden und den Grundstrukturen der Wirklichkeit befasst.
Neu!!: Prädikatenlogik und Ontologie · Mehr sehen »
Philosophie
Raffaels Schule von Athen mit den idealisierten Darstellungen der Gründerväter der abendländischen Philosophie. Obwohl seit Platon vor allem eine Sache der schriftlichen Abhandlung, ist das angeregte Gespräch bis heute ein wichtiger Bestandteil des philosophischen Lebens. In der Philosophie (philosophía, latinisiert philosophia, wörtlich „Liebe zur Weisheit“) wird versucht, die Welt und die menschliche Existenz zu ergründen, zu deuten und zu verstehen.
Neu!!: Prädikatenlogik und Philosophie · Mehr sehen »
Prädikat (Grammatik)
Prädikat (von, Partizip zu praedicare „ausrufen, rühmen“), in der traditionellen Grammatik auch Satzaussage, bezeichnet in der deutschen Grammatik in der Regel den Kernbestandteil in einem Satz, von dem ergänzende Satzteile abhängen (die Satzglieder wie Subjekt, Objekt, Adverbial).
Neu!!: Prädikatenlogik und Prädikat (Grammatik) · Mehr sehen »
Prädikat (Logik)
Prädikat (von) nennt man in der modernen Prädikatenlogik den Teil einer atomaren Aussage, der wahrheitsfunktional ist.
Neu!!: Prädikatenlogik und Prädikat (Logik) · Mehr sehen »
Prädikatenlogik erster Stufe
Die Prädikatenlogik erster Stufe ist ein Teilgebiet der mathematischen Logik.
Neu!!: Prädikatenlogik und Prädikatenlogik erster Stufe · Mehr sehen »
Prädikatenlogik zweiter Stufe
Die Prädikatenlogik zweiter Stufe ist ein Teilgebiet der mathematischen Logik.
Neu!!: Prädikatenlogik und Prädikatenlogik zweiter Stufe · Mehr sehen »
Prinzip der Zweiwertigkeit
Das Prinzip der Zweiwertigkeit, auch Bivalenzprinzip genannt, ist die Eigenschaft einer Logik, dass semantisch jeder Formel genau einer von zwei Wahrheitswerten zugewiesen wird.
Neu!!: Prädikatenlogik und Prinzip der Zweiwertigkeit · Mehr sehen »
Quantor
Ein Quantor oder Quantifikator, die Re-Latinisierung des von C. S. Peirce eingeführten Ausdrucks „quantifier“, ist ein Operator der Prädikatenlogik.
Neu!!: Prädikatenlogik und Quantor · Mehr sehen »
Relation (Philosophie)
Als Relation wird im Allgemeinen ein Verhältnis zwischen einem Seienden oder Ereignis zu einem oder mehreren anderen bezeichnet.
Neu!!: Prädikatenlogik und Relation (Philosophie) · Mehr sehen »
Resolution (Logik)
Die Resolution ist ein Verfahren der formalen Logik, um eine logische Formel auf Gültigkeit zu testen.
Neu!!: Prädikatenlogik und Resolution (Logik) · Mehr sehen »
Semantik (Logik)
In der Logik beschäftigt sich die Semantik mit der exakten Bedeutung von Termen in Sprachen.
Neu!!: Prädikatenlogik und Semantik (Logik) · Mehr sehen »
Sequenzenkalkül
In der Beweistheorie und der mathematischen Logik bezeichnet man mit Sequenzenkalkül formale Systeme (oder Kalküle), die einen bestimmten Stil der Ableitung und gewisse Eigenschaften teilen.
Neu!!: Prädikatenlogik und Sequenzenkalkül · Mehr sehen »
Sprachphilosophie
Die Sprachphilosophie ist die Disziplin der Philosophie, die sich mit Sprache und Bedeutung beschäftigt, vor allem mit dem Verhältnis von Sprache und Wirklichkeit und dem Verhältnis von Sprache und Bewusstsein (bzw. Denken).
Neu!!: Prädikatenlogik und Sprachphilosophie · Mehr sehen »
Sprachwissenschaft
Sprachwissenschaft, auch Linguistik (zu ‚Zunge‘, ‚Sprache‘), untersucht in verschiedenen Herangehensweisen die menschliche Sprache.
Neu!!: Prädikatenlogik und Sprachwissenschaft · Mehr sehen »
SQL
SQL (offizielle Aussprache, mitunter auch; auf Deutsch auch häufig die deutsche Aussprache der Buchstaben) ist eine Datenbanksprache zur Definition von Datenstrukturen in relationalen Datenbanken sowie zum Bearbeiten (Einfügen, Verändern, Löschen) und Abfragen von darauf basierenden Datenbeständen.
Neu!!: Prädikatenlogik und SQL · Mehr sehen »
Syllogismus
Die Syllogismen (von syllogismós „ Zusammenrechnen“, „logischer Schluss“) sind ein Katalog bestimmter Typen logischer Schlüsse.
Neu!!: Prädikatenlogik und Syllogismus · Mehr sehen »
Systeme natürlichen Schließens
Systeme (oder Kalküle) natürlichen Schließens bezeichnen in der mathematischen und philosophischen Logik einen Kalkültyp, der 1934 von Gerhard Gentzen und etwa zeitgleich von Stanisław Jaśkowski – einem Vertreter der Lemberg-Warschau-Schule – entwickelt wurde.
Neu!!: Prädikatenlogik und Systeme natürlichen Schließens · Mehr sehen »
Temporale Logik
Temporale Logiken oder Zeitlogiken sind Erweiterungen der Logik, durch die zeitliche Abläufe erfasst werden können.
Neu!!: Prädikatenlogik und Temporale Logik · Mehr sehen »
Tupel
Tupel (abgeleitet von mittellateinisch quintuplus ‚fünffach‘, septuplus ‚siebenfach‘, centuplus ‚hundertfach‘ etc.) sind in der Mathematik neben Mengen eine wichtige Art und Weise, mathematische Objekte zusammenzufassen.
Neu!!: Prädikatenlogik und Tupel · Mehr sehen »
Wahrheitswert
Ein Wahrheitswert ist in Logik und Mathematik ein logischer Wert, den eine Aussage in Bezug auf Wahrheit annehmen kann.
Neu!!: Prädikatenlogik und Wahrheitswert · Mehr sehen »
Wikiversity
Die Wikiversity (auf Deutsch auch Wikiversität) ist eine Online-Plattform in Form eines Wikis zum gemeinschaftlichen Lernen, Lehren und Forschen.
Neu!!: Prädikatenlogik und Wikiversity · Mehr sehen »
William Kneale
William Calvert Kneale (* 22. Juni 1906 in Liverpool; † 24. Juni 1990 in Grassington, Yorkshire, UK) war ein britischer Logiker, Logikhistoriker und Wissenschaftstheoretiker.
Neu!!: Prädikatenlogik und William Kneale · Mehr sehen »
Wissensrepräsentation
Wissensrepräsentation (englisch: knowledge representation) dient im Rahmen der Wissensmodellierung dazu, Wissen in Wissensbasierten Systemen formal abzubilden.
Neu!!: Prädikatenlogik und Wissensrepräsentation · Mehr sehen »
Leitet hier um:
Prädikatenkalkül, Prädikatorenlogik, Quantorenlogik.