Logik

Under **Logik** (vo altgriechisch   „dänkendi Kunst“, „Vorgeenswiis“) verstoot mä d Leer vom vernümftige Schlüss zie. In dr Logik wird d Struktur vo Argumänt undersuecht zum gsee öb si gültig siige, unabhängig vom Inhalt vo de Ussaage. In däm Sinn reedet mä au vo „formaler“ Logik. Dradizionell isch d Logik e Däil vo dr Filosofii. Ursprünglig hät sich die dradizionelli Logik in dr Noochberschaft vo dr Rhetorik entwigglet. Sit em 20.&nbsp;Joorhundert verstot mä under Logik vor allem die sümbolischi Logik, wo au as grundleegendi Struktuurwüsseschaft behandlet wird, z. B. in dr Mathematik und dr Theoretische Informatik.

Die modärni sümbolischi Logik brucht anstatt vo dr natürlige Sprooch e künstligi Sprooch. E Satz wie *Dr Öpfel isch root* wird z. B. in dr Predikaatelogik as *f(a)* formalisiert, wo *a* für *Dr Öpfel* und *f* für *isch root* stoot. Si wändet genau definierti Schlussreegle aa. En äifachs Bischbil für son e formals Süsteem isch d Ussaagelogik, wo sogenannti atomare Ussaagen dur Buechstaabe ersetzt wärde. Dr symbolische Logik säit mä au mathematischi Logik oder formali Logik im ängere Sinn.

## E baar klassischi Wärk

* Aristoteles: *Lehre vom Schluss oder erste Analytik.* 3. Auflage. Meiner, Hamburg 1922, ISBN 3-7873-1092-4
* Petrus Hispanus: *Tractatus* = *Summulae logicales*, ed. L. M. De Rijk, Assen, 1972. Deutsch:  Petrus Hispanus: *Logische Abhandlungen*. Aus dem Lateinischen von W. Degen und B. Bapst, München 2006, ISBN 3-88405-005-2.
* George Boole: *The mathematical analysis of logic: being an essay towards a calculus of deductive reasoning*, 1847.
* Gottlob Frege: *[[Begriffsschrift]], eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.* Halle/Saale 1879. Auszugsweise abgedruckt z. B. in: Karel Berka, Lothar Kreiser, Siegfried Gottwald, Werner Stelzner: *Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik.* 4. Auflage. Akademie-Verlag, Berlin 1986.
* Gottlob Frege: *Logische Untersuchungen.* Herausgegeben und eingeleitet von Günther Patzig *3. Auflage. Vandenhoeck & Ruprecht, Göttingen 1986, ISBN 3-525-33518-0*
* Giuseppe Peano: *Notations de logique mathématique.* Turin 1894.
* Charles Sanders Peirce: *On the algebra of Logic. A contribution to the philosophy of notation.* The American Journal of Mathematics 7, 1885
* Jan Łukasiewicz: *Logika dwuwartościowa*, Przegląd Filosoficzny, 23, 1921, S. 189ff.
* Jan Łukasiewicz, L. Borkowski (Hrsg.): *Selected Works.* PWN, Warschau 1970.
* Alfred North Whitehead; Bertrand Russell: *Principia Mathematica.* Cambridge 1910–1913, 2. Aufl. 1925–1927.
* Alfred Tarski: *Einführung in die mathematische Logik.* 5. Auflage. Vandenhoeck & Ruprecht, Göttingen 1977, ISBN 3-525-40540-5

## Litratuur
* Nikolai I. Kondakow: *Wörterbuch der Logik*. Hrsg. der deutschen Ausgabe Erhard Albrecht, Günter Asser. verlag das europäische Buch, Westberlin 1978 ISBN 3-920303-80-6  (Verlag Enzyklopädie, Leipzig 1978)
* Karel Berka, Lothar Kreiser: *Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik.* 4. Auflage. Akademie-Verlag, Berlin 1986.
* Thomas M. Seebohm: *Philosophie der Logik.* (Handbuch Philosophie, hg. v. Elisabeth Ströker und Wolfgang Wieland). Alber, Freiburg / München 1984. ISBN 3-495-47474-9

; Logischi Propedöitik
* Ernst Tugendhat, Ursula Wolf: *Logisch-semantische Propädeutik.* Nachdruck. Reclam, Stuttgart 2001, ISBN 3-15-008206-4 *(RUB 8206)*
* Wilhelm Kamlah, Paul Lorenzen: *Logische Propädeutik. Vorschule des vernünftigen Redens.* 3. Auflage. Metzler, Stuttgart u.&nbsp;a. 1996, ISBN 3-476-01371-5
* Axel Bühler: *Einführung in die Logik. Argumentation und Folgerung*. 3. Auflage. Alber, Freiburg/München 2000, ISBN 978-3-495-47905-6

