CINXE.COM

<!DOCTYPE html> <html class="client-nojs" lang="de" dir="ltr"> <head> <meta charset="UTF-8"> <title>Prädikat (Logik) – Wikipedia</title> <script>(function(){var className="client-js";var cookie=document.cookie.match(/(?:^|; )dewikimwclientpreferences=([^;]+)/);if(cookie){cookie[1].split('%2C').forEach(function(pref){className=className.replace(new RegExp('(^| )'+pref.replace(/-clientpref-\w+$|[^\w-]+/g,'')+'-clientpref-\\w+( |$)'),'$1'+pref+'$2');});}document.documentElement.className=className;}());RLCONF={"wgBreakFrames":false,"wgSeparatorTransformTable":[",\t.",".\t,"],"wgDigitTransformTable":["",""],"wgDefaultDateFormat":"dmy","wgMonthNames":["","Januar","Februar","März","April","Mai","Juni","Juli","August","September","Oktober","November","Dezember"],"wgRequestId":"457fbda9-8864-423f-b071-f9221ead409e","wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"Prädikat_(Logik)","wgTitle":"Prädikat (Logik)","wgCurRevisionId":246027123,"wgRevisionId":246027123,"wgArticleId":29945,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["Wikipedia:Überarbeiten","Logik","Sprachphilosophie"],"wgPageViewLanguage":"de","wgPageContentLanguage":"de","wgPageContentModel":"wikitext","wgRelevantPageName":"Prädikat_(Logik)","wgRelevantArticleId":29945,"wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable":true,"wgRestrictionEdit":[],"wgRestrictionMove":[],"wgNoticeProject":"wikipedia","wgCiteReferencePreviewsActive":true,"wgFlaggedRevsParams":{"tags":{"accuracy":{"levels":1}}},"wgStableRevisionId":246027123,"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true,"wgPopupsFlags":0,"wgVisualEditor":{"pageLanguageCode":"de","pageLanguageDir":"ltr","pageVariantFallbacks":"de"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":true,"nearby":true},"wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":20000,"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":true,"wgVector2022LanguageInHeader":false,"wgULSisLanguageSelectorEmpty":false,"wgWikibaseItemId":"Q1144319","wgCheckUserClientHintsHeadersJsApi":["brands","architecture","bitness","fullVersionList","mobile","model","platform","platformVersion"],"GEHomepageSuggestedEditsEnableTopics":true,"wgGETopicsMatchModeEnabled":false,"wgGELevelingUpEnabledForUser":false}; RLSTATE={"ext.gadget.dewiki-logo":"ready","ext.gadget.citeRef":"ready","ext.gadget.defaultPlainlinks":"ready","ext.gadget.dewikiCommonHide":"ready","ext.gadget.dewikiCommonLayout":"ready","ext.gadget.dewikiCommonStyle":"ready","ext.gadget.NavFrame":"ready","ext.globalCssJs.user.styles":"ready","site.styles":"ready","user.styles":"ready","ext.globalCssJs.user":"ready","user":"ready","user.options":"loading","ext.cite.styles":"ready","ext.math.styles":"ready","skins.vector.styles.legacy":"ready","ext.flaggedRevs.basic":"ready","mediawiki.codex.messagebox.styles":"ready","ext.visualEditor.desktopArticleTarget.noscript":"ready","codex-search-styles":"ready","ext.uls.interlanguage":"ready","wikibase.client.init":"ready"};RLPAGEMODULES=["ext.cite.ux-enhancements","site","mediawiki.page.ready","mediawiki.toc","skins.vector.legacy.js","ext.centralNotice.geoIP","ext.centralNotice.startUp","ext.flaggedRevs.advanced","ext.gadget.createNewSection","ext.gadget.WikiMiniAtlas","ext.gadget.OpenStreetMap","ext.gadget.CommonsDirekt","ext.gadget.donateLink","ext.urlShortener.toolbar","ext.centralauth.centralautologin","mmv.bootstrap","ext.popups","ext.visualEditor.desktopArticleTarget.init","ext.visualEditor.targetLoader","ext.echo.centralauth","ext.eventLogging","ext.wikimediaEvents","ext.navigationTiming","ext.uls.compactlinks","ext.uls.interface","ext.cx.eventlogging.campaigns","ext.checkUser.clientHints","ext.growthExperiments.SuggestedEditSession"];</script> <script>(RLQ=window.RLQ||[]).push(function(){mw.loader.impl(function(){return["user.options@12s5i",function($,jQuery,require,module){mw.user.tokens.set({"patrolToken":"+\\","watchToken":"+\\","csrfToken":"+\\"}); }];});});</script> <link rel="stylesheet" href="/w/load.php?lang=de&modules=codex-search-styles%7Cext.cite.styles%7Cext.flaggedRevs.basic%7Cext.math.styles%7Cext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cmediawiki.codex.messagebox.styles%7Cskins.vector.styles.legacy%7Cwikibase.client.init&only=styles&skin=vector"> <script async="" src="/w/load.php?lang=de&modules=startup&only=scripts&raw=1&skin=vector"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=de&modules=ext.gadget.NavFrame%2CciteRef%2CdefaultPlainlinks%2Cdewiki-logo%2CdewikiCommonHide%2CdewikiCommonLayout%2CdewikiCommonStyle&only=styles&skin=vector"> <link rel="stylesheet" href="/w/load.php?lang=de&modules=site.styles&only=styles&skin=vector"> <meta name="generator" content="MediaWiki 1.44.0-wmf.22"> <meta name="referrer" content="origin"> <meta name="referrer" content="origin-when-cross-origin"> <meta name="robots" content="max-image-preview:standard"> <meta name="format-detection" content="telephone=no"> <meta name="viewport" content="width=1120"> <meta property="og:title" content="Prädikat (Logik) – Wikipedia"> <meta property="og:type" content="website"> <link rel="preconnect" href="//upload.wikimedia.org"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//de.m.wikipedia.org/wiki/Pr%C3%A4dikat_(Logik)"> <link rel="alternate" type="application/x-wiki" title="Seite bearbeiten" href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&action=edit"> <link rel="apple-touch-icon" href="/static/apple-touch/wikipedia.png"> <link rel="icon" href="/static/favicon/wikipedia.ico"> <link rel="search" type="application/opensearchdescription+xml" href="/w/rest.php/v1/search" title="Wikipedia (de)"> <link rel="EditURI" type="application/rsd+xml" href="//de.wikipedia.org/w/api.php?action=rsd"> <link rel="canonical" href="https://de.wikipedia.org/wiki/Pr%C3%A4dikat_(Logik)"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de"> <link rel="alternate" type="application/atom+xml" title="Atom-Feed für „Wikipedia“" href="/w/index.php?title=Spezial:Letzte_%C3%84nderungen&feed=atom"> <link rel="dns-prefetch" href="//meta.wikimedia.org" /> <link rel="dns-prefetch" href="login.wikimedia.org"> </head> <body class="skin-vector-legacy mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject mw-editable page-Prädikat_Logik rootpage-Prädikat_Logik skin-vector action-view"><div id="mw-page-base" class="noprint"></div> <div id="mw-head-base" class="noprint"></div> <div id="content" class="mw-body" role="main"> <a id="top"></a> <div id="siteNotice"></div> <div class="mw-indicators"> </div> <h1 id="firstHeading" class="firstHeading mw-first-heading">Prädikat (Logik)</h1> <div id="bodyContent" class="vector-body"> <div id="siteSub" class="noprint">aus Wikipedia, der freien Enzyklopädie</div> <div id="contentSub"><div id="mw-content-subtitle"></div></div> <div id="contentSub2"></div> <div id="jump-to-nav"></div> <a class="mw-jump-link" href="#mw-head">Zur Navigation springen</a> <a class="mw-jump-link" href="#searchInput">Zur Suche springen</a> <div id="mw-content-text" class="mw-body-content"><div class="mw-content-ltr mw-parser-output" lang="de" dir="ltr"><div class="hintergrundfarbe1 rahmenfarbe1 navigation-not-searchable noprint Vorlage_Uberarbeiten" style="border-style: solid; border-width: 1px; clear: left; margin-bottom:1em; margin-top:1em; padding: 0.25em; overflow: hidden; word-break: break-word; word-wrap: break-word;"><div class="noviewer noresize" style="display: table-cell; padding-bottom: 0.2em; padding-left: 0.25em; padding-right: 1em; padding-top: 0.2em; vertical-align: middle;" aria-hidden="true" role="presentation"><a href="/wiki/Diskussion:Pr%C3%A4dikat_(Logik)" title="Diskussion:Prädikat (Logik)"><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/9/92/Qsicon_Ueberarbeiten.svg/24px-Qsicon_Ueberarbeiten.svg.png" decoding="async" width="24" height="24" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/9/92/Qsicon_Ueberarbeiten.svg/36px-Qsicon_Ueberarbeiten.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/9/92/Qsicon_Ueberarbeiten.svg/48px-Qsicon_Ueberarbeiten.svg.png 2x" data-file-width="24" data-file-height="24" /></a></div> <div style="display: table-cell; vertical-align: middle; width: 100%;"> <div> Dieser Artikel oder Abschnitt bedarf einer grundsätzlichen Überarbeitung. Näheres sollte auf der <a href="/wiki/Diskussion:Pr%C3%A4dikat_(Logik)" title="Diskussion:Prädikat (Logik)">Diskussionsseite</a> angegeben sein. Bitte hilf mit, ihn zu <a href="/wiki/Wikipedia:Wie_schreibe_ich_gute_Artikel" title="Wikipedia:Wie schreibe ich gute Artikel">verbessern</a>, und entferne anschließend diese Markierung.</div> </div></div> Prädikat (von <a href="/wiki/Latein" title="Latein">lateinisch</a> praedicare ‚zusprechen‘) nennt man in der modernen <a href="/wiki/Pr%C3%A4dikatenlogik" title="Prädikatenlogik">Prädikatenlogik</a> den Teil einer <a href="/wiki/Aussage_(Logik)#Einfach_–_zusammengesetzt" title="Aussage (Logik)">atomaren Aussage</a>, der <a href="/wiki/Wahrheitsfunktion" class="mw-redirect" title="Wahrheitsfunktion">wahrheitsfunktional</a> ist. Ein Prädikat hat dabei eine oder mehrere Argumentstellen; eine vollständige Aussage entsteht durch das Einsetzen von <a href="/wiki/Individuenkonstante" class="mw-redirect" title="Individuenkonstante">Individuenkonstanten</a> in die Argumentstelle(n) oder durch das Einsetzen von <a href="/wiki/Variable_(Logik)" title="Variable (Logik)">Variablen</a> und deren Bindung durch eine voranzustellende <a href="/wiki/Quantor" title="Quantor">Quantifizierung</a>. In gängiger <a href="/wiki/Sprachphilosophie" title="Sprachphilosophie">sprachphilosophischer</a> Interpretation ist ein einstelliges Prädikat Ausdruck für eine <a href="/wiki/Eigenschaft" title="Eigenschaft">Eigenschaft</a>. In einer atomaren Aussage wird jener der Eigenschaft entsprechende <a href="/wiki/Begriff_(Philosophie)" title="Begriff (Philosophie)">Begriff</a> dem mit dem Individuensymbol repräsentierten Gegenstand zugesprochen, oder von ihm prädiziert. Mehrstellige Prädikate werden auch als Relationen bezeichnet, einstellige als Begriffe. Das einfachste formallogische System, das mit (bestimmten) Prädikaten operiert, ist die Prädikatenlogik erster Ordnung. Vom Verständnis der modernen Logik unterscheidet sich der Prädikatsbegriff in der traditionellen <a href="/wiki/Logik" title="Logik">Logik</a>. Der traditionelle Prädikatsbegriff wurde von <a href="/wiki/Aristoteles" title="Aristoteles">Aristoteles</a> begründet und herrschte bis ins 19. Jahrhundert vor. Danach ist logisches Prädikat allgemein das, was von einem Subjekt ausgesagt wird. In der modernen Logik ist das logische Prädikat seit <a href="/wiki/Gottlob_Frege" title="Gottlob Frege">Gottlob Frege</a> das, was von einem oder mehreren Gegenständen ausgesagt wird,<a href="#cite_note-1">[1]</a> beziehungsweise ein Ausdruck, der eine Leerstelle enthält („ungesättigter Ausdruck“), der durch andere Ausdrücke zu einem Ausdruck für einen <a href="/wiki/Aussage_(Logik)" title="Aussage (Logik)">Satz</a> vervollständigt wird. Bei Ausdrücken für Prädikate der ersten Stufe im Sinne Freges wird die Leerstelle mit „Eigennamen“ oder mit gebundenen Variablen besetzt. <div id="toc" class="toc" role="navigation" aria-labelledby="mw-toc-heading"><input type="checkbox" role="button" id="toctogglecheckbox" class="toctogglecheckbox" style="display:none" /><div class="toctitle" lang="de" dir="ltr"><h2 id="mw-toc-heading">Inhaltsverzeichnis</h2><label class="toctogglelabel" for="toctogglecheckbox"></label></div> <ul> <li class="toclevel-1 tocsection-1"><a href="#Das_Prädikat_in_der_traditionellen_Logik">1 Das Prädikat in der traditionellen Logik</a></li> <li class="toclevel-1 tocsection-2"><a href="#Der_moderne_Prädikatsbegriff">2 Der moderne Prädikatsbegriff</a> <ul> <li class="toclevel-2 tocsection-3"><a href="#Übergang">2.1 Übergang</a></li> <li class="toclevel-2 tocsection-4"><a href="#Prädikate_als_Begriffe_und_Satzfunktionen">2.2 Prädikate als Begriffe und Satzfunktionen</a></li> <li class="toclevel-2 tocsection-5"><a href="#Prädikate,_Relationen_und_Existenzaussagen">2.3 Prädikate, Relationen und Existenzaussagen</a> <ul> <li class="toclevel-3 tocsection-6"><a href="#Relationen">2.3.1 Relationen</a></li> <li class="toclevel-3 tocsection-7"><a href="#Existenzaussagen">2.3.2 Existenzaussagen</a></li> </ul> </li> <li class="toclevel-2 tocsection-8"><a href="#Begriffe_als_Bedeutungen_von_Prädikaten">2.4 Begriffe als Bedeutungen von Prädikaten</a></li> <li class="toclevel-2 tocsection-9"><a href="#Prädikate_als_Namen_für_Eigenschaften_und_Relationen">2.5 Prädikate als Namen für Eigenschaften und Relationen</a></li> <li class="toclevel-2 tocsection-10"><a href="#Prädikatbegriff_und_Ontologie">2.6 Prädikatbegriff und Ontologie</a></li> <li class="toclevel-2 tocsection-11"><a href="#Einteilungen_der_Prädikate">2.7 Einteilungen der Prädikate</a></li> </ul> </li> <li class="toclevel-1 tocsection-12"><a href="#Formalisierung_des_Prädikats_in_der_mathematischen_Logik">3 Formalisierung des Prädikats in der mathematischen Logik</a></li> <li class="toclevel-1 tocsection-13"><a href="#Einzelnachweise">4 Einzelnachweise</a></li> </ul> </div> <div class="mw-heading mw-heading2"><h2 id="Das_Prädikat_in_der_traditionellen_Logik">Das Prädikat in der traditionellen Logik</h2>[<a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&veaction=edit&section=1" title="Abschnitt bearbeiten: Das Prädikat in der traditionellen Logik" class="mw-editsection-visualeditor">Bearbeiten</a> | <a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&action=edit&section=1" title="Quellcode des Abschnitts bearbeiten: Das Prädikat in der traditionellen Logik">Quelltext bearbeiten</a>]</div> In der traditionellen Logik (siehe auch <a href="/wiki/Syllogismus" title="Syllogismus">Syllogistik</a>) wird bei der Analyse von Aussagen (traditionell <a href="/wiki/Kategorisches_Urteil" title="Kategorisches Urteil">kategorische Urteile</a> genannt) unterschieden zwischen dem, worüber etwas ausgesagt wird (dem Subjekt), und dem, was darüber ausgesagt wird (dem Prädikat). Das Subjekt ist der Gegenstand, über den etwas ausgesagt wird, und Prädikat das, was ihm in der Aussage zugeschrieben wird, zum Beispiel eine <a href="/wiki/Eigenschaft" title="Eigenschaft">Eigenschaft</a>. Der Teil der Aussage, der auf den Gegenstand verweist, ist der Subjektsterm und der Teil der Aussage, die dem Subjekt das Prädikat zuschreibt, der Prädikatsterm. Es wird aber „Subjekt“ auch im Sinne von „Subjektsterm“ und „Prädikat“ auch im Sinne von „Prädikatsterm“ verwendet. Die Zuschreibung selbst ist die <a href="/wiki/Pr%C3%A4dikation" title="Prädikation">Prädikation</a>. Beispiele von einfachen Aussagen sind: <ol><li>Sokrates ist ein Mensch.</li> <li>Der Hund meines Nachbarn schläft.</li> <li>Sokrates liebt es, bei langen Weinabenden über Philosophie zu diskutieren.</li></ol> In den Beispielen 1 und 3 ist der Mensch Sokrates das Subjekt, der Ausdruck „Sokrates“ (der erste Teil der Aussagen 1 und 3) der Subjektsterm. Im Beispiel 2 ist der Hund meines Nachbarn das Subjekt und der Ausdruck „Der Hund meines Nachbarn“ der Subjektsterm. Die Prädikate in den Beispielsätzen sind die Eigenschaften ein Mensch zu sein, zu schlafen und es zu lieben, bei langen Weinabenden über Philosophie zu diskutieren. Die Prädikatsterme sind „Mensch“, „schläft“ und „liebt es, bei langen Weinabenden über Philosophie zu diskutieren“. Das erste und letzte Beispiel zeigen, dass das logische Prädikat (genauer: der Prädikatsterm) nicht mit dem <a href="/wiki/Pr%C3%A4dikat_(Grammatik)" title="Prädikat (Grammatik)">grammatischen Prädikat</a> („ist“ bzw. „liebt“) übereinstimmen muss: Grammatisch ist „ein Mensch“ ein Gleichsetzungsnominativ, „bei langen Weinabenden über Philosophie zu diskutieren“ ein <a href="/wiki/Objekt_(Grammatik)" title="Objekt (Grammatik)">direktes Objekt</a> des Verbs. Als Teile einer einfachen Aussage sind Prädikatsterm und Subjektsterm unvollständig und selbst keine Aussagen. Sie können nicht für sich wahr oder falsch sein. Im Beispiel 1 ist der Prädikatsterm aus zwei Teilen zusammengesetzt: der <a href="/wiki/Kopula_(Grammatik)" title="Kopula (Grammatik)">Kopula</a> „ist“ und dem Prädikatsnomen „der Mensch“. In der <a href="/wiki/Syllogistik" class="mw-redirect" title="Syllogistik">Syllogistik</a> hat es sich eingebürgert, auch die Prädikate in Beispielen 2 und 3 in dieser Form zu schreiben, weil sie nur dann im Rahmen des formalen, syllogistischen Schließens unmittelbar verwendbar sind. Also etwa: <ul><li>Der Hund meines Nachbarn ist ein Schlafender.</li> <li>Sokrates ist ein Liebender des Diskutierens über Philosophie bei langen Weinabenden.</li></ul> Unter Zugrundelegung des traditionellen Subjekts- und Prädikatsbegriffs unterscheidet <a href="/wiki/Immanuel_Kant" title="Immanuel Kant">Immanuel Kant</a> zwischen <a href="/wiki/Analytisches_Urteil" title="Analytisches Urteil">analytischen Urteilen</a>, bei denen das Prädikat bereits im Subjekt enthalten sei (z. B. bei der Aussage „Alle Kreise sind rund“) und synthetischen Urteilen, bei denen das Prädikat dem Subjekt etwas hinzufüge (zum Beispiel bei der Aussage „Der Hund schläft“). Zu dieser kantischen Unterscheidung siehe <a href="/wiki/Synthetisches_Urteil_a_priori" title="Synthetisches Urteil a priori">Synthetisches Urteil a priori</a>. <div class="mw-heading mw-heading2"><h2 id="Der_moderne_Prädikatsbegriff">Der moderne Prädikatsbegriff</h2>[<a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&veaction=edit&section=2" title="Abschnitt bearbeiten: Der moderne Prädikatsbegriff" class="mw-editsection-visualeditor">Bearbeiten</a> | <a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&action=edit&section=2" title="Quellcode des Abschnitts bearbeiten: Der moderne Prädikatsbegriff">Quelltext bearbeiten</a>]</div> <div class="mw-heading mw-heading3"><h3 id="Übergang">Übergang</h3>[<a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&veaction=edit&section=3" title="Abschnitt bearbeiten: Übergang" class="mw-editsection-visualeditor">Bearbeiten</a> | <a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&action=edit&section=3" title="Quellcode des Abschnitts bearbeiten: Übergang">Quelltext bearbeiten</a>]</div> Traditionell wurde der Ausdruck „Prädikat“ sowohl für einen Ausdruck als auch für dessen Inhalt verwendet. Erst Gottlob Frege führte die Trennung zwischen „Begriffsausdruck“ und „Begriff“ konsequent durch.<a href="#cite_note-2">[2]</a> Dies verschärft die erkenntnistheoretische Frage, ob die „prädikative Struktur von Aussagen“<a href="#cite_note-3">[3]</a> primär eine Eigenschaft des Denkens oder der Sprache ist. In der logischen Praxis wird diese Unterscheidung gelegentlich übergangen, da Logik auch als uninterpretierter <a href="/wiki/Formale_Logik" title="Formale Logik">formaler</a> <a href="/wiki/Kalk%C3%BCl" title="Kalkül">Kalkül</a> über Ausdrücke betrieben werden kann. Das logische Prädikat in dieser rein formalen Rolle wird auch als <a href="/wiki/Pr%C3%A4dikator" title="Prädikator">Prädikator</a><a href="#cite_note-4">[4]</a> oder genereller Term<a href="#cite_note-5">[5]</a> bezeichnet, um es sowohl vom <a href="/wiki/Pr%C3%A4dikat_(Grammatik)" title="Prädikat (Grammatik)">grammatischen Prädikat</a> als auch von <a href="/wiki/Singul%C3%A4rer_Term" class="mw-redirect" title="Singulärer Term">singulären Termen</a> (Gegenstandsnamen) terminologisch abzugrenzen. Unter dem Einfluss der modernen Logik orientieren sich manche neuere grammatische Prädikatstheorien jedoch am logischen Prädikatsbegriff. <div class="mw-heading mw-heading3"><h3 id="Prädikate_als_Begriffe_und_Satzfunktionen">Prädikate als Begriffe und Satzfunktionen</h3>[<a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&veaction=edit&section=4" title="Abschnitt bearbeiten: Prädikate als Begriffe und Satzfunktionen" class="mw-editsection-visualeditor">Bearbeiten</a> | <a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&action=edit&section=4" title="Quellcode des Abschnitts bearbeiten: Prädikate als Begriffe und Satzfunktionen">Quelltext bearbeiten</a>]</div> Ein Prädikatsausdruck im Sinne der modernen Logik ist „ein Ausdruck, aus dem man durch Einsetzen von Individuennamen für Individuenvariablen einen Satz bilden kann“.<a href="#cite_note-6">[6]</a> Mit anderen Worten: Ein Prädikat ist der Ausdruck, der übrig bleibt, wenn man in einem Satz die in ihm vorkommenden Namen wegstreicht.<a href="#cite_note-7">[7]</a> Grundlegend für den modernen Prädikatsbegriff ist die Einsicht von Frege, dass der beurteilbare Inhalt einer Aussage ein Ganzes ist, „das logisch auf verschiedene Weise zerlegt werden kann, jedoch immer so, dass von einem Gegenstand Beziehungen oder Eigenschaften ausgesagt werden“.<a href="#cite_note-Mayer70-8">[8]</a> In Anwendung und Erweiterung des Funktionsbegriffs der Analysis wird die Aussage nicht mehr in Subjekt und Prädikat, sondern in <a href="/wiki/Funktion_(Mathematik)" title="Funktion (Mathematik)">Funktion</a> und Argument zerlegt.<a href="#cite_note-9">[9]</a> Das Subjekt-Prädikat-Schema der Umgangssprache wird für die Logik durch ein Argument-Funktion-Schema ersetzt.<a href="#cite_note-10">[10]</a> Dabei vertritt der Argumentsausdruck einen Gegenstand, von dem bestimmte Eigenschaften oder Beziehungen gelten, die durch einen Funktionsausdruck ausgedrückt werden.<a href="#cite_note-Mayer70-8">[8]</a> Das Prädikat im Sinne der modernen Logik ist somit eine Satzfunktion, die auch als Aussagefunktion, <a href="/wiki/Aussageform" title="Aussageform">Aussageform</a> oder (engl.) propositional function bezeichnet wird. Von jeder Satzfunktion wird gefordert, dass sie für jedes Argument (jeden singulären Ausdruck), das man in sie einsetzt, einen Wahrheitswert ergibt. So heißt es in einer jüngeren Einführung: „n-stellige Prädikate sind eigentlich n-stellige Funktionen, deren Funktionswerte nichts mit Zahlen zu tun haben. Vielmehr geben sie Wahrheitswerte. Einstellige Prädikate nehmen als Argumente einzelne Gegenstände und geben Wahrheitswerte. Zweistellige Prädikate nehmen als Argumente geordnete Paare von Gegenständen und geben Wahrheitswerte … kurz: n-stellige Prädikate nehmen n-Tupel als Argumente und geben Wahrheitswerte.“<a href="#cite_note-11">[11]</a> Die Extension eines n-stelligen Prädikats ist dabei die Menge der <a href="/wiki/N-Tupel" class="mw-redirect" title="N-Tupel">n-Tupel</a>, für die das Prädikat den Wahrheitswert „wahr“ ergibt.<a href="#cite_note-12">[12]</a> <div class="mw-heading mw-heading3"><h3 id="Prädikate,_Relationen_und_Existenzaussagen">Prädikate, Relationen und Existenzaussagen</h3>[<a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&veaction=edit&section=5" title="Abschnitt bearbeiten: Prädikate, Relationen und Existenzaussagen" class="mw-editsection-visualeditor">Bearbeiten</a> | <a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&action=edit&section=5" title="Quellcode des Abschnitts bearbeiten: Prädikate, Relationen und Existenzaussagen">Quelltext bearbeiten</a>]</div> Der moderne Prädikatsbegriff macht den Weg frei, auch Beziehungen (Relationen) sowie Existenzaussagen logisch adäquat zu erfassen. <div class="mw-heading mw-heading4"><h4 id="Relationen">Relationen</h4>[<a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&veaction=edit&section=6" title="Abschnitt bearbeiten: Relationen" class="mw-editsection-visualeditor">Bearbeiten</a> | <a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&action=edit&section=6" title="Quellcode des Abschnitts bearbeiten: Relationen">Quelltext bearbeiten</a>]</div> Der moderne Prädikatsbegriff ermöglicht eine Mehrstelligkeit des Prädikats und dadurch eine logische Behandlung von Relationen. <ul><li>Beispiel: „Sokrates ist ein Schüler von Platon“</li></ul> Anmerkung: In Wahrheit war Platon ein Schüler von Sokrates. Das Beispiel soll nur zeigen, dass Falschaussagen, genauso wie wahre Aussagen, logische Elemente enthalten. traditionelle Analyse: „Sokrates“ (Subjekt) „ist“ (Kopula) „ein Schüler von Platon“ (Prädikat) moderne Analyse: Die Beziehung des „Schülerseins von“ wird als Prädikatsterm „_1 ist Schüler von _2“ analysiert; die Ausdrücke „_1“ und „_2“ markieren dabei die Stellen, an denen die Individuen benannt werden, über die diese Beziehung ausgesagt werden soll – im Beispiel sind das die Individuen (Argumente, Gegenstände) Sokrates und Platon. Im Fall von „_1 ist Schüler von _2“ handelt es sich um eine Beziehung zwischen zwei Gegenständen, weshalb das Prädikat (bzw. der Prädikatsterm) zweistellig genannt wird. Abhängig von der Zahl der Gegenstände, zwischen denen eine Beziehung ausgesagt wird, spricht man auch von drei-, vier- usw. stelligen Prädikaten, oder allgemeiner von n- oder unbestimmt mehrstelligen. <div class="mw-heading mw-heading4"><h4 id="Existenzaussagen">Existenzaussagen</h4>[<a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&veaction=edit&section=7" title="Abschnitt bearbeiten: Existenzaussagen" class="mw-editsection-visualeditor">Bearbeiten</a> | <a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&action=edit&section=7" title="Quellcode des Abschnitts bearbeiten: Existenzaussagen">Quelltext bearbeiten</a>]</div> Der moderne Prädikatsbegriff ermöglicht auch <a href="/wiki/Existenzaussage" title="Existenzaussage">Existenzaussagen</a> adäquater zu erfassen. <ul><li>Beispiel: (1) „Es gibt violette Ameisen“; (2) „Einige Ameisen sind violett“; (3) „Violette Ameisen existieren“<a href="#cite_note-13">[13]</a></li></ul> traditionelle Logik: Bei (1) ist „Es“ grammatisch ein Schein-Subjekt, was für die traditionelle Logik ein Problem darstellt. Formuliert man (1) und (3) in „Violette Ameisen sind existierend“ um, kann man diesen Satz in „Violette Ameisen“ (Subjekt) + „sind“ (Kopula) und „existierend“ (Prädikat) analysieren. Dieser Satz unterscheidet sich von (2): „Einige Ameisen“ (Subjekt) + „sind“ (Kopula) + „violett“ (Prädikat). moderne Logik: Für die moderne Logik sind die Sätze (1)–(3) gleichbedeutend und „existieren“ ist nur in einem grammatischen, nicht aber in einem logischen Sinn ein Prädikat.<a href="#cite_note-14">[14]</a> Die Einzelheiten sind umstritten. Nach <a href="/wiki/Gottlob_Frege" title="Gottlob Frege">Frege</a> ist Existenz die Eigenschaft eines Begriffs, einen nicht-leeren Umfang zu haben.<a href="#cite_note-15">[15]</a> Als <a href="/wiki/Gefl%C3%BCgeltes_Wort#Begriffsgeschichte" title="Geflügeltes Wort">locus classicus</a> für die moderne Auffassung von Existenz gilt Russells Aufsatz On Denoting (1905).<a href="#cite_note-16">[16]</a> <div class="mw-heading mw-heading3"><h3 id="Begriffe_als_Bedeutungen_von_Prädikaten">Begriffe als Bedeutungen von Prädikaten</h3>[<a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&veaction=edit&section=8" title="Abschnitt bearbeiten: Begriffe als Bedeutungen von Prädikaten" class="mw-editsection-visualeditor">Bearbeiten</a> | <a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&action=edit&section=8" title="Quellcode des Abschnitts bearbeiten: Begriffe als Bedeutungen von Prädikaten">Quelltext bearbeiten</a>]</div> Sieht man mit <a href="/wiki/Gottlob_Frege" title="Gottlob Frege">Frege</a> in Prädikaten Satzfunktionen, verwendet man den Ausdruck "Begriff" mit ihm in einem nur logischen Sinn<a href="#cite_note-17">[17]</a>, und sieht man in Begriffen die Bedeutung von Prädikaten,<a href="#cite_note-Kutschera85-18">[18]</a> so kommt man zu seiner klassischen Begriffsdefinition: „ein Begriff ist eine Funktion, deren Wert immer ein Wahrheitswert ist“.<a href="#cite_note-19">[19]</a> Dies gilt als „der erste standfeste Begriff des Begriffs in der europäischen Philosophiegeschichte“.<a href="#cite_note-20">[20]</a> <div class="mw-heading mw-heading3"><h3 id="Prädikate_als_Namen_für_Eigenschaften_und_Relationen">Prädikate als Namen für Eigenschaften und Relationen</h3>[<a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&veaction=edit&section=9" title="Abschnitt bearbeiten: Prädikate als Namen für Eigenschaften und Relationen" class="mw-editsection-visualeditor">Bearbeiten</a> | <a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&action=edit&section=9" title="Quellcode des Abschnitts bearbeiten: Prädikate als Namen für Eigenschaften und Relationen">Quelltext bearbeiten</a>]</div> Zwischen den Prädikaten als sprachlichen Ausdrücken und ihren Bedeutungen ist streng zu unterscheiden. So bedeutet z. B. das Prädikat „ist weiß“ die Eigenschaft, weiß zu sein, und das Prädikat „Freund sein“ die Beziehung der Freundschaft. Die Bedeutung n-stelliger Prädikate bezeichnet man auch als n-stellige Begriffe.<a href="#cite_note-Kutschera85-18">[18]</a> Prädikate sind „Bezeichnungen für Eigenschaften und Relationen, die von den Individuen ausgesagt werden sollen“. Einstellige Prädikate sind „ein Zeichen für ein einstelliges Attribut (d. i. eine Eigenschaft)“.<a href="#cite_note-21">[21]</a> Je nach relationslogischer Terminologie kann man n-stellige Prädikate auch als einstellige Beziehungsausdrücke bezeichnen.<a href="#cite_note-22">[22]</a> <div class="mw-heading mw-heading3"><h3 id="Prädikatbegriff_und_Ontologie">Prädikatbegriff und Ontologie</h3>[<a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&veaction=edit&section=10" title="Abschnitt bearbeiten: Prädikatbegriff und Ontologie" class="mw-editsection-visualeditor">Bearbeiten</a> | <a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&action=edit&section=10" title="Quellcode des Abschnitts bearbeiten: Prädikatbegriff und Ontologie">Quelltext bearbeiten</a>]</div> Gewöhnlich werden Prädikate mit Eigenschaften von Gegenständen identifiziert. Diese Gleichsetzung ist jedoch einzuschränken, da sie nur bedingt von atomaren Prädikaten der ersten Stufe gilt. Für den aristotelischen Prädikatbegriff heißt es resümierend: „Die Relation von Subjekt und Prädikat im Satz spiegelt das Grundverhältnis der Wirklichkeit: die Substanz (Subjekt) mit ihren Eigenschaften (Prädikate). Jedes wahre Urteil spiegelt ein Seinsverhältnis.“<a href="#cite_note-23">[23]</a> Es ist hier nicht zu vertiefen, inwieweit die klassische Ontologie mit ihrem Substanz- und Akzidenz-Denken den klassischen Prädikatsbegriff notwendig hat. <div class="mw-heading mw-heading3"><h3 id="Einteilungen_der_Prädikate">Einteilungen der Prädikate</h3>[<a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&veaction=edit&section=11" title="Abschnitt bearbeiten: Einteilungen der Prädikate" class="mw-editsection-visualeditor">Bearbeiten</a> | <a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&action=edit&section=11" title="Quellcode des Abschnitts bearbeiten: Einteilungen der Prädikate">Quelltext bearbeiten</a>]</div> <dl><dt>Stelligkeit</dt></dl> Nach der Anzahl der einsetzbaren Individuennamen (Argumente) kann zwischen ein- und mehrstellige Prädikaten unterschieden werden. Ein Prädikat mit n Leerstellen nennt man n-stelliges Prädikat.<a href="#cite_note-Kutschera85-18">[18]</a> Statt von ein-, zwei- oder dreistelligen Prädikaten wird auch von monadischen, dyadischen, triadischen Prädikaten (Prädikatoren) gesprochen. Mehrstellige Prädikate (Prädikatoren) werden mitunter auch Relatoren genannt.<a href="#cite_note-24">[24]</a> Ein Wort kann dabei Ausdruck von Prädikaten verschiedener Stellenzahl sein.<a href="#cite_note-25">[25]</a> <ul><li>Beispiel (liegen) <ul><li>(1) einstellig (f (a)): „Anton liegt“ (= „… liegt“ (Anton));</li> <li>(2) zweistellig (f (a,b)): Anton liegt unter einer Eiche (= „… liegt unter …“ (Anton, Eiche)).</li> <li>(3) dreistellig (f (a, b, c)): Anton liegt zwischen einer Eiche und einer Birke (= „… liegt zwischen … und …“ (Anton, Eiche, Birke))</li></ul></li></ul> „Im Übrigen steckt in jedem mehrstelligen Prädikat auch ein solches mit weniger Leerstellen und immer ein einstelliges.“<a href="#cite_note-26">[26]</a> Das heißt, Anton liegt zwischen einer Eiche und einer Birke kann auch analysiert werden als „… liegt zwischen einer Eiche und einer Birke“ (Anton). Die Leerstellen des Prädikats entsprechen in anderer Terminologie seiner syntaktischen <a href="/wiki/Valenz_(Linguistik)" title="Valenz (Linguistik)">Valenz</a>.<a href="#cite_note-27">[27]</a> <dl><dt>Atomare und molekulare Prädikate</dt></dl> Ein atomares Prädikat (semantischer Baustein; semantisches Primitiv; engl.: semantic primitive<a href="#cite_note-28">[28]</a>) ist ein Prädikat, das keine <a href="/wiki/Junktor" title="Junktor">Junktoren</a> enthält. Ein molekulares Prädikat ist ein „Prädikat, das durch die Verbindung mehrerer atomarer Prädikate durch Junktoren entstanden ist“.<a href="#cite_note-29">[29]</a> <dl><dt>Stufigkeit</dt></dl> In der Tradition von <a href="/wiki/Gottlob_Frege" title="Gottlob Frege">Gottlob Frege</a> wird zwischen Prädikaten erster Stufe und Prädikaten zweiter Stufe unterschieden. Prädikate erster Stufe sind Prädikate, deren Anwendungsbereich Gegenstände, die mit Individuenkonstanten bezeichnet werden, umfasst. Für Prädikate zweiter Stufe kommen nur Prädikate erster Stufe als Argumente infrage.<a href="#cite_note-30">[30]</a> <dl><dt>Leeres/ nichtleeres Prädikat</dt></dl> „Ein Prädikat heißt leer, wenn es auf kein Individuum zutrifft.“<a href="#cite_note-31">[31]</a> (Beispiel: __ ist ein Einhorn). Das Gegenteil ist ein nichtleeres Prädikat. <div class="mw-heading mw-heading2"><h2 id="Formalisierung_des_Prädikats_in_der_mathematischen_Logik">Formalisierung des Prädikats in der mathematischen Logik</h2>[<a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&veaction=edit&section=12" title="Abschnitt bearbeiten: Formalisierung des Prädikats in der mathematischen Logik" class="mw-editsection-visualeditor">Bearbeiten</a> | <a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&action=edit&section=12" title="Quellcode des Abschnitts bearbeiten: Formalisierung des Prädikats in der mathematischen Logik">Quelltext bearbeiten</a>]</div> Anders als die traditionelle Syllogistik untersucht die moderne mathematische Logik nicht das logische Schließen mit Hilfe normalsprachiger Sätze, sondern das Schließen in genau beschriebenen formalen Sprachen beziehungsweise Systemen. Für <a href="/wiki/Pr%C3%A4dikatenlogik" title="Prädikatenlogik">Prädikatenkalküle</a> gehören zu den beschriebenen Ausdrücken der Sprache ein- und mehrstellige Prädikatensymbole, auch Prädikatenkonstanten, Prädikatbuchstaben oder Prädikatoren genannt, oft geschrieben als Großbuchstaben, gefolgt von den Argumenten des Prädikats oder von Leerstellen als Platzhalter für solche Argumente. Oft werden die Argumente in Klammern gesetzt und durch Beistriche voneinander getrennt. Zum Beispiel würde ein einstelliges Prädikat mit dem Prädikatensymbol „P“ als „P_“ oder als „P(_)“ geschrieben, ein zweistelliges Prädikat mit dem Prädikatensymbol „S“ würde als „S_1_2“ oder als „S(_1, _2)“ geschrieben. Die einstelligen Prädikatensymbole entsprechen den Prädikatstermen der syllogistischen Logik. In der Interpretation einer formalen Sprache eines Prädikatenkalküls wird jedem einstelligen Prädikatensymbol die Menge der Individuen (Gegenstände, Entitäten im weitesten Sinn) zugeordnet, auf die das betroffene Prädikat zutrifft; jedem zweistelligen Prädikatensymbol die Menge <a href="/wiki/Geordnetes_Paar" title="Geordnetes Paar">geordneter Paare</a> von Individuen, auf die das Prädikat zutrifft; und allgemein jedem n-stelligen Prädikatensymbol die Menge aller n-<a href="/wiki/Tupel" title="Tupel">Tupel</a> (in der Mathematik auch als <a href="/wiki/Relation_(Mathematik)" title="Relation (Mathematik)">Relation</a> bezeichnet) von Individuen, auf die das jeweilige Prädikat zutrifft. Die Gesamtheit aller Gegenstände, von denen in der betrachteten Interpretation die Rede ist, wird Diskursuniversum (engl. universe of discourse oder domain) genannt. Der Begriff Prädikat wird formal als eine <a href="/wiki/Funktion_(Mathematik)" title="Funktion (Mathematik)">Funktion</a> in die Menge der <a href="/wiki/Wahrheitswert" title="Wahrheitswert">Wahrheitswerte</a> definiert: Ein n-stelliges Prädikat ist eine n-stellige Funktion aus dem n-fachen <a href="/wiki/Kartesisches_Produkt" title="Kartesisches Produkt">kartesischen Produkt</a> des Diskursuniversums D <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \prod _{i=1}^{n}D=\underbrace {D\times ...\times D} _{n{\text{-mal}}}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <munderover> <mo>∏</mo> <mrow class="MJX-TeXAtom-ORD"> <mi>i</mi> <mo>=</mo> <mn>1</mn> </mrow> <mrow class="MJX-TeXAtom-ORD"> <mi>n</mi> </mrow> </munderover> <mi>D</mi> <mo>=</mo> <munder> <mrow class="MJX-TeXAtom-OP MJX-fixedlimits"> <munder> <mrow> <mi>D</mi> <mo>×</mo> <mo>.</mo> <mo>.</mo> <mo>.</mo> <mo>×</mo> <mi>D</mi> </mrow> <mo>⏟</mo> </munder> </mrow> <mrow class="MJX-TeXAtom-ORD"> <mi>n</mi> <mrow class="MJX-TeXAtom-ORD"> <mtext>-mal</mtext> </mrow> </mrow> </munder> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \prod _{i=1}^{n}D=\underbrace {D\times ...\times D} _{n{\text{-mal}}}}</annotation> </semantics> </math><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/0453639f520d75db408cca22c4fc1cb13f459602" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -3.671ex; margin-right: -0.028ex; width:18.974ex; height:7.509ex;" alt="{\displaystyle \prod _{i=1}^{n}D=\underbrace {D\times ...\times D} _{n{\text{-mal}}}}" /> – das heißt aus der Menge aller n-Tupel von Individuen – in die Menge der Wahrheitswerte. Somit kann jedem n-stelligen Prädikatensymbol P(_1, _2,… _n) eine solche Funktion – ein Prädikat – P(x1, x2,… xn) zugeordnet werden, sodass P(x1, x2,… xn) =wahr genau dann, wenn das n-Tupel (x1, x2,… xn) ein Element der dem Prädikatensymbol zugeordneten Menge von n-Tupeln ist, mit anderen Worten: <dl><dd>Für alle x1, x2,… xn ∈ D gilt:</dd> <dd>(x1, x2,… xn) ∈ P ⇔ P(x1, x2,… xn) = Wahr</dd></dl> Aus diesem Grund werden die Aussagen (x1, x2,… xn) ∈ P und P(x1, x2,… xn) auch gleichbedeutend verwendet. Als einfaches Beispiel eine Dreiecksgeschichte. Das universe of discourse U besteht aus Ulrich, Heiner und Anna: <dl><dd>U = {Ulrich, Heiner, Anna}</dd></dl> Wir haben zwei Prädikatssymbole F( ) (einstellig) und L( , ) (zweistellig). Wir ordnen das Prädikatensymbol F( ) der einstelligen Relation (das heißt einer Teilmenge von U) {Anna} zu. Das Prädikatensymbol L( , ) der zweistelligen Relation {(Anna, Heiner), (Heiner, Anna), (Ulrich, Anna)}. Unsere Prädikate sind F(x) und L(x1, x2). F(x) ist genau dann wahr, wenn x = Anna. In unserer Interpretation gilt also: F(Anna). <div class="mw-heading mw-heading2"><h2 id="Einzelnachweise">Einzelnachweise</h2>[<a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&veaction=edit&section=13" title="Abschnitt bearbeiten: Einzelnachweise" class="mw-editsection-visualeditor">Bearbeiten</a> | <a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&action=edit&section=13" title="Quellcode des Abschnitts bearbeiten: Einzelnachweise">Quelltext bearbeiten</a>]</div> <ol class="references"> <li id="cite_note-1"><a href="#cite_ref-1">↑</a> Vgl. Paul Ruppen: Einstieg in die formale Logik. 1996, S. 157: „Ein Prädikat ist ein Ausdruck, den wir von einem oder mehreren Gegenständen aussagen.“ </li> <li id="cite_note-2"><a href="#cite_ref-2">↑</a> Verena E. Mayer: Der Wert der Gedanken. 1989, S. 40 f. Fn. 25. </li> <li id="cite_note-3"><a href="#cite_ref-3">↑</a> <a href="/wiki/Paul_Hoyningen-Huene" title="Paul Hoyningen-Huene">Paul Hoyningen-Huene</a>: Logik. 1998, S. 171. </li> <li id="cite_note-4"><a href="#cite_ref-4">↑</a> z. B. in Albert Menne: Logik. 6. Auflage. 2001, S. 58; Helmut Seiffert: Einführung in die Logik.1973, S. 23. </li> <li id="cite_note-5"><a href="#cite_ref-5">↑</a> So <a href="/wiki/Willard_Van_Orman_Quine" title="Willard Van Orman Quine">Willard Van Orman Quine</a> nach <a href="/wiki/Ernst_Tugendhat" title="Ernst Tugendhat">Ernst Tugendhat</a>, Ursula Wolf: Logisch-semantische Propädeutik. 1983, S. 94. </li> <li id="cite_note-6"><a href="#cite_ref-6">↑</a> Eike von Savigny: Grundkurs im logischen Schließen. 2. Auflage. 1984, S. 85. </li> <li id="cite_note-7"><a href="#cite_ref-7">↑</a> Vgl. (für den einfachen Satz) <a href="/wiki/Franz_von_Kutschera" title="Franz von Kutschera">Franz von Kutschera</a>, Albert Breitkopf: Einführung in die moderne Logik. 8. Auflage. 2007, <a href="/wiki/Spezial:ISBN-Suche/9783495482711" class="internal mw-magiclink-isbn">ISBN 978-3-495-48271-1</a>, S. 84. </li> <li id="cite_note-Mayer70-8">↑ <a href="#cite_ref-Mayer70_8-0">a</a> <a href="#cite_ref-Mayer70_8-1">b</a> Verena E. Mayer: Der Wert der Gedanken. 1989, S. 70. </li> <li id="cite_note-9"><a href="#cite_ref-9">↑</a> Verena E. Mayer: Der Wert der Gedanken. 1989, S. 68. </li> <li id="cite_note-10"><a href="#cite_ref-10">↑</a> Gottlob Frege: „Vorwort“ zur Begriffsschrift, in: Uwe Meixner (Hrsg.): Philosophie der Logik. 2003, S. 27, 31. </li> <li id="cite_note-11"><a href="#cite_ref-11">↑</a> Niko Strobach: Einführung in die Logik. 2005, S. 83. </li> <li id="cite_note-12"><a href="#cite_ref-12">↑</a> Vgl. Niko Strobach: Einführung in die Logik. 2005, S. 83. </li> <li id="cite_note-13"><a href="#cite_ref-13">↑</a> Beispiel nach Ernst Tugendhat, Ursula Wolf: Logisch-semantische Propädeutik 1983, S. 94. </li> <li id="cite_note-14"><a href="#cite_ref-14">↑</a> Ernst Tugendhat, Ursula Wolf: Logisch-semantische Propädeutik 198, S. 185. </li> <li id="cite_note-15"><a href="#cite_ref-15">↑</a> Elena Tatievskaya: Einführung in die Aussagenlogik 2003, S. 48. </li> <li id="cite_note-16"><a href="#cite_ref-16">↑</a> Ernst Tugendhat, Ursula Wolf: Logisch-semantische Propädeutik. 1983, S. 191 ff. </li> <li id="cite_note-17"><a href="#cite_ref-17">↑</a> Vgl. Rudolf Haller, „Begriff“, in: HWPH Bd. 1 1971, Sp. 780 (785) </li> <li id="cite_note-Kutschera85-18">↑ <a href="#cite_ref-Kutschera85_18-0">a</a> <a href="#cite_ref-Kutschera85_18-1">b</a> <a href="#cite_ref-Kutschera85_18-2">c</a> Franz von Kutschera, Albert Breitkopf: Einführung in die moderne Logik. 8. Auflage. 2007, <a href="/wiki/Spezial:ISBN-Suche/9783495482711" class="internal mw-magiclink-isbn">ISBN 978-3-495-48271-1</a>, S. 85. </li> <li id="cite_note-19"><a href="#cite_ref-19">↑</a> Gottlob Frege: Funktion und Begriff. [1891]. </li> <li id="cite_note-20"><a href="#cite_ref-20">↑</a> So <a href="/wiki/G%C3%BCnther_Patzig" title="Günther Patzig">Günther Patzig</a>: Sprache und Logik, 2. Aufl. 1981, S. 97 </li> <li id="cite_note-21"><a href="#cite_ref-21">↑</a> <a href="/wiki/Rudolf_Carnap" title="Rudolf Carnap">Rudolf Carnap</a>: Einführung in die symbolische Logik. 3. Auflage. 1968, S. 4–5. </li> <li id="cite_note-22"><a href="#cite_ref-22">↑</a> So z. B. Robert Kirchner, Wilhelm Karl Essler, Rosa F. Martinez Cruzado: Grundzüge der Logik. Band I, 4. Auflage. (1991), S. 174. </li> <li id="cite_note-23"><a href="#cite_ref-23">↑</a> Patrick Brandt, Rolf-Albert Dietrich, Georg Schön: Sprachwissenschaft. 2. Auflage. 2006, S. 49. </li> <li id="cite_note-24"><a href="#cite_ref-24">↑</a> Helmut Seiffert: Logik. 1973, S. 28. </li> <li id="cite_note-25"><a href="#cite_ref-25">↑</a> Paul Hoyningen-Huene: Logik. 1998, S. 173, dort findet sich auch das folgende Beispiel. </li> <li id="cite_note-26"><a href="#cite_ref-26">↑</a> <a href="/wiki/David_Hilbert" title="David Hilbert">David Hilbert</a>, Wilhelm Ackermann: Grundzüge der theoretischen Logik. 6. Auflage. Berlin u. a. 1972, <a href="/wiki/Spezial:ISBN-Suche/3540058435" class="internal mw-magiclink-isbn">ISBN 3-540-05843-5</a>, S. 69. </li> <li id="cite_note-27"><a href="#cite_ref-27">↑</a> So <a href="/wiki/Hadumod_Bu%C3%9Fmann" title="Hadumod Bußmann">Hadumod Bußmann</a> (Hrsg.): Lexikon der Sprachwissenschaft. 3., aktualisierte und erweiterte Auflage. Kröner, Stuttgart 2002, <a href="/wiki/Spezial:ISBN-Suche/3520452030" class="internal mw-magiclink-isbn">ISBN 3-520-45203-0</a>, (Argument). </li> <li id="cite_note-28"><a href="#cite_ref-28">↑</a> Hadumod Bußmann (Hrsg.): Lexikon der Sprachwissenschaft. 3., aktualisierte und erweiterte Auflage. Kröner, Stuttgart 2002, <a href="/wiki/Spezial:ISBN-Suche/3520452030" class="internal mw-magiclink-isbn">ISBN 3-520-45203-0</a>, (Atomares Prädikat). </li> <li id="cite_note-29"><a href="#cite_ref-29">↑</a> Maximilian Herberger, Dieter Simon: Wissenschaftstheorie für Juristen. S. 94. </li> <li id="cite_note-30"><a href="#cite_ref-30">↑</a> Rudolf Carnap: Einführung in die symbolische Logik. 3. Auflage. 1968, S. 65–68; vgl. auch Albert Menne: Logik. 6. Auflage. 2001, S. 68: „Prädikatoren 1. Stufe“ = „Prädikatoren, die Individuen als Argumente haben“. Von <a href="/wiki/Rudolf_Carnap" title="Rudolf Carnap">Carnap</a> werden die Individuenzeichen als Zeichen nullter Stufe bezeichnet. </li> <li id="cite_note-31"><a href="#cite_ref-31">↑</a> Albert Menne: Logik. 6. Auflage. 2001, S. 61. </li> </ol> <div class="hintergrundfarbe1 rahmenfarbe1 navigation-not-searchable normdaten-typ-s" style="border-style: solid; border-width: 1px; clear: left; margin-bottom:1em; margin-top:1em; padding: 0.25em; overflow: hidden; word-break: break-word; word-wrap: break-word;" id="normdaten"> <div style="display: table-cell; vertical-align: middle; width: 100%;"> <div> Normdaten (Sachbegriff): <a href="/wiki/Gemeinsame_Normdatei" title="Gemeinsame Normdatei">GND</a>: <a rel="nofollow" class="external text" href="https://d-nb.info/gnd/4389352-1">4389352-1</a> (<a rel="nofollow" class="external text" href="https://lobid.org/gnd/4389352-1">lobid</a>, <a rel="nofollow" class="external text" href="https://swb.bsz-bw.de/DB=2.104/SET=1/TTL=1/CMD?retrace=0&trm_old=&ACT=SRCHA&IKT=2999&SRT=RLV&TRM=4389352-1">OGND</a>, <a rel="nofollow" class="external text" href="https://prometheus.lmu.de/gnd/4389352-1">AKS</a>) </div> </div></div></div><noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?useformat=desktop&type=1x1&usesul3=0" alt="" width="1" height="1" style="border: none; position: absolute;"></noscript> <div class="printfooter" data-nosnippet="">Abgerufen von „<a dir="ltr" href="https://de.wikipedia.org/w/index.php?title=Prädikat_(Logik)&oldid=246027123">https://de.wikipedia.org/w/index.php?title=Prädikat_(Logik)&oldid=246027123</a>“</div></div> <div id="catlinks" class="catlinks" data-mw="interface"><div id="mw-normal-catlinks" class="mw-normal-catlinks"><a href="/wiki/Wikipedia:Kategorien" title="Wikipedia:Kategorien">Kategorien</a>: <ul><li><a href="/wiki/Kategorie:Logik" title="Kategorie:Logik">Logik</a></li><li><a href="/wiki/Kategorie:Sprachphilosophie" title="Kategorie:Sprachphilosophie">Sprachphilosophie</a></li></ul></div><div id="mw-hidden-catlinks" class="mw-hidden-catlinks mw-hidden-cats-hidden">Versteckte Kategorie: <ul><li><a href="/wiki/Kategorie:Wikipedia:%C3%9Cberarbeiten" title="Kategorie:Wikipedia:Überarbeiten">Wikipedia:Überarbeiten</a></li></ul></div></div> </div> </div> <div id="mw-navigation"> <h2>Navigationsmenü</h2> <div id="mw-head"> <nav id="p-personal" class="mw-portlet mw-portlet-personal vector-user-menu-legacy vector-menu" aria-labelledby="p-personal-label" > <h3 id="p-personal-label" class="vector-menu-heading " > Meine Werkzeuge </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-anonuserpage" class="mw-list-item">Nicht angemeldet</li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/Spezial:Meine_Diskussionsseite" title="Diskussion über Änderungen von dieser IP-Adresse [n]" accesskey="n">Diskussionsseite</a></li><li id="pt-anoncontribs" class="mw-list-item"><a href="/wiki/Spezial:Meine_Beitr%C3%A4ge" title="Eine Liste der Bearbeitungen, die von dieser IP-Adresse gemacht wurden [y]" accesskey="y">Beiträge</a></li><li id="pt-createaccount" class="mw-list-item"><a href="/w/index.php?title=Spezial:Benutzerkonto_anlegen&returnto=Pr%C3%A4dikat+%28Logik%29" title="Wir ermutigen dich dazu, ein Benutzerkonto zu erstellen und dich anzumelden. Es ist jedoch nicht zwingend erforderlich.">Benutzerkonto erstellen</a></li><li id="pt-login" class="mw-list-item"><a href="/w/index.php?title=Spezial:Anmelden&returnto=Pr%C3%A4dikat+%28Logik%29" title="Anmelden ist zwar keine Pflicht, wird aber gerne gesehen. [o]" accesskey="o">Anmelden</a></li> </ul> </div> </nav> <div id="left-navigation"> <nav id="p-namespaces" class="mw-portlet mw-portlet-namespaces vector-menu-tabs vector-menu-tabs-legacy vector-menu" aria-labelledby="p-namespaces-label" > <h3 id="p-namespaces-label" class="vector-menu-heading " > Namensräume </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-nstab-main" class="selected mw-list-item"><a href="/wiki/Pr%C3%A4dikat_(Logik)" title="Seiteninhalt anzeigen [c]" accesskey="c">Artikel</a></li><li id="ca-talk" class="mw-list-item"><a href="/wiki/Diskussion:Pr%C3%A4dikat_(Logik)" rel="discussion" title="Diskussion zum Seiteninhalt [t]" accesskey="t">Diskussion</a></li> </ul> </div> </nav> <nav id="p-variants" class="mw-portlet mw-portlet-variants emptyPortlet vector-menu-dropdown vector-menu" aria-labelledby="p-variants-label" > <input type="checkbox" id="p-variants-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-p-variants" class="vector-menu-checkbox" aria-labelledby="p-variants-label" > <label id="p-variants-label" class="vector-menu-heading " > Deutsch </label> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </nav> </div> <div id="right-navigation"> <nav id="p-views" class="mw-portlet mw-portlet-views vector-menu-tabs vector-menu-tabs-legacy vector-menu" aria-labelledby="p-views-label" > <h3 id="p-views-label" class="vector-menu-heading " > Ansichten </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-view" class="selected mw-list-item"><a href="/wiki/Pr%C3%A4dikat_(Logik)">Lesen</a></li><li id="ca-ve-edit" class="mw-list-item"><a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&veaction=edit" title="Diese Seite mit dem VisualEditor bearbeiten [v]" accesskey="v">Bearbeiten</a></li><li id="ca-edit" class="collapsible mw-list-item"><a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&action=edit" title="Den Quelltext dieser Seite bearbeiten [e]" accesskey="e">Quelltext bearbeiten</a></li><li id="ca-history" class="mw-list-item"><a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&action=history" title="Frühere Versionen dieser Seite [h]" accesskey="h">Versionsgeschichte</a></li> </ul> </div> </nav> <nav id="p-cactions" class="mw-portlet mw-portlet-cactions emptyPortlet vector-menu-dropdown vector-menu" aria-labelledby="p-cactions-label" title="Weitere Optionen" > <input type="checkbox" id="p-cactions-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-p-cactions" class="vector-menu-checkbox" aria-labelledby="p-cactions-label" > <label id="p-cactions-label" class="vector-menu-heading " > Weitere </label> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </nav> <div id="p-search" role="search" class="vector-search-box-vue vector-search-box-show-thumbnail vector-search-box-auto-expand-width vector-search-box"> <h3 >Suche</h3> <form action="/w/index.php" id="searchform" class="vector-search-box-form"> <div id="simpleSearch" class="vector-search-box-inner" data-search-loc="header-navigation"> <input class="vector-search-box-input" type="search" name="search" placeholder="Wikipedia durchsuchen" aria-label="Wikipedia durchsuchen" autocapitalize="sentences" title="Durchsuche die Wikipedia [f]" accesskey="f" id="searchInput" > <input type="hidden" name="title" value="Spezial:Suche"> <input id="mw-searchButton" class="searchButton mw-fallbackSearchButton" type="submit" name="fulltext" title="Suche nach Seiten, die diesen Text enthalten" value="Suchen"> <input id="searchButton" class="searchButton" type="submit" name="go" title="Gehe direkt zu der Seite mit genau diesem Namen, falls sie vorhanden ist." value="Artikel"> </div> </form> </div> </div> </div> <div id="mw-panel" class="vector-legacy-sidebar"> <div id="p-logo" role="banner"> <a class="mw-wiki-logo" href="/wiki/Wikipedia:Hauptseite" title="Hauptseite"></a> </div> <nav id="p-navigation" class="mw-portlet mw-portlet-navigation vector-menu-portal portal vector-menu" aria-labelledby="p-navigation-label" > <h3 id="p-navigation-label" class="vector-menu-heading " > Navigation </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-mainpage-description" class="mw-list-item"><a href="/wiki/Wikipedia:Hauptseite" title="Hauptseite besuchen [z]" accesskey="z">Hauptseite</a></li><li id="n-topics" class="mw-list-item"><a href="/wiki/Portal:Wikipedia_nach_Themen">Themenportale</a></li><li id="n-randompage" class="mw-list-item"><a href="/wiki/Spezial:Zuf%C3%A4llige_Seite" title="Zufällige Seite aufrufen [x]" accesskey="x">Zufälliger Artikel</a></li><li id="n-specialpages" class="mw-list-item"><a href="/wiki/Spezial:Spezialseiten">Spezialseiten</a></li> </ul> </div> </nav> <nav id="p-Mitmachen" class="mw-portlet mw-portlet-Mitmachen vector-menu-portal portal vector-menu" aria-labelledby="p-Mitmachen-label" > <h3 id="p-Mitmachen-label" class="vector-menu-heading " > Mitmachen </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-Artikel-verbessern" class="mw-list-item"><a href="/wiki/Wikipedia:Beteiligen">Artikel verbessern</a></li><li id="n-Neuerartikel" class="mw-list-item"><a href="/wiki/Hilfe:Neuen_Artikel_anlegen">Neuen Artikel anlegen</a></li><li id="n-portal" class="mw-list-item"><a href="/wiki/Wikipedia:Autorenportal" title="Info-Zentrum über Beteiligungsmöglichkeiten">Autorenportal</a></li><li id="n-help" class="mw-list-item"><a href="/wiki/Hilfe:%C3%9Cbersicht" title="Übersicht über Hilfeseiten">Hilfe</a></li><li id="n-recentchanges" class="mw-list-item"><a href="/wiki/Spezial:Letzte_%C3%84nderungen" title="Liste der letzten Änderungen in Wikipedia [r]" accesskey="r">Letzte Änderungen</a></li><li id="n-contact" class="mw-list-item"><a href="/wiki/Wikipedia:Kontakt" title="Kontaktmöglichkeiten">Kontakt</a></li><li id="n-sitesupport" class="mw-list-item"><a href="https://donate.wikimedia.org/?wmf_source=donate&wmf_medium=sidebar&wmf_campaign=de.wikipedia.org&uselang=de" title="Unterstütze uns">Spenden</a></li> </ul> </div> </nav> <nav id="p-tb" class="mw-portlet mw-portlet-tb vector-menu-portal portal vector-menu" aria-labelledby="p-tb-label" > <h3 id="p-tb-label" class="vector-menu-heading " > Werkzeuge </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-whatlinkshere" class="mw-list-item"><a href="/wiki/Spezial:Linkliste/Pr%C3%A4dikat_(Logik)" title="Liste aller Seiten, die hierher verlinken [j]" accesskey="j">Links auf diese Seite</a></li><li id="t-recentchangeslinked" class="mw-list-item"><a href="/wiki/Spezial:%C3%84nderungen_an_verlinkten_Seiten/Pr%C3%A4dikat_(Logik)" rel="nofollow" title="Letzte Änderungen an Seiten, die von hier verlinkt sind [k]" accesskey="k">Änderungen an verlinkten Seiten</a></li><li id="t-permalink" class="mw-list-item"><a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&oldid=246027123" title="Dauerhafter Link zu dieser Seitenversion">Permanenter Link</a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&action=info" title="Weitere Informationen über diese Seite">Seiteninformationen</a></li><li id="t-cite" class="mw-list-item"><a href="/w/index.php?title=Spezial:Zitierhilfe&page=Pr%C3%A4dikat_%28Logik%29&id=246027123&wpFormIdentifier=titleform" title="Hinweise, wie diese Seite zitiert werden kann">Artikel zitieren</a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=Spezial:URL-K%C3%BCrzung&url=https%3A%2F%2Fde.wikipedia.org%2Fwiki%2FPr%25C3%25A4dikat_%28Logik%29">Kurzlink</a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=Spezial:QrCode&url=https%3A%2F%2Fde.wikipedia.org%2Fwiki%2FPr%25C3%25A4dikat_%28Logik%29">QR-Code herunterladen</a></li> </ul> </div> </nav> <nav id="p-coll-print_export" class="mw-portlet mw-portlet-coll-print_export vector-menu-portal portal vector-menu" aria-labelledby="p-coll-print_export-label" > <h3 id="p-coll-print_export-label" class="vector-menu-heading " > Drucken/exportieren </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="coll-download-as-rl" class="mw-list-item"><a href="/w/index.php?title=Spezial:DownloadAsPdf&page=Pr%C3%A4dikat_%28Logik%29&action=show-download-screen">Als PDF herunterladen</a></li><li id="t-print" class="mw-list-item"><a href="/w/index.php?title=Pr%C3%A4dikat_(Logik)&printable=yes" title="Druckansicht dieser Seite [p]" accesskey="p">Druckversion</a></li> </ul> </div> </nav> <nav id="p-wikibase-otherprojects" class="mw-portlet mw-portlet-wikibase-otherprojects vector-menu-portal portal vector-menu" aria-labelledby="p-wikibase-otherprojects-label" > <h3 id="p-wikibase-otherprojects-label" class="vector-menu-heading " > In anderen Projekten </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-wikibase" class="wb-otherproject-link wb-otherproject-wikibase-dataitem mw-list-item"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q1144319" title="Link zum verbundenen Objekt im Datenrepositorium [g]" accesskey="g">Wikidata-Datenobjekt</a></li> </ul> </div> </nav> <nav id="p-lang" class="mw-portlet mw-portlet-lang vector-menu-portal portal vector-menu" aria-labelledby="p-lang-label" > <h3 id="p-lang-label" class="vector-menu-heading " > In anderen Sprachen </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="interlanguage-link interwiki-ar mw-list-item"><a href="https://ar.wikipedia.org/wiki/%D9%85%D8%AD%D9%85%D9%88%D9%84_(%D9%85%D9%86%D8%B7%D9%82)" title="محمول (منطق) – Arabisch" lang="ar" hreflang="ar" data-title="محمول (منطق)" data-language-autonym="العربية" data-language-local-name="Arabisch" class="interlanguage-link-target">العربية</a></li><li class="interlanguage-link interwiki-be mw-list-item"><a href="https://be.wikipedia.org/wiki/%D0%9F%D1%80%D1%8D%D0%B4%D1%8B%D0%BA%D0%B0%D1%82" title="Прэдыкат – Belarussisch" lang="be" hreflang="be" data-title="Прэдыкат" data-language-autonym="Беларуская" data-language-local-name="Belarussisch" class="interlanguage-link-target">Беларуская</a></li><li class="interlanguage-link interwiki-ckb mw-list-item"><a href="https://ckb.wikipedia.org/wiki/%DA%BE%DB%95%DA%B5%DA%AF%DB%8C%D8%B1%D8%A7%D9%88" title="ھەڵگیراو – Zentralkurdisch" lang="ckb" hreflang="ckb" data-title="ھەڵگیراو" data-language-autonym="کوردی" data-language-local-name="Zentralkurdisch" class="interlanguage-link-target">کوردی</a></li><li class="interlanguage-link interwiki-cs mw-list-item"><a href="https://cs.wikipedia.org/wiki/Predik%C3%A1t_(logika)" title="Predikát (logika) – Tschechisch" lang="cs" hreflang="cs" data-title="Predikát (logika)" data-language-autonym="Čeština" data-language-local-name="Tschechisch" class="interlanguage-link-target">Čeština</a></li><li class="interlanguage-link interwiki-en mw-list-item"><a href="https://en.wikipedia.org/wiki/Predicate_(logic)" title="Predicate (logic) – Englisch" lang="en" hreflang="en" data-title="Predicate (logic)" data-language-autonym="English" data-language-local-name="Englisch" class="interlanguage-link-target">English</a></li><li class="interlanguage-link interwiki-eo mw-list-item"><a href="https://eo.wikipedia.org/wiki/Predikato_(logiko)" title="Predikato (logiko) – Esperanto" lang="eo" hreflang="eo" data-title="Predikato (logiko)" data-language-autonym="Esperanto" data-language-local-name="Esperanto" class="interlanguage-link-target">Esperanto</a></li><li class="interlanguage-link interwiki-es mw-list-item"><a href="https://es.wikipedia.org/wiki/Predicado_(l%C3%B3gica)" title="Predicado (lógica) – Spanisch" lang="es" hreflang="es" data-title="Predicado (lógica)" data-language-autonym="Español" data-language-local-name="Spanisch" class="interlanguage-link-target">Español</a></li><li class="interlanguage-link interwiki-et mw-list-item"><a href="https://et.wikipedia.org/wiki/Predikaat" title="Predikaat – Estnisch" lang="et" hreflang="et" data-title="Predikaat" data-language-autonym="Eesti" data-language-local-name="Estnisch" class="interlanguage-link-target">Eesti</a></li><li class="interlanguage-link interwiki-fa mw-list-item"><a href="https://fa.wikipedia.org/wiki/%D9%85%D8%AD%D9%85%D9%88%D9%84" title="محمول – Persisch" lang="fa" hreflang="fa" data-title="محمول" data-language-autonym="فارسی" data-language-local-name="Persisch" class="interlanguage-link-target">فارسی</a></li><li class="interlanguage-link interwiki-fi mw-list-item"><a href="https://fi.wikipedia.org/wiki/Predikaatti_(logiikka)" title="Predikaatti (logiikka) – Finnisch" lang="fi" hreflang="fi" data-title="Predikaatti (logiikka)" data-language-autonym="Suomi" data-language-local-name="Finnisch" class="interlanguage-link-target">Suomi</a></li><li class="interlanguage-link interwiki-fr mw-list-item"><a href="https://fr.wikipedia.org/wiki/Pr%C3%A9dicat_(logique_math%C3%A9matique)" title="Prédicat (logique mathématique) – Französisch" lang="fr" hreflang="fr" data-title="Prédicat (logique mathématique)" data-language-autonym="Français" data-language-local-name="Französisch" class="interlanguage-link-target">Français</a></li><li class="interlanguage-link interwiki-he mw-list-item"><a href="https://he.wikipedia.org/wiki/%D7%A4%D7%A8%D7%93%D7%99%D7%A7%D7%98_(%D7%9C%D7%95%D7%92%D7%99%D7%A7%D7%94_%D7%9E%D7%AA%D7%9E%D7%98%D7%99%D7%AA)" title="פרדיקט (לוגיקה מתמטית) – Hebräisch" lang="he" hreflang="he" data-title="פרדיקט (לוגיקה מתמטית)" data-language-autonym="עברית" data-language-local-name="Hebräisch" class="interlanguage-link-target">עברית</a></li><li class="interlanguage-link interwiki-hy mw-list-item"><a href="https://hy.wikipedia.org/wiki/%D5%8A%D6%80%D5%A5%D5%A4%D5%AB%D5%AF%D5%A1%D5%BF" title="Պրեդիկատ – Armenisch" lang="hy" hreflang="hy" data-title="Պրեդիկատ" data-language-autonym="Հայերեն" data-language-local-name="Armenisch" class="interlanguage-link-target">Հայերեն</a></li><li class="interlanguage-link interwiki-io mw-list-item"><a href="https://io.wikipedia.org/wiki/Predikato_(matematikala_logiko)" title="Predikato (matematikala logiko) – Ido" lang="io" hreflang="io" data-title="Predikato (matematikala logiko)" data-language-autonym="Ido" data-language-local-name="Ido" class="interlanguage-link-target">Ido</a></li><li class="interlanguage-link interwiki-it mw-list-item"><a href="https://it.wikipedia.org/wiki/Predicato_(logica)" title="Predicato (logica) – Italienisch" lang="it" hreflang="it" data-title="Predicato (logica)" data-language-autonym="Italiano" data-language-local-name="Italienisch" class="interlanguage-link-target">Italiano</a></li><li class="interlanguage-link interwiki-kaa mw-list-item"><a href="https://kaa.wikipedia.org/wiki/Predikat" title="Predikat – Karakalpakisch" lang="kaa" hreflang="kaa" data-title="Predikat" data-language-autonym="Qaraqalpaqsha" data-language-local-name="Karakalpakisch" class="interlanguage-link-target">Qaraqalpaqsha</a></li><li class="interlanguage-link interwiki-kk mw-list-item"><a href="https://kk.wikipedia.org/wiki/%D0%9F%D1%80%D0%B5%D0%B4%D0%B8%D0%BA%D0%B0%D1%82" title="Предикат – Kasachisch" lang="kk" hreflang="kk" data-title="Предикат" data-language-autonym="Қазақша" data-language-local-name="Kasachisch" class="interlanguage-link-target">Қазақша</a></li><li class="interlanguage-link interwiki-ky mw-list-item"><a href="https://ky.wikipedia.org/wiki/%D0%9F%D1%80%D0%B5%D0%B4%D0%B8%D0%BA%D0%B0%D1%82" title="Предикат – Kirgisisch" lang="ky" hreflang="ky" data-title="Предикат" data-language-autonym="Кыргызча" data-language-local-name="Kirgisisch" class="interlanguage-link-target">Кыргызча</a></li><li class="interlanguage-link interwiki-mk mw-list-item"><a href="https://mk.wikipedia.org/wiki/%D0%9F%D1%80%D0%B5%D0%B4%D0%B8%D0%BA%D0%B0%D1%82" title="Предикат – Mazedonisch" lang="mk" hreflang="mk" data-title="Предикат" data-language-autonym="Македонски" data-language-local-name="Mazedonisch" class="interlanguage-link-target">Македонски</a></li><li class="interlanguage-link interwiki-pl mw-list-item"><a href="https://pl.wikipedia.org/wiki/Predykat" title="Predykat – Polnisch" lang="pl" hreflang="pl" data-title="Predykat" data-language-autonym="Polski" data-language-local-name="Polnisch" class="interlanguage-link-target">Polski</a></li><li class="interlanguage-link interwiki-pt mw-list-item"><a href="https://pt.wikipedia.org/wiki/Predicado_(l%C3%B3gica_matem%C3%A1tica)" title="Predicado (lógica matemática) – Portugiesisch" lang="pt" hreflang="pt" data-title="Predicado (lógica matemática)" data-language-autonym="Português" data-language-local-name="Portugiesisch" class="interlanguage-link-target">Português</a></li><li class="interlanguage-link interwiki-ru mw-list-item"><a href="https://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%B5%D0%B4%D0%B8%D0%BA%D0%B0%D1%82" title="Предикат – Russisch" lang="ru" hreflang="ru" data-title="Предикат" data-language-autonym="Русский" data-language-local-name="Russisch" class="interlanguage-link-target">Русский</a></li><li class="interlanguage-link interwiki-sk mw-list-item"><a href="https://sk.wikipedia.org/wiki/Predik%C3%A1t_(logika)" title="Predikát (logika) – Slowakisch" lang="sk" hreflang="sk" data-title="Predikát (logika)" data-language-autonym="Slovenčina" data-language-local-name="Slowakisch" class="interlanguage-link-target">Slovenčina</a></li><li class="interlanguage-link interwiki-sr mw-list-item"><a href="https://sr.wikipedia.org/wiki/%D0%98%D1%81%D0%BA%D0%B0%D0%B7_(%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0)" title="Исказ (логика) – Serbisch" lang="sr" hreflang="sr" data-title="Исказ (логика)" data-language-autonym="Српски / srpski" data-language-local-name="Serbisch" class="interlanguage-link-target">Српски / srpski</a></li><li class="interlanguage-link interwiki-uk mw-list-item"><a href="https://uk.wikipedia.org/wiki/%D0%9F%D1%80%D0%B5%D0%B4%D0%B8%D0%BA%D0%B0%D1%82" title="Предикат – Ukrainisch" lang="uk" hreflang="uk" data-title="Предикат" data-language-autonym="Українська" data-language-local-name="Ukrainisch" class="interlanguage-link-target">Українська</a></li> </ul> <div class="after-portlet after-portlet-lang"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q1144319#sitelinks-wikipedia" title="Links auf Artikel in anderen Sprachen bearbeiten" class="wbc-editpage">Links bearbeiten</a></div> </div> </nav> </div> </div> <footer id="footer" class="mw-footer" > <ul id="footer-info"> <li id="footer-info-lastmod"> Diese Seite wurde zuletzt am 18. Juni 2024 um 22:28 Uhr bearbeitet.</li> <li id="footer-info-copyright"><div id="footer-info-copyright-stats" class="noprint"><a rel="nofollow" class="external text" href="https://pageviews.wmcloud.org/?pages=Pr%C3%A4dikat_(Logik)&project=de.wikipedia.org">Abrufstatistik</a> · <a rel="nofollow" class="external text" href="https://xtools.wmcloud.org/authorship/de.wikipedia.org/Pr%C3%A4dikat_(Logik)?uselang=de">Autoren</a> </div><div id="footer-info-copyright-separator"> </div><div id="footer-info-copyright-info"> Der Text ist unter der Lizenz <a rel="nofollow" class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">„Creative-Commons Namensnennung – Weitergabe unter gleichen Bedingungen“</a> verfügbar; Informationen zu den Urhebern und zum Lizenzstatus eingebundener Mediendateien (etwa Bilder oder Videos) können im Regelfall durch Anklicken dieser abgerufen werden. Möglicherweise unterliegen die Inhalte jeweils zusätzlichen Bedingungen. Durch die Nutzung dieser Website erklären Sie sich mit den <a class="external text" href="https://foundation.wikimedia.org/wiki/Policy:Terms_of_Use/de">Nutzungsbedingungen</a> und der <a class="external text" href="https://foundation.wikimedia.org/wiki/Policy:Privacy_policy/de">Datenschutzrichtlinie</a> einverstanden. Wikipedia® ist eine eingetragene Marke der Wikimedia Foundation Inc.</div></li> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy/de">Datenschutz</a></li> <li id="footer-places-about"><a href="/wiki/Wikipedia:%C3%9Cber_Wikipedia">Über Wikipedia</a></li> <li id="footer-places-disclaimers"><a href="/wiki/Wikipedia:Impressum">Impressum</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct">Verhaltenskodex</a></li> <li id="footer-places-developers"><a href="https://developer.wikimedia.org">Entwickler</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/de.wikipedia.org">Statistiken</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement">Stellungnahme zu Cookies</a></li> <li id="footer-places-mobileview"><a href="//de.m.wikipedia.org/w/index.php?title=Pr%C3%A4dikat_(Logik)&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">Mobile Ansicht</a></li> </ul> <ul id="footer-icons" class="noprint"> <li id="footer-copyrightico"><a href="https://www.wikimedia.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><picture><source media="(min-width: 500px)" srcset="/static/images/footer/wikimedia-button.svg" width="84" height="29"><img src="/static/images/footer/wikimedia.svg" width="25" height="25" alt="Wikimedia Foundation" lang="en" loading="lazy"></picture></a></li> <li id="footer-poweredbyico"><a href="https://www.mediawiki.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><picture><source media="(min-width: 500px)" srcset="/w/resources/assets/poweredby_mediawiki.svg" width="88" height="31"><img src="/w/resources/assets/mediawiki_compact.svg" alt="Powered by MediaWiki" lang="en" width="25" height="25" loading="lazy"></picture></a></li> </ul> </footer> <div class="mw-portlet mw-portlet-dock-bottom emptyPortlet vector-menu-portal portal" id="p-dock-bottom"> <ul> </ul> </div> <script>(RLQ=window.RLQ||[]).push(function(){mw.log.warn("This page is using the deprecated ResourceLoader module \"codex-search-styles\".\n[1.43] Use a CodexModule with codexComponents to set your specific components used: https://www.mediawiki.org/wiki/Codex#Using_a_limited_subset_of_components");mw.config.set({"wgHostname":"mw-web.codfw.main-5c6f46dcf-qxclb","wgBackendResponseTime":156,"wgPageParseReport":{"limitreport":{"cputime":"0.116","walltime":"0.195","ppvisitednodes":{"value":924,"limit":1000000},"postexpandincludesize":{"value":8685,"limit":2097152},"templateargumentsize":{"value":1874,"limit":2097152},"expansiondepth":{"value":11,"limit":100},"expensivefunctioncount":{"value":1,"limit":500},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":13390,"limit":5000000},"entityaccesscount":{"value":1,"limit":400},"timingprofile":["100.00% 114.003 1 -total"," 30.62% 34.913 2 Vorlage:Hinweisbaustein"," 29.62% 33.770 1 Vorlage:Überarbeiten"," 27.25% 31.063 1 Vorlage:Normdaten"," 20.14% 22.959 1 Vorlage:Wikidata-Registrierung"," 19.94% 22.728 1 Vorlage:LaS"," 4.86% 5.544 1 Vorlage:\u0026quot;"," 3.59% 4.090 1 Vorlage:ß"," 1.89% 2.158 2 Vorlage:Str_trim"," 1.60% 1.828 1 Vorlage:De-ch"]},"scribunto":{"limitreport-timeusage":{"value":"0.021","limit":"10.000"},"limitreport-memusage":{"value":1379088,"limit":52428800}},"cachereport":{"origin":"mw-web.codfw.main-5886496d-mdpcr","timestamp":"20250316095916","ttl":2592000,"transientcontent":false}}});});</script> <script type="application/ld+json">{"@context":"https:\/\/schema.org","@type":"Article","name":"Pr\u00e4dikat (Logik)","url":"https:\/\/de.wikipedia.org\/wiki\/Pr%C3%A4dikat_(Logik)","sameAs":"http:\/\/www.wikidata.org\/entity\/Q1144319","mainEntity":"http:\/\/www.wikidata.org\/entity\/Q1144319","author":{"@type":"Organization","name":"Autoren der Wikimedia-Projekte"},"publisher":{"@type":"Organization","name":"Wikimedia Foundation, Inc.","logo":{"@type":"ImageObject","url":"https:\/\/www.wikimedia.org\/static\/images\/wmf-hor-googpub.png"}},"datePublished":"2003-05-07T23:15:55Z"}</script> </body> </html>