formale Logik

См. также в других словарях:

• Formale Logik — Neben der Lehre vom Urteil und der in diesen verwendeten Begriffe geht es in der Logik besonders um die Analyse und Konstruktion logischer Schlussfolgerungen, wobei hier formale Aspekte, ohne Bezug auf den semantischen Gehalt der betrachteten… …   Deutsch Wikipedia

• formale Logik — I formale Logik,   Logik. II formale Logik,   Teilgebiet der Logik …   Universal-Lexikon

• formale Logik — formalioji logika statusas T sritis automatika atitikmenys: angl. formal logic vok. formale Logik, f rus. формальная логика, f pranc. logique formelle, f …   Automatikos terminų žodynas

• Logik — (von altgriechisch λογική τέχνη logiké téchnē „denkende Kunst“, „Vorgehensweise“) ist die Lehre des vernünftigen (Schluss)Folgerns. Die Logik untersucht die Gültigkeit von Argumenten hinsichtlich ihrer Struktur unabhängig vom konkreten Inhalt der …   Deutsch Wikipedia

• Formale Ontologie — bezeichnet Projekte ontologischer Theoriebildung, welche sich weitgehend formaler Instrumentarien bedienen, wie sie in den letzten Jahrzehnten in der analytischen Ontologie nach dem sogenannten ontological turn entwickelt wurden. Ähnlich wie die… …   Deutsch Wikipedia

• Logik — Folgerichtigkeit; logische Korrektheit; Übereinstimmung; Stimmigkeit; Dialektik; Analytik; Gesetzmäßigkeit; Vernunft; Konsequenz * * * Lo|gik [ lo:gɪk], die; : 1 …   Universal-Lexikon

• Formale Semantik — beschäftigt sich mit der exakten Bedeutung von künstlichen oder natürlichen Sprachen. Dabei kann sowohl die Bedeutung bestehender Sprachen untersucht als auch die Bedeutung neu geschaffener Sprachen festgelegt werden. In Abgrenzung zur Semantik… …   Deutsch Wikipedia

• Lōgik — (lat. logica, v. griech. logos, »Vernunft, Vernunftschluß«), Denklehre, d.h. die Wissenschaft, die sich mit der Erforschung der dem Denken innewohnenden und seine mannigfaltigen Betätigungen beherrschenden Gesetze beschäftigt. Daß es solche geben …   Meyers Großes Konversations-Lexikon

• Logik — (v. gr.), ist die Wissenschaft von den Gesetzen. u. Formen des richtigen Denkens. Indem nämlich das Denken das Instrument alles Erkennens ist, entstand schon sehr früh das Bedürfniß, die Frage zu entscheiden, ob alle Arten der Gedankenbestimmung… …   Pierer's Universal-Lexikon

• Formale Systeme — Die Artikel Formale Sprache, Formales System, Formales System (Logik) und Kalkül überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese… …   Deutsch Wikipedia

• Logik erster Ordnung — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… …   Deutsch Wikipedia