\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{Phenomenology of Spirit}

, This page collects material related to

\begin{itemize}%
\item [[Georg Hegel]]

\emph{Ph\"a{}nomenologie des Geistes}

( \emph{The Phenomenology of Spirit} )

1807

(\href{http://en.wikipedia.org/wiki/The_Phenomenology_of_Spirit}{Wikipedia entry})



\end{itemize}
A brief version of roughly this material is in \emph{[[Encyclopedia of the Philosophical Sciences]]}, third part, first section, B.

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{das_prinzip_ist_nicht_die_vollendung}{Das Prinzip ist nicht die Vollendung}\dotfill \pageref*{das_prinzip_ist_nicht_die_vollendung} \linebreak
\noindent\hyperlink{vorrede_preface}{Vorrede (Preface)}\dotfill \pageref*{vorrede_preface} \linebreak
\noindent\hyperlink{vom_wissenshcaftlichen_erkennen}{Vom wissenshcaftlichen Erkennen}\dotfill \pageref*{vom_wissenshcaftlichen_erkennen} \linebreak
\noindent\hyperlink{jetziger_standpunkt_des_geistes}{Jetziger Standpunkt des Geistes}\dotfill \pageref*{jetziger_standpunkt_des_geistes} \linebreak
\noindent\hyperlink{12_historical_and_mathematical_proof}{12 Historical and mathematical proof}\dotfill \pageref*{12_historical_and_mathematical_proof} \linebreak
\noindent\hyperlink{17__in_its_positive_attitude_its_subject}{17 -- in its positive attitude; its subject}\dotfill \pageref*{17__in_its_positive_attitude_its_subject} \linebreak
\noindent\hyperlink{related_entries}{related Entries}\dotfill \pageref*{related_entries} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{das_prinzip_ist_nicht_die_vollendung}{}\subsection*{{Das Prinzip ist nicht die Vollendung}}\label{das_prinzip_ist_nicht_die_vollendung}

\hypertarget{vorrede_preface}{}\subsection*{{Vorrede (Preface)}}\label{vorrede_preface}

(\href{https://www.marxists.org/deutsch/philosophie/hegel/phaenom/vorrede.htm#p3}{German full text}, \href{https://www.marxists.org/reference/archive/hegel/works/ph/phprefac.htm}{English translation})

\begin{itemize}%
\item \S{} 5 Daran mitzuarbeiten, da\ss{} die Philosophie der Form der Wissenschaft n\"a{}her komme -- dem Ziele, ihren Namen der Liebe zum Wissen ablegen zu k\"o{}nnen und wirkliches Wissen zu sein --, ist es, was ich mir vorgesetzt.


\item To help to bring philosophy nearer to the form of science -- that goal where it can lay aside the name of love of knowledge and be actual knowledge -- that is what I have set before me.



\end{itemize}
\begin{quote}%
 Wahre Gedanken und wissenschaftliche Einsicht ist nur in der Arbeit des Begriffs zu gewinnen.

Er allein kann die Allgemeinheit des Wissens hervorbringen, welche weder die gemeine Unbestimmtheit und D\"u{}rftigkeit des gemeinen Menschenverstandes, sondern gebildete und vollst\"a{}ndige Erkenntnis, noch die ungemeine Allgemeinheit der durch Tr\"a{}gheit und Eigend\"u{}nkel von Genie sich verderbenden Anlage der Vernunft, sondern die zu ihrer einheimischen Form gediehene Wahrheit, - welche f\"a{}hig ist, das Eigentum aller selbstbewu\ss{}ten Vernunft zu sein.


\end{quote}
\hypertarget{vom_wissenshcaftlichen_erkennen}{}\subsection*{{Vom wissenshcaftlichen Erkennen}}\label{vom_wissenshcaftlichen_erkennen}

\hypertarget{jetziger_standpunkt_des_geistes}{}\subsection*{{Jetziger Standpunkt des Geistes}}\label{jetziger_standpunkt_des_geistes}

\hypertarget{12_historical_and_mathematical_proof}{}\subsubsection*{{12 Historical and mathematical proof}}\label{12_historical_and_mathematical_proof}

section \emph{\href{https://www.marxists.org/reference/archive/hegel/works/ph/phprefac.htm#12}{12 Historical and mathematical proof}}

the following complaint about [[proof]] in [[mathematics]] might be read as being a complaint about the traditional non-[[constructive mathematics|constructive]] concept of proof and about disregard of [[proof relevance]]:

\begin{quote}%
All the same, while proof is essential in the case of mathematical knowledge, it still does not have the significance and nature of being a moment in the result itself; the proof is over when we get the result, and has disappeared. The process of mathematical proof does not belong to the object; it is a function that takes place outside the matter in hand.

\href{https://www.marxists.org/reference/archive/hegel/help/finpref.htm#m042}{footnote 42}: Mathematical truths are not thought to be known unless proved true. Their demonstrations are not, however, kept as parts of what they prove, but are only our subjective means towards knowing the latter. In philosophy, however, consequences always form part of the essence made manifest in them, which returns to itself in such expressions.


\end{quote}
\begin{itemize}%
\item \S{} 55 Das Dasein ist Qualit\"a{}t, sich selbst gleiche Bestimmtheit oder bestimmte Einfachheit, bestimmter Gedanke; dies ist der Verstand des Daseins. Dadurch ist es Nus, als f\"u{}r welchen Anaxagoras zuerst das Wesen erkannte.


\item \S{} 55 Existence is Quality, self-identical determinateness, or determinate simplicity, determinate thought: this is existence from the point of view of Understanding. On this account it is Nous, as Anaxagoras first thought reality to be.



\end{itemize}
[[Dasein]] is [[Nous]]

\hypertarget{17__in_its_positive_attitude_its_subject}{}\subsubsection*{{17 -- in its positive attitude; its subject}}\label{17__in_its_positive_attitude_its_subject}

On ``speculative sentences'' as opposed to the usual ``rational sentences''

\begin{itemize}%
\item \S{} 63 die Meinung erf\"a{}hrt, da\ss{} es anders gemeint ist, als sie meinte, und diese Korrektion seiner Meinung n\"o{}tigt das Wissen, auf den Satz zur\"u{}ckzukommen und ihn nun anders zu fassen.


\item \S{} 63 The common view discovers that the statement is intended in another sense than it is thinking of, and this correction of its opinion compels knowledge to recur to the proposition and take it now in some other sense.


\item \S{} 64 erst diejenige philosophische Exposition w\"u{}rde es erreichen, plastisch zu sein, welche strenge die Art des gew\"o{}hnlichen Verh\"a{}ltnisses der Teile eines Satzes ausschl\"o{}sse.


\item \S{} 64 only that philosophical exposition can manage to become plastic in character which resolutely sets aside and has nothing to do with the ordinary way of relating the parts of a proposition.



\end{itemize}
\hypertarget{related_entries}{}\subsection*{{related Entries}}\label{related_entries}

\begin{itemize}%
\item [[Georg Hegel]], \emph{[[Science of Logic]]}

\end{itemize}
\hypertarget{references}{}\subsection*{{References}}\label{references}

[[!redirects Phänomenologie des Geistes]]

category: reference



\end{document}