SZ1234a Logic

Faculty of Education
Autumn 2011
Extent and Intensity
1/0/0. 2 credit(s). Type of Completion: z (credit).
Teacher(s)
doc. Ing. Jiří Strach, CSc. (lecturer)
Guaranteed by
doc. RNDr. Petr Sládek, CSc.
Department of Physics, Chemistry and Vocational Education – Faculty of Education
Contact Person: Jitka Autratová
Course Enrolment Limitations
The course is only offered to the students of the study fields the course is directly associated with.
fields of study / plans the course is directly associated with
Course objectives
To acquaint students with the basic ideas of logic as the basis of general methodology of science. Formal Languages conjunction disjunction implication General Equivalence and existential quantifiers, predicate logic The class logic. Methodology of Empirical science , Methodology of Social Sciences, Methodology of Mathematical Sciences
Syllabus
  • 1. To acquaint students with the basic ideas of logic as the basis of general methodology of science. 2. Formal Languages 3. Conjunction 4. Disjunction 5. Implication 6. General Equivalence and existential quantifiers 7. Predicate logic 8. The class logic 9. Methodology of empirical science 10.Methodology of Social Sciences 11.Methodology of Mathematical Sciences
Literature
    required literature
  • SUPPES, Patrick. Introduction to logic. 11th print. Princeton: D. Van Nostrand company, Inc., 1968, xviii, 312. info
    recommended literature
  • KAHANE, Howard and Nancy CAVENDER. Logic and contemporary rhetoric :the use of reason in everyday life. 8th ed. Belmont: Wadsworth Publishing Company, 1998, xii, 369 s. ISBN 0-534-52470-2. info
  • SPIVEY, Michael. An introduction to logic programming through Prolog. London: Prentice-Hall, 1996, x, 251 s. ISBN 0-13-536047-1. info
  • Introduction to logic. Edited by Irving M. Copi. 7. ed. New York: Macmillan, 1986, 617 s. ISBN 0023250208. info
  • JOSEPH, H. W. B. An introduction to logic. 2. ed., revised. Oxford: Clarendon Press, 1906, 608 s. info
    not specified
  • NAGEL, Ernest and Morris Raphael COHEN. An introduction to logic and scientific method. London: Routledge, 1966, xiv, 467. info
Teaching methods
lectures, class discussion,
Assessment methods
written tests
Language of instruction
Czech
Further Comments
The course is taught annually.
The course is taught: every week.
The course is also listed under the following terms Autumn 2012, Autumn 2013, Autumn 2014, Autumn 2015, Autumn 2016, Autumn 2017, Autumn 2018, Autumn 2019, autumn 2020, Autumn 2021, Autumn 2022, Autumn 2023, Autumn 2024.
  • Enrolment Statistics (Autumn 2011, recent)
  • Permalink: https://is.muni.cz/course/ped/autumn2011/SZ1234a