85 Beziehungen: Ableitung (Logik), Alfred North Whitehead, Analytica priora, Antoine Arnauld, Aristoteles, Aussage (Logik), Aussagenlogik, Axiom, Äquivalenzrelation, Backgammon, Barcan-Formel, Bas van Fraassen, Bertrand Russell, Clarence Irving Lewis, De re und de dicto, Definition, Deontische Logik, Dialogische Logik, Disjunktion, Edmund Husserl, Epistemische Logik, Ethik, Florenz, Formale Semantik, Formale Sprache, Formales System, Franz Josef Burghardt, Gentzenscher Hauptsatz, George Edward Hughes, Gottfried Wilhelm Leibniz, Graham Priest, Implikation, Intuitionismus, Jesús Padilla Gálvez, Johan van Benthem, Johannes Duns Scotus, Konjunktion (Logik), Kontingenz (Philosophie), Kurt Gödel, Logik, Logik von Port-Royal, Logische Äquivalenz, Ludwig Wittgenstein, Luitzen Egbertus Jan Brouwer, Mathematischer Konstruktivismus, Max Cresswell, Mögliche Welt, Möglichkeit, Metasprache, Mittelalter, ..., Modalität (Philosophie), Modelltheorie, Negation, Normale Modallogik, Notwendigkeit, Oskar Becker (Philosoph), Oswald Schwemmer, Paul Lorenzen, Peter Mittelstaedt, Phänomenologie, Pierre Nicole, Prädikatenlogik, Präsupposition, Quantenlogik, Quantor, Raute, Reflexive Relation, Relation (Mathematik), Rudolf Carnap, Ruth Barcan Marcus, Saul Kripke, Schlussfolgerung, Schlussregel, Syllogismus, Symmetrische Relation, Temporale Logik, Toronto, Transitive Relation, Uwe Meixner, Vermögen (Fähigkeit), Wahrheit, Wahrheitswert, Wahrheitswertefunktion, Wolfgang Rautenberg, Zeit. Erweitern Sie Index (35 mehr) »
Ableitung (Logik)
Eine Ableitung, Herleitung, oder Deduktion ist in der Logik die Gewinnung von Aussagen aus anderen Aussagen.
Neu!!: Modallogik und Ableitung (Logik) · Mehr sehen »
Alfred North Whitehead
Alfred North Whitehead Alfred North Whitehead OM (* 15. Februar 1861 in Ramsgate; † 30. Dezember 1947 in Cambridge, Massachusetts) war ein britischer Philosoph und Mathematiker.
Neu!!: Modallogik und Alfred North Whitehead · Mehr sehen »
Analytica priora
Scholien) in der 1292/1293 geschriebenen Handschrift Venedig, Biblioteca Marciana, Gr. 202, fol. 185r Die Analytica priora (Erste Analytik) des Aristoteles sind die dritte Schrift des Organon und der erste Teil der Analytiken.
Neu!!: Modallogik und Analytica priora · Mehr sehen »
Antoine Arnauld
Antoine Arnauld (Kupferstich von Louis Simonneau nach Philippe de Champaigne). Antoine Arnauld (* 5. Februar 1612 in Paris; † 8. August 1694 in Brüssel) war ein französischer Philosoph, Linguist, Theologe, Logiker und Mathematiker.
Neu!!: Modallogik und Antoine Arnauld · Mehr sehen »
Aristoteles
Aristoteles (Betonung lateinisch und deutsch: Aristóteles; * 384 v. Chr. in Stageira; † 322 v. Chr. in Chalkis auf Euböa) war ein griechischer Universalgelehrter.
Neu!!: Modallogik und Aristoteles · Mehr sehen »
Aussage (Logik)
Eine Aussage im Sinn der aristotelischen Logik ist ein sprachliches Gebilde, von dem es sinnvoll ist, zu fragen, ob es wahr oder falsch ist (so genanntes Aristotelisches Zweiwertigkeitsprinzip).
Neu!!: Modallogik und Aussage (Logik) · Mehr sehen »
Aussagenlogik
Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird.
Neu!!: Modallogik und Aussagenlogik · Mehr sehen »
Axiom
Ein Axiom (von griechisch ἀξίωμα axíoma, „Forderung; Wille; Beschluss; Grundsatz; philos. (...) Satz, der keines Beweises bedarf“, „Wertschätzung, Urteil, als wahr angenommener Grundsatz“) ist ein Grundsatz einer Theorie, einer Wissenschaft oder eines axiomatischen Systems, der innerhalb dieses Systems weder begründet noch deduktiv abgeleitet, sondern als Grundlage willentlich akzeptiert oder gesetzt wird.
Neu!!: Modallogik und Axiom · Mehr sehen »
Äquivalenzrelation
Unter einer Äquivalenzrelation versteht man in der Mathematik eine zweistellige Relation, die reflexiv, symmetrisch und transitiv ist.
Neu!!: Modallogik und Äquivalenzrelation · Mehr sehen »
Backgammon
Modernes Backgammonbrett Moderner Backgammontisch Transparente Präzisionswürfel aus Celluloseacetat mit abgerundeten Kanten (''ball cornered'') Backgammon ist ein Brettspiel und eine Mischung aus Strategie- und Glücksspiel, es gehört zu den Wurfzabel-Spielen, einer der ältesten Brettspielefamilien der Welt.
Neu!!: Modallogik und Backgammon · Mehr sehen »
Barcan-Formel
Die Barcan-Formeln sind Schemata der quantifizierten Modallogik.
Neu!!: Modallogik und Barcan-Formel · Mehr sehen »
Bas van Fraassen
Bastian „Bas“ Cornelis van Fraassen (* 5. April 1941 in Goes) ist ein niederländischer Wissenschaftstheoretiker und Begründer des Konstruktiven Empirismus.
Neu!!: Modallogik und Bas van Fraassen · Mehr sehen »
Bertrand Russell
Bertrand Russell (1957) Bertrand Arthur William Russell, 3.
Neu!!: Modallogik und Bertrand Russell · Mehr sehen »
Clarence Irving Lewis
Clarence Irving Lewis (* 12. April 1883 in Stoneham, Massachusetts; † 3. Februar 1964 in Cambridge, Massachusetts) war ein US-amerikanischer Logiker und Philosoph, der an der Harvard University Philosophie studiert hatte, u. a.
Neu!!: Modallogik und Clarence Irving Lewis · Mehr sehen »
De re und de dicto
Mit den Bezeichnungen de dicto und de re (lat. „über das Gesagte“ und „über die Sache“) beschreibt man in der Logik, Sprachphilosophie und Ontologie einen Bedeutungsunterschied bei intensionalen Operatoren wie den Modalbegriffen möglich und notwendig.
Neu!!: Modallogik und De re und de dicto · Mehr sehen »
Definition
Unter einer Definition („Abgrenzung“, aus, „(von etwas) herab/weg“ und, „Grenze“) versteht man in Logik und Wissenschaftstheorie die Bestimmung eines Begriffs (Begriffsbestimmung) oder die Erklärung des Wesens einer Sache.
Neu!!: Modallogik und Definition · Mehr sehen »
Deontische Logik
Deontische Logik ist der Bereich der Logik, der die logischen Verhältnisse von Begriffen, die sich auf das Sollen beziehen, untersucht.
Neu!!: Modallogik und Deontische Logik · Mehr sehen »
Dialogische Logik
Die dialogische Logik (engl.: dialogical logic auch: game semantics) ist ein von den deutschen Logikern und Philosophen Kuno Lorenz und Paul Lorenzen entwickelter spieltheoretischer, semantiknaher Ansatz zur Logik.
Neu!!: Modallogik und Dialogische Logik · Mehr sehen »
Disjunktion
Vereinigung von Mengen wird über die (nicht-ausschließende) Disjunktion definiert. OR-Gatter: Wenn Taster E1 '''oder''' E2 betätigt wird, leuchtet die Lampe. Dieses logische Oder umfasst auch den Fall, dass beide zugleich gedrückt werden. Disjunktion („Oder-Verknüpfung“, von lat. disiungere „trennen, unterscheiden, nicht vermengen“) und Adjunktion (von lat. adiungere, „anfügen, verbinden“) sind in der Logik die Bezeichnungen für zwei Typen von Aussagen, bei denen je zwei Aussagesätze durch ein ausschließendes oder oder durch ein nichtausschließendes oder verbunden sind.
Neu!!: Modallogik und Disjunktion · Mehr sehen »
Edmund Husserl
Edmund Husserl (1900) Edmund Gustav Albrecht Husserl (* 8. April 1859 in Proßnitz in Mähren, Kaisertum Österreich; † 27. April 1938 in Freiburg im Breisgau, Deutsches Reich) war ein österreichisch-deutscher Philosoph und Mathematiker und Begründer der philosophischen Strömung der Phänomenologie.
Neu!!: Modallogik und Edmund Husserl · Mehr sehen »
Epistemische Logik
Die epistemische Logik (von griechisch ἐπιστήμη ‚Wissenschaft, Wissen‘), auch Wissenslogik, befasst sich mit Glauben und Wissen bei Individuen sowie Gruppen.
Neu!!: Modallogik und Epistemische Logik · Mehr sehen »
Ethik
Die Ethik ist jener Teilbereich der Philosophie, der sich mit den Voraussetzungen und der Bewertung menschlichen Handelns befasst.
Neu!!: Modallogik und Ethik · Mehr sehen »
Florenz
Florenz ist eine italienische Großstadt mit Einwohnern (Stand). Nach Einwohnern ist sie die achtgrößte Stadt Italiens.
Neu!!: Modallogik und Florenz · Mehr sehen »
Formale Semantik
Formale Semantik beschäftigt sich mit der exakten Bedeutung von Termen in künstlichen oder natürlichen Sprachen.
Neu!!: Modallogik und Formale Semantik · Mehr sehen »
Formale Sprache
Eine formale Sprache ist eine abstrakte Sprache, bei der im Unterschied zu natürlichen Sprachen oft nicht die Kommunikation im Vordergrund steht, sondern die Definition und Anwendung formaler Systeme im engeren Sinn und der Logik im weiteren, allgemeinen Sinn.
Neu!!: Modallogik und Formale Sprache · Mehr sehen »
Formales System
Ein formales System ist ein System von Symbolketten und Regeln.
Neu!!: Modallogik und Formales System · Mehr sehen »
Franz Josef Burghardt
Franz Josef Burghardt (* 23. August 1952 in Waldbröl) ist ein deutscher Wissenschaftstheoretiker und Sozialhistoriker.
Neu!!: Modallogik und Franz Josef Burghardt · Mehr sehen »
Gentzenscher Hauptsatz
Der Gentzensche Hauptsatz oder Schnittsatz ist ein Satz der mathematischen Logik, der besagt, dass die Schnittregel in jeder Herleitung eines Gentzentypkalküls eliminierbar und damit zulässig ist.
Neu!!: Modallogik und Gentzenscher Hauptsatz · Mehr sehen »
George Edward Hughes
George Edward Hughes George Edward Hughes (* 8. Juni 1918 in Waterford, Nordirland; † 4. März 1994 in Wellington, Neuseeland) war ein britischer Philosoph und Logiker mit den Schwerpunkten Modallogik und Philosophie des Mittelalters.
Neu!!: Modallogik und George Edward Hughes · Mehr sehen »
Gottfried Wilhelm Leibniz
Unterschrift von Gottfried Wilhelm Leibniz Alma Mater lipsiensis in den Neuen Campus der Universität Leipzig umgesetzt Gottfried Wilhelm Leibniz (* in Leipzig, Kurfürstentum Sachsen; † 14. November 1716 in Hannover, Kurfürstentum Braunschweig-Lüneburg) war ein deutscher Philosoph, Mathematiker, Jurist, Historiker und politischer Berater der frühen Aufklärung.
Neu!!: Modallogik und Gottfried Wilhelm Leibniz · Mehr sehen »
Graham Priest
Graham Priest Graham Priest (* 1948 in London) ist ein Philosoph und Logiker sowie Professor an der Universität Melbourne.
Neu!!: Modallogik und Graham Priest · Mehr sehen »
Implikation
Die Bezeichnung Implikation (von; Verb: implizieren; Adjektiv: implizit) wird in der Logik nicht einheitlich für einen bestimmten logischen Zusammenhang verwendet; insbesondere werden unterschieden.
Neu!!: Modallogik und Implikation · Mehr sehen »
Intuitionismus
Intuitionismus bezeichnet unterschiedliche philosophische, mathematische und teilweise auch psychologische Positionen, die der Intuition eine Priorität einräumen.
Neu!!: Modallogik und Intuitionismus · Mehr sehen »
Jesús Padilla Gálvez
Jesús Padilla Gálvez (2012) Jesús Padilla Gálvez (* 28. Oktober 1959 in Almería) ist ein spanischer Philosoph und Professor an der Universität von Castilla–La Mancha in Toledo (Spanien).
Neu!!: Modallogik und Jesús Padilla Gálvez · Mehr sehen »
Johan van Benthem
Johan van Benthem Johan van Benthem, eigentlich Johannes Franciscus Abraham Karel van Benthem (* 12. Juni 1949 in Rijswijk), ist ein niederländischer mathematischer und philosophischer Logiker.
Neu!!: Modallogik und Johan van Benthem · Mehr sehen »
Johannes Duns Scotus
Johannes Duns Scotus Johannes Duns Scotus, im Vereinigten Königreich auch John Duns Scotus und weiter latinisiert auch Ioannes Duns Scotus, (* um 1266 in Duns, Schottland; † 8. November 1308 in Köln) war ein schottischer Theologe, Franziskaner und Philosoph der Scholastik.
Neu!!: Modallogik und Johannes Duns Scotus · Mehr sehen »
Konjunktion (Logik)
Schnitt von Mengen wird über die Konjunktion definiert AND-Gatter: Wenn die Taster E1 '''und''' E2 betätigt werden, leuchtet die Lampe. In der Logik wird als Konjunktion (von ‚verbinden‘) oder auch Und-Verknüpfung eine bestimmte Verknüpfung zweier Aussagen oder Aussagefunktionen bezeichnet.
Neu!!: Modallogik und Konjunktion (Logik) · Mehr sehen »
Kontingenz (Philosophie)
Das Nomen Kontingenz mit dem Adjektiv kontingent („etwas, was möglich ist“; mittellateinisch contingentia „Möglichkeit, Zufall“) ist ein philosophischer Terminus, der unter anderem in der Modallogik und Ontologie gebraucht wird.
Neu!!: Modallogik und Kontingenz (Philosophie) · Mehr sehen »
Kurt Gödel
rahmenlos Kurt Friedrich Gödel (* 28. April 1906 in Brünn, Österreich-Ungarn, heute Tschechien; † 14. Januar 1978 in Princeton, New Jersey, Vereinigte Staaten) war ein österreichischer und später US-amerikanischer Mathematiker, Philosoph und einer der bedeutendsten Logiker des 20. Jahrhunderts.
Neu!!: Modallogik und Kurt Gödel · Mehr sehen »
Logik
Mit Logik (von logikè téchnē ‚Kunst des Denkens‘, ‚Kunst des Argumentierens‘) wird im Allgemeinen das vernünftige Schlussfolgern und im Besonderen dessen Lehre – die Schlussfolgerungslehre oder auch Denklehre – bezeichnet.
Neu!!: Modallogik und Logik · Mehr sehen »
Logik von Port-Royal
Titelblatt der siebten Auflage der Logik von Port-Royal, 1738 Die Logik von Port-Royal ist der verbreitete Name des Buches “La logique, ou l'art de penser” (dt.: “Die Logik oder Die Kunst des Denkens”), eines sehr bedeutenden Werks über die Logik.
Neu!!: Modallogik und Logik von Port-Royal · Mehr sehen »
Logische Äquivalenz
Eine logische Äquivalenz liegt vor, wenn zwei logische Ausdrücke den gleichen Wahrheitswert besitzen.
Neu!!: Modallogik und Logische Äquivalenz · Mehr sehen »
Ludwig Wittgenstein
Ludwig Wittgenstein (1930) Ludwig Josef Johann Wittgenstein (* 26. April 1889 in Wien, Österreich-Ungarn; † 29. April 1951 in Cambridge, Vereinigtes Königreich) war ein österreichischer Philosoph.
Neu!!: Modallogik und Ludwig Wittgenstein · Mehr sehen »
Luitzen Egbertus Jan Brouwer
Harald Bohr und Bertus Brouwer (1932) Luitzen Egbertus Jan (Bertus) Brouwer (* 27. Februar 1881 in Overschie (heute zu Rotterdam); † 2. Dezember 1966 in Blaricum) war ein niederländischer Mathematiker.
Neu!!: Modallogik und Luitzen Egbertus Jan Brouwer · Mehr sehen »
Mathematischer Konstruktivismus
Der mathematische Konstruktivismus ist eine Richtung der Philosophie der Mathematik, die den ontologischen Standpunkt vertritt, dass die Existenz mathematischer Objekte durch ihre Konstruktion zu begründen ist.
Neu!!: Modallogik und Mathematischer Konstruktivismus · Mehr sehen »
Max Cresswell
Max John Cresswell (* 19. November 1939 in Wellington) ist ein neuseeländischer Philosoph und Logiker.
Neu!!: Modallogik und Max Cresswell · Mehr sehen »
Mögliche Welt
In Philosophie, Logik sowie der sprachwissenschaftlichen Semantik dient der Begriff der möglichen Welt dazu, die Bedeutung von modalen Aussagen zu erklären, das heißt von Aussagen, die ihren Gehalt mit Modalbegriffen wie „möglich“ und „notwendig“ qualifizieren (siehe auch Modallogik sowie Modalität (Sprachwissenschaft)).
Neu!!: Modallogik und Mögliche Welt · Mehr sehen »
Möglichkeit
Möglichkeit (von althochdeutsch mugan/magan „können“, „vermögen“, „mögen“; griechisch δύναμις dýnamis, lateinisch possibilitas, daher als Fremdwort Possibilität) ist die Realisierbarkeit eines Gegenstands, Vorgangs oder Zustands im praktischen oder theoretischen Sinne.
Neu!!: Modallogik und Möglichkeit · Mehr sehen »
Metasprache
Eine Metasprache ist eine „Sprache über Sprache“.
Neu!!: Modallogik und Metasprache · Mehr sehen »
Mittelalter
Als Mittelalter wird in der europäischen Geschichte die Epoche zwischen dem Ende der Antike und dem Beginn der Neuzeit bezeichnet, also etwa die Zeit zwischen dem 6.
Neu!!: Modallogik und Mittelalter · Mehr sehen »
Modalität (Philosophie)
Modalität bezeichnet in der Philosophie die Art und Weise, wie etwas ist, geschieht oder gedacht wird.
Neu!!: Modallogik und Modalität (Philosophie) · Mehr sehen »
Modelltheorie
Die Modelltheorie ist ein Teilgebiet der mathematischen Logik.
Neu!!: Modallogik und Modelltheorie · Mehr sehen »
Negation
Negation (von) ist Ablehnung, Verneinung oder Aufhebung; verneint werden können zum Beispiel Aussagen, abgelehnt werden können zum Beispiel moralische Werte, aufgehoben werden können zum Beispiel Konventionen.
Neu!!: Modallogik und Negation · Mehr sehen »
Normale Modallogik
Eine normale Modallogik ist in der Logik eine Menge L von Modalformeln, so dass.
Neu!!: Modallogik und Normale Modallogik · Mehr sehen »
Notwendigkeit
In der Alltagssprache bezeichnet man etwas als notwendig, wenn man glaubt („für notwendig halten“), dass es benötigt wird bzw.
Neu!!: Modallogik und Notwendigkeit · Mehr sehen »
Oskar Becker (Philosoph)
Oskar Joachim Becker (* 5. September 1889 in Leipzig; † 13. November 1964 in Bonn) war ein deutscher Philosoph, Logiker und Mathematiker.
Neu!!: Modallogik und Oskar Becker (Philosoph) · Mehr sehen »
Oswald Schwemmer
Oswald Schwemmer (* 10. Juni 1941 in Hilden) ein deutscher Philosoph.
Neu!!: Modallogik und Oswald Schwemmer · Mehr sehen »
Paul Lorenzen
Paul Lorenzen (1967) Paul Peter Wilhelm Lorenzen (* 24. März 1915 in Kiel; † 1. Oktober 1994 in Göttingen) war ein deutscher Philosoph, Wissenschaftstheoretiker, Mathematiker und Logiker.
Neu!!: Modallogik und Paul Lorenzen · Mehr sehen »
Peter Mittelstaedt
Peter Mittelstaedt (r.) und Carl Friedrich von Weizsäcker (l.) während des Internationalen Symposiums für Quantenlogik, Köln 1984 Peter Mittelstaedt, Pseudonym Karl Rottmann (* 24. November 1929 in Leipzig; † 21. November 2014 in Erftstadt), war ein deutscher Physiker, Philosoph und Wissenschaftstheoretiker.
Neu!!: Modallogik und Peter Mittelstaedt · Mehr sehen »
Phänomenologie
Die Phänomenologie (von und λόγος lógos, ‚Rede‘, ‚Lehre‘) ist eine philosophische Strömung, deren Vertreter den Ursprung der Erkenntnisgewinnung in unmittelbar gegebenen Erscheinungen, den Phänomenen, sehen.
Neu!!: Modallogik und Phänomenologie · Mehr sehen »
Pierre Nicole
Porträt des Pierre Nicole von Cornelis Vermeulen Pierre Nicole (* 19. Oktober 1625 in Chartres; † 16. November 1695 in Paris) war ein französischer Theologe und Logiker sowie Vertreter des Jansenismus.
Neu!!: Modallogik und Pierre Nicole · Mehr sehen »
Prädikatenlogik
Die Prädikatenlogiken (auch Quantorenlogiken) bilden eine Familie logischer Systeme, die es erlauben, in der Praxis und in der Theorie vieler Wissenschaften wichtige Bereiche durch Argumente zu formalisieren und sie auf ihre Gültigkeit zu überprüfen.
Neu!!: Modallogik und Prädikatenlogik · Mehr sehen »
Präsupposition
Der Ausdruck Präsupposition (von ‚voraussetzen‘) bezeichnet in der Sprachphilosophie und in der Linguistik eine implizite Voraussetzung.
Neu!!: Modallogik und Präsupposition · Mehr sehen »
Quantenlogik
Als Quantenlogik werden Versuche bezeichnet, ein logisches System zu formulieren, das den Prinzipien der Quantenmechanik gerecht wird.
Neu!!: Modallogik und Quantenlogik · Mehr sehen »
Quantor
Ein Quantor oder Quantifikator, die Re-Latinisierung des von C. S. Peirce eingeführten Ausdrucks „quantifier“, ist ein Operator der Prädikatenlogik.
Neu!!: Modallogik und Quantor · Mehr sehen »
Raute
Eigenschaften einer Raute:Jeweils zwei Seiten sind zueinander parallel und die Verbindungslinien der gegenüberliegenden Ecken schneiden einander im rechten Winkel Eine Raute oder ein Rhombus (von) ist in der Geometrie ein ebenes Viereck mit vier gleich langen Seiten.
Neu!!: Modallogik und Raute · Mehr sehen »
Reflexive Relation
gerichtete Graphen dargestellt Die Reflexivität einer zweistelligen Relation R auf einer Menge ist gegeben, wenn x R x für alle Elemente x der Menge gilt, also jedes Element in Relation zu sich selbst steht.
Neu!!: Modallogik und Reflexive Relation · Mehr sehen »
Relation (Mathematik)
Eine Relation („Beziehung“, „Verhältnis“) ist allgemein eine Beziehung, die zwischen Dingen bestehen kann.
Neu!!: Modallogik und Relation (Mathematik) · Mehr sehen »
Rudolf Carnap
Paul Rudolf Carnap (* 18. Mai 1891 in Ronsdorf, heute Stadtteil von Wuppertal; † 14. September 1970 in Santa Monica, Kalifornien) war ein deutscher Philosoph und einer der Hauptvertreter des logischen Empirismus.
Neu!!: Modallogik und Rudolf Carnap · Mehr sehen »
Ruth Barcan Marcus
Ruth Barcan Marcus (2005) Ruth Barcan Marcus (* 2. August 1921, New York; † 19. Februar 2012, New Haven) war eine US-amerikanische Philosophin und Logikerin.
Neu!!: Modallogik und Ruth Barcan Marcus · Mehr sehen »
Saul Kripke
Saul Kripke (2005) Saul Aaron Kripke (* 13. November 1940 in Bay Shore, Long Island, New York; † 15. September 2022 in Plainsboro, New Jersey) war ein amerikanischer Philosoph und Logiker.
Neu!!: Modallogik und Saul Kripke · Mehr sehen »
Schlussfolgerung
Schlussfolgerung, Schlussfolgern, Folgerung, Inferenz (aus „hineintragen“; „folgern“, „schließen“) oder Konklusion („Schlussfolgerung“) und Implikation sind in der Logik Bezeichnungen für mehrere eng miteinander verwandte Sachverhalte.
Neu!!: Modallogik und Schlussfolgerung · Mehr sehen »
Schlussregel
Eine Schlussregel (oder Inferenzregel) bezeichnet eine Transformationsregel (Umformungsregel) in einem Kalkül der formalen Logik, d. h.
Neu!!: Modallogik und Schlussregel · Mehr sehen »
Syllogismus
Die Syllogismen (von syllogismós „ Zusammenrechnen“, „logischer Schluss“) sind ein Katalog bestimmter Typen logischer Schlüsse.
Neu!!: Modallogik und Syllogismus · Mehr sehen »
Symmetrische Relation
gerichtete Graphen dargestellt Die Symmetrie einer zweistelligen Relation R auf einer Menge ist gegeben, wenn aus x R y stets y R x folgt.
Neu!!: Modallogik und Symmetrische Relation · Mehr sehen »
Temporale Logik
Temporale Logiken oder Zeitlogiken sind Erweiterungen der Logik, durch die zeitliche Abläufe erfasst werden können.
Neu!!: Modallogik und Temporale Logik · Mehr sehen »
Toronto
Toronto (englische Aussprache; regional auch oder) ist mit 2,96 Millionen Einwohnern die größte Stadt Kanadas und die Hauptstadt der Provinz Ontario.
Neu!!: Modallogik und Toronto · Mehr sehen »
Transitive Relation
gerichtete Graphen dargestellt Eine transitive Relation ist in der Mathematik eine zweistellige Relation R auf einer Menge, die die Eigenschaft hat, dass für drei Elemente x, y, z dieser Menge aus x R y und y R z stets x R z folgt.
Neu!!: Modallogik und Transitive Relation · Mehr sehen »
Uwe Meixner
Uwe Meixner (* 10. Dezember 1956 in Bayreuth) ist ein deutscher Philosoph.
Neu!!: Modallogik und Uwe Meixner · Mehr sehen »
Vermögen (Fähigkeit)
Vermögen ist ein zentraler Begriff der antiken, insbesondere der aristotelischen Philosophie.
Neu!!: Modallogik und Vermögen (Fähigkeit) · Mehr sehen »
Wahrheit
Walter Seymour Allward, ''Veritas'' (lateinisch für „Wahrheit“), 1920 Der Begriff der Wahrheit wird in verschiedenen Zusammenhängen gebraucht und unterschiedlich gefasst.
Neu!!: Modallogik und Wahrheit · Mehr sehen »
Wahrheitswert
Ein Wahrheitswert ist in Logik und Mathematik ein logischer Wert, den eine Aussage in Bezug auf Wahrheit annehmen kann.
Neu!!: Modallogik und Wahrheitswert · Mehr sehen »
Wahrheitswertefunktion
Eine Wahrheitswertefunktion, auch kurz Wahrheitsfunktion, ist eine mathematische Funktion, die Wahrheitswerte auf Wahrheitswerte abbildet.
Neu!!: Modallogik und Wahrheitswertefunktion · Mehr sehen »
Wolfgang Rautenberg
Wolfgang Rautenberg Wolfgang Rautenberg (* 27. Februar 1936 in Potsdam;Kürschners Deutscher Gelehrten-Kalender. 14. Ausgabe. De Gruyter, Berlin / New York 1983, Band 3, S. 3298. † 4. September 2011 in Berlin) war ein deutscher Mathematiker und Logiker.
Neu!!: Modallogik und Wolfgang Rautenberg · Mehr sehen »
Zeit
Die Zeit ist eine physikalische Größe.
Neu!!: Modallogik und Zeit · Mehr sehen »
Leitet hier um:
Kripke-Modell, Kripke-Semantik, Kripke-Struktur, Modal-logik, Modale Logik, System B, System K, System S4, System S5, System T.