% !TeX program = lualatex

\documentclass[
  11pt,
  paper=a4,
  twoside=true,
  openright=true,
  headsepline=true,
  DIV=12
]{scrbook}

% ------------------------------------------------------------
% LuaLaTeX: Unicode direkt, keine inputenc/fontenc nötig
% ------------------------------------------------------------
\usepackage{fontspec}
\usepackage{microtype}

% Grundschrift (gut ausgebaut, inkl. Griechisch)
\setmainfont{Libertinus Serif}
\setsansfont{Libertinus Sans}
\setmonofont{Libertinus Mono}

% ------------------------------------------------------------
% Sprachen: Deutsch + Altgriechisch (polytonisch)
% ------------------------------------------------------------
\usepackage{polyglossia}
\setdefaultlanguage[spelling=new]{german}
\setotherlanguage{greek}

% Polytonisch = Griechisch mit Akzenten/Spiritus (ἀ, ἁ, ᾶ, ὦ etc.)
% Mit Unicode-Eingabe kannst du das direkt tippen (oder per Tastatur-Layout).
\newfontfamily\greekfont{Libertinus Serif}

% ------------------------------------------------------------
% Anführungszeichen
% ------------------------------------------------------------
\usepackage[german=quotes]{csquotes}
% Nutzung: \enquote{...} -> „…“ im Deutschen

% ------------------------------------------------------------
% Mathematik
% ------------------------------------------------------------
\usepackage{amsmath,amssymb,amsthm,mathtools}

% ------------------------------------------------------------
% KOMA: Kopf-/Fußzeilen
% ------------------------------------------------------------
\usepackage[automark]{scrlayer-scrpage}
\clearpairofpagestyles
\ihead{\headmark}
\ohead{\pagemark}

\setkomafont{disposition}{\normalfont\bfseries}

% ------------------------------------------------------------
% Hyperref (spät laden)
% ------------------------------------------------------------
\usepackage[hidelinks]{hyperref}
\hypersetup{
  pdftitle={Das informationstechnische Mittel},
  pdfauthor={Kai Denker},
  pdfsubject={Buch}
}

% ------------------------------------------------------------
% biblatex: Literatur
% ------------------------------------------------------------
\usepackage[
  backend=biber,
  style=authoryear,
  citestyle=authoryear,
  sorting=nyt,
  maxcitenames=2,
  maxbibnames=99,
  giveninits=true,
  autocite=footnote,   % Zitate standardmäßig in Fußnoten
  autolang=other       % Sprache der Einträge automatisch
]{biblatex}

\addbibresource{literatur.bib}

% Optional: deutsches Bibliographie-Layout (Feintuning)
\DefineBibliographyStrings{german}{
  andothers = {et\addabbrvspace al\adddot},
}

% ------------------------------------------------------------
% Theorem-Umgebungen (optional)
% ------------------------------------------------------------
\newtheorem{satz}{Satz}[chapter]
\newtheorem{lemma}[satz]{Lemma}
\newtheorem{definition}[satz]{Definition}

% =========================
% Minimal-Contract (schnell)
% =========================
\usepackage{xparse}
\usepackage{xcolor}
\usepackage{etoolbox}

% Schalter
\newbool{showcontracts}
\newbool{showcontractai}
\booltrue{showcontracts}
\booltrue{showcontractai}

\newcommand{\ContractsOn}{\booltrue{showcontracts}}
\newcommand{\ContractsOff}{\boolfalse{showcontracts}}
\newcommand{\ContractAIOn}{\booltrue{showcontractai}}
\newcommand{\ContractAIOff}{\boolfalse{showcontractai}}

% Farben/Box-Layout
\definecolor{contractbg}{RGB}{255,249,204} % hellgelb
\definecolor{contractframe}{RGB}{170,150,70}

% Feldspeicher (ohne expl3)
\makeatletter
\newcommand{\contract@goal}{}
\newcommand{\contract@prereq}{}
\newcommand{\contract@arg}{}
\newcommand{\contract@ai}{}

