University of Warsaw - Central Authentication System

Logics

General data

Course ID:	2105-PP-L-D2LOGI
Erasmus code / ISCED:	14.6 Kod klasyfikacyjny przedmiotu składa się z trzech do pięciu cyfr, przy czym trzy pierwsze oznaczają klasyfikację dziedziny wg. Listy kodów dziedzin obowiązującej w programie Socrates/Erasmus, czwarta (dotąd na ogół 0) – ewentualne uszczegółowienie informacji o dyscyplinie, piąta – stopień zaawansowania przedmiotu ustalony na podstawie roku studiów, dla którego przedmiot jest przeznaczony. / (0312) Political sciences and civics The ISCED (International Standard Classification of Education) code has been designed by UNESCO.
Course title:	Logics
Name in Polish:	Logika
Organizational unit:	Faculty of Political Science and International Studies
Course groups:	(in Polish) Europeistyka - DZIENNE I STOPNIA 2 semestr 1 rok - przedmioty obowiązkowe(profil praktyczny)
ECTS credit allocation (and other scores):	3.00 Basic information on ECTS credits allocation principles: the annual hourly workload of the student’s work required to achieve the expected learning outcomes for a given stage is 1500-1800h, corresponding to 60 ECTS; the student’s weekly hourly workload is 45 h; 1 ECTS point corresponds to 25-30 hours of student work needed to achieve the assumed learning outcomes; weekly student workload necessary to achieve the assumed learning outcomes allows to obtain 1.5 ECTS; work required to pass the course, which has been assigned 3 ECTS, constitutes 10% of the semester student load.
Language:	Polish
Type of course:	obligatory courses
Prerequisites (description):	The aim of the course is to familiarize students with the basics of logic. The material is to equip the student with basic tools for verifying the correctness of statements and the ability to verify the validity of deductive reasoning, primarily on the basis of classical propositional calculus. Elements of quantifier logic will also be introduced.
Mode:	Blended learning
Short description:	1. Brief introduction to logic. 2. The notion of language in logic. 3. Linguistic categories in logic. 4. Introduction to logical calculus. 5. Propositional calculus. 6. Valid arguments using truth tables. 7. Extensions of propositional calculus.
Full description:	1. Natural language. Interpretation of natural language. Formalization of language and AI 2. Sign, language, logical notion of language. 3. Linguistic categories in logic. 4. Introduction to logical calculus. 4.1. Types of justification. 4.2. Notion of inference. 4.3. Detection of premises and conclusion. 4.4. Soundness. 4.5. Deductive vs. speculative inferences. 4.6. Notion of entailment. 4.7. Logical fallacies. 4.8. Entailment vs. truth. 4.9. Notion of entymem. 5.0. Propositional calculus. 5.1. Language of propositional calculus (PC). 5.2. Language vs. metalanguage. 5.3. Translation of sentences of natural language into language of PC and vice versa. 5.4. Valuation - notion of valuation in logic. 5.5. Truth tables. 5.6. Tautology. 5.6. Truth tables method. 5.7. Using truth tables method for verifying deductive inferences. 5.8. Selected logical laws.
Bibliography:	D. Bonevac, Deduction. Introductory Symbolic Logic, Malden–Oxford: Blackwell Publishing 2003 L. Borkowski, Wprowadzenie do logiki i teorii mnogości, Lublin: Towarzystwo Naukowe KUL 1991 K. Ajdukiewicz, Zarys logiki, Warszawa: Państwowe Zakłady Wydawnictw Szkolnych 1959
Learning outcomes:	(in Polish) - Student ma wiedzę dotyczącą języka prawniczego i języka prawnego, wykorzystywanych do tworzenia i interpretowania prawa europejskiego (K_W10) - Student zna i rozumie charakter kategorii syntaktycznych (K_W10; K_W13) - Student ma umiejętność analizowania kategorii semiotyki logicznej, języka i użytych w nim systemów znaków, oznak i symboli(K_U01; K_U05) - Potrafi rozwiązywać zadania z zakresu rachunku zdań (K_U07) - Potrafi skontrolować poprawność wypowiedzi i poprawność rozumowania (K_U07) - Student prawidłowo identyfikuje i rozstrzyga dylematy pracy urzędnika w ujęciu normatywnym (K_K05) - Student rozumie i interpretuje społeczne dylematy zastosowania sztucznej inteligencji (K_K03)
Assessment methods and assessment criteria:	1. Test exam. 2. Student participation.

Classes in period "Summer semester 2023/24" (in progress)

Time span:	2024-02-19 - 2024-06-16	Selected timetable range: weekly course term Navigate to timetable MO TU W TH KON KON FR
Type of class:	Seminar, 15 hours more information
Coordinators:	Łukasz Młyńczyk
Group instructors:	Łukasz Młyńczyk
Students list:	(inaccessible to you)
Examination:	Course - Examination Seminar - Examination

Course descriptions are protected by copyright.
Copyright by University of Warsaw.