Logic I
General data
Course ID: | 3501-NZ-L1 |
Erasmus code / ISCED: |
08.1
|
Course title: | Logic I |
Name in Polish: | Logika I |
Organizational unit: | Institute of Philosophy |
Course groups: | |
ECTS credit allocation (and other scores): |
(not available)
|
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. |
Copyright by University of Warsaw.