\newcommand{\contractGoal}[1]{\gdef\contract@goal{#1}}
\newcommand{\contractPrereq}[1]{\gdef\contract@prereq{#1}}
\newcommand{\contractArgument}[1]{\gdef\contract@arg{#1}}
\newcommand{\contractAI}[1]{\gdef\contract@ai{#1}}

\newcommand{\contract@reset}{%
  \gdef\contract@goal{}%
  \gdef\contract@prereq{}%
  \gdef\contract@arg{}%
  \gdef\contract@ai{}%
}

% Umgebung (setzt Kasten direkt unter der Überschrift)
\NewDocumentEnvironment{contract}{ O{Contract} +b }{%
  \ifbool{showcontracts}{%
    \contract@reset
    #2 % Body ausführen (setzt die Felder)
    \par\noindent
    % Rahmen + Hintergrund ohne TikZ
    \begingroup
      \setlength{\fboxsep}{6pt}%
      \setlength{\fboxrule}{0.4pt}%
      \fcolorbox{contractframe}{contractbg}{%
        \begin{minipage}{0.97\linewidth}
          \textbf{#1}\par\medskip
          \renewcommand{\arraystretch}{1.15}%
          \setlength{\tabcolsep}{6pt}%
          \begin{tabular}{@{}p{0.18\linewidth}p{0.74\linewidth}@{}}
            \textit{Ziel} & \contract@goal \\[2pt]
            \textit{Voraussetzung} & \contract@prereq \\[2pt]
            \textit{Argument} & \contract@arg
            \ifbool{showcontractai}{%
              \\[2pt]\textit{KI-Anweisung} & \contract@ai
            }{}
          \end{tabular}
        \end{minipage}%
      }%
    \endgroup
    \par\medskip
  }{%
    % global aus: nichts
  }%
}{}


% \ContractsOff
% \ContractAIOff



% ------------------------------------------------------------
% Meta
% ------------------------------------------------------------
\title{Das informationstechnische Mittel}
\author{Kai Denker}
\date{\today}

\begin{document}

\frontmatter
\maketitle
\tableofcontents

\chapter{Vorwort}
Hier kommt das Vorwort.

\mainmatter

\part{Grundlagen}

% ---------------------------------------------------------
% KAPITEL I: EINLEITUNG
% ---------------------------------------------------------
\chapter{Einleitung: Von der Computerethik zur Metaphysik der Informatik}
\section{Die Informatik als Provokation der Philosophie}
\begin{contract}[Abschnittsvertrag]
  \contractGoal{Zeigen, warum Software klassische Technikbegriffe unter Spannung setzt.}
  \contractPrereq{Instrumentalitätsmodell; grobe Idee von Formalisierung.}
  \contractArgument{Vom Alltagsbegriff Technik → Sonderfall Software → begriffliche Lücke.}
  \contractAI{Formuliere 3 Thesen und je ein Gegenbeispiel zur Schärfung.}
\end{contract}

foo

\subsection{Die Unzulänglichkeit klassischer Technikbegriffe für die Software}
\subsection{Die „Übergriffigkeit“ der Informatik als Kulturtechnik}

\section{Methodik: Verbindung von Ontologie und Phänomenologie}
\begin{contract}[Methodik-Abschnitt]
  \contractGoal{Die methodische Doppelperspektive (ontologisch/ phänomenologisch) begründen und als Leitfaden fixieren.}
  \contractPrereq{Begriff von Technik als Medium; Minimalverständnis von Hubig/Kaminski; Abgrenzung zu reiner Ethikdiskussion.}
  \contractArgument{1) Problemaufriss, 2) zwei Achsen einführen, 3) heuristische Leistungsfähigkeit zeigen, 4) Übergang zur Systematik.}
  \contractAI{Prüfe innere Konsistenz der Achsen; liefere 2–3 Einwände + Entkräftungen; keine historischen Exkurse.}
\end{contract}

\subsection{Christoph Hubig: Technik als Medialität und Möglichkeitsraum}
\subsection{Andreas Kaminski: Technik als Form des Erwartens (De-Reifizierung)}

\section{Zielsetzung der Arbeit}
\subsection{Bestimmung des KI-Mittels als Übergang zur Mittelbarkeit zweiter Ordnung}
\subsection{Der Wandel von der Funktionierbarkeits- zur Vertrauenserwartung}

% ---------------------------------------------------------
% KAPITEL II: HUBIG
% ---------------------------------------------------------
\chapter{Theoretisches Fundament A: Hubigs Macht der Technik}
\section{Die Dialektik des instrumentellen Handelns}
\subsection{Der praktische Syllogismus: Differenz von Zweck ($Z$) und Realisat ($Z'$)}
\subsection{Mittel als „höheres“ Moment: Das erhaltene Potenzial}

\section{Medialität und Macht}
\subsection{Technik als Medium: Möglichkeitsraum der Formung}
\subsection{Macht als Selektion: Strukturierung von Möglichkeitsräumen (Potentia)}
\subsection{Macht in Netzen: Knoten und obligatorische Passagepunkte}

% ---------------------------------------------------------
% KAPITEL III: KAMINSKI
% ---------------------------------------------------------
\chapter{Theoretisches Fundament B: Kaminskis Technik als Erwartung}
\section{Kritik der dinglichen Fixierung}
\subsection{Technik nicht als Artefakt, sondern als kognitiver Vollzug}
\subsection{Die Zeitlichkeit der Technik: Zukunft in der Gegenwart}

\section{Die Formen des technischen Erwartens}
\subsection{Potenzialerwartung: Technik als Versprechen radikaler Weltänderung}
\subsection{Vertrautheitserwartung: Das Verschwinden der Technik in der Routine}
\subsection{Funktionierbarkeitserwartung: Die rationale Enttäuschungsresistenz}

% ---------------------------------------------------------
% KAPITEL IV: IT-MITTEL
% ---------------------------------------------------------
\chapter{Das klassische informationstechnische Mittel (Algorithmus und Artefakt)}
\section{Informationstechnische Artefakte: Daten und digitale Objekte}
\subsection{Die General Definition of Information (GDI): Daten und Bedeutung}
\subsection{Information als technisches Maß: Shannon vs. Kolmogoroff}
\subsection{Mittel als Artefakte: Die Aufhebung der Differenz von Verfahren und Gegenstand (UTM)}

\section{Der Gegenstandscharakter: Widerstand gegen Disponibilität}
\subsection{Invarianz formaler Modelle: Warum Algorithmen keine Willkürakte sind}
\subsection{Widerständigkeit (Vexatio Artis): Die Grenzen der Formbarkeit}
\subsection{Hybride Gründung: Mechanische Umsetzung und formale Strenge}

% ---------------------------------------------------------
% KAPITEL V: KI-MITTEL
% ---------------------------------------------------------
\chapter{Das „KI-Mittel“: Strukturwandel zur Mittelbarkeit zweiter Ordnung}
\section{Genese: Vom Konstruieren zum Trainieren}
\subsection{KI als Mittel zur Erzeugung von Mitteln (Mittel zweiter Stufe)}
\subsection{Verschiebung der Zwecksetzung: Disposition über den Suchraum}

\section{Epistemologie: Opazität und der Verlust der Spur}
\subsection{Subsymbolische KI: Blackboxing als systemkonstitutives Prinzip}
\subsection{Verlust der abduktiven Basis: Nicht-Rückführbarkeit von Resultaten}

\section{Systematische Analyse von KI-Kompetenzen}
\subsection{Kritik der empirischen Kompetenzmessung (Turing-Test)}
\subsection{Systematische Kompetenzbestimmung: Architektur und Parametrisierung}
\subsection{Rationalität als Optimierung: Die Ausrichtung auf Kostenfunktionen}

% ---------------------------------------------------------
% KAPITEL VI: MACHT UND ERWARTUNG
% ---------------------------------------------------------
\chapter{Macht und Erwartung im Zeitalter der KI}
\section{Machtverschiebung: Von der Verfügung zur Disposition}
\subsection{Macht durch Datenqualität: Neue Formen der Determination}
\subsection{Hybridisierung der Akteure: Das System als „Quasi-Subjekt“}

\section{Wandel der Erwartungshaltung}
\subsection{Von der Funktionierbarkeit zur Vertrauenserwartung in opaken Systemen}
\subsection{Potenzialerwartung als Treiber der „wirklichen Virtualität“}

% ---------------------------------------------------------
% KAPITEL VII: FAZIT
% ---------------------------------------------------------
\chapter{Fazit: Ethik der Ermöglichung und der Kontrolle}
\section{Zusammenfassung der ontologischen Verschiebung}
\subsection{Das KI-Mittel als autokatalytischer Prozess}

\section{Ethische und regulatorische Konsequenzen}
\subsection{Erhalt der Disponibilität: Spurensicherung und Parallelkommunikation}
\subsection{Transparenz als Bedingung verantwortlichen Handelns}
\subsection{Der AI Act als Ausdruck einer technischen Regulatorik}


\backmatter

\printbibliography

\end{document}