\documentclass[a4paper,12pt]{scrartcl}

\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage[ngerman]{babel}
\usepackage{fontenc}
\usepackage[pdftex]{graphicx}
\usepackage[left=2cm,right=2cm,top=3cm,bottom=4cm]{geometry}

\author{Malvin Gattinger}
\title{Logik SS2012 - Übungsblatt 1}
\date{}

\begin{document}
\parindent=0cm
\maketitle

\section*{Aufgabe 1}
Erinnerung:
\begin{itemize}
 \item Ein Argument heißt \emph{gültig} genau dann, wenn es rational ist,
 von der Wahrheit der Prämissen auf die Wahrheit der Konklusion zu schließen.
 \item Ein Argument heißt \emph{schlüssig} genau dann, wenn es gültig ist
 und seine Prämissen wahr sind.
\end{itemize}

Ein Argument das gültig aber nicht schlüssig ist, hat falsche Prämissen. Dies
unterscheidet es von den Argumenten die gültig und auch schlüssig sind. Man
nennt es dann auch ein \emph{bloß gültiges} Argument.

Siehe auch Aufgabe 3 e).


\section*{Aufgabe 2}
\begin{itemize}
 \item[a)] ungültig, also auch nicht schlüssig.
 \item[b)] ungültig, also auch nicht schlüssig.
 \item[c)] Dieses Argument ist formal ungültig, also auch nicht schlüssig.
  begriffsanalytisch kann das Argument gültig sein, wenn mensch z.B. "`wissen"'
  als das Besitzen von wahrer, gerechtfertigter Meinung definiert.
 \item[d)] gültig, ob schlüssig beantwortet Wikipedia und nicht ich.
 \item[e)] gültig, ebenso.

\end{itemize}

\section*{Aufgabe 3}
\begin{itemize}
 \item[a)] falsch
 \item[b)] wahr
 \item[c)] unsinnig, denn Argumente können nicht wahr sein
 \item[d)] falsch
 \item[e)] wahr, siehe auch Aufgabe 1
\end{itemize}

\section*{Aufgabe 4}
Jede Aussage kann in einem Argument auftauchen, auch als Konklusion. Formal
logisch lässt sich zu jedem Satz ein gültiges Argument finden. Zu beachten
ist aber, dass dies lange nicht die Wahrheit jedes Satzes beweist, da dazu auch
die Prämissen des Argumentes wahr sein müssten.

Logik bzw. das formale Beweisen von Argumenten ist stets nur
\emph{wahrheitserhaltend} und niemals wahrheitsschaffend.

\section*{Aufgabe 5}
Das Argument ist nicht-deduktiv gültig.

\section*{Aufgabe 6}
Wörter werden verwendet, wenn man über das was sie bezeichnen, d.h. ihre
Bedeutung reden will. Wörter werden erwähnt, wenn etwas über sie selbst gesagt
wird.

Beispiel: \\
Verwendung: Ich lebe in Marburg. \\
Erwähnung: "`Marburg"' fängt mit dem Buchstaben M an.

\section*{Aufgabe 7}
Möchte man über Sprache reden, so geschieht dies auch wieder in einer Sprache.
Auch wenn dies anscheinend die gleiche Sprache sein kann (ebenfalls Deutsch
z.B.), wollen wir in solchen Situationen folgende Unterscheidung treffen:
\begin{center}
In einer Metasprache wird über eine Objektsprache geredet.
\end{center}
Beispiel:\\
Ein Satz in der Objektsprache: Du bist schlau. \\
Und dazu ein Satz in der Metasprache: "`Du bist schlau"' ist ein Satz mit
drei Wörtern.\\
Noch ein Satz in der Metasprache: Der Satz "`Du bist schlau."' ist falsch.\\

Ausdrücke wie "`Der vorige Satz"', "`Das was du gesagt hast"', "`Der Kommentar
von Franz"' sind metasprachlich.

Auch über die Metasprache lässt sich reden und wir bekommen eine
MetaMetasprache. Die Überlegung, aus der wievielten Metasprache dieser Satz
hier stammt, könnte Kopfschmerzen bereiten ;-)

\end{document}