Annotation
Od důkazu k metadůkazu
Cílem semináře (z filosofie logiky) je společně promyslet proměnu logického přístupu a pohledu při přechodu od rozvíjení důkazů k rozvíjení důkazů o důkazech. Na dílčím příkladu důkazu věty o substituci bude tato proměna doložena.
Postup výkladu: 1. Induktivní důkaz věty o substituci 2. Důkazy v Principiích Mathematica 3. Teze o obecné nedokazatelnosti věty o substituci 4. Zamyšlení nad metalogikou
Literatura:
Church, A., Introduction to Mathematical Logic, Pincerton University Press, 1956.
Russell, B., Whitehead, A. N., Principia Mathematica, vol. I., Cambridge, CUP 1910, 1927.
Wittgenstein, L., TS 213 - The Big Typescript, Blacwell Pub., 2005.