Lässt sich ein Widerspruch visuell darstellen?

[KlausImMai]

Hallo,

lässt sich ein Widerspruch visuell darstellen, und wenn ja, wie? Vorzugsweise mit tikz.

Einfaches Beispiel:
Der Tisch ist grün und nicht-grün.

Lässt sich so ein Satz visuell darstellen? Eventuell mit Mengentheorie/Kreisen?

Vielleicht kommt manchem die Frage seltsam vor.

Aber stellt euch vor, ihr stellt den Widerpsruch zweier wissenschaftlicher Theorien visuell dar. Darum geht es letztlich.

Viele Grüße,

Klaus

[alexraasch]

Kannst du noch etwas mehr zum Kontext sagen? Wenn es um Logik geht, um welches logische System geht es? Klassische Logik oder intuitionistisch oder Fuzzy?

[tral]

\documentclass{article}
\usepackage{tikz}
\begin{document}
\tikz\node[circle,draw] {Quadrat};

\bigskip
\tikz\node[fill=green] {Roter Tisch};

\bigskip
{\large $0=1$}

\bigskip
{\large $\frac{1}{0}$}
\end{document}


Christian. ;)

[KlausImMai]

Ich habe bisher das, bin aber nicht zufrieden damit:



\documentclass{article}
\usepackage{tikz}

\usetikzlibrary{%
arrows,%
shapes.misc,% wg. rounded rectangle
shapes.arrows,%
chains,%
matrix,%
positioning,%
scopes,%
decorations.pathmorphing,%
shadows%
}
\usetikzlibrary{er}
\usetikzlibrary{trees}
\usetikzlibrary{shapes.symbols}


\begin{document}


\begin{figure}[H]
\centering
\small

\begin{tikzpicture}
\matrix [column sep={0.4cm}]
{
\node [circle,draw,minimum width=3cm] (a) {Gr\"{u}ner Tisch};
&
\node[rectangle, text width=0cm] (b)
{};
&
\node[cross out, draw, minimum width=.2cm]{};
&
\node[rectangle, text width=0cm] (d)
{};
&
\node [circle,draw,minimum width=3cm] (c)
{Nicht-gr\"{u}ner Tisch}; \\
};
\draw [->] (a.east) -- (b.west) node
[above,midway]{} ;
\draw [->] (c.west) -- (d.east) node
[above,midway]{} ;
\end{tikzpicture}

\caption{Widerspruch}
\end{figure}


\end{document}

[KlausImMai]

Kannst du noch etwas mehr zum Kontext sagen? Wenn es um Logik geht, um welches logische System geht es? Klassische Logik oder intuitionistisch oder Fuzzy?
Es geht einfach darum, Widersprüche zu visualisieren, ganz allgemein, nicht für Logik. Aber ich denke mir, dass Mathematiker oder Logiker mit mengentheoretischem Hintergrund sich da am ehesten auskennen könnten.

[KlausImMai]

Code Beispiel ... Christian. ;)
Was Du damit meinst, kann ich nicht nachvollziehen. Sorry.

[KlausImMai]

Nun habe ich die Lösung gefunden.

Die Antwort lautet: ja.

Die Lösung findet sich in: Helmut Seiffert, Einführung in die Logik, Logische Propädeutik und formale Logik, C.H. Beck, München, 1973, Seite 109.

Seiffert stellt hier alle logischen Möglichkeiten grafisch dar.

Ein sehr empfehlenswertes Buch! übrigens.

Ich finde, abstrakte Gedanken grafisch darzustellen, das sollte eigentlich jeder tun - erhöht Klarheit, Lesbarkeit, Verständlichkeit.

Derzeit habe ich noch kein Beispiel mit tikz gemacht, sorry. (Interessiert ja vielleicht sowieso niemanden.)

[cookie170]

Na klar wäre sowas interessant. Poste Deine Umsetzung!

Gruß,
Alexander