logic
With logic (of ancient Greek λογικὴ τέχνη logiké téchnē , thinking art ',' Procedure ') or consistency is generally the rational reasoning and in particular the teaching of which  the inference teaching or even thought teaching  referred to. In logic, the structure of arguments is examined with regard to their validity , regardless of the content of the statements . In this sense, one speaks of “formal” logic. Traditionally, logic is part of philosophy . Originally, traditional logic developed alongside rhetoric . Since the 20th century, logic has mainly been understood as symbolic logic , which is also used as a basic structural science , e.g. B. within mathematics and theoretical computer science .
The modern symbolic logic used instead of natural language an artificial language (a sentence like The apple is red . B. is for the predicate calculus as a formalized, which for the apple and for red stands) and used strictly defined rules of inference . A simple example of such a formal system is propositional logic (socalled atomic propositions are replaced by letters). The symbolic logic is also called mathematical logic or formal logic in the narrower sense.
Different meanings of the word "logic"
The expression “logic”, in Greek logiké technē, stands for a doctrine of reasoning or reasoning in both the older Stoa and the older Peripatos , but was not used in this meaning before the 1st century BC. Occupied. The term was already coined by the ancient Stoic Zeno von Kition .
In German, the word “logic” is often used in the 19th century (for example by Immanuel Kant or Georg Wilhelm Friedrich Hegel ) in the sense of an epistemology , ontology or a general dialectic . On the other hand, logic in the modern sense was often referred to differently, for example as analytics, dialectics or logistics. Even today z. B. in sociology formulations such as logic of action or literary studies such as logic of poetry and the like. Ä. where “logic” is not understood as a theory of reasoning, but rather a doctrine of general “laws” or procedures that apply in a particular area. In the tradition of the philosophy of normal language in particular , a “logical” analysis was often understood to mean an analysis of conceptual relationships.
The use of the term “logic”, as described in the introduction, has been common since the beginning of the 20th century.
In colloquial language, expressions such as “logic” or “logical thinking” are also understood in a much broader or completely different sense and contrasted with “ lateral thinking ”, for example . Similarly, there is the concept of "women's logic," "Men logic" which "affect logic" and the concept of "everyday logic"  also known as " common sense " ( common sense )  in the vernacular . In these areas, “logic” often refers to forms of action, pragmatics . An argument is colloquially referred to as "logical" if it appears sound, compelling, convincing, plausible and clear. The ability to think should be expressed in a logical argument.
Even in current debates it is largely undisputed that the theory of correct reasoning is at the core of logic; However, it is controversial which theories can still be included in logic and which are not. Contentious cases include the set theory , the reasoning theory (which is approximately at a pragmatic consideration with false conclusions employed) and the speech act .
History of logic
Subareas
Classic logic
We speak of classical logic or a classical logical system when the following semantic conditions are met:
 Every statement has exactly one of two truth values , which are usually referred to as true and false . This principle is called the principle of bivalent or bivalence principle.
 The truth value of a compound statement is uniquely determined by the truth values of its partial statements and the way in which these are compounded. This principle is called the principle of extensionality or compositionality.
The term classical logic is to be understood more in the sense of established, fundamental logic, because the nonclassical logics are based on it, than as a historical reference. It was rather the case that Aristotle , the classical representative of logic , so to speak , was very much concerned with multivalued logic , i.e. nonclassical logic.
The most important subareas of formal classical logic are classical propositional logic , firstlevel predicate logic and higherlevel logic , as they were at the end of the 19th and beginning of the 20th centuries by Gottlob Frege , Charles Sanders Peirce , Bertrand Russell and Alfred North Whitehead were developed. In the propositional logic statements are examined to determine whether they are in turn reassembled from statements by connectives (z. B. "and", "or") are connected together. If a statement does not consist of partial statements linked by connectives, then from the point of view of propositional logic it is atomic, i.e. H. cannot be further dismantled.
In predicate logic , the inner structure of sentences can also be represented, which cannot be further broken down from a propositional logic. The internal structure of the statements ( the apple is red. ) Is represented by predicates (also called statement functions) ( is red ) on the one hand and by their arguments on the other ( the apple ); The predicate expresses, for example, a property ( red ) that applies to its argument or a relation that exists between its arguments (x is greater than y). The concept of the statement function is derived from the mathematical concept of the function . A logical proposition function, just like a mathematical function, has a value that is not a numerical value, but a truth value.
The difference between the firstlevel predicate logic and the higherlevel predicate logic is what is quantified using the quantifiers (“all”, “at least one”): In the firstlevel predicate logic, only individuals are quantified (e.g. “All pigs are pink "), in the predicate logic of a higher level, predicates themselves are also quantified (e.g." There is a predicate that applies to Socrates ").
Formally, predicate logic requires a distinction between different expression categories such as terms , functors , predicators and quantifiers. This is overcome in the step logic , a form of the typified lambda calculus . This makes mathematical induction , for example, an ordinary, derivable formula.
The syllogistics that was dominant up to the 19th century and goes back to Aristotle can be understood as a forerunner of predicate logic. A basic term in syllogistics is the term "concepts"; it is not broken down further there. In predicate logic, terms are expressed as singledigit predicates; Multidigit predicates can also be used to analyze the internal structure of terms and thus show the validity of arguments that cannot be syllogistically grasped. A frequently quoted intuitively catchy example is the argument “All horses are animals; so all horse heads are animal heads ”, which can only be derived in higher logics such as predicate logic.
It is technically possible to expand and change the formal syllogistics of Aristotle in such a way that the predicate logic results in calculi of equal power. Such undertakings were occasionally undertaken from a philosophical perspective in the 20th century and are philosophically motivated, for example out of the desire to be able to view purely formal terms as elementary components of statements and not have to break them down according to predicate logic. More about such calculations and the philosophical background can be found in the article on conceptual logic .
Calculus types and logical procedures
Modern formal logic is dedicated to the task of developing exact criteria for the validity of inferences and the logical validity of statements (semantically valid statements are called tautologies , syntactically valid statements are theorems ). Various methods have been developed for this purpose.
In particular in the area of propositional logic (but not only), semantic methods are used, i.e. those methods that are based on the statements being assigned a truth value. These include on the one hand:
While truth tables provide a complete listing of all truth value combinations (and can only be used in the propositional area), the other procedures (which can also be used in predicate logic) proceed according to the scheme of a reductio ad absurdum : If a tautology is to be proven, one starts from its negation and tries to derive a contradiction . Several variants are common here:
 Resolution ,
 Baumkalkül or BethTableaux (after Evert Willem Beth )
The logical calculi that get by without semantic evaluations include:
Nonclassical logics
One speaks of nonclassical logic or a nonclassical logical system when at least one of the two abovementioned classical principles (twovalued and / or extensionality) is abandoned. If the principle of duality is abandoned, multivalued logic emerges . If the principle of extensionality is given up, there arises dimensional logic. Intensional are, for example, modal logic and intuitionistic logic . If both principles are abandoned, multivalued dimensional logic arises. ( See also: Category: NonClassical Logic )
Philosophical Logics
Philosophical logic is a fuzzy collective term for various formal logics that change or expand classical propositional and predicate logic in different ways, usually by enriching their language with additional operators for certain areas of speech. Philosophical logics are usually not of direct interest to mathematics, but are used, for example, in linguistics or computer science . They often deal with questions that go far back into the history of philosophy and that have been discussed in some cases since Aristotle, for example how to deal with modalities ( possibility and necessity ).
The following areas, among others, are assigned to philosophical logic:
 Modal logic introduces modal sentence operators like "it is possible that ..." or "it is necessary that ..." and examines the validity conditions of modal arguments;
 epistemic logic or doxastic logic examines and formalizes statements of belief, conviction and knowledge as well as arguments formed from them;
 Deontic logic or the logic of norms examines and formalizes commandments, prohibitions and concessions (“it is permitted that ...”) as well as arguments formed from them;
 Temporal logic of actions , quantum logic and other temporal logics examine and formalize statements and arguments in which reference is made to points in time or periods of time;
 Intensional logics do not only concern the extension (denotation; meaning in the sense of designated elements), but also their intension (meaning; meaning in the sense of designated properties) of concepts or sentences.
 Interrogative logic examines questions as well as the question of whether logical relationships can be established between questions;
 Conditional sentence logic examines “ifthen” conditions that go beyond the material implication ;
 Paraconsistent logics are characterized by the fact that in them it is not possible to derive any statement from two contradicting statements. This also includes the
 Relevance logic that uses an implication instead of the material implication that is only true if its antecedent is relevant for its subsequent clause (see also the following chapter)
Intuitionism, relevance logic and connected logic
The most discussed deviations from classical logic are those logics that dispense with certain axioms of classical logic. The nonclassical logics in the narrower sense are “weaker” than the classical logic, i. H. In these logics fewer statements are valid than in classical logic, but all statements valid there are also classically valid.
This includes the intuitionistic logic developed by LEJ Brouwer , which uses the "duplexnegatio" axiom (p is derived from the double negation of a statement p)
 (DN)
does not contain, whereby the sentence " tertium non datur " (for every statement p applies: p or notp),
 (TND)
can no longer be derived, the minimal calculus Ingebrigt Johanssons , with which the sentence " ex falso quodlibet " (any statement follows from a contradiction),
 (EFQ)
can not be derived, as well as subsequent thereto relevance logics , in which only those statements of the scheme are valid, where for relevant causal ( see implication # object language implications ). In the dialogic logic and in the sequence calculi, both the classical and the nonclassical logics can be converted into one another by means of corresponding additional rules.
On the other hand, we should mention logics that contain principles that are classically not valid. The proposition initially seems to express an intuitively plausible logical principle: because if p holds, then p, it seems, can no longer be false. However, this theorem is not a valid theorem in classical logic . Insofar as the classical logic is maximally consistent , i.e. H. in so far as any genuine reinforcement of a classical calculus would lead to a contradiction, this theorem could not be added as a further axiom . The connected forms logic , which is to meet the formal preintuition which expresses the sentence by awarding him as a theorem, must therefore reject other classic logical theorems. So while with intuitionistic, minimal and relevant logic the provable formulas are each a real subset of the classically provable formulas, on the other hand, the relationship between connected and classic logic is such that formulas can also be proven in both that do not apply to the other logic.
Multivalued logic and fuzzy logic
This is crossed by the multivalued logics, in which the principle of two valued and often also the Aristotelian principle of the excluded third do not apply, including the threevalued and infinite logic of Jan Łukasiewicz ("Warsaw School"). The infinite fuzzy logic has numerous applications in control technology , while Gotthard Günther's finite logic ("Günther logic") was applied to problems of selffulfilling predictions in sociology .
Nonmonotonous logics
A logical system is called monotonic if every valid argument remains valid even if additional premises are added: What has been proven once remains valid in a monotonic logic, i.e. even if new information is available at a later point in time . Many logical systems have this monotony property, including all classical logics such as propositional and predicate logic.
In everyday and scientific reasoning, however, provisional conclusions are often drawn which are not valid in a strictly logical sense and which may have to be revised at a later point in time. For example, the statements "Tux is a bird." And "Most birds can fly." Could provisionally conclude that Tux can fly. But if we now receive the additional information "Tux is a penguin.", Then we have to correct this conclusion, because penguins are not airworthy birds. In order to map this type of reasoning, nonmonotonic logics were developed: They dispense with the monotony property, that is, a valid argument can become invalid by adding further premises.
Of course, this is only possible if a different consequence operation is used than in classical logic. A common approach is to use socalled defaults . A default conclusion is valid if there is no contradiction to it from a classiclogical conclusion.
The conclusion from the example given would then look like this: “Tux is a bird.” The prerequisite remains . We now combine this with a socalled justification : "Birds can normally fly." From this reason we conclude that Tux can fly as long as nothing speaks against it. The consequence is “Tux can fly.” If we now receive the information “Tux is a penguin.” And “Penguins cannot fly”, there is a contradiction. Using the default conclusion, we came to the conclusion that Tux can fly. With a classiclogical conclusion, however, we were able to prove that Tux cannot fly. In this case the default is revised and the consequence of the classiclogical conclusion is used. This method  roughly described here  is also referred to as Rider's default logic . (See also nonmonotonic inductive Bayesian logic .)
Important authors
 Aristotle (384–322 BC):
 In the Analytica priora : Development of the syllogistics used until the 19th century , a preform of predicate logic .
 Chrysippos of Soloi (281 / 76–208 / 4 BC):
 Development of the stoic syllogistics, a preliminary form of the propositional calculus.
 Cicero (106–43 BC):
 Translated Greek logic into Latin.
 Gottfried Wilhelm Leibniz (1646–1716):
 First approaches to a symbolic logic.
 George Boole (1815–1864):
 Development of Boolean Algebra .
 Charles Sanders Peirce (18391914):
 First approaches to quantifier logic, introduction of relational logic, formulation of a theory of abduction .
 Georg Cantor (1845–1918):
 Development of set theory .
 Gottlob Frege (1848–1925):
 Development of modern propositional and predicate logic . Critique of Psychologism .
 Edmund Husserl (1859–1938):
 Critique of Psychologism in Logic.
 Bertrand Russell (1872–1970):
 Discovered Russell's antinomy .
 Jan Łukasiewicz (1878–1956):
 Developed the Polish notation , dealt with multivalued logic.
 Alfred Tarski (1901–1983):
 His work on model theory and formal semantics is outstanding .
 Kurt Gödel (1906–1978):
 Completeness of the predicate logic. Incomplete Peano arithmetic .
See also
 abstraction
 Formal language (theory of formal languages)
 Category: logic
Classical works
 Aristotle: Doctrine of the conclusion or first analytics. 3. Edition. Meiner, Hamburg 1922, ISBN 3787310924 .
 Thank God Frege: Conceptual writing , one of the arithmetic simulated formula language of pure thinking. Halle / Saale 1879. Reprinted in extracts z. B. in: Karel Berka , Lothar Kreiser, Siegfried Gottwald , Werner Stelzner: Logic texts. Annotated selection on the history of modern logic. 4th edition. AkademieVerlag, Berlin 1986.
 Gottlob Frege: Logical investigations. Edited and introduced by Günther Patzig. 3. Edition. Vandenhoeck & Ruprecht, Göttingen 1986, ISBN 3525335180 .
 Giuseppe Peano: Notations de logique mathématique. Turin 1894.
 Charles Sanders Peirce: On the algebra of Logic. A contribution to the philosophy of notation. In: The American Journal of Mathematics. 7, 1885.
 Jan Łukasiewicz: Logika dwuwartościowa. In: Przegląd Filosoficzny. 23, 1921, pp. 189ff.
 Jan Łukasiewicz, L. Borkowski (eds.): Selected Works. PWN, Warsaw 1970.
 Alfred North Whitehead, Bertrand Russell: Principia Mathematica. Cambridge 19101913.
 Alfred Tarski: Introduction to Mathematical Logic. 5th edition. Vandenhoeck & Ruprecht, Göttingen 1977, ISBN 3525405405 .
literature
Philosophy Bibliography : Logic  Additional references on the topic
 Karel Berka , Lothar Kreiser: Logic texts. Annotated selection on the history of modern logic. 4th edition. AkademieVerlag, Berlin 1986.
 Thomas M. Seebohm: Philosophy of Logic. (Philosophy Handbook, ed. By Elisabeth Ströker and Wolfgang Wieland ). Alber, Freiburg / Munich 1984, ISBN 3495474749 .
 Graham Priest : Logic: A Very Short Introduction . 2000, Oxford University Press, ISBN 9780192893208 .
 History of logic

 see. the information in History of Logic
 Logical propaedeutics
 Ernst Tugendhat , Ursula Wolf : Logicalsemantic propaedeutics. (= RUB 8206). Emphasis. Reclam, Stuttgart 2001, ISBN 3150082064 .
 Wilhelm Kamlah , Paul Lorenzen: Logical Propaedeutics. Preschool of Sensible Speaking. 3. Edition. Metzler, Stuttgart a. a. 1996, ISBN 3476013715 .
 Axel Bühler: Introduction to Logic. Reasoning and conclusion. 3. Edition. Alber, Freiburg / Munich 2000, ISBN 3495479058 .
 Michael Wolff : Introduction to Logic. CH Beck, Munich 2006, ISBN 9783406547454 .
 Formal logic in philosophy
 Jon Barwise , John Etchemendy: The Language of FirstOrder Logic. CSLI Center for the Study of Language and Information, Leland Stanford Junior University 1991, ISBN 0937073741 .
 Ansgar Beckermann : Introduction to Logic. 3. Edition. De Gruyter, Berlin a. a. 2011, ISBN 9783110254341 .
 Irving M. Copi: Introduction to Logic . Fink, Munich 1998, ISBN 3770533224 .
 Wolfgang Detel : Basic Philosophy Course. Volume 1: Logic . Reclam, Stuttgart, 2007, ISBN 9783150184684 .
 Dov Gabbay, Franz Guenthner (Ed.): Handbook of Philosophical Logic. 16 volumes. 2nd Edition. Kluwer, Reidel, Dordrecht 2001ff.
 Paul HoyningenHuene : Formal Logic. A philosophical introduction . Reclam, Stuttgart 1998, ISBN 3150096928 .
 Rüdiger Inhetveen: Logic. A dialogueoriented introduction. Ed. am Gutenbergplatz, Leipzig 2003, ISBN 3937219021 .
 Franz von Kutschera , Alfred Breitkopf: Introduction to modern logic. 8th edition. Alber, Freiburg 2007, ISBN 9783495479773 .
 EJ Lemmon: Beginning Logic. 2nd Edition. Chapman and Hall, London 1987, ISBN 0412380900 .
 Benson Mates: Elementary Logic. First level predicate logic with identity. 2nd Edition. Vandenhoeck & Ruprecht, Göttingen 1978, ISBN 3525405413 .
 WVO Quine : Basic Logic . Suhrkamp 1974, ISBN 3518276654 .
 Wesley C. Salmon : Logic. Reclam, Stuttgart 1983, ISBN 3150079969 .
 Formal logic in mathematics
 HeinzDieter Ebbinghaus, Jörg Flum, Wolfgang Thomas: Introduction to mathematical logic. (= Spectrum university paperback). 4th edition. Spectrum, academy, Heidelberg a. a. 1998, ISBN 3827401305 .
 Wolfgang Rautenberg : Introduction to Mathematical Logic . 3. Edition. Vieweg + Teubner , Wiesbaden 2008, ISBN 9783834805782 .
 Donald W. Barnes, John M. Mack: An Algebraic Introduction to Mathematical Logic. Springer, Berlin 1975, ISBN 3540901094 . (A very mathematical approach to logic)
 Formal logic in computer science
 Uwe Schöning : Logic for computer scientists. (= Spectrum university paperback). 5th edition. Spectrum, academy, Heidelberg a. a. 2000, ISBN 3827410053 .
 Bernhard Heinemann, Klaus Weihrauch: Logic for computer scientists. An introduction. (= Guidelines and monographs of computer science). 2nd Edition. Teubner, Stuttgart 1992, ISBN 3519122480 .
 Logic in medicine or in applied / practical science
 Wladislav Bieganski: Medical Logic. Criticism of medical knowledge. Authorized translation of the 2nd edition by A. Fabian, Würzburg 1909.
 Otto Lippross : Logic and Magic in Medicine. Munich 1969.
Web links
 Graeme Forbes: Logic, philosophy of. In: E. Craig (Ed.): Routledge Encyclopedia of Philosophy . London 1998.
 Introduction to Computational Logic (scripts, English)
 Paul HoyningenHuene : Introduction to Logic on YouTube . Lecture at the Leibnizuniversität Hannover, summer semester 2012
 Torsten Wilholt : Logic and Argumentation. (detailed script introducing formal logic and argumentation theory for philosophy students; PDF; 2.6 MB)
 Logic links (people and aturoes, materials) of the main study area Logic, Language, Information of the University of Düsseldorf
 L. Geldsetzer: Logic Bibliography (PDF; 842 kB) with selected literature on individual topics
 Peter H. Starke: Logical Foundations of Computer Science. Extensive script, which can also be downloaded as a PDF, HU Berlin
Individual evidence
 ↑ Consistency, the. In: Duden.de . Bibliographisches Institut , 2016, accessed March 9, 2019 .
 ↑ Gregor Reisch : "Logic presents its central themes". In: Margarita Philosophica . 1503/08 (?).
 ↑ Kuno Lorenz: Logic, II. The ancient logic. In: Historical Dictionary of Philosophy . Volume 5, 362 after E. Kapp: The origin of logic among the Greeks. 1965, 25 and with reference to Cicero : De finibus 1, 7, 22.
 ↑ Hartmut Esser : Sociology. Special basics. Volume 1: Situation logic and action. Campus Verlag, 1999, page 201.
 ^ Käte Hamburger: The logic of poetry. 3. Edition. KlettCotta, 1977, ISBN 3129109102 .
 ↑ See Heinrich Wansing : Connexive Logic. In: Edward N. Zalta (Ed.): Stanford Encyclopedia of Philosophy .
 ↑ See G. Aldo Antonielli: Nonmonotonic Logic. In: Edward N. Zalta (Ed.): Stanford Encyclopedia of Philosophy .