Propositional Logic
Subject
- Logika I (PHBL1, PHV241, PHV2451)
Teacher
prof. Jiri Raclavsky, Ph.D.
Content
The content of the course can be estimated from the supporting handout. During the semester, nearly the whole book Introduction to Logic: Classical Propositional Logic (see below) is covered.
See also the course syllabi in IS MU.
E-courses in Elf (Moodle at FF MU)
Logika I (PHBL1) - find it in the current distribution of Elf.
On-line available textbook for the course Logic I
Raclavský, Jiří (2015): Úvod do logiky: klasická výroková logika[Introduction to Logic: Classical Propositional Logic]. ISBN 978-80-210-7790-4, Brno: Masarykova univerzita (Munipress), 238 stran.
The book Introduction to Logic: Classical Propositional Logic is the first part of an introduction to logic which is intended primarily for students in humanities and related subjects. The book presents not only the main information about propositional logic, whereas an accent is put on the notion of entailment. The reader is gradually introduced to techniques enabling investigation of semantic properties of formulas and methods of formal demonstration as well as their applications in the field of natural language. The book involves a number of practical examples; a great portion of them practise constructing negations, equivalents and checking arguments.
- URL e-version of the book
- about the book (content, literature, ...)
On-line handout in PDF
Raclavský, Jiří (2016): Handout - výroková logika (PDF).
Selected further texts and resources
- Frege, Gottlob (1999): 17 podstatných vět k logice
- Raclavský, Jiří (2001): Co je a k čemu je logika, ProFil 2, 1,
http://profil.muni.cz/01_2001/raclavsky_logika.html
- Raclavský, Jiří (2015): JR_Klasicka_vyrokova_logika_literatura.pdf
- Štěpánek, Petr (2009): Výroková a predikátová logika. (slidy) http://mff.cz/data/VPL-slidy.pdf
- Wikipedia: https://en.wikipedia.org/wiki/Logic (and further entries)
- Shapiro, Stewart (2013): Classical Logic. In: Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy (Winter 2013 Edition), URL = <http://plato.stanford.edu/archives/win2013/entries/logic-classical/>
- Smith, Peter: http://www.logicmatters.net/
- Restall, Greg: https://vimeo.com/consequently
- Department of Logic (FF UK Charles University Praha): http://logika.ff.cuni.cz/
Last update 25/03/2023.