Logic I

General data

Course ID:	3501-NZ-L1
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
Name in Polish:	Logika I
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:	Polish
Type of course:	obligatory courses
Mode:	Blended learning
Short description:	The course offers an introduction to modern logic, with its distinctive methods and applications to some philosophical problems. 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 sound from unsound arguments.
Full description:	(in Polish) Celem zajęć jest wprowadzenie do głównych zagadnień logiki współczesnej, jej metod oraz zastosowań na gruncie filozofii. Celem zajęć jest uwrażliwienie słuchaczy na różne funkcje wypowiedzi językowych, wskazanie podstawowych kryteriów oceny rozumowań, definicji i klasyfikacji, a także ukazanie związków logiki z innymi dziedzinami wiedzy. Przedstawione zostaną elementy logiki nieformalnej, sztuki argumentacji oraz podstawowych rachunków logicznych: klasycznego rachunku zdań, sylogistyki i rachunku predykatów, konieczne do precyzyjnego określenia wynikania logicznego i wnioskowania niezawodnego. Słuchacze poznają m.in. pojęcia zdania w sensie logicznym, prawdy analitycznej i logicznej, relacji między zdaniami (wynikania, sprzeczności, wykluczania, dopełniania). Zaprezentowane będą podstawowe wiadomości z teorii zbiorów, relacji, nazw oraz definicji. W szczególności omówione zostaną warunki poprawności definicji sprawozdawczych i projektujących, wybrane problemy filozoficzne związane z nazwami (np. problem sensowności zdań z nazwami własnymi pozbawionymi referencji). Kurs zakończy przedstawienie problematyki związanej z logiczną analizą argumentacji, ze szczególnym zwróceniem uwagi na najczęściej popełniane błędy i stosowane chwyty retoryczne, a także mechanizmów i skrzywień poznawczych.
Bibliography:	(in Polish) M. Omyła, Zarys logiki, B. Stanosz, Ćwiczenia z logiki, T. Hołówka, Kultura logiczna w przykładach, K. Wieczorek, Wprowadzenie do logiki dla studentów wszystkich kierunków, M. Tokarz, Argumentacja, perswazja, manipulacja.
Learning outcomes:	(in Polish) Nabyta wiedza Student: • Rozumie pojęcie zdania w sensie logicznym, funktora klasycznego rachunku zdań, logicznych zależności między zdaniami [K_W03, K_W06, K_W12, K_W13] • Wie, na czym polega analiza logiczna wyrażeń języka naturalnego z użyciem narzędzie klasycznego rachunku zdań i klasycznego rachunku predykatów [K_W03, K_W06, K_W12, K_W13] • Rozumie pojęcia wynikania semantycznego i syntaktycznego [K_W03, K_W06, K_W12, K_W13] • Zna pojęcia naiwnej teorii mnogości. [K_W03, K_W06, K_W12, K_W13] • Zna podstawowe pojęcia teorii relacji, zna pojęcie relacji [K_W03, K_W06, K_W12, K_W13] • zna pojęcie równoważności i relacji porządkującej. [K_W03, K_W06, K_W12, K_W13] • Zna pojęcie równoliczności, zbioru skończonego i nieskończonego. [K_W03, K_W06, K_W12, K_W13] • Zna podstawowe pojęcia teorii definicji i rozumowań. [K_W03, K_W06, K_W12, K_W13] Nabyte umiejętności • Potrafi prowadzić analizę logiczną wyrażeń języka naturalnego z użyciem technik klasycznego rachunku zdań [K_U05, K_U06, K_U07, K_U08] • Potrafi prowadzić analizę logiczną wyrażeń języka naturalnego z użyciem technik klasycznego rachunku predykatów [K_U05, K_U06, K_U07, K_U08] • Potrafi ustalić zależności logiczne między zdaniami [K_U05, K_U06, K_U07, K_U08] • Potrafi ustalić schemat wnioskowania [K_U05, K_U06, K_U07, K_U08] • Potrafi zbadać formalne własności relacji. [K_U05, K_U06, K_U07, K_U08] • Potrafi ustalić podstawowe fakty teoriomnogościowe [K_U05, K_U06, K_U07, K_U08] • Potrafi przeprowadzić analizę definicji i rozumowania [K_U05, K_U06, K_U07, K_U08] Nabyte kompetencje społeczne: Student: • Umie selekcjonować i porządkować informacje uzyskane w procesie komunikacji [K_K02, K_K10] • Potrafi śledzić tok myślenia innych osób [K_K02, K_K10] • Umie uważnie słuchać innych [K_K02, K_K10] Nabyte kompetencje społeczne: ćwiczenia • Potrafi pracować w grupie. • Potrafi jasno i precyzyjnie mówić o abstrakcyjnych zagadnieniach. [K_K02, K_K10]
Assessment methods and assessment criteria:	(in Polish) Wykład: egzamin pisemny. Ćwiczenia: ocena końcowa składa się w 50% z wyniku uzyskanego na platformie internetowej, a w 50% z wyników pisemnych kolokwiów. Uczestnictwo w zajęciach jest obowiązkowe (dopuszcza się dwie nieobecności w semestrze). Zajęcia będą odbywać się w formie synchronicznej z wykorzystaniem aplikacji Zoom. Wszystkie materiały i sprawdziany będą udostępniane na platformie Kampus.

This course is not currently offered.

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