|  Seiten: 224. ), Implikation#Objektsprachliche_Implikationen, http://www.springerlink.com/content/u46007/, Weblinks zu Autoren / Forscher / Klassiker, Text der gesprochenen Version (26. Wird das Prinzip der Extensionalität aufgegeben, entsteht intensionale Logik. Die bis zum 19. Contact Us Definition, Rechtschreibung, Synonyme und Grammatik von 'Logik' auf Duden online nachschlagen. In der Aussagenlogik werden Aussagen daraufhin untersucht, ob sie ihrerseits wieder aus Aussagen zusammengesetzt sind, die durch Junktoren (z. 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. November 2014 FUMS WhatsApp Teilen Twittern. 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. All rights reserved. Herkunft und Funktion des Ausrufezeichens. B. innerhalb der Mathematik und der Theoretischen Informatik, behandelt wird. Wird das Prinzip der Zweiwertigkeit aufgegeben, entsteht mehrwertige Logik. Lettris is a curious tetris-clone game where all the bricks have the same square shape but different content. Lantermann, Ernst-Dieter Karl Blessing Verlag. 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). Die symbolische Logik nennt man auch mathematische Logik oder formale Logik im engeren Sinn. Bereits in diesem Sinne spricht man auch von „formaler“ Logik. Unter Logik (von altgriechisch λογική τέχνη logiké téchnē „denkende Kunst“, „Vorgehensweise“) versteht man die Lehre des vernünftigen Schlussfolgerns. The SensagentBox are offered by sensAgent. Auch die zweite Aufl age der Logik von 1831 bestätigt, dass die Jenaer Abhandlung die Deduktion des Begriff s der reinen Wissenschaft, des Anfangs der Philosophie überhaupt, damit der Logik liefert. Traditionell ist die Logik ein Teil der Philosophie. Logik in der Philosophie | Wolfgang Spohn, Peter Schroeder-Heister, Erik J. Olsson | download | Z-Library. Get XML access to fix the meaning of your metadata. Ein häufig zitiertes intuitiv eingängiges Beispiel ist das Argument „Alle Pferde sind Tiere; also sind alle Pferdeköpfe Tierköpfe“, das sich erst in höheren Logiken wie der Prädikatenlogik herleiten lässt. 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. Ursprünglich hat sich die traditionelle Logik in Nachbarschaft zur Rhetorik entwickelt. Hierzu zählen einerseits: Während Wahrheitstabellen eine vollständige Auflistung aller Wahrheitswertkombinationen vornehmen (und insofern auch nur im aussagenlogischen Bereich verwendbar sind), gehen die übrigen (auch prädikatenlogisch verwertbaren) Verfahren nach dem Schema einer Reductio ad absurdum vor: Wenn eine Tautologie bewiesen werden soll, geht man von ihrer Negation aus und versucht einen Widerspruch abzuleiten. ], arts, humanistic discipline, humanities, letters, liberal arts (en) - expert, specialist (en)[Hyper. Gefundene Synonyme: Folgerichtigkeit, Logik, logische Korrektheit, Stimmigkeit, Analytik, Dialektik, Logik, Gesetzmäßigkeit, Konsequenz, Logik, Vernunft Mehrzahl logik Duden Logik Rechtschreibung, Bedeutung, Definition . Strittige Fälle sind etwa die Mengenlehre, die Argumentationstheorie (die sich etwa unter pragmatischer Rücksicht mit Fehlschlüssen beschäftigt) und die Sprechakttheorie. Es gibt sie, die ganz großen Paare der Film- und Fernsehlandschaft. leiterkarte.eu. Seit dem 20. (Siehe auch: Kategorie:Nichtklassische Logik). Jh. It may not have been reviewed by professional editors (see full disclaimer). In einem logischen Argument soll die Fertigkeit des Denkens zum Ausdruck kommen. Bereits in diesem Sinne spricht man auch von „formaler“ Logik. Der Ausdruck „Logik“, im Griechischen logiké technē, steht sowohl in der älteren Stoa wie im älteren Peripatos für eine Lehre vom Argumentieren bzw. (AlbertMenne, 1981a, S. 7 f) Noch kürzer, präziser und treffendersagt es natürlich Günther Patzig: Über den Default-Schluss sind wir zu der Konsequenz gelangt, dass Tux fliegen kann. Formal bedarf die Prädikatenlogik einer Unterscheidung zwischen verschiedenen Ausdruckskategorien wie Termen, Funktoren, Prädikatoren und Quantoren. By using our services, you agree to our use of cookies. Es ist ein Brauch von alters her: Wer Sorgen hat, hat auch Likör! Verwenden Sie folgende URL, um diesen Artikel zu zitieren. 9783896675774 389667577X. August 2012), Mehr Informationen zur gesprochenen Wikipedia, http://de.wikipedia.org/w/index.php?title=Logik&oldid=107293211, Dieser Artikel befasst sich mit philosophischen und sprachlichen Aspekten, zu elektronischen Logik-Schaltungen siehe. Insbesondere im Bereich der Aussagenlogik (aber nicht nur) sind semantische Verfahren gebräuchlich, also solche Verfahren, die darauf beruhen, dass den Aussagen ein Wahrheitswert zugeschrieben wird. Der neuerliche Lockdown (der natürlich kein echter Lockdown ist) folgt einer Logik, der nicht zu folgen mir einigermaßen schwer fällt … Ich bin ja nach wie vor froh, dass wir eine Physikerin als Bundeskanzlerin haben. Insbesondere in der Tradition der Philosophie der normalen Sprache wurde unter einer „logischen“ Analyse vielfach eine Analyse begrifflicher Zusammenhänge verstanden. 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. With a SensagentBox, visitors to your site can access reliable information on over 5 million pages provided by Sensagent.com. Choose the design that fits your site. ○   Lettris 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. ¬(¬ „und“, „oder“) miteinander verbunden sind. 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. Auf der anderen Seite sind Logiken zu erwähnen, die Prinzipien enthalten, die klassisch nicht gültig sind. 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. 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“? Werden beide Prinzipien aufgegeben, entsteht mehrwertige intensionale Logik. In der Logik wird die Struktur von Argumenten im Hinblick auf ihre Gültigkeit untersucht, unabhängig vom Inhalt der Aussagen. ], logic, logical system, system of logic (en) - logic (en)[Dérivé], Regel, Regelwerk, System, Übereinkunft, Vorschrift[Hyper. Auch heute noch sind in verschiedenen Disziplinen Wendungen wie Logik der Dichtung u.ä. 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. [1] Der Begriff wurde bereits von dem antiken Stoiker Zenon von Kition geprägt. Ein einfaches Beispiel für ein solches formales System ist die Aussagenlogik (Dabei werden sogenannte atomare Aussagen durch Buchstaben ersetzt). von einem klassischen logischen System spricht man genau dann, wenn folgende semantische Bedingungen erfüllt sind: Der Begriff klassische Logik ist mehr im Sinn von etablierter, grundlegender Logik zu verstehen, weil die nichtklassischen Logiken auf sie aufbauen, denn als historischer Verweis. In der Umgangssprache werden Ausdrücke wie „Logik“ oder „logisches Denken“ darüber hinaus in einem sehr viel weiteren oder völlig anderen Sinne verstanden und etwa einem „lateralen Denken“ gegenübergestellt. ○   Anagrams 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. The wordgames anagrams, crossword, Lettris and Boggle are provided by Memodata. Wenn wir nun aber die zusätzliche Information „Tux ist ein Pinguin.“ erhalten, dann müssen wir diesen Schluss korrigieren, denn Pinguine sind nicht flugfähige Vögel. Add new content to your site from Sensagent by XML.  | Last modifications, Copyright © 2012 sensagent Corporation: Online Encyclopedia, Thesaurus, Dictionary definitions and more. Intensional sind zum Beispiel die Modallogik und die intuitionistische Logik. verbreitet, bei denen unter „Logik“ keine Theorie des Folgerns verstanden wird, sondern eine Lehre allgemeiner „Gesetze“ oder Verfahrensweisen, die in einem bestimmten Bereich gelten. In diesen Bereichen bezieht sich „Logik“ oft auf Formen des Handelns, der Pragmatik. nicht mehr ableitbar ist, der Minimalkalkül I. Johanssons, womit der Satz „ex falso quodlibet“ (aus einem Widerspruch folgt eine beliebige Aussage). Die Extension (Begriffsumfang, Bedeutung, Denot… „Alle Schweine sind rosa“), in der Prädikatenlogik höherer Stufe wird auch über Prädikate selbst quantifiziert (z. ○   Boggle. Mit einer klassisch-logischen Schlussweise aber konnten wir nachweisen, dass Tux nicht fliegen kann. v. Chr. Most English definitions are provided by WordNet . Sehr viele logische Systeme haben diese Monotonie-Eigenschaft, darunter alle klassischen Logiken wie die Aussagen- und die Prädikatenlogik. […] Wir nennen einen Satz folgerichtig, wenn die bloße Form des Satzes garantiert,daß der Schlußsatz aus den Prämissen folgt. Die moderne symbolische Logik verwendet statt der natürlichen Sprache eine künstliche Sprache (Ein Satz wie Der Apfel ist rot wird z. Ro, Cookies help us deliver our services. Auf diese ‹Leiter› könne aber insofern verzichtet werden, sofern … Logik - Wikipedi Adjektiv – der Logik widersprechend, inkonsequent … Zum vollständigen Artikel → lo­gi­scher­wei­se. 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.. Von klassischer Logik bzw. Besteht eine Aussage nicht aus durch Junktoren verbundenen Teilaussagen, dann ist sie aus Sicht der Aussagenlogik atomar, d. h. nicht weiter zerlegbar. Privacy policy logische Bestandteile der Sprache der Mathematik richtig verstehen und gebrauchen z.B. Melden Sie sich an, um dieses Wort auf Ihre Merkliste zu setzen. [3], Portal:Logik – Übersicht zu Wikipedia-Inhalten zum Thema Logik, Philosophiebibliographie: Logik – Zusätzliche Literaturhinweise zum Thema, This entry is from Wikipedia, the leading user-contributed encyclopedia. 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. The web service Alexandria is granted from Memodata for the Ebay search. Vielmehr war es so, dass bereits Aristoteles, sozusagen der klassische Vertreter der Logik, sich sehr wohl mit mehrwertiger Logik, also nichtklassischer Logik beschäftigt hat. Man nennt ein logisches System monoton, wenn jedes gültige Argument auch dann gültig bleibt, wenn man zusätzliche Prämissen hinzufügt: Was einmal bewiesen wurde, bleibt in einer monotonen Logik immer gültig, also auch dann, wenn man zu einem späteren Zeitpunkt über neue Informationen verfügt. Wir kombinieren diese nun mit einer so genannten Rechtfertigung (justification): „Vögel können normalerweise fliegen.“ Aus dieser Begründung schließen wir, dass Tux fliegen kann, solange nichts dagegen spricht. A windows (pop-into) of information (full-content of Sensagent) triggered by double-clicking any word on your webpage. belegt. Get XML access to reach the best products.