Master
2023/2024![Learning Objectives](/f/src/global/i/edu/objectives.svg)
![Expected Learning Outcomes](/f/src/global/i/edu/results.svg)
![Course Contents](/f/src/global/i/edu/sections.svg)
![Interim Assessment](/f/src/global/i/edu/intermediate_certification.svg)
![Bibliography](/f/src/global/i/edu/library.svg)
Math Logic for Journalists
Type:
Elective course (Contemporary Journalism)
Area of studies:
Journalism
Delivered by:
Institute of Media
When:
2 year, 3 module
Mode of studies:
offline
Open to:
students of all HSE University campuses
Instructors:
Sofia Podenko
Master’s programme:
Contemporary Journalism
Language:
English
ECTS credits:
3
Contact hours:
28
Course Syllabus
Abstract
The apparatus used in mathematical logic allows mathematically rigorous work with reasoning, objectively proving their truth or falsity. The skills that arise in the study and use of mathematical logic allow to build correct conclusions, conduct evidence-based rhetoric, exposing the falsity of the rhetoric of opponents who do not possess such skills and build their argumentation intuitively.
Learning Objectives
- Students will be able to use symbolic logic to present their premises and conclusions
- Students will be able to use logical proofs to draw new conclusions
- Students will get familiar with different methods for logical proofs
Expected Learning Outcomes
- Can rewrite sentences using symbolic language
- Can distinguish between different types of logical notations
- Can proof conclusions using Fitch proof
- Can present logical statements using Venn diagrams and Boolean grids
- Can proof conclusions using Venn diagrams
- Students can draw conclusions from the given set of premises in a form of normal sentences.
- Students can distinguish between different types of sentences in propositional logic
- Students can use the Fitch system to proof logical conclusions. Students can distinguish between different types of relational logic’s sentences
- Students can use Boolean models to solve logical problems
- Students can use models to solve logical problems
Course Contents
- Introduction into logic and symbolic language
- Propositional logic
- Relational logic
- Modeling in logic
- Functional logic
- Categorical logic
- Revision
Interim Assessment
- 2023/2024 3rd module0.2 * Homework 1 + 0.2 * Homework 2 + 0.2 * Homework 3 + 0.2 * Homework 4 + 0.2 * Homework 5
Bibliography
Recommended Core Bibliography
- Gensler, Harry J. Introduction to Logic, Taylor & Francis Group, 2010.
Recommended Additional Bibliography
- Christopher Leary & Lars Kristiansen - Friendly Introduction to Mathematical Logic - CCBY4_035 - Open Educational Resources: libretexts.org - 2022 - 390555 - https://ibooks.ru/bookshelf/390555/reading - iBOOKS