Poslední úprava: Mgr. Tomáš Holeček, Ph.D. (01.08.2017)
The course focuses on the idea of analysis (as “disentanglement” or “resolving complex expressions into simpler or more basic ones”): an analysis of arguments, thoughts, ideas, proofs, Etc. What does it mean to analyze? How do we do it? Do we learn an art of analysis by a theory or by a practice?
The idea of analysis comes from Aristotle. The modern mathematical analysis has its roots founded in the early modern thinking of René Descartes and in his method.
Besides, this course introduces the main ideas and skills of modern symbolic logic and foundations of mathematics (the ideas of proposition, variable, propositional function, first order language, and the skills of proving propositions) as they are inscribed in Principia Mathematica by Bertrand Russell and Alfred N. Whitehead.
All the necessary texts, notes and exam materials will be provided to students.
Poslední úprava: Mgr. Tomáš Holeček, Ph.D. (01.08.2017)
The course focuses on the idea of analysis (as “disentanglement” or “resolving complex expressions into simpler or more basic ones”): an analysis of arguments, thoughts, ideas, proofs, Etc. What does it mean to analyze? How do we do it? Do we learn an art of analysis by a theory or by a practice?
The idea of analysis comes from Aristotle. The modern mathematical analysis has its roots founded in the early modern thinking of René Descartes and in his method.
Besides, this course introduces the main ideas and skills of modern symbolic logic and foundations of mathematics (the ideas of proposition, variable, propositional function, first order language, and the skills of proving propositions) as they are inscribed in Principia Mathematica by Bertrand Russell and Alfred N. Whitehead.
All the necessary texts, notes and exam materials will be provided to students.
Literatura - angličtina
Poslední úprava: Mgr. Lenka Halbichová (08.07.2016)
Povinná:
Bertrand Russell. Introduction to Mathematical Philosophy. 9th ed. London. 1956. ch. 14 - 17. pp. 144 - 193. 0-415-09604-9.
Doporučená:
Colin Howson. Logic with Trees. An Introduction to Symbolic Logic. 1st ed. London. 1997. ch. 1 - 3, 5 - 6. pp. 3 - 46, 61 - 85. 0-415-13342-4.
Požadavky ke zkoušce - angličtina
Poslední úprava: Mgr. Lenka Halbichová (08.07.2016)
Students are required to prove the asserted formal propositions as explained in lectures. The written exam at the end of semester. The study text for this course is here.
Vstupní požadavky
Poslední úprava: Mgr. Lenka Halbichová (08.07.2016)