; Formali Logik in dr Filosofii
* Jon Barwise, John Etchemendy: *The Language of First-Order Logic.* CSLI Center for the Study of Language and Information, Leland Stanford Junior University 1991, ISBN 0-937073-74-1
* Ansgar Beckermann: *Einführung in die Logik.* 3. Auflage. De Gruyter, Berlin u.&nbsp;a. 2011, ISBN 978-3-11-025434-1
* Irving M. Copi: *Einführung in die Logik*. Fink, München 1998, ISBN 3-7705-3322-4
* Wolfgang Detel: *Grundkurs Philosophie. Band 1: Logik*. Reclam, Stuttgart, 2007, ISBN 978-3-15-018468-4.
* Dov Gabbay / Franz Guenthner (Hgg.): ''Handbook of Philosophical Logic'', 16 Bde., Kluwer, Reidel, Dordrecht 2. A. 2001ff.
* Paul Hoyningen-Huene: *Formale Logik. Eine philosophische Einführung*. Reclam, Stuttgart 1998, ISBN 3-15-009692-8
* Rüdiger Inhetveen: *Logik. Eine dialog-orientierte Einführung.* Ed. am Gutenbergplatz, Leipzig 2003, ISBN 3-937219-02-1
* Franz von Kutschera, Alfred Breitkopf: *Einführung in die moderne Logik.* 8. Auflage. Alber, Freiburg 2007, ISBN 3-495-47977-5
* E. J. Lemmon: *Beginning Logic.* 2. Auflage. Chapman and Hall, London 1987, ISBN 0-412-38090-0
* Benson Mates: *Elementare Logik. Prädikatenlogik der ersten Stufe mit Identität.* 2. Auflage. Vandenhoeck & Ruprecht, Göttingen 1978, ISBN 3-525-40541-3
* Willard Van Orman Quine|W.V.O. Quine: *Grundzüge der Logik*.  Suhrkamp 1974, ISBN 3-518-27665-4
* Wesley C. Salmon: *Logik.* Reclam: Stuttgart 1983, ISBN 3-15-007996-9 (Online-Version des engl. Originaltextes)

; Formali Logik in dr Mathematik
* Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas: *Einführung in die mathematische Logik.* 4. Auflage. Spektrum, Akademie, Heidelberg u.&nbsp;a. 1998, ISBN 3-8274-0130-5 *(Spektrum-Hochschultaschenbuch)*
* Wolfgang Rautenberg: *Einführung in die Mathematische Logik.* 3. Auflage. Vieweg+Teubner, Wiesbaden 2008. ISBN 978-3-8348-0578-2.
* Donald W Barnes, John M. Mack: *An Algebraic Introduction to Mathematical Logic.* Springer, Berlin 1975, ISBN 3-540-90109-4. (Ein sehr mathematischer Zugang zur Logik.)

; Formali Logik in dr Informatik
* Uwe Schöning: *Logik für Informatiker.* 5. Auflage. Spektrum, Akademie, Heidelberg u.&nbsp;a. 2000, ISBN 3-8274-1005-3 *(Spektrum-Hochschultaschenbuch)*
* Bernhard Heinemann, Klaus Weihrauch: *Logik für Informatiker. Eine Einführung.* 2. Auflage. Teubner, Stuttgart 1992, ISBN 3-519-12248-0 *(Leitfäden und Monographien der Informatik)*

; Hilfsmiddel
* Jürgen Mittelstraß (Hrsg.): *Enzyklopädie Philosophie und Wissenschaftstheorie.* 4 Bände, Bibliographisches Institut, Mannheim u.&nbsp;a. 1980-1996, ISBN 3-411-01603-5

## Weblingg

; Allgemäin
* Graeme Forbes: ''Logic, philosophy of'', in E. Craig (Hg.): *[[Routledge Encyclopedia of Philosophy]]*, London 1998.
* Logiksoftware
* Introduction to Computational Logic (Skript, änglisch)
* Achim Wagenknecht: E ganz churzi Iifüerig in d Logik
* Crashkurs Ussaage- und Predikatelogik
* Externe Links zu Autoren / Forscher / Klassiker
* L. Geldsetzer: Logik Bibliographii mit Uswaallitratuur zu äinzelne Theme
* Immanuel Kant: Logik – e Daarstellig uf em Stand vom Joor 1800, wo hüte veraltet isch
* Universität Bern -Logik mit Übungen - Script für e Logikvorlääsig an dr Uni Bärn in 12 Lektione mit Online-Test zu jeder Lekzioon
* Peter H. Starke: '' Logische Grundlagen der Informatik'' Umfangriichs Skript, wo mä au as PDF cha aabelaade, HU Berlin
* Logic, in: Polimetrica Onlus (Hg.): “The Language of Science”, ISSN 1971-1352