Logic

General data

Course ID:	3501-SZD-L
Erasmus code / ISCED:	08.1 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. / (0223) Philosophy and ethics The ISCED (International Standard Classification of Education) code has been designed by UNESCO.
Course title:	Logic
Name in Polish:	Logika dla doktorantów SDNS
Organizational unit:	Institute of Philosophy
Course groups:
ECTS credit allocation (and other scores):	(not available) 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
Mode:	Classroom
Short description:	The course offers an introduction to modern logic, with its distinctive methods and applications. It is to be presented how to construct definitions and classifications, how to distinguish vague utterances from claims, justified from unwarranted beliefs, and sound from unsound arguments. Symbolic logic of propositional and predicate calculus will be studied. We also provide basic notions of set theory.
Full description:	The course offers an introduction to modern logic, with its distinctive methods and applications. It is to be presented how to construct definitions and classifications, how to distinguish vague utterances from claims, justified from unwarranted beliefs, and sound from unsound arguments. Symbolic logic of propositional and predicate calculus will be studied. We also provide basic notions of set theory. One of our objectives is to improve the students’ skills in rational reasoning by showing that language has various, often complex, functions; to this end, we concentrate on teaching how to construct definitions and classifications, how to distinguish vague utterances from claims, justified from unwarranted beliefs, and sound from unsound arguments. Symbolic logic of propositional and predicate calculus will be studied to acquaint the student with elementary formal methods of evaluating arguments couched in natural language. This will allow us to bring into sharper focus the basic concepts of analytical and logical truth, contradiction, entailment, as well as the principles of the natural deduction systems of propositional and predicate logic. We also provide basic notions of set theory. Finally, we examine formal and informal fallacies of arguments, definitions and classifications. List of topics: 1. Sources of knowledge. Sentences, propositions, and truth. Problems of a theory of truth. Rational and irrational beliefs. Interrogative sentences, questions and performatives. Fictional sentences. Semiotic defects of expressions. 2. Types of names and types of definitions and the conditions of their correctness. Elementary set theory and formal properties of binary relations. 3. Formal methods of evaluating arguments. Analytical and logical truth, contradiction, entailment. Validity and soundness of arguments. Some types of logical fallacies. 4. Propositional and predicate logic; validity and the formal analysis of arguments; truth-functional connectives; first steps in symbolization; truth-tables; interpretation, models, tautologies, contradictions and contingent statements; symbolizing arguments; testing for validity with semantic tableaux; non-truth-functional connectives. Referential semantics. Some notes on non-classical logics and modal logics.
Bibliography:	(in Polish) M. Omyła, Zarys logiki B. Stanosz, Ćwiczenia z logiki, T. Hołówka, Kultura logiczna w przykładach, B. Stanosz, Wprowadzenie do logiki formalnej. Podręcznik dla humanistów, K. Wieczorek, Wprowadzenie do logiki dla studentów wszystkich kierunków R. L. Epstein, Five ways of saying ‘Therefore” R. L. Epstein, Propositional logics G. Forbes, Modern Logic. A Text in Elementary Symbolic Logic
Learning outcomes:	(in Polish) Wiedza WK3 Zna i rozumie: - podstawowe zasady transferu wiedzy do sfery gospodarczej i społecznej oraz komercjalizacji wyników działalności naukowej i know-how związanego z tymi wynikami. Umiejętności UW1 Potrafi: - wykorzystywać wiedzę z różnych dziedzin nauki lub dziedziny sztuki do twórczego identyfikowania, formułowania i innowacyjnego rozwiązywania złożonych problemów lub wykonywania zadań o charakterze badawczym, a w szczególności: - definiować cel i przedmiot badań naukowych, formułować hipotezę badawczą - rozwijać metody, techniki i narzędzia badawcze oraz twórczo je stosować - wnioskować na podstawie wyników badań naukowych., Po ukończeniu przedmiotu student: 1. zna metody oceny wnioskowań, definicji i klasyfikacji 2. analizuje i ocenia wnioskowania, argumentacje i 3. analizuje i ocenia definicje 4. analizuje i ocenia klasyfikacje 5. rozpoznaje podstawowe usterki semiotyczne wypowiedzi 6. rozpoznaje podstawowe błędy we wnioskowaniach
Assessment methods and assessment criteria:	Final exam (multiple-choice test). Class attendance is required and will be checked. Regular class attendance is a necessary condition for being admitted to the final written exam. The second necessary condition is writing an essay (max. 1000 words) on one of topics that will be given during 8th lecture. Scale: 0-9: unsatisfactory 10-12: satisfactory 13: satisfactory + 14-15: good 16: good + 17-18: very good 19-20: excellent

This course is not currently offered.

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