Wörterbuch der deutschen Sprache. In der Prädikatenlogik lässt sich auch die innere Struktur von Sätzen darstellen, die aussagenlogisch nicht weiter zerlegbar sind. – Personenbezeichnungen mit festem Genus, „Zum Hirschen“ – Starke und schwache Deklinationsformen. Synonyme Begriffe für das Wort antonym sind gegenteilig, gegensätzlich, Gegensatz, Gegenteil, Komplement, Umkehrung, Gegenwort Um diese Art des Schließens abzubilden, wurden nichtmonotone Logiken entwickelt: Sie verzichten auf die Monotonie-Eigenschaft, das heißt ein gültiges Argument kann durch das Hinzufügen weiterer Prämissen ungültig werden. By using our services, you agree to our use of cookies. Die wichtigsten Teilgebiete der formalen klassischen Logik sind die klassische Aussagenlogik, die Prädikatenlogik der ersten Stufe und Logik höherer Stufe, wie sie am Ende des 19. und am Anfang des 20. Die Intension (Begriffsinhalt, Sinn, Konnotation) umfasst die Menge der Merkmale (Attribute, Eigenschaften), die gegeben sein müssen, damit Objekte (Personen, Gegenstände) mit dem Ausdruck bezeichnet werden. (Siehe auch: Kategorie:Nichtklassische Logik).  |  Logik der Imagination Die Weite des Elementaren Übersetzt von Tobias Keiling ... Das Buch wurde von epline in Böblingen aus der Times gesetzt, von Gulde Druck in Tübingen auf alterungsbeständiges Werkdruckpapier gedruckt und von der Buchbinderei Spinner in Ottersweier gebunden. B. in der Prädikatenlogik als f(a) formalisiert, wobei a für Der Apfel und f für ist rot steht) und verwendet streng definierte Schlussregeln. Dann sollten Sie einen Blick auf unsere Abonnements werfen. It may not have been reviewed by professional editors (see full disclaimer). ], philosophise, philosophize (en) - philosopher (en) - philosopher (en) - philosophic, philosophical (en) - philosophic, philosophical (en) - logic, logical system, system of logic (en) - logic (en)[Dérivé]. Dies ist freilich nur möglich, wenn eine andere Konsequenzoperation als in einer klassischen Logik verwendet wird. Der Ausdruck „Logik“, im Griechischen logiké technē, steht sowohl in der älteren Stoa wie im älteren Peripatos für eine Lehre vom Argumentieren bzw. Definition, Rechtschreibung, Synonyme und Grammatik von 'Logik' … Von der Leyen to UK: Thatcher would not break her word on Brexit The Commission president invoked the former UK prime minister, who said: ‘Britain does not break treaties.’ A 1975 speech by former U.K. prime minister Margaret Thatcher was quoted by Commission President Ursula von der Leyen in her State of the Union address Die Be hauptung des ersten Teils dieser These nehme ich hier noch einmal auf. Give contextual explanation and translation from your sites ! Tips: browse the semantic fields (see From ideas to words) in two languages to learn more. Weitere Informationen ansehen. logische Bestandteile der Sprache der Mathematik richtig verstehen und gebrauchen z.B. English Encyclopedia is licensed by Wikipedia (GNU). In der Prädikatenlogik werden Begriffe als einstellige Prädikate ausgedrückt; mit mehrstelligen Prädikaten lässt sich zusätzlich die innere Struktur von Begriffen analysieren und damit die Gültigkeit von Argumenten zeigen, die syllogistisch nicht fassbar sind. Eine Definition (lateinisch definitio Abgrenzung, aus de (von etw.) Hier sind mehrere Varianten gebräuchlich: Zu den logischen Kalkülen, die ohne semantische Bewertungen auskommen, zählen: Von nichtklassischer Logik bzw. Solche Unternehmungen sind im 20. Ursprünglich hat sich die traditionelle Logik in Nachbarschaft zur Rhetorik entwickelt. Klicken Sie auf die Synonyme, um die Ergebnisse weiter zu verfeinern. In der Logik wird die Struktur von Argumenten im Hinblick auf ihre Gültigkeit untersucht, unabhängig vom Inhalt der Aussagen. Ein logisches System ist aufgebaut aus einerformalen Sprache, einer Klasse von Situationen (Modellen,Strukturen), und einemBeweissystem. Adjektiv – der Logik widersprechend, inkonsequent … Zum vollständigen Artikel → lo­gi­scher­wei­se. einem nichtklassischen logischen System spricht man, wenn mindestens eines der beiden oben genannten klassischen Prinzipien (Zweiwertigkeit und/oder Extensionalität) aufgegeben wird. Ein Grundbegriff der Syllogistik ist der Begriff „Begriffe“; er wird dort nicht weiter zerlegt. Verwenden Sie folgende URL, um diesen Artikel zu zitieren. In dieser Verwendungsweise ist von daher u. a. ein Synonym zu deshalb, daher, deswegen, folglich, dementsprechend. […] Wir nennen einen Satz folgerichtig, wenn die bloße Form des Satzes garantiert,daß der Schlußsatz aus den Prämissen folgt. In diesen Bereichen bezieht sich „Logik“ oft auf Formen des Handelns, der Pragmatik. Formal bedarf die Prädikatenlogik einer Unterscheidung zwischen verschiedenen Ausdruckskategorien wie Termen, Funktoren, Prädikatoren und Quantoren. Im Deutschen wird das Wort „Logik“ im 19. Traditionell ist die Logik ein Teil der Philosophie. So liegen Sie immer richtig, „m/w/d“? Auch in gegenwärtigen Debatten ist weithin unbestritten, dass die Theorie des korrekten Folgerns den Kern der Logik ausmacht; umstritten ist jedoch, welche Theorien genau noch zur Logik zu rechnen sind und welche nicht. 2,22 € add_shopping_cart Diesen Artikel verkaufen! Der Unterschied zwischen Prädikatenlogik der ersten Stufe und Prädikatenlogik höherer Stufe besteht darin, worüber mittels der Quantoren („alle“, „mindestens ein“) quantifiziert wird: In der Prädikatenlogik erster Stufe wird nur über Individuen quantifiziert (z. dabei durch Prädikate (auch Aussagefunktionen genannt) (ist rot) einerseits und durch deren Argumente andererseits (Der Apfel); dabei drückt das Prädikat zum Beispiel eine Eigenschaft (rot) aus, die auf sein Argument zutrifft, oder eine Relation, die zwischen seinen Argumenten besteht (x ist größer als y). „Liebe Mitgliederinnen und Mitglieder“? Ebenso gibt es den Begriff der „Frauenlogik“, „Männerlogik“, der „Affektlogik“ und den Begriff der „Alltagslogik“ – bekannt auch als „gesunder Menschenverstand“ (common sense) – in der Umgangssprache. Find books Trivial ist es keinesfalls, wenn man bedenkt, in welcher Welt wir leben…und wie lange schon. Die konnexe Logik, die der vor-formalen Intuition, die der Satz ausdrückt, gerecht werden will, indem sie ihn als Theorem auszeichnet, muss daher andere klassisch-logische Theoreme zurückweisen. Von klassischer Logik bzw. Ein einfaches Beispiel für ein solches formales System ist die Aussagenlogik (Dabei werden sogenannte atomare Aussagen durch Buchstaben ersetzt). Der philosophischen Logik zugerechnet werden unter anderem folgende Gebiete: Die meistdiskutierten Abweichungen von der klassischen Logik stellen solche Logiken dar, die auf bestimmte Axiome der klassischen Logik verzichten. Quer hierzu stehen die mehrwertigen Logiken, in denen das Prinzip der Zweiwertigkeit und oft auch der aristotelische Satz vom ausgeschlossenen Dritten nicht gelten, darunter die dreiwertige und die unendlichwertige Logik von Jan Łukasiewicz („Warschauer Schule“). Gendern für Profis: zusammen­gesetzte Wörter mit Personen­bezeichnungen, Geschlechtsneutrale Anrede: Gendern in Briefen und E-Mails, URLs und Mailadressen: Rechtschreibung und Zeichensetzung, Webseiten richtig verlinken in Word und Outlook, „das“ oder „dass“? Logik in der Philosophie | Wolfgang Spohn, Peter Schroeder-Heister, Erik J. Olsson | download | Z-Library.  | Last modifications, Copyright © 2012 sensagent Corporation: Online Encyclopedia, Thesaurus, Dictionary definitions and more. Die moderne symbolische Logik verwendet statt der natürlichen Sprache eine künstliche Sprache (Ein Satz wie Der Apfel ist rot wird z. Es gibt sie, die ganz großen Paare der Film- und Fernsehlandschaft. Über den Default-Schluss sind wir zu der Konsequenz gelangt, dass Tux fliegen kann. Lettris is a curious tetris-clone game where all the bricks have the same square shape but different content. Für die Entsorgung wird auch die Gemeinde zahlen müssen. ], arts, humanistic discipline, humanities, letters, liberal arts (en) - expert, specialist (en)[Hyper. Von der Logik her Das kommt für Riesenhuber nicht völlig überraschend. Bereits in diesem Sinne spricht man auch von „formaler“ Logik. This adverb strengthens the phrasal context that the girl was actually physically coming from her grandmother’s. In der Auswahl ihres Architekten liegt eine gewisse Logik. Zum Beispiel ließe sich aus den Aussagen „Tux ist ein Vogel.“ und „Die meisten Vögel können fliegen.“ vorläufig darauf schließen, dass Tux fliegen kann. Der Ansatz wurde teilweise auch kritisch bewertet ( Ebeling 1998 ) : Der Leitfaden folge einem top down-approach mit akademischer Logik, weit weg von der Durchführungspraxis , und die Informationen , die für die Identifikation geeigneter Träger für BAFIS-Vorhaben gegeben wurden , seien nicht ausreichend . Vielmehr scheint es sich um eine regionale Variante zu handeln. Lehre, Wissenschaft von der Struktur, den Formen und Gesetzen des Denkens; Lehre vom folgerichtigen Denken, vom Schließen aufgrund gegebener Aussagen; Denklehre, in einer Entwicklung, in einem Sachzusammenhang, in einer Konstruktion o. Ä. liegende [zwangsläufige] Folgerichtigkeit, Zusammentreffen dreier gleicher Buchstaben, Anführungszeichen in Kombination mit anderen Satzzeichen, Der kleine Unterschied: „-sprachig“ und „-sprachlich“, Die Wörter mit den meisten aufeinanderfolgenden Vokalen. Die Schlussfolgerung aus dem gegebenen Beispiel würde dann so aussehen: „Tux ist ein Vogel.“ bleibt die Voraussetzung (prerequisite). §2. Wie man sich an einem einfachen Satz Gödels Beweis in einem nicht formalen System vor Augen führen kann. Seit dem 20. Get XML access to fix the meaning of your metadata. Auf der anderen Seite sind Logiken zu erwähnen, die Prinzipien enthalten, die klassisch nicht gültig sind. ¬(¬ Die Konsequenz lautet also „Tux kann fliegen.“ Erhalten wir nun die Informationen „Tux ist ein Pinguin.“ und „Pinguine können nicht fliegen.“, so ergibt sich ein Widerspruch. Wird das Prinzip der Zweiwertigkeit aufgegeben, entsteht mehrwertige Logik. leiterkarte.eu. Traditionell ist die Logik ein Teil der Philosophie. leiterkarte.eu. Die Extension (Begriffsumfang, Bedeutung, Denot… herab/ weg und finis Grenze)[1][2][3] ist je nach der Lehre, der hierbei gefolgt wird, entweder In der Definitionstheorie unterscheidet man zwischen der Extension und Intension eines Ausdruckes. "Von der Logik her ist das nicht nachvollziehbar" Im Unterbau der L 1050 ist asbesthaltiges Material gefunden worden. Bei Amazon kaufen. A windows (pop-into) of information (full-content of Sensagent) triggered by double-clicking any word on your webpage. Strittige Fälle sind etwa die Mengenlehre, die Argumentationstheorie (die sich etwa unter pragmatischer Rücksicht mit Fehlschlüssen beschäftigt) und die Sprechakttheorie. Die einleitend dargestellte Verwendungsweise des Ausdrucks „Logik“ ist dagegen seit Beginn des 20. ], logic, logical system, system of logic (en) - logic (en)[Dérivé], Regel, Regelwerk, System, Übereinkunft, Vorschrift[Hyper. leiterkarte.eu. ○   Wildcard, crossword Jahrhundert versteht man unter Logik überwiegend symbolische Logik, die auch als grundlegende Strukturwissenschaft, z. Werden beide Prinzipien aufgegeben, entsteht mehrwertige intensionale Logik. „sowohl als auch“ – Singular oder Plural in Aufzählungen? Dieser Artikel ist als Audiodatei verfügbar: Jede Aussage hat genau einen von genau zwei, Der Wahrheitswert einer zusammengesetzten Aussage ist eindeutig durch die Wahrheitswerte ihrer Teilaussagen und die Art, wie diese zusammengesetzt sind, bestimmt. [1] Der Begriff wurde bereits von dem antiken Stoiker Zenon von Kition geprägt. nicht mehr ableitbar ist, der Minimalkalkül I. Johanssons, womit der Satz „ex falso quodlibet“ (aus einem Widerspruch folgt eine beliebige Aussage). Die Logik der AfD lautet: Wenn das Parlament schon nicht von außen „gestürmt“ werden kann, dann soll es doch wenigstens von innen her aufgemischt werden. Wort und Unwort des Jahres in Deutschland, Wort und Unwort des Jahres in Liechtenstein, Wort und Unwort des Jahres in der Schweiz. Mehr zu solchen Kalkülen und den philosophischen Hintergründen findet sich im Artikel zur Begriffslogik. Privacy policy Wann kann der Bindestrich gebraucht werden? With a SensagentBox, visitors to your site can access reliable information on over 5 million pages provided by Sensagent.com. Lantermann, Ernst-Dieter Karl Blessing Verlag. Diese wird in der Stufenlogik, einer Form des typisierten Lambda-Kalküls, überwunden. ), Implikation#Objektsprachliche_Implikationen, http://www.springerlink.com/content/u46007/, Weblinks zu Autoren / Forscher / Klassiker, Text der gesprochenen Version (26. Denkvermögen, Folgerichtigkeit, Gesetzmäßigkeit, Konsequenz, Methode, Vernunft, Ableitung (Logik) • Adäquatheit (Logik) • Ausdruck (Logik) • Aussage (Logik) • Belegung (Logik) • Beweis (Logik) • Bewertung (Logik) • Determination (Logik) • Dialogische Logik • Diode-Transistor-Logik • Distribution (Logik) • Doxastische Logik • Emanatistische Logik • Emittergekoppelte Logik • Epistemische Logik • Formale Logik • Funktor (Logik) • Identität (Logik) • Indische Logik • Intuitionismus (Logik und Mathematik) • Klassische Logik • Kombinatorische Logik • Kompaktheit (Logik) • Konjunktion (Logik) • Konstante (Logik) • Konversion (Logik) • Korrektheit (Logik) • Langsame störsichere Logik • Logik der Forschung • Logik höherer Stufe • Logik von Port-Royal • Logik-Puzzle • Mathematische Logik • Matrix (Logik) • Monotonie (Logik) • NMOS-Logik • Negator (Logik) • Neutralität (Logik) • Nichtklassische Logik • Nominator (Logik) • Numbers – Die Logik des Verbrechens • Parakonsistente Logik • Philosophische Logik • Prädikat (Logik) • Regress (Logik) • Schweizerische Gesellschaft für Logik und Philosophie der Wissenschaften • Skopus (Logik) • Sprache, Wahrheit und Logik • Tautologie (Logik) • Temporale Logik • Transistor-Transistor-Logik • Transzendentale Logik • Unifikation (Logik) • Unverträglichkeit (Logik) • Urteil (Logik) • Variable (Logik) • Vollständigkeit (Logik) • Widerstands-Transistor-Logik • Wissenschaft der Logik • Z80 Interrupt-Logik, caractère correct de qqch, de conformité à une règle (fr)[Classe...], doctrine et système politique (fr)[Classe...], personne qui élabore une méthode (fr)[Classe], (mathematical sciences), (mathematician), (mathematical process; mathematical operation), (differential) (en)[Thème], (evangel; tenet; doctrine; philosophy; philosophical system; school of thought; ism), (philosophy), (philosopher) (en)[Thème], (proposition), (inconsistent; confused; disconnected; disjointed; disordered; garbled; illogical; scattered; unconnected), (logic; logical system; system of logic), (inference; illation), (metalogical) (en)[Thème], (cleverness; intelligence; wit; wits; marbles; brain) (en)[Thème], (evangel; tenet; doctrine; philosophy; philosophical system; school of thought; ism), (philosophy), (philosopher) (en)[termes liés], (proposition), (inconsistent; confused; disconnected; disjointed; disordered; garbled; illogical; scattered; unconnected), (logic; logical system; system of logic), (inference; illation), (metalogical) (en)[termes liés], method (en) - expert, specialist (en)[Hyper. Find out more, Schweizerische Gesellschaft für Logik und Philosophie der Wissenschaften, caractère correct de qqch, de conformité à une règle (fr), (mathematical sciences), (mathematician), (mathematical process; mathematical operation), (differential) (en), (evangel; tenet; doctrine; philosophy; philosophical system; school of thought; ism), (philosophy), (philosopher) (en), (proposition), (inconsistent; confused; disconnected; disjointed; disordered; garbled; illogical; scattered; unconnected), (logic; logical system; system of logic), (inference; illation), (metalogical) (en), (cleverness; intelligence; wit; wits; marbles; brain) (en), logic, logical system, system of logic (en), Regel, Regelwerk, System, Übereinkunft, Vorschrift, arts, humanistic discipline, humanities, letters, liberal arts (en), Unterschiedliche Bedeutungen des Begriffs „Logik“, Intuitionismus, Relevanzlogik und konnexe Logik, an offensive content(racist, pornographic, injurious, etc. Jahrhundert vereinzelt von philosophischer Seite her vorgenommen worden und sind philosophisch motiviert, zum Beispiel aus dem Wunsch heraus, auch rein formal Begriffe als elementare Bestandteile von Aussagen ansehen zu können und sie nicht prädikatenlogisch zerlegen zu müssen. Zahlreiche Anwendungen in der Steuerungstechnik findet die unendlichwertige Fuzzy-Logik, während etwa die endlichwertige Logik von Gotthard Günther („Günther-Logik“) auf Probleme der sich selbst erfüllenden Voraussagen in der Soziologie angewandt wurde. Letters must be adjacent and longer words score better. Insbesondere in der Tradition der Philosophie der normalen Sprache wurde unter einer „logischen“ Analyse vielfach eine Analyse begrifflicher Zusammenhänge verstanden. Jahrhunderts üblich. Dieses Prinzip heißt das. You can also try the grid of 16 letters. Die im engeren Sinne nicht-klassischen Logiken sind „schwächer“ als die klassische Logik, d.h. in diesen Logiken sind weniger Aussagen gültig als in der klassischen Logik, es sind aber alle dort gültigen Aussagen auch klassisch gültig. ○   Lettris Mit Duden Plus nutzen Sie unsere Online-Angebote ohne Werbeeinblendungen, mit Premium entdecken Sie das volle Potenzial unserer neuen Textprüfung: Der „Duden-Mentor“ schlägt Ihnen Synonyme vor und gibt Hinweise zum Schreibstil.