Search (1 results, page 1 of 1)

0.014719442 = product of:
  0.05887777 = sum of:
    0.05887777 = product of:
      0.11775554 = sum of:
        0.11775554 = weight(_text_:lehrbuch in 6559) [ClassicSimilarity], result of:
          0.11775554 = score(doc=6559,freq=2.0), product of:
            0.30775926 = queryWeight, product of:
              6.926203 = idf(docFreq=117, maxDocs=44218)
              0.044434052 = queryNorm
            0.38262224 = fieldWeight in 6559, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              6.926203 = idf(docFreq=117, maxDocs=44218)
              0.0390625 = fieldNorm(doc=6559)
      0.5 = coord(1/2)
  0.25 = coord(1/4)

Abstract

Das Buch eignet sich sowohl als Lehrbuch als auch für an der Logik Interessierte, die sich im Selbststudium mit den Grundlagen der klassischen zweiwertigen Logik und ihrer Verbindung zur natürlichen Sprache vertraut machen wollen. Es bietet einen leicht erlernbaren Einstieg in das formale logische Schließen und wendet sich speziell an Leser, die sich nicht notwendigerweise mit formalen Argumentationstheorien beschäftigen müssen, trotzdem aber sich dieses wichtige philosophische Instrument aneignen wollen. Nachdem, am natürlichen Sprachverständnis anknüpfend, der Begriff des logisch korrekten Argumentierens erläutert wurde, werden anhand ausführlicher Beispiele die Übersetzung informeller rationaler Argumentation in formale Beweise eingeübt. Anschließend wird der Kalkül des Natürlichen Schließens eingeführt und seine Anwendung in der Formalisierung von Argumenten natürlicher Sprache gezeigt. Die Stärke der Prädikatenlogik erster Stufe in der Analyse von analytischen und rationalen Zusammenhängen wird an wichtigen Grundlagen der Definitionstheorie vorgeführt. Die Zusammenhänge zwischen Ableitbarkeit und Beweisbarkeit, zwischen Beweis und Wahrheit werden dargestellt und die Vollständigkeit und Korrektheit des Kalküls des natürlichen Schließens explizit bewiesen. Es werden nicht nur alternative Formulierungen des Kalküls des Natürlichen Schließens angegeben, sondern auch ein Verfahren der Übersetzung zwischen ein- und zweidimensionalen Kalkülen. Ferner werden die Grundlagen der Tableau-, Sequenzen- und Dialogkalküle vorgestellt und an exemplarschen Beispielen eingeübt. Die einzelnen Kapitel enden jeweils mit einem Ubungsteil, und für ausgewählte Aufgaben werden auch Lösungen zur Lernkontrolle angegeben. Ein umfangreiches Stichwort- und Symbolverzeichnis erleichtert das rasche Auffinden der eingeführten Begriffe und Logikzeichen.