Logic I A

General data

Course ID:	3501-WISIP-L1A
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 I A
Name in Polish:	Logic A
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. view allocation of credits
Language:	English
Type of course:	obligatory courses
Mode:	Classroom
Short description:	This course is an introduction to formal logic and formal methods in philosophy. The course covers the following topics: Formal methods of evaluating arguments: Sentential (propositional) logic, Categorical logic, Predicate (quantificational) logic.
Full description:	This course is an introduction to formal logic and formal methods in philosophy. The course covers the following topics: Formal methods of evaluating arguments: Sentential (propositional) logic, Categorical logic, Predicate (quantificational) logic. The course covers the following topics: Formal methods of evaluating arguments: Sentential logic: validity and the formal analysis of arguments; truth-functional connectives: conjunction, disjunction, conditional, biconditional, negation; first steps in symbolization; truth-tables; comparison of natural-language and logical connectives; tautologies, contradictions and contingent statements; symbolizing entire arguments; testing for validity with semantic tableaux; testing for validity by exhaustive search, testing for validity by constructing interpretations; expressive completeness; non-truth-functional connectives. Natural deduction in sentential logic: the concept of proof; rules for conjunction, disjunction, negation, conditional and biconditional; sequent and theorem introduction. Semantic and deductive consequence; soundness and completeness. Categorical logic: categorical propositions; the four basic categorical forms; contradictories; existential commitment; validity for arguments containing categorical propositions; immediate inferences; syllogisms; Venn diagrams for syllogisms; the classical square of opposition. Predicate (quantificational) logic: Monadic predicate logic: the quantifiers (existential and universal); symbolizations, semantics for the quantifiers, constructing counterexamples; deductive consequence (rules for quantifiers). First-order logic with identity: n-place predicates; identity; definite descriptions; ambiguity; demonstrating invalidity; proofs; rules for identity; semantic consequence, deductive consequence and decidability; some limitations of first-order logic.
Bibliography:	Course textbooks: Fogelin, Robert; Sinnott-Armstrong, Walter, Understanding Arguments. An Introduction to Informal Logic, Harcourt Brace College Publishers 1997. Forbes, Graeme, Modern Logic. A Text in Elementary Symbolic Logic, Oxford University Press, New York - Oxford 1994.
Learning outcomes:	Students know how to formally evaluate arguments; how to symbolize sentences and entire arguments in sentential and predicate logic (KW04, KW07, KW12) Students are able to construct natural deduction proofs in sentential and predicate logic are able to construct interpretations and assess validity of reasonings are able to listen attentively to complex presentations. are able to read carefully a variety of technical and non-technical material. are able to reflect clearly and critically on oral and written sources, employing powers of imagination as well as analysis. (KU01, KU02, KU05, KU07, KU08, KU16). Studens know how to cooperate and work in groups, they are open to new ideas and ready to change their opinions when confronted with compeling new data and arguments (KK01, KK02, KK10).
Assessment methods and assessment criteria:	There will be written tests (one per month), so that the teacher knows whether the students are following the material covered during classes. The course will end with a written exam during which the students will have e.g. to symbolize sentences, check validity of arguments, and construct natural deduction proofs. Permissible number of absences: 2

This course is not currently offered.

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