Schneller Zugriff als Browser!
24 Beziehungen: Allgemeingültigkeit, Aussage (Logik), Aussagenlogik, Charles Hartshorne, Charles Sanders Peirce, Disjunktion, Ikon, John F. Sowa, Kalkül, Kettenschluss, Konjunktion (Logik), Konzeptgraph, Korrektheit (Logik), Logik höherer Stufe, Martha Kneale, Modallogik, Notwendige und hinreichende Bedingung, Paul Weiss (Philosoph), Prädikatenlogik, Semiotik, Subjunktion, Vollständigkeit (Logik), William Kneale, Wissensrepräsentation.
Allgemeingültigkeit
In einer formalen Logik oder einem Kalkül bezeichnet man eine Formel als allgemeingültig oder gültig, wenn sie von jeder beliebigen Interpretation erfüllt wird.
Neu!!: Existential Graphs und Allgemeingültigkeit · Mehr sehen »
Aussage (Logik)
Eine Aussage im Sinn der aristotelischen Logik ist ein sprachliches Gebilde, von dem es sinnvoll ist, zu fragen, ob es wahr oder falsch ist (so genanntes Aristotelisches Zweiwertigkeitsprinzip).
Neu!!: Existential Graphs und Aussage (Logik) · 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!!: Existential Graphs und Aussagenlogik · Mehr sehen »
Charles Hartshorne
Charles Hartshorne (* 5. Juni 1897 in Kittanning, Pennsylvania; † 9. Oktober 2000 in Austin, Texas) war ein US-amerikanischer Philosoph.
Neu!!: Existential Graphs und Charles Hartshorne · 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!!: Existential Graphs und Charles Sanders Peirce · 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!!: Existential Graphs und Disjunktion · Mehr sehen »
Ikon
Ikon (gesprochen, gen. des Ikons, pl. die Ikone; vom eikṓn „Bild“ über englisch icon), auch ikonisches Zeichen, ist ein von Charles S. Peirce eingeführter Terminus der Zeichentheorie (Semiotik) und der Sprachwissenschaft (Linguistik) und bedeutet ein Zeichen, dessen Zeichenfunktion darauf beruht, dass es mit dem bezeichneten Gegenstand (Referenzobjekt) eine wahrnehmbare Ähnlichkeit hat.
Neu!!: Existential Graphs und Ikon · Mehr sehen »
John F. Sowa
John F. Sowa (* 1940) ist Mathematiker und promovierter Informatiker mit Forschungsschwerpunkten Konzeptgraphen (Conceptual Graphs basierend auf den Existential Graphs von Charles Sanders Peirce), Knowledge Sharing und Ontologien.
Neu!!: Existential Graphs und John F. Sowa · 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!!: Existential Graphs und Kalkül · Mehr sehen »
Kettenschluss
Als Kettenschluss werden in der traditionellen und in der modernen Logik zwei unterschiedliche, aber optisch ähnliche Schlussfiguren (Implikationsserien) bezeichnet.
Neu!!: Existential Graphs und Kettenschluss · 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!!: Existential Graphs und Konjunktion (Logik) · Mehr sehen »
Konzeptgraph
Konzeptgraphen oder Begriffsgraphen, abgekürzt Kg (englisch conceptual graph, CG) sind ein von John F. Sowa entwickeltes logisches Sprachsystem für die semantische Beschreibung von abgegrenzten Wissensdomänen.
Neu!!: Existential Graphs und Konzeptgraph · Mehr sehen »
Korrektheit (Logik)
Korrektheit ist eine wichtige Eigenschaft formaler Systeme oder Kalküle und betrifft den Zusammenhang zwischen Syntax und Semantik, der umgangssprachlich lautet: Was formal ableitbar ist, ist auch wahr, soweit die Prämissen der Ableitung wahr sind.
Neu!!: Existential Graphs und Korrektheit (Logik) · Mehr sehen »
Logik höherer Stufe
Unter Logik höherer Stufe, auch Stufenlogik, versteht man eine Erweiterung der Prädikatenlogik erster Stufe.
Neu!!: Existential Graphs und Logik höherer Stufe · Mehr sehen »
Martha Kneale
Martha Kneale (geborene Hurst; * 1909; † 2. Dezember 2001) war eine britische Philosophin und Logikhistorikerin.
Neu!!: Existential Graphs und Martha Kneale · Mehr sehen »
Modallogik
Die Modallogik ist derjenige Zweig der Logik, der sich mit den Folgerungen um die Modalbegriffe möglich und notwendig befasst.
Neu!!: Existential Graphs und Modallogik · Mehr sehen »
Notwendige und hinreichende Bedingung
Notwendige Bedingung und hinreichende Bedingung sind Begriffe aus der mathematischen Beweisführung, die Bedingungen in zwei verschiedene Typen unterteilt.
Neu!!: Existential Graphs und Notwendige und hinreichende Bedingung · Mehr sehen »
Paul Weiss (Philosoph)
Paul Weiss (* 19. Mai 1901 in New York; † 5. Juli 2002 in Washington) war ein US-amerikanischer Philosoph.
Neu!!: Existential Graphs und Paul Weiss (Philosoph) · 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!!: Existential Graphs und Prädikatenlogik · Mehr sehen »
Semiotik
Semiotik (auch Semeiotik; von sēmeĩon ‚Zeichen‘, ‚Signal‘), manchmal auch Zeichentheorie, ist die Wissenschaft, die sich mit Zeichensystemen aller Art befasst (z. B. Bilderschrift, Gestik, Formeln, Sprache, Verkehrszeichen).
Neu!!: Existential Graphs und Semiotik · Mehr sehen »
Subjunktion
B Subjunktion (lat. subiungere,unterordnen‘) oder Konditional (lat. condicio,Beschaffenheit, Zustand, Bedingung, Verfassung‘) oder auch materiale Implikation (lat. materia,das, woraus etwas besteht‘ und implicare,umfassen‘) wird in der Logik eine Aussage genannt, die mit dem Junktor „Wenn-dann“ aus zwei anderen Aussagen zusammengesetzt ist, zum Beispiel die Aussage „Wenn ein elektrischer Strom fließt, dann erwärmt sich die Leitung“.
Neu!!: Existential Graphs und Subjunktion · Mehr sehen »
Vollständigkeit (Logik)
Der Begriff Vollständigkeit hat in der Logik verschiedene Bedeutungen.
Neu!!: Existential Graphs und Vollständigkeit (Logik) · 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!!: Existential Graphs 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!!: Existential Graphs und Wissensrepräsentation · Mehr sehen »
Leitet hier um:
Alphagraph, Alphagraphen, Betagraph, Betagraphen, Existenzgraph, Existenzgraphen, Existenzielle Graphen, Gammagraph, Gammagraphen, Identitätslinie.
